Results for instance aim-200-1_6-yes1-4-00 <br> QBFEVAL'08

qbflib.org

Results for instance aim-200-1_6-yes1-4-00
QBFEVAL'08

Solver	Time	Result
QuBE6.1	0.12	UNSAT
Nenofex	4.28	UNSAT
AQME-1NN	4.44	UNSAT
quantor3.0	72.57	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL