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



Solver Time Result
pQBF0.05FAIL
EBDDRES28.03FAIL
AQME-RIPPER41.06FAIL
QUANTOR_2.1547.96FAIL
ncQuBE1.092.88SAT
ncQuBE1.194.27SAT
sKizzo-0.10-std115.81SAT
AQME-C4.5217.03SAT
AQME-1NN222.84SAT
yQuaffle471.43SAT
sKizzo-0.10-qck600FAIL
squolem600FAIL
Adaptive2clsQ600FAIL