Solved
5,321
83.0% coverage
Logic capability
QF_NIA
Deep analysis across 6,410 official benchmark instances, with correctness and runtime breakdowns.
SAT / UNSAT
2,874 / 2,447
confirmed results
Unique solved
231
Xolver only
PAR-2
291.2
median 4.73 s
Runtime distribution
Solved instances grouped by wall-clock runtime
Solver gap
Where each stable artifact stands
Xolvera91fcd25,321
Z34.15.45,704
cvc51.3.14,902
MathSAT5.x5,476
Yices2.x5,305
BitwuzlastableN/A
Boolector3.xN/A
OpenSMT2.xN/A
SMTInterpolstableN/A
Unknown879
Timeout198
Wrong0
Crash12
Benchmarks to investigate
New capability and regressions exposed by the current run
| Benchmark | Logic | Result | Previous | Runtime | Features |
|---|---|---|---|---|---|
QF_NIA/2026/div-mod-boundary-118.smt2 | QF_NIA | sat | unknown | 8.21 s | |
QF_NIA/ultimate/prime-cone-882.smt2 | QF_NIA | unknown | unsat | 18.50 s |