Instances of family k_path_p solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
k_path_p-4UNSAT0.07
k_path_p-8UNSAT0.11
k_path_p-12UNSAT2.32
k_path_p-16UNSAT187.99
k_path_p-21FAIL900.71
k_path_p-20FAIL900.74