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



Solver Time Result
EBDDRES0.01FAIL
yQuaffle0.11UNSAT
ncQuBE1.10.21UNSAT
ncQuBE1.00.22UNSAT
AQME-C4.50.72UNSAT
AQME-RIPPER0.79UNSAT
sKizzo-0.10-std2.61UNSAT
preQuel_sKizzo-0.102.62UNSAT
sKizzo-0.10-qck2.68UNSAT
qSS2.81UNSAT
QUANTOR_2.1536.62FAIL
Adaptive2clsQ50.76UNSAT
AQME-1NN94.13UNSAT
aigqbf_s192.25UNSAT
aigqbf_sr435.29UNSAT
squolem600FAIL
qZilla600FAIL