Results for instance mutex-128-s
QBFEVAL'08



Solver Time Result
ssolveC0.32SAT
ssolve-A0.34SAT
ssolveB0.38SAT
AQME-1NN3.03SAT
quantor3.023.51FAIL
Nenofex600FAIL
QuBE6.1600FAIL