Instances of family k_path_n solved by qmaiga
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_path_n-10SAT0.2
k_path_n-20SAT0.51
k_path_n-21SAT0.54