Results for instance ken.flash^02.C-d2
QBFEVAL'07



Solver Time Result
sKizzo-0.10-std0.4SAT
sKizzo-0.10-qck0.41SAT
ncQuBE1.11.31SAT
ncQuBE1.01.38SAT
AQME-1NN15.12SAT
AQME-RIPPER15.31SAT
EBDDRES26.03FAIL
QUANTOR_2.1545.65SAT
AQME-C4.5156.39SAT
qSS488.92SAT
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL