formula solving-time(s) checking-time(s) proof-size
---------------------------------------------------

c3_BMC_p1_k2: 0.99 1.26 1811958
counter_8: 0.35 0.23 272129
itc-b13-fixpoint-8: 16.07 45.16 127934366
k_branch_n-16: 6.13 65.22 13411203
k_branch_n-7: 3.67 14.11 25969268
k_d4_n-10: 1.03 2.14 5788038
k_d4_n-11: 1.15 2.66 6509454
k_d4_n-14: 1.59 4.90 9527008
k_d4_n-15: 1.71 5.95 10698606
k_d4_n-20: 2.51 13.03 16863291
k_d4_n-21: 2.72 15.14 18691408
k_dum_n-10: 0.13 0.24 267146
k_dum_n-11: 0.21 0.29 341260
k_dum_n-12: 0.22 0.31 349008
k_dum_n-16: 0.26 0.41 440286
k_dum_n-20: 0.32 0.54 670079
k_dum_n-21: 0.39 0.59 776424
lights3_021_1_022: 0.16 0.27 255291
lights3_021_1_033: 0.15 0.26 393137
lights3_035_1_059: 0.29 0.42 647917
rankfunc0_unsigned_64: 1.51 2.47 3294328
rankfunc16_unsigned_16: 0.27 0.70 767669
rankfunc24_signed_32: 0.54 0.85 1062527
rankfunc27_unsigned_32: 0.35 0.40 1465099
rankfunc52_signed_64: 1.63 3.24 3709668
s3330_d2_s: 10.42 14.47 125441171
solver:echo " $bloqqertime $checktime $size"
stmt137_903_911: 0.37 0.34 1060356
stmt1_629_630: 0.57 0.75 1708107
stmt17_99_98: 1.05 1.73 3464687
stmt27_584_603: 0.31 0.41 996579
stmt27_946_955: 0.35 0.38 998967
stmt41_118_131: 0.29 0.31 791088