Results for instance k_d4_n-8
QBFEVAL'04



Solver Time Result
QMRes1.62SAT
QUANTOR19.92FAIL
orSAT87.39FAIL
GRL901FAIL
QSAT901FAIL
QBFL-BS901FAIL
CSBJ901FAIL
yQuaffle901FAIL
WalkQSAT901FAIL
semprop901FAIL
sSolve901.01FAIL
QBFL-JW901.01FAIL
openQbf901.01FAIL
CLearn901.01FAIL
QUBE-LRN901.03FAIL
QUBE-BJ901.04FAIL