Experiment delta

Commit A → B

See the exact capability gained and lost between two reproducible Xolver experiments.

Frome201bd72026-08-11 · 52,582 solved
→
Toa91fcd22026-08-19 · 52,813 solved
Net solved
+231
coverage delta
SAT gain
+83
confirmed SAT
UNSAT gain
+148
confirmed UNSAT
PAR-2
-9.8%
-7.2% median runtime

Newly solved · 6

B solves these instances while A did not

BenchmarkLogicResultPreviousRuntimeFeatures
QF_NIRA/2026/polynomial-chain-041.smt2QF_NIRAunsattimeout3.84 s
nonlinear multiplicationmixed Int/Real
QF_NIA/2026/div-mod-boundary-118.smt2QF_NIAsatunknown8.21 s
mod/divboundary
QF_NRA/meti-tarski/exp-0072.smt2QF_NRAunsattimeout910 ms
transcendental reduction
QF_NRA/hylaa/reach-14-06.smt2QF_NRAsattimeout1.34 s
interval propagation
QF_NIRA/mixed/cast-product-019.smt2QF_NIRAsatunknown5.64 s
mixed Int/Realcasts
QF_UFNIA/locks/model-071.smt2QF_UFNIAunsattimeout22.10 s
UF+NIA

Regressions · 2

A solved these instances while B no longer does

BenchmarkLogicResultPreviousRuntimeFeatures
QF_UFNIA/scheduling/uf-mul-233.smt2QF_UFNIAtimeoutsat20.0 min
UF+NIAlarge Boolean skeleton
QF_NIA/ultimate/prime-cone-882.smt2QF_NIAunknownunsat18.50 s
many disequalities