Results for instance k_d4_n-12
QBFEVAL'04



Solver Time Result
QMRes4.3SAT
QUANTOR19.95FAIL
orSAT135.01FAIL
yQuaffle555.39FAIL
QBFL-BS901FAIL
WalkQSAT901FAIL
sSolve901FAIL
QBFL-JW901FAIL
CSBJ901FAIL
QSAT901.01FAIL
CLearn901.01FAIL
semprop901.01FAIL
openQbf901.01FAIL
GRL901.01FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.03FAIL