Logic capability

QF_UFNIA

Deep analysis across 1,420 official benchmark instances, with correctness and runtime breakdowns.

Solved
932
65.6% coverage
SAT / UNSAT
502 / 430
confirmed results
Unique solved
231
Xolver only
PAR-2
412.1
median 6.42 s

Runtime distribution

Solved instances grouped by wall-clock runtime

Solver gap

Where each stable artifact stands

Xolvera91fcd2932
Z34.15.41,101
cvc51.3.1812
MathSAT5.x1,057
Yices2.x1,024
BitwuzlastableN/A
Boolector3.xN/A
OpenSMT2.xN/A
SMTInterpolstableN/A
Unknown278
Timeout198
Wrong0
Crash12

Benchmarks to investigate

New capability and regressions exposed by the current run

BenchmarkLogicResultPreviousRuntimeFeatures
QF_UFNIA/scheduling/uf-mul-233.smt2QF_UFNIAtimeoutsat20.0 min
UF+NIAlarge Boolean skeleton
QF_UFNIA/locks/model-071.smt2QF_UFNIAunsattimeout22.10 s
UF+NIA