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



Solver Time Result
QUANTOR_2.150.01SAT
EBDDRES0.02SAT
yQuaffle0.03SAT
ncQuBE1.10.06SAT
ncQuBE1.00.06SAT
Adaptive2clsQ0.08SAT
sKizzo-0.10-qck0.12SAT
sKizzo-0.10-std0.12SAT
squolem0.15SAT
pQBF0.25SAT
AQME-1NN0.52SAT
AQME-C4.50.6SAT
AQME-RIPPER0.89SAT