Results for instance texas.ifetch1^3.E-d4 <br> QBFEVAL'08

qbflib.org

Results for instance texas.ifetch1^3.E-d4
QBFEVAL'08

Solver	Time	Result
ssolveC	0.04	SAT
ssolve-A	0.04	SAT
ssolveB	0.04	SAT
QuBE6.1	0.04	SAT
AQME-1NN	0.94	SAT
quantor3.0	45.76	FAIL
Nenofex	365.96	FAIL