Results for instance aim-200-6_0-yes1-4-00 <br> QBFEVAL'08

qbflib.org

Results for instance aim-200-6_0-yes1-4-00
QBFEVAL'08

Solver	Time	Result
QuBE6.1	0.47	UNSAT
AQME-1NN	1.95	UNSAT
Nenofex	100.92	FAIL
quantor3.0	179.93	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL