Instances of family k_dum_n solved by squolem
QBFEVAL'07

InstanceResultTime
k_dum_n-8SAT0.04
k_dum_n-12SAT0.07
k_dum_n-16SAT0.09
k_dum_n-20SAT0.12
k_dum_n-21SAT0.14