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



Solver Time Result
yQuaffle0.06SAT
sKizzo-0.10-std0.06SAT
sKizzo-0.10-qck0.07SAT
ncQuBE1.10.12SAT
ncQuBE1.00.12SAT
EBDDRES0.52SAT
AQME-RIPPER0.89SAT
AQME-1NN14.64SAT
AQME-C4.514.71SAT
squolem17.41SAT
QUANTOR_2.1520.84FAIL
Adaptive2clsQ28.76SAT
pQBF600FAIL