Results for instance k_lin_n-14
QBFEVAL'04



Solver Time Result
semprop4.11SAT
yQuaffle109.19FAIL
sSolve161.68SAT
QUBE-LRN181.89SAT
GRL901FAIL
QSAT901FAIL
QBFL-JW901FAIL
QBFL-BS901FAIL
orSAT901FAIL
CLearn901FAIL
WalkQSAT901FAIL
QMRes901FAIL
openQbf901FAIL
CSBJ901.01FAIL
QUANTOR901.02FAIL
QUBE-BJ901.03FAIL