Results for instance k_path_n-12
QBFEVAL'06



Solver Time Result
QUANTOR_hc0UNSAT
preQuantor0.03SAT
QUANTOR0.04SAT
SQBF0.04SAT
2clsQ0.04SAT
sSolve4.32SAT
ssolve-ut4.39SAT
ssolve+ut4.89SAT
sKizzo-0.9-abs9.51SAT
sKizzo-0.9-std10.18SAT
semprop93.35SAT
Quaffle565.57FAIL
sKizzo-0.9-grn574.72FAIL
Qbfl596.35FAIL
GRL600.8FAIL
WalkQSAT600.99FAIL
qube3.02572.01FAIL
qube5.02584.76FAIL
qube4.02591.74FAIL
yQuaffle5997.94FAIL
openQbf6000.86FAIL