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



Solver Time Result
ncQuBE1.10.02SAT
ncQuBE1.00.02SAT
EBDDRES0.02SAT
sKizzo-0.10-std0.03SAT
sKizzo-0.10-qck0.03SAT
yQuaffle0.04SAT
squolem0.08SAT
QUANTOR_2.150.16SAT
AQME-RIPPER0.77SAT
pQBF4.82SAT
AQME-1NN20.45SAT
AQME-C4.520.56SAT
Adaptive2clsQ64.77SAT