Results for instance stmt27_296_297
QBFEVAL'08



Solver Time Result
QuBE6.10.12SAT
AQME-1NN1.05SAT
ssolveC6.2SAT
quantor3.075.03FAIL
ssolve-A80.09SAT
ssolveB86.67SAT
Nenofex600FAIL