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



Solver Time Result
sKizzo-0.10-std0.67UNSAT
sKizzo-0.10-qck0.69UNSAT
ncQuBE1.11.21UNSAT
ncQuBE1.01.29UNSAT
AQME-C4.51.41UNSAT
AQME-1NN5.52UNSAT
AQME-RIPPER5.64UNSAT
qSS20.34UNSAT
EBDDRES27.19FAIL
QUANTOR_2.1547.82FAIL
aigqbf_sr489.8UNSAT
aigqbf_s490.7UNSAT
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
squolem600FAIL
yQuaffle600FAIL