Results for instance mutex-32-s
QBFEVAL'05



Solver Time Result
sSolve0.01SAT
QMRes6.91SAT
QUANTOR11.03FAIL
skizzo_v0.535.98SAT
skizzo_v0.4101.3SAT
yQuaffle850.7FAIL
QChaffLearn894.9FAIL
GRL900.78FAIL
openQbf900.94FAIL
QbflHR900.98FAIL
qbfbdd900.99FAIL
semprop901FAIL
WalkQSAT901FAIL