BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Reach32bit date: Fri, 2018-09-21 14:48:14 CEST tool: ULTIMATE Automizer 0.1.23-5eb3fea6 tool executable: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/Ultimate.py options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 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.Reach32bit Run set 1 of 1 with options '--full-output --architecture 32bit' and propertyfile '../../../trunk/examples/svcomp/ReachSafety.prp' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------- floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i false(unreach-call) 44.67 37.75 None floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i false(unreach-call) 42.45 35.44 None floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i false(unreach-call) 83.45 76.35 None floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i false(unreach-call) 65.43 58.30 None floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i false(unreach-call) 109.48 103.11 None floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i false(unreach-call) 63.45 57.21 None floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i false(unreach-call) 226.77 220.10 None floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i false(unreach-call) 121.56 114.38 None floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i TIMEOUT 900.32 893.48 None floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i false(unreach-call) 259.43 253.08 None floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i false(unreach-call) 496.21 489.22 None floats-cdfpl/sine_1_false-unreach-call_true-termination.i false(unreach-call) 273.17 266.87 None floats-cdfpl/sine_2_false-unreach-call_true-termination.i false(unreach-call) 51.85 45.56 None floats-cdfpl/sine_3_false-unreach-call_true-termination.i false(unreach-call) 30.47 24.21 None floats-cdfpl/square_1_false-unreach-call_true-termination.i false(unreach-call) 145.62 138.94 None floats-cdfpl/square_2_false-unreach-call_true-termination.i false(unreach-call) 54.73 48.22 None floats-cdfpl/square_3_false-unreach-call_true-termination.i false(unreach-call) 897.61 891.61 None floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i TIMEOUT 900.29 894.27 None floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i TIMEOUT 900.32 893.72 None floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i TIMEOUT 900.32 893.25 None floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i TIMEOUT 900.32 893.38 None floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i TIMEOUT 900.32 893.51 None floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i TIMEOUT 900.33 893.79 None floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i TIMEOUT 900.31 893.35 None floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i TIMEOUT 900.31 894.53 None floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i TIMEOUT 900.32 893.55 None floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i TIMEOUT 900.33 893.61 None floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i TIMEOUT 900.32 893.54 None floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i TIMEOUT 900.32 893.56 None floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i TIMEOUT 900.32 893.73 None floats-cdfpl/sine_4_true-unreach-call_true-termination.i TIMEOUT 900.31 894.20 None floats-cdfpl/sine_5_true-unreach-call_true-termination.i TIMEOUT 900.30 895.18 None floats-cdfpl/sine_6_true-unreach-call_true-termination.i TIMEOUT 900.30 894.39 None floats-cdfpl/sine_7_true-unreach-call_true-termination.i TIMEOUT 900.31 894.10 None floats-cdfpl/sine_8_true-unreach-call_true-termination.i TIMEOUT 900.32 893.62 None floats-cdfpl/square_4_true-unreach-call_true-termination.i TIMEOUT 900.30 894.14 None floats-cdfpl/square_5_true-unreach-call_true-termination.i TIMEOUT 900.30 894.65 None floats-cdfpl/square_6_true-unreach-call_true-termination.i TIMEOUT 900.29 894.31 None floats-cdfpl/square_7_true-unreach-call_true-termination.i true 283.39 276.42 None floats-cdfpl/square_8_true-unreach-call_true-termination.i true 111.80 104.68 None floats-cbmc-regression/float-div1_true-unreach-call.i true 45.56 35.28 None floats-cbmc-regression/float-flags-simp1_true-unreach-call.i true 49.59 32.77 None floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i true 15.25 8.62 None floats-cbmc-regression/float-no-simp2_true-unreach-call.i true 55.22 44.49 None floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i true 15.50 8.73 None floats-cbmc-regression/float-no-simp4_true-unreach-call.i true 41.00 27.90 None floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i true 17.85 10.07 None floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i true 15.84 8.84 None floats-cbmc-regression/float-no-simp8_true-unreach-call.i true 19.88 10.86 None floats-cbmc-regression/float-rounding1_true-unreach-call.i unknown 6.35 3.44 None floats-cbmc-regression/float-to-double1_true-unreach-call.i true 122.44 112.50 None floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i true 16.17 9.01 None floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i true 18.65 10.38 None floats-cbmc-regression/float11_true-unreach-call_true-termination.i true 17.15 9.66 None floats-cbmc-regression/float12_true-unreach-call_true-termination.i true 24.34 17.17 None floats-cbmc-regression/float13_true-unreach-call_true-termination.i true 17.32 9.78 None floats-cbmc-regression/float14_true-unreach-call.i true 18.86 10.39 None floats-cbmc-regression/float18_true-unreach-call.i unknown 6.41 3.50 None floats-cbmc-regression/float19_true-unreach-call.i true 20.33 12.35 None floats-cbmc-regression/float1_true-unreach-call_true-termination.i true 15.78 8.87 None floats-cbmc-regression/float20_true-unreach-call_true-termination.i true 24.79 16.88 None floats-cbmc-regression/float21_true-unreach-call.i true 110.40 97.87 None floats-cbmc-regression/float22_true-unreach-call_true-termination.i true 472.82 445.87 None floats-cbmc-regression/float2_true-unreach-call_true-termination.i true 16.48 9.61 None floats-cbmc-regression/float3_true-unreach-call_true-termination.i ERROR (7) 11.97 6.41 None floats-cbmc-regression/float4_true-unreach-call.i true 90.79 80.11 None floats-cbmc-regression/float5_true-unreach-call_true-termination.i true 32.19 25.33 None floats-cbmc-regression/float6_true-unreach-call_true-termination.i true 18.71 10.47 None floats-cbmc-regression/float8_true-unreach-call.i true 20.00 11.29 None floats-cbmc-regression/float_lib1_true-unreach-call.i ERROR (7) 16.95 9.41 None floats-cbmc-regression/float_lib2_true-unreach-call.i true 27.70 16.16 None float-benchs/cast_float_ptr_false-unreach-call_true-termination.c false(unreach-call) 17.27 9.64 None float-benchs/cast_union_loose_false-unreach-call_true-termination.c false(unreach-call) 17.02 9.71 None float-benchs/cast_union_tight_false-unreach-call_true-termination.c false(unreach-call) 16.65 9.49 None float-benchs/float_int_inv_square_false-unreach-call_true-termination.c false(unreach-call) 16.52 9.79 None float-benchs/inv_Newton_false-unreach-call.c TIMEOUT 900.37 889.00 None float-benchs/inv_square_false-unreach-call_true-termination.c false(unreach-call) 16.26 9.46 None float-benchs/nan_double_false-unreach-call_true-termination.c false(unreach-call) 7.54 4.22 None float-benchs/nan_float_false-unreach-call_true-termination.c false(unreach-call) 7.79 4.34 None float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c TIMEOUT 900.48 889.83 None float-benchs/sqrt_poly2_false-unreach-call.c false(unreach-call) 27.81 19.61 None float-benchs/Muller_Kahan_true-unreach-call_true-termination.c TIMEOUT 900.72 830.63 None float-benchs/Rump_double_true-unreach-call_true-termination.c true 30.07 22.60 None float-benchs/Rump_float_true-unreach-call_true-termination.c true 19.61 11.97 None float-benchs/addsub_double_exact_true-unreach-call_true-termination.c true 16.12 9.13 None float-benchs/addsub_float_exact_true-unreach-call_true-termination.c true 16.27 9.02 None float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c true 16.31 9.09 None float-benchs/arctan_Pade_true-unreach-call_true-termination.c ERROR (7) 343.54 336.18 None float-benchs/bary_diverge_true-unreach-call_true-termination.c TIMEOUT 900.76 884.61 None float-benchs/cast_float_union_true-unreach-call.c true 8.54 4.77 None float-benchs/cos_polynomial_true-unreach-call_true-termination.c TIMEOUT 900.33 893.95 None float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c TIMEOUT 900.81 764.33 None float-benchs/divmul_diverge_true-unreach-call_true-termination.c TIMEOUT 900.85 760.70 None float-benchs/drift_tenth_true-unreach-call_true-termination.c ERROR (7) 626.97 613.81 None float-benchs/exp_loop_true-unreach-call.c TIMEOUT 900.37 885.69 None float-benchs/feedback_diverge_true-unreach-call_true-termination.c TIMEOUT 900.93 765.29 None float-benchs/filter1_true-unreach-call_true-termination.c ERROR (7) 85.39 76.93 None float-benchs/filter2_alt_true-unreach-call.c TIMEOUT 900.35 889.45 None float-benchs/filter2_iterated_true-unreach-call.c ERROR (7) 63.34 56.25 None float-benchs/filter2_reinit_true-unreach-call_true-termination.c TIMEOUT 900.35 890.18 None float-benchs/filter2_set_true-unreach-call_true-termination.c TIMEOUT 900.39 891.24 None float-benchs/filter2_true-unreach-call_true-termination.c TIMEOUT 900.35 891.85 None float-benchs/filter_iir_true-unreach-call.c TIMEOUT 900.36 890.30 None float-benchs/float_double_true-unreach-call_true-termination.c true 16.07 9.25 None float-benchs/image_filter_true-unreach-call.c TIMEOUT 900.68 844.93 None float-benchs/interpolation2_true-unreach-call_true-termination.c TIMEOUT 900.32 891.61 None float-benchs/interpolation_true-unreach-call_true-termination.c TIMEOUT 900.36 888.46 None float-benchs/inv_Newton_true-unreach-call.c ERROR (7) 861.37 847.72 None float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c true 208.59 198.23 None float-benchs/inv_square_int_true-unreach-call_true-termination.c true 99.66 91.71 None float-benchs/inv_square_true-unreach-call_true-termination.c true 90.91 83.39 None float-benchs/loop_true-unreach-call.c ERROR (7) 158.43 148.73 None float-benchs/mea8000_true-unreach-call.c TIMEOUT 900.33 825.55 None float-benchs/nan_double_range_true-unreach-call_true-termination.c true 15.52 8.83 None float-benchs/nan_float_range_true-unreach-call_true-termination.c true 17.31 10.35 None float-benchs/rlim_exit_true-unreach-call_true-termination.c TIMEOUT 900.44 782.09 None float-benchs/rlim_invariant_true-unreach-call_true-termination.c TIMEOUT 900.33 887.96 None float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c TIMEOUT 900.34 891.51 None float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c TIMEOUT 900.33 892.20 None float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c TIMEOUT 900.38 890.01 None float-benchs/sin_interpolated_negation_true-unreach-call.c TIMEOUT 900.39 884.42 None float-benchs/sin_interpolated_smallrange_true-unreach-call.c TIMEOUT 900.39 884.28 None float-benchs/sqrt_Householder_constant_true-unreach-call.c ERROR (7) 295.59 285.87 None float-benchs/sqrt_Householder_interval_true-unreach-call.c ERROR (7) 180.38 171.55 None float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c ERROR (7) 203.54 193.62 None float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c ERROR (7) 214.78 204.79 None float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c ERROR (7) 210.05 200.24 None float-benchs/sqrt_poly_true-unreach-call_true-termination.c true 171.69 162.82 None float-benchs/water_pid_true-unreach-call_true-termination.c ERROR (7) 390.07 379.36 None float-benchs/zonotope_2_true-unreach-call_true-termination.c TIMEOUT 900.45 883.65 None float-benchs/zonotope_3_true-unreach-call_true-termination.c TIMEOUT 900.58 780.68 None float-benchs/zonotope_loose_true-unreach-call_true-termination.c true 173.31 164.63 None float-benchs/zonotope_tight_true-unreach-call_true-termination.c true 161.07 151.87 None floats-esbmc-regression/Double_div_true-unreach-call.i ERROR (7) 84.43 75.87 None floats-esbmc-regression/Float_div_true-unreach-call.i ERROR (7) 137.64 128.16 None floats-esbmc-regression/ceil_nondet_true-unreach-call.i unknown 13.84 7.31 None floats-esbmc-regression/ceil_true-unreach-call.i unknown 6.65 3.53 None floats-esbmc-regression/copysign_true-unreach-call.i unknown 6.61 3.58 None floats-esbmc-regression/digits_for_true-unreach-call.i TIMEOUT 900.52 886.22 None floats-esbmc-regression/digits_while_true-unreach-call.i TIMEOUT 900.44 887.47 None floats-esbmc-regression/fabs_true-unreach-call.i true 18.70 10.18 None floats-esbmc-regression/fdim_true-unreach-call.i unknown 6.69 3.57 None floats-esbmc-regression/floor_nondet_true-unreach-call.i unknown 13.04 7.04 None floats-esbmc-regression/floor_true-unreach-call.i unknown 6.72 3.60 None floats-esbmc-regression/fmax_true-unreach-call.i true 17.32 9.46 None floats-esbmc-regression/fmin_true-unreach-call.i true 18.53 9.99 None floats-esbmc-regression/fmod2_true-unreach-call.i unknown 13.15 7.06 None floats-esbmc-regression/fmod3_true-unreach-call.i unknown 13.41 7.21 None floats-esbmc-regression/fmod_true-unreach-call.i unknown 6.65 3.57 None floats-esbmc-regression/isgreater_true-unreach-call.i true 18.38 9.89 None floats-esbmc-regression/isgreaterequal_true-unreach-call.i true 17.11 9.41 None floats-esbmc-regression/isless_true-unreach-call.i true 18.00 9.81 None floats-esbmc-regression/islessequal_true-unreach-call.i true 17.29 9.40 None floats-esbmc-regression/islessgreater_true-unreach-call.i true 18.20 9.83 None floats-esbmc-regression/isunordered_true-unreach-call.i true 18.03 9.77 None floats-esbmc-regression/lrint_true-unreach-call.i unknown 6.64 3.52 None floats-esbmc-regression/modf_true-unreach-call.i unknown 6.65 3.57 None floats-esbmc-regression/nan_true-unreach-call.i true 20.08 10.82 None floats-esbmc-regression/nearbyint2_true-unreach-call.i unknown 6.35 3.41 None floats-esbmc-regression/nearbyint_true-unreach-call.i unknown 6.76 3.62 None floats-esbmc-regression/remainder_true-unreach-call.i unknown 6.80 3.61 None floats-esbmc-regression/rint2_true-unreach-call.i unknown 6.56 3.54 None floats-esbmc-regression/rint_true-unreach-call.i unknown 6.88 3.66 None floats-esbmc-regression/round_nondet_true-unreach-call.i unknown 13.22 7.08 None floats-esbmc-regression/round_true-unreach-call.i unknown 6.50 3.52 None floats-esbmc-regression/rounding_functions_true-unreach-call.i unknown 6.63 3.55 None floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i unknown 13.29 7.11 None floats-esbmc-regression/trunc_nondet_true-unreach-call.i unknown 13.41 7.21 None floats-esbmc-regression/trunc_true-unreach-call.i unknown 6.19 3.40 None floats-esbmc-regression/Double_div_bad_false-unreach-call.i ERROR (7) 110.52 102.04 None floats-esbmc-regression/Float_div_bad_false-unreach-call.i TIMEOUT 900.61 887.59 None floats-esbmc-regression/digits_bad_for_false-unreach-call.i TIMEOUT 900.45 887.09 None floats-esbmc-regression/digits_bad_while_false-unreach-call.i TIMEOUT 900.43 887.47 None float-newlib/double_req_bl_0210_true-unreach-call.c true 318.67 287.54 None float-newlib/double_req_bl_0220a_true-unreach-call.c true 142.70 118.66 None float-newlib/double_req_bl_0220b_true-unreach-call.c true 144.21 121.06 None float-newlib/double_req_bl_0240a_true-unreach-call.c true 126.85 102.57 None float-newlib/double_req_bl_0240b_true-unreach-call.c true 132.55 109.31 None float-newlib/double_req_bl_0250a_true-unreach-call.c true 266.59 252.77 None float-newlib/double_req_bl_0250b_true-unreach-call.c true 100.30 86.30 None float-newlib/double_req_bl_0260_true-unreach-call.c true 173.54 159.05 None float-newlib/double_req_bl_0270a_true-unreach-call.c ERROR (7) 132.32 118.53 None float-newlib/double_req_bl_0270b_true-unreach-call.c ERROR (7) 135.27 118.90 None float-newlib/double_req_bl_0281_true-unreach-call.c true 47.15 36.90 None float-newlib/double_req_bl_0310_true-unreach-call.c true 494.49 461.75 None float-newlib/double_req_bl_0320_true-unreach-call.c ERROR (7) 146.80 122.53 None float-newlib/double_req_bl_0330a_true-unreach-call.c true 127.39 102.64 None float-newlib/double_req_bl_0330b_true-unreach-call.c true 130.04 105.33 None float-newlib/double_req_bl_0460_true-unreach-call.c true 137.68 124.23 None float-newlib/double_req_bl_0470_true-unreach-call.c true 164.92 152.78 None float-newlib/double_req_bl_0480_true-unreach-call.c true 121.03 104.84 None float-newlib/double_req_bl_0490a_true-unreach-call.c true 231.00 216.75 None float-newlib/double_req_bl_0490b_true-unreach-call.c true 104.31 91.21 None float-newlib/double_req_bl_0520_true-unreach-call.c true 395.10 362.12 None float-newlib/double_req_bl_0530a_true-unreach-call.c true 166.36 142.81 None float-newlib/double_req_bl_0530b_true-unreach-call.c true 205.76 181.25 None float-newlib/double_req_bl_0550a_true-unreach-call.c true 142.85 119.99 None float-newlib/double_req_bl_0550b_true-unreach-call.c true 145.52 122.27 None float-newlib/double_req_bl_0610_true-unreach-call.c false(unreach-call) 129.82 118.08 None float-newlib/double_req_bl_0620a_true-unreach-call.c ERROR (7) 235.68 221.10 None float-newlib/double_req_bl_0620b_true-unreach-call.c ERROR (7) 199.41 185.71 None float-newlib/double_req_bl_0621a_true-unreach-call.c ERROR (7) 347.66 333.78 None float-newlib/double_req_bl_0621b_true-unreach-call.c ERROR (7) 319.49 304.02 None float-newlib/double_req_bl_0660a_true-unreach-call.c ERROR (7) 209.15 187.97 None float-newlib/double_req_bl_0660b_true-unreach-call.c ERROR (7) 223.72 203.77 None float-newlib/double_req_bl_0661a_true-unreach-call.c ERROR (7) 441.12 417.92 None float-newlib/double_req_bl_0661b_true-unreach-call.c ERROR (7) 405.94 382.81 None float-newlib/double_req_bl_0662a_true-unreach-call.c ERROR (7) 381.00 355.69 None float-newlib/double_req_bl_0662b_true-unreach-call.c ERROR (7) 381.87 358.53 None float-newlib/double_req_bl_0663a_true-unreach-call.c ERROR (7) 257.58 236.65 None float-newlib/double_req_bl_0663b_true-unreach-call.c TIMEOUT 900.48 877.95 None float-newlib/double_req_bl_0670_true-unreach-call.c true 123.96 106.63 None float-newlib/double_req_bl_0680a_true-unreach-call.c ERROR (7) 196.69 176.78 None float-newlib/double_req_bl_0680b_true-unreach-call.c ERROR (7) 175.26 156.07 None float-newlib/double_req_bl_0681a_true-unreach-call.c true 182.46 162.18 None float-newlib/double_req_bl_0681b_true-unreach-call.c true 145.99 128.37 None float-newlib/double_req_bl_0682a_true-unreach-call.c ERROR (7) 363.35 335.82 None float-newlib/double_req_bl_0682b_true-unreach-call.c ERROR (7) 371.97 345.91 None float-newlib/double_req_bl_0683a_true-unreach-call.c true 341.42 317.58 None float-newlib/double_req_bl_0683b_true-unreach-call.c true 314.09 290.30 None float-newlib/double_req_bl_0684a_true-unreach-call.c ERROR (7) 615.88 587.86 None float-newlib/double_req_bl_0684b_true-unreach-call.c ERROR (7) 523.13 498.72 None float-newlib/double_req_bl_0685a_true-unreach-call.c ERROR (7) 164.73 142.87 None float-newlib/double_req_bl_0685b_true-unreach-call.c ERROR (7) 198.99 176.94 None float-newlib/double_req_bl_0686a_true-unreach-call.c ERROR (7) 175.25 155.63 None float-newlib/double_req_bl_0686b_true-unreach-call.c ERROR (7) 176.59 156.29 None float-newlib/double_req_bl_0710_true-unreach-call.c ERROR (7) 27.00 17.97 None float-newlib/double_req_bl_0720_true-unreach-call.c true 118.60 106.48 None float-newlib/double_req_bl_0730a_true-unreach-call.c true 54.76 42.77 None float-newlib/double_req_bl_0730b_true-unreach-call.c true 61.07 49.15 None float-newlib/double_req_bl_0730c_true-unreach-call.c true 91.06 74.19 None float-newlib/double_req_bl_0740_true-unreach-call.c true 81.68 70.71 None float-newlib/double_req_bl_0831_true-unreach-call.c false(unreach-call) 173.21 159.81 None float-newlib/double_req_bl_0832_true-unreach-call.c ERROR (7) 195.74 183.22 None float-newlib/double_req_bl_0833_true-unreach-call.c true 137.55 122.84 None float-newlib/double_req_bl_0834_true-unreach-call.c true 140.25 124.97 None float-newlib/double_req_bl_0860_true-unreach-call.c TIMEOUT 900.57 865.95 None float-newlib/double_req_bl_0864a_true-unreach-call.c ERROR (7) 289.32 263.56 None float-newlib/double_req_bl_0864b_true-unreach-call.c ERROR (7) 290.14 265.97 None float-newlib/double_req_bl_0864c_true-unreach-call.c TIMEOUT 900.41 879.81 None float-newlib/double_req_bl_0870b_true-unreach-call.c true 293.53 266.37 None float-newlib/double_req_bl_0871_true-unreach-call.c ERROR (7) 411.83 391.95 None float-newlib/double_req_bl_0872a_true-unreach-call.c ERROR (7) 298.87 275.25 None float-newlib/double_req_bl_0872b_true-unreach-call.c ERROR (7) 237.83 214.65 None float-newlib/double_req_bl_0873a_true-unreach-call.c ERROR (7) 372.34 347.24 None float-newlib/double_req_bl_0873b_true-unreach-call.c ERROR (7) 420.27 393.49 None float-newlib/double_req_bl_0874_true-unreach-call.c true 475.81 444.23 None float-newlib/double_req_bl_0875_true-unreach-call.c false(unreach-call) 144.62 127.78 None float-newlib/double_req_bl_0876_true-unreach-call.c true 487.40 449.49 None float-newlib/double_req_bl_0877_true-unreach-call.c false(unreach-call) 140.68 123.26 None float-newlib/double_req_bl_0878_true-unreach-call.c ERROR (7) 250.08 225.53 None float-newlib/double_req_bl_0879_true-unreach-call.c TIMEOUT 900.58 863.61 None float-newlib/double_req_bl_0880_true-unreach-call.c TIMEOUT 900.48 866.95 None float-newlib/double_req_bl_0881_true-unreach-call.c ERROR (7) 200.07 181.19 None float-newlib/double_req_bl_0882_true-unreach-call.c TIMEOUT 900.42 882.27 None float-newlib/double_req_bl_0883_true-unreach-call.c true 859.59 824.67 None float-newlib/double_req_bl_0885a_true-unreach-call.c ERROR (7) 155.65 139.83 None float-newlib/double_req_bl_0885b_true-unreach-call.c TIMEOUT 900.73 860.82 None float-newlib/double_req_bl_0886a_true-unreach-call.c TIMEOUT 900.59 864.60 None float-newlib/double_req_bl_0886b_true-unreach-call.c ERROR (7) 156.70 140.08 None float-newlib/double_req_bl_0910a_true-unreach-call.c ERROR (7) 475.96 460.09 None float-newlib/double_req_bl_0910b_true-unreach-call.c ERROR (7) 126.56 113.14 None float-newlib/double_req_bl_0920a_true-unreach-call.c true 134.91 121.29 None float-newlib/double_req_bl_0920b_true-unreach-call.c true 125.14 112.75 None float-newlib/double_req_bl_0921_true-unreach-call.c true 156.81 142.62 None float-newlib/double_req_bl_0930_true-unreach-call.c true 198.20 182.01 None float-newlib/double_req_bl_0931_true-unreach-call.c true 126.43 113.38 None float-newlib/double_req_bl_0960a_true-unreach-call.c TIMEOUT 900.49 881.78 None float-newlib/double_req_bl_0960b_true-unreach-call.c ERROR (7) 120.84 103.92 None float-newlib/double_req_bl_0970a_true-unreach-call.c true 108.95 94.64 None float-newlib/double_req_bl_0970b_true-unreach-call.c true 92.77 79.29 None float-newlib/double_req_bl_0971_true-unreach-call.c true 117.77 100.91 None float-newlib/double_req_bl_0981_true-unreach-call.c true 112.24 96.91 None float-newlib/double_req_bl_1010_true-unreach-call.c false(unreach-call) 18.47 10.24 None float-newlib/double_req_bl_1011a_true-unreach-call.c true 38.21 26.54 None float-newlib/double_req_bl_1011b_true-unreach-call.c true 39.65 27.68 None float-newlib/double_req_bl_1012a_true-unreach-call.c true 36.81 25.57 None float-newlib/double_req_bl_1012b_true-unreach-call.c true 35.98 24.86 None float-newlib/double_req_bl_1031_true-unreach-call.c true 33.44 22.13 None float-newlib/double_req_bl_1032a_true-unreach-call.c true 41.42 28.78 None float-newlib/double_req_bl_1032b_true-unreach-call.c true 41.27 27.89 None float-newlib/double_req_bl_1032c_true-unreach-call.c true 41.27 29.18 None float-newlib/double_req_bl_1032d_true-unreach-call.c true 43.84 32.41 None float-newlib/double_req_bl_1051_true-unreach-call.c true 46.93 34.94 None float-newlib/double_req_bl_1052a_true-unreach-call.c true 52.47 40.64 None float-newlib/double_req_bl_1052b_true-unreach-call.c true 51.59 39.71 None float-newlib/double_req_bl_1052c_true-unreach-call.c ERROR (7) 99.27 83.65 None float-newlib/double_req_bl_1052d_true-unreach-call.c ERROR (7) 55.97 43.10 None float-newlib/double_req_bl_1071_true-unreach-call.c true 35.20 23.59 None float-newlib/double_req_bl_1072a_true-unreach-call.c true 40.50 28.62 None float-newlib/double_req_bl_1072b_true-unreach-call.c true 40.04 27.69 None float-newlib/double_req_bl_1072c_true-unreach-call.c true 42.56 28.87 None float-newlib/double_req_bl_1072d_true-unreach-call.c true 38.62 27.27 None float-newlib/double_req_bl_1091_true-unreach-call.c true 47.89 35.86 None float-newlib/double_req_bl_1092a_true-unreach-call.c ERROR (7) 53.16 40.30 None float-newlib/double_req_bl_1092b_true-unreach-call.c ERROR (7) 63.60 49.22 None float-newlib/double_req_bl_1092c_true-unreach-call.c true 53.33 40.84 None float-newlib/double_req_bl_1092d_true-unreach-call.c true 56.42 44.52 None float-newlib/double_req_bl_1121a_true-unreach-call.c true 85.70 72.62 None float-newlib/double_req_bl_1121b_true-unreach-call.c true 58.65 46.05 None float-newlib/double_req_bl_1122a_true-unreach-call.c true 121.90 109.57 None float-newlib/double_req_bl_1122b_true-unreach-call.c ERROR (7) 276.04 265.97 None float-newlib/double_req_bl_1130a_true-unreach-call.c true 85.77 70.05 None float-newlib/double_req_bl_1130b_true-unreach-call.c TIMEOUT 900.51 881.65 None float-newlib/double_req_bl_1131a_true-unreach-call.c true 74.28 58.14 None float-newlib/double_req_bl_1131b_true-unreach-call.c true 68.22 52.61 None float-newlib/double_req_bl_1211a_true-unreach-call.c true 76.59 60.57 None float-newlib/double_req_bl_1211b_true-unreach-call.c true 73.87 57.57 None float-newlib/double_req_bl_1230_true-unreach-call.c true 29.52 17.30 None float-newlib/double_req_bl_1231a_true-unreach-call.c ERROR (7) 66.17 49.98 None float-newlib/double_req_bl_1231b_true-unreach-call.c true 65.76 49.11 None float-newlib/double_req_bl_1232a_true-unreach-call.c true 41.72 27.60 None float-newlib/double_req_bl_1250_true-unreach-call.c true 31.36 18.75 None float-newlib/double_req_bl_1251a_true-unreach-call.c ERROR (7) 69.09 52.44 None float-newlib/double_req_bl_1251b_true-unreach-call.c true 74.40 57.42 None float-newlib/double_req_bl_1252a_true-unreach-call.c true 45.03 30.28 None float-newlib/double_req_bl_1270a_true-unreach-call.c false(unreach-call) 632.95 608.59 None float-newlib/double_req_bl_1270b_true-unreach-call.c false(unreach-call) 604.73 580.13 None float-newlib/double_req_bl_1270c_true-unreach-call.c TIMEOUT 900.46 874.67 None float-newlib/double_req_bl_1270d_true-unreach-call.c TIMEOUT 900.53 872.67 None float-newlib/double_req_bl_1271a_true-unreach-call.c false(unreach-call) 168.05 151.63 None float-newlib/double_req_bl_1271b_true-unreach-call.c false(unreach-call) 37.56 24.31 None float-newlib/double_req_bl_1280_true-unreach-call.c ERROR (7) 378.84 359.99 None float-newlib/double_req_bl_1300_true-unreach-call.c ERROR (7) 103.62 92.20 None float-newlib/double_req_bl_1381_true-unreach-call.c false(unreach-call) 19.19 10.65 None float-newlib/float_req_bl_0210_true-unreach-call.c TIMEOUT 900.16 841.40 None float-newlib/float_req_bl_0220a_true-unreach-call.c true 116.18 91.29 None float-newlib/float_req_bl_0220b_true-unreach-call.c true 117.18 91.88 None float-newlib/float_req_bl_0240a_true-unreach-call.c true 109.99 82.68 None float-newlib/float_req_bl_0240b_true-unreach-call.c true 102.39 76.34 None float-newlib/float_req_bl_0250a_true-unreach-call.c true 77.62 64.56 None float-newlib/float_req_bl_0250b_true-unreach-call.c true 79.40 66.16 None float-newlib/float_req_bl_0260_true-unreach-call.c true 79.93 67.47 None float-newlib/float_req_bl_0270a_true-unreach-call.c ERROR (7) 80.64 66.66 None float-newlib/float_req_bl_0270b_true-unreach-call.c ERROR (7) 82.85 67.69 None float-newlib/float_req_bl_0281_true-unreach-call.c true 85.70 73.09 None float-newlib/float_req_bl_0310_true-unreach-call.c true 829.34 768.16 None float-newlib/float_req_bl_0320a_true-unreach-call.c ERROR (7) 115.66 92.96 None float-newlib/float_req_bl_0320b_true-unreach-call.c ERROR (7) 112.72 90.44 None float-newlib/float_req_bl_0330a_true-unreach-call.c true 95.67 71.57 None float-newlib/float_req_bl_0330b_true-unreach-call.c true 102.85 78.05 None float-newlib/float_req_bl_0460_true-unreach-call.c true 90.95 78.33 None float-newlib/float_req_bl_0470_true-unreach-call.c true 89.69 76.83 None float-newlib/float_req_bl_0480_true-unreach-call.c true 75.55 62.18 None float-newlib/float_req_bl_0490a_true-unreach-call.c true 92.88 79.58 None float-newlib/float_req_bl_0490b_true-unreach-call.c true 92.75 79.44 None float-newlib/float_req_bl_0520_true-unreach-call.c TIMEOUT 901.04 853.28 None float-newlib/float_req_bl_0530a_true-unreach-call.c true 121.74 95.19 None float-newlib/float_req_bl_0530b_true-unreach-call.c true 117.08 92.13 None float-newlib/float_req_bl_0550a_true-unreach-call.c true 95.25 72.06 None float-newlib/float_req_bl_0550b_true-unreach-call.c true 105.07 79.11 None float-newlib/float_req_bl_0610_true-unreach-call.c true 100.96 88.52 None float-newlib/float_req_bl_0620a_true-unreach-call.c ERROR (7) 107.76 95.14 None float-newlib/float_req_bl_0620b_true-unreach-call.c ERROR (7) 115.45 103.28 None float-newlib/float_req_bl_0621a_true-unreach-call.c ERROR (7) 178.90 164.61 None float-newlib/float_req_bl_0621b_true-unreach-call.c ERROR (7) 160.53 146.93 None float-newlib/float_req_bl_0660a_true-unreach-call.c ERROR (7) 78.34 62.42 None float-newlib/float_req_bl_0660b_true-unreach-call.c ERROR (7) 75.80 60.17 None float-newlib/float_req_bl_0661a_true-unreach-call.c ERROR (7) 166.67 149.88 None float-newlib/float_req_bl_0661b_true-unreach-call.c ERROR (7) 175.43 157.39 None float-newlib/float_req_bl_0662a_true-unreach-call.c ERROR (7) 74.52 59.51 None float-newlib/float_req_bl_0662b_true-unreach-call.c ERROR (7) 72.06 56.71 None float-newlib/float_req_bl_0663a_true-unreach-call.c ERROR (7) 78.93 64.43 None float-newlib/float_req_bl_0663b_true-unreach-call.c ERROR (7) 74.33 59.41 None float-newlib/float_req_bl_0670_true-unreach-call.c true 124.69 109.18 None float-newlib/float_req_bl_0680a_true-unreach-call.c ERROR (7) 73.71 58.67 None float-newlib/float_req_bl_0680b_true-unreach-call.c ERROR (7) 87.07 70.09 None float-newlib/float_req_bl_0681a_true-unreach-call.c true 69.49 52.96 None float-newlib/float_req_bl_0681b_true-unreach-call.c true 66.44 50.51 None float-newlib/float_req_bl_0682a_true-unreach-call.c ERROR (7) 97.94 79.51 None float-newlib/float_req_bl_0682b_true-unreach-call.c ERROR (7) 94.04 77.47 None float-newlib/float_req_bl_0683a_true-unreach-call.c true 89.99 72.58 None float-newlib/float_req_bl_0683b_true-unreach-call.c true 90.89 73.51 None float-newlib/float_req_bl_0684a_true-unreach-call.c ERROR (7) 250.55 232.11 None float-newlib/float_req_bl_0684b_true-unreach-call.c ERROR (7) 262.29 242.73 None float-newlib/float_req_bl_0685a_true-unreach-call.c ERROR (7) 78.01 62.33 None float-newlib/float_req_bl_0685b_true-unreach-call.c ERROR (7) 91.37 74.65 None float-newlib/float_req_bl_0686a_true-unreach-call.c ERROR (7) 75.85 60.57 None float-newlib/float_req_bl_0686b_true-unreach-call.c ERROR (7) 76.18 60.30 None float-newlib/float_req_bl_0710_true-unreach-call.c true 442.76 430.40 None float-newlib/float_req_bl_0720_true-unreach-call.c true 60.04 48.14 None float-newlib/float_req_bl_0730a_true-unreach-call.c true 41.79 30.87 None float-newlib/float_req_bl_0730b_true-unreach-call.c true 30.28 19.06 None float-newlib/float_req_bl_0730c_true-unreach-call.c true 29.75 18.79 None float-newlib/float_req_bl_0740_true-unreach-call.c true 39.58 29.48 None float-newlib/float_req_bl_0831_true-unreach-call.c true 221.86 208.40 None float-newlib/float_req_bl_0832a_true-unreach-call.c ERROR (7) 152.11 138.74 None float-newlib/float_req_bl_0832b_true-unreach-call.c ERROR (7) 149.35 136.35 None float-newlib/float_req_bl_0833_true-unreach-call.c true 98.50 85.75 None float-newlib/float_req_bl_0834_true-unreach-call.c true 133.42 120.76 None float-newlib/float_req_bl_0860_true-unreach-call.c ERROR (7) 630.68 594.83 None float-newlib/float_req_bl_0864a_true-unreach-call.c TIMEOUT 900.59 858.06 None float-newlib/float_req_bl_0864b_true-unreach-call.c ERROR (7) 804.01 764.28 None float-newlib/float_req_bl_0870b_true-unreach-call.c true 96.15 79.23 None float-newlib/float_req_bl_0871_true-unreach-call.c ERROR (7) 220.27 203.78 None float-newlib/float_req_bl_0872a_true-unreach-call.c ERROR (7) 78.43 64.24 None float-newlib/float_req_bl_0872b_true-unreach-call.c ERROR (7) 79.43 64.71 None float-newlib/float_req_bl_0873a_true-unreach-call.c ERROR (7) 120.77 102.64 None float-newlib/float_req_bl_0873b_true-unreach-call.c ERROR (7) 128.87 110.64 None float-newlib/float_req_bl_0874_true-unreach-call.c true 187.67 164.15 None float-newlib/float_req_bl_0875_true-unreach-call.c true 236.98 209.36 None float-newlib/float_req_bl_0876_true-unreach-call.c true 200.42 178.12 None float-newlib/float_req_bl_0877_true-unreach-call.c true 200.63 176.53 None float-newlib/float_req_bl_0878_true-unreach-call.c ERROR (7) 306.52 287.15 None float-newlib/float_req_bl_0879_true-unreach-call.c ERROR (7) 218.43 199.18 None float-newlib/float_req_bl_0880_true-unreach-call.c true 721.74 679.58 None float-newlib/float_req_bl_0881_true-unreach-call.c true 648.80 606.28 None float-newlib/float_req_bl_0882_true-unreach-call.c ERROR (7) 257.65 238.25 None float-newlib/float_req_bl_0883_true-unreach-call.c true 305.32 277.90 None float-newlib/float_req_bl_0885a_true-unreach-call.c ERROR (7) 169.80 157.24 None float-newlib/float_req_bl_0885b_true-unreach-call.c ERROR (7) 393.50 380.78 None float-newlib/float_req_bl_0886a_true-unreach-call.c ERROR (7) 283.99 270.42 None float-newlib/float_req_bl_0886b_true-unreach-call.c ERROR (7) 287.77 275.35 None float-newlib/float_req_bl_0910a_true-unreach-call.c ERROR (7) 59.18 47.30 None float-newlib/float_req_bl_0910b_true-unreach-call.c ERROR (7) 56.01 44.93 None float-newlib/float_req_bl_0920a_true-unreach-call.c true 70.60 58.03 None float-newlib/float_req_bl_0920b_true-unreach-call.c true 66.20 54.71 None float-newlib/float_req_bl_0921_true-unreach-call.c true 86.04 74.22 None float-newlib/float_req_bl_0930_true-unreach-call.c ERROR (7) 382.63 367.94 None float-newlib/float_req_bl_0931_true-unreach-call.c true 66.74 55.12 None float-newlib/float_req_bl_0960a_true-unreach-call.c ERROR (7) 53.48 41.72 None float-newlib/float_req_bl_0960b_true-unreach-call.c ERROR (7) 51.50 39.12 None float-newlib/float_req_bl_0970a_true-unreach-call.c true 53.49 41.16 None float-newlib/float_req_bl_0970b_true-unreach-call.c true 52.94 41.02 None float-newlib/float_req_bl_0971_true-unreach-call.c true 62.11 49.30 None float-newlib/float_req_bl_0981_true-unreach-call.c true 58.49 46.05 None float-newlib/float_req_bl_1010_true-unreach-call.c true 22.66 13.31 None float-newlib/float_req_bl_1011a_true-unreach-call.c true 27.74 17.18 None float-newlib/float_req_bl_1011b_true-unreach-call.c true 28.40 17.41 None float-newlib/float_req_bl_1012a_true-unreach-call.c true 25.86 15.42 None float-newlib/float_req_bl_1012b_true-unreach-call.c true 24.74 14.92 None float-newlib/float_req_bl_1031_true-unreach-call.c true 25.86 15.43 None float-newlib/float_req_bl_1032a_true-unreach-call.c true 35.89 22.88 None float-newlib/float_req_bl_1032b_true-unreach-call.c true 32.03 20.26 None float-newlib/float_req_bl_1032c_true-unreach-call.c true 28.50 17.37 None float-newlib/float_req_bl_1032d_true-unreach-call.c true 27.81 16.98 None float-newlib/float_req_bl_1051_true-unreach-call.c true 28.77 17.94 None float-newlib/float_req_bl_1052a_true-unreach-call.c true 30.95 20.03 None float-newlib/float_req_bl_1052b_true-unreach-call.c true 31.51 20.10 None float-newlib/float_req_bl_1052c_true-unreach-call.c ERROR (7) 42.58 29.25 None float-newlib/float_req_bl_1052d_true-unreach-call.c ERROR (7) 34.40 23.42 None float-newlib/float_req_bl_1071_true-unreach-call.c true 23.78 13.55 None float-newlib/float_req_bl_1072a_true-unreach-call.c true 25.34 15.21 None float-newlib/float_req_bl_1072b_true-unreach-call.c true 25.94 15.54 None float-newlib/float_req_bl_1072c_true-unreach-call.c true 30.70 19.53 None float-newlib/float_req_bl_1072d_true-unreach-call.c true 29.88 18.93 None float-newlib/float_req_bl_1091_true-unreach-call.c true 28.67 17.81 None float-newlib/float_req_bl_1092a_true-unreach-call.c ERROR (7) 34.81 23.60 None float-newlib/float_req_bl_1092b_true-unreach-call.c ERROR (7) 42.49 29.32 None float-newlib/float_req_bl_1092c_true-unreach-call.c true 31.31 20.24 None float-newlib/float_req_bl_1092d_true-unreach-call.c true 31.46 20.27 None float-newlib/float_req_bl_1121a_true-unreach-call.c true 79.20 67.96 None float-newlib/float_req_bl_1121b_true-unreach-call.c true 80.55 69.86 None float-newlib/float_req_bl_1122a_true-unreach-call.c true 71.91 61.01 None float-newlib/float_req_bl_1122b_true-unreach-call.c true 75.08 64.09 None float-newlib/float_req_bl_1130a_true-unreach-call.c true 36.31 23.97 None float-newlib/float_req_bl_1130b_true-unreach-call.c true 36.28 24.03 None float-newlib/float_req_bl_1131a_true-unreach-call.c true 42.11 29.41 None float-newlib/float_req_bl_1131b_true-unreach-call.c true 38.84 26.51 None float-newlib/float_req_bl_1211a_true-unreach-call.c true 39.28 25.41 None float-newlib/float_req_bl_1211b_true-unreach-call.c true 35.71 22.66 None float-newlib/float_req_bl_1230_true-unreach-call.c true 26.18 15.16 None float-newlib/float_req_bl_1231_true-unreach-call.c true 83.37 60.56 None float-newlib/float_req_bl_1232a_true-unreach-call.c true 29.42 17.65 None float-newlib/float_req_bl_1250_true-unreach-call.c true 27.08 15.53 None float-newlib/float_req_bl_1251_true-unreach-call.c true 85.49 62.56 None float-newlib/float_req_bl_1252a_true-unreach-call.c true 30.13 18.00 None float-newlib/float_req_bl_1270a_true-unreach-call.c true 581.48 553.84 None float-newlib/float_req_bl_1270b_true-unreach-call.c ERROR (7) 345.97 328.17 None float-newlib/float_req_bl_1270c_true-unreach-call.c true 396.45 373.99 None float-newlib/float_req_bl_1270d_true-unreach-call.c true 439.70 416.82 None float-newlib/float_req_bl_1271a_true-unreach-call.c true 423.17 397.15 None float-newlib/float_req_bl_1271b_true-unreach-call.c ERROR (7) 127.99 114.85 None float-newlib/float_req_bl_1280_true-unreach-call.c TIMEOUT 900.43 883.09 None float-newlib/float_req_bl_1381_true-unreach-call.c true 23.65 13.68 None float-newlib/double_req_bl_0870a_false-unreach-call.c false(unreach-call) 106.47 92.11 None float-newlib/double_req_bl_1210_false-unreach-call.c false(unreach-call) 45.76 33.11 None float-newlib/double_req_bl_1232b_false-unreach-call.c false(unreach-call) 40.92 27.06 None float-newlib/double_req_bl_1252b_false-unreach-call.c false(unreach-call) 42.62 28.66 None float-newlib/float_req_bl_0870a_false-unreach-call.c false(unreach-call) 55.16 42.14 None float-newlib/float_req_bl_1210_false-unreach-call.c false(unreach-call) 26.22 15.23 None float-newlib/float_req_bl_1232b_false-unreach-call.c false(unreach-call) 28.92 16.70 None float-newlib/float_req_bl_1252b_false-unreach-call.c false(unreach-call) 27.70 16.50 None ----------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 55603.95 8477.23 - Statistics: 483 Files correct: 260 correct true: 228 correct false: 32 incorrect: 10 incorrect true: 0 incorrect false: 10 unknown: 213 Score: 328 (max: 927)