Results for instance nusmv.reactor^4.C-f3
QBFEVAL'08



Solver Time Result
QuBE6.117.72SAT
AQME-1NN20.56SAT
quantor3.030.74FAIL
ssolve-A600FAIL
ssolveB600FAIL
ssolveC600FAIL
Nenofex600FAIL