Results for instance vis.elevator^1.E-f3
QBFEVAL'07



Solver Time Result
preQuel_sKizzo-0.100.1SAT
yQuaffle0.12UNSAT
ncQuBE1.10.4UNSAT
ncQuBE1.00.44UNSAT
qSS0.47UNSAT
AQME-RIPPER0.88UNSAT
AQME-C4.52.13UNSAT
sKizzo-0.10-qck5.68UNSAT
Adaptive2clsQ10.55UNSAT
QUANTOR_2.1513.31FAIL
qZilla17.68UNSAT
EBDDRES28.38FAIL
aigqbf_s39.08UNSAT
aigqbf_sr39.33UNSAT
AQME-1NN43.03UNSAT
sKizzo-0.10-std71.3UNSAT
squolem600FAIL