Results for instance test4_quant4
QBFEVAL'08



Solver Time Result
quantor3.039.29FAIL
Nenofex226.44FAIL
AQME-1NN583.15FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
QuBE6.1600FAIL