BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-float-reach-automizer.xml name: svcomp19-float-reach-automizer run sets: Automizer.Floats date: Mon, 2020-11-23 22:49:17 CET tool: ULTIMATE Automizer 0.2.0-88b5e43d tool executable: ./Ultimate.py options: parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ Automizer.Floats Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------- floats-cdfpl/newton_1_1.yml TIMEOUT 900.33 890.35 None floats-cdfpl/newton_1_2.yml TIMEOUT 900.34 890.37 None floats-cdfpl/newton_1_3.yml TIMEOUT 900.34 890.23 None floats-cdfpl/newton_1_4.yml false(unreach-call) 350.55 340.49 None floats-cdfpl/newton_1_5.yml false(unreach-call) 314.23 303.92 None floats-cdfpl/newton_1_6.yml false(unreach-call) 256.01 246.05 None floats-cdfpl/newton_1_7.yml false(unreach-call) 95.06 85.23 None floats-cdfpl/newton_1_8.yml false(unreach-call) 82.54 73.46 None floats-cdfpl/newton_2_1.yml TIMEOUT 900.35 890.57 None floats-cdfpl/newton_2_2.yml TIMEOUT 900.34 890.31 None floats-cdfpl/newton_2_3.yml TIMEOUT 900.34 891.30 None floats-cdfpl/newton_2_4.yml TIMEOUT 900.34 892.01 None floats-cdfpl/newton_2_5.yml TIMEOUT 900.35 889.83 None floats-cdfpl/newton_2_6.yml TIMEOUT 900.35 891.83 None floats-cdfpl/newton_2_7.yml false(unreach-call) 433.48 422.25 None floats-cdfpl/newton_2_8.yml false(unreach-call) 115.15 105.09 None floats-cdfpl/newton_3_1.yml TIMEOUT 900.35 890.79 None floats-cdfpl/newton_3_2.yml TIMEOUT 900.36 890.14 None floats-cdfpl/newton_3_3.yml TIMEOUT 900.36 889.76 None floats-cdfpl/newton_3_4.yml TIMEOUT 900.35 890.66 None floats-cdfpl/newton_3_5.yml TIMEOUT 900.35 890.40 None floats-cdfpl/newton_3_6.yml TIMEOUT 900.35 890.58 None floats-cdfpl/newton_3_7.yml false(unreach-call) 121.31 111.44 None floats-cdfpl/newton_3_8.yml false(unreach-call) 144.35 133.87 None floats-cdfpl/sine_1.yml false(unreach-call) 29.35 19.26 None floats-cdfpl/sine_2.yml false(unreach-call) 106.94 97.57 None floats-cdfpl/sine_3.yml false(unreach-call) 499.62 490.01 None floats-cdfpl/sine_4.yml TIMEOUT 900.33 891.20 None floats-cdfpl/sine_5.yml TIMEOUT 900.34 890.82 None floats-cdfpl/sine_6.yml TIMEOUT 900.33 891.17 None floats-cdfpl/sine_7.yml TIMEOUT 900.39 887.23 None floats-cdfpl/sine_8.yml TIMEOUT 900.34 889.84 None floats-cdfpl/square_1.yml false(unreach-call) 124.87 114.31 None floats-cdfpl/square_2.yml false(unreach-call) 271.23 260.93 None floats-cdfpl/square_3.yml false(unreach-call) 201.47 191.08 None floats-cdfpl/square_4.yml TIMEOUT 900.32 890.74 None floats-cdfpl/square_5.yml TIMEOUT 900.34 888.94 None floats-cdfpl/square_6.yml TIMEOUT 900.32 890.57 None floats-cdfpl/square_7.yml TIMEOUT 900.31 891.30 None floats-cdfpl/square_8.yml true 101.15 91.69 None floats-cbmc-regression/float-div1.yml true 175.74 159.31 None floats-cbmc-regression/float-flags-simp1.yml true 174.32 158.25 None floats-cbmc-regression/float-no-simp1.yml true 23.70 14.34 None floats-cbmc-regression/float-no-simp2.yml ERROR (7) 19.93 10.84 None floats-cbmc-regression/float-no-simp3.yml true 24.82 15.33 None floats-cbmc-regression/float-no-simp4.yml true 27.17 15.66 None floats-cbmc-regression/float-no-simp6.yml true 35.07 23.91 None floats-cbmc-regression/float-no-simp7.yml true 34.98 23.36 None floats-cbmc-regression/float-no-simp8.yml true 29.35 18.18 None floats-cbmc-regression/float-rounding1.yml true 202.10 182.89 None floats-cbmc-regression/float-to-double1.yml true 34.16 23.94 None floats-cbmc-regression/float-to-double2.yml true 21.69 12.53 None floats-cbmc-regression/float-zero-sum1.yml true 29.69 18.67 None floats-cbmc-regression/float1.yml true 25.97 16.12 None floats-cbmc-regression/float11.yml true 85.26 71.42 None floats-cbmc-regression/float12.yml true 33.18 23.13 None floats-cbmc-regression/float13.yml ERROR (7) 18.95 10.89 None floats-cbmc-regression/float14.yml true 25.52 14.73 None floats-cbmc-regression/float18.yml ERROR (7) 18.69 10.19 None floats-cbmc-regression/float19.yml true 22.08 12.58 None floats-cbmc-regression/float2.yml true 27.42 16.91 None floats-cbmc-regression/float20.yml true 133.90 121.17 None floats-cbmc-regression/float21.yml true 178.62 160.85 None floats-cbmc-regression/float22.yml true 165.20 140.37 None floats-cbmc-regression/float3.yml ERROR (7) 18.38 10.55 None floats-cbmc-regression/float4.yml ERROR (7) 19.16 10.52 None floats-cbmc-regression/float5.yml true 134.27 123.39 None floats-cbmc-regression/float6.yml true 29.42 19.32 None floats-cbmc-regression/float8.yml true 24.72 14.20 None floats-cbmc-regression/float_lib1.yml true 90.58 73.07 None floats-cbmc-regression/float_lib2.yml true 25.46 13.96 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml TIMEOUT 900.75 819.37 None float-benchs/Muller_Kahan.yml TIMEOUT 901.03 803.46 None float-benchs/Rump_double.yml true 51.27 40.06 None float-benchs/Rump_float.yml true 36.19 25.91 None float-benchs/addsub_double_exact.yml true 22.72 13.23 None float-benchs/addsub_float_exact.yml true 19.57 11.58 None float-benchs/addsub_float_inexact.yml true 25.74 15.40 None float-benchs/arctan_Pade.yml ERROR (7) 15.35 8.79 None float-benchs/bary_diverge.yml ERROR (7) 18.44 10.44 None float-benchs/cast_float_ptr.yml unknown 22.18 12.90 None float-benchs/cast_float_union.yml true 17.65 10.08 None float-benchs/cast_union_loose.yml false(unreach-call) 23.52 13.79 None float-benchs/cast_union_tight.yml false(unreach-call) 21.53 12.77 None float-benchs/cos_polynomial.yml ERROR (7) 17.23 9.68 None float-benchs/divmul_buf_diverge.yml TIMEOUT 900.31 797.24 None float-benchs/divmul_diverge.yml TIMEOUT 900.42 799.48 None float-benchs/drift_tenth.c.p+cfa-reducer.yml unknown 169.85 157.40 None float-benchs/drift_tenth.yml ERROR (7) 299.74 282.64 None float-benchs/exp_loop.yml ERROR (7) 258.40 244.30 None float-benchs/feedback_diverge.yml TIMEOUT 900.40 796.75 None float-benchs/filter1.c.p+cfa-reducer.yml ERROR (7) 635.72 622.44 None float-benchs/filter1.c.v+lhb-reducer.yml ERROR (7) 339.19 325.00 None float-benchs/filter1.c.v+nlh-reducer.yml ERROR (7) 671.59 660.32 None float-benchs/filter1.yml unknown 893.28 883.65 None float-benchs/filter2.yml TIMEOUT 901.46 863.04 None float-benchs/filter2_alt.yml ERROR (7) 28.71 15.58 None float-benchs/filter2_iterated.yml ERROR (7) 28.89 15.65 None float-benchs/filter2_reinit.yml TIMEOUT 900.52 865.82 None float-benchs/filter2_set.yml TIMEOUT 900.63 867.57 None float-benchs/filter_iir.yml ERROR (7) 21.39 11.96 None float-benchs/float_double.yml true 22.89 13.01 None float-benchs/float_int_inv_square.yml false(unreach-call) 24.55 14.25 None float-benchs/image_filter.yml TIMEOUT 900.57 869.53 None float-benchs/interpolation.c.p+cfa-reducer.yml ERROR (7) 509.12 491.14 None float-benchs/interpolation.c.v+cfa-reducer.yml TIMEOUT 900.49 872.09 None float-benchs/interpolation.c.v+nlh-reducer.yml TIMEOUT 900.41 878.08 None float-benchs/interpolation.yml TIMEOUT 900.54 860.31 None float-benchs/interpolation2.c.p+cfa-reducer.yml TIMEOUT 900.55 867.24 None float-benchs/interpolation2.c.v+cfa-reducer.yml TIMEOUT 900.41 872.28 None float-benchs/interpolation2.c.v+nlh-reducer.yml TIMEOUT 900.41 870.85 None float-benchs/interpolation2.yml TIMEOUT 900.46 873.59 None float-benchs/inv_Newton-1.yml TIMEOUT 900.53 876.07 None float-benchs/inv_Newton-2.yml TIMEOUT 900.52 869.85 None float-benchs/inv_Newton.c.p+cfa-reducer.yml ERROR (7) 21.94 12.36 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml ERROR (7) 19.26 10.92 None float-benchs/inv_sqrt_Quake.yml ERROR (7) 94.29 82.14 None float-benchs/inv_square-1.yml false(unreach-call) 23.14 13.76 None float-benchs/inv_square-2.yml true 48.50 35.51 None float-benchs/inv_square_int.yml true 29.37 19.08 None float-benchs/loop-1.yml TIMEOUT 900.46 877.90 None float-benchs/mea8000.yml ERROR (7) 18.73 10.31 None float-benchs/nan_double.yml false(unreach-call) 21.29 12.17 None float-benchs/nan_double_range.yml true 21.85 12.44 None float-benchs/nan_float.yml false(unreach-call) 21.38 12.34 None float-benchs/nan_float_range.yml true 21.83 12.46 None float-benchs/rlim_exit.yml TIMEOUT 900.52 872.41 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 900.39 888.95 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 900.37 885.93 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 900.44 880.90 None float-benchs/rlim_invariant.yml ERROR (7) 791.91 780.97 None float-benchs/sin_interpolated_bigrange_loose.yml ERROR (7) 19.57 10.76 None float-benchs/sin_interpolated_bigrange_tight.yml ERROR (7) 19.33 10.66 None float-benchs/sin_interpolated_index-1.yml ERROR (7) 19.69 11.11 None float-benchs/sin_interpolated_index-2.yml ERROR (7) 19.41 10.88 None float-benchs/sin_interpolated_negation.yml ERROR (7) 20.55 11.30 None float-benchs/sin_interpolated_smallrange.yml ERROR (7) 19.49 10.93 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml ERROR (7) 19.00 10.49 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 17.57 10.05 None float-benchs/sqrt_Householder_interval.yml ERROR (7) 18.23 10.35 None float-benchs/sqrt_Householder_pseudoconstant.yml ERROR (7) 17.92 10.04 None float-benchs/sqrt_Newton_pseudoconstant.yml ERROR (7) 18.83 10.60 None float-benchs/sqrt_biNewton_pseudoconstant.yml ERROR (7) 27.29 14.95 None float-benchs/sqrt_poly.yml ERROR (7) 20.24 11.43 None float-benchs/sqrt_poly2.yml ERROR (7) 22.66 12.53 None float-benchs/water_pid.yml unknown 580.57 555.50 None float-benchs/zonotope_2.yml TIMEOUT 900.74 846.10 None float-benchs/zonotope_3.c.p+cfa-reducer.yml ERROR (7) 19.55 10.93 None float-benchs/zonotope_3.c.v+lhb-reducer.yml ERROR (7) 19.96 11.18 None float-benchs/zonotope_3.yml ERROR (7) 479.12 451.83 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml ERROR (7) 435.03 420.91 None float-benchs/zonotope_loose.yml true 398.06 380.66 None float-benchs/zonotope_tight.yml true 421.40 400.38 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml ERROR (7) 328.88 315.33 None floats-esbmc-regression/Double_div.yml unknown 720.48 700.29 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml ERROR (7) 262.72 249.51 None floats-esbmc-regression/Double_div_bad.yml ERROR (7) 252.36 237.93 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml unknown 477.10 452.35 None floats-esbmc-regression/Float_div.yml TIMEOUT 900.65 876.65 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml unknown 326.71 310.11 None floats-esbmc-regression/Float_div_bad.yml TIMEOUT 900.50 880.21 None floats-esbmc-regression/ceil.yml true 23.06 12.73 None floats-esbmc-regression/ceil_nondet.yml unknown 18.74 10.22 None floats-esbmc-regression/copysign.yml true 22.82 12.54 None floats-esbmc-regression/digits_bad_for.yml TIMEOUT 900.50 876.15 None floats-esbmc-regression/digits_bad_while.yml TIMEOUT 900.54 875.64 None floats-esbmc-regression/digits_for.yml TIMEOUT 900.49 877.07 None floats-esbmc-regression/digits_while.yml TIMEOUT 900.61 878.90 None floats-esbmc-regression/fabs.yml true 23.21 13.05 None floats-esbmc-regression/fdim.yml ERROR (7) 53.76 41.69 None floats-esbmc-regression/floor.yml true 22.73 12.65 None floats-esbmc-regression/floor_nondet.yml unknown 19.05 10.28 None floats-esbmc-regression/fmax.yml true 21.62 12.15 None floats-esbmc-regression/fmin.yml true 23.36 12.90 None floats-esbmc-regression/fmod.yml ERROR (7) 18.83 10.45 None floats-esbmc-regression/fmod2.yml ERROR (7) 20.11 10.87 None floats-esbmc-regression/fmod3.yml ERROR (7) 18.93 10.53 None floats-esbmc-regression/isgreater.yml true 22.82 12.81 None floats-esbmc-regression/isgreaterequal.yml true 21.69 11.97 None floats-esbmc-regression/isless.yml true 22.93 12.81 None floats-esbmc-regression/islessequal.yml true 22.37 12.32 None floats-esbmc-regression/islessgreater.yml true 21.97 12.35 None floats-esbmc-regression/isunordered.yml ERROR (7) 17.95 10.05 None floats-esbmc-regression/lrint.yml unknown 17.95 9.83 None floats-esbmc-regression/modf.yml unknown 18.88 10.26 None floats-esbmc-regression/nan.yml true 22.69 12.69 None floats-esbmc-regression/nearbyint.yml unknown 18.77 10.29 None floats-esbmc-regression/nearbyint2.yml unknown 17.36 9.42 None floats-esbmc-regression/remainder.yml ERROR (7) 18.34 10.11 None floats-esbmc-regression/rint.yml unknown 19.68 10.69 None floats-esbmc-regression/rint2.yml unknown 16.83 9.27 None floats-esbmc-regression/round.yml ERROR (7) 22.36 12.77 None floats-esbmc-regression/round_nondet.yml unknown 18.32 9.97 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 25.74 14.26 None floats-esbmc-regression/trunc.yml true 20.02 11.34 None floats-esbmc-regression/trunc_nondet.yml unknown 17.81 9.95 None floats-esbmc-regression/trunc_nondet_2.yml true 317.17 304.70 None float-newlib/double_req_bl_0210.yml ERROR (7) 19.70 10.83 None float-newlib/double_req_bl_0220a.yml ERROR (7) 16.55 9.33 None float-newlib/double_req_bl_0220b.yml ERROR (7) 18.37 10.10 None float-newlib/double_req_bl_0240a.yml ERROR (7) 19.28 10.35 None float-newlib/double_req_bl_0240b.yml ERROR (7) 16.57 9.26 None float-newlib/double_req_bl_0250a.yml ERROR (7) 17.34 9.76 None float-newlib/double_req_bl_0250b.yml ERROR (7) 18.20 10.30 None float-newlib/double_req_bl_0260.yml ERROR (7) 16.89 9.44 None float-newlib/double_req_bl_0270a.yml ERROR (7) 16.88 9.56 None float-newlib/double_req_bl_0270b.yml ERROR (7) 17.22 9.78 None float-newlib/double_req_bl_0281.yml ERROR (7) 15.78 9.04 None float-newlib/double_req_bl_0310.yml ERROR (7) 19.16 10.61 None float-newlib/double_req_bl_0320.yml ERROR (7) 19.11 10.64 None float-newlib/double_req_bl_0330a.yml ERROR (7) 17.34 9.48 None float-newlib/double_req_bl_0330b.yml ERROR (7) 18.60 10.35 None float-newlib/double_req_bl_0460.yml ERROR (7) 20.67 11.52 None float-newlib/double_req_bl_0470.yml ERROR (7) 22.12 12.28 None float-newlib/double_req_bl_0480.yml ERROR (7) 21.90 12.26 None float-newlib/double_req_bl_0490a.yml ERROR (7) 21.01 11.76 None float-newlib/double_req_bl_0490b.yml ERROR (7) 23.92 13.09 None float-newlib/double_req_bl_0520.yml ERROR (7) 17.86 9.98 None float-newlib/double_req_bl_0530a.yml ERROR (7) 17.14 9.54 None float-newlib/double_req_bl_0530b.yml ERROR (7) 19.64 10.65 None float-newlib/double_req_bl_0550a.yml ERROR (7) 18.75 10.21 None float-newlib/double_req_bl_0550b.yml ERROR (7) 19.64 10.80 None float-newlib/double_req_bl_0620a.yml ERROR (7) 15.88 8.88 None float-newlib/double_req_bl_0620b.yml ERROR (7) 18.01 10.26 None float-newlib/double_req_bl_0621a.yml ERROR (7) 17.22 9.80 None float-newlib/double_req_bl_0621b.yml ERROR (7) 17.37 9.93 None float-newlib/double_req_bl_0660a.yml ERROR (7) 15.89 8.99 None float-newlib/double_req_bl_0660b.yml ERROR (7) 17.46 9.78 None float-newlib/double_req_bl_0661a.yml ERROR (7) 18.41 10.33 None float-newlib/double_req_bl_0661b.yml ERROR (7) 15.78 8.97 None float-newlib/double_req_bl_0662a.yml ERROR (7) 17.87 9.94 None float-newlib/double_req_bl_0662b.yml ERROR (7) 17.57 9.86 None float-newlib/double_req_bl_0663a.yml ERROR (7) 17.79 9.88 None float-newlib/double_req_bl_0663b.yml ERROR (7) 16.49 9.23 None float-newlib/double_req_bl_0670.yml ERROR (7) 18.10 9.88 None float-newlib/double_req_bl_0680a.yml ERROR (7) 18.30 10.15 None float-newlib/double_req_bl_0680b.yml ERROR (7) 17.61 9.76 None float-newlib/double_req_bl_0681a.yml ERROR (7) 17.69 9.94 None float-newlib/double_req_bl_0681b.yml ERROR (7) 15.72 8.68 None float-newlib/double_req_bl_0682a.yml ERROR (7) 17.62 9.97 None float-newlib/double_req_bl_0682b.yml ERROR (7) 18.13 10.15 None float-newlib/double_req_bl_0683a.yml ERROR (7) 16.31 9.26 None float-newlib/double_req_bl_0683b.yml ERROR (7) 17.90 9.92 None float-newlib/double_req_bl_0684a.yml ERROR (7) 16.27 9.11 None float-newlib/double_req_bl_0684b.yml ERROR (7) 18.42 10.32 None float-newlib/double_req_bl_0685a.yml ERROR (7) 17.63 9.92 None float-newlib/double_req_bl_0685b.yml ERROR (7) 16.81 9.52 None float-newlib/double_req_bl_0686a.yml ERROR (7) 17.59 9.91 None float-newlib/double_req_bl_0686b.yml ERROR (7) 15.94 8.92 None float-newlib/double_req_bl_0720.yml ERROR (7) 21.69 12.04 None float-newlib/double_req_bl_0730a.yml ERROR (7) 21.36 12.21 None float-newlib/double_req_bl_0730b.yml ERROR (7) 20.45 11.49 None float-newlib/double_req_bl_0730c.yml ERROR (7) 18.36 10.51 None float-newlib/double_req_bl_0740.yml ERROR (7) 20.98 11.67 None float-newlib/double_req_bl_0832.yml ERROR (7) 21.88 12.09 None float-newlib/double_req_bl_0833.yml ERROR (7) 21.24 11.86 None float-newlib/double_req_bl_0834.yml ERROR (7) 20.61 11.61 None float-newlib/double_req_bl_0870a.yml ERROR (7) 17.14 9.52 None float-newlib/double_req_bl_0870b.yml ERROR (7) 18.23 10.25 None float-newlib/double_req_bl_0872a.yml ERROR (7) 19.15 10.49 None float-newlib/double_req_bl_0872b.yml ERROR (7) 16.49 9.21 None float-newlib/double_req_bl_0873a.yml ERROR (7) 18.73 10.42 None float-newlib/double_req_bl_0873b.yml ERROR (7) 18.18 10.06 None float-newlib/double_req_bl_0874.yml ERROR (7) 18.06 10.06 None float-newlib/double_req_bl_0876.yml ERROR (7) 17.95 10.05 None float-newlib/double_req_bl_0882.yml ERROR (7) 16.10 9.06 None float-newlib/double_req_bl_0883.yml ERROR (7) 18.00 10.13 None float-newlib/double_req_bl_0910a.yml ERROR (7) 17.17 9.69 None float-newlib/double_req_bl_0910b.yml ERROR (7) 16.47 9.16 None float-newlib/double_req_bl_0920a.yml ERROR (7) 17.48 9.82 None float-newlib/double_req_bl_0920b.yml ERROR (7) 17.05 9.62 None float-newlib/double_req_bl_0921.yml ERROR (7) 15.39 8.77 None float-newlib/double_req_bl_0930.yml ERROR (7) 17.44 9.90 None float-newlib/double_req_bl_0931.yml ERROR (7) 17.29 9.72 None float-newlib/double_req_bl_0960b.yml ERROR (7) 16.84 9.58 None float-newlib/double_req_bl_0970a.yml ERROR (7) 17.03 9.60 None float-newlib/double_req_bl_0970b.yml ERROR (7) 15.70 8.90 None float-newlib/double_req_bl_0971.yml ERROR (7) 17.90 10.01 None float-newlib/double_req_bl_0981.yml ERROR (7) 17.15 9.56 None float-newlib/double_req_bl_1011a.yml ERROR (7) 76.95 63.82 None float-newlib/double_req_bl_1011b.yml ERROR (7) 84.80 72.78 None float-newlib/double_req_bl_1012a.yml false(unreach-call) 24.31 14.00 None float-newlib/double_req_bl_1012b.yml false(unreach-call) 21.63 12.69 None float-newlib/double_req_bl_1031.yml true 33.72 21.65 None float-newlib/double_req_bl_1032a.yml ERROR (7) 31.73 18.85 None float-newlib/double_req_bl_1032b.yml ERROR (7) 35.60 21.37 None float-newlib/double_req_bl_1032c.yml false(unreach-call) 23.07 13.77 None float-newlib/double_req_bl_1032d.yml false(unreach-call) 65.30 53.56 None float-newlib/double_req_bl_1051.yml ERROR (7) 19.21 11.09 None float-newlib/double_req_bl_1052a.yml ERROR (7) 20.58 11.57 None float-newlib/double_req_bl_1052b.yml ERROR (7) 19.19 10.72 None float-newlib/double_req_bl_1052c.yml ERROR (7) 20.82 11.69 None float-newlib/double_req_bl_1052d.yml ERROR (7) 20.14 11.36 None float-newlib/double_req_bl_1071.yml true 36.79 23.72 None float-newlib/double_req_bl_1072a.yml false(unreach-call) 22.53 13.20 None float-newlib/double_req_bl_1072b.yml true 30.56 17.31 None float-newlib/double_req_bl_1072c.yml true 33.94 20.17 None float-newlib/double_req_bl_1072d.yml false(unreach-call) 22.47 13.22 None float-newlib/double_req_bl_1091.yml ERROR (7) 20.56 11.63 None float-newlib/double_req_bl_1092a.yml ERROR (7) 19.50 11.02 None float-newlib/double_req_bl_1092b.yml ERROR (7) 20.34 11.38 None float-newlib/double_req_bl_1092c.yml ERROR (7) 17.91 10.29 None float-newlib/double_req_bl_1092d.yml ERROR (7) 20.00 11.34 None float-newlib/double_req_bl_1121a.yml ERROR (7) 20.59 11.49 None float-newlib/double_req_bl_1121b.yml ERROR (7) 21.16 11.95 None float-newlib/double_req_bl_1122a.yml ERROR (7) 21.44 11.92 None float-newlib/double_req_bl_1122b.yml ERROR (7) 21.82 11.99 None float-newlib/double_req_bl_1130a.yml ERROR (7) 21.25 11.77 None float-newlib/double_req_bl_1131a.yml ERROR (7) 19.87 11.35 None float-newlib/double_req_bl_1131b.yml ERROR (7) 21.40 11.93 None float-newlib/double_req_bl_1210.yml ERROR (7) 20.41 11.56 None float-newlib/double_req_bl_1211a.yml ERROR (7) 21.61 12.12 None float-newlib/double_req_bl_1211b.yml ERROR (7) 22.54 12.53 None float-newlib/double_req_bl_1230.yml true 44.24 26.92 None float-newlib/double_req_bl_1231b.yml false(unreach-call) 25.30 14.72 None float-newlib/double_req_bl_1232a.yml true 32.28 20.13 None float-newlib/double_req_bl_1232b.yml false(unreach-call) 32.55 19.45 None float-newlib/double_req_bl_1250.yml true 39.84 24.52 None float-newlib/double_req_bl_1251b.yml false(unreach-call) 26.09 15.41 None float-newlib/double_req_bl_1252a.yml true 33.49 20.10 None float-newlib/double_req_bl_1252b.yml false(unreach-call) 29.00 17.63 None float-newlib/double_req_bl_1300.yml false(unreach-call) 23.46 13.60 None float-newlib/float_req_bl_0220a.yml ERROR (7) 17.67 9.82 None float-newlib/float_req_bl_0220b.yml ERROR (7) 19.00 10.62 None float-newlib/float_req_bl_0240a.yml ERROR (7) 18.53 10.23 None float-newlib/float_req_bl_0240b.yml ERROR (7) 19.23 10.54 None float-newlib/float_req_bl_0250a.yml ERROR (7) 17.84 9.94 None float-newlib/float_req_bl_0250b.yml ERROR (7) 16.97 9.42 None float-newlib/float_req_bl_0260.yml ERROR (7) 17.44 9.77 None float-newlib/float_req_bl_0270a.yml ERROR (7) 16.11 9.24 None float-newlib/float_req_bl_0270b.yml ERROR (7) 15.68 8.85 None float-newlib/float_req_bl_0281.yml ERROR (7) 17.03 9.73 None float-newlib/float_req_bl_0310.yml ERROR (7) 18.26 10.09 None float-newlib/float_req_bl_0320a.yml ERROR (7) 18.30 10.15 None float-newlib/float_req_bl_0320b.yml ERROR (7) 17.83 10.07 None float-newlib/float_req_bl_0330a.yml ERROR (7) 18.78 10.36 None float-newlib/float_req_bl_0330b.yml ERROR (7) 17.76 9.94 None float-newlib/float_req_bl_0460.yml ERROR (7) 21.52 12.04 None float-newlib/float_req_bl_0470.yml ERROR (7) 18.91 10.81 None float-newlib/float_req_bl_0480.yml ERROR (7) 21.86 12.24 None float-newlib/float_req_bl_0490a.yml ERROR (7) 21.88 12.37 None float-newlib/float_req_bl_0490b.yml ERROR (7) 21.03 11.87 None float-newlib/float_req_bl_0530a.yml ERROR (7) 17.95 9.98 None float-newlib/float_req_bl_0530b.yml ERROR (7) 18.54 10.25 None float-newlib/float_req_bl_0550a.yml ERROR (7) 17.92 9.94 None float-newlib/float_req_bl_0550b.yml ERROR (7) 17.25 9.55 None float-newlib/float_req_bl_0610.yml ERROR (7) 16.83 9.48 None float-newlib/float_req_bl_0620a.yml ERROR (7) 17.54 9.87 None float-newlib/float_req_bl_0620b.yml ERROR (7) 16.90 9.67 None float-newlib/float_req_bl_0621a.yml ERROR (7) 15.95 9.16 None float-newlib/float_req_bl_0621b.yml ERROR (7) 17.48 9.87 None float-newlib/float_req_bl_0660a.yml ERROR (7) 17.18 9.84 None float-newlib/float_req_bl_0660b.yml ERROR (7) 16.79 9.64 None float-newlib/float_req_bl_0661a.yml ERROR (7) 15.80 9.00 None float-newlib/float_req_bl_0661b.yml ERROR (7) 17.48 9.81 None float-newlib/float_req_bl_0662a.yml ERROR (7) 17.43 9.82 None float-newlib/float_req_bl_0662b.yml ERROR (7) 18.03 10.09 None float-newlib/float_req_bl_0663a.yml ERROR (7) 16.17 9.25 None float-newlib/float_req_bl_0663b.yml ERROR (7) 17.65 9.92 None float-newlib/float_req_bl_0670.yml ERROR (7) 16.68 9.43 None float-newlib/float_req_bl_0680a.yml ERROR (7) 18.02 9.90 None float-newlib/float_req_bl_0680b.yml ERROR (7) 16.23 9.01 None float-newlib/float_req_bl_0681a.yml ERROR (7) 16.78 9.64 None float-newlib/float_req_bl_0681b.yml ERROR (7) 17.45 9.72 None float-newlib/float_req_bl_0682a.yml ERROR (7) 17.22 9.48 None float-newlib/float_req_bl_0682b.yml ERROR (7) 17.60 9.90 None float-newlib/float_req_bl_0683a.yml ERROR (7) 16.96 9.48 None float-newlib/float_req_bl_0683b.yml ERROR (7) 16.00 9.18 None float-newlib/float_req_bl_0684a.yml ERROR (7) 17.57 9.95 None float-newlib/float_req_bl_0684b.yml ERROR (7) 17.35 9.88 None float-newlib/float_req_bl_0685a.yml ERROR (7) 17.37 9.83 None float-newlib/float_req_bl_0685b.yml ERROR (7) 17.02 9.66 None float-newlib/float_req_bl_0686a.yml ERROR (7) 16.91 9.43 None float-newlib/float_req_bl_0686b.yml ERROR (7) 17.71 9.97 None float-newlib/float_req_bl_0710.yml ERROR (7) 19.64 11.05 None float-newlib/float_req_bl_0720.yml ERROR (7) 18.46 10.46 None float-newlib/float_req_bl_0730a.yml ERROR (7) 19.66 11.05 None float-newlib/float_req_bl_0730b.yml ERROR (7) 20.65 11.71 None float-newlib/float_req_bl_0730c.yml ERROR (7) 19.96 11.29 None float-newlib/float_req_bl_0740.yml ERROR (7) 19.65 11.15 None float-newlib/float_req_bl_0831.yml ERROR (7) 20.58 11.76 None float-newlib/float_req_bl_0832a.yml ERROR (7) 21.34 12.25 None float-newlib/float_req_bl_0832b.yml ERROR (7) 18.73 10.79 None float-newlib/float_req_bl_0833.yml ERROR (7) 19.72 11.19 None float-newlib/float_req_bl_0834.yml ERROR (7) 20.88 11.71 None float-newlib/float_req_bl_0870a.yml ERROR (7) 18.97 10.47 None float-newlib/float_req_bl_0870b.yml ERROR (7) 19.23 10.61 None float-newlib/float_req_bl_0872a.yml ERROR (7) 19.14 10.49 None float-newlib/float_req_bl_0872b.yml ERROR (7) 16.52 9.44 None float-newlib/float_req_bl_0873a.yml ERROR (7) 18.44 10.33 None float-newlib/float_req_bl_0873b.yml ERROR (7) 16.32 9.14 None float-newlib/float_req_bl_0874.yml ERROR (7) 18.42 10.06 None float-newlib/float_req_bl_0875.yml ERROR (7) 18.77 10.42 None float-newlib/float_req_bl_0876.yml ERROR (7) 17.77 9.76 None float-newlib/float_req_bl_0877.yml ERROR (7) 18.53 10.24 None float-newlib/float_req_bl_0880.yml ERROR (7) 17.81 9.94 None float-newlib/float_req_bl_0881.yml ERROR (7) 19.00 10.43 None float-newlib/float_req_bl_0883.yml ERROR (7) 16.52 9.30 None float-newlib/float_req_bl_0910a.yml ERROR (7) 17.48 9.87 None float-newlib/float_req_bl_0910b.yml ERROR (7) 16.00 9.05 None float-newlib/float_req_bl_0920a.yml ERROR (7) 16.57 9.28 None float-newlib/float_req_bl_0920b.yml ERROR (7) 17.34 9.75 None float-newlib/float_req_bl_0921.yml ERROR (7) 17.54 9.69 None float-newlib/float_req_bl_0930.yml ERROR (7) 16.42 9.19 None float-newlib/float_req_bl_0931.yml ERROR (7) 17.62 9.93 None float-newlib/float_req_bl_0960a.yml ERROR (7) 15.97 9.06 None float-newlib/float_req_bl_0960b.yml ERROR (7) 16.46 9.32 None float-newlib/float_req_bl_0970a.yml ERROR (7) 17.81 9.86 None float-newlib/float_req_bl_0970b.yml ERROR (7) 16.96 9.36 None float-newlib/float_req_bl_0971.yml ERROR (7) 17.59 9.90 None float-newlib/float_req_bl_0981.yml ERROR (7) 17.65 9.92 None float-newlib/float_req_bl_1010.yml true 24.65 14.30 None float-newlib/float_req_bl_1011a.yml true 23.90 13.99 None float-newlib/float_req_bl_1011b.yml true 30.06 17.85 None float-newlib/float_req_bl_1012a.yml true 25.33 14.54 None float-newlib/float_req_bl_1012b.yml true 330.63 316.80 None float-newlib/float_req_bl_1031.yml true 31.32 18.92 None float-newlib/float_req_bl_1032a.yml true 28.89 16.62 None float-newlib/float_req_bl_1032b.yml true 31.84 19.55 None float-newlib/float_req_bl_1032c.yml true 55.03 42.71 None float-newlib/float_req_bl_1032d.yml ERROR (7) 239.37 228.60 None float-newlib/float_req_bl_1051.yml ERROR (7) 19.70 11.05 None float-newlib/float_req_bl_1052a.yml ERROR (7) 20.34 11.27 None float-newlib/float_req_bl_1052b.yml ERROR (7) 20.57 11.69 None float-newlib/float_req_bl_1052c.yml ERROR (7) 20.36 11.43 None float-newlib/float_req_bl_1052d.yml ERROR (7) 20.32 11.34 None float-newlib/float_req_bl_1071.yml true 25.20 14.99 None float-newlib/float_req_bl_1072a.yml true 26.74 15.71 None float-newlib/float_req_bl_1072b.yml true 255.45 240.74 None float-newlib/float_req_bl_1072c.yml true 27.48 15.81 None float-newlib/float_req_bl_1072d.yml true 35.52 22.67 None float-newlib/float_req_bl_1091.yml ERROR (7) 19.77 11.30 None float-newlib/float_req_bl_1092a.yml ERROR (7) 19.99 11.22 None float-newlib/float_req_bl_1092b.yml ERROR (7) 19.51 11.12 None float-newlib/float_req_bl_1092c.yml ERROR (7) 19.33 10.91 None float-newlib/float_req_bl_1092d.yml ERROR (7) 18.74 10.73 None float-newlib/float_req_bl_1121a.yml ERROR (7) 20.08 11.29 None float-newlib/float_req_bl_1121b.yml ERROR (7) 21.49 11.99 None float-newlib/float_req_bl_1122a.yml ERROR (7) 20.03 11.52 None float-newlib/float_req_bl_1122b.yml ERROR (7) 20.10 11.21 None float-newlib/float_req_bl_1130a.yml ERROR (7) 19.90 11.24 None float-newlib/float_req_bl_1130b.yml ERROR (7) 21.46 11.97 None float-newlib/float_req_bl_1131a.yml ERROR (7) 21.29 11.75 None float-newlib/float_req_bl_1131b.yml ERROR (7) 19.99 11.28 None float-newlib/float_req_bl_1210.yml ERROR (7) 19.66 11.12 None float-newlib/float_req_bl_1211a.yml ERROR (7) 20.71 11.70 None float-newlib/float_req_bl_1211b.yml ERROR (7) 20.82 11.78 None float-newlib/float_req_bl_1230.yml true 28.05 16.81 None float-newlib/float_req_bl_1231.yml true 50.73 32.82 None float-newlib/float_req_bl_1232a.yml true 33.71 20.37 None float-newlib/float_req_bl_1232b.yml false(unreach-call) 29.44 17.56 None float-newlib/float_req_bl_1250.yml true 29.54 17.46 None float-newlib/float_req_bl_1251.yml true 53.11 33.39 None float-newlib/float_req_bl_1252a.yml true 29.92 18.44 None float-newlib/float_req_bl_1252b.yml false(unreach-call) 28.95 17.43 None float-newlib/float_req_bl_1270a.yml ERROR (7) 17.74 10.04 None float-newlib/float_req_bl_1270b.yml ERROR (7) 17.17 9.81 None float-newlib/float_req_bl_1270c.yml ERROR (7) 17.49 9.78 None float-newlib/float_req_bl_1270d.yml ERROR (7) 16.93 9.31 None float-newlib/float_req_bl_1271a.yml ERROR (7) 16.98 9.50 None float-newlib/float_req_bl_1271b.yml ERROR (7) 16.80 9.41 None float-newlib/float_req_bl_1381.yml true 25.32 14.52 None loop-floats-scientific-comp/loop1-1.yml TIMEOUT 900.45 869.92 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 26.85 17.86 None loop-floats-scientific-comp/loop2-1.yml ERROR (7) 18.81 10.67 None loop-floats-scientific-comp/loop2-2.yml ERROR (7) 19.38 11.03 None loop-floats-scientific-comp/loop3.yml ERROR (7) 19.71 10.97 None loop-floats-scientific-comp/loop4.yml ERROR (7) 17.64 9.75 None loop-floats-scientific-comp/loop5.yml ERROR (7) 17.46 9.82 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 24449.56 5519.60 - Statistics: 469 Files correct: 109 correct true: 83 correct false: 26 incorrect: 9 incorrect true: 0 incorrect false: 9 unknown: 351 Score: 48 (max: 893)