Logic capability

QF_NRA

Deep analysis across 9,280 official benchmark instances, with correctness and runtime breakdowns.

Solved
8,732
94.1% coverage
SAT / UNSAT
4,392 / 4,340
confirmed results
Unique solved
231
Xolver only
PAR-2
138.4
median 2.18 s

Runtime distribution

Solved instances grouped by wall-clock runtime

Solver gap

Where each stable artifact stands

Xolvera91fcd28,732
Z34.15.48,560
cvc51.3.18,211
MathSAT5.x8,218
Yices2.x7,961
BitwuzlastableN/A
Boolector3.xN/A
OpenSMT2.xN/A
SMTInterpolstableN/A
Unknown338
Timeout198
Wrong0
Crash12

Benchmarks to investigate

New capability and regressions exposed by the current run

BenchmarkLogicResultPreviousRuntimeFeatures
QF_NRA/meti-tarski/exp-0072.smt2QF_NRAunsattimeout910 ms
transcendental reduction
QF_NRA/hylaa/reach-14-06.smt2QF_NRAsattimeout1.34 s
interval propagation