| floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i |
false |
36.3 |
32.7 |
688635904 |
| floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i |
false |
34.2 |
30.9 |
693567488 |
| floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i |
false |
74.1 |
70.7 |
696225792 |
| floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i |
false |
57.4 |
54.2 |
693993472 |
| floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i |
false |
103 |
99.6 |
698908672 |
| floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i |
false |
55.6 |
52.0 |
831324160 |
| floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i |
false |
220 |
216 |
862814208 |
| floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i |
false |
114 |
111 |
834007040 |
| floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
931418112 |
| floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i |
false |
253 |
250 |
929431552 |
| floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
971112448 |
| floats-cdfpl/sine_1_false-unreach-call_true-termination.i |
false |
266 |
263 |
627986432 |
| floats-cdfpl/sine_2_false-unreach-call_true-termination.i |
false |
44.3 |
41.5 |
579133440 |
| floats-cdfpl/sine_3_false-unreach-call_true-termination.i |
false |
23.2 |
20.0 |
568168448 |
| floats-cdfpl/square_1_false-unreach-call_true-termination.i |
false |
139 |
136 |
457187328 |
| floats-cdfpl/square_2_false-unreach-call_true-termination.i |
false |
46.9 |
43.6 |
401330176 |
| floats-cdfpl/square_3_false-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
569401344 |
| floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
739258368 |
| floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
302 |
761536512 |
| floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
742170624 |
| floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
836669440 |
| floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
833785856 |
| floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
841224192 |
| floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
823369728 |
| floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
883998720 |
| floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
944332800 |
| floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
919535616 |
| floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
910856192 |
| floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
925585408 |
| floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
907116544 |
| floats-cdfpl/sine_4_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
657174528 |
| floats-cdfpl/sine_5_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
671232000 |
| floats-cdfpl/sine_6_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
629202944 |
| floats-cdfpl/sine_7_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
688766976 |
| floats-cdfpl/sine_8_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
646529024 |
| floats-cdfpl/square_4_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
523579392 |
| floats-cdfpl/square_5_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
561876992 |
| floats-cdfpl/square_6_true-unreach-call_true-termination.i |
timeout (error (143)) |
306 |
303 |
504795136 |
| floats-cdfpl/square_7_true-unreach-call_true-termination.i |
true |
275 |
271 |
763060224 |
| floats-cdfpl/square_8_true-unreach-call_true-termination.i |
true |
104 |
100 |
625385472 |
| floats-cbmc-regression/float-div1_true-unreach-call.i |
true |
38.4 |
31.1 |
734871552 |
| floats-cbmc-regression/float-flags-simp1_true-unreach-call.i |
true |
42.8 |
28.9 |
929804288 |
| floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i |
true |
7.75 |
4.37 |
256155648 |
| floats-cbmc-regression/float-no-simp2_true-unreach-call.i |
true |
47.8 |
41.1 |
516493312 |
| floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i |
true |
8.38 |
4.61 |
260562944 |
| floats-cbmc-regression/float-no-simp4_true-unreach-call.i |
true |
34.4 |
24.0 |
785735680 |
| floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i |
true |
8.82 |
5.23 |
305180672 |
| floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i |
true |
8.11 |
4.47 |
269234176 |
| floats-cbmc-regression/float-no-simp8_true-unreach-call.i |
true |
12.6 |
6.84 |
416432128 |
| floats-cbmc-regression/float-rounding1_true-unreach-call.i |
unknown |
6.40 |
3.39 |
212566016 |
| floats-cbmc-regression/float-to-double1_true-unreach-call.i |
true |
258 |
251 |
649424896 |
| floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i |
true |
8.01 |
4.43 |
259399680 |
| floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i |
true |
10.2 |
5.70 |
275722240 |
| floats-cbmc-regression/float11_true-unreach-call_true-termination.i |
true |
8.64 |
4.86 |
264929280 |
| floats-cbmc-regression/float12_true-unreach-call_true-termination.i |
true |
16.6 |
12.7 |
301367296 |
| floats-cbmc-regression/float13_true-unreach-call_true-termination.i |
true |
9.41 |
5.17 |
263385088 |
| floats-cbmc-regression/float14_true-unreach-call.i |
true |
11.9 |
6.61 |
399880192 |
| floats-cbmc-regression/float18_true-unreach-call.i |
unknown |
6.38 |
3.40 |
201003008 |
| floats-cbmc-regression/float19_true-unreach-call.i |
true |
13.9 |
8.96 |
392892416 |
| floats-cbmc-regression/float1_true-unreach-call_true-termination.i |
true |
7.63 |
4.31 |
260452352 |
| floats-cbmc-regression/float20_true-unreach-call_true-termination.i |
true |
15.2 |
11.4 |
399781888 |
| floats-cbmc-regression/float21_true-unreach-call.i |
true |
96.7 |
87.4 |
875810816 |
| floats-cbmc-regression/float22_true-unreach-call_true-termination.i |
timeout (error (143)) |
301 |
281 |
1328472064 |
| floats-cbmc-regression/float2_true-unreach-call_true-termination.i |
true |
9.50 |
5.52 |
274354176 |
| floats-cbmc-regression/float3_true-unreach-call_true-termination.i |
error: exception |
6.59 |
3.48 |
195956736 |
| floats-cbmc-regression/float4_true-unreach-call.i |
true |
84.3 |
76.9 |
570707968 |
| floats-cbmc-regression/float5_true-unreach-call_true-termination.i |
true |
27.9 |
24.2 |
301797376 |
| floats-cbmc-regression/float6_true-unreach-call_true-termination.i |
true |
9.52 |
5.29 |
277581824 |
| floats-cbmc-regression/float8_true-unreach-call.i |
true |
13.7 |
7.73 |
405733376 |
| floats-cbmc-regression/float_lib1_true-unreach-call.i |
error: exception |
10.1 |
5.79 |
379858944 |
| floats-cbmc-regression/float_lib2_true-unreach-call.i |
true |
19.7 |
12.0 |
682913792 |
| float-benchs/cast_float_ptr_false-unreach-call_true-termination.c |
false |
8.39 |
4.70 |
288874496 |
| float-benchs/cast_union_loose_false-unreach-call_true-termination.c |
false |
8.62 |
5.03 |
306065408 |
| float-benchs/cast_union_tight_false-unreach-call_true-termination.c |
false |
8.52 |
4.89 |
294088704 |
| float-benchs/float_int_inv_square_false-unreach-call_true-termination.c |
false |
9.38 |
5.64 |
303120384 |
| float-benchs/inv_Newton_false-unreach-call.c |
timeout (error (143)) |
302 |
296 |
967860224 |
| float-benchs/inv_square_false-unreach-call_true-termination.c |
false |
8.92 |
5.40 |
313208832 |
| float-benchs/nan_double_false-unreach-call_true-termination.c |
false |
7.80 |
4.26 |
245018624 |
| float-benchs/nan_float_false-unreach-call_true-termination.c |
false |
7.06 |
3.95 |
249946112 |
| float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
302 |
987942912 |
| float-benchs/sqrt_poly2_false-unreach-call.c |
false |
18.9 |
14.5 |
599719936 |
| float-benchs/Muller_Kahan_true-unreach-call_true-termination.c |
timeout (error (143)) |
304 |
298 |
3487772672 |
| float-benchs/Rump_double_true-unreach-call_true-termination.c |
true |
21.1 |
17.2 |
999206912 |
| float-benchs/Rump_float_true-unreach-call_true-termination.c |
true |
11.7 |
7.61 |
440471552 |
| float-benchs/addsub_double_exact_true-unreach-call_true-termination.c |
true |
8.46 |
4.78 |
287883264 |
| float-benchs/addsub_float_exact_true-unreach-call_true-termination.c |
true |
8.25 |
4.71 |
273190912 |
| float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c |
true |
8.55 |
4.79 |
269471744 |
| float-benchs/arctan_Pade_true-unreach-call_true-termination.c |
timeout (error (143)) |
301 |
298 |
1540534272 |
| float-benchs/bary_diverge_true-unreach-call_true-termination.c |
timeout (error (143)) |
302 |
293 |
813363200 |
| float-benchs/cast_float_union_true-unreach-call.c |
true |
7.97 |
4.54 |
273997824 |
| float-benchs/cos_polynomial_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
303 |
1219428352 |
| float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c |
error: exception |
152 |
142 |
1166790656 |
| float-benchs/divmul_diverge_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
296 |
1693126656 |
| float-benchs/drift_tenth_true-unreach-call_true-termination.c |
timeout (error (143)) |
303 |
296 |
582602752 |
| float-benchs/exp_loop_true-unreach-call.c |
timeout (error (143)) |
301 |
294 |
696512512 |
| float-benchs/feedback_diverge_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
296 |
1443291136 |
| float-benchs/filter1_true-unreach-call_true-termination.c |
timeout (error (143)) |
305 |
299 |
775815168 |
| float-benchs/filter2_alt_true-unreach-call.c |
timeout (error (143)) |
304 |
298 |
843636736 |
| float-benchs/filter2_iterated_true-unreach-call.c |
error: exception |
55.7 |
52.6 |
2157895680 |
| float-benchs/filter2_reinit_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
301 |
1531785216 |
| float-benchs/filter2_set_true-unreach-call_true-termination.c |
timeout (error (143)) |
302 |
296 |
2241105920 |
| float-benchs/filter2_true-unreach-call_true-termination.c |
timeout (error (143)) |
307 |
300 |
1520095232 |
| float-benchs/filter_iir_true-unreach-call.c |
timeout (error (143)) |
302 |
296 |
1079050240 |
| float-benchs/float_double_true-unreach-call_true-termination.c |
true |
8.62 |
5.01 |
270036992 |
| float-benchs/image_filter_true-unreach-call.c |
out of memory |
102 |
107 |
8000000000 |
| float-benchs/interpolation2_true-unreach-call_true-termination.c |
timeout (error (143)) |
302 |
297 |
461873152 |
| float-benchs/interpolation_true-unreach-call_true-termination.c |
timeout (error (143)) |
302 |
295 |
661360640 |
| float-benchs/inv_Newton_true-unreach-call.c |
timeout (error (143)) |
302 |
296 |
1571627008 |
| float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c |
error: exception |
125 |
119 |
737529856 |
| float-benchs/inv_square_int_true-unreach-call_true-termination.c |
true |
15.6 |
12.3 |
332197888 |
| float-benchs/inv_square_true-unreach-call_true-termination.c |
true |
80.8 |
76.8 |
366759936 |
| float-benchs/loop_true-unreach-call.c |
true |
137 |
130 |
424919040 |
| float-benchs/mea8000_true-unreach-call.c |
timeout (error (143)) |
301 |
289 |
3300769792 |
| float-benchs/nan_double_range_true-unreach-call_true-termination.c |
true |
7.82 |
4.50 |
268689408 |
| float-benchs/nan_float_range_true-unreach-call_true-termination.c |
true |
9.38 |
5.94 |
279785472 |
| float-benchs/rlim_exit_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
293 |
1423753216 |
| float-benchs/rlim_invariant_true-unreach-call_true-termination.c |
timeout (error (143)) |
301 |
293 |
662106112 |
| float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
302 |
1283522560 |
| float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
302 |
1104691200 |
| float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
302 |
1062711296 |
| float-benchs/sin_interpolated_negation_true-unreach-call.c |
timeout (error (143)) |
306 |
297 |
1903341568 |
| float-benchs/sin_interpolated_smallrange_true-unreach-call.c |
timeout (error (143)) |
306 |
297 |
1980243968 |
| float-benchs/sqrt_Householder_constant_true-unreach-call.c |
error: exception |
286 |
280 |
3061358592 |
| float-benchs/sqrt_Householder_interval_true-unreach-call.c |
error: exception |
176 |
171 |
2652450816 |
| float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c |
error: exception |
198 |
192 |
2841038848 |
| float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c |
error: exception |
174 |
168 |
2676486144 |
| float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c |
error: exception |
208 |
202 |
2884575232 |
| float-benchs/sqrt_poly_true-unreach-call_true-termination.c |
true |
163 |
157 |
1786515456 |
| float-benchs/water_pid_true-unreach-call_true-termination.c |
timeout (error (143)) |
306 |
299 |
2636984320 |
| float-benchs/zonotope_2_true-unreach-call_true-termination.c |
timeout (error (143)) |
303 |
293 |
1531162624 |
| float-benchs/zonotope_3_true-unreach-call_true-termination.c |
timeout (error (143)) |
304 |
296 |
1008058368 |
| float-benchs/zonotope_loose_true-unreach-call_true-termination.c |
true |
163 |
158 |
1194962944 |
| float-benchs/zonotope_tight_true-unreach-call_true-termination.c |
error: exception |
130 |
126 |
964173824 |
| floats-esbmc-regression/Double_div_true-unreach-call.i |
timeout (error (143)) |
303 |
297 |
2735669248 |
| floats-esbmc-regression/Float_div_true-unreach-call.i |
timeout (error (143)) |
306 |
300 |
723349504 |
| floats-esbmc-regression/ceil_nondet_true-unreach-call.i |
unknown |
6.99 |
3.67 |
211714048 |
| floats-esbmc-regression/ceil_true-unreach-call.i |
unknown |
6.14 |
3.40 |
199442432 |
| floats-esbmc-regression/copysign_true-unreach-call.i |
unknown |
6.46 |
3.43 |
204902400 |
| floats-esbmc-regression/digits_for_true-unreach-call.i |
timeout (error (143)) |
302 |
295 |
1886834688 |
| floats-esbmc-regression/digits_while_true-unreach-call.i |
timeout (error (143)) |
303 |
296 |
1807364096 |
| floats-esbmc-regression/fabs_true-unreach-call.i |
true |
12.8 |
6.90 |
400429056 |
| floats-esbmc-regression/fdim_true-unreach-call.i |
unknown |
6.35 |
3.45 |
205492224 |
| floats-esbmc-regression/floor_nondet_true-unreach-call.i |
unknown |
6.38 |
3.40 |
207605760 |
| floats-esbmc-regression/floor_true-unreach-call.i |
unknown |
6.42 |
3.39 |
201371648 |
| floats-esbmc-regression/fmax_true-unreach-call.i |
true |
10.7 |
5.86 |
375386112 |
| floats-esbmc-regression/fmin_true-unreach-call.i |
true |
10.7 |
5.84 |
376909824 |
| floats-esbmc-regression/fmod2_true-unreach-call.i |
unknown |
6.73 |
3.56 |
205012992 |
| floats-esbmc-regression/fmod3_true-unreach-call.i |
unknown |
6.65 |
3.53 |
209321984 |
| floats-esbmc-regression/fmod_true-unreach-call.i |
unknown |
6.57 |
3.47 |
199651328 |
| floats-esbmc-regression/isgreater_true-unreach-call.i |
true |
10.4 |
5.73 |
383512576 |
| floats-esbmc-regression/isgreaterequal_true-unreach-call.i |
true |
10.9 |
5.88 |
391471104 |
| floats-esbmc-regression/isless_true-unreach-call.i |
true |
10.9 |
5.92 |
378798080 |
| floats-esbmc-regression/islessequal_true-unreach-call.i |
true |
10.7 |
5.86 |
382066688 |
| floats-esbmc-regression/islessgreater_true-unreach-call.i |
true |
10.9 |
5.92 |
381382656 |
| floats-esbmc-regression/isunordered_true-unreach-call.i |
true |
11.0 |
5.99 |
384487424 |
| floats-esbmc-regression/lrint_true-unreach-call.i |
unknown |
6.67 |
3.50 |
206880768 |
| floats-esbmc-regression/modf_true-unreach-call.i |
unknown |
6.57 |
3.45 |
213938176 |
| floats-esbmc-regression/nan_true-unreach-call.i |
true |
13.3 |
7.20 |
401313792 |
| floats-esbmc-regression/nearbyint2_true-unreach-call.i |
unknown |
6.63 |
3.52 |
207765504 |
| floats-esbmc-regression/nearbyint_true-unreach-call.i |
unknown |
6.57 |
3.49 |
204722176 |
| floats-esbmc-regression/remainder_true-unreach-call.i |
unknown |
6.56 |
3.47 |
206118912 |
| floats-esbmc-regression/rint2_true-unreach-call.i |
unknown |
6.56 |
3.47 |
208834560 |
| floats-esbmc-regression/rint_true-unreach-call.i |
unknown |
6.38 |
3.43 |
205258752 |
| floats-esbmc-regression/round_nondet_true-unreach-call.i |
unknown |
6.62 |
3.52 |
206069760 |
| floats-esbmc-regression/round_true-unreach-call.i |
unknown |
6.52 |
3.44 |
203849728 |
| floats-esbmc-regression/rounding_functions_true-unreach-call.i |
unknown |
6.35 |
3.41 |
202817536 |
| floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i |
unknown |
6.74 |
3.55 |
204722176 |
| floats-esbmc-regression/trunc_nondet_true-unreach-call.i |
unknown |
6.68 |
3.53 |
208646144 |
| floats-esbmc-regression/trunc_true-unreach-call.i |
unknown |
6.50 |
3.43 |
202178560 |
| floats-esbmc-regression/Double_div_bad_false-unreach-call.i |
error: exception |
39.3 |
35.4 |
726044672 |
| floats-esbmc-regression/Float_div_bad_false-unreach-call.i |
timeout (error (143)) |
305 |
299 |
1076912128 |
| floats-esbmc-regression/digits_bad_for_false-unreach-call.i |
timeout (error (143)) |
306 |
299 |
1885614080 |
| floats-esbmc-regression/digits_bad_while_false-unreach-call.i |
timeout (error (143)) |
306 |
300 |
1770106880 |
| float-newlib/double_req_bl_0210_true-unreach-call.c |
true |
294 |
273 |
1694359552 |
| float-newlib/double_req_bl_0220a_true-unreach-call.c |
true |
120 |
107 |
1447448576 |
| float-newlib/double_req_bl_0220b_true-unreach-call.c |
true |
129 |
114 |
1396985856 |
| float-newlib/double_req_bl_0240a_true-unreach-call.c |
true |
104 |
90.6 |
1236426752 |
| float-newlib/double_req_bl_0240b_true-unreach-call.c |
true |
110 |
94.4 |
1259323392 |
| float-newlib/double_req_bl_0250a_true-unreach-call.c |
true |
121 |
112 |
2360668160 |
| float-newlib/double_req_bl_0250b_true-unreach-call.c |
true |
91.6 |
83.1 |
2283986944 |
| float-newlib/double_req_bl_0260_true-unreach-call.c |
true |
94.1 |
85.3 |
2286092288 |
| float-newlib/double_req_bl_0270a_true-unreach-call.c |
true |
122 |
112 |
2320826368 |
| float-newlib/double_req_bl_0270b_true-unreach-call.c |
true |
124 |
114 |
2324815872 |
| float-newlib/double_req_bl_0281_true-unreach-call.c |
true |
35.5 |
30.1 |
1819639808 |
| float-newlib/double_req_bl_0310_true-unreach-call.c |
timeout (error (143)) |
302 |
284 |
1369731072 |
| float-newlib/double_req_bl_0320_true-unreach-call.c |
true |
124 |
112 |
1394614272 |
| float-newlib/double_req_bl_0330a_true-unreach-call.c |
true |
107 |
93.1 |
1232859136 |
| float-newlib/double_req_bl_0330b_true-unreach-call.c |
true |
108 |
93.4 |
1247014912 |
| float-newlib/double_req_bl_0460_true-unreach-call.c |
error: exception |
94.9 |
88.3 |
1965903872 |
| float-newlib/double_req_bl_0470_true-unreach-call.c |
true |
95.9 |
87.7 |
2256248832 |
| float-newlib/double_req_bl_0480_true-unreach-call.c |
true |
113 |
103 |
2450112512 |
| float-newlib/double_req_bl_0490a_true-unreach-call.c |
true |
105 |
96.2 |
2358128640 |
| float-newlib/double_req_bl_0490b_true-unreach-call.c |
true |
90.6 |
82.5 |
2187755520 |
| float-newlib/double_req_bl_0520_true-unreach-call.c |
timeout (error (143)) |
301 |
281 |
2306383872 |
| float-newlib/double_req_bl_0530a_true-unreach-call.c |
true |
152 |
138 |
2161324032 |
| float-newlib/double_req_bl_0530b_true-unreach-call.c |
true |
153 |
138 |
2161635328 |
| float-newlib/double_req_bl_0550a_true-unreach-call.c |
true |
124 |
110 |
2242985984 |
| float-newlib/double_req_bl_0550b_true-unreach-call.c |
true |
121 |
108 |
2243969024 |
| float-newlib/double_req_bl_0610_true-unreach-call.c |
false |
117 |
110 |
1614290944 |
| float-newlib/double_req_bl_0620a_true-unreach-call.c |
true |
232 |
222 |
2267095040 |
| float-newlib/double_req_bl_0620b_true-unreach-call.c |
true |
201 |
191 |
2194411520 |
| float-newlib/double_req_bl_0621a_true-unreach-call.c |
timeout (error (143)) |
303 |
294 |
2412654592 |
| float-newlib/double_req_bl_0621b_true-unreach-call.c |
true |
296 |
285 |
2367823872 |
| float-newlib/double_req_bl_0660a_true-unreach-call.c |
true |
202 |
187 |
1730539520 |
| float-newlib/double_req_bl_0660b_true-unreach-call.c |
true |
242 |
227 |
1744265216 |
| float-newlib/double_req_bl_0661a_true-unreach-call.c |
timeout (error (143)) |
306 |
290 |
2285219840 |
| float-newlib/double_req_bl_0661b_true-unreach-call.c |
timeout (error (143)) |
305 |
290 |
2275483648 |
| float-newlib/double_req_bl_0662a_true-unreach-call.c |
timeout (error (143)) |
302 |
282 |
1950773248 |
| float-newlib/double_req_bl_0662b_true-unreach-call.c |
timeout (error (143)) |
303 |
285 |
1902833664 |
| float-newlib/double_req_bl_0663a_true-unreach-call.c |
true |
267 |
251 |
1814818816 |
| float-newlib/double_req_bl_0663b_true-unreach-call.c |
timeout (error (143)) |
302 |
288 |
2018811904 |
| float-newlib/double_req_bl_0670_true-unreach-call.c |
true |
182 |
170 |
1726418944 |
| float-newlib/double_req_bl_0680a_true-unreach-call.c |
true |
199 |
183 |
1909694464 |
| float-newlib/double_req_bl_0680b_true-unreach-call.c |
true |
174 |
157 |
1745440768 |
| float-newlib/double_req_bl_0681a_true-unreach-call.c |
true |
177 |
162 |
1838907392 |
| float-newlib/double_req_bl_0681b_true-unreach-call.c |
true |
155 |
142 |
1722077184 |
| float-newlib/double_req_bl_0682a_true-unreach-call.c |
timeout (error (143)) |
301 |
280 |
2059919360 |
| float-newlib/double_req_bl_0682b_true-unreach-call.c |
timeout (error (143)) |
302 |
281 |
1885700096 |
| float-newlib/double_req_bl_0683a_true-unreach-call.c |
timeout (error (143)) |
301 |
286 |
1921789952 |
| float-newlib/double_req_bl_0683b_true-unreach-call.c |
true |
300 |
283 |
1854431232 |
| float-newlib/double_req_bl_0684a_true-unreach-call.c |
timeout (error (143)) |
302 |
284 |
2249093120 |
| float-newlib/double_req_bl_0684b_true-unreach-call.c |
timeout (error (143)) |
306 |
290 |
2258456576 |
| float-newlib/double_req_bl_0685a_true-unreach-call.c |
true |
174 |
159 |
1710104576 |
| float-newlib/double_req_bl_0685b_true-unreach-call.c |
true |
188 |
171 |
1872556032 |
| float-newlib/double_req_bl_0686a_true-unreach-call.c |
true |
157 |
142 |
1718960128 |
| float-newlib/double_req_bl_0686b_true-unreach-call.c |
true |
158 |
142 |
1718464512 |
| float-newlib/double_req_bl_0710_true-unreach-call.c |
timeout (error (143)) |
303 |
297 |
2371600384 |
| float-newlib/double_req_bl_0720_true-unreach-call.c |
true |
180 |
172 |
1501675520 |
| float-newlib/double_req_bl_0730a_true-unreach-call.c |
true |
35.5 |
28.2 |
895975424 |
| float-newlib/double_req_bl_0730b_true-unreach-call.c |
true |
48.6 |
40.9 |
1015480320 |
| float-newlib/double_req_bl_0730c_true-unreach-call.c |
true |
83.1 |
70.0 |
1253740544 |
| float-newlib/double_req_bl_0740_true-unreach-call.c |
true |
44.0 |
37.4 |
778797056 |
| float-newlib/double_req_bl_0831_true-unreach-call.c |
false |
228 |
218 |
1840840704 |
| float-newlib/double_req_bl_0832_true-unreach-call.c |
true |
180 |
171 |
1762279424 |
| float-newlib/double_req_bl_0833_true-unreach-call.c |
true |
117 |
107 |
1593520128 |
| float-newlib/double_req_bl_0834_true-unreach-call.c |
true |
138 |
128 |
1680228352 |
| float-newlib/double_req_bl_0860_true-unreach-call.c |
timeout (error (143)) |
303 |
281 |
2158747648 |
| float-newlib/double_req_bl_0864a_true-unreach-call.c |
timeout (error (143)) |
304 |
284 |
3235835904 |
| float-newlib/double_req_bl_0864b_true-unreach-call.c |
timeout (error (143)) |
301 |
279 |
3373436928 |
| float-newlib/double_req_bl_0864c_true-unreach-call.c |
timeout (error (143)) |
302 |
282 |
2404282368 |
| float-newlib/double_req_bl_0870b_true-unreach-call.c |
timeout (error (143)) |
302 |
286 |
2066386944 |
| float-newlib/double_req_bl_0871_true-unreach-call.c |
error: exception |
300 |
284 |
2676412416 |
| float-newlib/double_req_bl_0872a_true-unreach-call.c |
true |
226 |
206 |
2975535104 |
| float-newlib/double_req_bl_0872b_true-unreach-call.c |
true |
180 |
163 |
2989830144 |
| float-newlib/double_req_bl_0873a_true-unreach-call.c |
timeout (error (143)) |
301 |
283 |
2266890240 |
| float-newlib/double_req_bl_0873b_true-unreach-call.c |
timeout (error (143)) |
303 |
286 |
2328981504 |
| float-newlib/double_req_bl_0874_true-unreach-call.c |
timeout (error (143)) |
303 |
284 |
2315354112 |
| float-newlib/double_req_bl_0875_true-unreach-call.c |
false |
143 |
130 |
1916510208 |
| float-newlib/double_req_bl_0876_true-unreach-call.c |
timeout (error (143)) |
302 |
286 |
2325737472 |
| float-newlib/double_req_bl_0877_true-unreach-call.c |
false |
138 |
124 |
1994252288 |
| float-newlib/double_req_bl_0878_true-unreach-call.c |
error: exception |
175 |
158 |
2238996480 |
| float-newlib/double_req_bl_0879_true-unreach-call.c |
error: exception |
195 |
175 |
3137822720 |
| float-newlib/double_req_bl_0880_true-unreach-call.c |
timeout (error (143)) |
301 |
278 |
2544480256 |
| float-newlib/double_req_bl_0881_true-unreach-call.c |
error: exception |
229 |
213 |
3040776192 |
| float-newlib/double_req_bl_0882_true-unreach-call.c |
timeout (error (143)) |
302 |
282 |
2282266624 |
| float-newlib/double_req_bl_0883_true-unreach-call.c |
timeout (error (143)) |
303 |
287 |
2067951616 |
| float-newlib/double_req_bl_0885a_true-unreach-call.c |
error: exception |
138 |
126 |
2913546240 |
| float-newlib/double_req_bl_0885b_true-unreach-call.c |
error: exception |
167 |
156 |
2823507968 |
| float-newlib/double_req_bl_0886a_true-unreach-call.c |
error: exception |
121 |
109 |
2845876224 |
| float-newlib/double_req_bl_0886b_true-unreach-call.c |
error: exception |
110 |
99.7 |
2827886592 |
| float-newlib/double_req_bl_0910a_true-unreach-call.c |
timeout (error (143)) |
303 |
293 |
2096791552 |
| float-newlib/double_req_bl_0910b_true-unreach-call.c |
true |
116 |
108 |
1607589888 |
| float-newlib/double_req_bl_0920a_true-unreach-call.c |
true |
125 |
117 |
1772294144 |
| float-newlib/double_req_bl_0920b_true-unreach-call.c |
true |
110 |
102 |
1624903680 |
| float-newlib/double_req_bl_0921_true-unreach-call.c |
true |
144 |
135 |
1898946560 |
| float-newlib/double_req_bl_0930_true-unreach-call.c |
true |
185 |
175 |
1895813120 |
| float-newlib/double_req_bl_0931_true-unreach-call.c |
true |
126 |
117 |
1935937536 |
| float-newlib/double_req_bl_0960a_true-unreach-call.c |
timeout (error (143)) |
303 |
294 |
1818058752 |
| float-newlib/double_req_bl_0960b_true-unreach-call.c |
true |
97.3 |
88.4 |
1568378880 |
| float-newlib/double_req_bl_0970a_true-unreach-call.c |
true |
97.1 |
88.3 |
1518137344 |
| float-newlib/double_req_bl_0970b_true-unreach-call.c |
true |
90.8 |
82.9 |
1454112768 |
| float-newlib/double_req_bl_0971_true-unreach-call.c |
true |
98.8 |
89.4 |
1557204992 |
| float-newlib/double_req_bl_0981_true-unreach-call.c |
true |
89.9 |
81.0 |
1511559168 |
| float-newlib/double_req_bl_1010_true-unreach-call.c |
false |
9.51 |
5.23 |
283308032 |
| float-newlib/double_req_bl_1011a_true-unreach-call.c |
true |
29.7 |
22.0 |
652881920 |
| float-newlib/double_req_bl_1011b_true-unreach-call.c |
true |
30.7 |
22.8 |
658128896 |
| float-newlib/double_req_bl_1012a_true-unreach-call.c |
true |
26.7 |
19.6 |
595599360 |
| float-newlib/double_req_bl_1012b_true-unreach-call.c |
true |
26.5 |
19.6 |
611356672 |
| float-newlib/double_req_bl_1031_true-unreach-call.c |
true |
24.7 |
17.1 |
553771008 |
| float-newlib/double_req_bl_1032a_true-unreach-call.c |
true |
33.2 |
24.2 |
767565824 |
| float-newlib/double_req_bl_1032b_true-unreach-call.c |
true |
29.1 |
21.3 |
775778304 |
| float-newlib/double_req_bl_1032c_true-unreach-call.c |
true |
32.4 |
24.9 |
671633408 |
| float-newlib/double_req_bl_1032d_true-unreach-call.c |
true |
34.8 |
27.2 |
676179968 |
| float-newlib/double_req_bl_1051_true-unreach-call.c |
true |
36.6 |
29.3 |
588124160 |
| float-newlib/double_req_bl_1052a_true-unreach-call.c |
true |
41.2 |
34.0 |
657768448 |
| float-newlib/double_req_bl_1052b_true-unreach-call.c |
true |
40.7 |
33.5 |
650756096 |
| float-newlib/double_req_bl_1052c_true-unreach-call.c |
true |
90.7 |
80.2 |
913936384 |
| float-newlib/double_req_bl_1052d_true-unreach-call.c |
true |
48.1 |
39.1 |
831475712 |
| float-newlib/double_req_bl_1071_true-unreach-call.c |
true |
24.5 |
17.6 |
550019072 |
| float-newlib/double_req_bl_1072a_true-unreach-call.c |
true |
29.8 |
22.8 |
559661056 |
| float-newlib/double_req_bl_1072b_true-unreach-call.c |
true |
30.8 |
22.6 |
806711296 |
| float-newlib/double_req_bl_1072c_true-unreach-call.c |
true |
30.5 |
22.0 |
789024768 |
| float-newlib/double_req_bl_1072d_true-unreach-call.c |
true |
30.0 |
22.5 |
549003264 |
| float-newlib/double_req_bl_1091_true-unreach-call.c |
true |
38.3 |
30.7 |
590049280 |
| float-newlib/double_req_bl_1092a_true-unreach-call.c |
true |
42.5 |
34.4 |
664424448 |
| float-newlib/double_req_bl_1092b_true-unreach-call.c |
true |
52.7 |
43.6 |
850239488 |
| float-newlib/double_req_bl_1092c_true-unreach-call.c |
true |
42.0 |
34.5 |
568020992 |
| float-newlib/double_req_bl_1092d_true-unreach-call.c |
true |
45.0 |
37.5 |
591495168 |
| float-newlib/double_req_bl_1121a_true-unreach-call.c |
true |
54.2 |
46.9 |
1179521024 |
| float-newlib/double_req_bl_1121b_true-unreach-call.c |
true |
48.3 |
41.3 |
1153605632 |
| float-newlib/double_req_bl_1122a_true-unreach-call.c |
true |
61.9 |
55.3 |
1301716992 |
| float-newlib/double_req_bl_1122b_true-unreach-call.c |
error: exception |
162 |
156 |
1323765760 |
| float-newlib/double_req_bl_1130a_true-unreach-call.c |
true |
69.6 |
58.8 |
1206673408 |
| float-newlib/double_req_bl_1130b_true-unreach-call.c |
timeout (error (143)) |
305 |
296 |
1102454784 |
| float-newlib/double_req_bl_1131a_true-unreach-call.c |
true |
58.4 |
48.4 |
1200451584 |
| float-newlib/double_req_bl_1131b_true-unreach-call.c |
true |
81.5 |
70.6 |
1271177216 |
| float-newlib/double_req_bl_1211a_true-unreach-call.c |
true |
58.1 |
48.2 |
890888192 |
| float-newlib/double_req_bl_1211b_true-unreach-call.c |
true |
61.0 |
51.7 |
906166272 |
| float-newlib/double_req_bl_1230_true-unreach-call.c |
true |
18.5 |
11.3 |
536866816 |
| float-newlib/double_req_bl_1231a_true-unreach-call.c |
error: exception |
56.3 |
44.5 |
907595776 |
| float-newlib/double_req_bl_1231b_true-unreach-call.c |
true |
59.1 |
47.2 |
857960448 |
| float-newlib/double_req_bl_1232a_true-unreach-call.c |
true |
31.8 |
22.3 |
772030464 |
| float-newlib/double_req_bl_1250_true-unreach-call.c |
true |
19.1 |
12.0 |
529547264 |
| float-newlib/double_req_bl_1251a_true-unreach-call.c |
error: exception |
56.8 |
45.3 |
928722944 |
| float-newlib/double_req_bl_1251b_true-unreach-call.c |
true |
57.9 |
46.0 |
858148864 |
| float-newlib/double_req_bl_1252a_true-unreach-call.c |
true |
31.2 |
22.6 |
777015296 |
| float-newlib/double_req_bl_1270a_true-unreach-call.c |
timeout (error (143)) |
302 |
289 |
1430401024 |
| float-newlib/double_req_bl_1270b_true-unreach-call.c |
error: exception |
195 |
183 |
1342091264 |
| float-newlib/double_req_bl_1270c_true-unreach-call.c |
timeout (error (143)) |
306 |
294 |
1422106624 |
| float-newlib/double_req_bl_1270d_true-unreach-call.c |
timeout (error (143)) |
304 |
291 |
1469923328 |
| float-newlib/double_req_bl_1271a_true-unreach-call.c |
false |
154 |
145 |
985300992 |
| float-newlib/double_req_bl_1271b_true-unreach-call.c |
false |
23.6 |
16.8 |
683474944 |
| float-newlib/double_req_bl_1280_true-unreach-call.c |
error: exception |
237 |
223 |
2294435840 |
| float-newlib/double_req_bl_1300_true-unreach-call.c |
error: exception |
71.5 |
64.4 |
745357312 |
| float-newlib/double_req_bl_1381_true-unreach-call.c |
false |
9.64 |
5.32 |
295129088 |
| float-newlib/float_req_bl_0210_true-unreach-call.c |
timeout (error (143)) |
302 |
278 |
1527033856 |
| float-newlib/float_req_bl_0220a_true-unreach-call.c |
true |
86.0 |
71.6 |
1082998784 |
| float-newlib/float_req_bl_0220b_true-unreach-call.c |
true |
86.5 |
72.1 |
1073917952 |
| float-newlib/float_req_bl_0240a_true-unreach-call.c |
true |
79.8 |
64.5 |
1005568000 |
| float-newlib/float_req_bl_0240b_true-unreach-call.c |
true |
78.0 |
62.5 |
1018597376 |
| float-newlib/float_req_bl_0250a_true-unreach-call.c |
true |
70.9 |
62.9 |
946733056 |
| float-newlib/float_req_bl_0250b_true-unreach-call.c |
true |
67.1 |
59.5 |
954335232 |
| float-newlib/float_req_bl_0260_true-unreach-call.c |
true |
65.4 |
57.7 |
934744064 |
| float-newlib/float_req_bl_0270a_true-unreach-call.c |
true |
76.3 |
66.3 |
1166856192 |
| float-newlib/float_req_bl_0270b_true-unreach-call.c |
true |
72.9 |
62.8 |
1156710400 |
| float-newlib/float_req_bl_0281_true-unreach-call.c |
true |
74.6 |
66.5 |
1074884608 |
| float-newlib/float_req_bl_0310_true-unreach-call.c |
timeout (error (143)) |
301 |
278 |
1497231360 |
| float-newlib/float_req_bl_0320a_true-unreach-call.c |
true |
90.0 |
77.3 |
1085878272 |
| float-newlib/float_req_bl_0320b_true-unreach-call.c |
true |
87.1 |
73.3 |
1081491456 |
| float-newlib/float_req_bl_0330a_true-unreach-call.c |
true |
73.9 |
59.4 |
998330368 |
| float-newlib/float_req_bl_0330b_true-unreach-call.c |
true |
75.7 |
61.1 |
1011150848 |
| float-newlib/float_req_bl_0460_true-unreach-call.c |
true |
81.8 |
74.1 |
1244712960 |
| float-newlib/float_req_bl_0470_true-unreach-call.c |
true |
78.6 |
71.7 |
1115496448 |
| float-newlib/float_req_bl_0480_true-unreach-call.c |
true |
63.7 |
56.2 |
1083420672 |
| float-newlib/float_req_bl_0490a_true-unreach-call.c |
true |
78.2 |
71.1 |
1117593600 |
| float-newlib/float_req_bl_0490b_true-unreach-call.c |
true |
79.3 |
72.0 |
1114996736 |
| float-newlib/float_req_bl_0520_true-unreach-call.c |
timeout (error (143)) |
303 |
284 |
1710718976 |
| float-newlib/float_req_bl_0530a_true-unreach-call.c |
true |
90.6 |
74.4 |
1274089472 |
| float-newlib/float_req_bl_0530b_true-unreach-call.c |
true |
88.9 |
72.4 |
1288249344 |
| float-newlib/float_req_bl_0550a_true-unreach-call.c |
true |
70.4 |
57.3 |
1297879040 |
| float-newlib/float_req_bl_0550b_true-unreach-call.c |
true |
78.0 |
62.5 |
1291505664 |
| float-newlib/float_req_bl_0610_true-unreach-call.c |
true |
89.6 |
82.2 |
955326464 |
| float-newlib/float_req_bl_0620a_true-unreach-call.c |
true |
95.6 |
88.2 |
989249536 |
| float-newlib/float_req_bl_0620b_true-unreach-call.c |
true |
104 |
96.1 |
991637504 |
| float-newlib/float_req_bl_0621a_true-unreach-call.c |
true |
184 |
175 |
1098285056 |
| float-newlib/float_req_bl_0621b_true-unreach-call.c |
true |
174 |
164 |
1110147072 |
| float-newlib/float_req_bl_0660a_true-unreach-call.c |
true |
67.7 |
55.1 |
1011167232 |
| float-newlib/float_req_bl_0660b_true-unreach-call.c |
true |
63.5 |
53.0 |
1042411520 |
| float-newlib/float_req_bl_0661a_true-unreach-call.c |
true |
143 |
132 |
1219661824 |
| float-newlib/float_req_bl_0661b_true-unreach-call.c |
true |
137 |
124 |
1220599808 |
| float-newlib/float_req_bl_0662a_true-unreach-call.c |
true |
69.6 |
59.8 |
1016188928 |
| float-newlib/float_req_bl_0662b_true-unreach-call.c |
true |
58.5 |
49.0 |
1015652352 |
| float-newlib/float_req_bl_0663a_true-unreach-call.c |
true |
59.1 |
48.9 |
1003077632 |
| float-newlib/float_req_bl_0663b_true-unreach-call.c |
true |
59.7 |
49.7 |
1023123456 |
| float-newlib/float_req_bl_0670_true-unreach-call.c |
true |
138 |
128 |
1112834048 |
| float-newlib/float_req_bl_0680a_true-unreach-call.c |
true |
68.8 |
58.5 |
1022681088 |
| float-newlib/float_req_bl_0680b_true-unreach-call.c |
true |
83.7 |
69.5 |
1051095040 |
| float-newlib/float_req_bl_0681a_true-unreach-call.c |
true |
59.2 |
47.9 |
1021325312 |
| float-newlib/float_req_bl_0681b_true-unreach-call.c |
true |
61.7 |
49.2 |
1021448192 |
| float-newlib/float_req_bl_0682a_true-unreach-call.c |
true |
87.8 |
75.1 |
1181126656 |
| float-newlib/float_req_bl_0682b_true-unreach-call.c |
true |
78.2 |
65.5 |
1078890496 |
| float-newlib/float_req_bl_0683a_true-unreach-call.c |
true |
71.9 |
58.8 |
1087242240 |
| float-newlib/float_req_bl_0683b_true-unreach-call.c |
true |
78.5 |
66.8 |
1073795072 |
| float-newlib/float_req_bl_0684a_true-unreach-call.c |
true |
235 |
220 |
1325965312 |
| float-newlib/float_req_bl_0684b_true-unreach-call.c |
true |
237 |
223 |
1409130496 |
| float-newlib/float_req_bl_0685a_true-unreach-call.c |
true |
70.5 |
57.0 |
1030041600 |
| float-newlib/float_req_bl_0685b_true-unreach-call.c |
true |
74.3 |
62.2 |
1061355520 |
| float-newlib/float_req_bl_0686a_true-unreach-call.c |
true |
65.3 |
54.1 |
1036193792 |
| float-newlib/float_req_bl_0686b_true-unreach-call.c |
true |
69.7 |
57.7 |
1028272128 |
| float-newlib/float_req_bl_0710_true-unreach-call.c |
timeout (error (143)) |
304 |
297 |
1912733696 |
| float-newlib/float_req_bl_0720_true-unreach-call.c |
true |
48.2 |
41.1 |
621056000 |
| float-newlib/float_req_bl_0730a_true-unreach-call.c |
true |
34.3 |
27.6 |
524533760 |
| float-newlib/float_req_bl_0730b_true-unreach-call.c |
true |
20.3 |
13.6 |
559349760 |
| float-newlib/float_req_bl_0730c_true-unreach-call.c |
true |
19.8 |
13.2 |
576122880 |
| float-newlib/float_req_bl_0740_true-unreach-call.c |
true |
31.1 |
24.7 |
459280384 |
| float-newlib/float_req_bl_0831_true-unreach-call.c |
true |
154 |
145 |
956497920 |
| float-newlib/float_req_bl_0832a_true-unreach-call.c |
true |
150 |
141 |
963190784 |
| float-newlib/float_req_bl_0832b_true-unreach-call.c |
true |
138 |
130 |
920768512 |
| float-newlib/float_req_bl_0833_true-unreach-call.c |
true |
85.6 |
77.3 |
825372672 |
| float-newlib/float_req_bl_0834_true-unreach-call.c |
true |
141 |
132 |
945082368 |
| float-newlib/float_req_bl_0860_true-unreach-call.c |
timeout (error (143)) |
303 |
274 |
1541742592 |
| float-newlib/float_req_bl_0864a_true-unreach-call.c |
timeout (error (143)) |
301 |
276 |
2929926144 |
| float-newlib/float_req_bl_0864b_true-unreach-call.c |
timeout (error (143)) |
301 |
276 |
2564231168 |
| float-newlib/float_req_bl_0870b_true-unreach-call.c |
true |
87.6 |
74.3 |
1213149184 |
| float-newlib/float_req_bl_0871_true-unreach-call.c |
error: exception |
200 |
186 |
1400451072 |
| float-newlib/float_req_bl_0872a_true-unreach-call.c |
true |
76.0 |
64.6 |
1085407232 |
| float-newlib/float_req_bl_0872b_true-unreach-call.c |
true |
74.2 |
62.9 |
1114206208 |
| float-newlib/float_req_bl_0873a_true-unreach-call.c |
true |
121 |
106 |
1271492608 |
| float-newlib/float_req_bl_0873b_true-unreach-call.c |
true |
118 |
101 |
1265602560 |
| float-newlib/float_req_bl_0874_true-unreach-call.c |
true |
175 |
155 |
1525792768 |
| float-newlib/float_req_bl_0875_true-unreach-call.c |
true |
228 |
207 |
1597014016 |
| float-newlib/float_req_bl_0876_true-unreach-call.c |
true |
199 |
179 |
1542737920 |
| float-newlib/float_req_bl_0877_true-unreach-call.c |
true |
197 |
175 |
1596055552 |
| float-newlib/float_req_bl_0878_true-unreach-call.c |
timeout (error (143)) |
301 |
280 |
3141537792 |
| float-newlib/float_req_bl_0879_true-unreach-call.c |
error: exception |
248 |
232 |
3037900800 |
| float-newlib/float_req_bl_0880_true-unreach-call.c |
timeout (error (143)) |
301 |
283 |
1751535616 |
| float-newlib/float_req_bl_0881_true-unreach-call.c |
timeout (error (143)) |
301 |
280 |
1739546624 |
| float-newlib/float_req_bl_0882_true-unreach-call.c |
error: exception |
102 |
91.1 |
1204633600 |
| float-newlib/float_req_bl_0883_true-unreach-call.c |
true |
292 |
271 |
1575989248 |
| float-newlib/float_req_bl_0885a_true-unreach-call.c |
error: exception |
267 |
256 |
2798157824 |
| float-newlib/float_req_bl_0885b_true-unreach-call.c |
error: exception |
50.8 |
41.3 |
847589376 |
| float-newlib/float_req_bl_0886a_true-unreach-call.c |
error: exception |
278 |
268 |
2805534720 |
| float-newlib/float_req_bl_0886b_true-unreach-call.c |
error: exception |
208 |
198 |
2774720512 |
| float-newlib/float_req_bl_0910a_true-unreach-call.c |
true |
49.2 |
42.4 |
699994112 |
| float-newlib/float_req_bl_0910b_true-unreach-call.c |
true |
48.2 |
41.1 |
683290624 |
| float-newlib/float_req_bl_0920a_true-unreach-call.c |
true |
57.0 |
49.3 |
751652864 |
| float-newlib/float_req_bl_0920b_true-unreach-call.c |
true |
59.5 |
52.7 |
696463360 |
| float-newlib/float_req_bl_0921_true-unreach-call.c |
true |
72.1 |
64.5 |
791609344 |
| float-newlib/float_req_bl_0930_true-unreach-call.c |
timeout (error (143)) |
304 |
296 |
1711390720 |
| float-newlib/float_req_bl_0931_true-unreach-call.c |
true |
58.0 |
50.8 |
819458048 |
| float-newlib/float_req_bl_0960a_true-unreach-call.c |
true |
44.1 |
36.4 |
692772864 |
| float-newlib/float_req_bl_0960b_true-unreach-call.c |
true |
44.1 |
36.6 |
697958400 |
| float-newlib/float_req_bl_0970a_true-unreach-call.c |
true |
40.0 |
32.9 |
730759168 |
| float-newlib/float_req_bl_0970b_true-unreach-call.c |
true |
42.8 |
35.4 |
676073472 |
| float-newlib/float_req_bl_0971_true-unreach-call.c |
true |
49.1 |
41.1 |
738258944 |
| float-newlib/float_req_bl_0981_true-unreach-call.c |
true |
47.3 |
39.6 |
774397952 |
| float-newlib/float_req_bl_1010_true-unreach-call.c |
true |
14.8 |
8.67 |
387284992 |
| float-newlib/float_req_bl_1011a_true-unreach-call.c |
true |
19.0 |
12.3 |
582705152 |
| float-newlib/float_req_bl_1011b_true-unreach-call.c |
true |
19.0 |
12.3 |
578969600 |
| float-newlib/float_req_bl_1012a_true-unreach-call.c |
true |
16.0 |
9.95 |
469307392 |
| float-newlib/float_req_bl_1012b_true-unreach-call.c |
true |
16.4 |
10.2 |
466960384 |
| float-newlib/float_req_bl_1031_true-unreach-call.c |
true |
16.3 |
10.2 |
415494144 |
| float-newlib/float_req_bl_1032a_true-unreach-call.c |
true |
24.9 |
17.2 |
763629568 |
| float-newlib/float_req_bl_1032b_true-unreach-call.c |
true |
23.3 |
15.7 |
699076608 |
| float-newlib/float_req_bl_1032c_true-unreach-call.c |
true |
18.5 |
12.0 |
437907456 |
| float-newlib/float_req_bl_1032d_true-unreach-call.c |
true |
17.5 |
11.2 |
427233280 |
| float-newlib/float_req_bl_1051_true-unreach-call.c |
true |
19.3 |
12.7 |
434425856 |
| float-newlib/float_req_bl_1052a_true-unreach-call.c |
true |
21.3 |
14.6 |
519929856 |
| float-newlib/float_req_bl_1052b_true-unreach-call.c |
true |
21.4 |
14.8 |
513384448 |
| float-newlib/float_req_bl_1052c_true-unreach-call.c |
true |
31.4 |
22.9 |
795447296 |
| float-newlib/float_req_bl_1052d_true-unreach-call.c |
true |
25.5 |
18.5 |
674074624 |
| float-newlib/float_req_bl_1071_true-unreach-call.c |
true |
14.7 |
8.51 |
406351872 |
| float-newlib/float_req_bl_1072a_true-unreach-call.c |
true |
16.6 |
10.2 |
470220800 |
| float-newlib/float_req_bl_1072b_true-unreach-call.c |
true |
16.5 |
10.3 |
485875712 |
| float-newlib/float_req_bl_1072c_true-unreach-call.c |
true |
21.4 |
14.3 |
674144256 |
| float-newlib/float_req_bl_1072d_true-unreach-call.c |
true |
21.4 |
14.4 |
678973440 |
| float-newlib/float_req_bl_1091_true-unreach-call.c |
true |
19.7 |
12.6 |
425873408 |
| float-newlib/float_req_bl_1092a_true-unreach-call.c |
true |
25.7 |
18.4 |
670965760 |
| float-newlib/float_req_bl_1092b_true-unreach-call.c |
true |
33.5 |
24.2 |
805437440 |
| float-newlib/float_req_bl_1092c_true-unreach-call.c |
true |
21.7 |
15.0 |
510926848 |
| float-newlib/float_req_bl_1092d_true-unreach-call.c |
true |
22.2 |
15.5 |
511082496 |
| float-newlib/float_req_bl_1121a_true-unreach-call.c |
true |
72.2 |
66.0 |
660631552 |
| float-newlib/float_req_bl_1121b_true-unreach-call.c |
true |
68.4 |
61.9 |
652423168 |
| float-newlib/float_req_bl_1122a_true-unreach-call.c |
true |
69.2 |
62.4 |
673505280 |
| float-newlib/float_req_bl_1122b_true-unreach-call.c |
true |
67.9 |
61.5 |
676241408 |
| float-newlib/float_req_bl_1130a_true-unreach-call.c |
true |
25.0 |
17.8 |
715919360 |
| float-newlib/float_req_bl_1130b_true-unreach-call.c |
true |
25.7 |
18.4 |
734384128 |
| float-newlib/float_req_bl_1131a_true-unreach-call.c |
true |
31.9 |
23.7 |
789237760 |
| float-newlib/float_req_bl_1131b_true-unreach-call.c |
true |
28.3 |
20.7 |
785158144 |
| float-newlib/float_req_bl_1211a_true-unreach-call.c |
true |
26.8 |
18.5 |
790175744 |
| float-newlib/float_req_bl_1211b_true-unreach-call.c |
true |
23.9 |
16.2 |
719810560 |
| float-newlib/float_req_bl_1230_true-unreach-call.c |
true |
16.1 |
9.55 |
495611904 |
| float-newlib/float_req_bl_1231_true-unreach-call.c |
true |
74.9 |
56.3 |
1151705088 |
| float-newlib/float_req_bl_1232a_true-unreach-call.c |
true |
18.8 |
11.9 |
576729088 |
| float-newlib/float_req_bl_1250_true-unreach-call.c |
true |
17.9 |
10.5 |
508751872 |
| float-newlib/float_req_bl_1251_true-unreach-call.c |
true |
72.5 |
55.2 |
1109790720 |
| float-newlib/float_req_bl_1252a_true-unreach-call.c |
true |
17.7 |
11.4 |
586244096 |
| float-newlib/float_req_bl_1270a_true-unreach-call.c |
timeout (error (143)) |
305 |
288 |
1184649216 |
| float-newlib/float_req_bl_1270b_true-unreach-call.c |
timeout (error (143)) |
303 |
289 |
1312329728 |
| float-newlib/float_req_bl_1270c_true-unreach-call.c |
timeout (error (143)) |
302 |
288 |
1157840896 |
| float-newlib/float_req_bl_1270d_true-unreach-call.c |
timeout (error (143)) |
301 |
286 |
1205313536 |
| float-newlib/float_req_bl_1271a_true-unreach-call.c |
timeout (error (143)) |
306 |
289 |
1263718400 |
| float-newlib/float_req_bl_1271b_true-unreach-call.c |
timeout (error (143)) |
301 |
289 |
1120104448 |
| float-newlib/float_req_bl_1280_true-unreach-call.c |
timeout (error (143)) |
303 |
292 |
2041991168 |
| float-newlib/float_req_bl_1381_true-unreach-call.c |
true |
14.7 |
8.84 |
402640896 |
| float-newlib/double_req_bl_0870a_false-unreach-call.c |
false |
95.7 |
83.8 |
1695358976 |
| float-newlib/double_req_bl_1210_false-unreach-call.c |
false |
35.3 |
27.4 |
629805056 |
| float-newlib/double_req_bl_1232b_false-unreach-call.c |
false |
29.4 |
20.8 |
735887360 |
| float-newlib/double_req_bl_1252b_false-unreach-call.c |
false |
32.0 |
23.3 |
735338496 |
| float-newlib/float_req_bl_0870a_false-unreach-call.c |
false |
50.2 |
40.5 |
832581632 |
| float-newlib/float_req_bl_1210_false-unreach-call.c |
false |
15.4 |
9.34 |
432234496 |
| float-newlib/float_req_bl_1232b_false-unreach-call.c |
false |
17.6 |
10.7 |
512020480 |
| float-newlib/float_req_bl_1252b_false-unreach-call.c |
false |
17.7 |
10.7 |
501514240 |