Instances of family k_dum_n solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
k_dum_n-8SAT0.08
k_dum_n-12SAT0.11
k_dum_n-16SAT0.15
k_dum_n-20SAT0.2
k_dum_n-21SAT0.22