Results for instance mutex-64-s
QBFEVAL'04



Solver Time Result
sSolve0.03SAT
QBFL-BS0.05SAT
QBFL-JW0.06SAT
orSAT0.98SAT
QUANTOR11.61FAIL
QMRes191.13FAIL
GRL901FAIL
QSAT901FAIL
CLearn901FAIL
yQuaffle901FAIL
WalkQSAT901FAIL
openQbf901FAIL
CSBJ901FAIL
semprop901.01FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.04FAIL