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



Solver Time Result
QuBE6.10.37SAT
AQME-1NN3.08SAT
quantor3.029.75FAIL
Nenofex491.63FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL