BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Reach32bit date: Thu, 2018-09-20 13:25:27 CEST tool: ULTIMATE Automizer 0.1.23-40ef5092 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) 42.89 36.34 None floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i false(unreach-call) 43.08 36.36 None floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i false(unreach-call) 81.91 75.57 None floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i false(unreach-call) 65.08 58.10 None floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i false(unreach-call) 108.57 102.03 None floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i false(unreach-call) 63.98 56.79 None floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i false(unreach-call) 227.24 220.64 None floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i false(unreach-call) 122.16 115.19 None floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i TIMEOUT 900.32 894.06 None floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i false(unreach-call) 259.18 252.29 None floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i false(unreach-call) 497.95 491.05 None floats-cdfpl/sine_1_false-unreach-call_true-termination.i false(unreach-call) 272.65 266.27 None floats-cdfpl/sine_2_false-unreach-call_true-termination.i false(unreach-call) 52.74 46.02 None floats-cdfpl/sine_3_false-unreach-call_true-termination.i false(unreach-call) 30.59 24.21 None floats-cdfpl/square_1_false-unreach-call_true-termination.i false(unreach-call) 145.40 139.28 None floats-cdfpl/square_2_false-unreach-call_true-termination.i false(unreach-call) 60.64 53.79 None floats-cdfpl/square_3_false-unreach-call_true-termination.i false(unreach-call) 784.15 777.63 None floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i TIMEOUT 900.30 894.63 None floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i TIMEOUT 900.32 893.15 None floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i TIMEOUT 900.32 893.29 None floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i TIMEOUT 900.33 893.61 None floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i TIMEOUT 900.32 893.64 None floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i TIMEOUT 900.33 893.46 None floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i TIMEOUT 900.31 893.69 None floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i TIMEOUT 900.31 894.14 None floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i TIMEOUT 900.32 893.31 None floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i TIMEOUT 900.33 893.35 None floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i TIMEOUT 900.32 893.41 None floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i TIMEOUT 900.32 893.35 None floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i TIMEOUT 900.33 893.38 None floats-cdfpl/sine_4_true-unreach-call_true-termination.i TIMEOUT 900.31 894.43 None floats-cdfpl/sine_5_true-unreach-call_true-termination.i TIMEOUT 900.30 894.63 None floats-cdfpl/sine_6_true-unreach-call_true-termination.i TIMEOUT 900.31 894.41 None floats-cdfpl/sine_7_true-unreach-call_true-termination.i TIMEOUT 900.31 894.04 None floats-cdfpl/sine_8_true-unreach-call_true-termination.i TIMEOUT 900.32 894.04 None floats-cdfpl/square_4_true-unreach-call_true-termination.i TIMEOUT 900.29 894.05 None floats-cdfpl/square_5_true-unreach-call_true-termination.i TIMEOUT 900.30 894.48 None floats-cdfpl/square_6_true-unreach-call_true-termination.i TIMEOUT 900.29 894.21 None floats-cdfpl/square_7_true-unreach-call_true-termination.i true 283.46 276.48 None floats-cdfpl/square_8_true-unreach-call_true-termination.i true 111.99 104.80 None floats-cbmc-regression/float-div1_true-unreach-call.i true 46.87 36.46 None floats-cbmc-regression/float-flags-simp1_true-unreach-call.i true 52.30 33.60 None floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i true 16.46 9.05 None floats-cbmc-regression/float-no-simp2_true-unreach-call.i true 56.00 45.00 None floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i true 16.03 8.95 None floats-cbmc-regression/float-no-simp4_true-unreach-call.i true 41.78 28.06 None floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i true 16.89 9.80 None floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i true 15.67 8.81 None floats-cbmc-regression/float-no-simp8_true-unreach-call.i true 19.74 10.83 None floats-cbmc-regression/float-rounding1_true-unreach-call.i unknown 6.65 3.55 None floats-cbmc-regression/float-to-double1_true-unreach-call.i true 107.81 97.74 None floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i true 16.15 8.95 None floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i true 17.77 9.95 None floats-cbmc-regression/float11_true-unreach-call_true-termination.i true 16.67 9.46 None floats-cbmc-regression/float12_true-unreach-call_true-termination.i true 24.94 18.12 None floats-cbmc-regression/float13_true-unreach-call_true-termination.i true 16.88 9.53 None floats-cbmc-regression/float14_true-unreach-call.i true 18.17 10.11 None floats-cbmc-regression/float18_true-unreach-call.i unknown 6.34 3.46 None floats-cbmc-regression/float19_true-unreach-call.i true 20.08 12.35 None floats-cbmc-regression/float1_true-unreach-call_true-termination.i true 15.34 8.68 None floats-cbmc-regression/float20_true-unreach-call_true-termination.i true 24.57 16.74 None floats-cbmc-regression/float21_true-unreach-call.i true 106.29 93.42 None floats-cbmc-regression/float22_true-unreach-call_true-termination.i true 488.42 458.68 None floats-cbmc-regression/float2_true-unreach-call_true-termination.i true 16.86 9.72 None floats-cbmc-regression/float3_true-unreach-call_true-termination.i ERROR (7) 12.97 6.82 None floats-cbmc-regression/float4_true-unreach-call.i true 92.60 81.79 None floats-cbmc-regression/float5_true-unreach-call_true-termination.i true 34.10 26.97 None floats-cbmc-regression/float6_true-unreach-call_true-termination.i true 18.05 10.15 None floats-cbmc-regression/float8_true-unreach-call.i true 20.65 11.56 None floats-cbmc-regression/float_lib1_true-unreach-call.i ERROR (7) 17.11 9.50 None floats-cbmc-regression/float_lib2_true-unreach-call.i true 28.55 16.57 None float-benchs/cast_float_ptr_false-unreach-call_true-termination.c false(unreach-call) 16.78 9.54 None float-benchs/cast_union_loose_false-unreach-call_true-termination.c false(unreach-call) 17.20 9.78 None float-benchs/cast_union_tight_false-unreach-call_true-termination.c false(unreach-call) 17.05 9.62 None float-benchs/float_int_inv_square_false-unreach-call_true-termination.c false(unreach-call) 16.63 9.96 None float-benchs/inv_Newton_false-unreach-call.c TIMEOUT 900.37 888.27 None float-benchs/inv_square_false-unreach-call_true-termination.c false(unreach-call) 16.32 9.56 None float-benchs/nan_double_false-unreach-call_true-termination.c false(unreach-call) 7.55 4.30 None float-benchs/nan_float_false-unreach-call_true-termination.c false(unreach-call) 7.31 4.13 None float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c TIMEOUT 900.32 891.67 None float-benchs/sqrt_poly2_false-unreach-call.c false(unreach-call) 27.38 19.21 None float-benchs/Muller_Kahan_true-unreach-call_true-termination.c TIMEOUT 900.72 829.77 None float-benchs/Rump_double_true-unreach-call_true-termination.c true 29.27 21.94 None float-benchs/Rump_float_true-unreach-call_true-termination.c true 18.93 11.68 None float-benchs/addsub_double_exact_true-unreach-call_true-termination.c true 16.17 9.10 None float-benchs/addsub_float_exact_true-unreach-call_true-termination.c true 15.95 8.96 None float-benchs/addsub_float_inexact_true-unreach-call_true-termination.c true 15.16 8.70 None float-benchs/arctan_Pade_true-unreach-call_true-termination.c ERROR (7) 406.45 398.57 None float-benchs/bary_diverge_true-unreach-call_true-termination.c TIMEOUT 900.36 886.99 None float-benchs/cast_float_union_true-unreach-call.c true 8.91 4.97 None float-benchs/cos_polynomial_true-unreach-call_true-termination.c TIMEOUT 900.34 893.65 None float-benchs/divmul_buf_diverge_true-unreach-call_true-termination.c TIMEOUT 900.77 765.80 None float-benchs/divmul_diverge_true-unreach-call_true-termination.c TIMEOUT 900.65 767.83 None float-benchs/drift_tenth_true-unreach-call_true-termination.c ERROR (7) 508.62 495.42 None float-benchs/exp_loop_true-unreach-call.c TIMEOUT 900.38 886.81 None float-benchs/feedback_diverge_true-unreach-call_true-termination.c TIMEOUT 900.82 759.70 None float-benchs/filter1_true-unreach-call_true-termination.c ERROR (7) 725.17 713.43 None float-benchs/filter2_alt_true-unreach-call.c TIMEOUT 900.36 888.73 None float-benchs/filter2_iterated_true-unreach-call.c ERROR (7) 57.83 51.18 None float-benchs/filter2_reinit_true-unreach-call_true-termination.c TIMEOUT 900.36 890.45 None float-benchs/filter2_set_true-unreach-call_true-termination.c TIMEOUT 900.39 891.55 None float-benchs/filter2_true-unreach-call_true-termination.c TIMEOUT 900.37 891.75 None float-benchs/filter_iir_true-unreach-call.c TIMEOUT 900.37 889.88 None float-benchs/float_double_true-unreach-call_true-termination.c true 16.63 9.37 None float-benchs/image_filter_true-unreach-call.c TIMEOUT 900.70 844.15 None float-benchs/interpolation2_true-unreach-call_true-termination.c TIMEOUT 900.31 889.83 None float-benchs/interpolation_true-unreach-call_true-termination.c TIMEOUT 900.35 888.33 None float-benchs/inv_Newton_true-unreach-call.c ERROR (7) 756.50 745.52 None float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c true 208.94 198.58 None float-benchs/inv_square_int_true-unreach-call_true-termination.c true 96.34 89.01 None float-benchs/inv_square_true-unreach-call_true-termination.c true 90.50 82.70 None float-benchs/loop_true-unreach-call.c ERROR (7) 290.41 280.51 None float-benchs/mea8000_true-unreach-call.c TIMEOUT 901.00 830.71 None float-benchs/nan_double_range_true-unreach-call_true-termination.c true 15.49 8.87 None float-benchs/nan_float_range_true-unreach-call_true-termination.c true 17.79 10.58 None float-benchs/rlim_exit_true-unreach-call_true-termination.c TIMEOUT 900.57 782.40 None float-benchs/rlim_invariant_true-unreach-call_true-termination.c TIMEOUT 900.33 888.76 None float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c TIMEOUT 900.35 891.38 None float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c TIMEOUT 900.35 891.62 None float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c TIMEOUT 900.44 889.62 None float-benchs/sin_interpolated_negation_true-unreach-call.c TIMEOUT 900.48 886.66 None float-benchs/sin_interpolated_smallrange_true-unreach-call.c TIMEOUT 900.40 883.89 None float-benchs/sqrt_Householder_constant_true-unreach-call.c ERROR (7) 313.92 303.50 None float-benchs/sqrt_Householder_interval_true-unreach-call.c ERROR (7) 200.86 191.70 None float-benchs/sqrt_Householder_pseudoconstant_true-unreach-call.c ERROR (7) 202.34 192.52 None float-benchs/sqrt_Newton_pseudoconstant_true-unreach-call.c ERROR (7) 199.22 189.13 None float-benchs/sqrt_biNewton_pseudoconstant_true-unreach-call.c ERROR (7) 95.66 86.37 None float-benchs/sqrt_poly_true-unreach-call_true-termination.c true 184.62 175.22 None float-benchs/water_pid_true-unreach-call_true-termination.c ERROR (7) 237.59 227.00 None float-benchs/zonotope_2_true-unreach-call_true-termination.c TIMEOUT 900.63 881.89 None float-benchs/zonotope_3_true-unreach-call_true-termination.c TIMEOUT 900.64 778.48 None float-benchs/zonotope_loose_true-unreach-call_true-termination.c true 139.14 130.74 None float-benchs/zonotope_tight_true-unreach-call_true-termination.c true 155.86 147.54 None floats-esbmc-regression/Double_div_true-unreach-call.i ERROR (7) 26.13 18.78 None floats-esbmc-regression/Float_div_true-unreach-call.i ERROR (7) 120.65 111.92 None floats-esbmc-regression/ceil_nondet_true-unreach-call.i unknown 13.25 7.07 None floats-esbmc-regression/ceil_true-unreach-call.i unknown 6.44 3.50 None floats-esbmc-regression/copysign_true-unreach-call.i unknown 6.44 3.50 None floats-esbmc-regression/digits_for_true-unreach-call.i TIMEOUT 900.52 886.42 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 19.18 10.45 None floats-esbmc-regression/fdim_true-unreach-call.i unknown 6.43 3.45 None floats-esbmc-regression/floor_nondet_true-unreach-call.i unknown 13.31 7.04 None floats-esbmc-regression/floor_true-unreach-call.i unknown 6.71 3.63 None floats-esbmc-regression/fmax_true-unreach-call.i true 17.22 9.44 None floats-esbmc-regression/fmin_true-unreach-call.i true 17.43 9.41 None floats-esbmc-regression/fmod2_true-unreach-call.i unknown 13.27 7.06 None floats-esbmc-regression/fmod3_true-unreach-call.i unknown 12.98 7.02 None floats-esbmc-regression/fmod_true-unreach-call.i unknown 6.67 3.56 None floats-esbmc-regression/isgreater_true-unreach-call.i true 16.98 9.32 None floats-esbmc-regression/isgreaterequal_true-unreach-call.i true 17.49 9.51 None floats-esbmc-regression/isless_true-unreach-call.i true 18.15 9.84 None floats-esbmc-regression/islessequal_true-unreach-call.i true 17.40 9.44 None floats-esbmc-regression/islessgreater_true-unreach-call.i true 17.57 9.47 None floats-esbmc-regression/isunordered_true-unreach-call.i true 18.08 9.66 None floats-esbmc-regression/lrint_true-unreach-call.i unknown 6.66 3.60 None floats-esbmc-regression/modf_true-unreach-call.i unknown 6.25 3.40 None floats-esbmc-regression/nan_true-unreach-call.i true 19.57 10.76 None floats-esbmc-regression/nearbyint2_true-unreach-call.i unknown 6.91 3.63 None floats-esbmc-regression/nearbyint_true-unreach-call.i unknown 6.54 3.54 None floats-esbmc-regression/remainder_true-unreach-call.i unknown 6.42 3.49 None floats-esbmc-regression/rint2_true-unreach-call.i unknown 6.29 3.45 None floats-esbmc-regression/rint_true-unreach-call.i unknown 6.68 3.57 None floats-esbmc-regression/round_nondet_true-unreach-call.i unknown 12.90 6.94 None floats-esbmc-regression/round_true-unreach-call.i unknown 6.52 3.50 None floats-esbmc-regression/rounding_functions_true-unreach-call.i unknown 6.65 3.53 None floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i unknown 13.83 7.26 None floats-esbmc-regression/trunc_nondet_true-unreach-call.i unknown 13.39 7.12 None floats-esbmc-regression/trunc_true-unreach-call.i unknown 6.32 3.42 None floats-esbmc-regression/Double_div_bad_false-unreach-call.i ERROR (7) 44.68 37.71 None floats-esbmc-regression/Float_div_bad_false-unreach-call.i TIMEOUT 900.46 886.67 None floats-esbmc-regression/digits_bad_for_false-unreach-call.i TIMEOUT 900.46 887.20 None floats-esbmc-regression/digits_bad_while_false-unreach-call.i TIMEOUT 900.45 887.87 None float-newlib/double_req_bl_0210_true-unreach-call.c true 316.74 287.39 None float-newlib/double_req_bl_0220a_true-unreach-call.c true 143.85 119.95 None float-newlib/double_req_bl_0220b_true-unreach-call.c true 146.22 120.91 None float-newlib/double_req_bl_0240a_true-unreach-call.c true 126.41 104.78 None float-newlib/double_req_bl_0240b_true-unreach-call.c true 127.30 103.50 None float-newlib/double_req_bl_0250a_true-unreach-call.c true 128.07 114.65 None float-newlib/double_req_bl_0250b_true-unreach-call.c true 104.26 89.88 None float-newlib/double_req_bl_0260_true-unreach-call.c true 244.61 230.70 None float-newlib/double_req_bl_0270a_true-unreach-call.c true 136.59 121.70 None float-newlib/double_req_bl_0270b_true-unreach-call.c true 136.60 120.44 None float-newlib/double_req_bl_0281_true-unreach-call.c true 47.27 36.79 None float-newlib/double_req_bl_0310_true-unreach-call.c true 461.62 430.15 None float-newlib/double_req_bl_0320_true-unreach-call.c true 151.08 126.03 None float-newlib/double_req_bl_0330a_true-unreach-call.c true 126.22 103.17 None float-newlib/double_req_bl_0330b_true-unreach-call.c true 130.59 105.51 None float-newlib/double_req_bl_0460_true-unreach-call.c true 153.06 139.66 None float-newlib/double_req_bl_0470_true-unreach-call.c true 102.65 89.00 None float-newlib/double_req_bl_0480_true-unreach-call.c true 124.27 108.80 None float-newlib/double_req_bl_0490a_true-unreach-call.c true 120.89 105.23 None float-newlib/double_req_bl_0490b_true-unreach-call.c true 107.24 93.72 None float-newlib/double_req_bl_0520_true-unreach-call.c true 390.92 360.61 None float-newlib/double_req_bl_0530a_true-unreach-call.c true 170.12 145.88 None float-newlib/double_req_bl_0530b_true-unreach-call.c true 164.67 141.47 None float-newlib/double_req_bl_0550a_true-unreach-call.c true 144.22 120.88 None float-newlib/double_req_bl_0550b_true-unreach-call.c true 142.73 120.78 None float-newlib/double_req_bl_0610_true-unreach-call.c false(unreach-call) 130.46 118.49 None float-newlib/double_req_bl_0620a_true-unreach-call.c true 202.89 188.61 None float-newlib/double_req_bl_0620b_true-unreach-call.c true 265.38 250.94 None float-newlib/double_req_bl_0621a_true-unreach-call.c true 333.79 318.14 None float-newlib/double_req_bl_0621b_true-unreach-call.c true 329.83 314.48 None float-newlib/double_req_bl_0660a_true-unreach-call.c true 200.95 179.39 None float-newlib/double_req_bl_0660b_true-unreach-call.c true 240.26 219.73 None float-newlib/double_req_bl_0661a_true-unreach-call.c true 460.88 434.63 None float-newlib/double_req_bl_0661b_true-unreach-call.c true 422.61 397.08 None float-newlib/double_req_bl_0662a_true-unreach-call.c true 375.96 351.51 None float-newlib/double_req_bl_0662b_true-unreach-call.c true 388.05 363.56 None float-newlib/double_req_bl_0663a_true-unreach-call.c true 266.74 244.12 None float-newlib/double_req_bl_0663b_true-unreach-call.c ERROR (7) 520.88 498.37 None float-newlib/double_req_bl_0670_true-unreach-call.c true 238.24 220.65 None float-newlib/double_req_bl_0680a_true-unreach-call.c true 206.78 185.56 None float-newlib/double_req_bl_0680b_true-unreach-call.c true 203.61 183.67 None float-newlib/double_req_bl_0681a_true-unreach-call.c true 206.33 186.65 None float-newlib/double_req_bl_0681b_true-unreach-call.c true 143.04 124.04 None float-newlib/double_req_bl_0682a_true-unreach-call.c true 383.90 357.82 None float-newlib/double_req_bl_0682b_true-unreach-call.c true 368.65 344.24 None float-newlib/double_req_bl_0683a_true-unreach-call.c true 323.05 297.39 None float-newlib/double_req_bl_0683b_true-unreach-call.c true 335.58 312.82 None float-newlib/double_req_bl_0684a_true-unreach-call.c true 587.51 560.71 None float-newlib/double_req_bl_0684b_true-unreach-call.c true 628.04 600.27 None float-newlib/double_req_bl_0685a_true-unreach-call.c true 175.17 152.21 None float-newlib/double_req_bl_0685b_true-unreach-call.c true 199.87 177.51 None float-newlib/double_req_bl_0686a_true-unreach-call.c true 159.75 140.41 None float-newlib/double_req_bl_0686b_true-unreach-call.c true 188.91 167.99 None float-newlib/double_req_bl_0710_true-unreach-call.c ERROR (7) 230.33 220.42 None float-newlib/double_req_bl_0720_true-unreach-call.c true 124.79 112.11 None float-newlib/double_req_bl_0730a_true-unreach-call.c true 85.94 74.32 None float-newlib/double_req_bl_0730b_true-unreach-call.c true 54.12 42.46 None float-newlib/double_req_bl_0730c_true-unreach-call.c true 92.28 75.57 None float-newlib/double_req_bl_0740_true-unreach-call.c true 96.27 84.75 None float-newlib/double_req_bl_0831_true-unreach-call.c false(unreach-call) 191.43 177.45 None float-newlib/double_req_bl_0832_true-unreach-call.c true 191.65 178.53 None float-newlib/double_req_bl_0833_true-unreach-call.c true 127.78 113.86 None float-newlib/double_req_bl_0834_true-unreach-call.c true 146.19 131.91 None float-newlib/double_req_bl_0860_true-unreach-call.c TIMEOUT 900.57 865.67 None float-newlib/double_req_bl_0864a_true-unreach-call.c ERROR (7) 296.56 270.42 None float-newlib/double_req_bl_0864b_true-unreach-call.c ERROR (7) 285.75 260.81 None float-newlib/double_req_bl_0864c_true-unreach-call.c TIMEOUT 900.43 878.20 None float-newlib/double_req_bl_0870b_true-unreach-call.c true 319.03 293.35 None float-newlib/double_req_bl_0871_true-unreach-call.c ERROR (7) 472.41 452.29 None float-newlib/double_req_bl_0872a_true-unreach-call.c true 269.94 245.01 None float-newlib/double_req_bl_0872b_true-unreach-call.c true 264.48 238.83 None float-newlib/double_req_bl_0873a_true-unreach-call.c true 405.60 376.41 None float-newlib/double_req_bl_0873b_true-unreach-call.c true 417.54 387.89 None float-newlib/double_req_bl_0874_true-unreach-call.c true 405.67 376.56 None float-newlib/double_req_bl_0875_true-unreach-call.c false(unreach-call) 146.75 130.65 None float-newlib/double_req_bl_0876_true-unreach-call.c true 540.59 507.64 None float-newlib/double_req_bl_0877_true-unreach-call.c false(unreach-call) 149.85 131.56 None float-newlib/double_req_bl_0878_true-unreach-call.c ERROR (7) 241.58 218.47 None float-newlib/double_req_bl_0879_true-unreach-call.c ERROR (7) 211.67 190.16 None float-newlib/double_req_bl_0880_true-unreach-call.c TIMEOUT 900.48 867.47 None float-newlib/double_req_bl_0881_true-unreach-call.c TIMEOUT 900.60 864.93 None float-newlib/double_req_bl_0882_true-unreach-call.c ERROR (7) 499.36 473.24 None float-newlib/double_req_bl_0883_true-unreach-call.c TIMEOUT 900.44 875.87 None float-newlib/double_req_bl_0885a_true-unreach-call.c TIMEOUT 900.51 864.71 None float-newlib/double_req_bl_0885b_true-unreach-call.c TIMEOUT 900.63 860.51 None float-newlib/double_req_bl_0886a_true-unreach-call.c ERROR (7) 132.03 117.56 None float-newlib/double_req_bl_0886b_true-unreach-call.c TIMEOUT 900.95 862.94 None float-newlib/double_req_bl_0910a_true-unreach-call.c true 482.49 466.09 None float-newlib/double_req_bl_0910b_true-unreach-call.c true 122.80 109.53 None float-newlib/double_req_bl_0920a_true-unreach-call.c true 140.97 127.43 None float-newlib/double_req_bl_0920b_true-unreach-call.c true 133.03 120.61 None float-newlib/double_req_bl_0921_true-unreach-call.c true 157.76 144.05 None float-newlib/double_req_bl_0930_true-unreach-call.c ERROR (7) 130.65 117.65 None float-newlib/double_req_bl_0931_true-unreach-call.c true 143.48 129.38 None float-newlib/double_req_bl_0960a_true-unreach-call.c TIMEOUT 900.42 882.34 None float-newlib/double_req_bl_0960b_true-unreach-call.c true 108.77 94.55 None float-newlib/double_req_bl_0970a_true-unreach-call.c true 132.27 114.75 None float-newlib/double_req_bl_0970b_true-unreach-call.c true 95.80 82.13 None float-newlib/double_req_bl_0971_true-unreach-call.c true 113.82 98.77 None float-newlib/double_req_bl_0981_true-unreach-call.c true 105.09 90.67 None float-newlib/double_req_bl_1010_true-unreach-call.c false(unreach-call) 18.12 10.12 None float-newlib/double_req_bl_1011a_true-unreach-call.c true 37.17 25.94 None float-newlib/double_req_bl_1011b_true-unreach-call.c true 39.37 27.59 None float-newlib/double_req_bl_1012a_true-unreach-call.c true 38.71 26.35 None float-newlib/double_req_bl_1012b_true-unreach-call.c true 37.16 25.70 None float-newlib/double_req_bl_1031_true-unreach-call.c true 32.57 21.53 None float-newlib/double_req_bl_1032a_true-unreach-call.c true 42.40 29.15 None float-newlib/double_req_bl_1032b_true-unreach-call.c true 40.19 27.01 None float-newlib/double_req_bl_1032c_true-unreach-call.c true 41.71 29.91 None float-newlib/double_req_bl_1032d_true-unreach-call.c true 43.86 32.29 None float-newlib/double_req_bl_1051_true-unreach-call.c true 47.97 35.83 None float-newlib/double_req_bl_1052a_true-unreach-call.c true 50.59 38.85 None float-newlib/double_req_bl_1052b_true-unreach-call.c true 52.45 40.21 None float-newlib/double_req_bl_1052c_true-unreach-call.c true 100.60 84.45 None float-newlib/double_req_bl_1052d_true-unreach-call.c true 57.81 44.56 None float-newlib/double_req_bl_1071_true-unreach-call.c true 35.39 23.61 None float-newlib/double_req_bl_1072a_true-unreach-call.c true 41.78 30.23 None float-newlib/double_req_bl_1072b_true-unreach-call.c true 40.19 27.85 None float-newlib/double_req_bl_1072c_true-unreach-call.c true 39.81 27.20 None float-newlib/double_req_bl_1072d_true-unreach-call.c true 39.58 27.95 None float-newlib/double_req_bl_1091_true-unreach-call.c true 46.93 35.23 None float-newlib/double_req_bl_1092a_true-unreach-call.c true 53.63 40.72 None float-newlib/double_req_bl_1092b_true-unreach-call.c true 63.00 49.46 None float-newlib/double_req_bl_1092c_true-unreach-call.c true 53.60 41.09 None float-newlib/double_req_bl_1092d_true-unreach-call.c true 53.84 42.32 None float-newlib/double_req_bl_1121a_true-unreach-call.c true 58.80 46.00 None float-newlib/double_req_bl_1121b_true-unreach-call.c true 326.57 313.73 None float-newlib/double_req_bl_1122a_true-unreach-call.c true 92.08 79.64 None float-newlib/double_req_bl_1122b_true-unreach-call.c true 140.40 128.22 None float-newlib/double_req_bl_1130a_true-unreach-call.c true 91.37 75.38 None float-newlib/double_req_bl_1130b_true-unreach-call.c TIMEOUT 900.49 879.34 None float-newlib/double_req_bl_1131a_true-unreach-call.c true 71.87 57.07 None float-newlib/double_req_bl_1131b_true-unreach-call.c true 97.74 81.90 None float-newlib/double_req_bl_1211a_true-unreach-call.c true 71.54 55.48 None float-newlib/double_req_bl_1211b_true-unreach-call.c true 92.04 74.63 None float-newlib/double_req_bl_1230_true-unreach-call.c true 29.16 17.18 None float-newlib/double_req_bl_1231a_true-unreach-call.c ERROR (7) 69.31 52.00 None float-newlib/double_req_bl_1231b_true-unreach-call.c true 66.11 48.69 None float-newlib/double_req_bl_1232a_true-unreach-call.c true 41.63 27.92 None float-newlib/double_req_bl_1250_true-unreach-call.c true 28.97 17.42 None float-newlib/double_req_bl_1251a_true-unreach-call.c ERROR (7) 61.59 45.58 None float-newlib/double_req_bl_1251b_true-unreach-call.c true 60.15 44.69 None float-newlib/double_req_bl_1252a_true-unreach-call.c true 44.71 30.11 None float-newlib/double_req_bl_1270a_true-unreach-call.c ERROR (7) 219.49 200.94 None float-newlib/double_req_bl_1270b_true-unreach-call.c false(unreach-call) 759.62 729.92 None float-newlib/double_req_bl_1270c_true-unreach-call.c TIMEOUT 900.52 872.08 None float-newlib/double_req_bl_1270d_true-unreach-call.c TIMEOUT 900.49 872.80 None float-newlib/double_req_bl_1271a_true-unreach-call.c false(unreach-call) 167.36 151.23 None float-newlib/double_req_bl_1271b_true-unreach-call.c false(unreach-call) 38.05 24.41 None float-newlib/double_req_bl_1280_true-unreach-call.c ERROR (7) 384.21 366.75 None float-newlib/double_req_bl_1300_true-unreach-call.c ERROR (7) 101.28 89.64 None float-newlib/double_req_bl_1381_true-unreach-call.c false(unreach-call) 18.38 10.38 None float-newlib/float_req_bl_0210_true-unreach-call.c TIMEOUT 900.59 848.94 None float-newlib/float_req_bl_0220a_true-unreach-call.c true 119.25 94.49 None float-newlib/float_req_bl_0220b_true-unreach-call.c true 112.09 87.94 None float-newlib/float_req_bl_0240a_true-unreach-call.c true 102.35 76.48 None float-newlib/float_req_bl_0240b_true-unreach-call.c true 105.07 77.46 None float-newlib/float_req_bl_0250a_true-unreach-call.c true 75.77 63.00 None float-newlib/float_req_bl_0250b_true-unreach-call.c true 78.84 65.49 None float-newlib/float_req_bl_0260_true-unreach-call.c true 81.80 69.49 None float-newlib/float_req_bl_0270a_true-unreach-call.c true 84.59 69.38 None float-newlib/float_req_bl_0270b_true-unreach-call.c true 81.79 67.88 None float-newlib/float_req_bl_0281_true-unreach-call.c true 87.44 73.86 None float-newlib/float_req_bl_0310_true-unreach-call.c true 899.48 840.30 None float-newlib/float_req_bl_0320a_true-unreach-call.c true 110.08 85.31 None float-newlib/float_req_bl_0320b_true-unreach-call.c true 118.43 94.59 None float-newlib/float_req_bl_0330a_true-unreach-call.c true 106.85 80.79 None float-newlib/float_req_bl_0330b_true-unreach-call.c true 100.94 76.06 None float-newlib/float_req_bl_0460_true-unreach-call.c true 93.62 81.36 None float-newlib/float_req_bl_0470_true-unreach-call.c true 91.51 78.71 None float-newlib/float_req_bl_0480_true-unreach-call.c true 74.54 62.07 None float-newlib/float_req_bl_0490a_true-unreach-call.c true 90.72 78.25 None float-newlib/float_req_bl_0490b_true-unreach-call.c true 93.69 80.48 None float-newlib/float_req_bl_0520_true-unreach-call.c TIMEOUT 900.75 850.91 None float-newlib/float_req_bl_0530a_true-unreach-call.c true 113.68 89.26 None float-newlib/float_req_bl_0530b_true-unreach-call.c true 119.20 93.16 None float-newlib/float_req_bl_0550a_true-unreach-call.c true 100.95 75.25 None float-newlib/float_req_bl_0550b_true-unreach-call.c true 96.23 72.70 None float-newlib/float_req_bl_0610_true-unreach-call.c true 88.36 76.91 None float-newlib/float_req_bl_0620a_true-unreach-call.c true 114.98 102.53 None float-newlib/float_req_bl_0620b_true-unreach-call.c true 113.17 100.43 None float-newlib/float_req_bl_0621a_true-unreach-call.c true 162.59 149.87 None float-newlib/float_req_bl_0621b_true-unreach-call.c true 178.54 165.30 None float-newlib/float_req_bl_0660a_true-unreach-call.c true 85.89 69.43 None float-newlib/float_req_bl_0660b_true-unreach-call.c true 75.44 59.29 None float-newlib/float_req_bl_0661a_true-unreach-call.c true 152.60 135.90 None float-newlib/float_req_bl_0661b_true-unreach-call.c true 166.52 148.90 None float-newlib/float_req_bl_0662a_true-unreach-call.c true 77.77 62.31 None float-newlib/float_req_bl_0662b_true-unreach-call.c true 75.86 60.90 None float-newlib/float_req_bl_0663a_true-unreach-call.c true 72.96 58.46 None float-newlib/float_req_bl_0663b_true-unreach-call.c true 79.24 63.42 None float-newlib/float_req_bl_0670_true-unreach-call.c true 117.39 102.14 None float-newlib/float_req_bl_0680a_true-unreach-call.c true 77.25 62.11 None float-newlib/float_req_bl_0680b_true-unreach-call.c true 91.38 73.70 None float-newlib/float_req_bl_0681a_true-unreach-call.c true 71.89 54.58 None float-newlib/float_req_bl_0681b_true-unreach-call.c true 69.15 53.41 None float-newlib/float_req_bl_0682a_true-unreach-call.c true 102.05 82.34 None float-newlib/float_req_bl_0682b_true-unreach-call.c true 89.37 72.43 None float-newlib/float_req_bl_0683a_true-unreach-call.c true 87.23 69.48 None float-newlib/float_req_bl_0683b_true-unreach-call.c true 87.14 70.57 None float-newlib/float_req_bl_0684a_true-unreach-call.c true 248.54 228.76 None float-newlib/float_req_bl_0684b_true-unreach-call.c true 274.38 254.03 None float-newlib/float_req_bl_0685a_true-unreach-call.c true 79.08 63.12 None float-newlib/float_req_bl_0685b_true-unreach-call.c true 93.54 75.79 None float-newlib/float_req_bl_0686a_true-unreach-call.c true 77.81 61.85 None float-newlib/float_req_bl_0686b_true-unreach-call.c true 77.20 60.76 None float-newlib/float_req_bl_0710_true-unreach-call.c true 453.18 441.21 None float-newlib/float_req_bl_0720_true-unreach-call.c true 56.79 45.11 None float-newlib/float_req_bl_0730a_true-unreach-call.c true 44.40 33.05 None float-newlib/float_req_bl_0730b_true-unreach-call.c true 28.65 18.19 None float-newlib/float_req_bl_0730c_true-unreach-call.c true 30.66 19.09 None float-newlib/float_req_bl_0740_true-unreach-call.c true 38.57 28.31 None float-newlib/float_req_bl_0831_true-unreach-call.c ERROR (7) 197.38 184.68 None float-newlib/float_req_bl_0832a_true-unreach-call.c true 161.13 147.25 None float-newlib/float_req_bl_0832b_true-unreach-call.c true 142.61 129.59 None float-newlib/float_req_bl_0833_true-unreach-call.c true 102.10 89.05 None float-newlib/float_req_bl_0834_true-unreach-call.c true 136.66 123.47 None float-newlib/float_req_bl_0860_true-unreach-call.c ERROR (7) 443.99 409.19 None float-newlib/float_req_bl_0864a_true-unreach-call.c ERROR (7) 660.24 622.03 None float-newlib/float_req_bl_0864b_true-unreach-call.c TIMEOUT 900.59 863.27 None float-newlib/float_req_bl_0870b_true-unreach-call.c true 88.31 70.24 None float-newlib/float_req_bl_0871_true-unreach-call.c ERROR (7) 167.78 151.39 None float-newlib/float_req_bl_0872a_true-unreach-call.c true 84.42 69.75 None float-newlib/float_req_bl_0872b_true-unreach-call.c true 82.42 66.99 None float-newlib/float_req_bl_0873a_true-unreach-call.c true 126.10 106.23 None float-newlib/float_req_bl_0873b_true-unreach-call.c true 139.59 119.87 None float-newlib/float_req_bl_0874_true-unreach-call.c true 182.70 158.55 None float-newlib/float_req_bl_0875_true-unreach-call.c true 226.55 202.41 None float-newlib/float_req_bl_0876_true-unreach-call.c true 211.79 187.89 None float-newlib/float_req_bl_0877_true-unreach-call.c true 207.55 182.05 None float-newlib/float_req_bl_0878_true-unreach-call.c ERROR (7) 278.03 256.77 None float-newlib/float_req_bl_0879_true-unreach-call.c ERROR (7) 236.27 217.00 None float-newlib/float_req_bl_0880_true-unreach-call.c true 754.47 712.19 None float-newlib/float_req_bl_0881_true-unreach-call.c true 686.28 644.22 None float-newlib/float_req_bl_0882_true-unreach-call.c ERROR (7) 306.85 287.84 None float-newlib/float_req_bl_0883_true-unreach-call.c true 314.31 290.17 None float-newlib/float_req_bl_0885a_true-unreach-call.c ERROR (7) 490.71 477.95 None float-newlib/float_req_bl_0885b_true-unreach-call.c ERROR (7) 182.02 169.11 None float-newlib/float_req_bl_0886a_true-unreach-call.c ERROR (7) 382.35 369.34 None float-newlib/float_req_bl_0886b_true-unreach-call.c ERROR (7) 373.68 361.16 None float-newlib/float_req_bl_0910a_true-unreach-call.c true 58.35 46.80 None float-newlib/float_req_bl_0910b_true-unreach-call.c true 57.72 46.36 None float-newlib/float_req_bl_0920a_true-unreach-call.c true 66.76 54.56 None float-newlib/float_req_bl_0920b_true-unreach-call.c true 67.42 55.67 None float-newlib/float_req_bl_0921_true-unreach-call.c true 85.85 73.70 None float-newlib/float_req_bl_0930_true-unreach-call.c ERROR (7) 96.42 84.96 None float-newlib/float_req_bl_0931_true-unreach-call.c true 71.43 58.94 None float-newlib/float_req_bl_0960a_true-unreach-call.c true 50.76 38.42 None float-newlib/float_req_bl_0960b_true-unreach-call.c true 55.14 42.39 None float-newlib/float_req_bl_0970a_true-unreach-call.c true 56.91 43.83 None float-newlib/float_req_bl_0970b_true-unreach-call.c true 57.99 46.10 None float-newlib/float_req_bl_0971_true-unreach-call.c true 59.76 47.60 None float-newlib/float_req_bl_0981_true-unreach-call.c true 57.50 44.73 None float-newlib/float_req_bl_1010_true-unreach-call.c true 23.52 13.58 None float-newlib/float_req_bl_1011a_true-unreach-call.c true 28.46 17.45 None float-newlib/float_req_bl_1011b_true-unreach-call.c true 29.01 17.72 None float-newlib/float_req_bl_1012a_true-unreach-call.c true 25.44 15.21 None float-newlib/float_req_bl_1012b_true-unreach-call.c true 25.84 15.42 None float-newlib/float_req_bl_1031_true-unreach-call.c true 25.75 15.43 None float-newlib/float_req_bl_1032a_true-unreach-call.c true 34.77 22.73 None float-newlib/float_req_bl_1032b_true-unreach-call.c true 31.39 20.25 None float-newlib/float_req_bl_1032c_true-unreach-call.c true 27.56 17.03 None float-newlib/float_req_bl_1032d_true-unreach-call.c true 26.90 16.47 None float-newlib/float_req_bl_1051_true-unreach-call.c true 27.47 17.17 None float-newlib/float_req_bl_1052a_true-unreach-call.c true 31.70 20.15 None float-newlib/float_req_bl_1052b_true-unreach-call.c true 31.62 20.19 None float-newlib/float_req_bl_1052c_true-unreach-call.c true 41.83 28.76 None float-newlib/float_req_bl_1052d_true-unreach-call.c true 36.48 24.25 None float-newlib/float_req_bl_1071_true-unreach-call.c true 23.37 13.31 None float-newlib/float_req_bl_1072a_true-unreach-call.c true 25.85 15.36 None float-newlib/float_req_bl_1072b_true-unreach-call.c true 25.34 15.13 None float-newlib/float_req_bl_1072c_true-unreach-call.c true 30.34 19.37 None float-newlib/float_req_bl_1072d_true-unreach-call.c true 30.36 19.21 None float-newlib/float_req_bl_1091_true-unreach-call.c true 26.98 17.01 None float-newlib/float_req_bl_1092a_true-unreach-call.c true 35.33 23.74 None float-newlib/float_req_bl_1092b_true-unreach-call.c true 40.87 28.43 None float-newlib/float_req_bl_1092c_true-unreach-call.c true 31.87 20.43 None float-newlib/float_req_bl_1092d_true-unreach-call.c true 32.09 20.71 None float-newlib/float_req_bl_1121a_true-unreach-call.c true 83.62 72.70 None float-newlib/float_req_bl_1121b_true-unreach-call.c true 77.55 66.25 None float-newlib/float_req_bl_1122a_true-unreach-call.c true 75.10 63.81 None float-newlib/float_req_bl_1122b_true-unreach-call.c true 78.47 66.83 None float-newlib/float_req_bl_1130a_true-unreach-call.c true 36.37 24.04 None float-newlib/float_req_bl_1130b_true-unreach-call.c true 35.76 23.70 None float-newlib/float_req_bl_1131a_true-unreach-call.c true 42.10 29.15 None float-newlib/float_req_bl_1131b_true-unreach-call.c true 39.33 26.68 None float-newlib/float_req_bl_1211a_true-unreach-call.c true 38.54 25.08 None float-newlib/float_req_bl_1211b_true-unreach-call.c true 34.01 21.78 None float-newlib/float_req_bl_1230_true-unreach-call.c true 27.29 15.56 None float-newlib/float_req_bl_1231_true-unreach-call.c true 88.73 63.40 None float-newlib/float_req_bl_1232a_true-unreach-call.c true 29.38 17.73 None float-newlib/float_req_bl_1250_true-unreach-call.c true 27.63 16.02 None float-newlib/float_req_bl_1251_true-unreach-call.c true 83.57 61.35 None float-newlib/float_req_bl_1252a_true-unreach-call.c true 30.15 18.11 None float-newlib/float_req_bl_1270a_true-unreach-call.c true 644.78 618.57 None float-newlib/float_req_bl_1270b_true-unreach-call.c ERROR (7) 413.05 392.53 None float-newlib/float_req_bl_1270c_true-unreach-call.c true 494.34 469.84 None float-newlib/float_req_bl_1270d_true-unreach-call.c ERROR (7) 43.85 31.58 None float-newlib/float_req_bl_1271a_true-unreach-call.c true 375.12 350.16 None float-newlib/float_req_bl_1271b_true-unreach-call.c true 548.87 521.47 None float-newlib/float_req_bl_1280_true-unreach-call.c ERROR (7) 345.12 328.77 None float-newlib/float_req_bl_1381_true-unreach-call.c true 24.26 14.08 None float-newlib/double_req_bl_0870a_false-unreach-call.c false(unreach-call) 105.00 90.45 None float-newlib/double_req_bl_1210_false-unreach-call.c false(unreach-call) 46.01 33.93 None float-newlib/double_req_bl_1232b_false-unreach-call.c false(unreach-call) 39.53 26.39 None float-newlib/double_req_bl_1252b_false-unreach-call.c false(unreach-call) 43.02 29.83 None float-newlib/float_req_bl_0870a_false-unreach-call.c false(unreach-call) 58.44 45.66 None float-newlib/float_req_bl_1210_false-unreach-call.c false(unreach-call) 25.48 14.81 None float-newlib/float_req_bl_1232b_false-unreach-call.c false(unreach-call) 28.02 16.51 None float-newlib/float_req_bl_1252b_false-unreach-call.c false(unreach-call) 27.40 16.09 None ----------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 56319.08 8196.29 - Statistics: 483 Files correct: 334 correct true: 302 correct false: 32 incorrect: 9 incorrect true: 0 incorrect false: 9 unknown: 140 Score: 492 (max: 927)