Instances of family k_dum_n solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
k_dum_n-8SAT525.41
k_dum_n-12FAIL570.01
k_dum_n-20FAIL570.21
k_dum_n-16FAIL570.38
k_dum_n-21FAIL570.53