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

InstanceResultTime
c3_Debug_s3_f2_e2_v2FAIL591.62
c1_Debug_s3_f1_e1_v1FAIL592.52
c1_Debug_s5_f1_e1_v2FAIL592.62
c4_Debug_s3_f1_e2_v3FAIL592.72
c2_Debug_s3_f1_e1_v2FAIL592.73
c4_Debug_s3_f1_e1_v2FAIL592.85
c2_Debug_s3_f2_e1_v3FAIL594.04
c4_Debug_s3_f1_e2_v2FAIL595.34
c4_Debug_s5_f2_e2_v1FAIL602.02
c4_Debug_s3_f2_e2_v2FAIL625.85