Results for instance aim-200-6_0-yes1-3-90 <br> QBFEVAL'08

qbflib.org

Results for instance aim-200-6_0-yes1-3-90
QBFEVAL'08

Solver	Time	Result
QuBE6.1	0.46	UNSAT
AQME-1NN	1.72	UNSAT
Nenofex	89.53	UNSAT
quantor3.0	129.61	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL