Results for instance stmt2_649_647
QBFEVAL'08



Solver Time Result
AQME-1NN1.06SAT
QuBE6.110.74SAT
quantor3.043.91FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL