Instances of family k_path_n solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_path_n-3SAT0.02
k_path_n-4SAT0.02
k_path_n-9SAT0.03
k_path_n-6SAT0.03
k_path_n-12SAT0.03
k_path_n-5SAT0.03
k_path_n-16SAT0.03
k_path_n-13SAT0.03
k_path_n-14SAT0.04
k_path_n-19SAT0.04