Results for instance nusmv.dme1-16.B-d2
QBFEVAL'08



Solver Time Result
ssolve-A0.02SAT
ssolveB0.02SAT
ssolveC0.02SAT
Nenofex0.02SAT
QuBE6.10.04SAT
AQME-1NN0.93SAT
quantor3.032.2SAT