Results for instance nusmv.brp.B-d2
QBFEVAL'07



Solver Time Result
sKizzo-0.10-qck0.07SAT
sKizzo-0.10-std0.07SAT
ncQuBE1.10.09SAT
ncQuBE1.00.09SAT
Adaptive2clsQ0.11SAT
qZilla0.12SAT
AQME-RIPPER0.82SAT
QUANTOR_2.151.12SAT
AQME-1NN1.85SAT
AQME-C4.51.92SAT
aigqbf_sr2.47SAT
aigqbf_s2.49SAT
qSS19.91SAT
EBDDRES31.81FAIL
yQuaffle49.93SAT
preQuel_sKizzo-0.10600FAIL
squolem600FAIL