Instances of family k_path_n solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_path_n-3SAT0.08
k_path_n-4SAT0.09
k_path_n-5SAT0.09
k_path_n-6SAT0.11
k_path_n-9SAT0.15
k_path_n-12SAT0.2
k_path_n-13SAT0.22
k_path_n-14SAT0.23
k_path_n-16SAT0.26
k_path_n-19SAT0.31