Results for instance ken.flash^13.C-d3
QBFEVAL'07



Solver Time Result
sKizzo-0.10-std0.94UNSAT
sKizzo-0.10-qck0.97UNSAT
ncQuBE1.01.16UNSAT
ncQuBE1.11.61UNSAT
AQME-C4.51.75UNSAT
AQME-1NN7.38UNSAT
AQME-RIPPER7.44UNSAT
qSS18.84UNSAT
EBDDRES29.48FAIL
QUANTOR_2.15159.21FAIL
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL