Results for instance k_path_n-16
QBFEVAL'06



Solver Time Result
QUANTOR_hc0.01UNSAT
QUANTOR0.05SAT
preQuantor0.06SAT
SQBF0.06SAT
2clsQ0.07SAT
ssolve-ut7.31SAT
sSolve7.35SAT
ssolve+ut7.9SAT
sKizzo-0.9-abs9.62SAT
sKizzo-0.9-std10.11SAT
sKizzo-0.9-grn487.5FAIL
Quaffle566.24FAIL
Qbfl596.75FAIL
GRL600.71FAIL
WalkQSAT601FAIL
semprop601FAIL
qube3.01237.45FAIL
qube4.02073.32FAIL
qube5.02580.96FAIL
yQuaffle5998.21FAIL
openQbf6000.91FAIL