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



Solver Time Result
sKizzo-0.10-std0.08SAT
sKizzo-0.10-qck0.08SAT
ncQuBE1.10.13SAT
ncQuBE1.00.14SAT
yQuaffle0.15SAT
EBDDRES0.43SAT
AQME-RIPPER1.1SAT
AQME-1NN17.03SAT
AQME-C4.517.25SAT
QUANTOR_2.1518.2FAIL
Adaptive2clsQ35.99SAT
pQBF600FAIL
squolem600FAIL