Results for instance c4_Debug_s5_f2_e1_v3
QBFEVAL'08



Solver Time Result
quantor3.051.61SAT
AQME-1NN57.08SAT
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL
QuBE6.1600FAIL