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: Tue, 2020-10-20 17:02:55 CEST tool: ULTIMATE Automizer 0.1.25-669c6234 tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 120 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 120.36 113.09 None floats-cdfpl/newton_1_2.yml TIMEOUT 120.36 113.28 None floats-cdfpl/newton_1_3.yml TIMEOUT 120.35 113.53 None floats-cdfpl/newton_1_4.yml TIMEOUT 120.36 113.70 None floats-cdfpl/newton_1_5.yml false(unreach-call) 117.25 110.52 None floats-cdfpl/newton_1_6.yml false(unreach-call) 80.41 73.17 None floats-cdfpl/newton_1_7.yml false(unreach-call) 47.39 40.45 None floats-cdfpl/newton_1_8.yml false(unreach-call) 34.00 26.84 None floats-cdfpl/newton_2_1.yml TIMEOUT 120.37 113.59 None floats-cdfpl/newton_2_2.yml TIMEOUT 120.39 113.20 None floats-cdfpl/newton_2_3.yml TIMEOUT 120.37 113.62 None floats-cdfpl/newton_2_4.yml TIMEOUT 120.39 113.58 None floats-cdfpl/newton_2_5.yml TIMEOUT 120.40 112.86 None floats-cdfpl/newton_2_6.yml false(unreach-call) 87.78 80.32 None floats-cdfpl/newton_2_7.yml TIMEOUT 120.39 112.76 None floats-cdfpl/newton_2_8.yml TIMEOUT 120.40 112.79 None floats-cdfpl/newton_3_1.yml TIMEOUT 120.43 112.23 None floats-cdfpl/newton_3_2.yml TIMEOUT 120.45 112.17 None floats-cdfpl/newton_3_3.yml TIMEOUT 120.45 112.24 None floats-cdfpl/newton_3_4.yml TIMEOUT 120.42 112.62 None floats-cdfpl/newton_3_5.yml TIMEOUT 120.43 112.50 None floats-cdfpl/newton_3_6.yml false(unreach-call) 111.48 102.66 None floats-cdfpl/newton_3_7.yml TIMEOUT 120.43 112.68 None floats-cdfpl/newton_3_8.yml TIMEOUT 120.42 112.60 None floats-cdfpl/sine_1.yml false(unreach-call) 93.25 86.83 None floats-cdfpl/sine_2.yml TIMEOUT 120.31 114.39 None floats-cdfpl/sine_3.yml TIMEOUT 120.33 114.13 None floats-cdfpl/sine_4.yml TIMEOUT 120.32 114.19 None floats-cdfpl/sine_5.yml TIMEOUT 120.34 113.61 None floats-cdfpl/sine_6.yml TIMEOUT 120.34 113.69 None floats-cdfpl/sine_7.yml TIMEOUT 120.37 113.32 None floats-cdfpl/sine_8.yml TIMEOUT 120.34 113.72 None floats-cdfpl/square_1.yml false(unreach-call) 59.27 52.51 None floats-cdfpl/square_2.yml TIMEOUT 120.34 113.61 None floats-cdfpl/square_3.yml TIMEOUT 120.33 113.81 None floats-cdfpl/square_4.yml TIMEOUT 120.33 113.75 None floats-cdfpl/square_5.yml TIMEOUT 120.33 113.79 None floats-cdfpl/square_6.yml TIMEOUT 120.33 113.52 None floats-cdfpl/square_7.yml TIMEOUT 120.32 113.91 None floats-cdfpl/square_8.yml TIMEOUT 120.33 113.55 None floats-cbmc-regression/float-div1.yml ERROR (7) 80.32 71.02 None floats-cbmc-regression/float-flags-simp1.yml TIMEOUT 120.47 110.48 None floats-cbmc-regression/float-no-simp1.yml true 18.18 11.72 None floats-cbmc-regression/float-no-simp2.yml ERROR (7) 16.85 9.26 None floats-cbmc-regression/float-no-simp3.yml true 33.82 27.28 None floats-cbmc-regression/float-no-simp4.yml true 22.06 13.21 None floats-cbmc-regression/float-no-simp6.yml true 29.32 22.14 None floats-cbmc-regression/float-no-simp7.yml true 28.04 20.52 None floats-cbmc-regression/float-no-simp8.yml true 23.17 15.43 None floats-cbmc-regression/float-rounding1.yml TIMEOUT 120.60 109.25 None floats-cbmc-regression/float-to-double1.yml true 29.18 21.45 None floats-cbmc-regression/float-to-double2.yml true 16.78 10.31 None floats-cbmc-regression/float-zero-sum1.yml ERROR (7) 13.09 7.83 None floats-cbmc-regression/float1.yml true 19.91 13.34 None floats-cbmc-regression/float11.yml true 93.46 83.60 None floats-cbmc-regression/float12.yml true 24.13 18.03 None floats-cbmc-regression/float13.yml ERROR (7) 14.51 8.61 None floats-cbmc-regression/float14.yml true 18.57 10.95 None floats-cbmc-regression/float18.yml ERROR (7) 15.00 8.29 None floats-cbmc-regression/float19.yml true 22.19 14.27 None floats-cbmc-regression/float2.yml true 18.45 12.70 None floats-cbmc-regression/float20.yml TIMEOUT 120.42 111.80 None floats-cbmc-regression/float21.yml TIMEOUT 120.53 108.82 None floats-cbmc-regression/float22.yml ERROR (7) 15.80 9.29 None floats-cbmc-regression/float3.yml ERROR (7) 13.92 8.51 None floats-cbmc-regression/float4.yml ERROR (7) 15.71 8.77 None floats-cbmc-regression/float5.yml true 113.28 105.30 None floats-cbmc-regression/float6.yml true 34.84 27.12 None floats-cbmc-regression/float8.yml true 18.74 11.33 None floats-cbmc-regression/float_lib1.yml true 88.45 76.95 None floats-cbmc-regression/float_lib2.yml true 18.93 10.94 None float-benchs/Muller_Kahan.c.p+cfa-reducer.yml TIMEOUT 120.23 86.12 None float-benchs/Muller_Kahan.yml TIMEOUT 120.72 85.52 None float-benchs/Rump_double.yml TIMEOUT 120.61 108.27 None float-benchs/Rump_float.yml TIMEOUT 120.54 108.45 None float-benchs/addsub_double_exact.yml true 16.98 10.76 None float-benchs/addsub_float_exact.yml true 15.46 9.95 None float-benchs/addsub_float_inexact.yml true 17.09 10.98 None float-benchs/arctan_Pade.yml ERROR (7) 13.34 7.79 None float-benchs/bary_diverge.yml ERROR (7) 14.41 8.63 None float-benchs/cast_float_ptr.yml ERROR (7) 11.98 7.24 None float-benchs/cast_float_union.yml ERROR (7) 12.63 7.20 None float-benchs/cast_union_loose.yml ERROR (7) 14.70 8.81 None float-benchs/cast_union_tight.yml ERROR (7) 13.15 8.10 None float-benchs/cos_polynomial.yml ERROR (7) 12.68 7.38 None float-benchs/divmul_buf_diverge.yml TIMEOUT 120.71 87.87 None float-benchs/divmul_diverge.yml TIMEOUT 120.21 85.05 None float-benchs/drift_tenth.c.p+cfa-reducer.yml TIMEOUT 120.53 112.18 None float-benchs/drift_tenth.yml TIMEOUT 120.40 112.76 None float-benchs/exp_loop.yml TIMEOUT 120.39 112.44 None float-benchs/feedback_diverge.yml TIMEOUT 121.17 87.06 None float-benchs/filter1.c.p+cfa-reducer.yml TIMEOUT 120.51 109.65 None float-benchs/filter1.c.v+lhb-reducer.yml TIMEOUT 120.48 110.55 None float-benchs/filter1.c.v+nlh-reducer.yml TIMEOUT 120.51 110.25 None float-benchs/filter1.yml TIMEOUT 120.52 109.04 None float-benchs/filter2.yml TIMEOUT 120.77 103.33 None float-benchs/filter2_alt.yml ERROR (7) 14.93 8.78 None float-benchs/filter2_iterated.yml ERROR (7) 14.65 8.75 None float-benchs/filter2_reinit.yml TIMEOUT 121.64 106.00 None float-benchs/filter2_set.yml TIMEOUT 120.47 110.80 None float-benchs/filter_iir.yml ERROR (7) 15.74 9.15 None float-benchs/float_double.yml true 18.04 11.15 None float-benchs/float_int_inv_square.yml false(unreach-call) 18.40 11.90 None float-benchs/image_filter.yml TIMEOUT 120.20 88.90 None float-benchs/interpolation.c.p+cfa-reducer.yml ERROR (7) 15.40 9.15 None float-benchs/interpolation.c.v+cfa-reducer.yml ERROR (7) 15.54 9.04 None float-benchs/interpolation.c.v+nlh-reducer.yml ERROR (7) 15.27 9.09 None float-benchs/interpolation.yml ERROR (7) 15.91 9.34 None float-benchs/interpolation2.c.p+cfa-reducer.yml ERROR (7) 15.58 8.99 None float-benchs/interpolation2.c.v+cfa-reducer.yml ERROR (7) 15.93 9.23 None float-benchs/interpolation2.c.v+nlh-reducer.yml ERROR (7) 15.51 9.10 None float-benchs/interpolation2.yml ERROR (7) 13.83 8.30 None float-benchs/inv_Newton-1.yml ERROR (7) 16.03 9.25 None float-benchs/inv_Newton-2.yml ERROR (7) 15.07 8.97 None float-benchs/inv_Newton.c.p+cfa-reducer.yml ERROR (7) 16.77 9.87 None float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml ERROR (7) 15.34 9.07 None float-benchs/inv_sqrt_Quake.yml ERROR (7) 13.76 8.28 None float-benchs/inv_square-1.yml false(unreach-call) 18.46 11.88 None float-benchs/inv_square-2.yml true 100.81 91.11 None float-benchs/inv_square_int.yml true 23.03 16.38 None float-benchs/loop-1.yml TIMEOUT 120.39 112.80 None float-benchs/mea8000.yml ERROR (7) 13.81 7.83 None float-benchs/nan_double.yml false(unreach-call) 15.56 9.68 None float-benchs/nan_double_range.yml true 17.65 10.67 None float-benchs/nan_float.yml false(unreach-call) 15.63 9.60 None float-benchs/nan_float_range.yml true 22.35 15.45 None float-benchs/rlim_exit.yml TIMEOUT 120.74 105.24 None float-benchs/rlim_invariant.c.p+cfa-reducer.yml TIMEOUT 120.42 112.09 None float-benchs/rlim_invariant.c.v+lhb-reducer.yml TIMEOUT 120.44 111.83 None float-benchs/rlim_invariant.c.v+nlh-reducer.yml TIMEOUT 120.43 112.21 None float-benchs/rlim_invariant.yml TIMEOUT 120.70 109.67 None float-benchs/sin_interpolated_bigrange_loose.yml ERROR (7) 13.75 7.90 None float-benchs/sin_interpolated_bigrange_tight.yml ERROR (7) 13.20 7.68 None float-benchs/sin_interpolated_index-1.yml ERROR (7) 13.66 7.97 None float-benchs/sin_interpolated_index-2.yml ERROR (7) 14.15 8.11 None float-benchs/sin_interpolated_negation.yml ERROR (7) 13.29 7.73 None float-benchs/sin_interpolated_smallrange.yml ERROR (7) 13.52 7.96 None float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml ERROR (7) 12.64 7.46 None float-benchs/sqrt_Householder_constant.yml ERROR (7) 12.66 7.37 None float-benchs/sqrt_Householder_interval.yml ERROR (7) 13.07 7.54 None float-benchs/sqrt_Householder_pseudoconstant.yml ERROR (7) 12.95 7.73 None float-benchs/sqrt_Newton_pseudoconstant.yml ERROR (7) 12.21 7.29 None float-benchs/sqrt_biNewton_pseudoconstant.yml ERROR (7) 12.11 7.38 None float-benchs/sqrt_poly.yml ERROR (7) 14.43 8.78 None float-benchs/sqrt_poly2.yml ERROR (7) 14.36 8.68 None float-benchs/water_pid.yml TIMEOUT 120.84 111.80 None float-benchs/zonotope_2.yml TIMEOUT 120.97 109.76 None float-benchs/zonotope_3.c.p+cfa-reducer.yml ERROR (7) 13.37 7.83 None float-benchs/zonotope_3.c.v+lhb-reducer.yml ERROR (7) 13.38 7.65 None float-benchs/zonotope_3.yml TIMEOUT 120.81 106.81 None float-benchs/zonotope_loose.c.v+cfa-reducer.yml TIMEOUT 120.41 111.81 None float-benchs/zonotope_loose.yml TIMEOUT 120.48 111.66 None float-benchs/zonotope_tight.yml TIMEOUT 120.44 111.77 None floats-esbmc-regression/Double_div.i.p+cfa-reducer.yml TIMEOUT 120.51 112.72 None floats-esbmc-regression/Double_div.yml TIMEOUT 120.54 112.54 None floats-esbmc-regression/Double_div_bad.i.p+cfa-reducer.yml ERROR (7) 102.59 95.77 None floats-esbmc-regression/Double_div_bad.yml TIMEOUT 120.52 112.16 None floats-esbmc-regression/Float_div.i.p+cfa-reducer.yml TIMEOUT 120.47 111.28 None floats-esbmc-regression/Float_div.yml TIMEOUT 120.62 112.10 None floats-esbmc-regression/Float_div_bad.i.p+cfa-reducer.yml TIMEOUT 120.76 110.76 None floats-esbmc-regression/Float_div_bad.yml TIMEOUT 120.42 112.48 None floats-esbmc-regression/ceil.yml true 18.90 10.94 None floats-esbmc-regression/ceil_nondet.yml unknown 14.84 8.30 None floats-esbmc-regression/copysign.yml true 17.36 10.04 None floats-esbmc-regression/digits_bad_for.yml TIMEOUT 120.68 112.57 None floats-esbmc-regression/digits_bad_while.yml TIMEOUT 120.46 112.71 None floats-esbmc-regression/digits_for.yml TIMEOUT 120.59 111.85 None floats-esbmc-regression/digits_while.yml TIMEOUT 120.44 113.25 None floats-esbmc-regression/fabs.yml true 18.87 10.74 None floats-esbmc-regression/fdim.yml true 43.27 31.67 None floats-esbmc-regression/floor.yml true 18.07 10.39 None floats-esbmc-regression/floor_nondet.yml unknown 15.07 8.50 None floats-esbmc-regression/fmax.yml true 17.31 10.14 None floats-esbmc-regression/fmin.yml true 17.92 10.47 None floats-esbmc-regression/fmod.yml ERROR (7) 15.97 9.06 None floats-esbmc-regression/fmod2.yml ERROR (7) 15.28 8.67 None floats-esbmc-regression/fmod3.yml ERROR (7) 15.97 9.02 None floats-esbmc-regression/isgreater.yml true 18.23 10.57 None floats-esbmc-regression/isgreaterequal.yml true 18.09 10.63 None floats-esbmc-regression/isless.yml true 17.88 10.35 None floats-esbmc-regression/islessequal.yml true 16.98 9.83 None floats-esbmc-regression/islessgreater.yml ERROR (7) 15.13 8.48 None floats-esbmc-regression/isunordered.yml ERROR (7) 13.47 7.86 None floats-esbmc-regression/lrint.yml unknown 14.57 8.26 None floats-esbmc-regression/modf.yml unknown 15.10 8.46 None floats-esbmc-regression/nan.yml true 17.24 10.02 None floats-esbmc-regression/nearbyint.yml unknown 14.77 8.40 None floats-esbmc-regression/nearbyint2.yml unknown 13.09 7.57 None floats-esbmc-regression/remainder.yml ERROR (7) 14.09 8.04 None floats-esbmc-regression/rint.yml unknown 14.85 8.35 None floats-esbmc-regression/rint2.yml unknown 13.60 7.82 None floats-esbmc-regression/round.yml ERROR (7) 18.34 10.69 None floats-esbmc-regression/round_nondet.yml unknown 13.89 7.77 None floats-esbmc-regression/rounding_functions.yml ERROR (7) 18.20 10.51 None floats-esbmc-regression/trunc.yml true 18.73 10.71 None floats-esbmc-regression/trunc_nondet.yml unknown 14.84 8.18 None floats-esbmc-regression/trunc_nondet_2.yml TIMEOUT 120.39 111.95 None float-newlib/double_req_bl_0210.yml ERROR (7) 13.82 7.95 None float-newlib/double_req_bl_0220a.yml ERROR (7) 13.73 7.93 None float-newlib/double_req_bl_0220b.yml ERROR (7) 13.24 7.81 None float-newlib/double_req_bl_0240a.yml ERROR (7) 14.24 8.09 None float-newlib/double_req_bl_0240b.yml ERROR (7) 13.50 7.81 None float-newlib/double_req_bl_0250a.yml ERROR (7) 13.21 7.81 None float-newlib/double_req_bl_0250b.yml ERROR (7) 12.30 7.24 None float-newlib/double_req_bl_0260.yml ERROR (7) 13.61 7.89 None float-newlib/double_req_bl_0270a.yml ERROR (7) 13.50 7.74 None float-newlib/double_req_bl_0270b.yml ERROR (7) 13.36 7.61 None float-newlib/double_req_bl_0281.yml ERROR (7) 13.41 7.74 None float-newlib/double_req_bl_0310.yml ERROR (7) 13.48 7.83 None float-newlib/double_req_bl_0320.yml ERROR (7) 13.23 7.78 None float-newlib/double_req_bl_0330a.yml ERROR (7) 13.41 7.66 None float-newlib/double_req_bl_0330b.yml ERROR (7) 14.21 8.05 None float-newlib/double_req_bl_0460.yml ERROR (7) 16.07 9.31 None float-newlib/double_req_bl_0470.yml ERROR (7) 17.28 9.88 None float-newlib/double_req_bl_0480.yml ERROR (7) 17.05 9.94 None float-newlib/double_req_bl_0490a.yml ERROR (7) 16.80 9.79 None float-newlib/double_req_bl_0490b.yml ERROR (7) 16.67 9.80 None float-newlib/double_req_bl_0520.yml ERROR (7) 13.63 7.72 None float-newlib/double_req_bl_0530a.yml ERROR (7) 13.77 7.85 None float-newlib/double_req_bl_0530b.yml ERROR (7) 13.76 7.86 None float-newlib/double_req_bl_0550a.yml ERROR (7) 13.52 7.64 None float-newlib/double_req_bl_0550b.yml ERROR (7) 12.63 7.36 None float-newlib/double_req_bl_0620a.yml ERROR (7) 13.36 7.74 None float-newlib/double_req_bl_0620b.yml ERROR (7) 12.63 7.36 None float-newlib/double_req_bl_0621a.yml ERROR (7) 13.74 7.86 None float-newlib/double_req_bl_0621b.yml ERROR (7) 12.11 7.36 None float-newlib/double_req_bl_0660a.yml ERROR (7) 12.90 7.43 None float-newlib/double_req_bl_0660b.yml ERROR (7) 12.86 7.65 None float-newlib/double_req_bl_0661a.yml ERROR (7) 12.97 7.70 None float-newlib/double_req_bl_0661b.yml ERROR (7) 12.87 7.32 None float-newlib/double_req_bl_0662a.yml ERROR (7) 12.04 7.11 None float-newlib/double_req_bl_0662b.yml ERROR (7) 12.39 7.33 None float-newlib/double_req_bl_0663a.yml ERROR (7) 13.02 7.71 None float-newlib/double_req_bl_0663b.yml ERROR (7) 12.98 7.57 None float-newlib/double_req_bl_0670.yml ERROR (7) 13.66 7.73 None float-newlib/double_req_bl_0680a.yml ERROR (7) 12.99 7.58 None float-newlib/double_req_bl_0680b.yml ERROR (7) 12.88 7.61 None float-newlib/double_req_bl_0681a.yml ERROR (7) 13.28 7.79 None float-newlib/double_req_bl_0681b.yml ERROR (7) 12.91 7.44 None float-newlib/double_req_bl_0682a.yml ERROR (7) 12.53 7.34 None float-newlib/double_req_bl_0682b.yml ERROR (7) 13.32 7.64 None float-newlib/double_req_bl_0683a.yml ERROR (7) 13.03 7.68 None float-newlib/double_req_bl_0683b.yml ERROR (7) 12.92 7.49 None float-newlib/double_req_bl_0684a.yml ERROR (7) 13.19 7.68 None float-newlib/double_req_bl_0684b.yml ERROR (7) 13.02 7.61 None float-newlib/double_req_bl_0685a.yml ERROR (7) 13.71 7.93 None float-newlib/double_req_bl_0685b.yml ERROR (7) 12.77 7.48 None float-newlib/double_req_bl_0686a.yml ERROR (7) 13.69 7.64 None float-newlib/double_req_bl_0686b.yml ERROR (7) 12.46 7.36 None float-newlib/double_req_bl_0720.yml ERROR (7) 15.39 9.12 None float-newlib/double_req_bl_0730a.yml ERROR (7) 15.60 9.16 None float-newlib/double_req_bl_0730b.yml ERROR (7) 15.12 9.04 None float-newlib/double_req_bl_0730c.yml ERROR (7) 15.04 9.09 None float-newlib/double_req_bl_0740.yml ERROR (7) 15.19 8.92 None float-newlib/double_req_bl_0832.yml ERROR (7) 15.69 9.29 None float-newlib/double_req_bl_0833.yml ERROR (7) 16.01 9.23 None float-newlib/double_req_bl_0834.yml ERROR (7) 16.24 9.59 None float-newlib/double_req_bl_0870a.yml ERROR (7) 14.06 8.02 None float-newlib/double_req_bl_0870b.yml ERROR (7) 13.23 7.81 None float-newlib/double_req_bl_0872a.yml ERROR (7) 13.64 7.94 None float-newlib/double_req_bl_0872b.yml ERROR (7) 13.82 7.92 None float-newlib/double_req_bl_0873a.yml ERROR (7) 12.99 7.42 None float-newlib/double_req_bl_0873b.yml ERROR (7) 13.40 7.75 None float-newlib/double_req_bl_0874.yml ERROR (7) 14.07 8.20 None float-newlib/double_req_bl_0876.yml ERROR (7) 13.95 7.82 None float-newlib/double_req_bl_0882.yml ERROR (7) 13.45 7.80 None float-newlib/double_req_bl_0883.yml ERROR (7) 13.78 7.82 None float-newlib/double_req_bl_0910a.yml ERROR (7) 12.83 7.52 None float-newlib/double_req_bl_0910b.yml ERROR (7) 12.88 7.46 None float-newlib/double_req_bl_0920a.yml ERROR (7) 12.68 7.44 None float-newlib/double_req_bl_0920b.yml ERROR (7) 13.37 7.68 None float-newlib/double_req_bl_0921.yml ERROR (7) 13.14 7.70 None float-newlib/double_req_bl_0930.yml ERROR (7) 12.23 7.19 None float-newlib/double_req_bl_0931.yml ERROR (7) 12.04 7.19 None float-newlib/double_req_bl_0960b.yml ERROR (7) 12.64 7.46 None float-newlib/double_req_bl_0970a.yml ERROR (7) 12.57 7.51 None float-newlib/double_req_bl_0970b.yml ERROR (7) 13.27 7.76 None float-newlib/double_req_bl_0971.yml ERROR (7) 13.47 7.80 None float-newlib/double_req_bl_0981.yml ERROR (7) 12.94 7.61 None float-newlib/double_req_bl_1011a.yml ERROR (7) 14.49 8.73 None float-newlib/double_req_bl_1011b.yml ERROR (7) 15.15 8.86 None float-newlib/double_req_bl_1012a.yml ERROR (7) 14.50 8.64 None float-newlib/double_req_bl_1012b.yml ERROR (7) 14.17 8.47 None float-newlib/double_req_bl_1031.yml ERROR (7) 15.68 9.15 None float-newlib/double_req_bl_1032a.yml ERROR (7) 13.71 8.32 None float-newlib/double_req_bl_1032b.yml ERROR (7) 15.31 9.08 None float-newlib/double_req_bl_1032c.yml ERROR (7) 15.69 9.16 None float-newlib/double_req_bl_1032d.yml ERROR (7) 15.81 9.11 None float-newlib/double_req_bl_1051.yml ERROR (7) 14.49 8.67 None float-newlib/double_req_bl_1052a.yml ERROR (7) 15.22 9.02 None float-newlib/double_req_bl_1052b.yml ERROR (7) 15.17 9.07 None float-newlib/double_req_bl_1052c.yml ERROR (7) 15.28 8.99 None float-newlib/double_req_bl_1052d.yml ERROR (7) 15.14 9.14 None float-newlib/double_req_bl_1071.yml ERROR (7) 13.99 8.41 None float-newlib/double_req_bl_1072a.yml ERROR (7) 14.71 8.67 None float-newlib/double_req_bl_1072b.yml ERROR (7) 14.98 8.96 None float-newlib/double_req_bl_1072c.yml ERROR (7) 15.57 9.02 None float-newlib/double_req_bl_1072d.yml ERROR (7) 15.39 9.09 None float-newlib/double_req_bl_1091.yml ERROR (7) 14.90 8.82 None float-newlib/double_req_bl_1092a.yml ERROR (7) 14.88 8.89 None float-newlib/double_req_bl_1092b.yml ERROR (7) 15.25 9.10 None float-newlib/double_req_bl_1092c.yml ERROR (7) 15.64 9.10 None float-newlib/double_req_bl_1092d.yml ERROR (7) 15.30 8.97 None float-newlib/double_req_bl_1121a.yml ERROR (7) 15.59 9.07 None float-newlib/double_req_bl_1121b.yml ERROR (7) 16.18 9.56 None float-newlib/double_req_bl_1122a.yml ERROR (7) 15.23 8.96 None float-newlib/double_req_bl_1122b.yml ERROR (7) 14.79 8.87 None float-newlib/double_req_bl_1130a.yml ERROR (7) 16.00 9.36 None float-newlib/double_req_bl_1131a.yml ERROR (7) 16.57 9.92 None float-newlib/double_req_bl_1131b.yml ERROR (7) 16.01 9.43 None float-newlib/double_req_bl_1210.yml ERROR (7) 15.94 9.38 None float-newlib/double_req_bl_1211a.yml ERROR (7) 16.78 9.59 None float-newlib/double_req_bl_1211b.yml ERROR (7) 16.33 9.67 None float-newlib/double_req_bl_1230.yml ERROR (7) 15.95 9.56 None float-newlib/double_req_bl_1231b.yml ERROR (7) 16.20 9.41 None float-newlib/double_req_bl_1232a.yml ERROR (7) 15.88 9.53 None float-newlib/double_req_bl_1232b.yml ERROR (7) 16.78 9.82 None float-newlib/double_req_bl_1250.yml ERROR (7) 16.09 9.47 None float-newlib/double_req_bl_1251b.yml ERROR (7) 14.66 8.34 None float-newlib/double_req_bl_1252a.yml ERROR (7) 15.44 9.05 None float-newlib/double_req_bl_1252b.yml ERROR (7) 15.72 9.39 None float-newlib/double_req_bl_1300.yml ERROR (7) 15.54 9.03 None float-newlib/float_req_bl_0220a.yml ERROR (7) 13.62 7.74 None float-newlib/float_req_bl_0220b.yml ERROR (7) 13.77 8.00 None float-newlib/float_req_bl_0240a.yml ERROR (7) 13.40 7.72 None float-newlib/float_req_bl_0240b.yml ERROR (7) 13.71 7.79 None float-newlib/float_req_bl_0250a.yml ERROR (7) 12.75 7.43 None float-newlib/float_req_bl_0250b.yml ERROR (7) 13.04 7.79 None float-newlib/float_req_bl_0260.yml ERROR (7) 13.03 7.74 None float-newlib/float_req_bl_0270a.yml ERROR (7) 13.33 7.76 None float-newlib/float_req_bl_0270b.yml ERROR (7) 13.43 7.63 None float-newlib/float_req_bl_0281.yml ERROR (7) 12.13 7.09 None float-newlib/float_req_bl_0310.yml ERROR (7) 13.00 7.56 None float-newlib/float_req_bl_0320a.yml ERROR (7) 13.52 7.72 None float-newlib/float_req_bl_0320b.yml ERROR (7) 14.39 7.97 None float-newlib/float_req_bl_0330a.yml ERROR (7) 13.21 7.75 None float-newlib/float_req_bl_0330b.yml ERROR (7) 13.92 7.99 None float-newlib/float_req_bl_0460.yml ERROR (7) 16.52 9.46 None float-newlib/float_req_bl_0470.yml ERROR (7) 15.97 9.37 None float-newlib/float_req_bl_0480.yml ERROR (7) 16.11 9.42 None float-newlib/float_req_bl_0490a.yml ERROR (7) 16.10 9.45 None float-newlib/float_req_bl_0490b.yml ERROR (7) 15.78 9.36 None float-newlib/float_req_bl_0530a.yml ERROR (7) 11.99 7.15 None float-newlib/float_req_bl_0530b.yml ERROR (7) 13.03 7.64 None float-newlib/float_req_bl_0550a.yml ERROR (7) 13.93 7.85 None float-newlib/float_req_bl_0550b.yml ERROR (7) 12.99 7.56 None float-newlib/float_req_bl_0610.yml ERROR (7) 12.63 7.50 None float-newlib/float_req_bl_0620a.yml ERROR (7) 12.60 7.32 None float-newlib/float_req_bl_0620b.yml ERROR (7) 12.35 7.33 None float-newlib/float_req_bl_0621a.yml ERROR (7) 13.71 7.84 None float-newlib/float_req_bl_0621b.yml ERROR (7) 12.60 7.44 None float-newlib/float_req_bl_0660a.yml ERROR (7) 13.03 7.51 None float-newlib/float_req_bl_0660b.yml ERROR (7) 12.87 7.71 None float-newlib/float_req_bl_0661a.yml ERROR (7) 13.35 7.51 None float-newlib/float_req_bl_0661b.yml ERROR (7) 12.92 7.58 None float-newlib/float_req_bl_0662a.yml ERROR (7) 12.39 7.35 None float-newlib/float_req_bl_0662b.yml ERROR (7) 12.92 7.54 None float-newlib/float_req_bl_0663a.yml ERROR (7) 13.53 7.74 None float-newlib/float_req_bl_0663b.yml ERROR (7) 13.61 7.80 None float-newlib/float_req_bl_0670.yml ERROR (7) 12.97 7.62 None float-newlib/float_req_bl_0680a.yml ERROR (7) 12.38 7.28 None float-newlib/float_req_bl_0680b.yml ERROR (7) 12.51 7.36 None float-newlib/float_req_bl_0681a.yml ERROR (7) 13.77 7.81 None float-newlib/float_req_bl_0681b.yml ERROR (7) 13.79 7.92 None float-newlib/float_req_bl_0682a.yml ERROR (7) 12.99 7.59 None float-newlib/float_req_bl_0682b.yml ERROR (7) 13.00 8.05 None float-newlib/float_req_bl_0683a.yml ERROR (7) 13.46 7.87 None float-newlib/float_req_bl_0683b.yml ERROR (7) 13.03 7.52 None float-newlib/float_req_bl_0684a.yml ERROR (7) 12.75 7.42 None float-newlib/float_req_bl_0684b.yml ERROR (7) 11.99 7.46 None float-newlib/float_req_bl_0685a.yml ERROR (7) 12.90 7.47 None float-newlib/float_req_bl_0685b.yml ERROR (7) 13.34 7.80 None float-newlib/float_req_bl_0686a.yml ERROR (7) 12.92 7.54 None float-newlib/float_req_bl_0686b.yml ERROR (7) 12.39 7.30 None float-newlib/float_req_bl_0710.yml ERROR (7) 15.47 8.94 None float-newlib/float_req_bl_0720.yml ERROR (7) 15.22 9.04 None float-newlib/float_req_bl_0730a.yml ERROR (7) 14.91 8.80 None float-newlib/float_req_bl_0730b.yml ERROR (7) 15.09 8.93 None float-newlib/float_req_bl_0730c.yml ERROR (7) 14.99 9.03 None float-newlib/float_req_bl_0740.yml ERROR (7) 15.37 9.13 None float-newlib/float_req_bl_0831.yml ERROR (7) 15.51 9.19 None float-newlib/float_req_bl_0832a.yml ERROR (7) 15.76 9.33 None float-newlib/float_req_bl_0832b.yml ERROR (7) 15.53 9.02 None float-newlib/float_req_bl_0833.yml ERROR (7) 14.24 8.51 None float-newlib/float_req_bl_0834.yml ERROR (7) 15.56 9.28 None float-newlib/float_req_bl_0870a.yml ERROR (7) 12.83 7.45 None float-newlib/float_req_bl_0870b.yml ERROR (7) 14.80 8.16 None float-newlib/float_req_bl_0872a.yml ERROR (7) 13.99 7.78 None float-newlib/float_req_bl_0872b.yml ERROR (7) 13.65 7.89 None float-newlib/float_req_bl_0873a.yml ERROR (7) 13.65 7.89 None float-newlib/float_req_bl_0873b.yml ERROR (7) 13.88 7.94 None float-newlib/float_req_bl_0874.yml ERROR (7) 14.38 8.12 None float-newlib/float_req_bl_0875.yml ERROR (7) 14.30 8.18 None float-newlib/float_req_bl_0876.yml ERROR (7) 14.25 8.04 None float-newlib/float_req_bl_0877.yml ERROR (7) 13.67 7.88 None float-newlib/float_req_bl_0880.yml ERROR (7) 14.10 7.92 None float-newlib/float_req_bl_0881.yml ERROR (7) 12.84 7.52 None float-newlib/float_req_bl_0883.yml ERROR (7) 13.47 7.75 None float-newlib/float_req_bl_0910a.yml ERROR (7) 11.72 7.04 None float-newlib/float_req_bl_0910b.yml ERROR (7) 11.98 7.06 None float-newlib/float_req_bl_0920a.yml ERROR (7) 12.77 7.66 None float-newlib/float_req_bl_0920b.yml ERROR (7) 12.44 7.30 None float-newlib/float_req_bl_0921.yml ERROR (7) 12.41 7.29 None float-newlib/float_req_bl_0930.yml ERROR (7) 13.08 7.56 None float-newlib/float_req_bl_0931.yml ERROR (7) 13.03 7.61 None float-newlib/float_req_bl_0960a.yml ERROR (7) 12.72 7.35 None float-newlib/float_req_bl_0960b.yml ERROR (7) 13.56 7.67 None float-newlib/float_req_bl_0970a.yml ERROR (7) 13.58 7.78 None float-newlib/float_req_bl_0970b.yml ERROR (7) 12.46 7.29 None float-newlib/float_req_bl_0971.yml ERROR (7) 13.15 7.59 None float-newlib/float_req_bl_0981.yml ERROR (7) 12.43 7.15 None float-newlib/float_req_bl_1010.yml ERROR (7) 13.76 8.28 None float-newlib/float_req_bl_1011a.yml ERROR (7) 14.01 8.52 None float-newlib/float_req_bl_1011b.yml ERROR (7) 14.24 8.60 None float-newlib/float_req_bl_1012a.yml ERROR (7) 14.05 8.29 None float-newlib/float_req_bl_1012b.yml ERROR (7) 14.33 8.71 None float-newlib/float_req_bl_1031.yml ERROR (7) 14.49 8.59 None float-newlib/float_req_bl_1032a.yml ERROR (7) 15.17 9.12 None float-newlib/float_req_bl_1032b.yml ERROR (7) 14.98 8.95 None float-newlib/float_req_bl_1032c.yml ERROR (7) 15.25 9.09 None float-newlib/float_req_bl_1032d.yml ERROR (7) 15.41 8.95 None float-newlib/float_req_bl_1051.yml ERROR (7) 14.73 8.62 None float-newlib/float_req_bl_1052a.yml ERROR (7) 15.69 9.24 None float-newlib/float_req_bl_1052b.yml ERROR (7) 15.07 8.81 None float-newlib/float_req_bl_1052c.yml ERROR (7) 14.38 8.49 None float-newlib/float_req_bl_1052d.yml ERROR (7) 14.43 8.47 None float-newlib/float_req_bl_1071.yml ERROR (7) 15.39 9.05 None float-newlib/float_req_bl_1072a.yml ERROR (7) 14.66 8.85 None float-newlib/float_req_bl_1072b.yml ERROR (7) 14.57 8.76 None float-newlib/float_req_bl_1072c.yml ERROR (7) 14.42 8.44 None float-newlib/float_req_bl_1072d.yml ERROR (7) 14.79 9.02 None float-newlib/float_req_bl_1091.yml ERROR (7) 15.01 8.81 None float-newlib/float_req_bl_1092a.yml ERROR (7) 15.40 9.18 None float-newlib/float_req_bl_1092b.yml ERROR (7) 15.24 9.03 None float-newlib/float_req_bl_1092c.yml ERROR (7) 15.16 9.10 None float-newlib/float_req_bl_1092d.yml ERROR (7) 15.60 9.11 None float-newlib/float_req_bl_1121a.yml ERROR (7) 15.36 9.07 None float-newlib/float_req_bl_1121b.yml ERROR (7) 14.97 8.82 None float-newlib/float_req_bl_1122a.yml ERROR (7) 15.67 9.20 None float-newlib/float_req_bl_1122b.yml ERROR (7) 14.88 8.67 None float-newlib/float_req_bl_1130a.yml ERROR (7) 15.86 9.19 None float-newlib/float_req_bl_1130b.yml ERROR (7) 15.46 9.10 None float-newlib/float_req_bl_1131a.yml ERROR (7) 15.82 9.37 None float-newlib/float_req_bl_1131b.yml ERROR (7) 15.47 9.21 None float-newlib/float_req_bl_1210.yml ERROR (7) 15.69 9.20 None float-newlib/float_req_bl_1211a.yml ERROR (7) 15.79 9.30 None float-newlib/float_req_bl_1211b.yml ERROR (7) 16.66 9.36 None float-newlib/float_req_bl_1230.yml ERROR (7) 16.19 9.64 None float-newlib/float_req_bl_1231.yml ERROR (7) 16.88 9.81 None float-newlib/float_req_bl_1232a.yml ERROR (7) 15.93 9.44 None float-newlib/float_req_bl_1232b.yml ERROR (7) 14.76 8.84 None float-newlib/float_req_bl_1250.yml ERROR (7) 16.54 9.57 None float-newlib/float_req_bl_1251.yml ERROR (7) 17.22 10.02 None float-newlib/float_req_bl_1252a.yml ERROR (7) 15.02 8.88 None float-newlib/float_req_bl_1252b.yml ERROR (7) 15.75 9.30 None float-newlib/float_req_bl_1270a.yml ERROR (7) 12.52 7.38 None float-newlib/float_req_bl_1270b.yml ERROR (7) 12.51 7.41 None float-newlib/float_req_bl_1270c.yml ERROR (7) 12.67 7.47 None float-newlib/float_req_bl_1270d.yml ERROR (7) 13.20 7.73 None float-newlib/float_req_bl_1271a.yml ERROR (7) 12.56 7.45 None float-newlib/float_req_bl_1271b.yml ERROR (7) 13.28 7.64 None float-newlib/float_req_bl_1381.yml ERROR (7) 15.01 8.93 None loop-floats-scientific-comp/loop1-1.yml TIMEOUT 120.77 108.74 None loop-floats-scientific-comp/loop1-2.yml false(unreach-call) 22.09 15.73 None loop-floats-scientific-comp/loop2-1.yml ERROR (7) 13.70 8.32 None loop-floats-scientific-comp/loop2-2.yml ERROR (7) 14.27 8.54 None loop-floats-scientific-comp/loop3.yml ERROR (7) 14.36 8.70 None loop-floats-scientific-comp/loop4.yml ERROR (7) 14.31 8.04 None loop-floats-scientific-comp/loop5.yml ERROR (7) 14.34 7.99 None --------------------------------------------------------------------------------------------------------------------------- Run set 1 done 7410.50 1039.86 - 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: 53 correct true: 40 correct false: 13 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 416 Score: 93 (max: 893)