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



Solver Time Result
ncQuBE1.13.34SAT
yQuaffle4.31SAT
ncQuBE1.05.72SAT
sKizzo-0.10-qck9.95SAT
QUANTOR_2.1515.88FAIL
Adaptive2clsQ17.33FAIL
EBDDRES28.37FAIL
AQME-RIPPER31.64SAT
sKizzo-0.10-std45.5SAT
AQME-1NN132.48SAT
AQME-C4.5132.6SAT
pQBF600FAIL
squolem600FAIL