Results for instance aim-200-2_0-yes1-1-50
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.



Solver Time Result
EBDDRES0.01FAIL
yQuaffle0.13UNSAT
ncQuBE1.10.17UNSAT
ncQuBE1.00.17UNSAT
AQME-C4.50.71UNSAT
AQME-RIPPER0.76UNSAT
qSS1.44UNSAT
preQuel_sKizzo-0.103.02UNSAT
sKizzo-0.10-std3.03UNSAT
sKizzo-0.10-qck6UNSAT
QUANTOR_2.1526.87FAIL
Adaptive2clsQ45.07UNSAT
AQME-1NN86.26UNSAT
aigqbf_s119.31UNSAT
aigqbf_sr260.23UNSAT
squolem600FAIL
qZilla600FAIL