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

InstanceResultTime
k_d4_n-1FAIL0.02
k_d4_n-2FAIL0.05
k_d4_n-3FAIL0.41
k_d4_n-10FAIL611.42
k_d4_n-16FAIL621.63
k_d4_n-7FAIL624.42
k_d4_n-14FAIL626.75
k_d4_n-8FAIL629.42
k_d4_n-20FAIL646.93
k_d4_n-15FAIL649.39