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

qbflib.org

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

Solver	Time	Result
ssolve-A	0.04	SAT
ssolveC	0.04	SAT
QuBE6.1	0.04	SAT
ssolveB	0.05	SAT
AQME-1NN	0.96	SAT
quantor3.0	51.07	FAIL
Nenofex	268.3	FAIL