Results for instance k_t4p_p-12
QBFEVAL'04



Solver Time Result
QMRes2.58UNSAT
QUANTOR20.64FAIL
orSAT145.19FAIL
yQuaffle488.9FAIL
CSBJ901FAIL
QSAT901FAIL
QBFL-JW901FAIL
QBFL-BS901.01FAIL
CLearn901.01FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
semprop901.01FAIL
openQbf901.01FAIL
GRL901.01FAIL
QUBE-BJ901.03FAIL
QUBE-LRN901.03FAIL