BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Floats date: Wed, 2020-12-02 18:06:19 CET tool: ULTIMATE Automizer 0.2.0-2880296f 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.34 890.78 None floats-cdfpl/newton_1_2.yml TIMEOUT 900.34 889.83 None floats-cdfpl/newton_1_3.yml TIMEOUT 900.34 890.99 None floats-cdfpl/newton_1_4.yml TIMEOUT 900.35 890.22 None floats-cdfpl/newton_1_5.yml false(unreach-call) 482.44 472.39 None floats-cdfpl/newton_1_6.yml false(unreach-call) 353.31 343.17 None floats-cdfpl/newton_1_7.yml false(unreach-call) 181.40 171.40 None floats-cdfpl/newton_1_8.yml false(unreach-call) 74.76 64.58 None floats-cdfpl/newton_2_1.yml TIMEOUT 900.36 889.62 None floats-cdfpl/newton_2_2.yml TIMEOUT 900.36 890.21 None floats-cdfpl/newton_2_3.yml TIMEOUT 900.35 891.01 None floats-cdfpl/newton_2_4.yml TIMEOUT 900.37 890.10 None floats-cdfpl/newton_2_5.yml TIMEOUT 900.35 889.62 None floats-cdfpl/newton_2_6.yml TIMEOUT 900.35 889.44 None floats-cdfpl/newton_2_7.yml TIMEOUT 900.35 890.53 None floats-cdfpl/newton_2_8.yml false(unreach-call) 539.87 528.75 None floats-cdfpl/newton_3_1.yml TIMEOUT 900.37 889.05 None floats-cdfpl/newton_3_2.yml TIMEOUT 900.37 889.10 None floats-cdfpl/newton_3_3.yml TIMEOUT 900.35 889.58 None floats-cdfpl/newton_3_4.yml TIMEOUT 900.38 889.23 None floats-cdfpl/newton_3_5.yml TIMEOUT 900.38 890.33 None floats-cdfpl/newton_3_6.yml TIMEOUT 900.37 888.89 None floats-cdfpl/newton_3_7.yml false(unreach-call) 108.40 95.96 None floats-cdfpl/newton_3_8.yml false(unreach-call) 404.54 393.62 None floats-cdfpl/sine_1.yml false(unreach-call) 61.37 50.57 None floats-cdfpl/sine_2.yml false(unreach-call) 119.35 109.84 None floats-cdfpl/sine_3.yml TIMEOUT 900.34 890.37 None floats-cdfpl/sine_4.yml TIMEOUT 900.33 890.48 None floats-cdfpl/sine_5.yml TIMEOUT 900.33 891.40 None floats-cdfpl/sine_6.yml TIMEOUT 900.34 890.74 None floats-cdfpl/sine_7.yml TIMEOUT 900.32 890.55 None floats-cdfpl/sine_8.yml TIMEOUT 900.35 889.86 None floats-cdfpl/square_1.yml false(unreach-call) 300.29 289.94 None floats-cdfpl/square_2.yml false(unreach-call) 126.47 116.21 None floats-cdfpl/square_3.yml false(unreach-call) 201.36 193.19 None floats-cdfpl/square_4.yml TIMEOUT 900.32 890.93 None floats-cdfpl/square_5.yml TIMEOUT 900.32 890.72 None floats-cdfpl/square_6.yml TIMEOUT 900.32 890.70 None floats-cdfpl/square_7.yml TIMEOUT 900.32 891.76 None floats-cdfpl/square_8.yml true 317.75 296.91 None floats-cbmc-regression/float-div1.yml ERROR (7) 81.80 68.86 None floats-cbmc-regression/float-flags-simp1.yml true 318.98 296.73 None floats-cbmc-regression/float-no-simp1.yml true 28.58 19.51 None floats-cbmc-regression/float-no-simp2.yml ERROR (7) 19.18 10.55 None floats-cbmc-regression/float-no-simp3.yml true 40.19 31.35 None floats-cbmc-regression/float-no-simp4.yml true 24.57 14.23 None floats-cbmc-regression/float-no-simp6.yml true 40.05 28.72 None floats-cbmc-regression/float-no-simp7.yml true 31.16 21.44 None floats-cbmc-regression/float-no-simp8.yml true 31.20 19.61 None floats-cbmc-regression/float-rounding1.yml TIMEOUT 900.40 882.10 None floats-cbmc-regression/float-to-double1.yml true 76.36 65.74 None floats-cbmc-regression/float-to-double2.yml true 23.07 12.99 None floats-cbmc-regression/float-zero-sum1.yml true 30.58 20.69 None floats-cbmc-regression/float1.yml true 27.92 17.87 None floats-cbmc-regression/float11.yml true 110.58 94.08 None floats-cbmc-regression/float12.yml true 78.03 67.12 None floats-cbmc-regression/float13.yml true 38.48 27.97 None floats-cbmc-regression/float14.yml true 25.33 14.87 None floats-cbmc-regression/float18.yml ERROR (7) 18.15 9.77 None floats-cbmc-regression/float19.yml true 29.02 18.31 None floats-cbmc-regression/float2.yml true 36.03 25.60 None floats-cbmc-regression/float20.yml true 115.09 100.70 None floats-cbmc-regression/float21.yml true 345.25 324.12 None floats-cbmc-regression/float22.yml TIMEOUT 900.34 878.26 None floats-cbmc-regression/float3.yml true 43.99 33.01 None floats-cbmc-regression/float4.yml ERROR (7) 19.09 10.52 None floats-cbmc-regression/float5.yml true 256.11 239.92 None floats-cbmc-regression/float6.yml true 51.45 37.28 None floats-cbmc-regression/float8.yml true 25.13 14.20 None floats-cbmc-regression/float_lib1.yml true 83.69 69.66 None floats-cbmc-regression/float_lib2.yml true 22.44 12.70 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml OUT OF MEMORY 686.02 602.85 None float-benchs/Muller_Kahan.yml unknown 471.87 401.11 None float-benchs/Rump_double.yml true 52.24 40.27 None float-benchs/Rump_float.yml true 41.44 29.98 None float-benchs/addsub_double_exact.yml true 23.07 13.57 None float-benchs/addsub_float_exact.yml true 19.10 11.39 None float-benchs/addsub_float_inexact.yml true 23.22 14.02 None float-benchs/arctan_Pade.yml unknown 575.10 563.91 None float-benchs/bary_diverge.yml ERROR (7) 19.54 10.98 None float-benchs/cast_float_ptr.yml unknown 23.31 14.19 None float-benchs/cast_float_union.yml true 19.59 11.13 None float-benchs/cast_union_loose.yml false(unreach-call) 23.95 13.75 None float-benchs/cast_union_tight.yml false(unreach-call) 22.70 13.15 None float-benchs/cos_polynomial.yml TIMEOUT 900.35 891.36 None float-benchs/divmul_buf_diverge.yml TIMEOUT 900.35 797.25 None float-benchs/divmul_diverge.yml TIMEOUT 900.47 793.30 None float-benchs/drift_tenth.c.p+cfa-reducer.yml TIMEOUT 900.45 878.57 None float-benchs/drift_tenth.yml TIMEOUT 900.52 872.00 None float-benchs/exp_loop.yml TIMEOUT 900.73 879.73 None float-benchs/feedback_diverge.yml TIMEOUT 900.43 792.35 None float-benchs/filter1.c.p+cfa-reducer.yml TIMEOUT 900.48 874.83 None float-benchs/filter1.c.v+lhb-reducer.yml ERROR (7) 98.46 83.52 None float-benchs/filter1.c.v+nlh-reducer.yml ERROR (7) 89.40 77.19 None float-benchs/filter1.yml unknown 340.08 317.20 None float-benchs/filter2.yml TIMEOUT 900.71 875.69 None float-benchs/filter2_alt.yml ERROR (7) 18.86 10.91 None float-benchs/filter2_iterated.yml ERROR (7) 20.81 11.70 None float-benchs/filter2_reinit.yml TIMEOUT 900.43 880.94 None float-benchs/filter2_set.yml TIMEOUT 900.45 880.61 None float-benchs/filter_iir.yml ERROR (7) 20.50 11.49 None float-benchs/float_double.yml true 21.89 13.00 None float-benchs/float_int_inv_square.yml false(unreach-call) 25.82 15.84 None float-benchs/image_filter.yml TIMEOUT 900.60 868.36 None float-benchs/interpolation.c.p+cfa-reducer.yml TIMEOUT 900.37 880.70 None float-benchs/interpolation.c.v+cfa-reducer.yml TIMEOUT 900.48 881.90 None float-benchs/interpolation.c.v+nlh-reducer.yml TIMEOUT 900.42 877.87 None float-benchs/interpolation.yml TIMEOUT 900.37 883.05 None float-benchs/interpolation2.c.p+cfa-reducer.yml TIMEOUT 900.44 877.34 None float-benchs/interpolation2.c.v+cfa-reducer.yml TIMEOUT 900.51 876.24 None float-benchs/interpolation2.c.v+nlh-reducer.yml TIMEOUT 900.46 878.30 None float-benchs/interpolation2.yml TIMEOUT 901.09 874.11 None float-benchs/inv_Newton-1.yml TIMEOUT 900.53 873.70 None float-benchs/inv_Newton-2.yml TIMEOUT 900.47 869.86 None float-benchs/inv_Newton.c.p+cfa-reducer.yml ERROR (7) 18.36 10.64 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml ERROR (7) 18.04 10.20 None float-benchs/inv_sqrt_Quake.yml unknown 96.36 84.22 None float-benchs/inv_square-1.yml false(unreach-call) 21.91 13.63 None float-benchs/inv_square-2.yml true 108.09 92.29 None float-benchs/inv_square_int.yml true 29.49 20.52 None float-benchs/loop-1.yml TIMEOUT 900.50 874.23 None float-benchs/mea8000.yml TIMEOUT 900.51 873.95 None float-benchs/nan_double.yml false(unreach-call) 20.62 12.07 None float-benchs/nan_double_range.yml true 22.77 13.09 None float-benchs/nan_float.yml false(unreach-call) 20.85 12.09 None float-benchs/nan_float_range.yml true 33.61 22.80 None float-benchs/rlim_exit.yml TIMEOUT 900.43 875.52 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 900.38 885.18 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 900.44 885.63 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 900.36 883.83 None float-benchs/rlim_invariant.yml ERROR (7) 456.70 437.11 None float-benchs/sin_interpolated_bigrange_loose.yml TIMEOUT 900.57 876.45 None float-benchs/sin_interpolated_bigrange_tight.yml TIMEOUT 900.46 878.09 None float-benchs/sin_interpolated_index-1.yml TIMEOUT 900.45 880.75 None float-benchs/sin_interpolated_index-2.yml TIMEOUT 900.44 881.88 None float-benchs/sin_interpolated_negation.yml TIMEOUT 900.50 874.44 None float-benchs/sin_interpolated_smallrange.yml TIMEOUT 900.57 873.04 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml ERROR (7) 16.89 9.59 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 272.39 254.99 None float-benchs/sqrt_Householder_interval.yml unknown 762.17 742.86 None float-benchs/sqrt_Householder_pseudoconstant.yml ERROR (7) 415.36 397.27 None float-benchs/sqrt_Newton_pseudoconstant.yml unknown 486.52 471.37 None float-benchs/sqrt_biNewton_pseudoconstant.yml unknown 599.56 580.50 None float-benchs/sqrt_poly.yml ERROR (7) 622.77 603.90 None float-benchs/sqrt_poly2.yml false(unreach-call) 35.79 24.58 None float-benchs/water_pid.yml ERROR (7) 559.34 538.61 None float-benchs/zonotope_2.yml TIMEOUT 900.77 861.97 None float-benchs/zonotope_3.c.p+cfa-reducer.yml ERROR (7) 17.02 9.36 None float-benchs/zonotope_3.c.v+lhb-reducer.yml ERROR (7) 18.50 10.27 None float-benchs/zonotope_3.yml unknown 236.00 219.57 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml true 364.09 348.17 None float-benchs/zonotope_loose.yml true 670.45 650.72 None float-benchs/zonotope_tight.yml true 561.47 543.68 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml ERROR (7) 142.18 129.35 None floats-esbmc-regression/Double_div.yml unknown 248.22 233.22 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml unknown 354.32 342.51 None floats-esbmc-regression/Double_div_bad.yml ERROR (7) 105.47 92.25 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml unknown 276.52 263.51 None floats-esbmc-regression/Float_div.yml ERROR (7) 777.74 756.21 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml unknown 311.14 296.60 None floats-esbmc-regression/Float_div_bad.yml ERROR (7) 649.52 627.56 None floats-esbmc-regression/ceil.yml true 24.46 13.56 None floats-esbmc-regression/ceil_nondet.yml unknown 19.10 10.33 None floats-esbmc-regression/copysign.yml true 20.93 11.40 None floats-esbmc-regression/digits_bad_for.yml ERROR (7) 564.46 537.92 None floats-esbmc-regression/digits_bad_while.yml TIMEOUT 900.40 881.00 None floats-esbmc-regression/digits_for.yml TIMEOUT 900.42 877.18 None floats-esbmc-regression/digits_while.yml ERROR (7) 554.61 532.45 None floats-esbmc-regression/fabs.yml true 22.73 12.74 None floats-esbmc-regression/fdim.yml true 49.01 34.58 None floats-esbmc-regression/floor.yml true 23.99 13.40 None floats-esbmc-regression/floor_nondet.yml unknown 18.38 10.00 None floats-esbmc-regression/fmax.yml true 22.99 12.88 None floats-esbmc-regression/fmin.yml true 22.17 12.40 None floats-esbmc-regression/fmod.yml ERROR (7) 18.84 10.46 None floats-esbmc-regression/fmod2.yml ERROR (7) 19.01 10.49 None floats-esbmc-regression/fmod3.yml ERROR (7) 19.11 10.54 None floats-esbmc-regression/isgreater.yml true 22.42 12.58 None floats-esbmc-regression/isgreaterequal.yml true 21.72 12.10 None floats-esbmc-regression/isless.yml true 21.07 11.94 None floats-esbmc-regression/islessequal.yml true 22.59 12.64 None floats-esbmc-regression/islessgreater.yml ERROR (7) 19.80 10.86 None floats-esbmc-regression/isunordered.yml ERROR (7) 17.61 9.70 None floats-esbmc-regression/lrint.yml unknown 19.03 10.41 None floats-esbmc-regression/modf.yml unknown 18.34 10.16 None floats-esbmc-regression/nan.yml true 21.46 12.04 None floats-esbmc-regression/nearbyint.yml unknown 17.45 9.37 None floats-esbmc-regression/nearbyint2.yml unknown 18.51 10.10 None floats-esbmc-regression/remainder.yml ERROR (7) 18.22 10.09 None floats-esbmc-regression/rint.yml unknown 18.27 9.97 None floats-esbmc-regression/rint2.yml unknown 16.98 9.44 None floats-esbmc-regression/round.yml ERROR (7) 24.69 14.70 None floats-esbmc-regression/round_nondet.yml unknown 18.33 10.06 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 24.54 13.89 None floats-esbmc-regression/trunc.yml true 21.13 11.76 None floats-esbmc-regression/trunc_nondet.yml unknown 18.30 10.09 None floats-esbmc-regression/trunc_nondet_2.yml true 84.73 72.32 None float-newlib/double_req_bl_0210.yml ERROR (7) 763.07 735.51 None float-newlib/double_req_bl_0220a.yml true 201.68 173.89 None float-newlib/double_req_bl_0220b.yml true 213.31 180.09 None float-newlib/double_req_bl_0240a.yml true 716.35 684.64 None float-newlib/double_req_bl_0240b.yml true 530.87 502.90 None float-newlib/double_req_bl_0250a.yml ERROR (7) 236.46 218.47 None float-newlib/double_req_bl_0250b.yml ERROR (7) 221.17 203.68 None float-newlib/double_req_bl_0260.yml unknown 167.80 154.82 None float-newlib/double_req_bl_0270a.yml true 92.59 73.79 None float-newlib/double_req_bl_0270b.yml true 98.44 78.59 None float-newlib/double_req_bl_0281.yml true 56.64 42.46 None float-newlib/double_req_bl_0310.yml true 474.58 445.51 None float-newlib/double_req_bl_0320.yml true 211.78 180.40 None float-newlib/double_req_bl_0330a.yml true 683.07 651.35 None float-newlib/double_req_bl_0330b.yml true 880.76 850.29 None float-newlib/double_req_bl_0460.yml true 194.74 171.35 None float-newlib/double_req_bl_0470.yml unknown 159.65 142.57 None float-newlib/double_req_bl_0480.yml true 93.63 68.46 None float-newlib/double_req_bl_0490a.yml ERROR (7) 223.88 200.83 None float-newlib/double_req_bl_0490b.yml ERROR (7) 242.54 220.97 None float-newlib/double_req_bl_0520.yml unknown 456.51 429.41 None float-newlib/double_req_bl_0530a.yml true 250.87 212.84 None float-newlib/double_req_bl_0530b.yml true 264.51 222.99 None float-newlib/double_req_bl_0550a.yml ERROR (7) 580.86 557.97 None float-newlib/double_req_bl_0550b.yml unknown 846.19 818.32 None float-newlib/double_req_bl_0620a.yml true 147.56 125.79 None float-newlib/double_req_bl_0620b.yml true 106.57 87.66 None float-newlib/double_req_bl_0621a.yml ERROR (7) 396.14 372.47 None float-newlib/double_req_bl_0621b.yml TIMEOUT 900.54 874.00 None float-newlib/double_req_bl_0660a.yml false(unreach-call) 80.92 66.59 None float-newlib/double_req_bl_0660b.yml false(unreach-call) 82.12 66.27 None float-newlib/double_req_bl_0661a.yml false(unreach-call) 80.60 65.22 None float-newlib/double_req_bl_0661b.yml false(unreach-call) 80.59 65.87 None float-newlib/double_req_bl_0662a.yml false(unreach-call) 80.21 65.65 None float-newlib/double_req_bl_0662b.yml false(unreach-call) 78.32 63.83 None float-newlib/double_req_bl_0663a.yml false(unreach-call) 81.02 65.94 None float-newlib/double_req_bl_0663b.yml false(unreach-call) 79.64 65.13 None float-newlib/double_req_bl_0670.yml false(unreach-call) 651.03 623.54 None float-newlib/double_req_bl_0680a.yml false(unreach-call) 98.62 77.58 None float-newlib/double_req_bl_0680b.yml false(unreach-call) 101.21 78.38 None float-newlib/double_req_bl_0681a.yml false(unreach-call) 98.71 77.83 None float-newlib/double_req_bl_0681b.yml false(unreach-call) 99.87 76.18 None float-newlib/double_req_bl_0682a.yml false(unreach-call) 89.45 72.59 None float-newlib/double_req_bl_0682b.yml false(unreach-call) 89.86 73.96 None float-newlib/double_req_bl_0683a.yml false(unreach-call) 90.60 72.30 None float-newlib/double_req_bl_0683b.yml false(unreach-call) 85.90 70.49 None float-newlib/double_req_bl_0684a.yml false(unreach-call) 88.18 72.13 None float-newlib/double_req_bl_0684b.yml false(unreach-call) 87.86 71.91 None float-newlib/double_req_bl_0685a.yml false(unreach-call) 86.54 72.21 None float-newlib/double_req_bl_0685b.yml false(unreach-call) 85.62 71.26 None float-newlib/double_req_bl_0686a.yml false(unreach-call) 87.68 73.17 None float-newlib/double_req_bl_0686b.yml false(unreach-call) 87.63 71.82 None float-newlib/double_req_bl_0720.yml true 182.30 166.92 None float-newlib/double_req_bl_0730a.yml false(unreach-call) 34.84 23.44 None float-newlib/double_req_bl_0730b.yml false(unreach-call) 44.70 31.33 None float-newlib/double_req_bl_0730c.yml TIMEOUT 900.45 857.01 None float-newlib/double_req_bl_0740.yml true 111.60 97.26 None float-newlib/double_req_bl_0832.yml true 300.78 276.31 None float-newlib/double_req_bl_0833.yml true 380.47 359.59 None float-newlib/double_req_bl_0834.yml false(unreach-call) 259.23 241.87 None float-newlib/double_req_bl_0870a.yml ERROR (7) 209.21 191.34 None float-newlib/double_req_bl_0870b.yml false(unreach-call) 120.66 101.93 None float-newlib/double_req_bl_0872a.yml false(unreach-call) 244.14 223.70 None float-newlib/double_req_bl_0872b.yml false(unreach-call) 250.54 229.00 None float-newlib/double_req_bl_0873a.yml false(unreach-call) 590.91 569.89 None float-newlib/double_req_bl_0873b.yml false(unreach-call) 590.12 563.59 None float-newlib/double_req_bl_0874.yml false(unreach-call) 637.32 605.28 None float-newlib/double_req_bl_0876.yml false(unreach-call) 601.15 568.14 None float-newlib/double_req_bl_0882.yml false(unreach-call) 116.35 97.88 None float-newlib/double_req_bl_0883.yml false(unreach-call) 119.29 102.01 None float-newlib/double_req_bl_0910a.yml false(unreach-call) 52.82 41.95 None float-newlib/double_req_bl_0910b.yml false(unreach-call) 51.39 40.93 None float-newlib/double_req_bl_0920a.yml false(unreach-call) 77.78 61.04 None float-newlib/double_req_bl_0920b.yml ERROR (7) 212.09 196.54 None float-newlib/double_req_bl_0921.yml ERROR (7) 451.86 434.84 None float-newlib/double_req_bl_0930.yml true 306.56 284.28 None float-newlib/double_req_bl_0931.yml false(unreach-call) 110.85 97.81 None float-newlib/double_req_bl_0960b.yml false(unreach-call) 66.50 55.02 None float-newlib/double_req_bl_0970a.yml false(unreach-call) 94.22 74.76 None float-newlib/double_req_bl_0970b.yml ERROR (7) 160.85 146.01 None float-newlib/double_req_bl_0971.yml unknown 464.02 447.93 None float-newlib/double_req_bl_0981.yml false(unreach-call) 150.56 137.26 None float-newlib/double_req_bl_1011a.yml ERROR (7) 70.32 58.94 None float-newlib/double_req_bl_1011b.yml ERROR (7) 79.19 65.95 None float-newlib/double_req_bl_1012a.yml false(unreach-call) 25.95 16.29 None float-newlib/double_req_bl_1012b.yml false(unreach-call) 27.95 16.92 None float-newlib/double_req_bl_1031.yml ERROR (7) 263.50 247.47 None float-newlib/double_req_bl_1032a.yml ERROR (7) 29.79 17.68 None float-newlib/double_req_bl_1032b.yml ERROR (7) 34.42 21.03 None float-newlib/double_req_bl_1032c.yml false(unreach-call) 143.74 130.07 None float-newlib/double_req_bl_1032d.yml false(unreach-call) 128.93 114.34 None float-newlib/double_req_bl_1051.yml ERROR (7) 269.67 253.53 None float-newlib/double_req_bl_1052a.yml false(unreach-call) 126.58 111.84 None float-newlib/double_req_bl_1052b.yml false(unreach-call) 181.65 167.40 None float-newlib/double_req_bl_1052c.yml false(unreach-call) 36.87 24.66 None float-newlib/double_req_bl_1052d.yml ERROR (7) 37.94 26.19 None float-newlib/double_req_bl_1071.yml true 156.11 142.45 None float-newlib/double_req_bl_1072a.yml false(unreach-call) 25.26 15.80 None float-newlib/double_req_bl_1072b.yml true 28.60 16.67 None float-newlib/double_req_bl_1072c.yml true 31.30 18.55 None float-newlib/double_req_bl_1072d.yml false(unreach-call) 27.02 16.95 None float-newlib/double_req_bl_1091.yml ERROR (7) 270.52 256.51 None float-newlib/double_req_bl_1092a.yml ERROR (7) 52.44 37.84 None float-newlib/double_req_bl_1092b.yml false(unreach-call) 34.84 23.80 None float-newlib/double_req_bl_1092c.yml false(unreach-call) 70.47 57.37 None float-newlib/double_req_bl_1092d.yml false(unreach-call) 127.67 114.50 None float-newlib/double_req_bl_1121a.yml false(unreach-call) 60.49 46.00 None float-newlib/double_req_bl_1121b.yml false(unreach-call) 58.03 44.72 None float-newlib/double_req_bl_1122a.yml ERROR (7) 116.62 99.03 None float-newlib/double_req_bl_1122b.yml ERROR (7) 150.34 133.55 None float-newlib/double_req_bl_1130a.yml false(unreach-call) 36.37 24.06 None float-newlib/double_req_bl_1131a.yml false(unreach-call) 35.80 24.68 None float-newlib/double_req_bl_1131b.yml false(unreach-call) 39.45 26.65 None float-newlib/double_req_bl_1210.yml false(unreach-call) 210.02 193.83 None float-newlib/double_req_bl_1211a.yml ERROR (7) 628.72 610.16 None float-newlib/double_req_bl_1211b.yml ERROR (7) 419.27 402.43 None float-newlib/double_req_bl_1230.yml ERROR (7) 635.40 613.04 None float-newlib/double_req_bl_1231b.yml false(unreach-call) 27.34 16.93 None float-newlib/double_req_bl_1232a.yml true 37.00 22.38 None float-newlib/double_req_bl_1232b.yml false(unreach-call) 30.65 18.31 None float-newlib/double_req_bl_1250.yml ERROR (7) 230.83 214.90 None float-newlib/double_req_bl_1251b.yml false(unreach-call) 29.26 18.21 None float-newlib/double_req_bl_1252a.yml true 31.50 19.08 None float-newlib/double_req_bl_1252b.yml false(unreach-call) 31.41 18.91 None float-newlib/double_req_bl_1300.yml false(unreach-call) 24.73 14.56 None float-newlib/float_req_bl_0220a.yml true 154.43 126.53 None float-newlib/float_req_bl_0220b.yml true 162.22 132.30 None float-newlib/float_req_bl_0240a.yml ERROR (7) 293.65 268.42 None float-newlib/float_req_bl_0240b.yml ERROR (7) 533.04 510.37 None float-newlib/float_req_bl_0250a.yml true 121.68 105.63 None float-newlib/float_req_bl_0250b.yml true 126.51 108.41 None float-newlib/float_req_bl_0260.yml true 106.68 90.82 None float-newlib/float_req_bl_0270a.yml true 152.64 132.19 None float-newlib/float_req_bl_0270b.yml true 98.49 82.20 None float-newlib/float_req_bl_0281.yml true 109.05 90.97 None float-newlib/float_req_bl_0310.yml ERROR (7) 267.13 242.10 None float-newlib/float_req_bl_0320a.yml true 210.43 182.21 None float-newlib/float_req_bl_0320b.yml true 249.11 216.73 None float-newlib/float_req_bl_0330a.yml ERROR (7) 289.59 266.76 None float-newlib/float_req_bl_0330b.yml ERROR (7) 527.92 504.31 None float-newlib/float_req_bl_0460.yml true 154.18 133.92 None float-newlib/float_req_bl_0470.yml true 116.91 99.78 None float-newlib/float_req_bl_0480.yml true 169.71 152.15 None float-newlib/float_req_bl_0490a.yml true 108.52 91.66 None float-newlib/float_req_bl_0490b.yml true 154.92 136.80 None float-newlib/float_req_bl_0530a.yml true 144.55 114.49 None float-newlib/float_req_bl_0530b.yml true 169.08 133.64 None float-newlib/float_req_bl_0550a.yml ERROR (7) 292.54 268.95 None float-newlib/float_req_bl_0550b.yml ERROR (7) 484.38 459.88 None float-newlib/float_req_bl_0610.yml true 123.45 107.53 None float-newlib/float_req_bl_0620a.yml true 158.40 142.04 None float-newlib/float_req_bl_0620b.yml true 273.37 255.00 None float-newlib/float_req_bl_0621a.yml TIMEOUT 900.36 883.43 None float-newlib/float_req_bl_0621b.yml TIMEOUT 900.43 880.71 None float-newlib/float_req_bl_0660a.yml true 300.18 270.65 None float-newlib/float_req_bl_0660b.yml true 359.62 333.86 None float-newlib/float_req_bl_0661a.yml true 412.43 383.79 None float-newlib/float_req_bl_0661b.yml true 238.24 213.66 None float-newlib/float_req_bl_0662a.yml true 238.28 216.38 None float-newlib/float_req_bl_0662b.yml true 243.65 222.54 None float-newlib/float_req_bl_0663a.yml true 291.60 270.75 None float-newlib/float_req_bl_0663b.yml true 276.73 258.12 None float-newlib/float_req_bl_0670.yml true 440.46 413.53 None float-newlib/float_req_bl_0680a.yml true 278.91 255.57 None float-newlib/float_req_bl_0680b.yml true 247.11 224.27 None float-newlib/float_req_bl_0681a.yml true 89.19 67.71 None float-newlib/float_req_bl_0681b.yml true 83.69 64.48 None float-newlib/float_req_bl_0682a.yml TIMEOUT 900.47 876.51 None float-newlib/float_req_bl_0682b.yml TIMEOUT 900.52 874.05 None float-newlib/float_req_bl_0683a.yml TIMEOUT 900.63 863.80 None float-newlib/float_req_bl_0683b.yml TIMEOUT 900.57 874.61 None float-newlib/float_req_bl_0684a.yml TIMEOUT 900.43 877.72 None float-newlib/float_req_bl_0684b.yml TIMEOUT 900.53 877.31 None float-newlib/float_req_bl_0685a.yml ERROR (7) 274.70 258.83 None float-newlib/float_req_bl_0685b.yml unknown 495.73 475.30 None float-newlib/float_req_bl_0686a.yml true 867.43 846.05 None float-newlib/float_req_bl_0686b.yml ERROR (7) 566.96 547.09 None float-newlib/float_req_bl_0710.yml true 129.43 114.51 None float-newlib/float_req_bl_0720.yml true 129.49 114.73 None float-newlib/float_req_bl_0730a.yml true 172.27 157.00 None float-newlib/float_req_bl_0730b.yml true 30.67 17.42 None float-newlib/float_req_bl_0730c.yml true 31.42 18.50 None float-newlib/float_req_bl_0740.yml ERROR (7) 476.62 462.95 None float-newlib/float_req_bl_0831.yml true 97.62 82.02 None float-newlib/float_req_bl_0832a.yml true 166.10 149.81 None float-newlib/float_req_bl_0832b.yml true 252.91 235.27 None float-newlib/float_req_bl_0833.yml true 496.93 479.18 None float-newlib/float_req_bl_0834.yml true 421.87 405.11 None float-newlib/float_req_bl_0870a.yml false(unreach-call) 157.53 135.56 None float-newlib/float_req_bl_0870b.yml true 204.61 183.01 None float-newlib/float_req_bl_0872a.yml true 202.90 180.30 None float-newlib/float_req_bl_0872b.yml true 194.13 173.23 None float-newlib/float_req_bl_0873a.yml true 375.87 350.30 None float-newlib/float_req_bl_0873b.yml true 395.17 373.15 None float-newlib/float_req_bl_0874.yml TIMEOUT 900.53 874.11 None float-newlib/float_req_bl_0875.yml TIMEOUT 900.45 875.27 None float-newlib/float_req_bl_0876.yml TIMEOUT 900.45 871.29 None float-newlib/float_req_bl_0877.yml TIMEOUT 900.59 875.45 None float-newlib/float_req_bl_0880.yml TIMEOUT 900.57 859.55 None float-newlib/float_req_bl_0881.yml TIMEOUT 900.55 856.78 None float-newlib/float_req_bl_0883.yml TIMEOUT 900.50 870.28 None float-newlib/float_req_bl_0910a.yml ERROR (7) 179.45 163.18 None float-newlib/float_req_bl_0910b.yml ERROR (7) 201.64 187.70 None float-newlib/float_req_bl_0920a.yml true 102.73 85.89 None float-newlib/float_req_bl_0920b.yml true 127.65 115.34 None float-newlib/float_req_bl_0921.yml true 300.23 285.84 None float-newlib/float_req_bl_0930.yml true 422.16 400.37 None float-newlib/float_req_bl_0931.yml true 266.90 252.78 None float-newlib/float_req_bl_0960a.yml true 255.11 239.37 None float-newlib/float_req_bl_0960b.yml true 213.25 199.75 None float-newlib/float_req_bl_0970a.yml ERROR (7) 115.13 100.64 None float-newlib/float_req_bl_0970b.yml ERROR (7) 122.98 109.47 None float-newlib/float_req_bl_0971.yml ERROR (7) 292.29 275.68 None float-newlib/float_req_bl_0981.yml true 252.44 236.71 None float-newlib/float_req_bl_1010.yml true 104.49 93.28 None float-newlib/float_req_bl_1011a.yml true 26.34 15.18 None float-newlib/float_req_bl_1011b.yml true 29.47 17.66 None float-newlib/float_req_bl_1012a.yml true 254.32 241.69 None float-newlib/float_req_bl_1012b.yml true 328.91 315.46 None float-newlib/float_req_bl_1031.yml true 150.18 136.15 None float-newlib/float_req_bl_1032a.yml true 24.87 14.61 None float-newlib/float_req_bl_1032b.yml true 32.11 20.19 None float-newlib/float_req_bl_1032c.yml true 317.94 303.57 None float-newlib/float_req_bl_1032d.yml true 328.19 310.45 None float-newlib/float_req_bl_1051.yml true 241.25 225.13 None float-newlib/float_req_bl_1052a.yml true 294.37 278.06 None float-newlib/float_req_bl_1052b.yml true 694.53 676.98 None float-newlib/float_req_bl_1052c.yml ERROR (7) 583.81 566.12 None float-newlib/float_req_bl_1052d.yml true 65.76 50.09 None float-newlib/float_req_bl_1071.yml true 112.73 92.63 None float-newlib/float_req_bl_1072a.yml true 266.64 252.79 None float-newlib/float_req_bl_1072b.yml true 419.57 405.86 None float-newlib/float_req_bl_1072c.yml true 25.68 14.95 None float-newlib/float_req_bl_1072d.yml true 29.55 18.20 None float-newlib/float_req_bl_1091.yml true 189.26 174.14 None float-newlib/float_req_bl_1092a.yml true 132.75 117.33 None float-newlib/float_req_bl_1092b.yml true 54.80 43.24 None float-newlib/float_req_bl_1092c.yml true 269.19 252.41 None float-newlib/float_req_bl_1092d.yml true 452.23 435.78 None float-newlib/float_req_bl_1121a.yml true 43.98 30.28 None float-newlib/float_req_bl_1121b.yml true 45.58 32.88 None float-newlib/float_req_bl_1122a.yml true 91.12 74.43 None float-newlib/float_req_bl_1122b.yml true 129.20 110.74 None float-newlib/float_req_bl_1130a.yml true 74.48 44.28 None float-newlib/float_req_bl_1130b.yml true 69.98 52.29 None float-newlib/float_req_bl_1131a.yml true 316.12 300.68 None float-newlib/float_req_bl_1131b.yml true 880.38 853.87 None float-newlib/float_req_bl_1210.yml false(unreach-call) 96.55 74.06 None float-newlib/float_req_bl_1211a.yml true 449.22 431.24 None float-newlib/float_req_bl_1211b.yml ERROR (7) 560.68 539.04 None float-newlib/float_req_bl_1230.yml true 93.55 78.97 None float-newlib/float_req_bl_1231.yml true 58.76 35.76 None float-newlib/float_req_bl_1232a.yml true 54.30 30.85 None float-newlib/float_req_bl_1232b.yml false(unreach-call) 28.08 16.71 None float-newlib/float_req_bl_1250.yml true 171.11 153.08 None float-newlib/float_req_bl_1251.yml true 80.95 47.37 None float-newlib/float_req_bl_1252a.yml true 31.11 18.73 None float-newlib/float_req_bl_1252b.yml false(unreach-call) 29.25 17.62 None float-newlib/float_req_bl_1270a.yml TIMEOUT 900.47 883.15 None float-newlib/float_req_bl_1270b.yml TIMEOUT 900.39 884.98 None float-newlib/float_req_bl_1270c.yml TIMEOUT 900.41 881.93 None float-newlib/float_req_bl_1270d.yml TIMEOUT 900.43 873.91 None float-newlib/float_req_bl_1271a.yml ERROR (7) 151.41 138.07 None float-newlib/float_req_bl_1271b.yml ERROR (7) 454.16 430.66 None float-newlib/float_req_bl_1381.yml true 123.18 111.53 None loop-floats-scientific-comp/loop1-1.yml TIMEOUT 900.37 878.20 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 27.29 18.28 None loop-floats-scientific-comp/loop2-1.yml false(unreach-call) 41.43 30.00 None loop-floats-scientific-comp/loop2-2.yml TIMEOUT 900.38 882.24 None loop-floats-scientific-comp/loop3.yml ERROR (7) 502.92 481.28 None loop-floats-scientific-comp/loop4.yml ERROR (7) 18.49 10.14 None loop-floats-scientific-comp/loop5.yml ERROR (7) 19.58 10.72 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 72261.91 10694.00 - Statistics: 469 Files correct: 206 correct true: 178 correct false: 28 incorrect: 62 incorrect true: 0 incorrect false: 62 unknown: 201 Score: -608 (max: 893)