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



Solver Time Result
yQuaffle0.05SAT
ncQuBE1.10.08SAT
ncQuBE1.00.08SAT
QUANTOR_2.159.75SAT
AQME-1NN16.49SAT
AQME-C4.516.96SAT
AQME-RIPPER20.81SAT
EBDDRES35.57FAIL
sKizzo-0.10-std37.22SAT
Adaptive2clsQ37.75SAT
sKizzo-0.10-qck39.61SAT
pQBF600FAIL
squolem600FAIL