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

InstanceResultTime
k3_1_1FAIL0.07
k14_2_3FAIL608.7
k5_3_2FAIL610.82
k6_2_3FAIL626.02
k12_4_2FAIL632.22
k8_3_4FAIL642.66
k8_2_3FAIL643.32
k8_4_3FAIL649.52
k5_2_3FAIL656.62
k8_3_2FAIL700.02