Instances of family k_path_p solved by Nenofex
QBFEVAL'08

InstanceResultTime
k_path_p-1UNSAT0.01
k_path_p-2UNSAT0.06
k_path_p-4UNSAT0.26
k_path_p-3UNSAT0.28
k_path_p-6UNSAT0.78
k_path_p-5UNSAT1.04
k_path_p-10UNSAT2.44
k_path_p-15UNSAT4.34
k_path_p-12UNSAT6.45
k_path_p-8UNSAT8.71
k_path_p-16UNSAT12.24
k_path_p-9UNSAT17.02
k_path_p-13UNSAT23.95
k_path_p-11UNSAT38.47
k_path_p-18FAIL39.15
k_path_p-7UNSAT40.2
k_path_p-14UNSAT44.05
k_path_p-19FAIL52.28
k_path_p-20FAIL61.16
k_path_p-17FAIL254.51
k_path_p-21FAIL256.56