Benchmark Symbiotic TBF Test-Suite Validator
Tool symbiotic 6.0.3-dev-fd3f777b Tbf Test-suite Validator v1.2
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-45-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2019-02-06 07:07:32 CET 2019-02-06 14:52:39 CET
Run set symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Floats
Options --test-comp --verifier klee-testcomp --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/symbiotic.2019-02-06_0707.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
floats-cdfpl/newton_1_1.yml .5     .35 .35 18 4.0 0     0   50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_1_2.yml .5     .35 .35 18 4.5 0     0   50.0  90.9  .12  .12  17   .078 0  
floats-cdfpl/newton_1_3.yml .5     .36 .35 18 5.0 0     0   50.0  90.9  .11  .11  16   .078 0  
floats-cdfpl/newton_1_4.yml .5     .36 .36 19 4.3 0     0   50.0  90.9  .11  .13  16   .074 0  
floats-cdfpl/newton_1_5.yml .5     .38 .37 18 4.3 0     0   50.0  90.9  .11  .11  16   .078 0  
floats-cdfpl/newton_1_6.yml .5     .35 .35 18 4.7 0     0   50.0  90.9  .13  .13  17   .078 0  
floats-cdfpl/newton_1_7.yml .5     .36 .36 18 4.8 0     0   50.0  90.9  .14  .14  16   .078 0  
floats-cdfpl/newton_1_8.yml .5     .37 .37 18 3.4 0     0   50.0  90.9  .11  .11  16   .078 0  
floats-cdfpl/newton_2_1.yml .5     .36 .36 19 4.4 0     0   50.0  91.7  .12  .12  16   .078 0  
floats-cdfpl/newton_2_2.yml .5     .35 .35 18 4.1 0     0   50.0  91.7  .12  .12  16   .078 0  
floats-cdfpl/newton_2_3.yml .5     .36 .35 19 4.4 0     0   50.0  91.7  .12  .13  17   .078 0  
floats-cdfpl/newton_2_4.yml .5     .36 .35 18 5.5 0     0   50.0  91.7  .11  .11  16   .078 0  
floats-cdfpl/newton_2_5.yml .5     .36 .36 19 4.1 0     0   50.0  91.7  .11  .12  16   .078 0  
floats-cdfpl/newton_2_6.yml .5     .36 .36 19 4.4 0     0   50.0  91.7  .13  .14  16   .078 0  
floats-cdfpl/newton_2_7.yml .5     .38 .38 18 4.1 0     0   50.0  91.7  .11  .11  16   .078 0  
floats-cdfpl/newton_2_8.yml .5     .35 .35 18 5.0 0     0   50.0  91.7  .11  .11  16   .078 0  
floats-cdfpl/newton_3_1.yml .5     .36 .36 19 4.6 0     0   50.0  92.3  .12  .11  16   .082 0  
floats-cdfpl/newton_3_2.yml .5     .38 .38 18 3.9 0     0   50.0  92.3  .12  .12  17   .082 0  
floats-cdfpl/newton_3_3.yml .5     .37 .37 18 4.3 0     0   50.0  92.3  .11  .11  17   .082 0  
floats-cdfpl/newton_3_4.yml .5     .36 .36 18 4.8 0     0   50.0  92.3  .11  .11  16   .082 0  
floats-cdfpl/newton_3_5.yml .5     .38 .39 18 5.0 0     0   50.0  92.3  .13  .13  16   .082 0  
floats-cdfpl/newton_3_6.yml .5     .37 .36 18 5.0 0     0   50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/newton_3_7.yml .5     .39 .39 18 4.9 0     0   50.0  92.3  .12  .13  16   .082 0  
floats-cdfpl/newton_3_8.yml .5     .38 .38 19 4.0 0     0   50.0  92.3  .12  .12  17   .082 0  
floats-cdfpl/sine_1.yml .5     .35 .34 19 5.0 0     0   50.0  87.5  .11  .11  16   .078 0  
floats-cdfpl/sine_2.yml .5     .34 .34 18 4.5 0     0   50.0  87.5  .11  .11  16   .078 0  
floats-cdfpl/sine_3.yml .5     .36 .36 19 3.8 0     0   50.0  87.5  .11  .12  16   .078 0  
floats-cdfpl/sine_4.yml .5     .35 .34 18 4.1 0     0   50.0  87.5  .11  .11  16   .078 0  
floats-cdfpl/sine_5.yml .5     .35 .35 19 3.9 0     0   50.0  87.5  .12  .12  16   .078 0  
floats-cdfpl/sine_6.yml .5     .34 .33 19 4.0 0     0   50.0  87.5  .11  .11  16   .078 0  
floats-cdfpl/sine_7.yml .5     .34 .34 19 4.6 0     0   50.0  87.5  .11  .11  16   .078 0  
floats-cdfpl/sine_8.yml .5     .34 .34 19 3.8 0     0   50.0  87.5  .11  .11  16   .078 0  
floats-cdfpl/square_1.yml .5     .37 .37 18 4.0 0     0   50.0  88.9  .12  .13  16   .078 0  
floats-cdfpl/square_2.yml .5     .33 .33 18 4.0 0     0   50.0  88.9  .11  .11  16   .078 0  
floats-cdfpl/square_3.yml .5     .33 .33 19 4.3 0     0   50.0  88.9  .11  .11  17   .078 0  
floats-cdfpl/square_4.yml .5     .34 .34 18 4.4 0     0   50.0  88.9  .11  .11  16   .078 0  
floats-cdfpl/square_5.yml .5     .34 .34 18 3.9 0     0   50.0  88.9  .12  .12  16   .078 0  
floats-cdfpl/square_6.yml .5     .33 .33 18 4.1 0     0   50.0  88.9  .11  .12  16   .078 0  
floats-cdfpl/square_7.yml .5     .33 .33 18 4.2 0     0   50.0  88.9  .11  .12  16   .078 0  
floats-cdfpl/square_8.yml .5     .34 .34 19 4.2 0     0   50.0  88.9  .11  .11  16   .078 0  
floats-cbmc-regression/float-no-simp2.yml .0     .39 .39 16 5.1 0     0   0    0    .091 .093 8.9 0     0  
floats-cbmc-regression/float-to-double1.yml .167   .34 .34 18 4.2 0     0   16.7  100    .13  .13  16   .070 0  
floats-cbmc-regression/float12.yml .5     .36 .36 18 4.8 0     0   50.0  100    .11  .11  16   .070 0  
floats-cbmc-regression/float19.yml .25    .35 .35 19 4.2 0     0   25.0  87.5  .13  .13  16   .078 0  
floats-cbmc-regression/float20.yml .0     .40 .40 19 6.2 0     0   .00 19.2  .11  .11  16   .082 0  
floats-cbmc-regression/float3.yml .5     .30 .30 19 3.6 0     0   50.0  90.9  .11  .12  16   .078 0  
floats-cbmc-regression/float4.yml .5     .43 .43 19 5.8 0     0   50.0  100    .17  .17  16   .082 0  
floats-cbmc-regression/float5.yml .417   .34 .34 18 4.1 0     0   41.7  42.9  .11  .13  16   .078 0  
floats-cbmc-regression/float6.yml .0313  .36 .36 19 4.8 0     0   3.13 17.6  .14  .15  16   .082 0  
floats-cbmc-regression/float8.yml .0     .38 .37 16 4.7 0     0   0    0    .063 .063 8.9 0     0  
float-benchs/arctan_Pade.yml .5     .42 .42 18 5.2 0     0   50.0  100    .15  .15  17   .086 0  
float-benchs/bary_diverge.yml .562   860    860    52 9400   0     0   56.2  89.3  .44  .45  54   .086 0  
float-benchs/cast_float_ptr.yml .167   .35 .34 18 3.8 0     0   16.7  68.8  .12  .12  16   .094 0  
float-benchs/cast_float_union.yml .25    .32 .32 16 4.4 0     0   25.0  72.2  .11  .11  16   .078 0  
float-benchs/cast_union_loose.yml .5     .38 .38 19 5.1 0     0   50.0  100    .12  .12  16   .078 0  
float-benchs/cast_union_tight.yml .5     .32 .32 18 4.9 0     0   50.0  100    .11  .11  16   .078 0  
float-benchs/cos_polynomial.yml .438   .38 .38 18 6.0 0     0   43.8  71.4  .11  .11  16   .082 0  
float-benchs/divmul_buf_diverge.yml .0     900    900    15000 12000   .029 1300   0    0    .056 .056 8.9 0     0  
float-benchs/divmul_diverge.yml .0     900    900    15000 10000   .029 1300   0    0    .056 .057 9.0 0     0  
float-benchs/exp_loop.yml .0417  .45 .45 18 6.0 0     0   4.17 8.11 .12  .12  16   .082 0  
float-benchs/feedback_diverge.yml .0     900    900    15000 12000   .016 0   0    0    .056 .057 9.0 0     0  
float-benchs/filter1.c.p+cfa-reducer.yml .0     900    900    11000 11000   .025 0   0    0    .063 .063 8.9 0     0  
float-benchs/filter1.c.v+lhb-reducer.yml .0     900    900    12000 11000   .020 0   0    0    .059 .059 8.9 0     0  
float-benchs/filter1.c.v+nlh-reducer.yml .0     900    900    12000 12000   .029 0   0    0    .058 .058 8.9 0     0  
float-benchs/filter1.yml .571   880    880    8300 9900   0     0   57.1  92.3  .12  .12  16   .094 0  
float-benchs/filter2.yml .5     860    860    57 11000   0     0   50.0  94.4  .35  .35  43   .082 0  
float-benchs/filter2_alt.yml .583   860    860    53 10000   0     0   58.3  100    .42  .42  53   .082 0  
float-benchs/filter2_reinit.yml .5     860    860    66 12000   0     0   50.0  78.3  .57  .58  74   .082 0  
float-benchs/filter2_set.yml .025   .40 .40 19 5.0 0     0   2.50 25.0  .14  .15  16   .086 0  
float-benchs/filter_iir.yml .5     860    860    56 8900   0     0   50.0  100    .38  .38  43   .082 0  
float-benchs/float_int_inv_square.yml .667   .35 .35 21 4.3 0     0   66.7  100    .12  .16  16   .070 0  
float-benchs/image_filter.yml .0326  1.1  1.0  20 15   0     0   3.26 81.5  .15  .15  18   .17  0  
float-benchs/interpolation.c.p+cfa-reducer.yml .125   .34 .34 18 4.1 0     0   12.5  29.7  .11  .12  16   .078 0  
float-benchs/interpolation.c.v+cfa-reducer.yml .0625  .33 .33 18 4.1 0     0   6.25 17.1  .11  .11  16   .078 0  
float-benchs/interpolation.c.v+nlh-reducer.yml .0357  .37 .37 18 4.2 0     0   3.57 12.0  .11  .11  16   .082 0  
float-benchs/interpolation.yml .0714  .35 .35 18 4.6 0     0   7.14 45.5  .12  .12  16   .078 0  
float-benchs/interpolation2.c.p+cfa-reducer.yml .125   .37 .37 19 4.3 0     0   12.5  33.3  .12  .16  16   .078 0  
float-benchs/interpolation2.c.v+cfa-reducer.yml .0625  .34 .34 18 5.2 0     0   6.25 21.6  .12  .12  16   .078 0  
float-benchs/interpolation2.c.v+nlh-reducer.yml .0357  .36 .36 19 4.0 0     0   3.57 15.4  .11  .11  16   .082 0  
float-benchs/interpolation2.yml .0714  .40 .40 19 4.3 0     0   7.14 53.9  .12  .12  17   .078 0  
float-benchs/inv_Newton-1.yml .0625  .38 .37 18 4.5 0     0   6.25 15.0  .11  .11  16   .082 0  
float-benchs/inv_Newton-2.yml .0625  .39 .39 18 3.6 0     0   6.25 15.0  .12  .11  16   .082 0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml .111   .35 .35 18 4.2 0     0   11.1  17.6  .12  .12  16   .078 0  
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml .0833  .32 .32 18 4.5 0     0   8.33 12.1  .14  .14  16   .078 0  
float-benchs/inv_sqrt_Quake.yml .1     .36 .36 18 4.5 0     0   10.0  21.4  .14  .16  16   .078 0  
float-benchs/inv_square-1.yml .375   .33 .33 18 4.6 0     0   37.5  55.6  .11  .11  16   .078 0  
float-benchs/inv_square-2.yml .4     .34 .34 19 3.7 0     0   40.0  55.6  .11  .11  16   .078 0  
float-benchs/inv_square_int.yml .5     .35 .35 20 4.4 0     0   50.0  100    .11  .14  16   .078 0  
float-benchs/nan_double.yml .5     .32 .32 18 4.0 0     0   50.0  100    .12  .12  16   .078 0  
float-benchs/nan_double_range.yml .5     .30 .30 18 3.5 0     0   50.0  100    .11  .12  16   .078 0  
float-benchs/nan_float.yml .5     .29 .29 18 3.6 0     0   50.0  100    .11  .11  16   .078 0  
float-benchs/nan_float_range.yml .5     .30 .30 18 3.8 0     0   50.0  100    .11  .11  16   .078 0  
float-benchs/rlim_exit.yml .3     860    860    56 11000   0     0   30.0  73.3  .44  .46  55   .078 0  
float-benchs/rlim_invariant.c.p+cfa-reducer.yml .458   860    860    61 10000   0     0   45.8  60.4  .44  .48  55   .078 0  
float-benchs/rlim_invariant.c.v+lhb-reducer.yml .458   860    860    62 13000   0     0   45.8  62.5  .47  .48  55   .086 0  
float-benchs/rlim_invariant.c.v+nlh-reducer.yml .458   860    860    62 12000   0     0   45.8  56.5  .43  .43  55   .086 0  
float-benchs/rlim_invariant.yml .45    860    860    57 9900   0     0   45.0  86.7  .43  .43  55   .082 0  
float-benchs/sin_interpolated_bigrange_loose.yml .5     .41 .41 19 4.8 0     0   50.0  100    .13  .13  17   .10  0  
float-benchs/sin_interpolated_bigrange_tight.yml .5     .42 .41 19 5.7 0     0   50.0  100    .12  .12  16   .10  0  
float-benchs/sin_interpolated_index-1.yml .5     .41 .40 18 5.9 0     0   50.0  100    .14  .18  16   .10  0  
float-benchs/sin_interpolated_index-2.yml .5     .44 .44 19 4.5 0     0   50.0  100    .12  .12  16   .10  0  
float-benchs/sin_interpolated_negation.yml .167   .47 .48 18 4.9 0     0   16.7  16.7  .12  .12  16   .10  0  
float-benchs/sin_interpolated_smallrange.yml .167   .43 .43 18 5.6 0     0   16.7  16.7  .12  .13  16   .10  0  
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml .65    .30 .30 16 4.1 0     0   65.0  82.3  .12  .12  16   .078 0  
float-benchs/sqrt_Householder_interval.yml .0455  .40 .39 19 4.7 0     0   4.55 12.5  .12  .12  16   .082 0  
float-benchs/sqrt_Householder_pseudoconstant.yml .0833  .39 .39 18 4.2 0     0   8.33 19.2  .13  .13  16   .082 0  
float-benchs/sqrt_Newton_pseudoconstant.yml .0833  .39 .39 18 4.2 0     0   8.33 19.2  .13  .13  16   .082 0  
float-benchs/sqrt_biNewton_pseudoconstant.yml .0833  .39 .39 19 4.6 0     0   8.33 18.5  .12  .12  16   .082 0  
float-benchs/sqrt_poly.yml .0833  .37 .36 18 4.0 0     0   8.33 37.5  .13  .13  16   .078 0  
float-benchs/sqrt_poly2.yml .0833  .39 .38 18 6.1 0     0   8.33 15.8  .12  .13  16   .082 0  
float-benchs/zonotope_3.c.p+cfa-reducer.yml .286   860    860    62 9700   0     0   28.6  69.2  .45  .45  53   .078 0  
float-benchs/zonotope_3.c.v+lhb-reducer.yml .465   860    860    63 10000   0     0   46.5  82.4  .44  .47  53   .11  0  
float-benchs/zonotope_3.yml .25    860    860    57 11000   0     0   25.0  80.0  .42  .42  53   .082 0  
float-benchs/zonotope_loose.c.v+cfa-reducer.yml .5     .31 .31 18 3.9 0     0   50.0  63.3  .11  .17  16   .078 0  
float-benchs/zonotope_loose.yml .5     .38 .38 18 3.9 0     0   50.0  88.9  .12  .12  16   .078 0  
float-benchs/zonotope_tight.yml .5     .34 .34 18 4.4 0     0   50.0  88.9  .12  .12  17   .078 0  
float-newlib/double_req_bl_0281.yml .0152  .64 .63 19 7.9 0     0   1.52 2.84 .13  .17  16   .10  0  
float-newlib/double_req_bl_0320.yml .0265  1.4  1.4  20 18   0     0   2.65 5.48 .16  .16  18   .16  0  
float-newlib/double_req_bl_0460.yml .0313  .62 .62 19 8.9 0     0   3.13 2.88 .12  .12  17   .10  0  
float-newlib/double_req_bl_0660a.yml .0135  .52 .51 18 7.2 0     0   1.35 4.03 .12  .12  16   .10  0  
float-newlib/double_req_bl_0660b.yml .0135  .55 .54 19 5.8 0     0   1.35 4.03 .13  .13  17   .10  0  
float-newlib/double_req_bl_0661a.yml .0132  .54 .54 19 6.3 0     0   1.32 3.91 .13  .13  17   .11  0  
float-newlib/double_req_bl_0661b.yml .0132  .53 .53 19 6.7 0     0   1.32 3.91 .16  .16  17   .11  0  
float-newlib/double_req_bl_0662a.yml .0135  .52 .52 18 6.6 0     0   1.35 4.03 .13  .13  17   .10  0  
float-newlib/double_req_bl_0662b.yml .0135  .53 .53 19 6.1 0     0   1.35 4.03 .13  .13  17   .10  0  
float-newlib/double_req_bl_0663a.yml .0135  .51 .51 18 6.3 0     0   1.35 4.03 .13  .13  17   .10  0  
float-newlib/double_req_bl_0663b.yml .0135  .50 .50 18 7.2 0     0   1.35 4.03 .12  .13  16   .10  0  
float-newlib/double_req_bl_0670.yml .0263  .52 .51 18 7.2 0     0   2.63 4.80 .15  .15  16   .11  0  
float-newlib/double_req_bl_0682a.yml .0385  .55 .55 19 7.7 0     0   3.85 12.5  .12  .12  17   .11  0  
float-newlib/double_req_bl_0682b.yml .0385  .56 .56 18 6.7 0     0   3.85 12.5  .13  .13  17   .11  0  
float-newlib/double_req_bl_0683a.yml .0375  .56 .56 18 6.6 0     0   3.75 12.1  .13  .13  17   .11  0  
float-newlib/double_req_bl_0683b.yml .0375  .58 .58 19 7.4 0     0   3.75 12.1  .13  .13  17   .11  0  
float-newlib/double_req_bl_0684a.yml .171   .60 .60 20 7.7 0     0   17.1  27.9  .14  .13  16   .19  0  
float-newlib/double_req_bl_0684b.yml .171   .59 .59 20 6.9 0     0   17.1  27.9  .14  .15  16   .19  0  
float-newlib/double_req_bl_0832.yml .2     .41 .41 18 4.8 0     0   20.0  30.4  .12  .12  16   .086 0  
float-newlib/double_req_bl_0870a.yml .0385  1.1  1.1  19 14   0     0   3.85 6.29 .14  .14  18   .14  0  
float-newlib/double_req_bl_0870b.yml .0054  1.1  1.1  19 14   0     0   .54 1.50 .14  .14  18   .14  0  
float-newlib/double_req_bl_0872a.yml .0111  1.1  1.1  17 14   0     0   1.11 5.12 .15  .19  17   .14  0  
float-newlib/double_req_bl_0872b.yml .0111  1.1  1.1  17 12   0     0   1.11 5.12 .14  .15  17   .14  0  
float-newlib/double_req_bl_0874.yml .0824  1.2  1.1  19 15   0     0   8.24 12.0  .15  .15  17   .19  0  
float-newlib/double_req_bl_0876.yml .087   1.2  1.2  20 15   0     0   8.70 10.7  .15  .20  17   .14  0  
float-newlib/double_req_bl_0882.yml .0054  1.1  1.1  19 13   0     0   .54 1.48 .16  .16  18   .14  0  
float-newlib/double_req_bl_0883.yml .00550 1.1  1.1  19 14   0     0   .55 1.47 .15  .15  18   .14  0  
float-newlib/double_req_bl_0920a.yml .0357  .46 .46 18 5.5 0     0   3.57 5.41 .12  .15  16   .090 0  
float-newlib/double_req_bl_0970a.yml .0278  .49 .49 19 6.9 0     0   2.78 4.40 .12  .13  17   .070 0  
float-newlib/double_req_bl_1121a.yml .0323  .62 .62 18 9.0 0     0   3.23 18.8  .12  .16  17   .090 0  
float-newlib/double_req_bl_1121b.yml .0323  .60 .59 18 7.9 0     0   3.23 18.8  .12  .17  17   .049 0  
float-newlib/double_req_bl_1122a.yml .0323  .60 .59 18 7.4 0     0   3.23 18.8  .12  .13  16   .090 0  
float-newlib/double_req_bl_1122b.yml .0323  .60 .59 18 8.9 0     0   3.23 18.8  .13  .13  17   .090 0  
float-newlib/double_req_bl_1130a.yml .0294  .63 .63 19 8.8 0     0   2.94 4.72 .12  .13  16   .098 0  
float-newlib/double_req_bl_1131a.yml .109   .65 .65 19 8.2 0     0   10.9  24.5  .13  .13  17   .12  0  
float-newlib/double_req_bl_1131b.yml .109   .65 .65 19 8.8 0     0   10.9  24.8  .14  .14  16   .11  0  
float-newlib/double_req_bl_1211a.yml .312   .42 .42 16 5.1 0     0   31.2  49.2  .12  .12  17   .086 0  
float-newlib/double_req_bl_1211b.yml .312   .43 .42 16 5.1 0     0   31.2  49.2  .12  .17  16   .086 0  
float-newlib/double_req_bl_1231b.yml .425   .37 .37 18 4.9 0     0   42.5  75.0  .11  .11  16   .086 0  
float-newlib/double_req_bl_1251b.yml .425   .36 .35 18 4.3 0     0   42.5  75.0  .13  .13  16   .086 0  
float-newlib/double_req_bl_1300.yml .5     .35 .35 19 4.2 0     0   50.0  95.0  .12  .12  16   .098 0  
float-newlib/float_req_bl_0281.yml .0476  .52 .51 18 6.8 0     0   4.76 3.88 .13  .13  17   .098 0  
float-newlib/float_req_bl_0460.yml .05    .51 .51 18 7.6 0     0   5.00 3.92 .12  .12  16   .094 0  
float-newlib/float_req_bl_0660a.yml .0139  .48 .48 19 6.3 0     0   1.39 4.27 .12  .12  17   .10  0  
float-newlib/float_req_bl_0660b.yml .0143  .49 .48 19 6.2 0     0   1.43 4.27 .13  .13  16   .10  0  
float-newlib/float_req_bl_0661a.yml .0143  .50 .49 18 8.4 0     0   1.43 4.27 .13  .13  17   .10  0  
float-newlib/float_req_bl_0661b.yml .0143  .48 .48 18 6.7 0     0   1.43 4.27 .12  .12  17   .10  0  
float-newlib/float_req_bl_0662a.yml .0143  .48 .48 18 6.8 0     0   1.43 4.27 .13  .13  16   .10  0  
float-newlib/float_req_bl_0662b.yml .0143  .50 .50 19 5.4 0     0   1.43 4.27 .12  .12  17   .10  0  
float-newlib/float_req_bl_0663a.yml .0143  .51 .50 18 5.5 0     0   1.43 4.27 .13  .17  16   .098 0  
float-newlib/float_req_bl_0663b.yml .0143  .49 .49 18 5.7 0     0   1.43 4.27 .13  .14  17   .10  0  
float-newlib/float_req_bl_0670.yml .0278  .50 .50 18 7.1 0     0   2.78 5.08 .13  .19  16   .10  0  
float-newlib/float_req_bl_0682a.yml .0278  .50 .50 18 6.8 0     0   2.78 8.20 .13  .13  17   .10  0  
float-newlib/float_req_bl_0682b.yml .0278  .51 .50 18 6.0 0     0   2.78 8.20 .13  .14  17   .10  0  
float-newlib/float_req_bl_0683a.yml .0270  .51 .51 18 6.8 0     0   2.70 7.94 .16  .18  16   .11  0  
float-newlib/float_req_bl_0683b.yml .0270  .53 .53 19 5.8 0     0   2.70 7.94 .13  .13  17   .11  0  
float-newlib/float_req_bl_0684a.yml .171   .55 .55 19 8.4 0     0   17.1  22.9  .14  .14  17   .18  0  
float-newlib/float_req_bl_0684b.yml .171   .56 .56 19 8.0 0     0   17.1  22.9  .13  .13  17   .18  0  
float-newlib/float_req_bl_0710.yml .0385  .42 .42 18 5.8 0     0   3.85 7.84 .14  .15  17   .082 0  
float-newlib/float_req_bl_0870a.yml .0357  1.1  1.1  19 13   0     0   3.57 5.67 .14  .14  17   .14  0  
float-newlib/float_req_bl_0870b.yml .006   1.1  1.1  19 16   0     0   .60 1.49 .14  .19  17   .14  0  
float-newlib/float_req_bl_0872a.yml .012   1.0  1.0  16 15   0     0   1.20 4.50 .15  .15  17   .14  0  
float-newlib/float_req_bl_0872b.yml .012   1.1  1.1  17 15   0     0   1.20 4.50 .15  .15  17   .14  0  
float-newlib/float_req_bl_0874.yml .0655  1.1  1.1  19 14   0     0   6.55 9.73 .14  .14  17   .18  0  
float-newlib/float_req_bl_0875.yml .0059  1.1  1.1  19 13   0     0   .59 3.25 .15  .15  17   .14  0  
float-newlib/float_req_bl_0876.yml .0706  1.1  1.1  19 13   0     0   7.06 9.47 .16  .16  17   .18  0  
float-newlib/float_req_bl_0877.yml .006   1.1  1.1  19 15   0     0   .60 3.21 .15  .15  17   .14  0  
float-newlib/float_req_bl_0880.yml .0053  1.1  1.1  19 14   0     0   .53 1.37 .14  .14  18   .15  0  
float-newlib/float_req_bl_0881.yml .0053  1.1  1.1  20 16   0     0   .53 1.37 .15  .15  18   .15  0  
float-newlib/float_req_bl_0883.yml .006   1.1  1.1  19 16   0     0   .60 1.47 .15  .15  17   .14  0  
float-newlib/float_req_bl_0920a.yml .0357  .45 .45 18 5.6 0     0   3.57 5.71 .12  .12  17   .090 0  
float-newlib/float_req_bl_0970a.yml .0278  .48 .48 19 5.5 0     0   2.78 4.55 .12  .12  17   .094 0  
float-newlib/float_req_bl_1121a.yml .0526  .48 .48 18 6.5 0     0   5.26 26.6  .12  .12  16   .086 0  
float-newlib/float_req_bl_1121b.yml .0526  .48 .48 18 5.6 0     0   5.26 26.6  .12  .16  16   .086 0  
float-newlib/float_req_bl_1122a.yml .0526  .48 .48 18 6.8 0     0   5.26 26.6  .15  .15  16   .086 0  
float-newlib/float_req_bl_1122b.yml .0526  .48 .48 18 5.8 0     0   5.26 26.6  .13  .18  16   .086 0  
float-newlib/float_req_bl_1130a.yml .0455  .52 .52 18 7.5 0     0   4.55 7.35 .12  .12  16   .086 0  
float-newlib/float_req_bl_1130b.yml .0455  .50 .50 18 7.0 0     0   4.55 7.35 .12  .12  16   .086 0  
float-newlib/float_req_bl_1131a.yml .15    .51 .51 18 6.7 0     0   15.0  33.3  .12  .12  17   .11  0  
float-newlib/float_req_bl_1131b.yml .15    .51 .51 19 6.1 0     0   15.0  33.3  .13  .13  16   .11  0  
float-newlib/float_req_bl_1211a.yml .333   .37 .37 16 4.0 0     0   33.3  61.9  .12  .12  16   .082 0  
float-newlib/float_req_bl_1211b.yml .333   .40 .40 16 4.4 0     0   33.3  61.9  .12  .12  16   .082 0  
float-newlib/float_req_bl_1231.yml .06    .39 .39 18 5.2 0     0   6.00 19.4  .12  .12  16   .090 0  
float-newlib/float_req_bl_1251.yml .06    .38 .38 18 5.0 0     0   6.00 21.9  .12  .12  17   .090 0  
float-newlib/float_req_bl_1270a.yml .0652  .60 .60 19 8.3 0     0   6.52 21.9  .13  .13  16   .11  0  
float-newlib/float_req_bl_1270b.yml .0652  .60 .60 19 9.3 0     0   6.52 21.9  .12  .12  16   .11  0  
float-newlib/float_req_bl_1270c.yml .0652  .61 .60 20 7.3 0     0   6.52 24.2  .13  .13  16   .11  0  
float-newlib/float_req_bl_1270d.yml .0652  .59 .59 19 7.1 0     0   6.52 24.2  .14  .14  16   .11  0  
float-newlib/float_req_bl_1271a.yml .0833  .62 .61 20 8.6 0     0   8.33 23.1  .13  .12  16   .14  0  
float-newlib/float_req_bl_1271b.yml .0833  .65 .65 20 6.8 0     0   8.33 25.4  .13  .13  17   .14  0  
float-newlib/float_req_bl_1381.yml .5     .32 .32 18 4.0 0     0   50.0  93.8  .11  .11  17   .078 0  
loop-floats-scientific-comp/loop1-1.yml .75    840    840    60 9800   0     0   75.0  100    .12  .12  16   .094 0  
loop-floats-scientific-comp/loop1-2.yml .75    840    840    60 9000   0     0   75.0  100    .12  .12  16   .094 0  
loop-floats-scientific-comp/loop2-1.yml .1     .43 .43 19 5.8 0     0   10.0  19.1  .11  .11  16   .078 0  
loop-floats-scientific-comp/loop2-2.yml .1     .42 .42 19 4.8 0     0   10.0  19.1  .12  .12  17   .078 0  
loop-floats-scientific-comp/loop3.yml .1     .41 .41 18 5.3 0     0   10.0  22.7  .11  .11  16   .078 0  
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 212 49.8 19000 19000 93000 240000 .15 2500 212 4980 9570 30 31 3900 20 0  
Run set symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Floats