Instances of family k_d4_n solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_d4_n-1SAT0.12
k_d4_n-2SAT106.63
k_d4_n-3FAIL593.32
k_d4_n-8FAIL604.93
k_d4_n-14FAIL611.03
k_d4_n-7FAIL617.82
k_d4_n-10FAIL621.65
k_d4_n-16FAIL623.52
k_d4_n-15FAIL632.34
k_d4_n-20FAIL636.63