Results for instance k_lin_n-7
QBFEVAL'04



Solver Time Result
semprop0.28SAT
QUBE-LRN9.27SAT
sSolve12.34SAT
CLearn35.51SAT
yQuaffle108.09SAT
QUANTOR227.38SAT
GRL263.81SAT
QSAT356.01SAT
WalkQSAT901FAIL
QMRes901FAIL
orSAT901FAIL
QBFL-BS901FAIL
openQbf901FAIL
CSBJ901FAIL
QBFL-JW901.01FAIL
QUBE-BJ901.04FAIL