Results for instance vis.bakery.E-d4
QBFEVAL'07



Solver Time Result
yQuaffle0.04SAT
sKizzo-0.10-std0.06SAT
sKizzo-0.10-qck0.07SAT
QUANTOR_2.150.08SAT
Adaptive2clsQ0.08SAT
qZilla0.09SAT
ncQuBE1.10.1SAT
qSS0.11SAT
ncQuBE1.00.11SAT
AQME-1NN0.58SAT
AQME-C4.50.64SAT
AQME-RIPPER0.68SAT
EBDDRES2.08SAT
aigqbf_s4.44SAT
aigqbf_sr4.64SAT
squolem600FAIL
preQuel_sKizzo-0.10600FAIL