BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Floats date: Wed, 2020-12-02 13:39:36 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.56 None floats-cdfpl/newton_1_2.yml TIMEOUT 900.33 890.85 None floats-cdfpl/newton_1_3.yml TIMEOUT 900.33 891.03 None floats-cdfpl/newton_1_4.yml TIMEOUT 900.33 891.25 None floats-cdfpl/newton_1_5.yml false(unreach-call) 482.94 472.17 None floats-cdfpl/newton_1_6.yml false(unreach-call) 352.66 342.56 None floats-cdfpl/newton_1_7.yml false(unreach-call) 182.54 172.02 None floats-cdfpl/newton_1_8.yml false(unreach-call) 74.43 64.68 None floats-cdfpl/newton_2_1.yml TIMEOUT 900.35 890.67 None floats-cdfpl/newton_2_2.yml TIMEOUT 900.35 889.68 None floats-cdfpl/newton_2_3.yml TIMEOUT 900.36 889.57 None floats-cdfpl/newton_2_4.yml TIMEOUT 900.34 891.42 None floats-cdfpl/newton_2_5.yml TIMEOUT 900.36 889.81 None floats-cdfpl/newton_2_6.yml TIMEOUT 900.36 889.17 None floats-cdfpl/newton_2_7.yml TIMEOUT 900.34 889.73 None floats-cdfpl/newton_2_8.yml false(unreach-call) 540.55 530.07 None floats-cdfpl/newton_3_1.yml TIMEOUT 901.06 897.65 None floats-cdfpl/newton_3_2.yml TIMEOUT 900.27 896.66 None floats-cdfpl/newton_3_3.yml TIMEOUT 900.17 908.61 None floats-cdfpl/newton_3_4.yml TIMEOUT 900.31 901.76 None floats-cdfpl/newton_3_5.yml TIMEOUT 900.26 909.71 None floats-cdfpl/newton_3_6.yml TIMEOUT 900.29 903.20 None floats-cdfpl/newton_3_7.yml false(unreach-call) 107.37 95.54 None floats-cdfpl/newton_3_8.yml false(unreach-call) 489.03 483.71 None floats-cdfpl/sine_1.yml false(unreach-call) 60.72 51.05 None floats-cdfpl/sine_2.yml false(unreach-call) 120.80 111.21 None floats-cdfpl/sine_3.yml TIMEOUT 900.21 913.41 None floats-cdfpl/sine_4.yml TIMEOUT 900.23 906.21 None floats-cdfpl/sine_5.yml TIMEOUT 900.21 912.02 None floats-cdfpl/sine_6.yml TIMEOUT 900.43 908.59 None floats-cdfpl/sine_7.yml TIMEOUT 900.47 908.65 None floats-cdfpl/sine_8.yml TIMEOUT 900.19 910.90 None floats-cdfpl/square_1.yml false(unreach-call) 320.24 317.41 None floats-cdfpl/square_2.yml false(unreach-call) 129.17 118.66 None floats-cdfpl/square_3.yml false(unreach-call) 265.10 260.87 None floats-cdfpl/square_4.yml TIMEOUT 900.17 911.97 None floats-cdfpl/square_5.yml TIMEOUT 900.20 911.73 None floats-cdfpl/square_6.yml TIMEOUT 900.20 911.82 None floats-cdfpl/square_7.yml TIMEOUT 900.27 904.49 None floats-cdfpl/square_8.yml true 337.36 332.03 None floats-cbmc-regression/float-div1.yml ERROR (7) 97.20 91.46 None floats-cbmc-regression/float-flags-simp1.yml true 303.30 301.12 None floats-cbmc-regression/float-no-simp1.yml true 29.34 19.60 None floats-cbmc-regression/float-no-simp2.yml ERROR (7) 17.92 9.93 None floats-cbmc-regression/float-no-simp3.yml true 38.97 29.49 None floats-cbmc-regression/float-no-simp4.yml true 26.71 15.61 None floats-cbmc-regression/float-no-simp6.yml true 35.49 25.40 None floats-cbmc-regression/float-no-simp7.yml true 32.83 22.63 None floats-cbmc-regression/float-no-simp8.yml true 30.11 19.05 None floats-cbmc-regression/float-rounding1.yml ERROR (7) 740.09 740.84 None floats-cbmc-regression/float-to-double1.yml true 67.86 69.24 None floats-cbmc-regression/float-to-double2.yml true 22.89 16.41 None floats-cbmc-regression/float-zero-sum1.yml true 33.05 27.38 None floats-cbmc-regression/float1.yml true 31.10 27.14 None floats-cbmc-regression/float11.yml true 111.00 113.49 None floats-cbmc-regression/float12.yml true 82.77 86.23 None floats-cbmc-regression/float13.yml true 44.24 40.60 None floats-cbmc-regression/float14.yml true 25.09 18.86 None floats-cbmc-regression/float18.yml ERROR (7) 18.12 13.66 None floats-cbmc-regression/float19.yml true 31.81 26.49 None floats-cbmc-regression/float2.yml true 39.82 37.35 None floats-cbmc-regression/float20.yml true 139.19 130.41 None floats-cbmc-regression/float21.yml true 271.76 259.69 None floats-cbmc-regression/float22.yml TIMEOUT 900.34 880.23 None floats-cbmc-regression/float3.yml true 55.47 47.41 None floats-cbmc-regression/float4.yml ERROR (7) 20.05 11.82 None floats-cbmc-regression/float5.yml ERROR (7) 204.65 190.09 None floats-cbmc-regression/float6.yml true 47.13 33.50 None floats-cbmc-regression/float8.yml true 23.19 13.63 None floats-cbmc-regression/float_lib1.yml true 88.25 73.05 None floats-cbmc-regression/float_lib2.yml true 22.71 12.78 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml OUT OF MEMORY 687.89 609.33 None float-benchs/Muller_Kahan.yml unknown 483.91 409.24 None float-benchs/Rump_double.yml true 49.07 37.91 None float-benchs/Rump_float.yml true 40.39 29.61 None float-benchs/addsub_double_exact.yml true 23.43 13.58 None float-benchs/addsub_float_exact.yml true 21.36 12.24 None float-benchs/addsub_float_inexact.yml true 22.71 13.80 None float-benchs/arctan_Pade.yml unknown 621.14 608.48 None float-benchs/bary_diverge.yml ERROR (7) 19.57 11.07 None float-benchs/cast_float_ptr.yml unknown 23.68 14.56 None float-benchs/cast_float_union.yml true 19.54 11.28 None float-benchs/cast_union_loose.yml false(unreach-call) 24.26 14.00 None float-benchs/cast_union_tight.yml false(unreach-call) 22.09 12.86 None float-benchs/cos_polynomial.yml TIMEOUT 900.36 892.04 None float-benchs/divmul_buf_diverge.yml TIMEOUT 900.47 793.58 None float-benchs/divmul_diverge.yml TIMEOUT 900.15 794.01 None float-benchs/drift_tenth.c.p+cfa-reducer.yml TIMEOUT 900.43 882.89 None float-benchs/drift_tenth.yml TIMEOUT 900.51 872.22 None float-benchs/exp_loop.yml TIMEOUT 900.50 882.97 None float-benchs/feedback_diverge.yml TIMEOUT 900.26 797.79 None float-benchs/filter1.c.p+cfa-reducer.yml TIMEOUT 900.56 872.08 None float-benchs/filter1.c.v+lhb-reducer.yml ERROR (7) 101.52 86.76 None float-benchs/filter1.c.v+nlh-reducer.yml ERROR (7) 97.44 83.18 None float-benchs/filter1.yml unknown 252.37 228.89 None float-benchs/filter2.yml TIMEOUT 900.64 861.71 None float-benchs/filter2_alt.yml ERROR (7) 18.82 10.54 None float-benchs/filter2_iterated.yml ERROR (7) 18.42 10.61 None float-benchs/filter2_reinit.yml TIMEOUT 900.44 882.36 None float-benchs/filter2_set.yml unknown 820.32 800.47 None float-benchs/filter_iir.yml ERROR (7) 20.74 11.68 None float-benchs/float_double.yml true 23.26 13.64 None float-benchs/float_int_inv_square.yml false(unreach-call) 26.24 15.89 None float-benchs/image_filter.yml TIMEOUT 900.58 870.06 None float-benchs/interpolation.c.p+cfa-reducer.yml TIMEOUT 900.39 881.43 None float-benchs/interpolation.c.v+cfa-reducer.yml TIMEOUT 900.47 878.60 None float-benchs/interpolation.c.v+nlh-reducer.yml TIMEOUT 900.42 879.22 None float-benchs/interpolation.yml TIMEOUT 900.37 883.96 None float-benchs/interpolation2.c.p+cfa-reducer.yml TIMEOUT 900.48 876.70 None float-benchs/interpolation2.c.v+cfa-reducer.yml TIMEOUT 900.48 876.60 None float-benchs/interpolation2.c.v+nlh-reducer.yml TIMEOUT 900.52 879.43 None float-benchs/interpolation2.yml TIMEOUT 900.45 877.88 None float-benchs/inv_Newton-1.yml TIMEOUT 900.63 872.08 None float-benchs/inv_Newton-2.yml TIMEOUT 900.46 869.07 None float-benchs/inv_Newton.c.p+cfa-reducer.yml ERROR (7) 22.48 12.52 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml ERROR (7) 20.02 11.42 None float-benchs/inv_sqrt_Quake.yml unknown 108.25 92.84 None float-benchs/inv_square-1.yml false(unreach-call) 25.43 15.31 None float-benchs/inv_square-2.yml true 94.39 80.90 None float-benchs/inv_square_int.yml true 30.57 21.02 None float-benchs/loop-1.yml TIMEOUT 900.46 875.80 None float-benchs/mea8000.yml TIMEOUT 900.57 867.30 None float-benchs/nan_double.yml false(unreach-call) 21.07 12.21 None float-benchs/nan_double_range.yml true 23.39 13.46 None float-benchs/nan_float.yml false(unreach-call) 21.05 11.99 None float-benchs/nan_float_range.yml true 32.93 22.66 None float-benchs/rlim_exit.yml TIMEOUT 900.43 872.17 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 900.42 883.59 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 900.37 883.94 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 900.37 884.56 None float-benchs/rlim_invariant.yml ERROR (7) 457.10 437.63 None float-benchs/sin_interpolated_bigrange_loose.yml TIMEOUT 900.57 876.05 None float-benchs/sin_interpolated_bigrange_tight.yml TIMEOUT 900.47 874.92 None float-benchs/sin_interpolated_index-1.yml TIMEOUT 900.43 881.92 None float-benchs/sin_interpolated_index-2.yml TIMEOUT 900.46 881.61 None float-benchs/sin_interpolated_negation.yml TIMEOUT 900.51 873.57 None float-benchs/sin_interpolated_smallrange.yml TIMEOUT 900.75 868.33 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml ERROR (7) 15.70 9.00 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 278.32 261.11 None float-benchs/sqrt_Householder_interval.yml unknown 685.20 666.26 None float-benchs/sqrt_Householder_pseudoconstant.yml ERROR (7) 452.66 434.63 None float-benchs/sqrt_Newton_pseudoconstant.yml unknown 455.40 440.41 None float-benchs/sqrt_biNewton_pseudoconstant.yml unknown 580.52 560.89 None float-benchs/sqrt_poly.yml ERROR (7) 616.77 598.80 None float-benchs/sqrt_poly2.yml false(unreach-call) 36.24 25.20 None float-benchs/water_pid.yml ERROR (7) 544.56 524.33 None float-benchs/zonotope_2.yml TIMEOUT 900.80 859.50 None float-benchs/zonotope_3.c.p+cfa-reducer.yml ERROR (7) 17.27 9.69 None float-benchs/zonotope_3.c.v+lhb-reducer.yml ERROR (7) 17.97 10.11 None float-benchs/zonotope_3.yml unknown 237.73 220.49 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml ERROR (7) 144.09 130.64 None float-benchs/zonotope_loose.yml true 607.16 583.81 None float-benchs/zonotope_tight.yml true 505.73 485.87 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml ERROR (7) 141.43 128.39 None floats-esbmc-regression/Double_div.yml unknown 264.36 249.81 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml unknown 375.07 362.08 None floats-esbmc-regression/Double_div_bad.yml ERROR (7) 180.16 169.05 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml unknown 253.39 240.86 None floats-esbmc-regression/Float_div.yml ERROR (7) 811.39 788.47 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml unknown 290.55 276.93 None floats-esbmc-regression/Float_div_bad.yml ERROR (7) 620.36 597.75 None floats-esbmc-regression/ceil.yml true 21.25 12.26 None floats-esbmc-regression/ceil_nondet.yml unknown 17.28 9.64 None floats-esbmc-regression/copysign.yml true 21.42 12.14 None floats-esbmc-regression/digits_bad_for.yml TIMEOUT 900.43 874.30 None floats-esbmc-regression/digits_bad_while.yml ERROR (7) 580.36 561.03 None floats-esbmc-regression/digits_for.yml ERROR (7) 576.21 555.36 None floats-esbmc-regression/digits_while.yml TIMEOUT 900.45 875.35 None floats-esbmc-regression/fabs.yml true 22.54 12.61 None floats-esbmc-regression/fdim.yml true 47.45 32.84 None floats-esbmc-regression/floor.yml true 24.22 13.36 None floats-esbmc-regression/floor_nondet.yml unknown 16.97 9.37 None floats-esbmc-regression/fmax.yml true 20.67 11.82 None floats-esbmc-regression/fmin.yml true 23.03 12.72 None floats-esbmc-regression/fmod.yml ERROR (7) 17.76 9.78 None floats-esbmc-regression/fmod2.yml ERROR (7) 19.55 10.67 None floats-esbmc-regression/fmod3.yml ERROR (7) 20.21 10.99 None floats-esbmc-regression/isgreater.yml true 21.28 11.77 None floats-esbmc-regression/isgreaterequal.yml true 23.02 12.76 None floats-esbmc-regression/isless.yml true 22.47 12.71 None floats-esbmc-regression/islessequal.yml true 20.55 11.48 None floats-esbmc-regression/islessgreater.yml ERROR (7) 20.38 11.07 None floats-esbmc-regression/isunordered.yml ERROR (7) 18.19 10.12 None floats-esbmc-regression/lrint.yml unknown 17.11 9.43 None floats-esbmc-regression/modf.yml unknown 18.72 10.23 None floats-esbmc-regression/nan.yml true 22.91 12.77 None floats-esbmc-regression/nearbyint.yml unknown 16.97 9.19 None floats-esbmc-regression/nearbyint2.yml unknown 18.91 10.22 None floats-esbmc-regression/remainder.yml ERROR (7) 17.19 9.46 None floats-esbmc-regression/rint.yml unknown 19.07 10.33 None floats-esbmc-regression/rint2.yml unknown 18.99 10.34 None floats-esbmc-regression/round.yml ERROR (7) 22.58 13.22 None floats-esbmc-regression/round_nondet.yml unknown 18.19 10.05 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 24.36 13.98 None floats-esbmc-regression/trunc.yml true 23.58 13.10 None floats-esbmc-regression/trunc_nondet.yml unknown 18.60 10.29 None floats-esbmc-regression/trunc_nondet_2.yml true 81.96 71.25 None float-newlib/double_req_bl_0210.yml true 605.02 577.52 None float-newlib/double_req_bl_0220a.yml true 205.40 176.14 None float-newlib/double_req_bl_0220b.yml true 213.66 181.73 None float-newlib/double_req_bl_0240a.yml TIMEOUT 900.44 877.57 None float-newlib/double_req_bl_0240b.yml true 757.23 728.64 None float-newlib/double_req_bl_0250a.yml ERROR (7) 209.97 190.58 None float-newlib/double_req_bl_0250b.yml ERROR (7) 184.68 168.93 None float-newlib/double_req_bl_0260.yml ERROR (7) 253.10 235.12 None float-newlib/double_req_bl_0270a.yml true 91.01 72.08 None float-newlib/double_req_bl_0270b.yml true 100.41 81.17 None float-newlib/double_req_bl_0281.yml true 55.93 42.23 None float-newlib/double_req_bl_0310.yml unknown 860.05 827.79 None float-newlib/double_req_bl_0320.yml true 215.12 183.52 None float-newlib/double_req_bl_0330a.yml TIMEOUT 900.58 875.36 None float-newlib/double_req_bl_0330b.yml true 578.61 548.11 None float-newlib/double_req_bl_0460.yml true 211.86 184.77 None float-newlib/double_req_bl_0470.yml unknown 165.46 147.82 None float-newlib/double_req_bl_0480.yml true 88.53 66.74 None float-newlib/double_req_bl_0490a.yml ERROR (7) 179.06 161.12 None float-newlib/double_req_bl_0490b.yml ERROR (7) 218.04 199.78 None float-newlib/double_req_bl_0520.yml ERROR (7) 501.66 469.78 None float-newlib/double_req_bl_0530a.yml true 255.66 216.57 None float-newlib/double_req_bl_0530b.yml true 255.37 218.93 None float-newlib/double_req_bl_0550a.yml TIMEOUT 900.67 871.53 None float-newlib/double_req_bl_0550b.yml ERROR (7) 380.59 356.85 None float-newlib/double_req_bl_0620a.yml true 146.74 124.95 None float-newlib/double_req_bl_0620b.yml true 124.28 105.97 None float-newlib/double_req_bl_0621a.yml ERROR (7) 397.75 368.56 None float-newlib/double_req_bl_0621b.yml TIMEOUT 900.67 870.72 None float-newlib/double_req_bl_0660a.yml false(unreach-call) 78.95 64.86 None float-newlib/double_req_bl_0660b.yml false(unreach-call) 76.39 62.95 None float-newlib/double_req_bl_0661a.yml false(unreach-call) 80.63 66.17 None float-newlib/double_req_bl_0661b.yml false(unreach-call) 75.70 61.85 None float-newlib/double_req_bl_0662a.yml false(unreach-call) 81.62 67.29 None float-newlib/double_req_bl_0662b.yml false(unreach-call) 77.95 63.70 None float-newlib/double_req_bl_0663a.yml false(unreach-call) 76.82 62.90 None float-newlib/double_req_bl_0663b.yml false(unreach-call) 80.97 65.48 None float-newlib/double_req_bl_0670.yml false(unreach-call) 674.85 649.86 None float-newlib/double_req_bl_0680a.yml false(unreach-call) 100.63 78.95 None float-newlib/double_req_bl_0680b.yml false(unreach-call) 97.21 75.92 None float-newlib/double_req_bl_0681a.yml false(unreach-call) 89.68 73.32 None float-newlib/double_req_bl_0681b.yml false(unreach-call) 99.83 78.50 None float-newlib/double_req_bl_0682a.yml false(unreach-call) 88.71 72.05 None float-newlib/double_req_bl_0682b.yml false(unreach-call) 89.28 72.26 None float-newlib/double_req_bl_0683a.yml false(unreach-call) 89.38 72.75 None float-newlib/double_req_bl_0683b.yml false(unreach-call) 87.53 70.65 None float-newlib/double_req_bl_0684a.yml false(unreach-call) 79.94 66.23 None float-newlib/double_req_bl_0684b.yml false(unreach-call) 84.54 70.05 None float-newlib/double_req_bl_0685a.yml false(unreach-call) 91.84 74.66 None float-newlib/double_req_bl_0685b.yml false(unreach-call) 91.40 75.16 None float-newlib/double_req_bl_0686a.yml false(unreach-call) 85.73 70.56 None float-newlib/double_req_bl_0686b.yml false(unreach-call) 85.49 70.05 None float-newlib/double_req_bl_0720.yml true 219.66 203.83 None float-newlib/double_req_bl_0730a.yml false(unreach-call) 34.88 23.42 None float-newlib/double_req_bl_0730b.yml false(unreach-call) 38.52 28.01 None float-newlib/double_req_bl_0730c.yml TIMEOUT 900.44 860.03 None float-newlib/double_req_bl_0740.yml true 112.88 97.00 None float-newlib/double_req_bl_0832.yml true 284.06 260.96 None float-newlib/double_req_bl_0833.yml true 340.52 318.40 None float-newlib/double_req_bl_0834.yml false(unreach-call) 195.43 178.08 None float-newlib/double_req_bl_0870a.yml ERROR (7) 205.65 187.24 None float-newlib/double_req_bl_0870b.yml false(unreach-call) 119.06 100.76 None float-newlib/double_req_bl_0872a.yml false(unreach-call) 246.00 224.91 None float-newlib/double_req_bl_0872b.yml false(unreach-call) 260.40 236.88 None float-newlib/double_req_bl_0873a.yml false(unreach-call) 539.64 514.58 None float-newlib/double_req_bl_0873b.yml ERROR (7) 483.21 461.66 None float-newlib/double_req_bl_0874.yml false(unreach-call) 506.42 475.53 None float-newlib/double_req_bl_0876.yml false(unreach-call) 576.04 540.35 None float-newlib/double_req_bl_0882.yml false(unreach-call) 122.23 102.83 None float-newlib/double_req_bl_0883.yml false(unreach-call) 113.92 95.82 None float-newlib/double_req_bl_0910a.yml false(unreach-call) 54.39 42.32 None float-newlib/double_req_bl_0910b.yml false(unreach-call) 52.19 41.68 None float-newlib/double_req_bl_0920a.yml false(unreach-call) 77.42 60.30 None float-newlib/double_req_bl_0920b.yml ERROR (7) 126.74 112.90 None float-newlib/double_req_bl_0921.yml unknown 377.05 363.75 None float-newlib/double_req_bl_0930.yml true 303.05 281.16 None float-newlib/double_req_bl_0931.yml false(unreach-call) 106.07 93.95 None float-newlib/double_req_bl_0960b.yml false(unreach-call) 65.37 53.86 None float-newlib/double_req_bl_0970a.yml false(unreach-call) 88.26 72.29 None float-newlib/double_req_bl_0970b.yml ERROR (7) 262.49 246.47 None float-newlib/double_req_bl_0971.yml ERROR (7) 533.54 518.52 None float-newlib/double_req_bl_0981.yml false(unreach-call) 142.81 130.19 None float-newlib/double_req_bl_1011a.yml ERROR (7) 81.16 66.70 None float-newlib/double_req_bl_1011b.yml ERROR (7) 75.64 63.52 None float-newlib/double_req_bl_1012a.yml false(unreach-call) 24.35 15.29 None float-newlib/double_req_bl_1012b.yml false(unreach-call) 24.22 15.07 None float-newlib/double_req_bl_1031.yml ERROR (7) 265.66 248.87 None float-newlib/double_req_bl_1032a.yml ERROR (7) 28.38 16.92 None float-newlib/double_req_bl_1032b.yml ERROR (7) 34.57 20.90 None float-newlib/double_req_bl_1032c.yml false(unreach-call) 100.58 88.04 None float-newlib/double_req_bl_1032d.yml false(unreach-call) 106.43 94.47 None float-newlib/double_req_bl_1051.yml ERROR (7) 268.23 251.59 None float-newlib/double_req_bl_1052a.yml false(unreach-call) 105.48 90.98 None float-newlib/double_req_bl_1052b.yml false(unreach-call) 125.40 110.81 None float-newlib/double_req_bl_1052c.yml false(unreach-call) 37.53 25.77 None float-newlib/double_req_bl_1052d.yml ERROR (7) 46.18 30.67 None float-newlib/double_req_bl_1071.yml true 198.18 183.29 None float-newlib/double_req_bl_1072a.yml false(unreach-call) 29.41 18.20 None float-newlib/double_req_bl_1072b.yml true 28.13 16.07 None float-newlib/double_req_bl_1072c.yml true 33.48 20.04 None float-newlib/double_req_bl_1072d.yml false(unreach-call) 27.97 17.35 None float-newlib/double_req_bl_1091.yml ERROR (7) 284.07 269.86 None float-newlib/double_req_bl_1092a.yml ERROR (7) 58.45 42.68 None float-newlib/double_req_bl_1092b.yml false(unreach-call) 40.79 27.08 None float-newlib/double_req_bl_1092c.yml false(unreach-call) 134.51 119.84 None float-newlib/double_req_bl_1092d.yml false(unreach-call) 213.35 198.28 None float-newlib/double_req_bl_1121a.yml false(unreach-call) 58.23 44.03 None float-newlib/double_req_bl_1121b.yml false(unreach-call) 51.59 39.48 None float-newlib/double_req_bl_1122a.yml ERROR (7) 130.99 115.50 None float-newlib/double_req_bl_1122b.yml ERROR (7) 135.15 116.06 None float-newlib/double_req_bl_1130a.yml false(unreach-call) 35.61 24.00 None float-newlib/double_req_bl_1131a.yml false(unreach-call) 38.44 26.23 None float-newlib/double_req_bl_1131b.yml false(unreach-call) 36.16 24.69 None float-newlib/double_req_bl_1210.yml false(unreach-call) 189.35 172.37 None float-newlib/double_req_bl_1211a.yml ERROR (7) 540.89 521.93 None float-newlib/double_req_bl_1211b.yml ERROR (7) 386.73 369.00 None float-newlib/double_req_bl_1230.yml ERROR (7) 255.04 239.90 None float-newlib/double_req_bl_1231b.yml false(unreach-call) 26.86 17.05 None float-newlib/double_req_bl_1232a.yml true 33.68 20.45 None float-newlib/double_req_bl_1232b.yml false(unreach-call) 30.30 18.26 None float-newlib/double_req_bl_1250.yml ERROR (7) 383.50 364.99 None float-newlib/double_req_bl_1251b.yml false(unreach-call) 30.01 18.34 None float-newlib/double_req_bl_1252a.yml true 33.68 19.64 None float-newlib/double_req_bl_1252b.yml false(unreach-call) 31.43 18.79 None float-newlib/double_req_bl_1300.yml false(unreach-call) 24.72 14.68 None float-newlib/float_req_bl_0220a.yml true 162.45 132.40 None float-newlib/float_req_bl_0220b.yml true 155.33 127.76 None float-newlib/float_req_bl_0240a.yml ERROR (7) 330.25 305.74 None float-newlib/float_req_bl_0240b.yml ERROR (7) 555.31 531.46 None float-newlib/float_req_bl_0250a.yml true 126.08 109.23 None float-newlib/float_req_bl_0250b.yml true 135.80 119.67 None float-newlib/float_req_bl_0260.yml true 135.65 120.97 None float-newlib/float_req_bl_0270a.yml true 129.36 109.50 None float-newlib/float_req_bl_0270b.yml true 83.38 68.51 None float-newlib/float_req_bl_0281.yml true 106.31 87.05 None float-newlib/float_req_bl_0310.yml ERROR (7) 370.96 344.43 None float-newlib/float_req_bl_0320a.yml true 207.04 179.85 None float-newlib/float_req_bl_0320b.yml true 258.15 232.34 None float-newlib/float_req_bl_0330a.yml ERROR (7) 291.44 269.32 None float-newlib/float_req_bl_0330b.yml ERROR (7) 550.25 526.47 None float-newlib/float_req_bl_0460.yml true 113.19 94.79 None float-newlib/float_req_bl_0470.yml true 146.59 130.35 None float-newlib/float_req_bl_0480.yml true 140.31 119.47 None float-newlib/float_req_bl_0490a.yml true 113.84 94.51 None float-newlib/float_req_bl_0490b.yml true 140.28 124.48 None float-newlib/float_req_bl_0530a.yml true 148.91 119.17 None float-newlib/float_req_bl_0530b.yml true 161.84 130.57 None float-newlib/float_req_bl_0550a.yml ERROR (7) 290.92 266.06 None float-newlib/float_req_bl_0550b.yml ERROR (7) 399.39 375.35 None float-newlib/float_req_bl_0610.yml true 134.49 117.82 None float-newlib/float_req_bl_0620a.yml true 178.73 163.56 None float-newlib/float_req_bl_0620b.yml true 243.85 229.17 None float-newlib/float_req_bl_0621a.yml TIMEOUT 900.41 882.29 None float-newlib/float_req_bl_0621b.yml TIMEOUT 900.43 880.54 None float-newlib/float_req_bl_0660a.yml true 276.23 248.30 None float-newlib/float_req_bl_0660b.yml true 424.21 397.13 None float-newlib/float_req_bl_0661a.yml true 446.72 411.76 None float-newlib/float_req_bl_0661b.yml true 254.78 231.51 None float-newlib/float_req_bl_0662a.yml true 292.18 270.78 None float-newlib/float_req_bl_0662b.yml true 244.81 224.38 None float-newlib/float_req_bl_0663a.yml true 305.99 285.10 None float-newlib/float_req_bl_0663b.yml true 286.96 263.62 None float-newlib/float_req_bl_0670.yml true 454.27 428.14 None float-newlib/float_req_bl_0680a.yml true 281.04 256.18 None float-newlib/float_req_bl_0680b.yml true 275.57 249.18 None float-newlib/float_req_bl_0681a.yml true 89.65 69.10 None float-newlib/float_req_bl_0681b.yml true 86.20 64.83 None float-newlib/float_req_bl_0682a.yml TIMEOUT 900.56 875.27 None float-newlib/float_req_bl_0682b.yml TIMEOUT 900.45 876.25 None float-newlib/float_req_bl_0683a.yml TIMEOUT 900.51 873.47 None float-newlib/float_req_bl_0683b.yml TIMEOUT 900.57 874.08 None float-newlib/float_req_bl_0684a.yml TIMEOUT 900.46 881.45 None float-newlib/float_req_bl_0684b.yml TIMEOUT 900.51 879.02 None float-newlib/float_req_bl_0685a.yml ERROR (7) 868.51 841.42 None float-newlib/float_req_bl_0685b.yml TIMEOUT 900.48 875.83 None float-newlib/float_req_bl_0686a.yml true 786.32 764.51 None float-newlib/float_req_bl_0686b.yml unknown 522.08 503.17 None float-newlib/float_req_bl_0710.yml true 104.99 90.29 None float-newlib/float_req_bl_0720.yml true 118.70 105.76 None float-newlib/float_req_bl_0730a.yml true 258.92 241.74 None float-newlib/float_req_bl_0730b.yml true 25.35 15.17 None float-newlib/float_req_bl_0730c.yml true 30.26 18.08 None float-newlib/float_req_bl_0740.yml ERROR (7) 444.72 432.61 None float-newlib/float_req_bl_0831.yml true 96.04 79.79 None float-newlib/float_req_bl_0832a.yml true 196.79 176.99 None float-newlib/float_req_bl_0832b.yml true 225.29 208.90 None float-newlib/float_req_bl_0833.yml true 399.59 382.94 None float-newlib/float_req_bl_0834.yml true 405.16 384.02 None float-newlib/float_req_bl_0870a.yml false(unreach-call) 155.47 133.78 None float-newlib/float_req_bl_0870b.yml true 158.77 136.58 None float-newlib/float_req_bl_0872a.yml true 200.25 178.86 None float-newlib/float_req_bl_0872b.yml true 199.41 177.42 None float-newlib/float_req_bl_0873a.yml true 304.85 286.15 None float-newlib/float_req_bl_0873b.yml true 359.98 336.57 None float-newlib/float_req_bl_0874.yml TIMEOUT 900.48 873.25 None float-newlib/float_req_bl_0875.yml TIMEOUT 900.47 870.32 None float-newlib/float_req_bl_0876.yml TIMEOUT 900.47 870.44 None float-newlib/float_req_bl_0877.yml true 747.78 721.52 None float-newlib/float_req_bl_0880.yml TIMEOUT 900.79 862.82 None float-newlib/float_req_bl_0881.yml TIMEOUT 900.52 855.01 None float-newlib/float_req_bl_0883.yml TIMEOUT 900.64 869.72 None float-newlib/float_req_bl_0910a.yml ERROR (7) 243.61 229.97 None float-newlib/float_req_bl_0910b.yml ERROR (7) 202.49 189.84 None float-newlib/float_req_bl_0920a.yml true 147.40 131.22 None float-newlib/float_req_bl_0920b.yml true 118.73 104.65 None float-newlib/float_req_bl_0921.yml true 290.00 274.59 None float-newlib/float_req_bl_0930.yml true 419.24 400.09 None float-newlib/float_req_bl_0931.yml true 262.48 247.91 None float-newlib/float_req_bl_0960a.yml true 251.84 236.52 None float-newlib/float_req_bl_0960b.yml ERROR (7) 210.73 196.30 None float-newlib/float_req_bl_0970a.yml ERROR (7) 118.91 102.57 None float-newlib/float_req_bl_0970b.yml ERROR (7) 122.36 109.19 None float-newlib/float_req_bl_0971.yml ERROR (7) 295.32 280.11 None float-newlib/float_req_bl_0981.yml true 305.86 289.17 None float-newlib/float_req_bl_1010.yml true 114.68 101.68 None float-newlib/float_req_bl_1011a.yml true 25.88 14.90 None float-newlib/float_req_bl_1011b.yml true 30.81 18.00 None float-newlib/float_req_bl_1012a.yml true 274.84 261.20 None float-newlib/float_req_bl_1012b.yml true 306.00 292.29 None float-newlib/float_req_bl_1031.yml true 146.13 132.30 None float-newlib/float_req_bl_1032a.yml true 29.36 16.62 None float-newlib/float_req_bl_1032b.yml true 34.62 21.39 None float-newlib/float_req_bl_1032c.yml true 269.85 255.14 None float-newlib/float_req_bl_1032d.yml true 481.64 464.65 None float-newlib/float_req_bl_1051.yml true 239.57 223.18 None float-newlib/float_req_bl_1052a.yml true 278.90 262.25 None float-newlib/float_req_bl_1052b.yml true 553.01 536.27 None float-newlib/float_req_bl_1052c.yml ERROR (7) 462.80 446.25 None float-newlib/float_req_bl_1052d.yml true 60.62 47.08 None float-newlib/float_req_bl_1071.yml true 81.75 68.16 None float-newlib/float_req_bl_1072a.yml true 244.68 231.41 None float-newlib/float_req_bl_1072b.yml true 394.37 377.22 None float-newlib/float_req_bl_1072c.yml true 30.44 17.45 None float-newlib/float_req_bl_1072d.yml true 32.36 19.20 None float-newlib/float_req_bl_1091.yml true 309.36 292.50 None float-newlib/float_req_bl_1092a.yml true 134.17 119.07 None float-newlib/float_req_bl_1092b.yml true 66.93 52.00 None float-newlib/float_req_bl_1092c.yml true 297.47 279.48 None float-newlib/float_req_bl_1092d.yml true 347.65 331.35 None float-newlib/float_req_bl_1121a.yml true 45.52 31.09 None float-newlib/float_req_bl_1121b.yml true 61.97 48.25 None float-newlib/float_req_bl_1122a.yml true 88.56 70.73 None float-newlib/float_req_bl_1122b.yml true 118.74 101.79 None float-newlib/float_req_bl_1130a.yml true 47.38 29.49 None float-newlib/float_req_bl_1130b.yml true 95.19 67.53 None float-newlib/float_req_bl_1131a.yml true 232.21 211.31 None float-newlib/float_req_bl_1131b.yml true 336.33 315.57 None float-newlib/float_req_bl_1210.yml false(unreach-call) 78.45 62.31 None float-newlib/float_req_bl_1211a.yml ERROR (7) 393.72 377.27 None float-newlib/float_req_bl_1211b.yml ERROR (7) 451.54 433.54 None float-newlib/float_req_bl_1230.yml true 88.90 74.49 None float-newlib/float_req_bl_1231.yml true 47.13 29.97 None float-newlib/float_req_bl_1232a.yml true 39.79 23.49 None float-newlib/float_req_bl_1232b.yml false(unreach-call) 27.56 16.61 None float-newlib/float_req_bl_1250.yml true 138.85 121.54 None float-newlib/float_req_bl_1251.yml true 46.18 29.18 None float-newlib/float_req_bl_1252a.yml true 31.51 18.63 None float-newlib/float_req_bl_1252b.yml false(unreach-call) 31.54 18.70 None float-newlib/float_req_bl_1270a.yml TIMEOUT 900.45 882.52 None float-newlib/float_req_bl_1270b.yml TIMEOUT 900.42 883.47 None float-newlib/float_req_bl_1270c.yml TIMEOUT 900.43 881.15 None float-newlib/float_req_bl_1270d.yml TIMEOUT 900.43 879.15 None float-newlib/float_req_bl_1271a.yml ERROR (7) 146.66 130.43 None float-newlib/float_req_bl_1271b.yml ERROR (7) 424.73 403.97 None float-newlib/float_req_bl_1381.yml true 122.56 110.54 None loop-floats-scientific-comp/loop1-1.yml TIMEOUT 900.38 878.41 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 27.84 18.08 None loop-floats-scientific-comp/loop2-1.yml false(unreach-call) 40.77 28.93 None loop-floats-scientific-comp/loop2-2.yml ERROR (7) 373.65 355.13 None loop-floats-scientific-comp/loop3.yml ERROR (7) 563.48 538.75 None loop-floats-scientific-comp/loop4.yml ERROR (7) 18.92 10.32 None loop-floats-scientific-comp/loop5.yml ERROR (7) 18.19 9.86 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 70817.35 10632.97 - Statistics: 469 Files correct: 201 correct true: 173 correct false: 28 incorrect: 61 incorrect true: 0 incorrect false: 61 unknown: 207 Score: -602 (max: 893)