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



Solver Time Result
yQuaffle0.09SAT
sKizzo-0.10-std0.12SAT
ncQuBE1.10.12SAT
ncQuBE1.00.12SAT
sKizzo-0.10-qck0.13SAT
EBDDRES0.52SAT
AQME-RIPPER1.05SAT
QUANTOR_2.1513.71FAIL
AQME-1NN18.82SAT
AQME-C4.519.01SAT
Adaptive2clsQ34.37SAT
pQBF600FAIL
squolem600FAIL