Instances of family k_path_p solved by ssolve-A
QBFEVAL'08

InstanceResultTime
k_path_p-1UNSAT0.01
k_path_p-2UNSAT0.02
k_path_p-3UNSAT0.04
k_path_p-4UNSAT0.08
k_path_p-5UNSAT0.12
k_path_p-6UNSAT0.17
k_path_p-7UNSAT0.24
k_path_p-8UNSAT0.29
k_path_p-9UNSAT0.36
k_path_p-10UNSAT0.45
k_path_p-11UNSAT0.55
k_path_p-12UNSAT0.65
k_path_p-13UNSAT0.75
k_path_p-14UNSAT0.88
k_path_p-15UNSAT1
k_path_p-16UNSAT1.13
k_path_p-17UNSAT1.22
k_path_p-18UNSAT1.36
k_path_p-19UNSAT1.51
k_path_p-20UNSAT1.68
k_path_p-21UNSAT1.85