BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer-noprop.xml name: svcomp19-float-reach-automizer-noprop run sets: Automizer.Floats date: Wed, 2018-09-19 15:28:52 CEST tool: ULTIMATE Automizer 0.1.23-2c629058 tool executable: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/Ultimate.py options: --force-no-wrapper parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz ram: 135158.484992 MB ------------------------------------------------------------ Automizer.Floats Run set 1 of 1 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------- floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i FALSE 36.35 32.74 None floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i FALSE 34.25 30.93 None floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i FALSE 74.11 70.70 None floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i FALSE 57.36 54.22 None floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i FALSE 102.75 99.64 None floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i FALSE 55.59 51.98 None floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i FALSE 219.67 216.42 None floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i FALSE 114.34 111.06 None floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.27 302.73 None floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i FALSE 252.75 249.53 None floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.33 302.91 None floats-cdfpl/sine_1_false-unreach-call_true-termination.i FALSE 266.03 262.70 None floats-cdfpl/sine_2_false-unreach-call_true-termination.i FALSE 44.27 41.54 None floats-cdfpl/sine_3_false-unreach-call_true-termination.i FALSE 23.23 20.05 None floats-cdfpl/square_1_false-unreach-call_true-termination.i FALSE 138.59 135.62 None floats-cdfpl/square_2_false-unreach-call_true-termination.i FALSE 46.89 43.56 None floats-cdfpl/square_3_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.27 303.03 None floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.29 303.15 None floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.29 302.43 None floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.28 302.52 None floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.29 302.60 None floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.26 302.60 None floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.27 302.83 None floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.27 302.85 None floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.25 302.89 None floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.27 302.66 None floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.27 302.70 None floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.26 302.80 None floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.31 302.81 None floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.25 302.76 None floats-cdfpl/sine_4_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.29 303.04 None floats-cdfpl/sine_5_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.24 303.36 None floats-cdfpl/sine_6_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.31 303.01 None floats-cdfpl/sine_7_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.25 302.89 None floats-cdfpl/sine_8_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.25 302.99 None floats-cdfpl/square_4_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.24 302.57 None floats-cdfpl/square_5_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.25 302.93 None floats-cdfpl/square_6_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.25 302.81 None floats-cdfpl/square_7_true-unreach-call_true-termination.i TRUE 275.00 271.35 None floats-cdfpl/square_8_true-unreach-call_true-termination.i TRUE 104.06 100.28 None floats-cbmc-regression/float-div1_true-unreach-call.i TRUE 38.44 31.15 None floats-cbmc-regression/float-flags-simp1_true-unreach-call.i TRUE 42.77 28.93 None floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i TRUE 7.75 4.37 None floats-cbmc-regression/float-no-simp2_true-unreach-call.i TRUE 47.81 41.13 None floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i TRUE 8.38 4.61 None floats-cbmc-regression/float-no-simp4_true-unreach-call.i TRUE 34.40 24.04 None floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i TRUE 8.82 5.23 None floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i TRUE 8.11 4.47 None floats-cbmc-regression/float-no-simp8_true-unreach-call.i TRUE 12.55 6.84 None floats-cbmc-regression/float-rounding1_true-unreach-call.i unknown 6.40 3.39 None floats-cbmc-regression/float-to-double1_true-unreach-call.i TRUE 257.95 250.66 None floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i TRUE 8.01 4.43 None floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i TRUE 10.20 5.70 None floats-cbmc-regression/float11_true-unreach-call_true-termination.i TRUE 8.64 4.86 None floats-cbmc-regression/float12_true-unreach-call_true-termination.i TRUE 16.56 12.74 None floats-cbmc-regression/float13_true-unreach-call_true-termination.i TRUE 9.41 5.17 None floats-cbmc-regression/float14_true-unreach-call.i TRUE 11.91 6.61 None floats-cbmc-regression/float18_true-unreach-call.i unknown 6.38 3.40 None floats-cbmc-regression/float19_true-unreach-call.i TRUE 13.85 8.96 None floats-cbmc-regression/float1_true-unreach-call_true-termination.i TRUE 7.63 4.31 None floats-cbmc-regression/float20_true-unreach-call_true-termination.i TRUE 15.23 11.42 None floats-cbmc-regression/float21_true-unreach-call.i TRUE 96.71 87.40 None floats-cbmc-regression/float22_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.02 280.57 None floats-cbmc-regression/float2_true-unreach-call_true-termination.i TRUE 9.50 5.52 None floats-cbmc-regression/float3_true-unreach-call_true-termination.i ERROR: EXCEPTION 6.59 3.48 None floats-cbmc-regression/float4_true-unreach-call.i TRUE 84.29 76.92 None floats-cbmc-regression/float5_true-unreach-call_true-termination.i TRUE 27.86 24.23 None floats-cbmc-regression/float6_true-unreach-call_true-termination.i TRUE 9.52 5.29 None floats-cbmc-regression/float8_true-unreach-call.i TRUE 13.69 7.73 None floats-cbmc-regression/float_lib1_true-unreach-call.i ERROR: EXCEPTION 10.12 5.79 None floats-cbmc-regression/float_lib2_true-unreach-call.i TRUE 19.67 11.96 None float-benchs/cast_float_ptr_false-unreach-call_true-termination.c FALSE 8.39 4.70 None float-benchs/cast_union_loose_false-unreach-call_true-termination.c FALSE 8.62 5.03 None float-benchs/cast_union_tight_false-unreach-call_true-termination.c FALSE 8.52 4.89 None float-benchs/float_int_inv_square_false-unreach-call_true-termination.c FALSE 9.38 5.64 None float-benchs/inv_Newton_false-unreach-call.c TIMEOUT (ERROR (143)) 301.93 295.96 None float-benchs/inv_square_false-unreach-call_true-termination.c FALSE 8.92 5.40 None float-benchs/nan_double_false-unreach-call_true-termination.c FALSE 7.80 4.26 None float-benchs/nan_float_false-unreach-call_true-termination.c FALSE 7.06 3.95 None float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.27 301.66 None float-benchs/sqrt_poly2_false-unreach-call.c FALSE 18.93 14.48 None float-benchs/Muller_Kahan_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 304.18 297.63 None float-benchs/Rump_double_true-unreach-call_true-termination.c TRUE 21.06 17.20 None float-benchs/Rump_float_true-unreach-call_true-termination.c TRUE 11.73 7.61 None float-benchs/addsub_double_exact_true-unreach-call_true-termination.c TRUE 8.46 4.78 None float-benchs/addsub_float_exact_true-unreach-call_true-termination.c TRUE 8.25 4.71 None float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c TRUE 8.55 4.79 None float-benchs/arctan_Pade_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 301.44 298.16 None float-benchs/bary_diverge_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 301.68 293.43 None float-benchs/cast_float_union_true-unreach-call.c TRUE 7.97 4.54 None float-benchs/cos_polynomial_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.28 302.56 None float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c ERROR: EXCEPTION 151.87 142.40 None float-benchs/divmul_diverge_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.39 295.97 None float-benchs/drift_tenth_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 302.78 296.44 None float-benchs/exp_loop_true-unreach-call.c TIMEOUT (ERROR (143)) 301.24 294.14 None float-benchs/feedback_diverge_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.36 296.22 None float-benchs/filter1_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 305.26 298.94 None float-benchs/filter2_alt_true-unreach-call.c TIMEOUT (ERROR (143)) 304.25 298.15 None float-benchs/filter2_iterated_true-unreach-call.c ERROR: EXCEPTION 55.73 52.57 None float-benchs/filter2_reinit_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.31 300.64 None float-benchs/filter2_set_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 301.99 296.05 None float-benchs/filter2_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.51 300.38 None float-benchs/filter_iir_true-unreach-call.c TIMEOUT (ERROR (143)) 302.10 295.84 None float-benchs/float_double_true-unreach-call_true-termination.c TRUE 8.62 5.01 None float-benchs/image_filter_true-unreach-call.c OUT OF MEMORY 101.52 106.65 None float-benchs/interpolation2_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 302.26 296.94 None float-benchs/interpolation_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 302.10 295.32 None float-benchs/inv_Newton_true-unreach-call.c TIMEOUT (ERROR (143)) 302.10 296.12 None float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c ERROR: EXCEPTION 125.20 119.39 None float-benchs/inv_square_int_true-unreach-call_true-termination.c TRUE 15.63 12.26 None float-benchs/inv_square_true-unreach-call_true-termination.c TRUE 80.85 76.76 None float-benchs/loop_true-unreach-call.c TRUE 136.72 130.47 None float-benchs/mea8000_true-unreach-call.c TIMEOUT (ERROR (143)) 301.22 288.81 None float-benchs/nan_double_range_true-unreach-call_true-termination.c TRUE 7.82 4.50 None float-benchs/nan_float_range_true-unreach-call_true-termination.c TRUE 9.38 5.94 None float-benchs/rlim_exit_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.43 292.74 None float-benchs/rlim_invariant_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 301.26 293.33 None float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.29 301.74 None float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.31 301.70 None float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.27 301.99 None float-benchs/sin_interpolated_negation_true-unreach-call.c TIMEOUT (ERROR (143)) 306.35 296.96 None float-benchs/sin_interpolated_smallrange_true-unreach-call.c TIMEOUT (ERROR (143)) 306.38 297.15 None float-benchs/sqrt_Householder_constant_true-unreach-call.c ERROR: EXCEPTION 285.84 279.56 None float-benchs/sqrt_Householder_interval_true-unreach-call.c ERROR: EXCEPTION 176.39 171.06 None float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c ERROR: EXCEPTION 197.51 191.57 None float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c ERROR: EXCEPTION 173.67 167.69 None float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c ERROR: EXCEPTION 208.37 202.43 None float-benchs/sqrt_poly_true-unreach-call_true-termination.c TRUE 163.01 157.24 None float-benchs/water_pid_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 306.41 298.88 None float-benchs/zonotope_2_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 302.60 293.31 None float-benchs/zonotope_3_true-unreach-call_true-termination.c TIMEOUT (ERROR (143)) 304.22 295.99 None float-benchs/zonotope_loose_true-unreach-call_true-termination.c TRUE 163.19 157.98 None float-benchs/zonotope_tight_true-unreach-call_true-termination.c ERROR: EXCEPTION 130.49 125.94 None floats-esbmc-regression/Double_div_true-unreach-call.i TIMEOUT (ERROR (143)) 303.40 297.39 None floats-esbmc-regression/Float_div_true-unreach-call.i TIMEOUT (ERROR (143)) 306.28 300.33 None floats-esbmc-regression/ceil_nondet_true-unreach-call.i unknown 6.99 3.67 None floats-esbmc-regression/ceil_true-unreach-call.i unknown 6.14 3.40 None floats-esbmc-regression/copysign_true-unreach-call.i unknown 6.46 3.43 None floats-esbmc-regression/digits_for_true-unreach-call.i TIMEOUT (ERROR (143)) 302.28 295.11 None floats-esbmc-regression/digits_while_true-unreach-call.i TIMEOUT (ERROR (143)) 303.25 296.32 None floats-esbmc-regression/fabs_true-unreach-call.i TRUE 12.77 6.90 None floats-esbmc-regression/fdim_true-unreach-call.i unknown 6.35 3.45 None floats-esbmc-regression/floor_nondet_true-unreach-call.i unknown 6.38 3.40 None floats-esbmc-regression/floor_true-unreach-call.i unknown 6.42 3.39 None floats-esbmc-regression/fmax_true-unreach-call.i TRUE 10.70 5.86 None floats-esbmc-regression/fmin_true-unreach-call.i TRUE 10.68 5.84 None floats-esbmc-regression/fmod2_true-unreach-call.i unknown 6.73 3.56 None floats-esbmc-regression/fmod3_true-unreach-call.i unknown 6.65 3.53 None floats-esbmc-regression/fmod_true-unreach-call.i unknown 6.57 3.47 None floats-esbmc-regression/isgreater_true-unreach-call.i TRUE 10.35 5.73 None floats-esbmc-regression/isgreaterequal_true-unreach-call.i TRUE 10.94 5.88 None floats-esbmc-regression/isless_true-unreach-call.i TRUE 10.88 5.92 None floats-esbmc-regression/islessequal_true-unreach-call.i TRUE 10.69 5.86 None floats-esbmc-regression/islessgreater_true-unreach-call.i TRUE 10.91 5.92 None floats-esbmc-regression/isunordered_true-unreach-call.i TRUE 11.04 5.99 None floats-esbmc-regression/lrint_true-unreach-call.i unknown 6.67 3.50 None floats-esbmc-regression/modf_true-unreach-call.i unknown 6.57 3.45 None floats-esbmc-regression/nan_true-unreach-call.i TRUE 13.31 7.20 None floats-esbmc-regression/nearbyint2_true-unreach-call.i unknown 6.63 3.52 None floats-esbmc-regression/nearbyint_true-unreach-call.i unknown 6.57 3.49 None floats-esbmc-regression/remainder_true-unreach-call.i unknown 6.56 3.47 None floats-esbmc-regression/rint2_true-unreach-call.i unknown 6.56 3.47 None floats-esbmc-regression/rint_true-unreach-call.i unknown 6.38 3.43 None floats-esbmc-regression/round_nondet_true-unreach-call.i unknown 6.62 3.52 None floats-esbmc-regression/round_true-unreach-call.i unknown 6.52 3.44 None floats-esbmc-regression/rounding_functions_true-unreach-call.i unknown 6.35 3.41 None floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i unknown 6.74 3.55 None floats-esbmc-regression/trunc_nondet_true-unreach-call.i unknown 6.68 3.53 None floats-esbmc-regression/trunc_true-unreach-call.i unknown 6.50 3.43 None floats-esbmc-regression/Double_div_bad_false-unreach-call.i ERROR: EXCEPTION 39.29 35.38 None floats-esbmc-regression/Float_div_bad_false-unreach-call.i TIMEOUT (ERROR (143)) 304.81 298.67 None floats-esbmc-regression/digits_bad_for_false-unreach-call.i TIMEOUT (ERROR (143)) 305.68 298.75 None floats-esbmc-regression/digits_bad_while_false-unreach-call.i TIMEOUT (ERROR (143)) 306.32 299.51 None float-newlib/double_req_bl_0210_true-unreach-call.c TRUE 293.80 273.41 None float-newlib/double_req_bl_0220a_true-unreach-call.c TRUE 120.07 106.92 None float-newlib/double_req_bl_0220b_true-unreach-call.c TRUE 129.34 114.16 None float-newlib/double_req_bl_0240a_true-unreach-call.c TRUE 103.95 90.62 None float-newlib/double_req_bl_0240b_true-unreach-call.c TRUE 109.53 94.45 None float-newlib/double_req_bl_0250a_true-unreach-call.c TRUE 120.70 111.54 None float-newlib/double_req_bl_0250b_true-unreach-call.c TRUE 91.60 83.13 None float-newlib/double_req_bl_0260_true-unreach-call.c TRUE 94.10 85.27 None float-newlib/double_req_bl_0270a_true-unreach-call.c TRUE 121.60 111.50 None float-newlib/double_req_bl_0270b_true-unreach-call.c TRUE 124.16 114.02 None float-newlib/double_req_bl_0281_true-unreach-call.c TRUE 35.49 30.09 None float-newlib/double_req_bl_0310_true-unreach-call.c TIMEOUT (ERROR (143)) 302.02 284.37 None float-newlib/double_req_bl_0320_true-unreach-call.c TRUE 123.97 111.56 None float-newlib/double_req_bl_0330a_true-unreach-call.c TRUE 107.49 93.10 None float-newlib/double_req_bl_0330b_true-unreach-call.c TRUE 108.19 93.45 None float-newlib/double_req_bl_0460_true-unreach-call.c ERROR: EXCEPTION 94.85 88.31 None float-newlib/double_req_bl_0470_true-unreach-call.c TRUE 95.93 87.68 None float-newlib/double_req_bl_0480_true-unreach-call.c TRUE 113.28 103.48 None float-newlib/double_req_bl_0490a_true-unreach-call.c TRUE 104.73 96.16 None float-newlib/double_req_bl_0490b_true-unreach-call.c TRUE 90.59 82.53 None float-newlib/double_req_bl_0520_true-unreach-call.c TIMEOUT (ERROR (143)) 300.76 280.94 None float-newlib/double_req_bl_0530a_true-unreach-call.c TRUE 152.19 137.53 None float-newlib/double_req_bl_0530b_true-unreach-call.c TRUE 152.54 137.96 None float-newlib/double_req_bl_0550a_true-unreach-call.c TRUE 124.14 110.00 None float-newlib/double_req_bl_0550b_true-unreach-call.c TRUE 120.90 108.17 None float-newlib/double_req_bl_0610_true-unreach-call.c FALSE 117.07 109.71 None float-newlib/double_req_bl_0620a_true-unreach-call.c TRUE 231.69 221.64 None float-newlib/double_req_bl_0620b_true-unreach-call.c TRUE 200.77 191.49 None float-newlib/double_req_bl_0621a_true-unreach-call.c TIMEOUT (ERROR (143)) 302.99 293.50 None float-newlib/double_req_bl_0621b_true-unreach-call.c TRUE 296.22 285.09 None float-newlib/double_req_bl_0660a_true-unreach-call.c TRUE 202.21 187.38 None float-newlib/double_req_bl_0660b_true-unreach-call.c TRUE 242.26 226.66 None float-newlib/double_req_bl_0661a_true-unreach-call.c TIMEOUT (ERROR (143)) 305.61 290.00 None float-newlib/double_req_bl_0661b_true-unreach-call.c TIMEOUT (ERROR (143)) 305.18 289.82 None float-newlib/double_req_bl_0662a_true-unreach-call.c TIMEOUT (ERROR (143)) 302.07 282.23 None float-newlib/double_req_bl_0662b_true-unreach-call.c TIMEOUT (ERROR (143)) 303.46 285.13 None float-newlib/double_req_bl_0663a_true-unreach-call.c TRUE 266.70 251.27 None float-newlib/double_req_bl_0663b_true-unreach-call.c TIMEOUT (ERROR (143)) 302.14 287.60 None float-newlib/double_req_bl_0670_true-unreach-call.c TRUE 182.13 170.30 None float-newlib/double_req_bl_0680a_true-unreach-call.c TRUE 199.40 183.46 None float-newlib/double_req_bl_0680b_true-unreach-call.c TRUE 174.31 157.49 None float-newlib/double_req_bl_0681a_true-unreach-call.c TRUE 176.79 162.13 None float-newlib/double_req_bl_0681b_true-unreach-call.c TRUE 155.11 142.22 None float-newlib/double_req_bl_0682a_true-unreach-call.c TIMEOUT (ERROR (143)) 300.73 280.33 None float-newlib/double_req_bl_0682b_true-unreach-call.c TIMEOUT (ERROR (143)) 301.54 281.34 None float-newlib/double_req_bl_0683a_true-unreach-call.c TIMEOUT (ERROR (143)) 301.25 285.79 None float-newlib/double_req_bl_0683b_true-unreach-call.c TRUE 299.96 283.48 None float-newlib/double_req_bl_0684a_true-unreach-call.c TIMEOUT (ERROR (143)) 301.96 284.02 None float-newlib/double_req_bl_0684b_true-unreach-call.c TIMEOUT (ERROR (143)) 306.48 290.33 None float-newlib/double_req_bl_0685a_true-unreach-call.c TRUE 174.31 158.62 None float-newlib/double_req_bl_0685b_true-unreach-call.c TRUE 187.53 170.75 None float-newlib/double_req_bl_0686a_true-unreach-call.c TRUE 157.31 141.85 None float-newlib/double_req_bl_0686b_true-unreach-call.c TRUE 157.69 142.35 None float-newlib/double_req_bl_0710_true-unreach-call.c TIMEOUT (ERROR (143)) 303.16 296.95 None float-newlib/double_req_bl_0720_true-unreach-call.c TRUE 180.18 171.95 None float-newlib/double_req_bl_0730a_true-unreach-call.c TRUE 35.55 28.20 None float-newlib/double_req_bl_0730b_true-unreach-call.c TRUE 48.58 40.86 None float-newlib/double_req_bl_0730c_true-unreach-call.c TRUE 83.11 70.04 None float-newlib/double_req_bl_0740_true-unreach-call.c TRUE 44.00 37.41 None float-newlib/double_req_bl_0831_true-unreach-call.c FALSE 227.70 218.36 None float-newlib/double_req_bl_0832_true-unreach-call.c TRUE 180.21 170.87 None float-newlib/double_req_bl_0833_true-unreach-call.c TRUE 116.51 107.24 None float-newlib/double_req_bl_0834_true-unreach-call.c TRUE 137.96 127.86 None float-newlib/double_req_bl_0860_true-unreach-call.c TIMEOUT (ERROR (143)) 302.83 281.33 None float-newlib/double_req_bl_0864a_true-unreach-call.c TIMEOUT (ERROR (143)) 304.31 284.49 None float-newlib/double_req_bl_0864b_true-unreach-call.c TIMEOUT (ERROR (143)) 300.96 279.49 None float-newlib/double_req_bl_0864c_true-unreach-call.c TIMEOUT (ERROR (143)) 301.68 282.32 None float-newlib/double_req_bl_0870b_true-unreach-call.c TIMEOUT (ERROR (143)) 302.05 286.48 None float-newlib/double_req_bl_0871_true-unreach-call.c ERROR: EXCEPTION 299.86 283.87 None float-newlib/double_req_bl_0872a_true-unreach-call.c TRUE 225.67 206.17 None float-newlib/double_req_bl_0872b_true-unreach-call.c TRUE 179.92 163.14 None float-newlib/double_req_bl_0873a_true-unreach-call.c TIMEOUT (ERROR (143)) 301.16 282.80 None float-newlib/double_req_bl_0873b_true-unreach-call.c TIMEOUT (ERROR (143)) 303.15 285.65 None float-newlib/double_req_bl_0874_true-unreach-call.c TIMEOUT (ERROR (143)) 303.13 283.97 None float-newlib/double_req_bl_0875_true-unreach-call.c FALSE 143.00 129.53 None float-newlib/double_req_bl_0876_true-unreach-call.c TIMEOUT (ERROR (143)) 302.29 286.34 None float-newlib/double_req_bl_0877_true-unreach-call.c FALSE 138.00 124.48 None float-newlib/double_req_bl_0878_true-unreach-call.c ERROR: EXCEPTION 175.48 158.01 None float-newlib/double_req_bl_0879_true-unreach-call.c ERROR: EXCEPTION 194.55 174.69 None float-newlib/double_req_bl_0880_true-unreach-call.c TIMEOUT (ERROR (143)) 300.77 278.03 None float-newlib/double_req_bl_0881_true-unreach-call.c ERROR: EXCEPTION 228.53 212.63 None float-newlib/double_req_bl_0882_true-unreach-call.c TIMEOUT (ERROR (143)) 302.04 281.60 None float-newlib/double_req_bl_0883_true-unreach-call.c TIMEOUT (ERROR (143)) 303.22 286.98 None float-newlib/double_req_bl_0885a_true-unreach-call.c ERROR: EXCEPTION 137.82 126.16 None float-newlib/double_req_bl_0885b_true-unreach-call.c ERROR: EXCEPTION 166.99 156.36 None float-newlib/double_req_bl_0886a_true-unreach-call.c ERROR: EXCEPTION 121.09 109.36 None float-newlib/double_req_bl_0886b_true-unreach-call.c ERROR: EXCEPTION 110.45 99.73 None float-newlib/double_req_bl_0910a_true-unreach-call.c TIMEOUT (ERROR (143)) 302.70 293.35 None float-newlib/double_req_bl_0910b_true-unreach-call.c TRUE 115.69 107.51 None float-newlib/double_req_bl_0920a_true-unreach-call.c TRUE 125.40 116.90 None float-newlib/double_req_bl_0920b_true-unreach-call.c TRUE 110.15 102.48 None float-newlib/double_req_bl_0921_true-unreach-call.c TRUE 143.51 134.86 None float-newlib/double_req_bl_0930_true-unreach-call.c TRUE 185.43 175.25 None float-newlib/double_req_bl_0931_true-unreach-call.c TRUE 125.95 117.15 None float-newlib/double_req_bl_0960a_true-unreach-call.c TIMEOUT (ERROR (143)) 303.34 293.53 None float-newlib/double_req_bl_0960b_true-unreach-call.c TRUE 97.32 88.40 None float-newlib/double_req_bl_0970a_true-unreach-call.c TRUE 97.07 88.30 None float-newlib/double_req_bl_0970b_true-unreach-call.c TRUE 90.82 82.89 None float-newlib/double_req_bl_0971_true-unreach-call.c TRUE 98.81 89.40 None float-newlib/double_req_bl_0981_true-unreach-call.c TRUE 89.86 81.04 None float-newlib/double_req_bl_1010_true-unreach-call.c FALSE 9.51 5.23 None float-newlib/double_req_bl_1011a_true-unreach-call.c TRUE 29.68 22.04 None float-newlib/double_req_bl_1011b_true-unreach-call.c TRUE 30.70 22.80 None float-newlib/double_req_bl_1012a_true-unreach-call.c TRUE 26.67 19.60 None float-newlib/double_req_bl_1012b_true-unreach-call.c TRUE 26.55 19.62 None float-newlib/double_req_bl_1031_true-unreach-call.c TRUE 24.73 17.11 None float-newlib/double_req_bl_1032a_true-unreach-call.c TRUE 33.17 24.23 None float-newlib/double_req_bl_1032b_true-unreach-call.c TRUE 29.07 21.26 None float-newlib/double_req_bl_1032c_true-unreach-call.c TRUE 32.40 24.87 None float-newlib/double_req_bl_1032d_true-unreach-call.c TRUE 34.79 27.19 None float-newlib/double_req_bl_1051_true-unreach-call.c TRUE 36.60 29.26 None float-newlib/double_req_bl_1052a_true-unreach-call.c TRUE 41.20 34.03 None float-newlib/double_req_bl_1052b_true-unreach-call.c TRUE 40.72 33.55 None float-newlib/double_req_bl_1052c_true-unreach-call.c TRUE 90.65 80.18 None float-newlib/double_req_bl_1052d_true-unreach-call.c TRUE 48.08 39.06 None float-newlib/double_req_bl_1071_true-unreach-call.c TRUE 24.47 17.64 None float-newlib/double_req_bl_1072a_true-unreach-call.c TRUE 29.76 22.81 None float-newlib/double_req_bl_1072b_true-unreach-call.c TRUE 30.79 22.61 None float-newlib/double_req_bl_1072c_true-unreach-call.c TRUE 30.54 21.96 None float-newlib/double_req_bl_1072d_true-unreach-call.c TRUE 29.98 22.46 None float-newlib/double_req_bl_1091_true-unreach-call.c TRUE 38.27 30.71 None float-newlib/double_req_bl_1092a_true-unreach-call.c TRUE 42.53 34.44 None float-newlib/double_req_bl_1092b_true-unreach-call.c TRUE 52.68 43.56 None float-newlib/double_req_bl_1092c_true-unreach-call.c TRUE 42.02 34.51 None float-newlib/double_req_bl_1092d_true-unreach-call.c TRUE 45.02 37.55 None float-newlib/double_req_bl_1121a_true-unreach-call.c TRUE 54.24 46.93 None float-newlib/double_req_bl_1121b_true-unreach-call.c TRUE 48.25 41.34 None float-newlib/double_req_bl_1122a_true-unreach-call.c TRUE 61.85 55.27 None float-newlib/double_req_bl_1122b_true-unreach-call.c ERROR: EXCEPTION 161.88 156.42 None float-newlib/double_req_bl_1130a_true-unreach-call.c TRUE 69.59 58.75 None float-newlib/double_req_bl_1130b_true-unreach-call.c TIMEOUT (ERROR (143)) 304.61 296.36 None float-newlib/double_req_bl_1131a_true-unreach-call.c TRUE 58.39 48.38 None float-newlib/double_req_bl_1131b_true-unreach-call.c TRUE 81.50 70.60 None float-newlib/double_req_bl_1211a_true-unreach-call.c TRUE 58.06 48.18 None float-newlib/double_req_bl_1211b_true-unreach-call.c TRUE 60.99 51.70 None float-newlib/double_req_bl_1230_true-unreach-call.c TRUE 18.52 11.28 None float-newlib/double_req_bl_1231a_true-unreach-call.c ERROR: EXCEPTION 56.33 44.46 None float-newlib/double_req_bl_1231b_true-unreach-call.c TRUE 59.07 47.19 None float-newlib/double_req_bl_1232a_true-unreach-call.c TRUE 31.75 22.34 None float-newlib/double_req_bl_1250_true-unreach-call.c TRUE 19.08 11.96 None float-newlib/double_req_bl_1251a_true-unreach-call.c ERROR: EXCEPTION 56.80 45.34 None float-newlib/double_req_bl_1251b_true-unreach-call.c TRUE 57.91 45.96 None float-newlib/double_req_bl_1252a_true-unreach-call.c TRUE 31.19 22.62 None float-newlib/double_req_bl_1270a_true-unreach-call.c TIMEOUT (ERROR (143)) 301.78 288.76 None float-newlib/double_req_bl_1270b_true-unreach-call.c ERROR: EXCEPTION 194.53 182.65 None float-newlib/double_req_bl_1270c_true-unreach-call.c TIMEOUT (ERROR (143)) 306.43 293.88 None float-newlib/double_req_bl_1270d_true-unreach-call.c TIMEOUT (ERROR (143)) 304.26 291.41 None float-newlib/double_req_bl_1271a_true-unreach-call.c FALSE 153.71 144.59 None float-newlib/double_req_bl_1271b_true-unreach-call.c FALSE 23.59 16.79 None float-newlib/double_req_bl_1280_true-unreach-call.c ERROR: EXCEPTION 237.34 223.49 None float-newlib/double_req_bl_1300_true-unreach-call.c ERROR: EXCEPTION 71.45 64.37 None float-newlib/double_req_bl_1381_true-unreach-call.c FALSE 9.64 5.32 None float-newlib/float_req_bl_0210_true-unreach-call.c TIMEOUT (ERROR (143)) 302.16 277.87 None float-newlib/float_req_bl_0220a_true-unreach-call.c TRUE 86.03 71.58 None float-newlib/float_req_bl_0220b_true-unreach-call.c TRUE 86.47 72.14 None float-newlib/float_req_bl_0240a_true-unreach-call.c TRUE 79.79 64.46 None float-newlib/float_req_bl_0240b_true-unreach-call.c TRUE 78.04 62.53 None float-newlib/float_req_bl_0250a_true-unreach-call.c TRUE 70.89 62.90 None float-newlib/float_req_bl_0250b_true-unreach-call.c TRUE 67.14 59.48 None float-newlib/float_req_bl_0260_true-unreach-call.c TRUE 65.40 57.72 None float-newlib/float_req_bl_0270a_true-unreach-call.c TRUE 76.27 66.25 None float-newlib/float_req_bl_0270b_true-unreach-call.c TRUE 72.86 62.84 None float-newlib/float_req_bl_0281_true-unreach-call.c TRUE 74.56 66.50 None float-newlib/float_req_bl_0310_true-unreach-call.c TIMEOUT (ERROR (143)) 300.76 278.10 None float-newlib/float_req_bl_0320a_true-unreach-call.c TRUE 89.98 77.28 None float-newlib/float_req_bl_0320b_true-unreach-call.c TRUE 87.11 73.32 None float-newlib/float_req_bl_0330a_true-unreach-call.c TRUE 73.89 59.45 None float-newlib/float_req_bl_0330b_true-unreach-call.c TRUE 75.68 61.09 None float-newlib/float_req_bl_0460_true-unreach-call.c TRUE 81.82 74.10 None float-newlib/float_req_bl_0470_true-unreach-call.c TRUE 78.59 71.71 None float-newlib/float_req_bl_0480_true-unreach-call.c TRUE 63.74 56.23 None float-newlib/float_req_bl_0490a_true-unreach-call.c TRUE 78.24 71.09 None float-newlib/float_req_bl_0490b_true-unreach-call.c TRUE 79.35 71.95 None float-newlib/float_req_bl_0520_true-unreach-call.c TIMEOUT (ERROR (143)) 302.61 284.41 None float-newlib/float_req_bl_0530a_true-unreach-call.c TRUE 90.64 74.38 None float-newlib/float_req_bl_0530b_true-unreach-call.c TRUE 88.88 72.40 None float-newlib/float_req_bl_0550a_true-unreach-call.c TRUE 70.40 57.33 None float-newlib/float_req_bl_0550b_true-unreach-call.c TRUE 77.99 62.53 None float-newlib/float_req_bl_0610_true-unreach-call.c TRUE 89.57 82.16 None float-newlib/float_req_bl_0620a_true-unreach-call.c TRUE 95.62 88.20 None float-newlib/float_req_bl_0620b_true-unreach-call.c TRUE 104.38 96.07 None float-newlib/float_req_bl_0621a_true-unreach-call.c TRUE 183.95 175.09 None float-newlib/float_req_bl_0621b_true-unreach-call.c TRUE 173.64 164.42 None float-newlib/float_req_bl_0660a_true-unreach-call.c TRUE 67.75 55.06 None float-newlib/float_req_bl_0660b_true-unreach-call.c TRUE 63.48 53.01 None float-newlib/float_req_bl_0661a_true-unreach-call.c TRUE 143.19 131.68 None float-newlib/float_req_bl_0661b_true-unreach-call.c TRUE 136.70 123.95 None float-newlib/float_req_bl_0662a_true-unreach-call.c TRUE 69.56 59.77 None float-newlib/float_req_bl_0662b_true-unreach-call.c TRUE 58.52 49.01 None float-newlib/float_req_bl_0663a_true-unreach-call.c TRUE 59.08 48.89 None float-newlib/float_req_bl_0663b_true-unreach-call.c TRUE 59.68 49.72 None float-newlib/float_req_bl_0670_true-unreach-call.c TRUE 138.36 128.00 None float-newlib/float_req_bl_0680a_true-unreach-call.c TRUE 68.81 58.52 None float-newlib/float_req_bl_0680b_true-unreach-call.c TRUE 83.72 69.52 None float-newlib/float_req_bl_0681a_true-unreach-call.c TRUE 59.22 47.90 None float-newlib/float_req_bl_0681b_true-unreach-call.c TRUE 61.73 49.22 None float-newlib/float_req_bl_0682a_true-unreach-call.c TRUE 87.84 75.05 None float-newlib/float_req_bl_0682b_true-unreach-call.c TRUE 78.17 65.49 None float-newlib/float_req_bl_0683a_true-unreach-call.c TRUE 71.85 58.82 None float-newlib/float_req_bl_0683b_true-unreach-call.c TRUE 78.51 66.82 None float-newlib/float_req_bl_0684a_true-unreach-call.c TRUE 235.35 220.47 None float-newlib/float_req_bl_0684b_true-unreach-call.c TRUE 237.35 223.11 None float-newlib/float_req_bl_0685a_true-unreach-call.c TRUE 70.53 56.98 None float-newlib/float_req_bl_0685b_true-unreach-call.c TRUE 74.34 62.18 None float-newlib/float_req_bl_0686a_true-unreach-call.c TRUE 65.32 54.11 None float-newlib/float_req_bl_0686b_true-unreach-call.c TRUE 69.70 57.74 None float-newlib/float_req_bl_0710_true-unreach-call.c TIMEOUT (ERROR (143)) 303.84 297.16 None float-newlib/float_req_bl_0720_true-unreach-call.c TRUE 48.19 41.09 None float-newlib/float_req_bl_0730a_true-unreach-call.c TRUE 34.32 27.58 None float-newlib/float_req_bl_0730b_true-unreach-call.c TRUE 20.29 13.61 None float-newlib/float_req_bl_0730c_true-unreach-call.c TRUE 19.84 13.20 None float-newlib/float_req_bl_0740_true-unreach-call.c TRUE 31.10 24.66 None float-newlib/float_req_bl_0831_true-unreach-call.c TRUE 153.77 145.23 None float-newlib/float_req_bl_0832a_true-unreach-call.c TRUE 149.92 141.45 None float-newlib/float_req_bl_0832b_true-unreach-call.c TRUE 138.15 129.55 None float-newlib/float_req_bl_0833_true-unreach-call.c TRUE 85.60 77.26 None float-newlib/float_req_bl_0834_true-unreach-call.c TRUE 140.67 131.94 None float-newlib/float_req_bl_0860_true-unreach-call.c TIMEOUT (ERROR (143)) 302.63 274.43 None float-newlib/float_req_bl_0864a_true-unreach-call.c TIMEOUT (ERROR (143)) 300.81 275.66 None float-newlib/float_req_bl_0864b_true-unreach-call.c TIMEOUT (ERROR (143)) 300.75 275.55 None float-newlib/float_req_bl_0870b_true-unreach-call.c TRUE 87.58 74.28 None float-newlib/float_req_bl_0871_true-unreach-call.c ERROR: EXCEPTION 200.35 185.70 None float-newlib/float_req_bl_0872a_true-unreach-call.c TRUE 75.96 64.59 None float-newlib/float_req_bl_0872b_true-unreach-call.c TRUE 74.17 62.90 None float-newlib/float_req_bl_0873a_true-unreach-call.c TRUE 120.84 105.51 None float-newlib/float_req_bl_0873b_true-unreach-call.c TRUE 118.04 101.39 None float-newlib/float_req_bl_0874_true-unreach-call.c TRUE 174.89 155.04 None float-newlib/float_req_bl_0875_true-unreach-call.c TRUE 228.47 206.96 None float-newlib/float_req_bl_0876_true-unreach-call.c TRUE 198.70 178.67 None float-newlib/float_req_bl_0877_true-unreach-call.c TRUE 197.31 175.41 None float-newlib/float_req_bl_0878_true-unreach-call.c TIMEOUT (ERROR (143)) 300.84 280.26 None float-newlib/float_req_bl_0879_true-unreach-call.c ERROR: EXCEPTION 248.31 231.79 None float-newlib/float_req_bl_0880_true-unreach-call.c TIMEOUT (ERROR (143)) 301.30 282.74 None float-newlib/float_req_bl_0881_true-unreach-call.c TIMEOUT (ERROR (143)) 300.85 280.14 None float-newlib/float_req_bl_0882_true-unreach-call.c ERROR: EXCEPTION 101.87 91.07 None float-newlib/float_req_bl_0883_true-unreach-call.c TRUE 292.25 270.78 None float-newlib/float_req_bl_0885a_true-unreach-call.c ERROR: EXCEPTION 267.00 256.19 None float-newlib/float_req_bl_0885b_true-unreach-call.c ERROR: EXCEPTION 50.85 41.28 None float-newlib/float_req_bl_0886a_true-unreach-call.c ERROR: EXCEPTION 277.80 267.79 None float-newlib/float_req_bl_0886b_true-unreach-call.c ERROR: EXCEPTION 207.62 197.88 None float-newlib/float_req_bl_0910a_true-unreach-call.c TRUE 49.23 42.37 None float-newlib/float_req_bl_0910b_true-unreach-call.c TRUE 48.22 41.12 None float-newlib/float_req_bl_0920a_true-unreach-call.c TRUE 57.02 49.26 None float-newlib/float_req_bl_0920b_true-unreach-call.c TRUE 59.52 52.75 None float-newlib/float_req_bl_0921_true-unreach-call.c TRUE 72.05 64.52 None float-newlib/float_req_bl_0930_true-unreach-call.c TIMEOUT (ERROR (143)) 303.63 295.78 None float-newlib/float_req_bl_0931_true-unreach-call.c TRUE 58.00 50.81 None float-newlib/float_req_bl_0960a_true-unreach-call.c TRUE 44.14 36.43 None float-newlib/float_req_bl_0960b_true-unreach-call.c TRUE 44.06 36.59 None float-newlib/float_req_bl_0970a_true-unreach-call.c TRUE 39.99 32.91 None float-newlib/float_req_bl_0970b_true-unreach-call.c TRUE 42.75 35.41 None float-newlib/float_req_bl_0971_true-unreach-call.c TRUE 49.14 41.07 None float-newlib/float_req_bl_0981_true-unreach-call.c TRUE 47.28 39.57 None float-newlib/float_req_bl_1010_true-unreach-call.c TRUE 14.78 8.67 None float-newlib/float_req_bl_1011a_true-unreach-call.c TRUE 18.99 12.34 None float-newlib/float_req_bl_1011b_true-unreach-call.c TRUE 18.99 12.33 None float-newlib/float_req_bl_1012a_true-unreach-call.c TRUE 15.98 9.95 None float-newlib/float_req_bl_1012b_true-unreach-call.c TRUE 16.42 10.22 None float-newlib/float_req_bl_1031_true-unreach-call.c TRUE 16.29 10.16 None float-newlib/float_req_bl_1032a_true-unreach-call.c TRUE 24.93 17.18 None float-newlib/float_req_bl_1032b_true-unreach-call.c TRUE 23.29 15.74 None float-newlib/float_req_bl_1032c_true-unreach-call.c TRUE 18.47 11.98 None float-newlib/float_req_bl_1032d_true-unreach-call.c TRUE 17.47 11.23 None float-newlib/float_req_bl_1051_true-unreach-call.c TRUE 19.25 12.72 None float-newlib/float_req_bl_1052a_true-unreach-call.c TRUE 21.31 14.65 None float-newlib/float_req_bl_1052b_true-unreach-call.c TRUE 21.41 14.78 None float-newlib/float_req_bl_1052c_true-unreach-call.c TRUE 31.36 22.93 None float-newlib/float_req_bl_1052d_true-unreach-call.c TRUE 25.47 18.46 None float-newlib/float_req_bl_1071_true-unreach-call.c TRUE 14.73 8.51 None float-newlib/float_req_bl_1072a_true-unreach-call.c TRUE 16.64 10.16 None float-newlib/float_req_bl_1072b_true-unreach-call.c TRUE 16.54 10.35 None float-newlib/float_req_bl_1072c_true-unreach-call.c TRUE 21.36 14.32 None float-newlib/float_req_bl_1072d_true-unreach-call.c TRUE 21.39 14.35 None float-newlib/float_req_bl_1091_true-unreach-call.c TRUE 19.72 12.63 None float-newlib/float_req_bl_1092a_true-unreach-call.c TRUE 25.74 18.38 None float-newlib/float_req_bl_1092b_true-unreach-call.c TRUE 33.53 24.24 None float-newlib/float_req_bl_1092c_true-unreach-call.c TRUE 21.65 14.99 None float-newlib/float_req_bl_1092d_true-unreach-call.c TRUE 22.25 15.47 None float-newlib/float_req_bl_1121a_true-unreach-call.c TRUE 72.21 66.00 None float-newlib/float_req_bl_1121b_true-unreach-call.c TRUE 68.36 61.89 None float-newlib/float_req_bl_1122a_true-unreach-call.c TRUE 69.22 62.43 None float-newlib/float_req_bl_1122b_true-unreach-call.c TRUE 67.88 61.49 None float-newlib/float_req_bl_1130a_true-unreach-call.c TRUE 25.04 17.79 None float-newlib/float_req_bl_1130b_true-unreach-call.c TRUE 25.67 18.40 None float-newlib/float_req_bl_1131a_true-unreach-call.c TRUE 31.86 23.66 None float-newlib/float_req_bl_1131b_true-unreach-call.c TRUE 28.33 20.67 None float-newlib/float_req_bl_1211a_true-unreach-call.c TRUE 26.79 18.53 None float-newlib/float_req_bl_1211b_true-unreach-call.c TRUE 23.95 16.20 None float-newlib/float_req_bl_1230_true-unreach-call.c TRUE 16.10 9.55 None float-newlib/float_req_bl_1231_true-unreach-call.c TRUE 74.91 56.27 None float-newlib/float_req_bl_1232a_true-unreach-call.c TRUE 18.77 11.89 None float-newlib/float_req_bl_1250_true-unreach-call.c TRUE 17.89 10.52 None float-newlib/float_req_bl_1251_true-unreach-call.c TRUE 72.46 55.23 None float-newlib/float_req_bl_1252a_true-unreach-call.c TRUE 17.68 11.40 None float-newlib/float_req_bl_1270a_true-unreach-call.c TIMEOUT (ERROR (143)) 304.59 288.37 None float-newlib/float_req_bl_1270b_true-unreach-call.c TIMEOUT (ERROR (143)) 302.53 288.84 None float-newlib/float_req_bl_1270c_true-unreach-call.c TIMEOUT (ERROR (143)) 301.78 288.37 None float-newlib/float_req_bl_1270d_true-unreach-call.c TIMEOUT (ERROR (143)) 300.51 286.35 None float-newlib/float_req_bl_1271a_true-unreach-call.c TIMEOUT (ERROR (143)) 305.79 288.85 None float-newlib/float_req_bl_1271b_true-unreach-call.c TIMEOUT (ERROR (143)) 300.59 289.00 None float-newlib/float_req_bl_1280_true-unreach-call.c TIMEOUT (ERROR (143)) 303.22 291.56 None float-newlib/float_req_bl_1381_true-unreach-call.c TRUE 14.68 8.84 None float-newlib/double_req_bl_0870a_false-unreach-call.c FALSE 95.73 83.79 None float-newlib/double_req_bl_1210_false-unreach-call.c FALSE 35.29 27.37 None float-newlib/double_req_bl_1232b_false-unreach-call.c FALSE 29.42 20.78 None float-newlib/double_req_bl_1252b_false-unreach-call.c FALSE 31.96 23.33 None float-newlib/float_req_bl_0870a_false-unreach-call.c FALSE 50.25 40.51 None float-newlib/float_req_bl_1210_false-unreach-call.c FALSE 15.42 9.34 None float-newlib/float_req_bl_1232b_false-unreach-call.c FALSE 17.58 10.65 None float-newlib/float_req_bl_1252b_false-unreach-call.c FALSE 17.65 10.74 None ----------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 40218.53 4322.46 - Statistics: 483 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 483 Score: 0 (max: 927)