Solved
11,402
91.6% coverage
Logic capability
QF_LIA
Deep analysis across 12,450 official benchmark instances, with correctness and runtime breakdowns.
SAT / UNSAT
5,789 / 5,613
confirmed results
Unique solved
231
Xolver only
PAR-2
108.7
median 1.41 s
Runtime distribution
Solved instances grouped by wall-clock runtime
Solver gap
Where each stable artifact stands
Xolvera91fcd211,402
Z34.15.411,640
cvc51.3.111,391
MathSAT5.x11,174
Yices2.x10,825
BitwuzlastableN/A
Boolector3.xN/A
OpenSMT2.x9,778
SMTInterpolstable9,428
Unknown838
Timeout198
Wrong0
Crash12
Benchmarks to investigate
New capability and regressions exposed by the current run
No benchmarks match this view.