Results for instance aim-200-1_6-yes1-2-90 <br> QBFEVAL'08

qbflib.org

Results for instance aim-200-1_6-yes1-2-90
QBFEVAL'08

Solver	Time	Result
QuBE6.1	0.1	UNSAT
Nenofex	1.97	UNSAT
AQME-1NN	4.85	UNSAT
quantor3.0	50.14	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL