Results for instance nusmv.queue.B-d3
QBFEVAL'07



Solver Time Result
ncQuBE1.10.49SAT
ncQuBE1.00.52SAT
AQME-C4.55.94SAT
AQME-RIPPER6.06SAT
QUANTOR_2.1514.94FAIL
EBDDRES27.8FAIL
AQME-1NN166.14SAT
sKizzo-0.10-qck503.55SAT
qSS600FAIL
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
sKizzo-0.10-std600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL