Results for instance nusmv.tcas^2.B-f2
QBFEVAL'08



Solver Time Result
quantor3.032.32FAIL
QuBE6.1539.52SAT
AQME-1NN548.26FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL