Instances of family k_path_n solved by xb-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_path_n-3SAT0.04
k_path_n-4SAT0.05
k_path_n-5SAT0.06
k_path_n-6SAT0.08
k_path_n-9SAT0.12
k_path_n-12SAT0.17
k_path_n-13SAT0.18
k_path_n-14SAT0.19
k_path_n-16SAT0.23
k_path_n-19SAT0.26