Instances of family k_d4_p solved by semprop
QBFEVAL'05

InstanceResultTime
k_d4_p-4UNSAT0.14
k_d4_p-8UNSAT4.05
k_d4_p-12UNSAT47.82
k_d4_p-16UNSAT393.18
k_d4_p-20FAIL901
k_d4_p-21FAIL901