Results for instance mutex-128-s
QBFEVAL'10 - 2QBF Track.



Solver Time Result
aqme-103.63SAT
struqs-107.08SAT
quantor-3.131.79FAIL
nenofex-qbfeval10601.47FAIL
QuBE7-c1200.05FAIL
QuBE7-m1200.05FAIL
QuBE71200.07FAIL
depqbf-pre1200.15FAIL
depqbf1200.17FAIL