Instances of family k_d4_p solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
k_d4_p-8UNSAT0.05
k_d4_p-12UNSAT0.11
k_d4_p-16UNSAT0.16
k_d4_p-20UNSAT0.23
k_d4_p-21UNSAT0.27