Instance | Time | Result |
---|---|---|
C432.blif_0.10_0.20_0_0_out_exact | 140.56 | UNSAT |
C432.blif_0.10_0.20_0_1_out_exact | 205.21 | UNSAT |
c1_Debug_s3_f1_e1_v1 | 61.64 | SAT |
c1_Debug_s3_f1_e1_v3 | 61.02 | SAT |
c1_Debug_s5_f1_e1_v1 | 60.16 | SAT |
c1_Debug_s5_f1_e1_v3 | 56.61 | SAT |
c2_Debug_s3_f1_e1_v1 | 64.74 | SAT |
c2_Debug_s3_f1_e1_v3 | 51.57 | SAT |
c2_Debug_s3_f2_e1_v1 | 146.13 | SAT |
c2_Debug_s3_f2_e1_v3 | 130.81 | SAT |
c2_Debug_s5_f1_e1_v1 | 72.12 | SAT |
c2_Debug_s5_f1_e1_v3 | 63.64 | SAT |
c4_Debug_s3_f2_e1_v1 | 154.01 | SAT |
c4_Debug_s3_f2_e1_v2 | 134.75 | SAT |
c4_Debug_s3_f2_e1_v3 | 140.15 | SAT |
c4_Debug_s3_f2_e2_v1 | 155.59 | SAT |
c4_Debug_s3_f2_e2_v2 | 135.7 | SAT |
ring_r6_ser--opt-17_ | 520.74 | SAT |
c1_BMC_p1_k1024 | 47.51 | SAT |
c3_BMC_p1_k1024 | 302.91 | SAT |
c3_BMC_p1_k512 | 39.73 | SAT |