Results for instance aim-200-3_4-yes1-2-90 <br> QBFEVAL'08

qbflib.org

Results for instance aim-200-3_4-yes1-2-90
QBFEVAL'08

Solver	Time	Result
QuBE6.1	0.34	UNSAT
AQME-1NN	1.51	UNSAT
quantor3.0	71.92	FAIL
Nenofex	127.44	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL