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

InstanceResultTime
k_path_p-9UNSAT0.16
k_path_p-10UNSAT0.19
k_path_p-16UNSAT0.34
k_path_p-21UNSAT0.55