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



Solver Time Result
ncQuBE1.00.23SAT
ncQuBE1.10.24SAT
yQuaffle2.96SAT
QUANTOR_2.1513.88FAIL
AQME-RIPPER23.62SAT
EBDDRES35.41FAIL
AQME-1NN97.88SAT
AQME-C4.598.22SAT
pQBF600FAIL
sKizzo-0.10-qck600FAIL
sKizzo-0.10-std600FAIL
squolem600FAIL
Adaptive2clsQ600FAIL