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



Solver Time Result
pQBF0.08FAIL
AQME-1NN24.3SAT
AQME-C4.524.39SAT
EBDDRES30.11FAIL
ncQuBE1.040.92SAT
AQME-RIPPER41.11FAIL
ncQuBE1.142.23SAT
Adaptive2clsQ88.54SAT
QUANTOR_2.15115.38FAIL
sKizzo-0.10-qck242.51FAIL
sKizzo-0.10-std438.34FAIL
squolem600FAIL
yQuaffle600FAIL