Results for instance counter5_8
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.



Solver Time Result
sKizzo-0.10-std0.07SAT
sKizzo-0.10-qck0.08SAT
yQuaffle0.16SAT
ncQuBE1.10.17SAT
ncQuBE1.00.17SAT
EBDDRES0.44SAT
AQME-RIPPER0.98SAT
squolem1.28SAT
QUANTOR_2.1513.67FAIL
AQME-1NN18.35SAT
AQME-C4.518.37SAT
Adaptive2clsQ39.29SAT
pQBF600FAIL