Results for instance k_path_n-12
QBFEVAL'05



Solver Time Result
QUANTOR0.04SAT
QMRes1.42SAT
skizzo_v0.59.78SAT
semprop93.29SAT
skizzo_v0.4791.19FAIL
QChaffLearn884.74FAIL
yQuaffle899.92FAIL
GRL900.63FAIL
openQbf900.93FAIL
sSolve900.99FAIL
qbfbdd901FAIL
WalkQSAT901FAIL
QbflHR901.01FAIL