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



Solver Time Result
yQuaffle0.1UNSAT
ncQuBE1.10.16UNSAT
ncQuBE1.00.16UNSAT
AQME-C4.50.7UNSAT
AQME-RIPPER0.72UNSAT
preQuel_sKizzo-0.103.56UNSAT
sKizzo-0.10-std3.57UNSAT
QUANTOR_2.1525.11FAIL
EBDDRES31.28FAIL
qSS32.77UNSAT
AQME-1NN87.75UNSAT
sKizzo-0.10-qck126.14FAIL
aigqbf_s127.2UNSAT
aigqbf_sr346.69UNSAT
Adaptive2clsQ600FAIL
squolem600FAIL
qZilla600FAIL