Results for instance mutex-32-s
QBFEVAL'08



Solver Time Result
ssolve-A0.08SAT
ssolveC0.08SAT
ssolveB0.08SAT
AQME-1NN1.32SAT
quantor3.023.46FAIL
Nenofex600FAIL
QuBE6.1600FAIL