Benchmark PRtest TBF Test-Suite Validator
Tool tbf v0.3.0-testcomp19 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* [apollon010; apollon052; apollon080; apollon107; apollon135; apollon167]
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 06:02:44 CET 2019-02-06 13:26:19 CET
Run set prtest.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-Floats
Options --stats -i random --write-xml --svcomp-nondets --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/prtest.2019-02-06_0602.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 .833  900    840    31 11000   .012  0      83.3  90.9  .12  .12  16   .11  0  
floats-cdfpl/newton_1_2.yml .833  900    840    31 11000   .012  0      83.3  90.9  .12  .12  17   .11  0  
floats-cdfpl/newton_1_3.yml .833  900    840    31 13000   .012  0      83.3  90.9  .12  .12  16   .11  0  
floats-cdfpl/newton_1_4.yml 1.0    900    840    30 12000   .012  0      100    100    .13  .13  16   .13  0  
floats-cdfpl/newton_1_5.yml 1.0    900    840    31 12000   .012  0      100    100    .13  .13  16   .13  0  
floats-cdfpl/newton_1_6.yml 1.0    900    840    31 13000   .012  0      100    100    .13  .13  16   .13  0  
floats-cdfpl/newton_1_7.yml 1.0    900    840    31 14000   .012  0      100    100    .14  .14  16   .13  0  
floats-cdfpl/newton_1_8.yml 1.0    900    840    31 13000   .012  0      100    100    .13  .13  16   .13  0  
floats-cdfpl/newton_2_1.yml .833  900    840    31 11000   .012  0      83.3  91.7  .13  .13  17   .11  0  
floats-cdfpl/newton_2_2.yml .833  900    840    31 12000   .012  0      83.3  91.7  .17  .17  16   .11  0  
floats-cdfpl/newton_2_3.yml .833  900    840    30 8900   .012  0      83.3  91.7  .12  .12  17   .11  0  
floats-cdfpl/newton_2_4.yml .833  900    840    31 11000   .033  0      83.3  91.7  .14  .14  16   .11  0  
floats-cdfpl/newton_2_5.yml .833  900    840    31 11000   .012  0      83.3  91.7  .12  .12  17   .11  0  
floats-cdfpl/newton_2_6.yml 1.0    900    840    31 11000   .012  0      100    100    .14  .14  16   .13  0  
floats-cdfpl/newton_2_7.yml 1.0    900    840    31 11000   .012  0      100    100    .13  .13  17   .13  0  
floats-cdfpl/newton_2_8.yml 1.0    900    840    30 11000   .012  0      100    100    .13  .13  16   .13  0  
floats-cdfpl/newton_3_1.yml .833  900    840    31 14000   .012  0      83.3  92.3  .13  .13  17   .11  0  
floats-cdfpl/newton_3_2.yml .833  900    840    31 13000   .012  0      83.3  92.3  .12  .12  16   .11  0  
floats-cdfpl/newton_3_3.yml .833  900    840    31 11000   .012  0      83.3  92.3  .12  .12  16   .11  0  
floats-cdfpl/newton_3_4.yml .833  900    840    31 12000   .012  0      83.3  92.3  .12  .12  16   .11  0  
floats-cdfpl/newton_3_5.yml .833  900    840    31 11000   .012  0      83.3  92.3  .13  .13  16   .11  0  
floats-cdfpl/newton_3_6.yml 1.0    900    840    31 12000   .029  0      100    100    .13  .13  16   .13  0  
floats-cdfpl/newton_3_7.yml 1.0    900    840    31 13000   .012  0      100    100    .14  .14  17   .13  0  
floats-cdfpl/newton_3_8.yml 1.0    900    840    31 12000   .012  0      100    100    .14  .13  17   .13  0  
floats-cdfpl/sine_1.yml 1.0    900    840    31 12000   .012  0      100    100    .13  .13  16   .14  0  
floats-cdfpl/sine_2.yml 1.0    900    840    31 12000   .012  0      100    100    .14  .13  16   .14  0  
floats-cdfpl/sine_3.yml 1.0    900    840    31 12000   .012  0      100    100    .13  .13  16   .14  0  
floats-cdfpl/sine_4.yml .75   900    840    31 11000   .012  0      75.0  87.5  .14  .13  16   .11  0  
floats-cdfpl/sine_5.yml .75   900    840    31 13000   .012  0      75.0  87.5  .13  .13  17   .11  0  
floats-cdfpl/sine_6.yml .75   900    840    31 11000   .012  0      75.0  87.5  .13  .13  17   .11  0  
floats-cdfpl/sine_7.yml .75   900    840    31 11000   .012  0      75.0  87.5  .12  .12  16   .11  0  
floats-cdfpl/sine_8.yml .75   900    840    31 9800   .012  0      75.0  87.5  .13  .13  16   .11  0  
floats-cdfpl/square_1.yml .875  900    840    31 14000   .012  0      87.5  100    .14  .14  16   .13  0  
floats-cdfpl/square_2.yml .875  900    840    31 11000   .012  0      87.5  100    .14  .14  16   .13  0  
floats-cdfpl/square_3.yml .875  900    840    30 11000   .012  0      87.5  100    .13  .13  16   .13  0  
floats-cdfpl/square_4.yml .75   900    840    31 12000   .012  0      75.0  88.9  .12  .12  17   .11  0  
floats-cdfpl/square_5.yml .75   900    840    31 11000   .012  0      75.0  88.9  .14  .14  16   .11  0  
floats-cdfpl/square_6.yml .75   900    840    31 10000   .012  0      75.0  88.9  .12  .12  16   .11  0  
floats-cdfpl/square_7.yml .75   900    840    31 10000   .012  0      75.0  88.9  .12  .12  16   .11  0  
floats-cdfpl/square_8.yml .75   900    840    31 10000   .012  0      75.0  88.9  .13  .13  16   .11  0  
floats-cbmc-regression/float-no-simp2.yml .5    900    840    31 14000   .012  0      50.0  100    .15  .15  16   .15  0  
floats-cbmc-regression/float-to-double1.yml .667  900    840    31 14000   .012  0      66.7  100    .17  .17  16   .14  0  
floats-cbmc-regression/float12.yml .0    900    850    31 15000   .012  0      0    0    .11  .11  16   .070 0  
floats-cbmc-regression/float19.yml .75   900    840    31 12000   .012  0      75.0  100    .14  .14  16   .15  0  
floats-cbmc-regression/float20.yml .0    900    850    31 9500   .012  0      .00 19.2  .13  .13  16   .082 0  
floats-cbmc-regression/float3.yml .875  900    850    31 16000   .012  0      87.5  100    .12  .12  16   .094 0  
floats-cbmc-regression/float4.yml .5    900    840    31 14000   .012  0      50.0  100    .16  .16  16   .16  0  
floats-cbmc-regression/float5.yml .583  900    850    31 13000   .012  0      58.3  100    .12  .13  16   .094 0  
floats-cbmc-regression/float6.yml .0313 900    850    31 11000   .012  0      3.13 17.6  .13  .13  17   .082 0  
floats-cbmc-regression/float8.yml .5    900    840    31 12000   .012  0      50.0  100    .14  .14  16   .14  0  
float-benchs/arctan_Pade.yml .5    900    840    31 14000   .012  0      50.0  88.9  .14  .14  16   .12  0  
float-benchs/bary_diverge.yml .75   900    840    31 11000   .012  0      75.0  96.4  .14  .14  16   .12  0  
float-benchs/cast_float_ptr.yml .0833 .27 .46 31 3.2 0      0      8.33 37.5  .13  .13  16   .11  0  
float-benchs/cast_float_union.yml .125  900    840    31 14000   .025  0      12.5  38.9  .14  .14  16   .13  0  
float-benchs/cast_union_loose.yml .7    3.4  3.2  31 45   0      0      70.0  100    .13  .13  16   .11  0  
float-benchs/cast_union_tight.yml .0    .26 .45 30 3.1 0      0      0    0    .062 .063 9.1 0     0  
float-benchs/cos_polynomial.yml .0625 900    840    31 13000   .012  0      6.25 14.3  .16  .16  16   .15  0  
float-benchs/divmul_buf_diverge.yml .357  900    850    31 10000   .012  0      35.7  81.2  .12  .12  16   .082 0  
float-benchs/divmul_diverge.yml .357  900    850    30 12000   .012  0      35.7  76.9  .11  .11  16   .082 0  
float-benchs/exp_loop.yml .833  900    840    31 13000   .012  0      83.3  97.3  .14  .14  16   .15  0  
float-benchs/feedback_diverge.yml .357  900    850    30 11000   .012  0      35.7  73.3  .12  .12  16   .082 0  
float-benchs/filter1.c.p+cfa-reducer.yml .5    900    840    31 13000   .012  0      50.0  65.0  .12  .12  16   .094 0  
float-benchs/filter1.c.v+lhb-reducer.yml .0625 900    840    31 13000   .012  0      6.25 10.0  .13  .13  17   .14  0  
float-benchs/filter1.c.v+nlh-reducer.yml .0625 900    840    30 14000   .012  0      6.25 9.52 .13  .13  16   .14  0  
float-benchs/filter1.yml .571  900    850    31 11000   .012  0      57.1  84.6  .13  .13  16   .078 0  
float-benchs/filter2.yml .35   900    840    30 11000   .012  0      35.0  66.7  .14  .14  16   .11  0  
float-benchs/filter2_alt.yml .75   900    840    31 13000   .012  0      75.0  100    .13  .13  16   .11  0  
float-benchs/filter2_reinit.yml .318  900    840    31 13000   .012  0      31.8  52.2  .13  .13  16   .13  0  
float-benchs/filter2_set.yml .025  900    840    30 12000   .012  0      2.50 25.0  .15  .14  17   .14  0  
float-benchs/filter_iir.yml .2    900    840    31 12000   .012  0      20.0  30.0  .13  .12  17   .098 0  
float-benchs/float_int_inv_square.yml .833  900    840    31 13000   .012  0      83.3  100    .12  .12  16   .078 0  
float-benchs/image_filter.yml .0217 900    840    31 12000   .0041 .0041 2.17 81.5  .16  .16  18   .20  0  
float-benchs/interpolation.c.p+cfa-reducer.yml .75   900    840    31 14000   .012  0      75.0  81.1  .14  .13  16   .11  0  
float-benchs/interpolation.c.v+cfa-reducer.yml .688  900    840    31 12000   .012  0      68.8  77.1  .12  .12  16   .11  0  
float-benchs/interpolation.c.v+nlh-reducer.yml .714  900    830    31 11000   .012  0      71.4  78.0  .14  .14  16   .20  0  
float-benchs/interpolation.yml .714  900    840    31 9500   .033  0      71.4  100    .12  .12  16   .11  0  
float-benchs/interpolation2.c.p+cfa-reducer.yml .75   900    840    31 12000   .012  0      75.0  82.0  .15  .15  16   .11  0  
float-benchs/interpolation2.c.v+cfa-reducer.yml .688  900    840    31 12000   .012  0      68.8  78.4  .13  .13  17   .11  0  
float-benchs/interpolation2.c.v+nlh-reducer.yml .714  900    830    31 13000   .012  0      71.4  78.8  .14  .14  17   .20  0  
float-benchs/interpolation2.yml .714  900    840    31 12000   .012  0      71.4  100    .13  .13  16   .11  0  
float-benchs/inv_Newton-1.yml .0625 900    840    31 13000   .012  0      6.25 15.0  .13  .12  16   .11  0  
float-benchs/inv_Newton-2.yml .0625 .26 .44 31 3.1 0      0      6.25 15.0  .12  .14  16   .098 0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml .111  900    840    31 14000   .012  0      11.1  17.6  .14  .14  17   .12  0  
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml .667  900    840    31 12000   .012  0      66.7  78.8  .12  .12  16   .11  0  
float-benchs/inv_sqrt_Quake.yml .7    900    840    31 10000   .012  0      70.0  100    .13  .12  16   .11  0  
float-benchs/inv_square-1.yml .75   .25 .43 31 3.3 0      0      75.0  100    .13  .13  16   .11  0  
float-benchs/inv_square-2.yml .9    900    840    31 10000   .0041 0      90.0  100    .14  .14  17   .14  0  
float-benchs/inv_square_int.yml .833  900    840    30 11000   .012  0      83.3  100    .12  .12  17   .11  0  
float-benchs/nan_double.yml .5    .27 .46 31 3.0 0      0      50.0  100    .12  .12  16   .078 0  
float-benchs/nan_double_range.yml .5    900    840    31 12000   .012  0      50.0  100    .12  .14  16   .11  0  
float-benchs/nan_float.yml .5    .26 .45 30 3.0 0      0      50.0  100    .12  .12  16   .078 0  
float-benchs/nan_float_range.yml .833  900    840    30 11000   .012  0      83.3  100    .13  .13  16   .11  0  
float-benchs/rlim_exit.yml .65   900    840    30 12000   .012  0      65.0  80.0  .13  .13  17   .15  0  
float-benchs/rlim_invariant.c.p+cfa-reducer.yml .833  900    830    31 14000   .012  0      83.3  86.8  .14  .15  16   .18  0  
float-benchs/rlim_invariant.c.v+lhb-reducer.yml .792  900    830    31 12000   .012  0      79.2  83.7  .19  .19  16   .33  0  
float-benchs/rlim_invariant.c.v+nlh-reducer.yml .792  900    830    31 12000   .012  0      79.2  82.6  .19  .18  17   .33  0  
float-benchs/rlim_invariant.yml .8    900    840    31 11000   .012  0      80.0  93.3  .13  .13  16   .15  0  
float-benchs/sin_interpolated_bigrange_loose.yml .0625 900    840    30 13000   .012  0      6.25 13.0  .14  .14  17   .20  0  
float-benchs/sin_interpolated_bigrange_tight.yml .0625 900    840    30 11000   .012  0      6.25 13.0  .15  .15  16   .20  0  
float-benchs/sin_interpolated_index-1.yml .0625 900    840    31 11000   .012  0      6.25 13.0  .14  .14  17   .20  0  
float-benchs/sin_interpolated_index-2.yml .0625 900    840    31 13000   .012  0      6.25 13.0  .15  .14  17   .20  0  
float-benchs/sin_interpolated_negation.yml .167  900    840    31 11000   .012  0      16.7  16.7  .13  .13  17   .15  0  
float-benchs/sin_interpolated_smallrange.yml .167  900    840    31 10000   .012  0      16.7  16.7  .14  .14  17   .15  0  
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml .65   900    850    31 12000   .012  0      65.0  82.3  .12  .12  17   .078 0  
float-benchs/sqrt_Householder_interval.yml .0455 900    840    31 11000   .012  0      4.55 12.5  .13  .13  17   .13  0  
float-benchs/sqrt_Householder_pseudoconstant.yml .0833 900    840    31 12000   .012  0      8.33 19.2  .12  .12  16   .098 0  
float-benchs/sqrt_Newton_pseudoconstant.yml .0833 900    840    31 10000   .012  0      8.33 19.2  .12  .12  16   .098 0  
float-benchs/sqrt_biNewton_pseudoconstant.yml .0833 900    840    31 11000   .012  0      8.33 18.5  .12  .12  16   .098 0  
float-benchs/sqrt_poly.yml .0833 900    840    31 11000   .012  0      8.33 37.5  .13  .13  16   .13  0  
float-benchs/sqrt_poly2.yml .0833 .26 .45 30 3.1 0      0      8.33 15.8  .12  .12  16   .098 0  
float-benchs/zonotope_3.c.p+cfa-reducer.yml .5    900    840    30 14000   .012  0      50.0  76.9  .13  .13  16   .12  0  
float-benchs/zonotope_3.c.v+lhb-reducer.yml .709  900    810    31 12000   .012  0      70.9  89.5  .22  .21  17   .97  0  
float-benchs/zonotope_3.yml .417  900    840    31 11000   .012  0      41.7  80.0  .13  .13  16   .11  0  
float-benchs/zonotope_loose.c.v+cfa-reducer.yml .5    900    840    31 14000   .012  0      50.0  66.7  .13  .15  16   .13  0  
float-benchs/zonotope_loose.yml .0833 900    840    30 11000   .012  0      8.33 33.3  .13  .15  16   .13  0  
float-benchs/zonotope_tight.yml .0833 900    840    31 10000   .012  0      8.33 33.3  .13  .13  16   .13  0  
float-newlib/double_req_bl_0281.yml .0303 900    840    31 13000   .012  0      3.03 2.84 .13  .13  17   .13  0  
float-newlib/double_req_bl_0320.yml .0106 900    850    31 12000   .012  0      1.06 1.10 .16  .16  18   .16  0  
float-newlib/double_req_bl_0460.yml .0625 900    840    31 12000   .012  0      6.25 11.5  .16  .16  16   .15  0  
float-newlib/double_req_bl_0660a.yml .0135 900    840    31 13000   .012  0      1.35 4.03 .15  .15  17   .13  0  
float-newlib/double_req_bl_0660b.yml .0135 900    840    31 11000   .012  0      1.35 4.03 .14  .14  16   .13  0  
float-newlib/double_req_bl_0661a.yml .105  900    840    31 12000   .012  0      10.5  21.9  .14  .14  17   .14  0  
float-newlib/double_req_bl_0661b.yml .105  900    840    31 12000   .012  0      10.5  21.9  .13  .13  17   .14  0  
float-newlib/double_req_bl_0662a.yml .0135 900    840    31 11000   .012  0      1.35 4.03 .13  .13  17   .13  0  
float-newlib/double_req_bl_0662b.yml .0135 900    840    31 13000   .012  0      1.35 4.03 .14  .14  16   .13  0  
float-newlib/double_req_bl_0663a.yml .108  900    840    31 13000   .012  0      10.8  18.6  .15  .15  17   .13  0  
float-newlib/double_req_bl_0663b.yml .108  900    840    31 14000   .012  0      10.8  18.6  .14  .14  17   .13  0  
float-newlib/double_req_bl_0670.yml .0263 900    840    31 14000   .012  0      2.63 4.80 .14  .17  17   .16  0  
float-newlib/double_req_bl_0682a.yml .0385 900    840    31 13000   .012  0      3.85 12.5  .13  .13  17   .16  0  
float-newlib/double_req_bl_0682b.yml .154  900    840    31 13000   .012  0      15.4  28.7  .14  .14  17   .16  0  
float-newlib/double_req_bl_0683a.yml .0375 900    840    31 15000   .012  0      3.75 12.1  .14  .14  17   .17  0  
float-newlib/double_req_bl_0683b.yml .163  900    840    31 14000   .012  0      16.2  30.7  .15  .15  17   .17  0  
float-newlib/double_req_bl_0684a.yml .145  900    840    31 12000   .012  0      14.5  27.2  .14  .14  17   .14  0  
float-newlib/double_req_bl_0684b.yml .145  900    840    31 13000   .012  0      14.5  27.2  .13  .13  17   .14  0  
float-newlib/double_req_bl_0832.yml .0667 900    850    31 12000   .012  0      6.67 7.14 .12  .12  16   .086 0  
float-newlib/double_req_bl_0870a.yml .0385 900    840    31 12000   .012  0      3.85 6.29 .15  .15  17   .19  0  
float-newlib/double_req_bl_0870b.yml .0326 900    850    31 12000   .012  0      3.26 6.29 .15  .15  18   .14  0  
float-newlib/double_req_bl_0872a.yml .0111 900    850    31 12000   .012  0      1.11 5.12 .16  .16  18   .14  0  
float-newlib/double_req_bl_0872b.yml .0111 900    850    31 13000   .012  0      1.11 5.12 .15  .15  17   .14  0  
float-newlib/double_req_bl_0874.yml .0769 900    840    31 13000   .012  0      7.69 12.0  .16  .18  18   .16  0  
float-newlib/double_req_bl_0876.yml .0815 900    840    31 12000   .012  0      8.15 10.7  .17  .17  17   .24  0  
float-newlib/double_req_bl_0882.yml .0054 900    840    31 15000   .012  0      .54 1.48 .16  .16  18   .19  0  
float-newlib/double_req_bl_0883.yml .0769 900    840    31 14000   .012  0      7.69 12.6  .16  .15  17   .23  0  
float-newlib/double_req_bl_0920a.yml .214  900    840    31 13000   .012  0      21.4  27.0  .13  .15  16   .11  0  
float-newlib/double_req_bl_0970a.yml .167  900    840    31 14000   .012  0      16.7  22.0  .13  .13  17   .12  0  
float-newlib/double_req_bl_1121a.yml .0323 900    850    31 12000   .012  0      3.23 18.8  .13  .13  16   .090 0  
float-newlib/double_req_bl_1121b.yml .0323 900    850    30 16000   .012  0      3.23 18.8  .13  .13  16   .090 0  
float-newlib/double_req_bl_1122a.yml .0484 900    850    31 14000   .012  0      4.84 18.8  .12  .12  16   .090 0  
float-newlib/double_req_bl_1122b.yml .0484 900    850    31 13000   .012  0      4.84 18.8  .13  .13  17   .090 0  
float-newlib/double_req_bl_1130a.yml .132  900    840    31 14000   .012  0      13.2  24.5  .14  .14  17   .17  0  
float-newlib/double_req_bl_1131a.yml .109  900    840    31 12000   .012  0      10.9  24.5  .13  .13  17   .12  0  
float-newlib/double_req_bl_1131b.yml .109  900    840    31 12000   .012  0      10.9  24.8  .13  .13  17   .11  0  
float-newlib/double_req_bl_1211a.yml .312  900    850    31 13000   .012  0      31.2  49.2  .12  .12  16   .086 0  
float-newlib/double_req_bl_1211b.yml .312  900    850    31 13000   .012  0      31.2  49.2  .12  .13  17   .086 0  
float-newlib/double_req_bl_1231b.yml .45   900    840    31 12000   .012  0      45.0  75.0  .14  .14  17   .19  0  
float-newlib/double_req_bl_1251b.yml .45   900    840    31 12000   .012  0      45.0  75.0  .14  .14  16   .19  0  
float-newlib/double_req_bl_1300.yml .5    900    840    31 14000   .012  0      50.0  95.0  .12  .12  16   .098 0  
float-newlib/float_req_bl_0281.yml .167  900    840    31 14000   .012  0      16.7  13.6  .13  .13  16   .15  0  
float-newlib/float_req_bl_0460.yml .175  900    840    31 12000   .012  0      17.5  13.7  .13  .13  16   .14  0  
float-newlib/float_req_bl_0660a.yml .125  900    840    31 13000   .012  0      12.5  17.9  .13  .13  17   .13  0  
float-newlib/float_req_bl_0660b.yml .114  900    840    31 14000   .012  0      11.4  17.9  .14  .14  16   .13  0  
float-newlib/float_req_bl_0661a.yml .114  900    840    31 14000   .012  0      11.4  17.9  .14  .14  17   .13  0  
float-newlib/float_req_bl_0661b.yml .114  900    840    31 14000   .012  0      11.4  17.9  .13  .13  17   .13  0  
float-newlib/float_req_bl_0662a.yml .129  900    840    31 13000   .012  0      12.9  17.1  .14  .14  16   .13  0  
float-newlib/float_req_bl_0662b.yml .129  900    840    31 14000   .012  0      12.9  17.1  .13  .13  16   .13  0  
float-newlib/float_req_bl_0663a.yml .129  900    840    31 14000   .012  0      12.9  17.1  .13  .13  16   .13  0  
float-newlib/float_req_bl_0663b.yml .129  900    840    30 12000   .012  0      12.9  17.1  .13  .13  17   .13  0  
float-newlib/float_req_bl_0670.yml .111  900    840    31 13000   .012  0      11.1  14.4  .13  .15  16   .10  0  
float-newlib/float_req_bl_0682a.yml .181  900    840    31 12000   .012  0      18.1  23.8  .15  .15  17   .15  0  
float-newlib/float_req_bl_0682b.yml .181  900    840    31 12000   .012  0      18.1  23.8  .14  .13  17   .15  0  
float-newlib/float_req_bl_0683a.yml .189  900    840    30 14000   .012  0      18.9  26.2  .15  .15  17   .16  0  
float-newlib/float_req_bl_0683b.yml .189  900    840    30 12000   .0041 0      18.9  26.2  .16  .16  17   .16  0  
float-newlib/float_req_bl_0684a.yml .186  900    840    31 14000   .012  0      18.6  22.9  .13  .13  17   .15  0  
float-newlib/float_req_bl_0684b.yml .186  900    840    31 13000   .012  0      18.6  22.9  .16  .16  17   .15  0  
float-newlib/float_req_bl_0710.yml .231  900    840    31 12000   .012  0      23.1  29.4  .12  .12  16   .10  0  
float-newlib/float_req_bl_0870a.yml .0417 350    330    31 5100   0      0      4.17 5.67 .15  .17  17   .086 0  
float-newlib/float_req_bl_0870b.yml .0357 900    840    31 14000   .012  0      3.57 5.67 .15  .15  17   .18  0  
float-newlib/float_req_bl_0872a.yml .012  900    850    30 14000   .012  0      1.20 4.50 .15  .15  17   .14  0  
float-newlib/float_req_bl_0872b.yml .012  900    850    30 15000   .012  0      1.20 4.50 .15  .15  17   .14  0  
float-newlib/float_req_bl_0874.yml .0774 900    840    31 12000   .012  0      7.74 10.3  .15  .15  17   .23  0  
float-newlib/float_req_bl_0875.yml .0824 900    840    31 15000   .012  0      8.24 10.1  .16  .16  17   .23  0  
float-newlib/float_req_bl_0876.yml .0824 900    840    31 15000   .012  0      8.24 10.1  .15  .15  17   .23  0  
float-newlib/float_req_bl_0877.yml .0774 900    840    31 14000   .012  0      7.74 10.2  .17  .17  17   .23  0  
float-newlib/float_req_bl_0880.yml .305  900    830    31 11000   .012  0      30.5  30.7  .19  .19  18   .46  0  
float-newlib/float_req_bl_0881.yml .310  900    830    30 11000   .012  0      31.1  30.7  .19  .18  18   .51  0  
float-newlib/float_req_bl_0883.yml .107  900    840    31 11000   .012  0      10.7  12.4  .15  .15  17   .23  0  
float-newlib/float_req_bl_0920a.yml .214  900    840    31 15000   .012  0      21.4  27.1  .13  .13  17   .11  0  
float-newlib/float_req_bl_0970a.yml .167  900    840    31 14000   .012  0      16.7  21.6  .14  .14  16   .12  0  
float-newlib/float_req_bl_1121a.yml .0526 900    850    30 12000   .012  0      5.26 26.6  .12  .12  16   .086 0  
float-newlib/float_req_bl_1121b.yml .0526 900    850    31 14000   .012  0      5.26 26.6  .14  .14  16   .086 0  
float-newlib/float_req_bl_1122a.yml .105  900    850    31 12000   .012  0      10.5  26.6  .13  .13  17   .11  0  
float-newlib/float_req_bl_1122b.yml .105  900    850    31 12000   .012  0      10.5  26.6  .13  .13  17   .11  0  
float-newlib/float_req_bl_1130a.yml .227  900    840    31 14000   .066  0      22.7  32.4  .13  .13  16   .13  0  
float-newlib/float_req_bl_1130b.yml .227  900    840    31 15000   .012  0      22.7  32.4  .13  .13  17   .13  0  
float-newlib/float_req_bl_1131a.yml .175  900    840    30 14000   .025  0      17.5  33.3  .12  .18  17   .11  0  
float-newlib/float_req_bl_1131b.yml .175  900    840    31 13000   .012  0      17.5  33.3  .13  .13  17   .11  0  
float-newlib/float_req_bl_1211a.yml .333  900    850    31 14000   .012  0      33.3  61.9  .12  .12  16   .082 0  
float-newlib/float_req_bl_1211b.yml .333  900    850    31 12000   .012  0      33.3  61.9  .12  .12  16   .082 0  
float-newlib/float_req_bl_1231.yml .76   900    830    31 13000   .012  0      76.0  75.0  .14  .14  17   .21  0  
float-newlib/float_req_bl_1251.yml .76   900    830    30 13000   .012  0      76.0  84.4  .15  .16  17   .21  0  
float-newlib/float_req_bl_1270a.yml .239  900    840    30 14000   .012  0      23.9  32.8  .14  .14  17   .14  0  
float-newlib/float_req_bl_1270b.yml .239  900    840    31 14000   .012  0      23.9  32.8  .14  .14  16   .14  0  
float-newlib/float_req_bl_1270c.yml .239  900    840    30 12000   .012  0      23.9  32.8  .13  .13  17   .14  0  
float-newlib/float_req_bl_1270d.yml .239  900    840    30 16000   .012  0      23.9  32.8  .14  .14  17   .14  0  
float-newlib/float_req_bl_1271a.yml .208  900    840    31 14000   .012  0      20.8  28.5  .13  .13  17   .14  0  
float-newlib/float_req_bl_1271b.yml .208  900    840    31 11000   .012  0      20.8  30.8  .15  .15  16   .14  0  
float-newlib/float_req_bl_1381.yml .5    900    850    31 12000   .012  0      50.0  93.8  .12  .12  16   .078 0  
loop-floats-scientific-comp/loop1-1.yml .75   900    840    31 13000   .012  0      75.0  100    .51  .56  46   .094 0  
loop-floats-scientific-comp/loop1-2.yml .25   680    640    40 9600   0      0      25.0  78.6  .37  .37  45   .078 0  
loop-floats-scientific-comp/loop2-1.yml .6    700    650    40 10000   0      .13   60.0  85.7  .41  .41  45   .11  0  
loop-floats-scientific-comp/loop2-2.yml .8    900    840    31 12000   .012  .13   80.0  100    .54  .55  45   .13  0  
loop-floats-scientific-comp/loop3.yml .8    900    840    32 15000   .012  .13   80.0  100    .62  .62  45   .13  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 84.5 180000 170000 6500 2500000 2.6 .40 212 8450 11200 31 31 3700 29 0  
Run set prtest.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-Floats