Logic capability

QF_LIA

Deep analysis across 12,450 official benchmark instances, with correctness and runtime breakdowns.

Solved
11,402
91.6% coverage
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.