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



Solver Time Result
yQuaffle0.04SAT
sKizzo-0.10-qck0.04SAT
sKizzo-0.10-std0.04SAT
EBDDRES0.04SAT
ncQuBE1.00.06SAT
ncQuBE1.10.07SAT
QUANTOR_2.150.15SAT
squolem0.27SAT
AQME-RIPPER0.77SAT
AQME-1NN20.52SAT
AQME-C4.520.66SAT
pQBF33.49SAT
Adaptive2clsQ61.96SAT