Results for instance test5_quant5
QBFEVAL'08



Solver Time Result
QuBE6.14.12SAT
AQME-1NN4.93SAT
quantor3.061.71FAIL
Nenofex89.36FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL