floats-cdfpl/newton_1_4_false-unreach-call.i |
unknown |
.20 |
.22 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_5_false-unreach-call.i |
unknown |
.23 |
.25 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_6_false-unreach-call.i |
unknown |
.21 |
.23 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_7_false-unreach-call.i |
unknown |
.18 |
.20 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_8_false-unreach-call.i |
unknown |
.16 |
.18 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_6_false-unreach-call.i |
unknown |
.13 |
.15 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_7_false-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_8_false-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_6_false-unreach-call.i |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_7_false-unreach-call.i |
unknown |
.20 |
.22 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_8_false-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_1_false-unreach-call.i |
unknown |
.13 |
.14 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_2_false-unreach-call.i |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_3_false-unreach-call.i |
unknown |
.16 |
.18 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_1_false-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_2_false-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_3_false-unreach-call.i |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_1_true-unreach-call.i |
unknown |
.18 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_2_true-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_1_3_true-unreach-call.i |
unknown |
.16 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_1_true-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_2_true-unreach-call.i |
unknown |
.18 |
.20 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_3_true-unreach-call.i |
unknown |
.14 |
.15 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_4_true-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_2_5_true-unreach-call.i |
unknown |
.18 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_1_true-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_2_true-unreach-call.i |
unknown |
.15 |
.17 |
22 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_3_true-unreach-call.i |
unknown |
.13 |
.14 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_4_true-unreach-call.i |
unknown |
.22 |
.25 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/newton_3_5_true-unreach-call.i |
unknown |
.22 |
.23 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_4_true-unreach-call.i |
unknown |
.16 |
.18 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_5_true-unreach-call.i |
unknown |
.21 |
.23 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_6_true-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_7_true-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/sine_8_true-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_4_true-unreach-call.i |
unknown |
.22 |
.24 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_5_true-unreach-call.i |
unknown |
.19 |
.21 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_6_true-unreach-call.i |
unknown |
.21 |
.23 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_7_true-unreach-call.i |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cdfpl/square_8_true-unreach-call.i |
unknown |
.18 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i |
unknown |
.62 |
.64 |
41 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp1_true-unreach-call.i |
true |
.35 |
.38 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp2_true-unreach-call.i |
unknown |
.51 |
.53 |
36 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp3_true-unreach-call.i |
unknown |
.16 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp4_true-unreach-call.i |
unknown |
.53 |
.55 |
36 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp6_true-unreach-call.i |
unknown |
.12 |
.15 |
11 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp7_true-unreach-call.i |
unknown |
.11 |
.12 |
11 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-no-simp8_true-unreach-call.i |
unknown |
.33 |
.35 |
22 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-rounding1_true-unreach-call.i |
unknown |
.36 |
.37 |
23 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-to-double1_true-unreach-call.i |
unknown |
.40 |
.42 |
35 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-to-double2_true-unreach-call.i |
unknown |
.14 |
.17 |
11 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float-zero-sum1_true-unreach-call.i |
unknown |
.12 |
.13 |
11 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float11_true-unreach-call.i |
unknown |
.20 |
.22 |
22 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float12_true-unreach-call.i |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float13_true-unreach-call.i |
unknown |
.16 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float14_true-unreach-call.i |
unknown |
.47 |
.49 |
34 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float18_true-unreach-call.i |
unknown |
.40 |
.42 |
34 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float19_true-unreach-call.i |
unknown |
.38 |
.40 |
26 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float1_true-unreach-call.i |
true |
.36 |
.39 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float20_true-unreach-call.i |
unknown |
.18 |
.20 |
11 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float22_true-unreach-call.i |
unknown |
.20 |
.21 |
22 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float2_true-unreach-call.i |
unknown |
.17 |
.20 |
11 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float3_true-unreach-call.i |
unknown |
.17 |
.18 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float4_true-unreach-call.i |
unknown |
.48 |
.51 |
36 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float5_true-unreach-call.i |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float6_true-unreach-call.i |
unknown |
.19 |
.21 |
22 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float7_true-unreach-call.i |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
floats-cbmc-regression/float8_true-unreach-call.i |
unknown |
.42 |
.44 |
34 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/float_int_inv_square_false-unreach-call.c |
false(reach) |
3.2 |
1.6 |
160 |
wit |
false(reach) |
5.3 |
3.2 |
240 |
true |
13 |
7.4 |
340 |
float-benchs/inv_square_false-unreach-call.c |
unknown |
.18 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/nan_double_false-unreach-call.c |
unknown |
.23 |
.25 |
21 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/nan_float_false-unreach-call.c |
unknown |
.19 |
.21 |
21 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/sin_interpolated_index_false-unreach-call.c |
unknown |
.30 |
.32 |
24 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/inv_square_int_true-unreach-call.c |
true |
.47 |
.49 |
22 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/inv_square_true-unreach-call.c |
unknown |
.24 |
.26 |
21 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/nan_double_range_true-unreach-call.c |
unknown |
.17 |
.19 |
21 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/nan_float_range_true-unreach-call.c |
unknown |
.15 |
.17 |
21 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call.c |
unknown |
.28 |
.29 |
23 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call.c |
unknown |
.25 |
.27 |
24 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/sin_interpolated_index_true-unreach-call.c |
unknown |
.22 |
.24 |
23 |
wit |
- |
|
|
|
- |
|
|
|
float-benchs/sin_interpolated_smallrange_true-unreach-call.c |
unknown |
.22 |
.24 |
23 |
wit |
- |
|
|
|
- |
|
|
|