Instances of family k_d4_p solved by CSBJ
QBFEVAL'04

InstanceResultTime
k_d4_p-3UNSAT204.5
k_d4_p-16FAIL901
k_d4_p-17FAIL901
k_d4_p-19FAIL901
k_d4_p-13FAIL901
k_d4_p-14FAIL901.01
k_d4_p-6FAIL901.01
k_d4_p-7FAIL901.01