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



Solver Time Result
yQuaffle0.58UNSAT
AQME-1NN2.76UNSAT
ncQuBE1.12.98UNSAT
ncQuBE1.03.19UNSAT
preQuel_sKizzo-0.103.24SAT
AQME-C4.54.07UNSAT
qSS5.42UNSAT
Adaptive2clsQ14.08UNSAT
qZilla14.15UNSAT
QUANTOR_2.1516.8FAIL
AQME-RIPPER24.14UNSAT
EBDDRES25.15FAIL
sKizzo-0.10-std47.05UNSAT
sKizzo-0.10-qck366.07UNSAT
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL