Instances of family k_path_n solved by preQuel_sKizzo-0.10
QBFEVAL'07

InstanceResultTime
k_path_n-8SAT0.16
k_path_n-12SAT0.3
k_path_n-16SAT0.52
k_path_n-20SAT0.81
k_path_n-21SAT0.91