Instances of family k_d4_n solved by qZilla
QBFEVAL'07

InstanceResultTime
k_d4_n-8SAT38.19
k_d4_n-20SAT55.15
k_d4_n-21SAT55.26
k_d4_n-12SAT55.94
k_d4_n-16SAT60.95