Results for instance stmt16_588_589
QBFEVAL'08



Solver Time Result
AQME-1NN1.45SAT
quantor3.038.04FAIL
Nenofex469.79FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
QuBE6.1600FAIL