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

qbflib.org

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

Solver	Time	Result
quantor3.0	0.01	SAT
ssolve-A	0.02	SAT
ssolveB	0.02	SAT
ssolveC	0.02	SAT
QuBE6.1	0.04	SAT
Nenofex	0.26	SAT
AQME-1NN	0.95	SAT