Results for instance irst.dme6.B-d3
QBFEVAL'08



Solver Time Result
ssolveC0.12SAT
ssolve-A0.19SAT
ssolveB0.25SAT
QuBE6.13.41SAT
AQME-1NN10.72SAT
quantor3.0128.19FAIL
Nenofex420.93FAIL