| floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i |
timeout |
900 |
895 |
718733312 |
| floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i |
false(unreach-call) |
27.7 |
21.8 |
664571904 |
| floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i |
false(unreach-call) |
47.8 |
41.4 |
675569664 |
| floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i |
false(unreach-call) |
150 |
144 |
680456192 |
| floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i |
false(unreach-call) |
39.9 |
33.7 |
672899072 |
| floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i |
false(unreach-call) |
645 |
639 |
981975040 |
| floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i |
false(unreach-call) |
364 |
359 |
931360768 |
| floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i |
false(unreach-call) |
136 |
131 |
921673728 |
| floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i |
timeout |
900 |
895 |
1088380928 |
| floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i |
false(unreach-call) |
182 |
176 |
1061629952 |
| floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i |
false(unreach-call) |
204 |
198 |
1098166272 |
| floats-cdfpl/sine_1_false-unreach-call_true-termination.i |
false(unreach-call) |
620 |
615 |
713801728 |
| floats-cdfpl/sine_2_false-unreach-call_true-termination.i |
timeout |
900 |
896 |
946647040 |
| floats-cdfpl/sine_3_false-unreach-call_true-termination.i |
timeout |
900 |
896 |
840708096 |
| floats-cdfpl/square_1_false-unreach-call_true-termination.i |
false(unreach-call) |
113 |
108 |
446054400 |
| floats-cdfpl/square_2_false-unreach-call_true-termination.i |
false(unreach-call) |
221 |
215 |
455954432 |
| floats-cdfpl/square_3_false-unreach-call_true-termination.i |
false(unreach-call) |
698 |
693 |
636080128 |
| floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
856952832 |
| floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
847007744 |
| floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i |
timeout |
900 |
894 |
778477568 |
| floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
1086033920 |
| floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
987574272 |
| floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
1048473600 |
| floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i |
timeout |
900 |
894 |
990670848 |
| floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i |
timeout |
900 |
894 |
985604096 |
| floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i |
timeout |
900 |
894 |
1123696640 |
| floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i |
timeout |
900 |
894 |
1108910080 |
| floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i |
timeout |
900 |
894 |
1127985152 |
| floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
1105952768 |
| floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
1222197248 |
| floats-cdfpl/sine_4_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
750325760 |
| floats-cdfpl/sine_5_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
703504384 |
| floats-cdfpl/sine_6_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
874680320 |
| floats-cdfpl/sine_7_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
731205632 |
| floats-cdfpl/sine_8_true-unreach-call_true-termination.i |
true |
445 |
439 |
1241702400 |
| floats-cdfpl/square_4_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
731860992 |
| floats-cdfpl/square_5_true-unreach-call_true-termination.i |
true |
630 |
624 |
749420544 |
| floats-cdfpl/square_6_true-unreach-call_true-termination.i |
true |
792 |
787 |
761012224 |
| floats-cdfpl/square_7_true-unreach-call_true-termination.i |
timeout |
900 |
895 |
737112064 |
| floats-cdfpl/square_8_true-unreach-call_true-termination.i |
true |
147 |
141 |
638550016 |
| floats-cbmc-regression/float-div1_true-unreach-call.i |
true |
62.1 |
53.4 |
1199661056 |
| floats-cbmc-regression/float-flags-simp1_true-unreach-call.i |
error (7) |
14.1 |
7.73 |
205279232 |
| floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i |
true |
14.5 |
8.83 |
245039104 |
| floats-cbmc-regression/float-no-simp2_true-unreach-call.i |
true |
65.8 |
57.1 |
467746816 |
| floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i |
true |
14.3 |
8.86 |
236879872 |
| floats-cbmc-regression/float-no-simp4_true-unreach-call.i |
true |
19.2 |
10.7 |
369917952 |
| floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i |
true |
16.5 |
10.1 |
288710656 |
| floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i |
true |
15.2 |
9.18 |
257183744 |
| floats-cbmc-regression/float-no-simp8_true-unreach-call.i |
error (7) |
13.8 |
7.66 |
206635008 |
| floats-cbmc-regression/float-rounding1_true-unreach-call.i |
unknown |
7.15 |
4.03 |
202256384 |
| floats-cbmc-regression/float-to-double1_true-unreach-call.i |
true |
34.4 |
26.9 |
414212096 |
| floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i |
true |
14.8 |
8.99 |
247255040 |
| floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i |
true |
15.8 |
9.55 |
254386176 |
| floats-cbmc-regression/float11_true-unreach-call_true-termination.i |
true |
15.9 |
9.53 |
248909824 |
| floats-cbmc-regression/float12_true-unreach-call_true-termination.i |
true |
23.1 |
17.1 |
283987968 |
| floats-cbmc-regression/float13_true-unreach-call_true-termination.i |
true |
16.2 |
9.90 |
252973056 |
| floats-cbmc-regression/float14_true-unreach-call.i |
true |
16.7 |
9.58 |
348024832 |
| floats-cbmc-regression/float18_true-unreach-call.i |
error (7) |
13.5 |
7.70 |
202162176 |
| floats-cbmc-regression/float19_true-unreach-call.i |
true |
16.9 |
9.78 |
358723584 |
| floats-cbmc-regression/float1_true-unreach-call_true-termination.i |
true |
15.0 |
9.07 |
244441088 |
| floats-cbmc-regression/float20_true-unreach-call_true-termination.i |
true |
29.1 |
22.1 |
380153856 |
| floats-cbmc-regression/float21_true-unreach-call.i |
true |
84.6 |
74.5 |
500088832 |
| floats-cbmc-regression/float22_true-unreach-call_true-termination.i |
true |
44.0 |
30.8 |
631402496 |
| floats-cbmc-regression/float2_true-unreach-call_true-termination.i |
true |
15.6 |
9.70 |
260718592 |
| floats-cbmc-regression/float3_true-unreach-call_true-termination.i |
true |
18.7 |
12.9 |
312184832 |
| floats-cbmc-regression/float4_true-unreach-call.i |
true |
107 |
97.5 |
507305984 |
| floats-cbmc-regression/float5_true-unreach-call_true-termination.i |
true |
32.3 |
26.5 |
292593664 |
| floats-cbmc-regression/float6_true-unreach-call_true-termination.i |
error (7) |
16.2 |
10.0 |
245964800 |
| floats-cbmc-regression/float8_true-unreach-call.i |
true |
18.1 |
10.4 |
356782080 |
| floats-cbmc-regression/float_lib1_true-unreach-call.i |
error (7) |
14.1 |
7.88 |
200167424 |
| floats-cbmc-regression/float_lib2_true-unreach-call.i |
true |
19.4 |
11.0 |
353865728 |
| float-benchs/cast_float_ptr_false-unreach-call_true-termination.c |
false(unreach-call) |
18.9 |
11.2 |
296439808 |
| float-benchs/cast_union_loose_false-unreach-call_true-termination.c |
false(unreach-call) |
15.7 |
9.57 |
278110208 |
| float-benchs/cast_union_tight_false-unreach-call_true-termination.c |
false(unreach-call) |
16.3 |
9.96 |
284381184 |
| float-benchs/float_int_inv_square_false-unreach-call_true-termination.c |
false(unreach-call) |
17.2 |
10.9 |
301137920 |
| float-benchs/inv_Newton_false-unreach-call.c |
timeout |
900 |
891 |
1918537728 |
| float-benchs/inv_Newton_false-unreach-call.c.p+cfa-reducer.c |
timeout |
900 |
889 |
1755713536 |
| float-benchs/inv_square_false-unreach-call_true-termination.c |
false(unreach-call) |
16.3 |
10.2 |
315420672 |
| float-benchs/nan_double_false-unreach-call_true-termination.c |
false(unreach-call) |
14.6 |
8.91 |
241225728 |
| float-benchs/nan_float_false-unreach-call_true-termination.c |
false(unreach-call) |
14.9 |
8.96 |
234635264 |
| float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c |
false(unreach-call) |
652 |
639 |
2080608256 |
| float-benchs/sqrt_poly2_false-unreach-call.c |
false(unreach-call) |
38.9 |
32.0 |
593907712 |
| float-benchs/Muller_Kahan_true-unreach-call.c.p+cfa-reducer.c |
timeout |
901 |
839 |
3070275584 |
| float-benchs/Muller_Kahan_true-unreach-call_true-termination.c |
timeout |
901 |
835 |
5846405120 |
| float-benchs/Rump_double_true-unreach-call_true-termination.c |
true |
30.3 |
24.1 |
988561408 |
| float-benchs/Rump_float_true-unreach-call_true-termination.c |
true |
18.6 |
12.3 |
431955968 |
| float-benchs/addsub_double_exact_true-unreach-call_true-termination.c |
true |
15.4 |
9.49 |
277536768 |
| float-benchs/addsub_float_exact_true-unreach-call_true-termination.c |
true |
15.4 |
9.41 |
253739008 |
| float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c |
true |
15.9 |
9.59 |
254164992 |
| float-benchs/arctan_Pade_true-unreach-call_true-termination.c |
error (7) |
161 |
154 |
2574942208 |
| float-benchs/bary_diverge_true-unreach-call_true-termination.c |
timeout |
900 |
890 |
795332608 |
| float-benchs/cast_float_union_true-unreach-call.c |
true |
7.84 |
4.67 |
244277248 |
| float-benchs/cos_polynomial_true-unreach-call_true-termination.c |
timeout |
900 |
892 |
2231431168 |
| float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c |
timeout |
901 |
772 |
1866289152 |
| float-benchs/divmul_diverge_true-unreach-call_true-termination.c |
timeout |
901 |
769 |
1914654720 |
| float-benchs/drift_tenth_true-unreach-call.c.p+cfa-reducer.c |
true |
628 |
616 |
866209792 |
| float-benchs/drift_tenth_true-unreach-call_true-termination.c |
timeout |
900 |
888 |
848371712 |
| float-benchs/exp_loop_true-unreach-call.c |
timeout |
900 |
889 |
1066254336 |
| float-benchs/feedback_diverge_true-unreach-call_true-termination.c |
timeout |
901 |
773 |
1874501632 |
| float-benchs/filter1_true-unreach-call.c.p+cfa-reducer.c |
timeout |
900 |
890 |
908161024 |
| float-benchs/filter1_true-unreach-call.c.v+lhb-reducer.c |
timeout |
900 |
887 |
1147723776 |
| float-benchs/filter1_true-unreach-call.c.v+nlh-reducer.c |
timeout |
900 |
887 |
1163382784 |
| float-benchs/filter1_true-unreach-call_true-termination.c |
timeout |
900 |
889 |
1668931584 |
| float-benchs/filter2_alt_true-unreach-call.c |
timeout |
900 |
891 |
930340864 |
| float-benchs/filter2_iterated_true-unreach-call.c |
error (7) |
64.1 |
57.5 |
2215403520 |
| float-benchs/filter2_reinit_true-unreach-call_true-termination.c |
timeout |
900 |
891 |
1958776832 |
| float-benchs/filter2_set_true-unreach-call_true-termination.c |
error (7) |
598 |
589 |
3533791232 |
| float-benchs/filter2_true-unreach-call_true-termination.c |
timeout |
901 |
892 |
2484940800 |
| float-benchs/filter_iir_true-unreach-call.c |
timeout |
901 |
886 |
2869293056 |
| float-benchs/float_double_true-unreach-call_true-termination.c |
true |
15.1 |
9.10 |
253349888 |
| float-benchs/image_filter_true-unreach-call.c |
timeout |
900 |
891 |
673611776 |
| float-benchs/interpolation2_true-unreach-call.c.p+cfa-reducer.c |
timeout |
900 |
891 |
1480839168 |
| float-benchs/interpolation2_true-unreach-call.c.v+cfa-reducer.c |
timeout |
900 |
891 |
1528676352 |
| float-benchs/interpolation2_true-unreach-call.c.v+nlh-reducer.c |
timeout |
900 |
891 |
1482690560 |
| float-benchs/interpolation2_true-unreach-call_true-termination.c |
error (7) |
163 |
152 |
2656878592 |
| float-benchs/interpolation_true-unreach-call.c.p+cfa-reducer.c |
timeout |
900 |
890 |
1283461120 |
| float-benchs/interpolation_true-unreach-call.c.v+cfa-reducer.c |
timeout |
900 |
890 |
1374109696 |
| float-benchs/interpolation_true-unreach-call.c.v+nlh-reducer.c |
timeout |
900 |
891 |
1460035584 |
| float-benchs/interpolation_true-unreach-call_true-termination.c |
timeout |
900 |
890 |
1178222592 |
| float-benchs/inv_Newton_true-unreach-call.c |
true |
19.4 |
12.1 |
348037120 |
| float-benchs/inv_sqrt_Quake_true-unreach-call.c.v+cfa-reducer.c |
error (7) |
125 |
117 |
1408479232 |
| float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c |
error (7) |
56.7 |
49.7 |
473665536 |
| float-benchs/inv_square_int_true-unreach-call_true-termination.c |
true |
19.9 |
14.2 |
302723072 |
| float-benchs/inv_square_true-unreach-call_true-termination.c |
true |
18.3 |
12.1 |
304316416 |
| float-benchs/loop_true-unreach-call.c |
true |
123 |
116 |
364212224 |
| float-benchs/mea8000_true-unreach-call.c |
timeout |
901 |
840 |
5925498880 |
| float-benchs/nan_double_range_true-unreach-call_true-termination.c |
true |
15.2 |
9.19 |
248512512 |
| float-benchs/nan_float_range_true-unreach-call_true-termination.c |
true |
14.8 |
9.14 |
256028672 |
| float-benchs/rlim_exit_true-unreach-call_true-termination.c |
timeout |
901 |
779 |
1651113984 |
| float-benchs/rlim_invariant_true-unreach-call.c.p+cfa-reducer.c |
timeout |
900 |
889 |
817053696 |
| float-benchs/rlim_invariant_true-unreach-call.c.v+lhb-reducer.c |
timeout |
900 |
887 |
971870208 |
| float-benchs/rlim_invariant_true-unreach-call.c.v+nlh-reducer.c |
timeout |
900 |
887 |
949399552 |
| float-benchs/rlim_invariant_true-unreach-call_true-termination.c |
timeout |
900 |
890 |
781119488 |
| float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c |
timeout |
901 |
879 |
1655033856 |
| float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c |
timeout |
901 |
877 |
1768181760 |
| float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c |
timeout |
900 |
889 |
1903693824 |
| float-benchs/sin_interpolated_negation_true-unreach-call.c |
timeout |
900 |
884 |
2463735808 |
| float-benchs/sin_interpolated_smallrange_true-unreach-call.c |
error (7) |
681 |
665 |
3353907200 |
| float-benchs/sqrt_Householder_constant_true-unreach-call.c |
error (7) |
369 |
359 |
3256487936 |
| float-benchs/sqrt_Householder_constant_true-unreach-call.c.p+cfa-reducer.c |
error (7) |
477 |
466 |
3435929600 |
| float-benchs/sqrt_Householder_interval_true-unreach-call.c |
error (7) |
100 |
92.5 |
2584465408 |
| float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c |
error (7) |
105 |
97.1 |
2602815488 |
| float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c |
error (7) |
101 |
93.3 |
2611183616 |
| float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c |
error (7) |
98.2 |
91.0 |
2595676160 |
| float-benchs/sqrt_poly_true-unreach-call_true-termination.c |
true |
107 |
99.3 |
1006112768 |
| float-benchs/water_pid_true-unreach-call_true-termination.c |
error (7) |
333 |
325 |
3120566272 |
| float-benchs/zonotope_2_true-unreach-call_true-termination.c |
timeout |
900 |
884 |
1647874048 |
| float-benchs/zonotope_3_true-unreach-call.c.p+cfa-reducer.c |
timeout |
901 |
769 |
3023028224 |
| float-benchs/zonotope_3_true-unreach-call.c.v+lhb-reducer.c |
timeout |
901 |
768 |
3492429824 |
| float-benchs/zonotope_3_true-unreach-call_true-termination.c |
timeout |
901 |
766 |
3908005888 |
| float-benchs/zonotope_loose_true-unreach-call.c.v+cfa-reducer.c |
true |
257 |
248 |
1328521216 |
| float-benchs/zonotope_loose_true-unreach-call_true-termination.c |
true |
96.2 |
89.6 |
882376704 |
| float-benchs/zonotope_tight_true-unreach-call_true-termination.c |
true |
98.6 |
91.5 |
1011589120 |
| floats-esbmc-regression/Double_div_true-unreach-call.i |
error (7) |
228 |
220 |
2368585728 |
| floats-esbmc-regression/Float_div_true-unreach-call.i |
true |
136 |
128 |
524451840 |
| floats-esbmc-regression/ceil_nondet_true-unreach-call.i |
unknown |
13.9 |
7.73 |
200806400 |
| floats-esbmc-regression/ceil_true-unreach-call.i |
error (7) |
14.2 |
7.84 |
206495744 |
| floats-esbmc-regression/copysign_true-unreach-call.i |
error (7) |
13.6 |
7.61 |
201318400 |
| floats-esbmc-regression/digits_for_true-unreach-call.i |
timeout |
900 |
889 |
2806173696 |
| floats-esbmc-regression/digits_while_true-unreach-call.i |
timeout |
900 |
889 |
2731765760 |
| floats-esbmc-regression/fabs_true-unreach-call.i |
true |
17.6 |
9.96 |
339714048 |
| floats-esbmc-regression/fdim_true-unreach-call.i |
true |
18.0 |
10.1 |
351252480 |
| floats-esbmc-regression/floor_nondet_true-unreach-call.i |
unknown |
13.5 |
7.73 |
204050432 |
| floats-esbmc-regression/floor_true-unreach-call.i |
error (7) |
14.1 |
8.03 |
205369344 |
| floats-esbmc-regression/fmax_true-unreach-call.i |
true |
16.8 |
9.68 |
355799040 |
| floats-esbmc-regression/fmin_true-unreach-call.i |
true |
16.9 |
9.66 |
350023680 |
| floats-esbmc-regression/fmod2_true-unreach-call.i |
error (7) |
13.6 |
7.66 |
205701120 |
| floats-esbmc-regression/fmod3_true-unreach-call.i |
error (7) |
14.0 |
7.89 |
201785344 |
| floats-esbmc-regression/fmod_true-unreach-call.i |
error (7) |
14.0 |
7.97 |
206028800 |
| floats-esbmc-regression/isgreater_true-unreach-call.i |
true |
16.6 |
9.45 |
343920640 |
| floats-esbmc-regression/isgreaterequal_true-unreach-call.i |
true |
17.4 |
9.94 |
352948224 |
| floats-esbmc-regression/isless_true-unreach-call.i |
true |
17.1 |
9.62 |
353144832 |
| floats-esbmc-regression/islessequal_true-unreach-call.i |
true |
17.2 |
9.86 |
353222656 |
| floats-esbmc-regression/islessgreater_true-unreach-call.i |
true |
16.9 |
9.78 |
342376448 |
| floats-esbmc-regression/isunordered_true-unreach-call.i |
true |
17.0 |
9.73 |
349462528 |
| floats-esbmc-regression/lrint_true-unreach-call.i |
unknown |
6.74 |
3.75 |
202661888 |
| floats-esbmc-regression/modf_true-unreach-call.i |
unknown |
6.72 |
3.82 |
209825792 |
| floats-esbmc-regression/nan_true-unreach-call.i |
true |
16.3 |
9.25 |
355274752 |
| floats-esbmc-regression/nearbyint2_true-unreach-call.i |
unknown |
6.79 |
3.85 |
199753728 |
| floats-esbmc-regression/nearbyint_true-unreach-call.i |
unknown |
7.34 |
3.97 |
200572928 |
| floats-esbmc-regression/remainder_true-unreach-call.i |
error (7) |
13.9 |
7.76 |
202903552 |
| floats-esbmc-regression/rint2_true-unreach-call.i |
unknown |
7.06 |
3.93 |
199737344 |
| floats-esbmc-regression/rint_true-unreach-call.i |
unknown |
6.55 |
3.65 |
206659584 |
| floats-esbmc-regression/round_nondet_true-unreach-call.i |
unknown |
13.5 |
7.55 |
201408512 |
| floats-esbmc-regression/round_true-unreach-call.i |
error (7) |
14.3 |
7.89 |
205242368 |
| floats-esbmc-regression/rounding_functions_true-unreach-call.i |
error (7) |
16.4 |
9.66 |
350351360 |
| floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i |
true |
70.6 |
63.2 |
464592896 |
| floats-esbmc-regression/trunc_nondet_true-unreach-call.i |
unknown |
13.6 |
7.52 |
207867904 |
| floats-esbmc-regression/trunc_true-unreach-call.i |
error (7) |
13.7 |
7.65 |
204607488 |
| floats-esbmc-regression/Double_div_bad_false-unreach-call.i |
error (7) |
315 |
308 |
2821132288 |
| floats-esbmc-regression/Float_div_bad_false-unreach-call.i |
timeout |
900 |
888 |
1891844096 |
| floats-esbmc-regression/digits_bad_for_false-unreach-call.i |
timeout |
900 |
888 |
2714341376 |
| floats-esbmc-regression/digits_bad_while_false-unreach-call.i |
timeout |
900 |
888 |
2735706112 |
| floats-esbmc-regression/Double_div_true-unreach-call.i.p+cfa-reducer.c |
error (7) |
217 |
210 |
2387042304 |
| floats-esbmc-regression/Float_div_true-unreach-call.i.p+cfa-reducer.c |
error (7) |
670 |
659 |
2564837376 |
| floats-esbmc-regression/Double_div_bad_false-unreach-call.i.p+cfa-reducer.c |
error (7) |
289 |
281 |
2769342464 |
| floats-esbmc-regression/Float_div_bad_false-unreach-call.i.p+cfa-reducer.c |
timeout |
900 |
890 |
2893242368 |
| float-newlib/double_req_bl_0210_true-unreach-call.c |
true |
132 |
111 |
1065680896 |
| float-newlib/double_req_bl_0220a_true-unreach-call.c |
true |
142 |
120 |
1338060800 |
| float-newlib/double_req_bl_0220b_true-unreach-call.c |
true |
147 |
123 |
1350008832 |
| float-newlib/double_req_bl_0240a_true-unreach-call.c |
true |
128 |
104 |
1070829568 |
| float-newlib/double_req_bl_0240b_true-unreach-call.c |
true |
125 |
104 |
1054887936 |
| float-newlib/double_req_bl_0250a_true-unreach-call.c |
true |
54.8 |
44.5 |
1704349696 |
| float-newlib/double_req_bl_0250b_true-unreach-call.c |
true |
53.8 |
43.7 |
1739190272 |
| float-newlib/double_req_bl_0260_true-unreach-call.c |
true |
51.0 |
41.0 |
1722847232 |
| float-newlib/double_req_bl_0270a_true-unreach-call.c |
true |
57.0 |
46.6 |
2055749632 |
| float-newlib/double_req_bl_0270b_true-unreach-call.c |
true |
58.3 |
48.1 |
2034356224 |
| float-newlib/double_req_bl_0281_true-unreach-call.c |
true |
40.2 |
31.2 |
1382133760 |
| float-newlib/double_req_bl_0310_true-unreach-call.c |
true |
137 |
115 |
1061208064 |
| float-newlib/double_req_bl_0320_true-unreach-call.c |
true |
134 |
112 |
1321164800 |
| float-newlib/double_req_bl_0330a_true-unreach-call.c |
true |
128 |
107 |
1061691392 |
| float-newlib/double_req_bl_0330b_true-unreach-call.c |
true |
126 |
103 |
1052622848 |
| float-newlib/double_req_bl_0460_true-unreach-call.c |
true |
119 |
107 |
1875976192 |
| float-newlib/double_req_bl_0470_true-unreach-call.c |
true |
51.0 |
40.1 |
1610481664 |
| float-newlib/double_req_bl_0480_true-unreach-call.c |
true |
51.3 |
39.3 |
1608581120 |
| float-newlib/double_req_bl_0490a_true-unreach-call.c |
true |
49.6 |
38.5 |
1611862016 |
| float-newlib/double_req_bl_0490b_true-unreach-call.c |
true |
50.0 |
39.3 |
1596469248 |
| float-newlib/double_req_bl_0520_true-unreach-call.c |
true |
147 |
123 |
2226081792 |
| float-newlib/double_req_bl_0530a_true-unreach-call.c |
true |
148 |
124 |
2228740096 |
| float-newlib/double_req_bl_0530b_true-unreach-call.c |
true |
148 |
124 |
2222735360 |
| float-newlib/double_req_bl_0550a_true-unreach-call.c |
true |
140 |
116 |
2237698048 |
| float-newlib/double_req_bl_0550b_true-unreach-call.c |
true |
137 |
115 |
2223390720 |
| float-newlib/double_req_bl_0620a_true-unreach-call.c |
true |
64.7 |
54.4 |
1602682880 |
| float-newlib/double_req_bl_0620b_true-unreach-call.c |
true |
65.2 |
54.4 |
1609809920 |
| float-newlib/double_req_bl_0621a_true-unreach-call.c |
error (7) |
367 |
350 |
2033512448 |
| float-newlib/double_req_bl_0621b_true-unreach-call.c |
error (7) |
346 |
328 |
2112000000 |
| float-newlib/double_req_bl_0660a_true-unreach-call.c |
error (7) |
345 |
326 |
2407964672 |
| float-newlib/double_req_bl_0660b_true-unreach-call.c |
error (7) |
679 |
655 |
3321446400 |
| float-newlib/double_req_bl_0661a_true-unreach-call.c |
error (7) |
287 |
269 |
2426839040 |
| float-newlib/double_req_bl_0661b_true-unreach-call.c |
error (7) |
524 |
501 |
2355294208 |
| float-newlib/double_req_bl_0662a_true-unreach-call.c |
true |
101 |
86.4 |
1522405376 |
| float-newlib/double_req_bl_0662b_true-unreach-call.c |
true |
165 |
143 |
1726836736 |
| float-newlib/double_req_bl_0663a_true-unreach-call.c |
true |
93.1 |
77.9 |
1524920320 |
| float-newlib/double_req_bl_0663b_true-unreach-call.c |
true |
162 |
142 |
1687560192 |
| float-newlib/double_req_bl_0670_true-unreach-call.c |
true |
151 |
133 |
1552371712 |
| float-newlib/double_req_bl_0680a_true-unreach-call.c |
true |
91.7 |
76.4 |
1460834304 |
| float-newlib/double_req_bl_0680b_true-unreach-call.c |
true |
86.9 |
72.1 |
1477804032 |
| float-newlib/double_req_bl_0681a_true-unreach-call.c |
true |
81.2 |
65.3 |
1443246080 |
| float-newlib/double_req_bl_0681b_true-unreach-call.c |
true |
81.7 |
67.3 |
1480876032 |
| float-newlib/double_req_bl_0682a_true-unreach-call.c |
true |
130 |
109 |
1597050880 |
| float-newlib/double_req_bl_0682b_true-unreach-call.c |
true |
139 |
120 |
1525350400 |
| float-newlib/double_req_bl_0683a_true-unreach-call.c |
true |
121 |
98.2 |
1569730560 |
| float-newlib/double_req_bl_0683b_true-unreach-call.c |
true |
140 |
120 |
1567928320 |
| float-newlib/double_req_bl_0684a_true-unreach-call.c |
timeout |
900 |
879 |
1618374656 |
| float-newlib/double_req_bl_0684b_true-unreach-call.c |
timeout |
901 |
877 |
1616445440 |
| float-newlib/double_req_bl_0685a_true-unreach-call.c |
true |
93.5 |
79.4 |
1383923712 |
| float-newlib/double_req_bl_0685b_true-unreach-call.c |
true |
91.1 |
76.7 |
1427734528 |
| float-newlib/double_req_bl_0686a_true-unreach-call.c |
true |
73.5 |
60.6 |
1346166784 |
| float-newlib/double_req_bl_0686b_true-unreach-call.c |
true |
79.3 |
65.2 |
1390088192 |
| float-newlib/double_req_bl_0720_true-unreach-call.c |
true |
33.4 |
24.2 |
748019712 |
| float-newlib/double_req_bl_0730a_true-unreach-call.c |
true |
31.0 |
21.2 |
797474816 |
| float-newlib/double_req_bl_0730b_true-unreach-call.c |
true |
33.2 |
23.0 |
763314176 |
| float-newlib/double_req_bl_0730c_true-unreach-call.c |
true |
34.4 |
22.5 |
839012352 |
| float-newlib/double_req_bl_0740_true-unreach-call.c |
true |
27.8 |
19.4 |
624181248 |
| float-newlib/double_req_bl_0832_true-unreach-call.c |
true |
65.0 |
55.4 |
1275858944 |
| float-newlib/double_req_bl_0833_true-unreach-call.c |
true |
36.3 |
26.2 |
929898496 |
| float-newlib/double_req_bl_0834_true-unreach-call.c |
true |
36.9 |
26.4 |
933785600 |
| float-newlib/double_req_bl_0870b_true-unreach-call.c |
true |
136 |
120 |
1757560832 |
| float-newlib/double_req_bl_0872a_true-unreach-call.c |
true |
109 |
96.2 |
1664876544 |
| float-newlib/double_req_bl_0872b_true-unreach-call.c |
true |
103 |
92.2 |
1685483520 |
| float-newlib/double_req_bl_0873a_true-unreach-call.c |
true |
102 |
89.1 |
1669726208 |
| float-newlib/double_req_bl_0873b_true-unreach-call.c |
true |
106 |
93.1 |
1680269312 |
| float-newlib/double_req_bl_0874_true-unreach-call.c |
error (7) |
132 |
118 |
1662685184 |
| float-newlib/double_req_bl_0876_true-unreach-call.c |
error (7) |
128 |
112 |
1671237632 |
| float-newlib/double_req_bl_0882_true-unreach-call.c |
true |
156 |
137 |
1894481920 |
| float-newlib/double_req_bl_0883_true-unreach-call.c |
true |
143 |
122 |
1906696192 |
| float-newlib/double_req_bl_0910a_true-unreach-call.c |
true |
93.9 |
83.0 |
1462394880 |
| float-newlib/double_req_bl_0910b_true-unreach-call.c |
true |
76.0 |
65.9 |
1311064064 |
| float-newlib/double_req_bl_0920a_true-unreach-call.c |
true |
67.3 |
57.5 |
1291755520 |
| float-newlib/double_req_bl_0920b_true-unreach-call.c |
true |
51.0 |
41.7 |
1187323904 |
| float-newlib/double_req_bl_0921_true-unreach-call.c |
true |
82.2 |
72.3 |
1306959872 |
| float-newlib/double_req_bl_0930_true-unreach-call.c |
true |
101 |
90.4 |
1364553728 |
| float-newlib/double_req_bl_0931_true-unreach-call.c |
true |
49.0 |
39.2 |
1151070208 |
| float-newlib/double_req_bl_0960b_true-unreach-call.c |
true |
71.5 |
59.9 |
1344794624 |
| float-newlib/double_req_bl_0970a_true-unreach-call.c |
true |
81.2 |
70.9 |
1326116864 |
| float-newlib/double_req_bl_0970b_true-unreach-call.c |
true |
60.6 |
51.1 |
1222586368 |
| float-newlib/double_req_bl_0971_true-unreach-call.c |
true |
67.0 |
57.4 |
1297920000 |
| float-newlib/double_req_bl_0981_true-unreach-call.c |
true |
59.5 |
48.5 |
1190608896 |
| float-newlib/double_req_bl_1011a_true-unreach-call.c |
error (7) |
22.1 |
13.4 |
361820160 |
| float-newlib/double_req_bl_1011b_true-unreach-call.c |
error (7) |
23.1 |
14.2 |
385011712 |
| float-newlib/double_req_bl_1012a_true-unreach-call.c |
true |
21.3 |
12.7 |
338919424 |
| float-newlib/double_req_bl_1012b_true-unreach-call.c |
error (7) |
22.8 |
13.4 |
359211008 |
| float-newlib/double_req_bl_1031_true-unreach-call.c |
true |
20.2 |
11.9 |
296501248 |
| float-newlib/double_req_bl_1032a_true-unreach-call.c |
error (7) |
24.9 |
15.3 |
430829568 |
| float-newlib/double_req_bl_1032b_true-unreach-call.c |
error (7) |
23.5 |
14.8 |
438087680 |
| float-newlib/double_req_bl_1032c_true-unreach-call.c |
true |
22.5 |
13.7 |
412319744 |
| float-newlib/double_req_bl_1032d_true-unreach-call.c |
true |
23.2 |
13.8 |
411480064 |
| float-newlib/double_req_bl_1051_true-unreach-call.c |
true |
21.8 |
13.8 |
316583936 |
| float-newlib/double_req_bl_1052a_true-unreach-call.c |
true |
24.5 |
15.1 |
412815360 |
| float-newlib/double_req_bl_1052b_true-unreach-call.c |
true |
24.6 |
15.0 |
414502912 |
| float-newlib/double_req_bl_1052c_true-unreach-call.c |
error (7) |
27.2 |
17.6 |
461361152 |
| float-newlib/double_req_bl_1052d_true-unreach-call.c |
error (7) |
23.8 |
15.2 |
419315712 |
| float-newlib/double_req_bl_1071_true-unreach-call.c |
true |
20.0 |
11.8 |
301125632 |
| float-newlib/double_req_bl_1072a_true-unreach-call.c |
true |
23.0 |
13.8 |
375975936 |
| float-newlib/double_req_bl_1072b_true-unreach-call.c |
true |
24.0 |
14.6 |
432234496 |
| float-newlib/double_req_bl_1072c_true-unreach-call.c |
true |
23.8 |
14.4 |
433725440 |
| float-newlib/double_req_bl_1072d_true-unreach-call.c |
true |
22.7 |
13.6 |
375021568 |
| float-newlib/double_req_bl_1091_true-unreach-call.c |
true |
20.6 |
13.0 |
314544128 |
| float-newlib/double_req_bl_1092a_true-unreach-call.c |
error (7) |
22.9 |
14.2 |
347086848 |
| float-newlib/double_req_bl_1092b_true-unreach-call.c |
true |
23.7 |
14.9 |
381865984 |
| float-newlib/double_req_bl_1092c_true-unreach-call.c |
true |
24.5 |
15.2 |
414334976 |
| float-newlib/double_req_bl_1092d_true-unreach-call.c |
true |
24.8 |
15.4 |
416837632 |
| float-newlib/double_req_bl_1121a_true-unreach-call.c |
true |
44.1 |
34.6 |
937099264 |
| float-newlib/double_req_bl_1121b_true-unreach-call.c |
true |
107 |
97.3 |
1213804544 |
| float-newlib/double_req_bl_1122a_true-unreach-call.c |
true |
38.4 |
29.2 |
939032576 |
| float-newlib/double_req_bl_1122b_true-unreach-call.c |
true |
93.9 |
84.7 |
1132089344 |
| float-newlib/double_req_bl_1130a_true-unreach-call.c |
true |
148 |
136 |
863334400 |
| float-newlib/double_req_bl_1131a_true-unreach-call.c |
true |
95.0 |
84.5 |
804835328 |
| float-newlib/double_req_bl_1131b_true-unreach-call.c |
true |
70.3 |
59.7 |
803278848 |
| float-newlib/double_req_bl_1211a_true-unreach-call.c |
error (7) |
31.2 |
20.0 |
529850368 |
| float-newlib/double_req_bl_1211b_true-unreach-call.c |
error (7) |
31.7 |
20.4 |
533610496 |
| float-newlib/double_req_bl_1230_true-unreach-call.c |
true |
25.6 |
15.3 |
440098816 |
| float-newlib/double_req_bl_1231b_true-unreach-call.c |
true |
89.7 |
75.5 |
582299648 |
| float-newlib/double_req_bl_1232a_true-unreach-call.c |
true |
26.4 |
15.8 |
446631936 |
| float-newlib/double_req_bl_1250_true-unreach-call.c |
true |
24.7 |
15.0 |
433971200 |
| float-newlib/double_req_bl_1251b_true-unreach-call.c |
true |
86.6 |
73.8 |
560082944 |
| float-newlib/double_req_bl_1252a_true-unreach-call.c |
true |
25.9 |
15.7 |
444166144 |
| float-newlib/double_req_bl_1300_true-unreach-call.c |
true |
81.4 |
70.8 |
877604864 |
| float-newlib/float_req_bl_0220a_true-unreach-call.c |
true |
109 |
86.0 |
822751232 |
| float-newlib/float_req_bl_0220b_true-unreach-call.c |
true |
110 |
85.0 |
820482048 |
| float-newlib/float_req_bl_0240a_true-unreach-call.c |
true |
90.9 |
70.4 |
744984576 |
| float-newlib/float_req_bl_0240b_true-unreach-call.c |
true |
89.2 |
68.3 |
725471232 |
| float-newlib/float_req_bl_0250a_true-unreach-call.c |
true |
31.8 |
23.3 |
575578112 |
| float-newlib/float_req_bl_0250b_true-unreach-call.c |
true |
33.9 |
24.1 |
568373248 |
| float-newlib/float_req_bl_0260_true-unreach-call.c |
true |
32.0 |
23.2 |
568971264 |
| float-newlib/float_req_bl_0270a_true-unreach-call.c |
true |
36.1 |
26.7 |
809504768 |
| float-newlib/float_req_bl_0270b_true-unreach-call.c |
true |
37.6 |
27.2 |
798097408 |
| float-newlib/float_req_bl_0281_true-unreach-call.c |
true |
45.4 |
36.8 |
638300160 |
| float-newlib/float_req_bl_0310_true-unreach-call.c |
true |
96.6 |
74.6 |
738586624 |
| float-newlib/float_req_bl_0320a_true-unreach-call.c |
true |
100 |
77.8 |
801206272 |
| float-newlib/float_req_bl_0320b_true-unreach-call.c |
true |
98.9 |
76.4 |
805793792 |
| float-newlib/float_req_bl_0330a_true-unreach-call.c |
true |
91.4 |
70.0 |
735567872 |
| float-newlib/float_req_bl_0330b_true-unreach-call.c |
true |
91.7 |
69.7 |
726536192 |
| float-newlib/float_req_bl_0460_true-unreach-call.c |
true |
48.7 |
38.6 |
712278016 |
| float-newlib/float_req_bl_0470_true-unreach-call.c |
true |
35.3 |
25.1 |
657633280 |
| float-newlib/float_req_bl_0480_true-unreach-call.c |
true |
47.7 |
37.5 |
745562112 |
| float-newlib/float_req_bl_0490a_true-unreach-call.c |
true |
33.5 |
23.9 |
665382912 |
| float-newlib/float_req_bl_0490b_true-unreach-call.c |
true |
34.0 |
24.3 |
669904896 |
| float-newlib/float_req_bl_0530a_true-unreach-call.c |
true |
91.9 |
66.3 |
1048064000 |
| float-newlib/float_req_bl_0530b_true-unreach-call.c |
true |
90.6 |
66.9 |
1039998976 |
| float-newlib/float_req_bl_0550a_true-unreach-call.c |
true |
86.8 |
64.8 |
1053388800 |
| float-newlib/float_req_bl_0550b_true-unreach-call.c |
true |
85.8 |
63.7 |
1045708800 |
| float-newlib/float_req_bl_0610_true-unreach-call.c |
true |
41.9 |
33.3 |
536420352 |
| float-newlib/float_req_bl_0620a_true-unreach-call.c |
true |
42.0 |
32.1 |
646213632 |
| float-newlib/float_req_bl_0620b_true-unreach-call.c |
true |
42.9 |
33.0 |
648019968 |
| float-newlib/float_req_bl_0621a_true-unreach-call.c |
true |
45.6 |
34.7 |
639774720 |
| float-newlib/float_req_bl_0621b_true-unreach-call.c |
true |
44.3 |
34.1 |
657027072 |
| float-newlib/float_req_bl_0660a_true-unreach-call.c |
true |
52.6 |
40.1 |
718381056 |
| float-newlib/float_req_bl_0660b_true-unreach-call.c |
true |
49.8 |
38.5 |
739299328 |
| float-newlib/float_req_bl_0661a_true-unreach-call.c |
true |
70.4 |
54.9 |
878747648 |
| float-newlib/float_req_bl_0661b_true-unreach-call.c |
true |
66.0 |
50.8 |
849227776 |
| float-newlib/float_req_bl_0662a_true-unreach-call.c |
true |
51.9 |
40.2 |
655130624 |
| float-newlib/float_req_bl_0662b_true-unreach-call.c |
true |
48.7 |
36.9 |
643645440 |
| float-newlib/float_req_bl_0663a_true-unreach-call.c |
true |
47.8 |
36.6 |
634298368 |
| float-newlib/float_req_bl_0663b_true-unreach-call.c |
true |
48.2 |
36.8 |
637775872 |
| float-newlib/float_req_bl_0670_true-unreach-call.c |
true |
70.7 |
57.2 |
794021888 |
| float-newlib/float_req_bl_0680a_true-unreach-call.c |
true |
49.7 |
38.2 |
673472512 |
| float-newlib/float_req_bl_0680b_true-unreach-call.c |
true |
51.5 |
38.9 |
715640832 |
| float-newlib/float_req_bl_0681a_true-unreach-call.c |
true |
49.5 |
36.5 |
726913024 |
| float-newlib/float_req_bl_0681b_true-unreach-call.c |
true |
50.9 |
38.7 |
699219968 |
| float-newlib/float_req_bl_0682a_true-unreach-call.c |
true |
72.9 |
55.5 |
774733824 |
| float-newlib/float_req_bl_0682b_true-unreach-call.c |
true |
62.9 |
47.8 |
753057792 |
| float-newlib/float_req_bl_0683a_true-unreach-call.c |
true |
66.9 |
49.8 |
762691584 |
| float-newlib/float_req_bl_0683b_true-unreach-call.c |
true |
58.6 |
44.1 |
754929664 |
| float-newlib/float_req_bl_0684a_true-unreach-call.c |
true |
225 |
201 |
968216576 |
| float-newlib/float_req_bl_0684b_true-unreach-call.c |
true |
217 |
193 |
1007796224 |
| float-newlib/float_req_bl_0685a_true-unreach-call.c |
true |
50.0 |
37.4 |
697303040 |
| float-newlib/float_req_bl_0685b_true-unreach-call.c |
true |
54.9 |
42.0 |
726142976 |
| float-newlib/float_req_bl_0686a_true-unreach-call.c |
true |
50.2 |
38.6 |
667279360 |
| float-newlib/float_req_bl_0686b_true-unreach-call.c |
true |
49.5 |
38.3 |
687030272 |
| float-newlib/float_req_bl_0710_true-unreach-call.c |
true |
112 |
104 |
1601028096 |
| float-newlib/float_req_bl_0720_true-unreach-call.c |
true |
21.1 |
12.9 |
349257728 |
| float-newlib/float_req_bl_0730a_true-unreach-call.c |
true |
21.6 |
13.4 |
381009920 |
| float-newlib/float_req_bl_0730b_true-unreach-call.c |
true |
22.0 |
13.4 |
396161024 |
| float-newlib/float_req_bl_0730c_true-unreach-call.c |
true |
21.6 |
13.0 |
392855552 |
| float-newlib/float_req_bl_0740_true-unreach-call.c |
true |
21.0 |
12.9 |
352477184 |
| float-newlib/float_req_bl_0831_true-unreach-call.c |
true |
42.5 |
33.5 |
446857216 |
| float-newlib/float_req_bl_0832a_true-unreach-call.c |
true |
42.4 |
33.3 |
529858560 |
| float-newlib/float_req_bl_0832b_true-unreach-call.c |
true |
42.1 |
33.1 |
528392192 |
| float-newlib/float_req_bl_0833_true-unreach-call.c |
true |
31.0 |
21.6 |
514129920 |
| float-newlib/float_req_bl_0834_true-unreach-call.c |
true |
31.1 |
21.4 |
497098752 |
| float-newlib/float_req_bl_0870b_true-unreach-call.c |
true |
46.2 |
35.5 |
755965952 |
| float-newlib/float_req_bl_0872a_true-unreach-call.c |
true |
52.5 |
41.7 |
751947776 |
| float-newlib/float_req_bl_0872b_true-unreach-call.c |
true |
57.8 |
46.7 |
759607296 |
| float-newlib/float_req_bl_0873a_true-unreach-call.c |
true |
45.3 |
34.1 |
748552192 |
| float-newlib/float_req_bl_0873b_true-unreach-call.c |
true |
46.3 |
34.9 |
750256128 |
| float-newlib/float_req_bl_0874_true-unreach-call.c |
true |
54.4 |
40.4 |
794669056 |
| float-newlib/float_req_bl_0875_true-unreach-call.c |
true |
53.6 |
38.9 |
816988160 |
| float-newlib/float_req_bl_0876_true-unreach-call.c |
true |
54.4 |
39.6 |
800346112 |
| float-newlib/float_req_bl_0877_true-unreach-call.c |
true |
53.0 |
39.1 |
817831936 |
| float-newlib/float_req_bl_0880_true-unreach-call.c |
timeout |
901 |
855 |
1625407488 |
| float-newlib/float_req_bl_0881_true-unreach-call.c |
timeout |
900 |
859 |
1551597568 |
| float-newlib/float_req_bl_0883_true-unreach-call.c |
true |
57.5 |
43.0 |
889487360 |
| float-newlib/float_req_bl_0910a_true-unreach-call.c |
true |
47.9 |
39.3 |
536625152 |
| float-newlib/float_req_bl_0910b_true-unreach-call.c |
true |
47.4 |
38.4 |
521834496 |
| float-newlib/float_req_bl_0920a_true-unreach-call.c |
true |
37.5 |
28.2 |
543907840 |
| float-newlib/float_req_bl_0920b_true-unreach-call.c |
true |
34.4 |
25.3 |
492208128 |
| float-newlib/float_req_bl_0921_true-unreach-call.c |
true |
52.9 |
43.6 |
550379520 |
| float-newlib/float_req_bl_0930_true-unreach-call.c |
true |
70.8 |
59.7 |
682860544 |
| float-newlib/float_req_bl_0931_true-unreach-call.c |
true |
34.3 |
25.9 |
517402624 |
| float-newlib/float_req_bl_0960a_true-unreach-call.c |
true |
43.1 |
33.9 |
540053504 |
| float-newlib/float_req_bl_0960b_true-unreach-call.c |
true |
43.0 |
33.4 |
547041280 |
| float-newlib/float_req_bl_0970a_true-unreach-call.c |
true |
41.7 |
31.7 |
546586624 |
| float-newlib/float_req_bl_0970b_true-unreach-call.c |
true |
37.6 |
29.2 |
517570560 |
| float-newlib/float_req_bl_0971_true-unreach-call.c |
true |
44.0 |
35.1 |
559828992 |
| float-newlib/float_req_bl_0981_true-unreach-call.c |
true |
35.9 |
27.2 |
544825344 |
| float-newlib/float_req_bl_1010_true-unreach-call.c |
true |
17.7 |
10.6 |
270852096 |
| float-newlib/float_req_bl_1011a_true-unreach-call.c |
true |
20.0 |
11.9 |
322707456 |
| float-newlib/float_req_bl_1011b_true-unreach-call.c |
true |
20.8 |
12.4 |
385728512 |
| float-newlib/float_req_bl_1012a_true-unreach-call.c |
true |
19.3 |
11.4 |
296906752 |
| float-newlib/float_req_bl_1012b_true-unreach-call.c |
true |
21.2 |
12.4 |
352247808 |
| float-newlib/float_req_bl_1031_true-unreach-call.c |
true |
19.3 |
11.4 |
286007296 |
| float-newlib/float_req_bl_1032a_true-unreach-call.c |
true |
21.7 |
12.8 |
370106368 |
| float-newlib/float_req_bl_1032b_true-unreach-call.c |
true |
21.1 |
12.6 |
370929664 |
| float-newlib/float_req_bl_1032c_true-unreach-call.c |
true |
19.8 |
11.8 |
321978368 |
| float-newlib/float_req_bl_1032d_true-unreach-call.c |
true |
19.7 |
11.7 |
312713216 |
| float-newlib/float_req_bl_1051_true-unreach-call.c |
true |
19.6 |
11.9 |
294285312 |
| float-newlib/float_req_bl_1052a_true-unreach-call.c |
true |
21.5 |
12.9 |
372539392 |
| float-newlib/float_req_bl_1052b_true-unreach-call.c |
true |
22.2 |
13.3 |
371367936 |
| float-newlib/float_req_bl_1052c_true-unreach-call.c |
true |
23.7 |
14.3 |
410591232 |
| float-newlib/float_req_bl_1052d_true-unreach-call.c |
true |
21.3 |
13.0 |
388190208 |
| float-newlib/float_req_bl_1071_true-unreach-call.c |
true |
19.3 |
11.5 |
296521728 |
| float-newlib/float_req_bl_1072a_true-unreach-call.c |
true |
19.9 |
11.7 |
322207744 |
| float-newlib/float_req_bl_1072b_true-unreach-call.c |
true |
19.5 |
11.5 |
318210048 |
| float-newlib/float_req_bl_1072c_true-unreach-call.c |
true |
21.9 |
13.2 |
400199680 |
| float-newlib/float_req_bl_1072d_true-unreach-call.c |
true |
22.0 |
13.3 |
396251136 |
| float-newlib/float_req_bl_1091_true-unreach-call.c |
true |
19.4 |
11.7 |
294719488 |
| float-newlib/float_req_bl_1092a_true-unreach-call.c |
true |
22.7 |
13.8 |
395264000 |
| float-newlib/float_req_bl_1092b_true-unreach-call.c |
true |
23.2 |
14.1 |
404463616 |
| float-newlib/float_req_bl_1092c_true-unreach-call.c |
true |
22.0 |
13.3 |
376623104 |
| float-newlib/float_req_bl_1092d_true-unreach-call.c |
true |
22.2 |
13.2 |
375508992 |
| float-newlib/float_req_bl_1121a_true-unreach-call.c |
true |
35.9 |
27.8 |
439296000 |
| float-newlib/float_req_bl_1121b_true-unreach-call.c |
true |
37.2 |
28.7 |
446205952 |
| float-newlib/float_req_bl_1122a_true-unreach-call.c |
true |
34.0 |
26.0 |
446586880 |
| float-newlib/float_req_bl_1122b_true-unreach-call.c |
true |
36.1 |
27.3 |
449773568 |
| float-newlib/float_req_bl_1130a_true-unreach-call.c |
true |
30.3 |
20.9 |
456040448 |
| float-newlib/float_req_bl_1130b_true-unreach-call.c |
true |
24.4 |
14.6 |
450994176 |
| float-newlib/float_req_bl_1131a_true-unreach-call.c |
true |
28.4 |
18.4 |
528613376 |
| float-newlib/float_req_bl_1131b_true-unreach-call.c |
true |
28.0 |
18.2 |
536891392 |
| float-newlib/float_req_bl_1211a_true-unreach-call.c |
true |
26.3 |
16.0 |
516214784 |
| float-newlib/float_req_bl_1211b_true-unreach-call.c |
true |
27.2 |
16.5 |
509722624 |
| float-newlib/float_req_bl_1230_true-unreach-call.c |
true |
24.3 |
14.5 |
433197056 |
| float-newlib/float_req_bl_1231_true-unreach-call.c |
true |
59.9 |
41.0 |
664866816 |
| float-newlib/float_req_bl_1232a_true-unreach-call.c |
true |
23.5 |
14.0 |
394350592 |
| float-newlib/float_req_bl_1250_true-unreach-call.c |
true |
24.2 |
14.5 |
431484928 |
| float-newlib/float_req_bl_1251_true-unreach-call.c |
true |
58.1 |
40.9 |
685015040 |
| float-newlib/float_req_bl_1252a_true-unreach-call.c |
true |
23.5 |
14.0 |
392318976 |
| float-newlib/float_req_bl_1270a_true-unreach-call.c |
error (7) |
81.7 |
68.6 |
647753728 |
| float-newlib/float_req_bl_1270b_true-unreach-call.c |
error (7) |
88.0 |
70.8 |
761991168 |
| float-newlib/float_req_bl_1270c_true-unreach-call.c |
error (7) |
71.4 |
57.9 |
655273984 |
| float-newlib/float_req_bl_1270d_true-unreach-call.c |
error (7) |
78.3 |
63.5 |
808468480 |
| float-newlib/float_req_bl_1271a_true-unreach-call.c |
true |
55.9 |
42.6 |
645246976 |
| float-newlib/float_req_bl_1271b_true-unreach-call.c |
true |
54.3 |
41.6 |
666107904 |
| float-newlib/float_req_bl_1381_true-unreach-call.c |
true |
17.7 |
10.5 |
285147136 |
| float-newlib/double_req_bl_0870a_false-unreach-call.c |
false(unreach-call) |
86.2 |
73.3 |
1574219776 |
| float-newlib/double_req_bl_1210_false-unreach-call.c |
false(unreach-call) |
22.2 |
13.6 |
397504512 |
| float-newlib/double_req_bl_1232b_false-unreach-call.c |
false(unreach-call) |
24.2 |
14.5 |
418004992 |
| float-newlib/double_req_bl_1252b_false-unreach-call.c |
false(unreach-call) |
24.3 |
14.6 |
419168256 |
| float-newlib/float_req_bl_0870a_false-unreach-call.c |
false(unreach-call) |
41.9 |
31.7 |
720015360 |
| float-newlib/float_req_bl_1210_false-unreach-call.c |
false(unreach-call) |
20.4 |
12.2 |
320733184 |
| float-newlib/float_req_bl_1232b_false-unreach-call.c |
false(unreach-call) |
21.5 |
12.9 |
343003136 |
| float-newlib/float_req_bl_1252b_false-unreach-call.c |
false(unreach-call) |
21.6 |
13.0 |
363425792 |
| loop-floats-scientific-comp/loop1_true-unreach-call.c.i |
timeout |
900 |
891 |
2639286272 |
| loop-floats-scientific-comp/loop2_true-unreach-call.c.i |
timeout |
900 |
893 |
2029309952 |
| loop-floats-scientific-comp/loop3_true-unreach-call.c.i |
timeout |
900 |
890 |
2993905664 |
| loop-floats-scientific-comp/loop5_true-unreach-call.c.i |
error (7) |
14.4 |
8.05 |
204406784 |
| loop-floats-scientific-comp/loop1_false-unreach-call.c.i |
false(unreach-call) |
18.7 |
13.1 |
395321344 |
| loop-floats-scientific-comp/loop2_false-unreach-call.c.i |
false(unreach-call) |
21.0 |
14.8 |
510443520 |
| loop-floats-scientific-comp/loop4_false-unreach-call.c.i |
error (7) |
14.1 |
7.95 |
200400896 |