Results for instance nusmv.reactor^2.C-f2 <br> QBFEVAL'08

qbflib.org

Results for instance nusmv.reactor^2.C-f2
QBFEVAL'08

Solver	Time	Result
QuBE6.1	2.51	SAT
quantor3.0	33.22	FAIL
AQME-1NN	136.38	SAT
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL
Nenofex	600	FAIL