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

qbflib.org

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

Solver	Time	Result
QuBE6.1	0.13	SAT
AQME-1NN	1.27	SAT
quantor3.0	65.82	FAIL
Nenofex	129.44	FAIL
ssolve-A	600	FAIL
ssolveB	600	FAIL
ssolveC	600	FAIL