Results for instance ken.flash^09.C-f4
QBFEVAL'07



Solver Time Result
yQuaffle1.01UNSAT
ncQuBE1.14.26UNSAT
ncQuBE1.04.48UNSAT
AQME-1NN4.68UNSAT
preQuel_sKizzo-0.105.68SAT
QUANTOR_2.1514.89FAIL
qSS17.28UNSAT
Adaptive2clsQ19.9UNSAT
qZilla20UNSAT
EBDDRES25.79FAIL
AQME-RIPPER93.53UNSAT
AQME-C4.593.55UNSAT
aigqbf_s600FAIL
sKizzo-0.10-qck600FAIL
squolem600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL