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

InstanceResultTime
k3_1_1SAT0.11
k14_2_3FAIL612.34
k8_3_2FAIL619.62
k5_3_2FAIL621.52
k8_3_4FAIL634.53
k6_2_3FAIL643.32
k8_2_3FAIL652.42
k5_2_3FAIL658.72
k12_4_2FAIL674.17
k8_4_3FAIL698.62