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



Solver Time Result
yQuaffle0.07UNSAT
ncQuBE1.10.2UNSAT
ncQuBE1.00.2UNSAT
AQME-C4.50.67UNSAT
AQME-RIPPER0.78UNSAT
sKizzo-0.10-std1.43UNSAT
sKizzo-0.10-qck1.46UNSAT
preQuel_sKizzo-0.101.46UNSAT
qSS1.9UNSAT
qZilla10.41UNSAT
EBDDRES31.33FAIL
Adaptive2clsQ60.51UNSAT
AQME-1NN72.36UNSAT
aigqbf_s94.8UNSAT
QUANTOR_2.15298.76FAIL
aigqbf_sr347.23UNSAT
squolem600FAIL