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



Solver Time Result
yQuaffle0.13UNSAT
ncQuBE1.10.18UNSAT
ncQuBE1.00.18UNSAT
AQME-C4.50.72UNSAT
AQME-RIPPER0.8UNSAT
qSS1.46UNSAT
preQuel_sKizzo-0.102.96UNSAT
sKizzo-0.10-std2.98UNSAT
sKizzo-0.10-qck6.44UNSAT
QUANTOR_2.1523.53FAIL
EBDDRES29.63FAIL
Adaptive2clsQ52.88UNSAT
aigqbf_s79.46UNSAT
AQME-1NN101.71UNSAT
aigqbf_sr146.14UNSAT
squolem600FAIL
qZilla600FAIL