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

InstanceResultTime
c4_Debug_s3_f1_e2_v2FAIL599.93
c1_Debug_s5_f1_e1_v2FAIL600.03
c1_Debug_s3_f1_e1_v1FAIL601.36
c4_Debug_s3_f1_e2_v3FAIL602.62
c2_Debug_s3_f1_e1_v2FAIL604.95
c4_Debug_s3_f2_e2_v2FAIL605.92
c2_Debug_s3_f2_e1_v3FAIL606.22
c3_Debug_s3_f2_e2_v2FAIL613.13
c4_Debug_s5_f2_e2_v1FAIL613.98
c4_Debug_s3_f1_e1_v2FAIL626.04