BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-fast.xml name: uautomizer-fast run sets: sv-comp21_prop-reachsafety.ReachSafety-Floats, sv-comp21_prop-memsafety, sv-comp21_prop-nooverflow, sv-comp21_prop-termination date: Sat, 2020-10-24 13:46:01 CEST tool: ULTIMATE Automizer 0.2.0-ee8e70e7 tool executable: ./Ultimate.py options: --full-output 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 ------------------------------------------------------------ sv-comp21_prop-reachsafety.ReachSafety-Floats Run set 1 of 4 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------- floats-cdfpl/newton_1_1.yml TIMEOUT 900.35 890.12 None floats-cdfpl/newton_1_2.yml TIMEOUT 900.34 890.62 None floats-cdfpl/newton_1_3.yml TIMEOUT 900.33 890.47 None floats-cdfpl/newton_1_4.yml false(unreach-call) 427.54 418.13 None floats-cdfpl/newton_1_5.yml false(unreach-call) 124.12 113.54 None floats-cdfpl/newton_1_6.yml false(unreach-call) 87.60 75.94 None floats-cdfpl/newton_1_7.yml false(unreach-call) 52.46 43.14 None floats-cdfpl/newton_1_8.yml false(unreach-call) 39.75 29.78 None floats-cdfpl/newton_2_1.yml TIMEOUT 900.38 889.99 None floats-cdfpl/newton_2_2.yml TIMEOUT 900.36 890.15 None floats-cdfpl/newton_2_3.yml TIMEOUT 900.35 891.62 None floats-cdfpl/newton_2_4.yml TIMEOUT 900.37 890.59 None floats-cdfpl/newton_2_5.yml TIMEOUT 900.37 889.26 None floats-cdfpl/newton_2_6.yml false(unreach-call) 93.05 82.64 None floats-cdfpl/newton_2_7.yml false(unreach-call) 176.28 166.16 None floats-cdfpl/newton_2_8.yml false(unreach-call) 231.79 220.41 None floats-cdfpl/newton_3_1.yml TIMEOUT 900.38 888.90 None floats-cdfpl/newton_3_2.yml TIMEOUT 900.38 889.14 None floats-cdfpl/newton_3_3.yml TIMEOUT 900.38 889.01 None floats-cdfpl/newton_3_4.yml TIMEOUT 900.37 889.85 None floats-cdfpl/newton_3_5.yml TIMEOUT 900.37 889.95 None floats-cdfpl/newton_3_6.yml false(unreach-call) 112.16 100.10 None floats-cdfpl/newton_3_7.yml false(unreach-call) 282.76 271.80 None floats-cdfpl/newton_3_8.yml false(unreach-call) 202.75 190.71 None floats-cdfpl/sine_1.yml false(unreach-call) 100.42 89.81 None floats-cdfpl/sine_2.yml TIMEOUT 900.34 890.06 None floats-cdfpl/sine_3.yml TIMEOUT 900.32 891.47 None floats-cdfpl/sine_4.yml TIMEOUT 900.34 890.55 None floats-cdfpl/sine_5.yml TIMEOUT 900.34 890.52 None floats-cdfpl/sine_6.yml TIMEOUT 900.34 891.62 None floats-cdfpl/sine_7.yml TIMEOUT 900.34 891.51 None floats-cdfpl/sine_8.yml TIMEOUT 900.34 891.23 None floats-cdfpl/square_1.yml false(unreach-call) 66.31 55.88 None floats-cdfpl/square_2.yml false(unreach-call) 161.76 151.30 None floats-cdfpl/square_3.yml TIMEOUT 900.32 890.34 None floats-cdfpl/square_4.yml TIMEOUT 900.33 890.76 None floats-cdfpl/square_5.yml TIMEOUT 900.33 889.02 None floats-cdfpl/square_6.yml TIMEOUT 900.33 888.97 None floats-cdfpl/square_7.yml TIMEOUT 900.91 874.26 None floats-cdfpl/square_8.yml TIMEOUT 900.29 869.44 None floats-cbmc-regression/float-div1.yml ERROR (7) 90.33 77.41 None floats-cbmc-regression/float-flags-simp1.yml true 428.19 407.33 None floats-cbmc-regression/float-no-simp1.yml true 23.71 14.08 None floats-cbmc-regression/float-no-simp2.yml ERROR (7) 20.40 11.10 None floats-cbmc-regression/float-no-simp3.yml true 39.00 29.04 None floats-cbmc-regression/float-no-simp4.yml true 26.78 15.45 None floats-cbmc-regression/float-no-simp6.yml true 36.18 25.62 None floats-cbmc-regression/float-no-simp7.yml true 33.86 23.27 None floats-cbmc-regression/float-no-simp8.yml true 30.39 18.52 None floats-cbmc-regression/float-rounding1.yml ERROR (7) 500.28 483.01 None floats-cbmc-regression/float-to-double1.yml true 33.98 23.87 None floats-cbmc-regression/float-to-double2.yml true 22.95 12.96 None floats-cbmc-regression/float-zero-sum1.yml true 27.96 17.89 None floats-cbmc-regression/float1.yml true 27.53 16.81 None floats-cbmc-regression/float11.yml true 104.80 88.95 None floats-cbmc-regression/float12.yml true 31.49 22.60 None floats-cbmc-regression/float13.yml ERROR (7) 17.66 9.72 None floats-cbmc-regression/float14.yml true 21.16 11.90 None floats-cbmc-regression/float18.yml ERROR (7) 18.81 10.31 None floats-cbmc-regression/float19.yml true 28.10 17.07 None floats-cbmc-regression/float2.yml true 25.99 15.92 None floats-cbmc-regression/float20.yml true 164.12 148.41 None floats-cbmc-regression/float21.yml true 186.47 165.33 None floats-cbmc-regression/float22.yml true 141.11 120.79 None floats-cbmc-regression/float3.yml ERROR (7) 18.50 10.64 None floats-cbmc-regression/float4.yml ERROR (7) 20.03 10.87 None floats-cbmc-regression/float5.yml true 139.72 126.81 None floats-cbmc-regression/float6.yml true 45.96 31.89 None floats-cbmc-regression/float8.yml true 24.01 13.97 None floats-cbmc-regression/float_lib1.yml true 99.88 82.87 None floats-cbmc-regression/float_lib2.yml true 23.78 13.43 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml TIMEOUT 901.11 813.83 None float-benchs/Muller_Kahan.yml unknown 518.70 434.60 None float-benchs/Rump_double.yml TIMEOUT 900.51 878.05 None float-benchs/Rump_float.yml TIMEOUT 900.43 876.50 None float-benchs/addsub_double_exact.yml true 22.86 13.34 None float-benchs/addsub_float_exact.yml true 22.65 12.98 None float-benchs/addsub_float_inexact.yml true 23.88 13.69 None float-benchs/arctan_Pade.yml ERROR (7) 16.66 9.56 None float-benchs/bary_diverge.yml ERROR (7) 19.35 10.90 None float-benchs/cast_float_ptr.yml unknown 21.77 12.88 None float-benchs/cast_float_union.yml true 16.46 9.58 None float-benchs/cast_union_loose.yml false(unreach-call) 24.55 13.92 None float-benchs/cast_union_tight.yml false(unreach-call) 21.59 12.48 None float-benchs/cos_polynomial.yml ERROR (7) 15.41 8.68 None float-benchs/divmul_buf_diverge.yml TIMEOUT 900.35 800.04 None float-benchs/divmul_diverge.yml TIMEOUT 900.40 796.95 None float-benchs/drift_tenth.c.p+cfa-reducer.yml TIMEOUT 900.47 874.79 None float-benchs/drift_tenth.yml ERROR (7) 665.20 647.24 None float-benchs/exp_loop.yml TIMEOUT 900.54 883.77 None float-benchs/feedback_diverge.yml TIMEOUT 900.42 794.95 None float-benchs/filter1.c.p+cfa-reducer.yml TIMEOUT 900.39 878.02 None float-benchs/filter1.c.v+lhb-reducer.yml ERROR (7) 118.24 103.69 None float-benchs/filter1.c.v+nlh-reducer.yml ERROR (7) 108.98 94.31 None float-benchs/filter1.yml unknown 851.17 825.36 None float-benchs/filter2.yml TIMEOUT 900.59 873.01 None float-benchs/filter2_alt.yml ERROR (7) 19.85 11.36 None float-benchs/filter2_iterated.yml ERROR (7) 19.76 11.16 None float-benchs/filter2_reinit.yml TIMEOUT 900.51 863.28 None float-benchs/filter2_set.yml TIMEOUT 900.43 880.04 None float-benchs/filter_iir.yml ERROR (7) 19.98 11.08 None float-benchs/float_double.yml true 20.19 11.90 None float-benchs/float_int_inv_square.yml false(unreach-call) 21.74 12.94 None float-benchs/image_filter.yml TIMEOUT 900.60 870.69 None float-benchs/interpolation.c.p+cfa-reducer.yml TIMEOUT 900.59 876.49 None float-benchs/interpolation.c.v+cfa-reducer.yml TIMEOUT 900.69 880.49 None float-benchs/interpolation.c.v+nlh-reducer.yml TIMEOUT 900.45 878.43 None float-benchs/interpolation.yml TIMEOUT 900.42 883.56 None float-benchs/interpolation2.c.p+cfa-reducer.yml TIMEOUT 900.44 866.71 None float-benchs/interpolation2.c.v+cfa-reducer.yml TIMEOUT 900.54 872.25 None float-benchs/interpolation2.c.v+nlh-reducer.yml TIMEOUT 900.55 860.14 None float-benchs/interpolation2.yml TIMEOUT 900.42 869.83 None float-benchs/inv_Newton-1.yml TIMEOUT 900.53 867.12 None float-benchs/inv_Newton-2.yml TIMEOUT 900.54 867.76 None float-benchs/inv_Newton.c.p+cfa-reducer.yml ERROR (7) 22.10 12.20 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml ERROR (7) 20.80 11.49 None float-benchs/inv_sqrt_Quake.yml unknown 104.74 87.06 None float-benchs/inv_square-1.yml false(unreach-call) 23.63 14.15 None float-benchs/inv_square-2.yml true 95.18 82.14 None float-benchs/inv_square_int.yml true 29.66 19.42 None float-benchs/loop-1.yml TIMEOUT 900.39 874.93 None float-benchs/mea8000.yml ERROR (7) 17.91 10.06 None float-benchs/nan_double.yml false(unreach-call) 20.96 12.04 None float-benchs/nan_double_range.yml true 22.57 12.75 None float-benchs/nan_float.yml false(unreach-call) 19.49 11.08 None float-benchs/nan_float_range.yml true 28.31 18.25 None float-benchs/rlim_exit.yml TIMEOUT 900.46 875.48 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 900.39 884.18 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 900.42 883.96 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 900.40 883.65 None float-benchs/rlim_invariant.yml TIMEOUT 900.42 881.66 None float-benchs/sin_interpolated_bigrange_loose.yml ERROR (7) 18.61 10.59 None float-benchs/sin_interpolated_bigrange_tight.yml ERROR (7) 17.81 10.20 None float-benchs/sin_interpolated_index-1.yml ERROR (7) 16.84 9.50 None float-benchs/sin_interpolated_index-2.yml ERROR (7) 18.26 10.22 None float-benchs/sin_interpolated_negation.yml ERROR (7) 18.68 10.41 None float-benchs/sin_interpolated_smallrange.yml ERROR (7) 18.66 10.38 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml ERROR (7) 15.92 8.64 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 17.83 9.98 None float-benchs/sqrt_Householder_interval.yml ERROR (7) 16.89 9.67 None float-benchs/sqrt_Householder_pseudoconstant.yml ERROR (7) 15.32 8.78 None float-benchs/sqrt_Newton_pseudoconstant.yml ERROR (7) 16.77 9.55 None float-benchs/sqrt_biNewton_pseudoconstant.yml ERROR (7) 16.66 9.52 None float-benchs/sqrt_poly.yml ERROR (7) 19.15 10.76 None float-benchs/sqrt_poly2.yml ERROR (7) 18.51 10.25 None float-benchs/water_pid.yml TIMEOUT 900.57 872.00 None float-benchs/zonotope_2.yml TIMEOUT 900.54 871.58 None float-benchs/zonotope_3.c.p+cfa-reducer.yml ERROR (7) 15.38 8.78 None float-benchs/zonotope_3.c.v+lhb-reducer.yml ERROR (7) 17.98 9.98 None float-benchs/zonotope_3.yml TIMEOUT 900.78 856.19 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml true 591.03 572.56 None float-benchs/zonotope_loose.yml true 779.65 760.16 None float-benchs/zonotope_tight.yml true 758.04 739.76 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml unknown 203.61 190.43 None floats-esbmc-regression/Double_div.yml unknown 200.79 187.48 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml unknown 583.11 566.91 None floats-esbmc-regression/Double_div_bad.yml unknown 345.86 332.73 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml unknown 243.19 226.86 None floats-esbmc-regression/Float_div.yml ERROR (7) 677.48 654.64 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml unknown 234.26 217.37 None floats-esbmc-regression/Float_div_bad.yml ERROR (7) 844.99 815.92 None floats-esbmc-regression/ceil.yml true 24.25 13.37 None floats-esbmc-regression/ceil_nondet.yml unknown 20.18 10.91 None floats-esbmc-regression/copysign.yml true 23.72 13.19 None floats-esbmc-regression/digits_bad_for.yml TIMEOUT 900.58 873.97 None floats-esbmc-regression/digits_bad_while.yml ERROR (7) 542.36 518.99 None floats-esbmc-regression/digits_for.yml TIMEOUT 900.64 874.72 None floats-esbmc-regression/digits_while.yml ERROR (7) 534.63 511.81 None floats-esbmc-regression/fabs.yml true 21.29 11.86 None floats-esbmc-regression/fdim.yml true 52.86 36.74 None floats-esbmc-regression/floor.yml true 23.34 13.05 None floats-esbmc-regression/floor_nondet.yml unknown 17.79 9.81 None floats-esbmc-regression/fmax.yml true 23.57 13.09 None floats-esbmc-regression/fmin.yml true 21.72 12.23 None floats-esbmc-regression/fmod.yml ERROR (7) 37.87 19.95 None floats-esbmc-regression/fmod2.yml ERROR (7) 20.64 11.21 None floats-esbmc-regression/fmod3.yml ERROR (7) 19.36 10.60 None floats-esbmc-regression/isgreater.yml true 24.04 13.32 None floats-esbmc-regression/isgreaterequal.yml true 22.16 12.67 None floats-esbmc-regression/isless.yml true 21.46 12.18 None floats-esbmc-regression/islessequal.yml true 33.40 18.09 None floats-esbmc-regression/islessgreater.yml ERROR (7) 21.10 11.44 None floats-esbmc-regression/isunordered.yml ERROR (7) 18.80 10.35 None floats-esbmc-regression/lrint.yml unknown 16.89 9.50 None floats-esbmc-regression/modf.yml unknown 17.95 9.94 None floats-esbmc-regression/nan.yml true 23.42 12.93 None floats-esbmc-regression/nearbyint.yml unknown 18.48 10.14 None floats-esbmc-regression/nearbyint2.yml unknown 17.63 9.77 None floats-esbmc-regression/remainder.yml ERROR (7) 18.69 10.11 None floats-esbmc-regression/rint.yml unknown 18.19 10.03 None floats-esbmc-regression/rint2.yml unknown 18.54 10.27 None floats-esbmc-regression/round.yml ERROR (7) 23.33 13.12 None floats-esbmc-regression/round_nondet.yml unknown 19.36 10.49 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 22.20 12.53 None floats-esbmc-regression/trunc.yml true 21.77 12.20 None floats-esbmc-regression/trunc_nondet.yml unknown 17.78 9.95 None floats-esbmc-regression/trunc_nondet_2.yml true 367.53 354.24 None float-newlib/double_req_bl_0210.yml ERROR (7) 18.76 10.29 None float-newlib/double_req_bl_0220a.yml ERROR (7) 17.38 9.74 None float-newlib/double_req_bl_0220b.yml ERROR (7) 17.75 9.87 None float-newlib/double_req_bl_0240a.yml ERROR (7) 17.35 9.68 None float-newlib/double_req_bl_0240b.yml ERROR (7) 17.63 9.71 None float-newlib/double_req_bl_0250a.yml ERROR (7) 16.42 9.43 None float-newlib/double_req_bl_0250b.yml ERROR (7) 17.19 9.70 None float-newlib/double_req_bl_0260.yml ERROR (7) 17.25 9.84 None float-newlib/double_req_bl_0270a.yml ERROR (7) 15.97 9.17 None float-newlib/double_req_bl_0270b.yml ERROR (7) 17.12 9.61 None float-newlib/double_req_bl_0281.yml ERROR (7) 17.10 9.67 None float-newlib/double_req_bl_0310.yml ERROR (7) 17.85 10.00 None float-newlib/double_req_bl_0320.yml ERROR (7) 17.88 10.09 None float-newlib/double_req_bl_0330a.yml ERROR (7) 18.18 10.15 None float-newlib/double_req_bl_0330b.yml ERROR (7) 16.70 9.34 None float-newlib/double_req_bl_0460.yml ERROR (7) 22.20 12.33 None float-newlib/double_req_bl_0470.yml ERROR (7) 21.23 11.77 None float-newlib/double_req_bl_0480.yml ERROR (7) 21.73 12.06 None float-newlib/double_req_bl_0490a.yml ERROR (7) 21.39 11.95 None float-newlib/double_req_bl_0490b.yml ERROR (7) 22.19 12.24 None float-newlib/double_req_bl_0520.yml ERROR (7) 18.42 10.13 None float-newlib/double_req_bl_0530a.yml ERROR (7) 16.36 9.19 None float-newlib/double_req_bl_0530b.yml ERROR (7) 17.15 9.50 None float-newlib/double_req_bl_0550a.yml ERROR (7) 18.72 10.37 None float-newlib/double_req_bl_0550b.yml ERROR (7) 18.73 10.32 None float-newlib/double_req_bl_0620a.yml ERROR (7) 16.58 9.31 None float-newlib/double_req_bl_0620b.yml ERROR (7) 16.55 9.36 None float-newlib/double_req_bl_0621a.yml ERROR (7) 17.38 9.68 None float-newlib/double_req_bl_0621b.yml ERROR (7) 15.51 8.81 None float-newlib/double_req_bl_0660a.yml ERROR (7) 16.59 9.49 None float-newlib/double_req_bl_0660b.yml ERROR (7) 16.90 9.44 None float-newlib/double_req_bl_0661a.yml ERROR (7) 17.47 9.70 None float-newlib/double_req_bl_0661b.yml ERROR (7) 15.80 9.09 None float-newlib/double_req_bl_0662a.yml ERROR (7) 16.99 9.76 None float-newlib/double_req_bl_0662b.yml ERROR (7) 15.08 8.78 None float-newlib/double_req_bl_0663a.yml ERROR (7) 16.78 9.61 None float-newlib/double_req_bl_0663b.yml ERROR (7) 16.87 9.46 None float-newlib/double_req_bl_0670.yml ERROR (7) 17.12 9.70 None float-newlib/double_req_bl_0680a.yml ERROR (7) 17.16 9.63 None float-newlib/double_req_bl_0680b.yml ERROR (7) 16.44 9.26 None float-newlib/double_req_bl_0681a.yml ERROR (7) 15.93 9.06 None float-newlib/double_req_bl_0681b.yml ERROR (7) 17.39 9.74 None float-newlib/double_req_bl_0682a.yml ERROR (7) 17.13 9.46 None float-newlib/double_req_bl_0682b.yml ERROR (7) 17.18 9.61 None float-newlib/double_req_bl_0683a.yml ERROR (7) 17.66 9.88 None float-newlib/double_req_bl_0683b.yml ERROR (7) 17.48 9.75 None float-newlib/double_req_bl_0684a.yml ERROR (7) 16.30 9.29 None float-newlib/double_req_bl_0684b.yml ERROR (7) 15.48 8.78 None float-newlib/double_req_bl_0685a.yml ERROR (7) 16.97 9.72 None float-newlib/double_req_bl_0685b.yml ERROR (7) 15.47 9.00 None float-newlib/double_req_bl_0686a.yml ERROR (7) 16.28 9.33 None float-newlib/double_req_bl_0686b.yml ERROR (7) 17.37 9.83 None float-newlib/double_req_bl_0720.yml ERROR (7) 21.08 11.75 None float-newlib/double_req_bl_0730a.yml ERROR (7) 18.82 10.72 None float-newlib/double_req_bl_0730b.yml ERROR (7) 19.83 11.26 None float-newlib/double_req_bl_0730c.yml ERROR (7) 21.01 11.85 None float-newlib/double_req_bl_0740.yml ERROR (7) 20.26 11.42 None float-newlib/double_req_bl_0832.yml ERROR (7) 20.32 11.29 None float-newlib/double_req_bl_0833.yml ERROR (7) 21.21 11.88 None float-newlib/double_req_bl_0834.yml ERROR (7) 21.13 11.96 None float-newlib/double_req_bl_0870a.yml ERROR (7) 16.17 9.07 None float-newlib/double_req_bl_0870b.yml ERROR (7) 17.11 9.50 None float-newlib/double_req_bl_0872a.yml ERROR (7) 17.48 9.78 None float-newlib/double_req_bl_0872b.yml ERROR (7) 17.72 9.80 None float-newlib/double_req_bl_0873a.yml ERROR (7) 17.65 9.80 None float-newlib/double_req_bl_0873b.yml ERROR (7) 17.37 9.85 None float-newlib/double_req_bl_0874.yml ERROR (7) 16.57 9.12 None float-newlib/double_req_bl_0876.yml ERROR (7) 17.02 9.66 None float-newlib/double_req_bl_0882.yml ERROR (7) 18.39 10.30 None float-newlib/double_req_bl_0883.yml ERROR (7) 18.75 10.21 None float-newlib/double_req_bl_0910a.yml ERROR (7) 16.68 9.29 None float-newlib/double_req_bl_0910b.yml ERROR (7) 16.45 9.28 None float-newlib/double_req_bl_0920a.yml ERROR (7) 15.00 8.73 None float-newlib/double_req_bl_0920b.yml ERROR (7) 17.71 9.84 None float-newlib/double_req_bl_0921.yml ERROR (7) 16.80 9.45 None float-newlib/double_req_bl_0930.yml ERROR (7) 16.73 9.45 None float-newlib/double_req_bl_0931.yml ERROR (7) 16.76 9.51 None float-newlib/double_req_bl_0960b.yml ERROR (7) 17.40 9.63 None float-newlib/double_req_bl_0970a.yml ERROR (7) 16.59 9.26 None float-newlib/double_req_bl_0970b.yml ERROR (7) 16.78 9.38 None float-newlib/double_req_bl_0971.yml ERROR (7) 16.81 9.61 None float-newlib/double_req_bl_0981.yml ERROR (7) 16.21 9.36 None float-newlib/double_req_bl_1011a.yml ERROR (7) 83.31 71.51 None float-newlib/double_req_bl_1011b.yml ERROR (7) 79.60 66.99 None float-newlib/double_req_bl_1012a.yml false(unreach-call) 26.56 16.40 None float-newlib/double_req_bl_1012b.yml false(unreach-call) 26.15 16.39 None float-newlib/double_req_bl_1031.yml ERROR (7) 254.57 242.23 None float-newlib/double_req_bl_1032a.yml ERROR (7) 30.33 18.40 None float-newlib/double_req_bl_1032b.yml ERROR (7) 34.78 20.66 None float-newlib/double_req_bl_1032c.yml false(unreach-call) 156.58 142.37 None float-newlib/double_req_bl_1032d.yml ERROR (7) 204.12 193.78 None float-newlib/double_req_bl_1051.yml ERROR (7) 20.27 11.27 None float-newlib/double_req_bl_1052a.yml ERROR (7) 20.41 11.34 None float-newlib/double_req_bl_1052b.yml ERROR (7) 20.44 11.48 None float-newlib/double_req_bl_1052c.yml ERROR (7) 19.94 11.37 None float-newlib/double_req_bl_1052d.yml ERROR (7) 20.68 11.56 None float-newlib/double_req_bl_1071.yml true 141.59 129.53 None float-newlib/double_req_bl_1072a.yml false(unreach-call) 27.69 16.98 None float-newlib/double_req_bl_1072b.yml true 29.12 17.15 None float-newlib/double_req_bl_1072c.yml true 35.22 20.67 None float-newlib/double_req_bl_1072d.yml false(unreach-call) 26.82 16.64 None float-newlib/double_req_bl_1091.yml ERROR (7) 19.48 10.99 None float-newlib/double_req_bl_1092a.yml ERROR (7) 19.75 11.12 None float-newlib/double_req_bl_1092b.yml ERROR (7) 20.25 11.26 None float-newlib/double_req_bl_1092c.yml ERROR (7) 19.32 11.07 None float-newlib/double_req_bl_1092d.yml ERROR (7) 19.97 11.21 None float-newlib/double_req_bl_1121a.yml ERROR (7) 19.89 11.28 None float-newlib/double_req_bl_1121b.yml ERROR (7) 21.35 11.99 None float-newlib/double_req_bl_1122a.yml ERROR (7) 21.11 11.76 None float-newlib/double_req_bl_1122b.yml ERROR (7) 20.37 11.49 None float-newlib/double_req_bl_1130a.yml ERROR (7) 20.48 11.61 None float-newlib/double_req_bl_1131a.yml ERROR (7) 20.95 11.72 None float-newlib/double_req_bl_1131b.yml ERROR (7) 21.22 11.86 None float-newlib/double_req_bl_1210.yml ERROR (7) 21.10 11.76 None float-newlib/double_req_bl_1211a.yml ERROR (7) 21.64 12.11 None float-newlib/double_req_bl_1211b.yml ERROR (7) 22.09 12.33 None float-newlib/double_req_bl_1230.yml ERROR (7) 447.15 427.45 None float-newlib/double_req_bl_1231b.yml false(unreach-call) 29.40 18.55 None float-newlib/double_req_bl_1232a.yml true 37.70 22.49 None float-newlib/double_req_bl_1232b.yml false(unreach-call) 30.71 18.55 None float-newlib/double_req_bl_1250.yml unknown 461.21 443.84 None float-newlib/double_req_bl_1251b.yml false(unreach-call) 29.12 18.55 None float-newlib/double_req_bl_1252a.yml true 33.84 20.10 None float-newlib/double_req_bl_1252b.yml false(unreach-call) 30.79 18.74 None float-newlib/double_req_bl_1300.yml false(unreach-call) 24.97 14.13 None float-newlib/float_req_bl_0220a.yml ERROR (7) 18.08 9.98 None float-newlib/float_req_bl_0220b.yml ERROR (7) 18.26 10.09 None float-newlib/float_req_bl_0240a.yml ERROR (7) 18.22 10.09 None float-newlib/float_req_bl_0240b.yml ERROR (7) 19.69 10.71 None float-newlib/float_req_bl_0250a.yml ERROR (7) 16.90 9.55 None float-newlib/float_req_bl_0250b.yml ERROR (7) 17.46 9.81 None float-newlib/float_req_bl_0260.yml ERROR (7) 16.17 9.22 None float-newlib/float_req_bl_0270a.yml ERROR (7) 18.34 10.18 None float-newlib/float_req_bl_0270b.yml ERROR (7) 16.96 9.52 None float-newlib/float_req_bl_0281.yml ERROR (7) 17.17 9.76 None float-newlib/float_req_bl_0310.yml ERROR (7) 17.90 10.03 None float-newlib/float_req_bl_0320a.yml ERROR (7) 17.54 9.99 None float-newlib/float_req_bl_0320b.yml ERROR (7) 18.82 10.34 None float-newlib/float_req_bl_0330a.yml ERROR (7) 19.19 10.60 None float-newlib/float_req_bl_0330b.yml ERROR (7) 18.41 10.23 None float-newlib/float_req_bl_0460.yml ERROR (7) 21.68 12.11 None float-newlib/float_req_bl_0470.yml ERROR (7) 19.49 11.15 None float-newlib/float_req_bl_0480.yml ERROR (7) 19.94 11.22 None float-newlib/float_req_bl_0490a.yml ERROR (7) 19.56 11.14 None float-newlib/float_req_bl_0490b.yml ERROR (7) 19.93 11.32 None float-newlib/float_req_bl_0530a.yml ERROR (7) 17.49 9.76 None float-newlib/float_req_bl_0530b.yml ERROR (7) 18.77 10.52 None float-newlib/float_req_bl_0550a.yml ERROR (7) 18.43 10.10 None float-newlib/float_req_bl_0550b.yml ERROR (7) 17.84 10.00 None float-newlib/float_req_bl_0610.yml ERROR (7) 17.53 9.72 None float-newlib/float_req_bl_0620a.yml ERROR (7) 16.68 9.51 None float-newlib/float_req_bl_0620b.yml ERROR (7) 16.65 9.44 None float-newlib/float_req_bl_0621a.yml ERROR (7) 17.06 9.43 None float-newlib/float_req_bl_0621b.yml ERROR (7) 16.43 9.22 None float-newlib/float_req_bl_0660a.yml ERROR (7) 17.13 9.59 None float-newlib/float_req_bl_0660b.yml ERROR (7) 16.97 9.38 None float-newlib/float_req_bl_0661a.yml ERROR (7) 16.62 9.54 None float-newlib/float_req_bl_0661b.yml ERROR (7) 17.23 9.78 None float-newlib/float_req_bl_0662a.yml ERROR (7) 17.19 9.64 None float-newlib/float_req_bl_0662b.yml ERROR (7) 16.86 9.44 None float-newlib/float_req_bl_0663a.yml ERROR (7) 17.35 9.73 None float-newlib/float_req_bl_0663b.yml ERROR (7) 16.71 9.49 None float-newlib/float_req_bl_0670.yml ERROR (7) 17.08 9.41 None float-newlib/float_req_bl_0680a.yml ERROR (7) 17.20 9.48 None float-newlib/float_req_bl_0680b.yml ERROR (7) 17.78 10.11 None float-newlib/float_req_bl_0681a.yml ERROR (7) 16.91 9.50 None float-newlib/float_req_bl_0681b.yml ERROR (7) 15.62 8.81 None float-newlib/float_req_bl_0682a.yml ERROR (7) 16.68 9.48 None float-newlib/float_req_bl_0682b.yml ERROR (7) 16.45 9.41 None float-newlib/float_req_bl_0683a.yml ERROR (7) 16.25 9.39 None float-newlib/float_req_bl_0683b.yml ERROR (7) 17.25 9.55 None float-newlib/float_req_bl_0684a.yml ERROR (7) 16.79 9.45 None float-newlib/float_req_bl_0684b.yml ERROR (7) 17.02 9.56 None float-newlib/float_req_bl_0685a.yml ERROR (7) 18.27 10.05 None float-newlib/float_req_bl_0685b.yml ERROR (7) 15.55 8.93 None float-newlib/float_req_bl_0686a.yml ERROR (7) 17.17 9.61 None float-newlib/float_req_bl_0686b.yml ERROR (7) 17.48 9.64 None float-newlib/float_req_bl_0710.yml ERROR (7) 19.49 11.05 None float-newlib/float_req_bl_0720.yml ERROR (7) 18.56 10.47 None float-newlib/float_req_bl_0730a.yml ERROR (7) 19.26 11.01 None float-newlib/float_req_bl_0730b.yml ERROR (7) 19.43 11.03 None float-newlib/float_req_bl_0730c.yml ERROR (7) 19.49 10.99 None float-newlib/float_req_bl_0740.yml ERROR (7) 18.36 10.56 None float-newlib/float_req_bl_0831.yml ERROR (7) 21.04 11.73 None float-newlib/float_req_bl_0832a.yml ERROR (7) 20.65 11.44 None float-newlib/float_req_bl_0832b.yml ERROR (7) 19.79 11.17 None float-newlib/float_req_bl_0833.yml ERROR (7) 20.34 11.50 None float-newlib/float_req_bl_0834.yml ERROR (7) 19.51 10.83 None float-newlib/float_req_bl_0870a.yml ERROR (7) 18.03 10.08 None float-newlib/float_req_bl_0870b.yml ERROR (7) 17.41 9.85 None float-newlib/float_req_bl_0872a.yml ERROR (7) 18.04 10.12 None float-newlib/float_req_bl_0872b.yml ERROR (7) 16.46 9.23 None float-newlib/float_req_bl_0873a.yml ERROR (7) 16.67 9.40 None float-newlib/float_req_bl_0873b.yml ERROR (7) 18.68 10.33 None float-newlib/float_req_bl_0874.yml ERROR (7) 17.74 9.93 None float-newlib/float_req_bl_0875.yml ERROR (7) 18.20 10.20 None float-newlib/float_req_bl_0876.yml ERROR (7) 17.73 9.86 None float-newlib/float_req_bl_0877.yml ERROR (7) 17.06 9.60 None float-newlib/float_req_bl_0880.yml ERROR (7) 16.90 9.47 None float-newlib/float_req_bl_0881.yml ERROR (7) 17.67 9.82 None float-newlib/float_req_bl_0883.yml ERROR (7) 16.37 9.04 None float-newlib/float_req_bl_0910a.yml ERROR (7) 15.70 9.11 None float-newlib/float_req_bl_0910b.yml ERROR (7) 17.20 9.75 None float-newlib/float_req_bl_0920a.yml ERROR (7) 16.22 9.31 None float-newlib/float_req_bl_0920b.yml ERROR (7) 15.37 8.69 None float-newlib/float_req_bl_0921.yml ERROR (7) 15.79 8.97 None float-newlib/float_req_bl_0930.yml ERROR (7) 16.44 9.40 None float-newlib/float_req_bl_0931.yml ERROR (7) 17.30 9.69 None float-newlib/float_req_bl_0960a.yml ERROR (7) 16.32 9.14 None float-newlib/float_req_bl_0960b.yml ERROR (7) 16.17 9.22 None float-newlib/float_req_bl_0970a.yml ERROR (7) 16.29 9.42 None float-newlib/float_req_bl_0970b.yml ERROR (7) 17.92 9.94 None float-newlib/float_req_bl_0971.yml ERROR (7) 16.69 9.38 None float-newlib/float_req_bl_0981.yml ERROR (7) 15.35 8.94 None float-newlib/float_req_bl_1010.yml true 136.98 125.29 None float-newlib/float_req_bl_1011a.yml true 24.24 14.21 None float-newlib/float_req_bl_1011b.yml true 26.71 15.18 None float-newlib/float_req_bl_1012a.yml true 146.51 134.78 None float-newlib/float_req_bl_1012b.yml true 307.95 293.43 None float-newlib/float_req_bl_1031.yml true 146.61 134.70 None float-newlib/float_req_bl_1032a.yml true 27.40 15.94 None float-newlib/float_req_bl_1032b.yml true 31.22 18.94 None float-newlib/float_req_bl_1032c.yml true 186.75 172.90 None float-newlib/float_req_bl_1032d.yml ERROR (7) 325.36 311.97 None float-newlib/float_req_bl_1051.yml ERROR (7) 19.54 11.08 None float-newlib/float_req_bl_1052a.yml ERROR (7) 19.20 10.93 None float-newlib/float_req_bl_1052b.yml ERROR (7) 19.70 11.05 None float-newlib/float_req_bl_1052c.yml ERROR (7) 20.01 11.14 None float-newlib/float_req_bl_1052d.yml ERROR (7) 18.58 10.45 None float-newlib/float_req_bl_1071.yml true 101.70 89.33 None float-newlib/float_req_bl_1072a.yml true 225.37 212.31 None float-newlib/float_req_bl_1072b.yml true 317.85 302.39 None float-newlib/float_req_bl_1072c.yml true 30.39 17.49 None float-newlib/float_req_bl_1072d.yml true 39.15 24.90 None float-newlib/float_req_bl_1091.yml ERROR (7) 19.09 10.82 None float-newlib/float_req_bl_1092a.yml ERROR (7) 21.46 12.08 None float-newlib/float_req_bl_1092b.yml ERROR (7) 18.04 10.29 None float-newlib/float_req_bl_1092c.yml ERROR (7) 18.70 10.62 None float-newlib/float_req_bl_1092d.yml ERROR (7) 20.14 11.43 None float-newlib/float_req_bl_1121a.yml ERROR (7) 21.82 12.15 None float-newlib/float_req_bl_1121b.yml ERROR (7) 18.58 10.46 None float-newlib/float_req_bl_1122a.yml ERROR (7) 21.70 12.07 None float-newlib/float_req_bl_1122b.yml ERROR (7) 20.96 11.87 None float-newlib/float_req_bl_1130a.yml ERROR (7) 21.40 12.00 None float-newlib/float_req_bl_1130b.yml ERROR (7) 22.35 12.29 None float-newlib/float_req_bl_1131a.yml ERROR (7) 18.43 10.52 None float-newlib/float_req_bl_1131b.yml ERROR (7) 20.25 11.47 None float-newlib/float_req_bl_1210.yml ERROR (7) 20.56 11.66 None float-newlib/float_req_bl_1211a.yml ERROR (7) 21.71 12.07 None float-newlib/float_req_bl_1211b.yml ERROR (7) 19.58 11.00 None float-newlib/float_req_bl_1230.yml true 111.42 96.16 None float-newlib/float_req_bl_1231.yml true 51.67 32.81 None float-newlib/float_req_bl_1232a.yml true 34.24 20.55 None float-newlib/float_req_bl_1232b.yml false(unreach-call) 30.08 17.85 None float-newlib/float_req_bl_1250.yml true 136.46 122.87 None float-newlib/float_req_bl_1251.yml true 48.76 31.20 None float-newlib/float_req_bl_1252a.yml true 32.37 19.42 None float-newlib/float_req_bl_1252b.yml false(unreach-call) 30.12 17.83 None float-newlib/float_req_bl_1270a.yml ERROR (7) 18.16 10.21 None float-newlib/float_req_bl_1270b.yml ERROR (7) 17.25 9.72 None float-newlib/float_req_bl_1270c.yml ERROR (7) 18.12 10.11 None float-newlib/float_req_bl_1270d.yml ERROR (7) 15.96 8.88 None float-newlib/float_req_bl_1271a.yml ERROR (7) 16.97 9.50 None float-newlib/float_req_bl_1271b.yml ERROR (7) 17.09 9.68 None float-newlib/float_req_bl_1381.yml true 139.08 126.08 None loop-floats-scientific-comp/loop1-1.yml ERROR (7) 597.02 572.06 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 29.59 19.15 None loop-floats-scientific-comp/loop2-1.yml ERROR (7) 20.56 11.14 None loop-floats-scientific-comp/loop2-2.yml ERROR (7) 19.18 11.13 None loop-floats-scientific-comp/loop3.yml ERROR (7) 19.11 10.98 None loop-floats-scientific-comp/loop4.yml ERROR (7) 18.72 10.19 None loop-floats-scientific-comp/loop5.yml ERROR (7) 19.47 10.76 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 26095.36 5741.94 - sv-comp21_prop-memsafety Run set 2 of 4: skipped because it has no files sv-comp21_prop-nooverflow Run set 3 of 4: skipped because it has no files sv-comp21_prop-termination Run set 4 of 4: skipped because it has no files Statistics: 469 Files correct: 101 correct true: 76 correct false: 25 incorrect: 8 incorrect true: 0 incorrect false: 8 unknown: 360 Score: 49 (max: 893)