Results for instance texas.ifetch1^9.E-f3
QBFEVAL'08



Solver Time Result
QuBE6.10.12SAT
quantor3.034.25FAIL
AQME-1NN231.01SAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL