BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Floats date: Mon, 2020-11-23 14:43:51 CET tool: ULTIMATE Automizer 0.2.0-cbb939d5 tool executable: ./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-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ Automizer.Floats Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------- floats-cdfpl/newton_1_1.yml TIMEOUT 900.33 890.27 None floats-cdfpl/newton_1_2.yml TIMEOUT 900.34 890.72 None floats-cdfpl/newton_1_3.yml TIMEOUT 900.34 889.88 None floats-cdfpl/newton_1_4.yml false(unreach-call) 210.21 200.82 None floats-cdfpl/newton_1_5.yml false(unreach-call) 71.77 61.70 None floats-cdfpl/newton_1_6.yml false(unreach-call) 102.13 91.59 None floats-cdfpl/newton_1_7.yml false(unreach-call) 43.84 33.88 None floats-cdfpl/newton_1_8.yml false(unreach-call) 83.77 73.78 None floats-cdfpl/newton_2_1.yml TIMEOUT 900.35 891.31 None floats-cdfpl/newton_2_2.yml TIMEOUT 900.36 889.66 None floats-cdfpl/newton_2_3.yml TIMEOUT 900.36 890.32 None floats-cdfpl/newton_2_4.yml TIMEOUT 900.34 891.69 None floats-cdfpl/newton_2_5.yml TIMEOUT 900.35 890.50 None floats-cdfpl/newton_2_6.yml TIMEOUT 900.35 890.09 None floats-cdfpl/newton_2_7.yml TIMEOUT 900.35 889.95 None floats-cdfpl/newton_2_8.yml false(unreach-call) 71.34 61.13 None floats-cdfpl/newton_3_1.yml TIMEOUT 900.35 890.73 None floats-cdfpl/newton_3_2.yml TIMEOUT 900.35 889.45 None floats-cdfpl/newton_3_3.yml TIMEOUT 900.36 890.10 None floats-cdfpl/newton_3_4.yml TIMEOUT 900.36 891.21 None floats-cdfpl/newton_3_5.yml TIMEOUT 900.36 889.81 None floats-cdfpl/newton_3_6.yml TIMEOUT 900.37 890.44 None floats-cdfpl/newton_3_7.yml false(unreach-call) 531.11 521.15 None floats-cdfpl/newton_3_8.yml false(unreach-call) 93.97 82.97 None floats-cdfpl/sine_1.yml TIMEOUT 900.34 891.19 None floats-cdfpl/sine_2.yml TIMEOUT 900.36 889.80 None floats-cdfpl/sine_3.yml false(unreach-call) 414.54 405.49 None floats-cdfpl/sine_4.yml TIMEOUT 900.34 890.96 None floats-cdfpl/sine_5.yml TIMEOUT 900.33 891.97 None floats-cdfpl/sine_6.yml TIMEOUT 900.33 890.95 None floats-cdfpl/sine_7.yml true 666.17 655.31 None floats-cdfpl/sine_8.yml TIMEOUT 900.34 891.25 None floats-cdfpl/square_1.yml false(unreach-call) 156.44 147.72 None floats-cdfpl/square_2.yml false(unreach-call) 103.74 94.94 None floats-cdfpl/square_3.yml false(unreach-call) 39.86 29.99 None floats-cdfpl/square_4.yml TIMEOUT 900.33 888.98 None floats-cdfpl/square_5.yml TIMEOUT 900.33 890.30 None floats-cdfpl/square_6.yml TIMEOUT 900.33 889.30 None floats-cdfpl/square_7.yml TIMEOUT 900.32 890.90 None floats-cdfpl/square_8.yml true 131.43 121.33 None floats-cbmc-regression/float-div1.yml true 116.29 103.24 None floats-cbmc-regression/float-flags-simp1.yml ERROR (7) 18.92 10.30 None floats-cbmc-regression/float-no-simp1.yml true 21.20 12.22 None floats-cbmc-regression/float-no-simp2.yml true 158.81 145.35 None floats-cbmc-regression/float-no-simp3.yml true 20.80 12.18 None floats-cbmc-regression/float-no-simp4.yml true 26.86 15.72 None floats-cbmc-regression/float-no-simp6.yml true 26.68 16.65 None floats-cbmc-regression/float-no-simp7.yml true 22.01 12.64 None floats-cbmc-regression/float-no-simp8.yml ERROR (7) 18.64 10.24 None floats-cbmc-regression/float-rounding1.yml true 72.78 58.43 None floats-cbmc-regression/float-to-double1.yml true 33.48 23.86 None floats-cbmc-regression/float-to-double2.yml true 21.06 12.35 None floats-cbmc-regression/float-zero-sum1.yml true 21.75 12.63 None floats-cbmc-regression/float1.yml true 21.22 12.83 None floats-cbmc-regression/float11.yml true 21.34 12.36 None floats-cbmc-regression/float12.yml true 25.48 17.50 None floats-cbmc-regression/float13.yml true 22.07 12.72 None floats-cbmc-regression/float14.yml true 20.39 11.48 None floats-cbmc-regression/float18.yml ERROR (7) 17.29 9.61 None floats-cbmc-regression/float19.yml true 23.52 13.15 None floats-cbmc-regression/float2.yml true 23.98 14.23 None floats-cbmc-regression/float20.yml true 101.02 88.86 None floats-cbmc-regression/float21.yml true 84.46 70.37 None floats-cbmc-regression/float22.yml true 150.59 122.52 None floats-cbmc-regression/float3.yml true 59.16 49.05 None floats-cbmc-regression/float4.yml true 103.71 92.14 None floats-cbmc-regression/float5.yml true 61.90 52.08 None floats-cbmc-regression/float6.yml true 23.93 13.61 None floats-cbmc-regression/float8.yml true 25.55 15.55 None floats-cbmc-regression/float_lib1.yml ERROR (7) 18.65 10.21 None floats-cbmc-regression/float_lib2.yml true 23.34 12.83 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml TIMEOUT 900.70 829.45 None float-benchs/Muller_Kahan.yml TIMEOUT 900.70 826.86 None float-benchs/Rump_double.yml true 44.24 33.45 None float-benchs/Rump_float.yml true 31.19 21.94 None float-benchs/addsub_double_exact.yml true 23.34 13.74 None float-benchs/addsub_float_exact.yml true 22.59 12.92 None float-benchs/addsub_float_inexact.yml true 22.11 13.04 None float-benchs/arctan_Pade.yml ERROR (7) 140.15 131.23 None float-benchs/bary_diverge.yml TIMEOUT 900.32 887.62 None float-benchs/cast_float_ptr.yml unknown 24.21 14.32 None float-benchs/cast_float_union.yml true 10.03 5.79 None float-benchs/cast_union_loose.yml false(unreach-call) 24.01 13.81 None float-benchs/cast_union_tight.yml false(unreach-call) 20.83 12.33 None float-benchs/cos_polynomial.yml TIMEOUT 900.45 887.06 None float-benchs/divmul_buf_diverge.yml TIMEOUT 900.49 797.95 None float-benchs/divmul_diverge.yml TIMEOUT 900.44 799.17 None float-benchs/drift_tenth.c.p+cfa-reducer.yml TIMEOUT 900.33 886.09 None float-benchs/drift_tenth.yml true 801.36 785.19 None float-benchs/exp_loop.yml TIMEOUT 900.35 885.55 None float-benchs/feedback_diverge.yml TIMEOUT 900.53 794.65 None float-benchs/filter1.c.p+cfa-reducer.yml TIMEOUT 900.37 885.86 None float-benchs/filter1.c.v+lhb-reducer.yml TIMEOUT 900.37 883.00 None float-benchs/filter1.c.v+nlh-reducer.yml TIMEOUT 900.40 882.43 None float-benchs/filter1.yml TIMEOUT 900.35 884.97 None float-benchs/filter2.yml TIMEOUT 900.48 887.50 None float-benchs/filter2_alt.yml TIMEOUT 900.44 828.32 None float-benchs/filter2_iterated.yml ERROR (7) 34.38 24.40 None float-benchs/filter2_reinit.yml TIMEOUT 900.43 887.16 None float-benchs/filter2_set.yml ERROR (7) 488.45 459.18 None float-benchs/filter_iir.yml TIMEOUT 900.59 862.52 None float-benchs/float_double.yml true 21.35 12.44 None float-benchs/float_int_inv_square.yml false(unreach-call) 22.78 13.30 None float-benchs/image_filter.yml TIMEOUT 900.58 869.72 None float-benchs/interpolation.c.p+cfa-reducer.yml TIMEOUT 900.38 883.13 None float-benchs/interpolation.c.v+cfa-reducer.yml TIMEOUT 900.49 885.66 None float-benchs/interpolation.c.v+nlh-reducer.yml TIMEOUT 900.36 885.63 None float-benchs/interpolation.yml TIMEOUT 900.35 885.60 None float-benchs/interpolation2.c.p+cfa-reducer.yml TIMEOUT 900.47 876.70 None float-benchs/interpolation2.c.v+cfa-reducer.yml TIMEOUT 900.52 877.57 None float-benchs/interpolation2.c.v+nlh-reducer.yml TIMEOUT 900.38 879.93 None float-benchs/interpolation2.yml TIMEOUT 900.41 881.92 None float-benchs/inv_Newton-1.yml unknown 241.07 229.64 None float-benchs/inv_Newton-2.yml TIMEOUT 900.42 886.16 None float-benchs/inv_Newton.c.p+cfa-reducer.yml TIMEOUT 900.40 880.04 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml true 612.67 599.88 None float-benchs/inv_sqrt_Quake.yml unknown 106.14 94.42 None float-benchs/inv_square-1.yml false(unreach-call) 23.52 13.61 None float-benchs/inv_square-2.yml true 29.24 18.82 None float-benchs/inv_square_int.yml true 29.38 19.25 None float-benchs/loop-1.yml TIMEOUT 900.39 886.08 None float-benchs/mea8000.yml TIMEOUT 900.40 873.86 None float-benchs/nan_double.yml false(unreach-call) 20.85 11.56 None float-benchs/nan_double_range.yml true 21.54 12.36 None float-benchs/nan_float.yml false(unreach-call) 21.90 12.43 None float-benchs/nan_float_range.yml true 21.32 12.39 None float-benchs/rlim_exit.yml TIMEOUT 900.47 798.95 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 900.34 887.18 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 900.33 887.56 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 900.32 887.87 None float-benchs/rlim_invariant.yml TIMEOUT 900.64 882.61 None float-benchs/sin_interpolated_bigrange_loose.yml TIMEOUT 900.87 872.70 None float-benchs/sin_interpolated_bigrange_tight.yml TIMEOUT 901.05 880.88 None float-benchs/sin_interpolated_index-1.yml false(unreach-call) 112.22 91.05 None float-benchs/sin_interpolated_index-2.yml TIMEOUT 900.43 884.19 None float-benchs/sin_interpolated_negation.yml TIMEOUT 900.61 877.83 None float-benchs/sin_interpolated_smallrange.yml TIMEOUT 900.45 877.82 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml TIMEOUT 900.68 883.62 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 503.28 491.18 None float-benchs/sqrt_Householder_interval.yml TIMEOUT 900.48 888.44 None float-benchs/sqrt_Householder_pseudoconstant.yml unknown 189.25 175.60 None float-benchs/sqrt_Newton_pseudoconstant.yml unknown 262.73 250.69 None float-benchs/sqrt_biNewton_pseudoconstant.yml unknown 662.09 649.64 None float-benchs/sqrt_poly.yml true 164.29 152.34 None float-benchs/sqrt_poly2.yml false(unreach-call) 33.39 22.18 None float-benchs/water_pid.yml TIMEOUT 900.62 888.13 None float-benchs/zonotope_2.yml TIMEOUT 900.45 878.31 None float-benchs/zonotope_3.c.p+cfa-reducer.yml TIMEOUT 900.65 791.26 None float-benchs/zonotope_3.c.v+lhb-reducer.yml TIMEOUT 900.63 786.55 None float-benchs/zonotope_3.yml TIMEOUT 900.60 790.28 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml true 487.14 474.20 None float-benchs/zonotope_loose.yml true 388.14 375.36 None float-benchs/zonotope_tight.yml true 440.17 427.92 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml ERROR (7) 335.87 323.42 None floats-esbmc-regression/Double_div.yml TIMEOUT 900.47 890.09 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml TIMEOUT 900.51 891.31 None floats-esbmc-regression/Double_div_bad.yml ERROR (7) 301.99 291.54 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml unknown 797.66 785.80 None floats-esbmc-regression/Float_div.yml true 361.60 348.75 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml ERROR (7) 370.84 360.57 None floats-esbmc-regression/Float_div_bad.yml TIMEOUT 900.43 886.28 None floats-esbmc-regression/ceil.yml ERROR (7) 18.77 10.38 None floats-esbmc-regression/ceil_nondet.yml unknown 18.68 10.25 None floats-esbmc-regression/copysign.yml ERROR (7) 18.74 10.36 None floats-esbmc-regression/digits_bad_for.yml TIMEOUT 900.70 886.27 None floats-esbmc-regression/digits_bad_while.yml TIMEOUT 900.51 885.63 None floats-esbmc-regression/digits_for.yml TIMEOUT 900.47 886.54 None floats-esbmc-regression/digits_while.yml TIMEOUT 900.42 886.90 None floats-esbmc-regression/fabs.yml true 22.17 12.27 None floats-esbmc-regression/fdim.yml true 28.87 16.84 None floats-esbmc-regression/floor.yml ERROR (7) 18.57 10.07 None floats-esbmc-regression/floor_nondet.yml unknown 17.92 9.78 None floats-esbmc-regression/fmax.yml true 22.33 12.56 None floats-esbmc-regression/fmin.yml true 21.86 12.41 None floats-esbmc-regression/fmod.yml ERROR (7) 17.79 9.79 None floats-esbmc-regression/fmod2.yml ERROR (7) 18.18 9.92 None floats-esbmc-regression/fmod3.yml ERROR (7) 18.09 10.02 None floats-esbmc-regression/isgreater.yml true 22.83 12.80 None floats-esbmc-regression/isgreaterequal.yml true 21.83 12.10 None floats-esbmc-regression/isless.yml true 22.19 12.40 None floats-esbmc-regression/islessequal.yml true 21.60 12.21 None floats-esbmc-regression/islessgreater.yml true 22.94 12.76 None floats-esbmc-regression/isunordered.yml true 21.57 12.02 None floats-esbmc-regression/lrint.yml unknown 18.07 9.98 None floats-esbmc-regression/modf.yml unknown 18.02 9.97 None floats-esbmc-regression/nan.yml true 21.64 12.05 None floats-esbmc-regression/nearbyint.yml unknown 17.69 9.85 None floats-esbmc-regression/nearbyint2.yml unknown 18.39 10.15 None floats-esbmc-regression/remainder.yml ERROR (7) 18.09 9.95 None floats-esbmc-regression/rint.yml unknown 18.23 10.04 None floats-esbmc-regression/rint2.yml unknown 18.27 10.16 None floats-esbmc-regression/round.yml ERROR (7) 18.19 10.07 None floats-esbmc-regression/round_nondet.yml unknown 17.79 9.94 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 21.83 11.99 None floats-esbmc-regression/trunc.yml ERROR (7) 17.99 9.96 None floats-esbmc-regression/trunc_nondet.yml unknown 17.68 9.72 None floats-esbmc-regression/trunc_nondet_2.yml true 471.96 458.54 None float-newlib/double_req_bl_0210.yml true 326.64 300.30 None float-newlib/double_req_bl_0220a.yml true 146.29 118.71 None float-newlib/double_req_bl_0220b.yml true 143.83 118.25 None float-newlib/double_req_bl_0240a.yml true 296.99 269.54 None float-newlib/double_req_bl_0240b.yml true 291.58 266.16 None float-newlib/double_req_bl_0250a.yml true 65.30 51.35 None float-newlib/double_req_bl_0250b.yml true 66.55 52.10 None float-newlib/double_req_bl_0260.yml true 67.61 53.94 None float-newlib/double_req_bl_0270a.yml true 66.04 51.53 None float-newlib/double_req_bl_0270b.yml true 65.95 51.65 None float-newlib/double_req_bl_0281.yml true 46.39 33.94 None float-newlib/double_req_bl_0310.yml true 300.59 270.62 None float-newlib/double_req_bl_0320.yml true 148.03 122.45 None float-newlib/double_req_bl_0330a.yml true 300.91 275.67 None float-newlib/double_req_bl_0330b.yml true 332.44 303.29 None float-newlib/double_req_bl_0460.yml ERROR (7) 224.40 210.03 None float-newlib/double_req_bl_0470.yml true 74.54 55.87 None float-newlib/double_req_bl_0480.yml true 60.95 45.87 None float-newlib/double_req_bl_0490a.yml true 63.73 49.20 None float-newlib/double_req_bl_0490b.yml true 76.36 61.21 None float-newlib/double_req_bl_0520.yml true 630.88 601.53 None float-newlib/double_req_bl_0530a.yml true 212.51 187.30 None float-newlib/double_req_bl_0530b.yml true 227.73 197.73 None float-newlib/double_req_bl_0550a.yml true 493.03 465.47 None float-newlib/double_req_bl_0550b.yml true 648.98 615.09 None float-newlib/double_req_bl_0620a.yml true 106.49 81.05 None float-newlib/double_req_bl_0620b.yml true 93.47 74.69 None float-newlib/double_req_bl_0621a.yml ERROR (7) 254.14 222.26 None float-newlib/double_req_bl_0621b.yml ERROR (7) 208.87 164.14 None float-newlib/double_req_bl_0660a.yml false(unreach-call) 96.13 72.26 None float-newlib/double_req_bl_0660b.yml false(unreach-call) 95.87 74.52 None float-newlib/double_req_bl_0661a.yml false(unreach-call) 94.73 70.68 None float-newlib/double_req_bl_0661b.yml false(unreach-call) 65.88 53.20 None float-newlib/double_req_bl_0662a.yml false(unreach-call) 112.32 84.03 None float-newlib/double_req_bl_0662b.yml false(unreach-call) 70.16 56.15 None float-newlib/double_req_bl_0663a.yml false(unreach-call) 68.84 55.15 None float-newlib/double_req_bl_0663b.yml false(unreach-call) 78.46 61.53 None float-newlib/double_req_bl_0670.yml false(unreach-call) 436.76 406.91 None float-newlib/double_req_bl_0680a.yml false(unreach-call) 131.49 95.10 None float-newlib/double_req_bl_0680b.yml false(unreach-call) 77.84 61.99 None float-newlib/double_req_bl_0681a.yml false(unreach-call) 114.26 85.06 None float-newlib/double_req_bl_0681b.yml false(unreach-call) 73.37 58.81 None float-newlib/double_req_bl_0682a.yml false(unreach-call) 88.71 67.12 None float-newlib/double_req_bl_0682b.yml false(unreach-call) 104.20 74.59 None float-newlib/double_req_bl_0683a.yml false(unreach-call) 75.75 59.29 None float-newlib/double_req_bl_0683b.yml false(unreach-call) 74.42 58.76 None float-newlib/double_req_bl_0684a.yml false(unreach-call) 117.12 85.68 None float-newlib/double_req_bl_0684b.yml false(unreach-call) 70.44 56.21 None float-newlib/double_req_bl_0685a.yml false(unreach-call) 73.17 58.20 None float-newlib/double_req_bl_0685b.yml false(unreach-call) 122.61 91.30 None float-newlib/double_req_bl_0686a.yml false(unreach-call) 73.00 58.11 None float-newlib/double_req_bl_0686b.yml false(unreach-call) 75.09 59.41 None float-newlib/double_req_bl_0720.yml true 45.16 31.14 None float-newlib/double_req_bl_0730a.yml false(unreach-call) 28.76 17.96 None float-newlib/double_req_bl_0730b.yml false(unreach-call) 36.12 24.49 None float-newlib/double_req_bl_0730c.yml TIMEOUT 900.39 877.82 None float-newlib/double_req_bl_0740.yml true 49.77 37.14 None float-newlib/double_req_bl_0832.yml true 102.74 88.52 None float-newlib/double_req_bl_0833.yml true 49.28 33.83 None float-newlib/double_req_bl_0834.yml false(unreach-call) 43.26 29.97 None float-newlib/double_req_bl_0870a.yml false(unreach-call) 94.41 78.26 None float-newlib/double_req_bl_0870b.yml false(unreach-call) 83.13 68.34 None float-newlib/double_req_bl_0872a.yml false(unreach-call) 226.05 195.94 None float-newlib/double_req_bl_0872b.yml false(unreach-call) 197.95 180.81 None float-newlib/double_req_bl_0873a.yml false(unreach-call) 155.47 137.60 None float-newlib/double_req_bl_0873b.yml false(unreach-call) 149.90 133.77 None float-newlib/double_req_bl_0874.yml false(unreach-call) 118.37 98.86 None float-newlib/double_req_bl_0876.yml false(unreach-call) 130.07 107.95 None float-newlib/double_req_bl_0882.yml false(unreach-call) 80.97 66.68 None float-newlib/double_req_bl_0883.yml false(unreach-call) 81.96 67.48 None float-newlib/double_req_bl_0910a.yml false(unreach-call) 52.60 40.86 None float-newlib/double_req_bl_0910b.yml false(unreach-call) 53.46 42.31 None float-newlib/double_req_bl_0920a.yml false(unreach-call) 64.30 50.04 None float-newlib/double_req_bl_0920b.yml true 63.78 51.92 None float-newlib/double_req_bl_0921.yml true 118.76 105.23 None float-newlib/double_req_bl_0930.yml true 179.90 164.93 None float-newlib/double_req_bl_0931.yml false(unreach-call) 52.87 40.81 None float-newlib/double_req_bl_0960b.yml false(unreach-call) 62.20 50.02 None float-newlib/double_req_bl_0970a.yml false(unreach-call) 68.88 54.68 None float-newlib/double_req_bl_0970b.yml true 68.37 56.98 None float-newlib/double_req_bl_0971.yml true 127.60 112.48 None float-newlib/double_req_bl_0981.yml false(unreach-call) 60.18 47.80 None float-newlib/double_req_bl_1011a.yml ERROR (7) 30.10 17.08 None float-newlib/double_req_bl_1011b.yml ERROR (7) 28.80 16.84 None float-newlib/double_req_bl_1012a.yml false(unreach-call) 24.55 14.30 None float-newlib/double_req_bl_1012b.yml false(unreach-call) 22.76 13.26 None float-newlib/double_req_bl_1031.yml true 25.75 15.18 None float-newlib/double_req_bl_1032a.yml ERROR (7) 34.58 20.92 None float-newlib/double_req_bl_1032b.yml ERROR (7) 33.85 20.66 None float-newlib/double_req_bl_1032c.yml false(unreach-call) 26.08 15.18 None float-newlib/double_req_bl_1032d.yml false(unreach-call) 25.29 14.89 None float-newlib/double_req_bl_1051.yml true 30.32 18.10 None float-newlib/double_req_bl_1052a.yml false(unreach-call) 27.92 16.39 None float-newlib/double_req_bl_1052b.yml false(unreach-call) 25.38 15.23 None float-newlib/double_req_bl_1052c.yml false(unreach-call) 30.39 18.08 None float-newlib/double_req_bl_1052d.yml ERROR (7) 35.02 21.45 None float-newlib/double_req_bl_1071.yml true 28.89 17.25 None float-newlib/double_req_bl_1072a.yml false(unreach-call) 24.28 14.03 None float-newlib/double_req_bl_1072b.yml true 29.70 17.35 None float-newlib/double_req_bl_1072c.yml true 27.41 16.20 None float-newlib/double_req_bl_1072d.yml false(unreach-call) 24.94 14.29 None float-newlib/double_req_bl_1091.yml true 30.42 18.07 None float-newlib/double_req_bl_1092a.yml ERROR (7) 29.51 18.31 None float-newlib/double_req_bl_1092b.yml false(unreach-call) 28.14 17.27 None float-newlib/double_req_bl_1092c.yml false(unreach-call) 26.56 15.93 None float-newlib/double_req_bl_1092d.yml false(unreach-call) 26.38 15.58 None float-newlib/double_req_bl_1121a.yml false(unreach-call) 98.07 85.11 None float-newlib/double_req_bl_1121b.yml false(unreach-call) 65.99 53.13 None float-newlib/double_req_bl_1122a.yml true 150.99 136.91 None float-newlib/double_req_bl_1122b.yml true 105.25 93.16 None float-newlib/double_req_bl_1130a.yml false(unreach-call) 34.16 21.96 None float-newlib/double_req_bl_1131a.yml false(unreach-call) 33.21 21.96 None float-newlib/double_req_bl_1131b.yml false(unreach-call) 33.61 22.14 None float-newlib/double_req_bl_1210.yml false(unreach-call) 30.38 18.36 None float-newlib/double_req_bl_1211a.yml ERROR (7) 43.90 27.93 None float-newlib/double_req_bl_1211b.yml ERROR (7) 41.29 27.04 None float-newlib/double_req_bl_1230.yml true 31.12 18.49 None float-newlib/double_req_bl_1231b.yml false(unreach-call) 26.04 15.29 None float-newlib/double_req_bl_1232a.yml true 33.11 19.65 None float-newlib/double_req_bl_1232b.yml false(unreach-call) 29.41 17.84 None float-newlib/double_req_bl_1250.yml true 30.31 18.66 None float-newlib/double_req_bl_1251b.yml false(unreach-call) 24.70 14.48 None float-newlib/double_req_bl_1252a.yml true 31.45 19.08 None float-newlib/double_req_bl_1252b.yml false(unreach-call) 30.08 17.92 None float-newlib/double_req_bl_1300.yml false(unreach-call) 23.54 14.11 None float-newlib/float_req_bl_0220a.yml true 115.74 89.54 None float-newlib/float_req_bl_0220b.yml true 110.92 84.75 None float-newlib/float_req_bl_0240a.yml true 180.43 155.85 None float-newlib/float_req_bl_0240b.yml true 189.29 162.52 None float-newlib/float_req_bl_0250a.yml true 42.87 29.42 None float-newlib/float_req_bl_0250b.yml true 42.24 29.06 None float-newlib/float_req_bl_0260.yml true 41.80 29.27 None float-newlib/float_req_bl_0270a.yml true 47.04 33.42 None float-newlib/float_req_bl_0270b.yml true 48.05 33.93 None float-newlib/float_req_bl_0281.yml true 70.68 57.71 None float-newlib/float_req_bl_0310.yml true 196.84 172.31 None float-newlib/float_req_bl_0320a.yml true 108.59 83.87 None float-newlib/float_req_bl_0320b.yml true 115.12 88.59 None float-newlib/float_req_bl_0330a.yml true 188.78 161.24 None float-newlib/float_req_bl_0330b.yml true 190.89 164.77 None float-newlib/float_req_bl_0460.yml true 67.69 54.52 None float-newlib/float_req_bl_0470.yml true 40.65 28.47 None float-newlib/float_req_bl_0480.yml true 56.05 42.68 None float-newlib/float_req_bl_0490a.yml true 40.30 28.10 None float-newlib/float_req_bl_0490b.yml true 45.17 30.67 None float-newlib/float_req_bl_0530a.yml true 95.55 70.35 None float-newlib/float_req_bl_0530b.yml true 97.50 71.97 None float-newlib/float_req_bl_0550a.yml true 169.57 144.41 None float-newlib/float_req_bl_0550b.yml true 160.84 138.12 None float-newlib/float_req_bl_0610.yml true 59.70 46.54 None float-newlib/float_req_bl_0620a.yml true 50.66 37.20 None float-newlib/float_req_bl_0620b.yml true 52.90 40.34 None float-newlib/float_req_bl_0621a.yml true 68.72 48.97 None float-newlib/float_req_bl_0621b.yml true 63.49 46.40 None float-newlib/float_req_bl_0660a.yml true 78.42 61.48 None float-newlib/float_req_bl_0660b.yml true 79.31 62.32 None float-newlib/float_req_bl_0661a.yml true 81.70 63.14 None float-newlib/float_req_bl_0661b.yml true 79.58 62.26 None float-newlib/float_req_bl_0662a.yml true 57.58 42.14 None float-newlib/float_req_bl_0662b.yml true 61.84 46.50 None float-newlib/float_req_bl_0663a.yml true 57.39 42.32 None float-newlib/float_req_bl_0663b.yml true 54.11 38.60 None float-newlib/float_req_bl_0670.yml true 238.45 220.78 None float-newlib/float_req_bl_0680a.yml true 58.71 43.31 None float-newlib/float_req_bl_0680b.yml true 67.84 50.59 None float-newlib/float_req_bl_0681a.yml true 60.64 45.04 None float-newlib/float_req_bl_0681b.yml true 59.83 44.08 None float-newlib/float_req_bl_0682a.yml true 97.51 75.44 None float-newlib/float_req_bl_0682b.yml true 91.33 69.43 None float-newlib/float_req_bl_0683a.yml true 81.34 59.43 None float-newlib/float_req_bl_0683b.yml true 76.70 56.62 None float-newlib/float_req_bl_0684a.yml true 480.70 445.10 None float-newlib/float_req_bl_0684b.yml true 817.99 782.13 None float-newlib/float_req_bl_0685a.yml true 68.33 52.37 None float-newlib/float_req_bl_0685b.yml true 64.39 47.70 None float-newlib/float_req_bl_0686a.yml true 59.92 44.10 None float-newlib/float_req_bl_0686b.yml true 61.53 45.49 None float-newlib/float_req_bl_0710.yml true 110.57 96.73 None float-newlib/float_req_bl_0720.yml true 31.66 20.62 None float-newlib/float_req_bl_0730a.yml true 41.51 28.05 None float-newlib/float_req_bl_0730b.yml true 27.36 15.93 None float-newlib/float_req_bl_0730c.yml true 28.76 16.86 None float-newlib/float_req_bl_0740.yml true 31.22 19.72 None float-newlib/float_req_bl_0831.yml true 57.00 45.15 None float-newlib/float_req_bl_0832a.yml true 60.87 49.66 None float-newlib/float_req_bl_0832b.yml true 66.12 53.02 None float-newlib/float_req_bl_0833.yml true 47.14 32.67 None float-newlib/float_req_bl_0834.yml true 52.38 38.58 None float-newlib/float_req_bl_0870a.yml false(unreach-call) 55.31 40.82 None float-newlib/float_req_bl_0870b.yml true 58.95 43.59 None float-newlib/float_req_bl_0872a.yml true 90.21 75.22 None float-newlib/float_req_bl_0872b.yml true 88.68 75.00 None float-newlib/float_req_bl_0873a.yml true 53.84 40.02 None float-newlib/float_req_bl_0873b.yml true 56.47 40.36 None float-newlib/float_req_bl_0874.yml true 73.71 53.07 None float-newlib/float_req_bl_0875.yml true 77.43 56.09 None float-newlib/float_req_bl_0876.yml true 69.28 49.30 None float-newlib/float_req_bl_0877.yml true 70.46 51.78 None float-newlib/float_req_bl_0880.yml TIMEOUT 900.50 866.64 None float-newlib/float_req_bl_0881.yml TIMEOUT 900.52 866.88 None float-newlib/float_req_bl_0883.yml true 142.66 116.76 None float-newlib/float_req_bl_0910a.yml true 80.55 67.53 None float-newlib/float_req_bl_0910b.yml true 68.05 55.98 None float-newlib/float_req_bl_0920a.yml true 50.73 37.11 None float-newlib/float_req_bl_0920b.yml true 48.44 35.91 None float-newlib/float_req_bl_0921.yml true 70.93 58.15 None float-newlib/float_req_bl_0930.yml true 179.25 163.64 None float-newlib/float_req_bl_0931.yml true 42.35 30.28 None float-newlib/float_req_bl_0960a.yml true 88.03 74.61 None float-newlib/float_req_bl_0960b.yml true 86.68 73.84 None float-newlib/float_req_bl_0970a.yml true 53.95 40.19 None float-newlib/float_req_bl_0970b.yml true 50.67 37.94 None float-newlib/float_req_bl_0971.yml true 76.16 61.81 None float-newlib/float_req_bl_0981.yml true 47.94 33.90 None float-newlib/float_req_bl_1010.yml true 22.45 13.18 None float-newlib/float_req_bl_1011a.yml true 23.12 13.61 None float-newlib/float_req_bl_1011b.yml true 26.81 15.43 None float-newlib/float_req_bl_1012a.yml true 34.27 23.04 None float-newlib/float_req_bl_1012b.yml true 32.48 20.74 None float-newlib/float_req_bl_1031.yml true 25.20 15.03 None float-newlib/float_req_bl_1032a.yml true 26.39 15.20 None float-newlib/float_req_bl_1032b.yml true 26.12 15.29 None float-newlib/float_req_bl_1032c.yml true 26.87 15.59 None float-newlib/float_req_bl_1032d.yml true 27.37 15.83 None float-newlib/float_req_bl_1051.yml true 25.60 15.09 None float-newlib/float_req_bl_1052a.yml true 30.91 18.61 None float-newlib/float_req_bl_1052b.yml true 28.37 16.99 None float-newlib/float_req_bl_1052c.yml true 27.54 17.10 None float-newlib/float_req_bl_1052d.yml true 30.59 17.91 None float-newlib/float_req_bl_1071.yml true 25.34 14.92 None float-newlib/float_req_bl_1072a.yml true 26.84 15.47 None float-newlib/float_req_bl_1072b.yml true 27.61 15.62 None float-newlib/float_req_bl_1072c.yml true 27.12 15.78 None float-newlib/float_req_bl_1072d.yml true 28.74 16.41 None float-newlib/float_req_bl_1091.yml true 25.38 14.67 None float-newlib/float_req_bl_1092a.yml true 29.80 17.64 None float-newlib/float_req_bl_1092b.yml true 29.44 17.55 None float-newlib/float_req_bl_1092c.yml true 30.83 18.23 None float-newlib/float_req_bl_1092d.yml true 30.21 17.98 None float-newlib/float_req_bl_1121a.yml true 56.39 44.16 None float-newlib/float_req_bl_1121b.yml true 53.54 40.20 None float-newlib/float_req_bl_1122a.yml true 48.84 36.94 None float-newlib/float_req_bl_1122b.yml true 54.43 40.58 None float-newlib/float_req_bl_1130a.yml true 33.00 19.69 None float-newlib/float_req_bl_1130b.yml true 35.54 23.58 None float-newlib/float_req_bl_1131a.yml true 46.92 30.54 None float-newlib/float_req_bl_1131b.yml true 44.72 28.99 None float-newlib/float_req_bl_1210.yml false(unreach-call) 26.95 16.00 None float-newlib/float_req_bl_1211a.yml true 32.03 19.70 None float-newlib/float_req_bl_1211b.yml true 36.77 22.66 None float-newlib/float_req_bl_1230.yml true 27.25 16.01 None float-newlib/float_req_bl_1231.yml true 69.76 46.66 None float-newlib/float_req_bl_1232a.yml true 30.73 18.35 None float-newlib/float_req_bl_1232b.yml false(unreach-call) 27.93 17.13 None float-newlib/float_req_bl_1250.yml true 29.83 17.77 None float-newlib/float_req_bl_1251.yml true 65.20 44.56 None float-newlib/float_req_bl_1252a.yml true 30.79 18.33 None float-newlib/float_req_bl_1252b.yml false(unreach-call) 28.83 17.58 None float-newlib/float_req_bl_1270a.yml ERROR (7) 397.47 377.01 None float-newlib/float_req_bl_1270b.yml ERROR (7) 451.05 426.85 None float-newlib/float_req_bl_1270c.yml ERROR (7) 141.24 123.79 None float-newlib/float_req_bl_1270d.yml ERROR (7) 129.19 107.34 None float-newlib/float_req_bl_1271a.yml true 73.01 54.21 None float-newlib/float_req_bl_1271b.yml true 80.50 59.85 None float-newlib/float_req_bl_1381.yml true 24.05 13.69 None loop-floats-scientific-comp/loop1-1.yml ERROR (7) 843.70 830.12 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 28.39 17.87 None loop-floats-scientific-comp/loop2-1.yml false(unreach-call) 37.17 26.57 None loop-floats-scientific-comp/loop2-2.yml TIMEOUT 900.40 887.72 None loop-floats-scientific-comp/loop3.yml ERROR (7) 712.03 698.90 None loop-floats-scientific-comp/loop4.yml ERROR (7) 17.94 9.98 None loop-floats-scientific-comp/loop5.yml ERROR (7) 18.69 10.28 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 40226.37 8148.75 - Statistics: 469 Files correct: 266 correct true: 236 correct false: 30 incorrect: 62 incorrect true: 0 incorrect false: 62 unknown: 141 Score: -490 (max: 893)