Results for instance stmt70_191_213
QBFEVAL'08



Solver Time Result
QuBE6.10.11SAT
AQME-1NN0.97SAT
ssolveC2.52SAT
ssolve-A26.49SAT
ssolveB28.7SAT
quantor3.067.29FAIL
Nenofex600FAIL