Results for instance s713_d9_u
QBFEVAL'04



Solver Time Result
WalkQSAT0.21FAIL
QMRes18.39FAIL
yQuaffle90.9FAIL
QUBE-LRN137.46FAIL
QBFL-JW901FAIL
QSAT901FAIL
sSolve901FAIL
semprop901FAIL
openQbf901FAIL
GRL901.01FAIL
orSAT901.01FAIL
CLearn901.01FAIL
QUANTOR901.01FAIL
CSBJ901.01FAIL
QBFL-BS901.02FAIL
QUBE-BJ901.03FAIL