BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Floats date: Sun, 2020-11-29 11:30:45 CET tool: ULTIMATE Automizer 0.2.0-0e1a00cf 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.73 None floats-cdfpl/newton_1_2.yml TIMEOUT 900.33 890.86 None floats-cdfpl/newton_1_3.yml TIMEOUT 900.34 891.46 None floats-cdfpl/newton_1_4.yml false(unreach-call) 204.62 194.93 None floats-cdfpl/newton_1_5.yml false(unreach-call) 68.10 59.27 None floats-cdfpl/newton_1_6.yml false(unreach-call) 98.68 89.02 None floats-cdfpl/newton_1_7.yml false(unreach-call) 42.40 32.94 None floats-cdfpl/newton_1_8.yml false(unreach-call) 81.15 71.75 None floats-cdfpl/newton_2_1.yml TIMEOUT 900.33 891.54 None floats-cdfpl/newton_2_2.yml TIMEOUT 900.36 889.66 None floats-cdfpl/newton_2_3.yml TIMEOUT 900.35 892.10 None floats-cdfpl/newton_2_4.yml TIMEOUT 900.35 889.52 None floats-cdfpl/newton_2_5.yml TIMEOUT 900.35 891.02 None floats-cdfpl/newton_2_6.yml TIMEOUT 900.35 890.47 None floats-cdfpl/newton_2_7.yml TIMEOUT 900.34 890.68 None floats-cdfpl/newton_2_8.yml false(unreach-call) 72.16 60.72 None floats-cdfpl/newton_3_1.yml TIMEOUT 900.35 890.26 None floats-cdfpl/newton_3_2.yml TIMEOUT 900.35 890.82 None floats-cdfpl/newton_3_3.yml TIMEOUT 900.36 889.82 None floats-cdfpl/newton_3_4.yml TIMEOUT 900.35 890.68 None floats-cdfpl/newton_3_5.yml TIMEOUT 900.37 891.46 None floats-cdfpl/newton_3_6.yml TIMEOUT 900.36 890.83 None floats-cdfpl/newton_3_7.yml false(unreach-call) 511.94 500.85 None floats-cdfpl/newton_3_8.yml false(unreach-call) 85.74 75.23 None floats-cdfpl/sine_1.yml TIMEOUT 900.35 890.02 None floats-cdfpl/sine_2.yml TIMEOUT 900.34 890.33 None floats-cdfpl/sine_3.yml false(unreach-call) 367.60 358.20 None floats-cdfpl/sine_4.yml TIMEOUT 900.34 891.16 None floats-cdfpl/sine_5.yml TIMEOUT 900.33 892.09 None floats-cdfpl/sine_6.yml TIMEOUT 900.34 891.02 None floats-cdfpl/sine_7.yml true 624.11 611.59 None floats-cdfpl/sine_8.yml TIMEOUT 900.33 891.00 None floats-cdfpl/square_1.yml false(unreach-call) 157.68 147.06 None floats-cdfpl/square_2.yml false(unreach-call) 104.95 94.88 None floats-cdfpl/square_3.yml false(unreach-call) 39.15 29.50 None floats-cdfpl/square_4.yml TIMEOUT 900.32 890.56 None floats-cdfpl/square_5.yml TIMEOUT 900.33 891.32 None floats-cdfpl/square_6.yml TIMEOUT 900.32 891.03 None floats-cdfpl/square_7.yml TIMEOUT 900.32 891.53 None floats-cdfpl/square_8.yml true 133.58 121.54 None floats-cbmc-regression/float-div1.yml true 145.00 129.23 None floats-cbmc-regression/float-flags-simp1.yml ERROR (7) 18.70 10.30 None floats-cbmc-regression/float-no-simp1.yml true 22.17 13.30 None floats-cbmc-regression/float-no-simp2.yml true 147.12 133.56 None floats-cbmc-regression/float-no-simp3.yml true 23.20 13.59 None floats-cbmc-regression/float-no-simp4.yml true 27.72 16.02 None floats-cbmc-regression/float-no-simp6.yml true 27.32 17.08 None floats-cbmc-regression/float-no-simp7.yml true 21.47 12.53 None floats-cbmc-regression/float-no-simp8.yml ERROR (7) 18.56 10.37 None floats-cbmc-regression/float-rounding1.yml TIMEOUT 900.38 879.82 None floats-cbmc-regression/float-to-double1.yml true 109.71 99.30 None floats-cbmc-regression/float-to-double2.yml true 20.47 11.76 None floats-cbmc-regression/float-zero-sum1.yml true 22.37 12.88 None floats-cbmc-regression/float1.yml true 22.81 13.59 None floats-cbmc-regression/float11.yml true 22.27 12.61 None floats-cbmc-regression/float12.yml true 39.25 30.02 None floats-cbmc-regression/float13.yml true 20.81 12.02 None floats-cbmc-regression/float14.yml true 20.74 11.70 None floats-cbmc-regression/float18.yml ERROR (7) 18.05 10.11 None floats-cbmc-regression/float19.yml true 23.39 13.46 None floats-cbmc-regression/float2.yml true 22.69 13.51 None floats-cbmc-regression/float20.yml true 75.06 63.45 None floats-cbmc-regression/float21.yml true 242.09 227.16 None floats-cbmc-regression/float22.yml TIMEOUT 900.41 874.20 None floats-cbmc-regression/float3.yml true 34.21 24.36 None floats-cbmc-regression/float4.yml true 204.74 191.45 None floats-cbmc-regression/float5.yml true 94.06 82.95 None floats-cbmc-regression/float6.yml true 23.61 13.60 None floats-cbmc-regression/float8.yml true 24.11 13.83 None floats-cbmc-regression/float_lib1.yml ERROR (7) 18.60 10.27 None floats-cbmc-regression/float_lib2.yml true 24.86 13.67 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml TIMEOUT 900.69 823.08 None float-benchs/Muller_Kahan.yml TIMEOUT 900.70 821.36 None float-benchs/Rump_double.yml true 44.93 33.46 None float-benchs/Rump_float.yml true 32.95 22.96 None float-benchs/addsub_double_exact.yml true 22.65 13.91 None float-benchs/addsub_float_exact.yml true 19.62 11.61 None float-benchs/addsub_float_inexact.yml true 22.92 13.32 None float-benchs/arctan_Pade.yml TIMEOUT 900.37 885.26 None float-benchs/bary_diverge.yml TIMEOUT 900.43 882.14 None float-benchs/cast_float_ptr.yml TIMEOUT 900.40 878.80 None float-benchs/cast_float_union.yml true 10.59 5.86 None float-benchs/cast_union_loose.yml false(unreach-call) 23.28 13.56 None float-benchs/cast_union_tight.yml false(unreach-call) 21.79 12.55 None float-benchs/cos_polynomial.yml ERROR (7) 824.13 807.61 None float-benchs/divmul_buf_diverge.yml TIMEOUT 901.09 815.47 None float-benchs/divmul_diverge.yml TIMEOUT 900.39 799.86 None float-benchs/drift_tenth.c.p+cfa-reducer.yml TIMEOUT 900.34 886.51 None float-benchs/drift_tenth.yml true 891.84 876.33 None float-benchs/exp_loop.yml TIMEOUT 900.41 883.54 None float-benchs/feedback_diverge.yml TIMEOUT 900.49 789.03 None float-benchs/filter1.c.p+cfa-reducer.yml TIMEOUT 900.41 878.05 None float-benchs/filter1.c.v+lhb-reducer.yml TIMEOUT 900.41 874.72 None float-benchs/filter1.c.v+nlh-reducer.yml TIMEOUT 900.41 875.03 None float-benchs/filter1.yml TIMEOUT 900.41 877.39 None float-benchs/filter2.yml TIMEOUT 900.20 756.66 None float-benchs/filter2_alt.yml TIMEOUT 900.42 876.53 None float-benchs/filter2_iterated.yml ERROR (7) 31.13 21.91 None float-benchs/filter2_reinit.yml TIMEOUT 900.26 770.79 None float-benchs/filter2_set.yml TIMEOUT 900.19 757.51 None float-benchs/filter_iir.yml TIMEOUT 900.47 875.94 None float-benchs/float_double.yml true 20.64 12.18 None float-benchs/float_int_inv_square.yml false(unreach-call) 21.67 12.72 None float-benchs/image_filter.yml TIMEOUT 900.60 868.28 None float-benchs/interpolation.c.p+cfa-reducer.yml TIMEOUT 900.40 878.30 None float-benchs/interpolation.c.v+cfa-reducer.yml TIMEOUT 900.40 877.43 None float-benchs/interpolation.c.v+nlh-reducer.yml TIMEOUT 900.41 877.20 None float-benchs/interpolation.yml TIMEOUT 900.22 754.75 None float-benchs/interpolation2.c.p+cfa-reducer.yml TIMEOUT 900.41 876.52 None float-benchs/interpolation2.c.v+cfa-reducer.yml TIMEOUT 900.42 875.20 None float-benchs/interpolation2.c.v+nlh-reducer.yml TIMEOUT 900.42 876.45 None float-benchs/interpolation2.yml TIMEOUT 900.13 758.90 None float-benchs/inv_Newton-1.yml TIMEOUT 900.42 879.51 None float-benchs/inv_Newton-2.yml TIMEOUT 900.39 880.35 None float-benchs/inv_Newton.c.p+cfa-reducer.yml TIMEOUT 900.42 876.31 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml ERROR (7) 88.06 76.17 None float-benchs/inv_sqrt_Quake.yml unknown 181.61 172.60 None float-benchs/inv_square-1.yml false(unreach-call) 22.53 13.40 None float-benchs/inv_square-2.yml true 25.08 15.54 None float-benchs/inv_square_int.yml true 104.00 93.87 None float-benchs/loop-1.yml TIMEOUT 900.36 885.32 None float-benchs/mea8000.yml TIMEOUT 900.51 855.26 None float-benchs/nan_double.yml false(unreach-call) 19.09 11.18 None float-benchs/nan_double_range.yml TIMEOUT 900.38 881.71 None float-benchs/nan_float.yml false(unreach-call) 20.07 11.58 None float-benchs/nan_float_range.yml TIMEOUT 900.39 879.76 None float-benchs/rlim_exit.yml TIMEOUT 900.20 792.26 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 900.41 876.99 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 900.38 880.04 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 900.38 880.00 None float-benchs/rlim_invariant.yml TIMEOUT 900.41 876.88 None float-benchs/sin_interpolated_bigrange_loose.yml TIMEOUT 900.77 863.76 None float-benchs/sin_interpolated_bigrange_tight.yml TIMEOUT 900.93 877.20 None float-benchs/sin_interpolated_index-1.yml false(unreach-call) 137.37 120.95 None float-benchs/sin_interpolated_index-2.yml TIMEOUT 900.38 883.75 None float-benchs/sin_interpolated_negation.yml TIMEOUT 900.47 874.08 None float-benchs/sin_interpolated_smallrange.yml TIMEOUT 900.49 869.37 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml TIMEOUT 900.44 879.70 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 241.68 226.42 None float-benchs/sqrt_Householder_interval.yml unknown 534.33 520.99 None float-benchs/sqrt_Householder_pseudoconstant.yml TIMEOUT 900.47 875.69 None float-benchs/sqrt_Newton_pseudoconstant.yml TIMEOUT 900.46 872.76 None float-benchs/sqrt_biNewton_pseudoconstant.yml TIMEOUT 900.48 873.45 None float-benchs/sqrt_poly.yml true 163.37 150.76 None float-benchs/sqrt_poly2.yml false(unreach-call) 32.90 23.37 None float-benchs/water_pid.yml TIMEOUT 900.40 885.86 None float-benchs/zonotope_2.yml TIMEOUT 900.57 758.97 None float-benchs/zonotope_3.c.p+cfa-reducer.yml TIMEOUT 900.63 779.39 None float-benchs/zonotope_3.c.v+lhb-reducer.yml TIMEOUT 900.56 791.76 None float-benchs/zonotope_3.yml TIMEOUT 900.57 790.49 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml TIMEOUT 900.42 878.22 None float-benchs/zonotope_loose.yml true 165.79 153.11 None float-benchs/zonotope_tight.yml true 165.16 152.78 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml ERROR (7) 254.42 243.04 None floats-esbmc-regression/Double_div.yml TIMEOUT 900.39 889.00 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml ERROR (7) 280.97 268.47 None floats-esbmc-regression/Double_div_bad.yml ERROR (7) 285.02 273.20 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml TIMEOUT 900.38 885.30 None floats-esbmc-regression/Float_div.yml true 228.98 216.26 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml TIMEOUT 900.38 888.07 None floats-esbmc-regression/Float_div_bad.yml TIMEOUT 900.40 885.15 None floats-esbmc-regression/ceil.yml ERROR (7) 17.10 9.38 None floats-esbmc-regression/ceil_nondet.yml unknown 16.94 9.33 None floats-esbmc-regression/copysign.yml ERROR (7) 16.73 9.37 None floats-esbmc-regression/digits_bad_for.yml TIMEOUT 900.45 885.40 None floats-esbmc-regression/digits_bad_while.yml TIMEOUT 900.56 886.40 None floats-esbmc-regression/digits_for.yml TIMEOUT 900.49 881.52 None floats-esbmc-regression/digits_while.yml TIMEOUT 900.54 883.05 None floats-esbmc-regression/fabs.yml true 21.66 12.28 None floats-esbmc-regression/fdim.yml true 29.09 16.22 None floats-esbmc-regression/floor.yml ERROR (7) 19.31 10.66 None floats-esbmc-regression/floor_nondet.yml unknown 18.21 9.94 None floats-esbmc-regression/fmax.yml true 23.01 12.90 None floats-esbmc-regression/fmin.yml true 22.06 12.44 None floats-esbmc-regression/fmod.yml ERROR (7) 19.74 10.73 None floats-esbmc-regression/fmod2.yml ERROR (7) 18.16 10.04 None floats-esbmc-regression/fmod3.yml ERROR (7) 18.90 10.30 None floats-esbmc-regression/isgreater.yml true 22.45 12.63 None floats-esbmc-regression/isgreaterequal.yml true 24.30 13.30 None floats-esbmc-regression/isless.yml true 23.15 12.96 None floats-esbmc-regression/islessequal.yml true 23.05 12.84 None floats-esbmc-regression/islessgreater.yml true 22.94 12.61 None floats-esbmc-regression/isunordered.yml true 23.13 12.97 None floats-esbmc-regression/lrint.yml unknown 19.21 10.43 None floats-esbmc-regression/modf.yml unknown 20.10 10.89 None floats-esbmc-regression/nan.yml true 22.31 12.31 None floats-esbmc-regression/nearbyint.yml unknown 19.48 10.51 None floats-esbmc-regression/nearbyint2.yml unknown 18.19 9.97 None floats-esbmc-regression/remainder.yml ERROR (7) 19.88 10.89 None floats-esbmc-regression/rint.yml unknown 18.94 10.23 None floats-esbmc-regression/rint2.yml unknown 19.32 10.51 None floats-esbmc-regression/round.yml ERROR (7) 19.46 10.58 None floats-esbmc-regression/round_nondet.yml unknown 19.95 10.83 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 22.10 12.43 None floats-esbmc-regression/trunc.yml ERROR (7) 19.14 10.57 None floats-esbmc-regression/trunc_nondet.yml unknown 19.84 10.77 None floats-esbmc-regression/trunc_nondet_2.yml true 118.93 104.49 None float-newlib/double_req_bl_0210.yml TIMEOUT 900.49 863.52 None float-newlib/double_req_bl_0220a.yml true 231.44 194.37 None float-newlib/double_req_bl_0220b.yml true 219.62 185.32 None float-newlib/double_req_bl_0240a.yml TIMEOUT 900.50 860.41 None float-newlib/double_req_bl_0240b.yml TIMEOUT 900.51 862.33 None float-newlib/double_req_bl_0250a.yml TIMEOUT 900.50 873.77 None float-newlib/double_req_bl_0250b.yml TIMEOUT 900.49 873.11 None float-newlib/double_req_bl_0260.yml TIMEOUT 900.51 875.79 None float-newlib/double_req_bl_0270a.yml true 85.08 66.93 None float-newlib/double_req_bl_0270b.yml true 88.62 68.78 None float-newlib/double_req_bl_0281.yml true 50.61 37.81 None float-newlib/double_req_bl_0310.yml TIMEOUT 900.51 863.34 None float-newlib/double_req_bl_0320.yml true 218.79 184.06 None float-newlib/double_req_bl_0330a.yml TIMEOUT 900.50 860.59 None float-newlib/double_req_bl_0330b.yml TIMEOUT 900.50 864.58 None float-newlib/double_req_bl_0460.yml TIMEOUT 900.46 875.77 None float-newlib/double_req_bl_0470.yml TIMEOUT 900.46 878.20 None float-newlib/double_req_bl_0480.yml TIMEOUT 900.49 874.37 None float-newlib/double_req_bl_0490a.yml TIMEOUT 900.49 876.01 None float-newlib/double_req_bl_0490b.yml TIMEOUT 900.49 872.38 None float-newlib/double_req_bl_0520.yml TIMEOUT 900.57 862.34 None float-newlib/double_req_bl_0530a.yml true 265.87 227.84 None float-newlib/double_req_bl_0530b.yml true 278.53 238.23 None float-newlib/double_req_bl_0550a.yml TIMEOUT 900.56 864.18 None float-newlib/double_req_bl_0550b.yml TIMEOUT 900.58 863.69 None float-newlib/double_req_bl_0620a.yml true 107.57 87.08 None float-newlib/double_req_bl_0620b.yml true 102.44 84.58 None float-newlib/double_req_bl_0621a.yml TIMEOUT 900.49 870.17 None float-newlib/double_req_bl_0621b.yml TIMEOUT 900.48 873.25 None float-newlib/double_req_bl_0660a.yml false(unreach-call) 79.20 65.96 None float-newlib/double_req_bl_0660b.yml false(unreach-call) 80.72 67.60 None float-newlib/double_req_bl_0661a.yml false(unreach-call) 85.67 70.76 None float-newlib/double_req_bl_0661b.yml false(unreach-call) 85.40 70.00 None float-newlib/double_req_bl_0662a.yml false(unreach-call) 85.69 70.13 None float-newlib/double_req_bl_0662b.yml false(unreach-call) 83.23 69.02 None float-newlib/double_req_bl_0663a.yml false(unreach-call) 86.31 71.56 None float-newlib/double_req_bl_0663b.yml false(unreach-call) 80.26 67.22 None float-newlib/double_req_bl_0670.yml TIMEOUT 900.46 874.94 None float-newlib/double_req_bl_0680a.yml TIMEOUT 900.49 871.85 None float-newlib/double_req_bl_0680b.yml TIMEOUT 900.50 870.82 None float-newlib/double_req_bl_0681a.yml TIMEOUT 900.47 872.25 None float-newlib/double_req_bl_0681b.yml TIMEOUT 900.47 872.27 None float-newlib/double_req_bl_0682a.yml false(unreach-call) 88.78 72.28 None float-newlib/double_req_bl_0682b.yml false(unreach-call) 85.35 70.09 None float-newlib/double_req_bl_0683a.yml false(unreach-call) 87.00 71.13 None float-newlib/double_req_bl_0683b.yml false(unreach-call) 87.36 71.38 None float-newlib/double_req_bl_0684a.yml false(unreach-call) 88.45 72.31 None float-newlib/double_req_bl_0684b.yml false(unreach-call) 84.11 68.34 None float-newlib/double_req_bl_0685a.yml false(unreach-call) 82.99 68.55 None float-newlib/double_req_bl_0685b.yml false(unreach-call) 84.27 69.58 None float-newlib/double_req_bl_0686a.yml false(unreach-call) 82.35 68.44 None float-newlib/double_req_bl_0686b.yml false(unreach-call) 81.60 68.09 None float-newlib/double_req_bl_0720.yml TIMEOUT 900.44 875.97 None float-newlib/double_req_bl_0730a.yml false(unreach-call) 28.92 18.90 None float-newlib/double_req_bl_0730b.yml false(unreach-call) 43.03 29.43 None float-newlib/double_req_bl_0730c.yml TIMEOUT 900.45 859.47 None float-newlib/double_req_bl_0740.yml TIMEOUT 900.42 877.47 None float-newlib/double_req_bl_0832.yml true 149.12 132.54 None float-newlib/double_req_bl_0833.yml TIMEOUT 900.44 877.37 None float-newlib/double_req_bl_0834.yml TIMEOUT 900.45 875.85 None float-newlib/double_req_bl_0870a.yml TIMEOUT 900.49 874.17 None float-newlib/double_req_bl_0870b.yml false(unreach-call) 115.09 97.75 None float-newlib/double_req_bl_0872a.yml false(unreach-call) 295.78 271.05 None float-newlib/double_req_bl_0872b.yml false(unreach-call) 283.59 264.20 None float-newlib/double_req_bl_0873a.yml TIMEOUT 900.48 875.10 None float-newlib/double_req_bl_0873b.yml TIMEOUT 900.50 869.73 None float-newlib/double_req_bl_0874.yml TIMEOUT 900.49 873.67 None float-newlib/double_req_bl_0876.yml TIMEOUT 900.49 871.82 None float-newlib/double_req_bl_0882.yml false(unreach-call) 115.07 98.89 None float-newlib/double_req_bl_0883.yml false(unreach-call) 119.09 101.27 None float-newlib/double_req_bl_0910a.yml false(unreach-call) 54.12 42.92 None float-newlib/double_req_bl_0910b.yml false(unreach-call) 53.20 42.26 None float-newlib/double_req_bl_0920a.yml TIMEOUT 900.42 879.87 None float-newlib/double_req_bl_0920b.yml TIMEOUT 900.43 879.84 None float-newlib/double_req_bl_0921.yml TIMEOUT 900.46 877.12 None float-newlib/double_req_bl_0930.yml TIMEOUT 900.46 876.60 None float-newlib/double_req_bl_0931.yml TIMEOUT 900.45 878.33 None float-newlib/double_req_bl_0960b.yml false(unreach-call) 66.11 54.00 None float-newlib/double_req_bl_0970a.yml TIMEOUT 900.47 874.79 None float-newlib/double_req_bl_0970b.yml TIMEOUT 900.45 876.79 None float-newlib/double_req_bl_0971.yml TIMEOUT 900.45 877.16 None float-newlib/double_req_bl_0981.yml TIMEOUT 900.46 877.72 None float-newlib/double_req_bl_1011a.yml TIMEOUT 900.38 880.06 None float-newlib/double_req_bl_1011b.yml TIMEOUT 900.39 879.73 None float-newlib/double_req_bl_1012a.yml false(unreach-call) 23.73 13.68 None float-newlib/double_req_bl_1012b.yml false(unreach-call) 22.94 13.59 None float-newlib/double_req_bl_1031.yml TIMEOUT 900.39 879.01 None float-newlib/double_req_bl_1032a.yml TIMEOUT 900.38 880.28 None float-newlib/double_req_bl_1032b.yml TIMEOUT 900.39 879.54 None float-newlib/double_req_bl_1032c.yml TIMEOUT 900.38 879.24 None float-newlib/double_req_bl_1032d.yml TIMEOUT 900.37 880.10 None float-newlib/double_req_bl_1051.yml TIMEOUT 900.39 878.92 None float-newlib/double_req_bl_1052a.yml TIMEOUT 900.40 878.32 None float-newlib/double_req_bl_1052b.yml TIMEOUT 900.40 877.26 None float-newlib/double_req_bl_1052c.yml false(unreach-call) 31.46 20.03 None float-newlib/double_req_bl_1052d.yml TIMEOUT 900.41 876.04 None float-newlib/double_req_bl_1071.yml TIMEOUT 900.41 876.12 None float-newlib/double_req_bl_1072a.yml false(unreach-call) 23.27 13.57 None float-newlib/double_req_bl_1072b.yml TIMEOUT 900.39 878.24 None float-newlib/double_req_bl_1072c.yml TIMEOUT 900.39 879.08 None float-newlib/double_req_bl_1072d.yml false(unreach-call) 24.21 13.79 None float-newlib/double_req_bl_1091.yml TIMEOUT 900.40 877.56 None float-newlib/double_req_bl_1092a.yml ERROR (7) 31.64 20.08 None float-newlib/double_req_bl_1092b.yml false(unreach-call) 31.23 19.64 None float-newlib/double_req_bl_1092c.yml TIMEOUT 900.40 877.06 None float-newlib/double_req_bl_1092d.yml TIMEOUT 900.39 878.95 None float-newlib/double_req_bl_1121a.yml false(unreach-call) 65.26 51.41 None float-newlib/double_req_bl_1121b.yml false(unreach-call) 72.22 59.29 None float-newlib/double_req_bl_1122a.yml TIMEOUT 900.47 876.54 None float-newlib/double_req_bl_1122b.yml TIMEOUT 900.46 877.41 None float-newlib/double_req_bl_1130a.yml false(unreach-call) 32.93 21.62 None float-newlib/double_req_bl_1131a.yml false(unreach-call) 32.79 22.15 None float-newlib/double_req_bl_1131b.yml false(unreach-call) 33.84 22.27 None float-newlib/double_req_bl_1210.yml TIMEOUT 900.40 877.59 None float-newlib/double_req_bl_1211a.yml TIMEOUT 900.40 876.50 None float-newlib/double_req_bl_1211b.yml TIMEOUT 900.38 879.40 None float-newlib/double_req_bl_1230.yml true 28.07 16.99 None float-newlib/double_req_bl_1231b.yml false(unreach-call) 23.74 13.83 None float-newlib/double_req_bl_1232a.yml true 29.78 17.88 None float-newlib/double_req_bl_1232b.yml false(unreach-call) 27.96 17.17 None float-newlib/double_req_bl_1250.yml true 29.12 17.69 None float-newlib/double_req_bl_1251b.yml false(unreach-call) 23.88 13.87 None float-newlib/double_req_bl_1252a.yml true 29.40 17.87 None float-newlib/double_req_bl_1252b.yml false(unreach-call) 28.92 17.51 None float-newlib/double_req_bl_1300.yml false(unreach-call) 24.49 14.52 None float-newlib/float_req_bl_0220a.yml true 147.41 119.32 None float-newlib/float_req_bl_0220b.yml true 155.30 124.80 None float-newlib/float_req_bl_0240a.yml TIMEOUT 900.49 862.57 None float-newlib/float_req_bl_0240b.yml TIMEOUT 900.47 864.78 None float-newlib/float_req_bl_0250a.yml TIMEOUT 900.42 878.47 None float-newlib/float_req_bl_0250b.yml TIMEOUT 900.40 878.90 None float-newlib/float_req_bl_0260.yml TIMEOUT 900.43 876.33 None float-newlib/float_req_bl_0270a.yml true 58.98 42.94 None float-newlib/float_req_bl_0270b.yml true 57.15 40.90 None float-newlib/float_req_bl_0281.yml TIMEOUT 900.44 874.47 None float-newlib/float_req_bl_0310.yml TIMEOUT 900.49 862.55 None float-newlib/float_req_bl_0320a.yml true 145.64 119.92 None float-newlib/float_req_bl_0320b.yml true 142.99 117.21 None float-newlib/float_req_bl_0330a.yml TIMEOUT 900.47 865.01 None float-newlib/float_req_bl_0330b.yml TIMEOUT 900.47 866.58 None float-newlib/float_req_bl_0460.yml TIMEOUT 900.43 876.36 None float-newlib/float_req_bl_0470.yml TIMEOUT 900.44 875.02 None float-newlib/float_req_bl_0480.yml TIMEOUT 900.43 875.98 None float-newlib/float_req_bl_0490a.yml TIMEOUT 900.43 876.72 None float-newlib/float_req_bl_0490b.yml TIMEOUT 900.41 878.13 None float-newlib/float_req_bl_0530a.yml true 155.24 122.43 None float-newlib/float_req_bl_0530b.yml true 154.79 122.88 None float-newlib/float_req_bl_0550a.yml TIMEOUT 900.49 865.18 None float-newlib/float_req_bl_0550b.yml TIMEOUT 900.47 865.75 None float-newlib/float_req_bl_0610.yml TIMEOUT 900.44 873.14 None float-newlib/float_req_bl_0620a.yml true 76.82 62.39 None float-newlib/float_req_bl_0620b.yml true 73.18 57.27 None float-newlib/float_req_bl_0621a.yml TIMEOUT 900.42 878.41 None float-newlib/float_req_bl_0621b.yml TIMEOUT 900.42 877.38 None float-newlib/float_req_bl_0660a.yml TIMEOUT 900.44 872.34 None float-newlib/float_req_bl_0660b.yml TIMEOUT 900.44 871.83 None float-newlib/float_req_bl_0661a.yml TIMEOUT 900.44 874.22 None float-newlib/float_req_bl_0661b.yml TIMEOUT 900.44 871.66 None float-newlib/float_req_bl_0662a.yml true 88.71 69.90 None float-newlib/float_req_bl_0662b.yml true 81.47 65.53 None float-newlib/float_req_bl_0663a.yml true 78.39 60.36 None float-newlib/float_req_bl_0663b.yml true 80.94 62.19 None float-newlib/float_req_bl_0670.yml TIMEOUT 900.40 877.48 None float-newlib/float_req_bl_0680a.yml TIMEOUT 900.44 874.33 None float-newlib/float_req_bl_0680b.yml TIMEOUT 900.44 871.99 None float-newlib/float_req_bl_0681a.yml TIMEOUT 900.43 874.28 None float-newlib/float_req_bl_0681b.yml TIMEOUT 900.45 871.83 None float-newlib/float_req_bl_0682a.yml TIMEOUT 900.44 873.31 None float-newlib/float_req_bl_0682b.yml TIMEOUT 900.40 875.85 None float-newlib/float_req_bl_0683a.yml TIMEOUT 900.44 875.10 None float-newlib/float_req_bl_0683b.yml TIMEOUT 900.45 873.34 None float-newlib/float_req_bl_0684a.yml TIMEOUT 900.44 871.32 None float-newlib/float_req_bl_0684b.yml TIMEOUT 900.43 874.75 None float-newlib/float_req_bl_0685a.yml TIMEOUT 900.43 874.93 None float-newlib/float_req_bl_0685b.yml TIMEOUT 900.44 876.01 None float-newlib/float_req_bl_0686a.yml TIMEOUT 900.42 876.34 None float-newlib/float_req_bl_0686b.yml TIMEOUT 900.43 875.76 None float-newlib/float_req_bl_0710.yml true 182.59 168.73 None float-newlib/float_req_bl_0720.yml TIMEOUT 900.37 879.31 None float-newlib/float_req_bl_0730a.yml TIMEOUT 900.40 877.72 None float-newlib/float_req_bl_0730b.yml true 30.92 18.10 None float-newlib/float_req_bl_0730c.yml true 30.21 17.66 None float-newlib/float_req_bl_0740.yml TIMEOUT 900.40 879.10 None float-newlib/float_req_bl_0831.yml true 64.35 50.19 None float-newlib/float_req_bl_0832a.yml true 80.83 67.04 None float-newlib/float_req_bl_0832b.yml true 80.75 66.83 None float-newlib/float_req_bl_0833.yml TIMEOUT 900.39 879.84 None float-newlib/float_req_bl_0834.yml TIMEOUT 900.42 876.65 None float-newlib/float_req_bl_0870a.yml TIMEOUT 900.43 876.08 None float-newlib/float_req_bl_0870b.yml TIMEOUT 900.45 871.10 None float-newlib/float_req_bl_0872a.yml true 151.80 135.84 None float-newlib/float_req_bl_0872b.yml true 155.79 136.54 None float-newlib/float_req_bl_0873a.yml TIMEOUT 900.43 875.46 None float-newlib/float_req_bl_0873b.yml TIMEOUT 900.44 876.66 None float-newlib/float_req_bl_0874.yml TIMEOUT 900.42 877.74 None float-newlib/float_req_bl_0875.yml TIMEOUT 900.43 873.79 None float-newlib/float_req_bl_0876.yml TIMEOUT 900.44 874.81 None float-newlib/float_req_bl_0877.yml TIMEOUT 900.44 875.23 None float-newlib/float_req_bl_0880.yml TIMEOUT 900.44 874.65 None float-newlib/float_req_bl_0881.yml TIMEOUT 900.42 875.26 None float-newlib/float_req_bl_0883.yml TIMEOUT 900.44 875.36 None float-newlib/float_req_bl_0910a.yml true 88.20 74.04 None float-newlib/float_req_bl_0910b.yml true 89.27 74.90 None float-newlib/float_req_bl_0920a.yml true 69.41 55.79 None float-newlib/float_req_bl_0920b.yml true 57.99 45.14 None float-newlib/float_req_bl_0921.yml true 96.10 81.51 None float-newlib/float_req_bl_0930.yml TIMEOUT 900.41 876.90 None float-newlib/float_req_bl_0931.yml true 59.69 43.20 None float-newlib/float_req_bl_0960a.yml TIMEOUT 900.43 874.92 None float-newlib/float_req_bl_0960b.yml TIMEOUT 900.40 878.83 None float-newlib/float_req_bl_0970a.yml true 81.31 65.07 None float-newlib/float_req_bl_0970b.yml true 65.06 51.13 None float-newlib/float_req_bl_0971.yml true 97.88 82.45 None float-newlib/float_req_bl_0981.yml true 62.09 47.10 None float-newlib/float_req_bl_1010.yml TIMEOUT 900.40 877.95 None float-newlib/float_req_bl_1011a.yml TIMEOUT 900.40 876.89 None float-newlib/float_req_bl_1011b.yml TIMEOUT 900.40 876.13 None float-newlib/float_req_bl_1012a.yml TIMEOUT 900.38 880.86 None float-newlib/float_req_bl_1012b.yml TIMEOUT 900.38 881.78 None float-newlib/float_req_bl_1031.yml TIMEOUT 900.39 879.23 None float-newlib/float_req_bl_1032a.yml TIMEOUT 900.41 876.80 None float-newlib/float_req_bl_1032b.yml TIMEOUT 900.41 876.98 None float-newlib/float_req_bl_1032c.yml TIMEOUT 900.40 877.10 None float-newlib/float_req_bl_1032d.yml TIMEOUT 900.37 880.14 None float-newlib/float_req_bl_1051.yml TIMEOUT 900.39 878.89 None float-newlib/float_req_bl_1052a.yml TIMEOUT 900.40 879.02 None float-newlib/float_req_bl_1052b.yml TIMEOUT 900.41 877.24 None float-newlib/float_req_bl_1052c.yml TIMEOUT 900.38 878.99 None float-newlib/float_req_bl_1052d.yml true 30.72 18.19 None float-newlib/float_req_bl_1071.yml TIMEOUT 900.40 876.94 None float-newlib/float_req_bl_1072a.yml TIMEOUT 900.40 878.47 None float-newlib/float_req_bl_1072b.yml TIMEOUT 900.39 879.76 None float-newlib/float_req_bl_1072c.yml TIMEOUT 900.39 877.34 None float-newlib/float_req_bl_1072d.yml TIMEOUT 900.40 878.20 None float-newlib/float_req_bl_1091.yml TIMEOUT 900.40 878.10 None float-newlib/float_req_bl_1092a.yml true 28.85 17.59 None float-newlib/float_req_bl_1092b.yml TIMEOUT 900.40 877.05 None float-newlib/float_req_bl_1092c.yml TIMEOUT 900.39 879.66 None float-newlib/float_req_bl_1092d.yml TIMEOUT 900.40 877.82 None float-newlib/float_req_bl_1121a.yml true 50.86 39.23 None float-newlib/float_req_bl_1121b.yml true 52.78 39.82 None float-newlib/float_req_bl_1122a.yml TIMEOUT 900.39 880.92 None float-newlib/float_req_bl_1122b.yml TIMEOUT 900.39 878.98 None float-newlib/float_req_bl_1130a.yml true 37.37 21.90 None float-newlib/float_req_bl_1130b.yml true 42.49 27.43 None float-newlib/float_req_bl_1131a.yml TIMEOUT 900.42 875.61 None float-newlib/float_req_bl_1131b.yml TIMEOUT 900.40 876.39 None float-newlib/float_req_bl_1210.yml TIMEOUT 900.40 876.86 None float-newlib/float_req_bl_1211a.yml TIMEOUT 900.41 875.32 None float-newlib/float_req_bl_1211b.yml TIMEOUT 900.40 876.66 None float-newlib/float_req_bl_1230.yml true 27.90 16.38 None float-newlib/float_req_bl_1231.yml true 62.16 42.48 None float-newlib/float_req_bl_1232a.yml true 28.17 16.97 None float-newlib/float_req_bl_1232b.yml false(unreach-call) 28.39 17.00 None float-newlib/float_req_bl_1250.yml true 27.78 16.33 None float-newlib/float_req_bl_1251.yml true 59.71 41.11 None float-newlib/float_req_bl_1252a.yml true 29.04 17.13 None float-newlib/float_req_bl_1252b.yml false(unreach-call) 28.34 16.99 None float-newlib/float_req_bl_1270a.yml TIMEOUT 900.40 875.58 None float-newlib/float_req_bl_1270b.yml TIMEOUT 900.43 875.97 None float-newlib/float_req_bl_1270c.yml TIMEOUT 900.40 876.61 None float-newlib/float_req_bl_1270d.yml TIMEOUT 900.40 876.20 None float-newlib/float_req_bl_1271a.yml TIMEOUT 900.41 873.04 None float-newlib/float_req_bl_1271b.yml TIMEOUT 900.40 877.38 None float-newlib/float_req_bl_1381.yml TIMEOUT 900.36 881.44 None loop-floats-scientific-comp/loop1-1.yml TIMEOUT 900.43 884.84 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 25.60 16.93 None loop-floats-scientific-comp/loop2-1.yml false(unreach-call) 36.76 26.66 None loop-floats-scientific-comp/loop2-2.yml TIMEOUT 900.41 888.49 None loop-floats-scientific-comp/loop3.yml ERROR (7) 693.82 678.63 None loop-floats-scientific-comp/loop4.yml ERROR (7) 17.57 9.57 None loop-floats-scientific-comp/loop5.yml ERROR (7) 16.64 9.33 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 23610.49 17281.88 - Statistics: 469 Files correct: 138 correct true: 112 correct false: 26 incorrect: 42 incorrect true: 0 incorrect false: 42 unknown: 289 Score: -422 (max: 893)