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