Results for instance k_branch_n-9
QBFEVAL'04



Solver Time Result
QUANTOR12.93FAIL
yQuaffle88.19FAIL
semprop255.29SAT
CSBJ901FAIL
QSAT901FAIL
orSAT901FAIL
CLearn901FAIL
QMRes901FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
QBFL-BS901.01FAIL
openQbf901.01FAIL
QBFL-JW901.02FAIL
GRL901.02FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.03FAIL