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



Solver Time Result
pQBF0.06FAIL
EBDDRES29.38FAIL
QUANTOR_2.1539.37FAIL
AQME-RIPPER41.24FAIL
sKizzo-0.10-std261.68UNSAT
AQME-C4.5493.38UNSAT
AQME-1NN496.1UNSAT
ncQuBE1.1600FAIL
ncQuBE1.0600FAIL
Adaptive2clsQ600FAIL
sKizzo-0.10-qck600FAIL
squolem600FAIL
yQuaffle600FAIL