Benchmark VeriFuzz TBF Test-Suite Validator
Tool VeriFuzz 1.0.1 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:17:17 CET 2019-02-06 14:51:38 CET
Run set verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats
Options --testcomp --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/verifuzz.2019-02-06_0717.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 error .5    prog tests 1 inspect 880 900 150 12000 .86 0     unknown prog tests 0 inspect
50.0  90.9  .14 .14 16 .078 0  
floats-cdfpl/newton_1_2.yml error .5    prog tests 1 inspect 880 900 150 14000 .86 0     unknown prog tests 0 inspect
50.0  90.9  .12 .12 16 .078 0  
floats-cdfpl/newton_1_3.yml error .5    prog tests 1 inspect 880 900 150 13000 .85 0     unknown prog tests 0 inspect
50.0  90.9  .12 .12 16 .078 0  
floats-cdfpl/newton_1_4.yml error .667  prog tests 2 inspect 880 900 150 11000 570    0     true prog tests 1 inspect
66.7  100    .13 .13 16 .094 0  
floats-cdfpl/newton_1_5.yml error .667  prog tests 2 inspect 880 900 150 11000 580    0     true prog tests 1 inspect
66.7  100    .12 .12 16 .094 0  
floats-cdfpl/newton_1_6.yml error .667  prog tests 2 inspect 880 900 150 11000 650    0     true prog tests 1 inspect
66.7  100    .12 .12 16 .094 0  
floats-cdfpl/newton_1_7.yml error .667  prog tests 2 inspect 880 900 150 12000 730    0     true prog tests 1 inspect
66.7  100    .12 .12 17 .094 0  
floats-cdfpl/newton_1_8.yml error .667  prog tests 2 inspect 880 900 150 14000 550    0     true prog tests 1 inspect
66.7  100    .12 .12 17 .094 0  
floats-cdfpl/newton_2_1.yml error .5    prog tests 1 inspect 880 900 160 11000 .85 0     unknown prog tests 0 inspect
50.0  91.7  .11 .11 16 .078 0  
floats-cdfpl/newton_2_2.yml error .5    prog tests 1 inspect 880 900 150 11000 .85 0     unknown prog tests 0 inspect
50.0  91.7  .12 .12 16 .078 0  
floats-cdfpl/newton_2_3.yml error .5    prog tests 1 inspect 880 900 150 13000 .78 0     unknown prog tests 0 inspect
50.0  91.7  .12 .12 17 .078 0  
floats-cdfpl/newton_2_4.yml error .5    prog tests 1 inspect 880 900 150 14000 .83 0     unknown prog tests 0 inspect
50.0  91.7  .12 .11 16 .078 0  
floats-cdfpl/newton_2_5.yml error .5    prog tests 1 inspect 880 900 150 10000 .82 0     unknown prog tests 0 inspect
50.0  91.7  .12 .12 16 .078 0  
floats-cdfpl/newton_2_6.yml error .667  prog tests 2 inspect 880 900 150 13000 460    0     true prog tests 1 inspect
66.7  100    .12 .12 16 .094 0  
floats-cdfpl/newton_2_7.yml error .667  prog tests 2 inspect 880 900 150 12000 490    0     true prog tests 1 inspect
66.7  100    .12 .12 16 .094 0  
floats-cdfpl/newton_2_8.yml error .667  prog tests 2 inspect 880 900 150 10000 600    0     true prog tests 1 inspect
66.7  100    .12 .12 16 .094 0  
floats-cdfpl/newton_3_1.yml error .5    prog tests 8 inspect 880 900 230 12000 .86 .033 unknown prog tests 0 inspect
50.0  92.3  .14 .14 16 .20  0  
floats-cdfpl/newton_3_2.yml error .5    prog tests 8 inspect 880 900 230 12000 .66 .033 unknown prog tests 0 inspect
50.0  92.3  .15 .14 16 .20  0  
floats-cdfpl/newton_3_3.yml error .5    prog tests 8 inspect 880 900 220 11000 .86 0     unknown prog tests 0 inspect
50.0  92.3  .14 .13 16 .20  0  
floats-cdfpl/newton_3_4.yml error .5    prog tests 8 inspect 880 900 240 11000 .85 0     unknown prog tests 0 inspect
50.0  92.3  .14 .13 16 .20  0  
floats-cdfpl/newton_3_5.yml error .5    prog tests 8 inspect 880 900 230 12000 .83 0     unknown prog tests 0 inspect
50.0  92.3  .14 .13 16 .20  0  
floats-cdfpl/newton_3_6.yml error .667  prog tests 9 inspect 880 900 220 11000 160    .033 true prog tests 1 inspect
66.7  100    .14 .13 16 .21  0  
floats-cdfpl/newton_3_7.yml error .667  prog tests 9 inspect 880 900 230 11000 200    .033 true prog tests 1 inspect
66.7  100    .15 .14 16 .21  0  
floats-cdfpl/newton_3_8.yml error .667  prog tests 2 inspect 880 900 200 11000 780    0     true prog tests 1 inspect
66.7  100    .13 .13 16 .098 0  
floats-cdfpl/sine_1.yml error .75   prog tests 3 inspect 880 900 150 10000 370    0     true prog tests 1 inspect
75.0  100    .12 .12 17 .11  0  
floats-cdfpl/sine_2.yml error .75   prog tests 3 inspect 880 900 150 11000 310    0     true prog tests 1 inspect
75.0  100    .12 .12 16 .11  0  
floats-cdfpl/sine_3.yml error .75   prog tests 3 inspect 880 900 150 11000 330    0     true prog tests 1 inspect
75.0  100    .12 .12 16 .11  0  
floats-cdfpl/sine_4.yml error .625  prog tests 2 inspect 880 900 150 12000 .81 0     unknown prog tests 0 inspect
62.5  87.5  .12 .12 16 .094 0  
floats-cdfpl/sine_5.yml error .625  prog tests 2 inspect 880 900 150 11000 .84 0     unknown prog tests 0 inspect
62.5  87.5  .12 .12 17 .094 0  
floats-cdfpl/sine_6.yml error .625  prog tests 2 inspect 880 900 150 12000 .82 0     unknown prog tests 0 inspect
62.5  87.5  .12 .12 16 .094 0  
floats-cdfpl/sine_7.yml error .625  prog tests 2 inspect 880 900 150 11000 .88 0     unknown prog tests 0 inspect
62.5  87.5  .12 .12 16 .094 0  
floats-cdfpl/sine_8.yml error .625  prog tests 2 inspect 880 900 150 11000 .86 0     unknown prog tests 0 inspect
62.5  87.5  .12 .12 16 .094 0  
floats-cdfpl/square_1.yml error .75   prog tests 3 inspect 880 900 150 11000 300    0     true prog tests 1 inspect
75.0  100    .12 .12 16 .11  0  
floats-cdfpl/square_2.yml error .75   prog tests 3 inspect 880 900 150 13000 120    0     true prog tests 1 inspect
75.0  100    .12 .12 17 .11  0  
floats-cdfpl/square_3.yml error .625  prog tests 3 inspect 880 900 150 11000 63    0     unknown prog tests 0 inspect
62.5  88.9  .13 .15 17 .11  0  
floats-cdfpl/square_4.yml error .625  prog tests 2 inspect 880 900 150 11000 .84 0     unknown prog tests 0 inspect
62.5  88.9  .13 .13 16 .094 0  
floats-cdfpl/square_5.yml error .625  prog tests 2 inspect 880 900 150 12000 .91 .033 unknown prog tests 0 inspect
62.5  88.9  .12 .12 17 .094 0  
floats-cdfpl/square_6.yml error .625  prog tests 2 inspect 880 900 150 11000 .87 0     unknown prog tests 0 inspect
62.5  88.9  .12 .12 16 .094 0  
floats-cdfpl/square_7.yml error .625  prog tests 2 inspect 880 900 150 10000 .83 0     unknown prog tests 0 inspect
62.5  88.9  .12 .12 16 .094 0  
floats-cdfpl/square_8.yml error .625  prog tests 2 inspect 880 900 150 12000 .83 0     unknown prog tests 0 inspect
62.5  88.9  .11 .11 16 .094 0  
floats-cbmc-regression/float-no-simp2.yml error .5    prog tests 2 inspect 890 900 180 12000 .65 0     unknown prog tests 0 inspect
50.0  100    .14 .14 17 .15  0  
floats-cbmc-regression/float-to-double1.yml timeout .167  prog tests 2 inspect 900 920 170 11000 .82 0     unknown prog tests 0 inspect
16.7  100    .14 .14 16 .14  0  
floats-cbmc-regression/float12.yml timeout .75   prog tests 2 inspect 900 920 150 11000 .89 0     unknown prog tests 0 inspect
75.0  100    .13 .13 16 .086 0  
floats-cbmc-regression/float19.yml timeout .75   prog tests 3 inspect 900 920 180 12000 .87 0     unknown prog tests 0 inspect
75.0  100    .14 .13 16 .22  0  
floats-cbmc-regression/float20.yml error .0    prog tests 3 inspect 880 900 150 9700 1300    0     unknown prog tests 0 inspect
.00 19.2  .15 .15 16 .11  0  
floats-cbmc-regression/float3.yml timeout .875  prog tests 2 inspect 900 920 150 11000 1.1  0     unknown prog tests 0 inspect
87.5  100    .12 .12 16 .094 0  
floats-cbmc-regression/float4.yml error .5    prog tests 2 inspect 880 900 180 13000 .66 0     unknown prog tests 0 inspect
50.0  100    .14 .14 16 .16  0  
floats-cbmc-regression/float5.yml timeout .583  prog tests 3 inspect 900 920 150 10000 .83 0     unknown prog tests 0 inspect
58.3  100    .12 .12 16 .11  0  
floats-cbmc-regression/float6.yml timeout .0313 prog tests 2 inspect 900 920 150 11000 .97 0     unknown prog tests 0 inspect
3.13 17.6  .12 .11 16 .098 0  
floats-cbmc-regression/float8.yml error .5    prog tests 2 inspect 890 900 180 13000 .63 0     unknown prog tests 0 inspect
50.0  100    .14 .14 16 .14  0  
float-benchs/arctan_Pade.yml error .571  prog tests 3 inspect 880 900 260 10000 .71 0     unknown prog tests 0 inspect
57.1  100    .12 .12 16 .12  0  
float-benchs/bary_diverge.yml timeout .75   prog tests 38 inspect 900 920 150 11000 1.5  0     unknown prog tests 0 inspect
75.0  96.4  .33 .31 17 .69  0  
float-benchs/cast_float_ptr.yml error .5    prog tests 5 inspect 880 900 150 13000 670    0     true prog tests 1 inspect
50.0  87.5  .12 .12 16 .13  0  
float-benchs/cast_float_union.yml timeout .5    prog tests 5 inspect 900 920 150 11000 1.1  0     unknown prog tests 0 inspect
50.0  83.3  .13 .13 16 .11  0  
float-benchs/cast_union_loose.yml error .8    prog tests 4 inspect 880 900 150 13000 310    0     true prog tests 1 inspect
80.0  100    .13 .13 16 .13  0  
float-benchs/cast_union_tight.yml error 1.0    prog tests 2 inspect 890 900 150 11000 7400    0     true prog tests 1 inspect
100    100    .12 .12 16 .094 0  
float-benchs/cos_polynomial.yml error .688  prog tests 5 inspect 880 900 150 10000 .93 0     unknown prog tests 0 inspect
68.8  95.2  .13 .20 16 .14  0  
float-benchs/divmul_buf_diverge.yml error .5    prog tests 21 inspect 880 900 150 11000 1.2  0     unknown prog tests 0 inspect
50.0  81.2  .24 .23 16 .41  0  
float-benchs/divmul_diverge.yml error .5    prog tests 21 inspect 880 900 150 10000 1.2  0     unknown prog tests 0 inspect
50.0  76.9  .24 .23 17 .41  0  
float-benchs/exp_loop.yml error .792  prog tests 20 inspect 880 900 150 10000 1.1  0     unknown prog tests 0 inspect
79.2  97.3  .20 .19 16 .39  0  
float-benchs/feedback_diverge.yml error .5    prog tests 19 inspect 880 900 150 11000 1.2  0     unknown prog tests 0 inspect
50.0  80.0  .22 .21 16 .38  0  
float-benchs/filter1.c.p+cfa-reducer.yml timeout .75   prog tests 23 inspect 900 920 150 13000 1.5  0     unknown prog tests 0 inspect
75.0  82.5  .19 .18 16 .36  0  
float-benchs/filter1.c.v+lhb-reducer.yml error .656  prog tests 23 inspect 880 900 160 10000 1.1  0     unknown prog tests 0 inspect
65.6  77.5  .19 .18 17 .41  0  
float-benchs/filter1.c.v+nlh-reducer.yml error .688  prog tests 22 inspect 880 900 160 11000 1.3  0     unknown prog tests 0 inspect
68.8  78.6  .19 .18 16 .41  0  
float-benchs/filter1.yml error .714  prog tests 18 inspect 880 900 150 11000 1.1  0     unknown prog tests 0 inspect
71.4  92.3  .17 .16 16 .27  0  
float-benchs/filter2.yml error .65   prog tests 11 inspect 880 900 150 12000 1.0  0     unknown prog tests 0 inspect
65.0  94.4  .15 .15 17 .21  0  
float-benchs/filter2_alt.yml timeout .75   prog tests 14 inspect 900 920 160 14000 1.3  0     unknown prog tests 0 inspect
75.0  100    .17 .20 16 .29  0  
float-benchs/filter2_reinit.yml error .682  prog tests 19 inspect 880 900 150 11000 1.1  0     unknown prog tests 0 inspect
68.2  95.7  .19 .19 17 .33  0  
float-benchs/filter2_set.yml error .1    prog tests 2 inspect 880 900 150 10000 .96 0     unknown prog tests 0 inspect
10.0  28.6  .14 .14 16 .10  0  
float-benchs/filter_iir.yml error .7    prog tests 10 inspect 880 900 150 11000 1.1  0     unknown prog tests 0 inspect
70.0  100    .13 .13 17 .16  0  
float-benchs/float_int_inv_square.yml error 1.0    prog tests 4 inspect 880 900 150 11000 28    0     true prog tests 1 inspect
100    100    .13 .13 16 .13  0  
float-benchs/image_filter.yml error .0326 prog tests 2 inspect 890 900 400 10000 1.1  0     unknown prog tests 0 inspect
3.26 81.5  .15 .16 18 .20  0  
float-benchs/interpolation.c.p+cfa-reducer.yml timeout .75   prog tests 7 inspect 900 920 150 11000 1.0  0     unknown prog tests 0 inspect
75.0  81.1  .14 .13 16 .18  0  
float-benchs/interpolation.c.v+cfa-reducer.yml timeout .688  prog tests 7 inspect 900 920 150 12000 1.1  0     unknown prog tests 0 inspect
68.8  77.1  .13 .13 16 .18  0  
float-benchs/interpolation.c.v+nlh-reducer.yml timeout .714  prog tests 7 inspect 900 920 160 12000 1.0  0     unknown prog tests 0 inspect
71.4  78.0  .13 .13 16 .20  0  
float-benchs/interpolation.yml timeout .714  prog tests 6 inspect 900 920 150 11000 1.1  0     unknown prog tests 0 inspect
71.4  100    .13 .13 16 .16  0  
float-benchs/interpolation2.c.p+cfa-reducer.yml timeout .75   prog tests 7 inspect 900 930 150 14000 1.1  0     unknown prog tests 0 inspect
75.0  82.0  .14 .14 16 .18  0  
float-benchs/interpolation2.c.v+cfa-reducer.yml error .688  prog tests 7 inspect 880 900 150 11000 .97 0     unknown prog tests 0 inspect
68.8  78.4  .14 .13 17 .18  0  
float-benchs/interpolation2.c.v+nlh-reducer.yml error .714  prog tests 7 inspect 880 900 160 12000 .93 0     unknown prog tests 0 inspect
71.4  78.8  .16 .16 16 .20  0  
float-benchs/interpolation2.yml error .714  prog tests 6 inspect 880 900 150 11000 .93 0     unknown prog tests 0 inspect
71.4  100    .13 .13 16 .16  0  
float-benchs/inv_Newton-1.yml error .812  prog tests 4 inspect 880 900 160 13000 .97 0     unknown prog tests 0 inspect
81.2  100    .13 .12 16 .13  0  
float-benchs/inv_Newton-2.yml error .625  prog tests 2 inspect 880 900 150 13000 1200    0     true prog tests 1 inspect
62.5  95.0  .13 .13 16 .098 0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml error .722  prog tests 3 inspect 880 900 160 11000 960    0     true prog tests 1 inspect
72.2  88.2  .13 .13 17 .12  0  
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml error .583  prog tests 3 inspect 880 900 150 13000 .99 0     unknown prog tests 0 inspect
58.3  75.8  .12 .13 16 .10  0  
float-benchs/inv_sqrt_Quake.yml error .7    prog tests 3 inspect 880 900 150 11000 .87 0     unknown prog tests 0 inspect
70.0  100    .12 .12 16 .11  0  
float-benchs/inv_square-1.yml timeout .5    prog tests 3 inspect 900 930 150 11000 1.1  0     unknown prog tests 0 inspect
50.0  55.6  .13 .15 16 .11  0  
float-benchs/inv_square-2.yml timeout .7    prog tests 4 inspect 900 920 150 13000 .84 0     unknown prog tests 0 inspect
70.0  100    .13 .13 16 .13  0  
float-benchs/inv_square_int.yml timeout .667  prog tests 3 inspect 900 920 150 11000 1.1  0     unknown prog tests 0 inspect
66.7  100    .12 .12 17 .11  0  
float-benchs/nan_double.yml error 1.0    prog tests 3 inspect 880 900 150 11000 1000    0     true prog tests 1 inspect
100    100    .12 .12 16 .11  0  
float-benchs/nan_double_range.yml timeout .667  prog tests 3 inspect 900 920 150 10000 1.0  0     unknown prog tests 0 inspect
66.7  100    .12 .12 16 .11  0  
float-benchs/nan_float.yml error 1.0    prog tests 3 inspect 880 900 150 10000 990    0     true prog tests 1 inspect
100    100    .13 .12 16 .11  0  
float-benchs/nan_float_range.yml timeout .667  prog tests 3 inspect 900 920 150 11000 .99 0     unknown prog tests 0 inspect
66.7  100    .12 .12 17 .11  0  
float-benchs/rlim_exit.yml timeout .65   prog tests 31 inspect 900 920 150 11000 1.5  0     unknown prog tests 0 inspect
65.0  80.0  .25 .24 16 .57  0  
float-benchs/rlim_invariant.c.p+cfa-reducer.yml timeout .833  prog tests 39 inspect 900 920 150 13000 1.4  0     unknown prog tests 0 inspect
83.3  86.8  .31 .28 16 .86  0  
float-benchs/rlim_invariant.c.v+lhb-reducer.yml error .708  prog tests 39 inspect 880 900 160 12000 1.4  0     unknown prog tests 0 inspect
70.8  78.8  .32 .30 16 1.0   0  
float-benchs/rlim_invariant.c.v+nlh-reducer.yml error .708  prog tests 37 inspect 880 900 170 11000 1.2  0     unknown prog tests 0 inspect
70.8  78.3  .29 .27 16 .97  0  
float-benchs/rlim_invariant.yml timeout .8    prog tests 29 inspect 900 920 150 11000 1.4  0     unknown prog tests 0 inspect
80.0  93.3  .28 .27 17 .54  0  
float-benchs/sin_interpolated_bigrange_loose.yml error .688  prog tests 4 inspect 890 900 280 12000 1.0  .033 unknown prog tests 0 inspect
68.8  100    .13 .13 17 .18  0  
float-benchs/sin_interpolated_bigrange_tight.yml error .688  prog tests 4 inspect 890 900 290 14000 .96 0     unknown prog tests 0 inspect
68.8  100    .13 .13 16 .18  0  
float-benchs/sin_interpolated_index-1.yml error .812  prog tests 5 inspect 880 900 280 13000 62    0     true prog tests 1 inspect
81.2  100    .14 .14 17 .18  0  
float-benchs/sin_interpolated_index-2.yml error .688  prog tests 4 inspect 880 900 280 12000 .96 .033 unknown prog tests 0 inspect
68.8  100    .16 .15 16 .18  0  
float-benchs/sin_interpolated_negation.yml error .167  prog tests 1 inspect 880 900 500 11000 .92 0     unknown prog tests 0 inspect
16.7  16.7  .12 .12 16 .10  0  
float-benchs/sin_interpolated_smallrange.yml error .167  prog tests 1 inspect 880 900 250 11000 1.0  0     unknown prog tests 0 inspect
16.7  16.7  .13 .13 17 .10  0  
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml timeout .65   prog tests 8 inspect 900 920 150 12000 1.1  0     unknown prog tests 0 inspect
65.0  82.3  .15 .15 17 .22  0  
float-benchs/sqrt_Householder_interval.yml error .636  prog tests 6 inspect 880 900 170 11000 .93 0     unknown prog tests 0 inspect
63.6  100    .15 .15 16 .15  0  
float-benchs/sqrt_Householder_pseudoconstant.yml error .125  prog tests 1 inspect 880 900 170 12000 .86 .033 unknown prog tests 0 inspect
12.5  19.2  .12 .12 16 .082 0  
float-benchs/sqrt_Newton_pseudoconstant.yml error .125  prog tests 1 inspect 880 900 160 11000 .86 0     unknown prog tests 0 inspect
12.5  19.2  .15 .15 16 .082 0  
float-benchs/sqrt_biNewton_pseudoconstant.yml error .125  prog tests 1 inspect 880 900 180 10000 .84 0     unknown prog tests 0 inspect
12.5  18.5  .12 .11 16 .082 0  
float-benchs/sqrt_poly.yml error .75   prog tests 4 inspect 880 900 150 10000 .97 0     unknown prog tests 0 inspect
75.0  100    .13 .19 16 .13  0  
float-benchs/sqrt_poly2.yml error .833  prog tests 4 inspect 880 900 150 11000 2100    0     true prog tests 1 inspect
83.3  100    .13 .13 16 .13  0  
float-benchs/zonotope_3.c.p+cfa-reducer.yml timeout .5    prog tests 11 inspect 900 920 160 11000 1.0  0     unknown prog tests 0 inspect
50.0  76.9  .17 .16 16 .28  0  
float-benchs/zonotope_3.c.v+lhb-reducer.yml error .512  prog tests 17 inspect 880 900 220 11000 1.2  0     unknown prog tests 0 inspect
51.2  84.3  .21 .20 17 .84  0  
float-benchs/zonotope_3.yml timeout .417  prog tests 11 inspect 900 920 160 10000 1.3  0     unknown prog tests 0 inspect
41.7  80.0  .15 .15 16 .25  0  
float-benchs/zonotope_loose.c.v+cfa-reducer.yml error .571  prog tests 4 inspect 880 900 150 11000 .95 0     unknown prog tests 0 inspect
57.1  66.7  .15 .15 16 .11  0  
float-benchs/zonotope_loose.yml error .583  prog tests 3 inspect 880 900 150 10000 .93 0     unknown prog tests 0 inspect
58.3  88.9  .12 .12 16 .11  0  
float-benchs/zonotope_tight.yml error .583  prog tests 4 inspect 880 900 150 13000 .72 0     unknown prog tests 0 inspect
58.3  88.9  .12 .12 16 .13  0  
float-newlib/double_req_bl_0281.yml error .0152 prog tests 2 inspect 880 900 390 11000 .99 0     unknown prog tests 0 inspect
1.52 2.84 .13 .13 16 .13  0  
float-newlib/double_req_bl_0320.yml error .0370 prog tests 2 inspect 880 900 770 11000 1.2  0     unknown prog tests 0 inspect
3.70 5.48 .15 .15 18 .21  0  
float-newlib/double_req_bl_0460.yml error .0938 prog tests 2 inspect 880 900 460 11000 .97 0     unknown prog tests 0 inspect
9.38 11.5  .12 .12 16 .13  0  
float-newlib/double_req_bl_0660a.yml error .108  prog tests 3 inspect 880 900 280 9800 1.0  0     unknown prog tests 0 inspect
10.8  19.4  .13 .13 17 .16  0  
float-newlib/double_req_bl_0660b.yml error .108  prog tests 3 inspect 880 900 290 11000 .97 0     unknown prog tests 0 inspect
10.8  19.4  .16 .16 17 .16  0  
float-newlib/double_req_bl_0661a.yml error .118  prog tests 2 inspect 880 900 280 13000 .72 0     unknown prog tests 0 inspect
11.8  21.9  .13 .13 17 .14  0  
float-newlib/double_req_bl_0661b.yml error .118  prog tests 2 inspect 880 900 250 13000 .98 0     unknown prog tests 0 inspect
11.8  21.9  .14 .14 17 .14  0  
float-newlib/double_req_bl_0662a.yml error .122  prog tests 3 inspect 880 900 170 8700 1.0  0     unknown prog tests 0 inspect
12.2  18.6  .13 .13 17 .16  0  
float-newlib/double_req_bl_0662b.yml error .122  prog tests 3 inspect 880 900 160 11000 1.1  0     unknown prog tests 0 inspect
12.2  18.6  .13 .13 16 .16  0  
float-newlib/double_req_bl_0663a.yml error .122  prog tests 2 inspect 880 900 170 11000 .98 0     unknown prog tests 0 inspect
12.2  18.6  .14 .13 16 .13  0  
float-newlib/double_req_bl_0663b.yml error .122  prog tests 2 inspect 880 900 160 11000 .96 0     unknown prog tests 0 inspect
12.2  18.6  .13 .14 17 .13  0  
float-newlib/double_req_bl_0670.yml error .0789 prog tests 3 inspect 880 900 540 11000 .98 0     unknown prog tests 0 inspect
7.89 16.0  .16 .16 17 .16  0  
float-newlib/double_req_bl_0682a.yml error .167  prog tests 2 inspect 880 900 210 11000 1.0  0     unknown prog tests 0 inspect
16.7  28.7  .13 .13 17 .14  0  
float-newlib/double_req_bl_0682b.yml error .167  prog tests 2 inspect 880 900 210 11000 1.0  0     unknown prog tests 0 inspect
16.7  28.7  .13 .13 17 .14  0  
float-newlib/double_req_bl_0683a.yml error .175  prog tests 2 inspect 880 900 210 11000 1.0  0     unknown prog tests 0 inspect
17.5  30.7  .13 .13 17 .14  0  
float-newlib/double_req_bl_0683b.yml error .175  prog tests 2 inspect 880 900 210 13000 1.0  0     unknown prog tests 0 inspect
17.5  30.7  .13 .13 17 .14  0  
float-newlib/double_req_bl_0684a.yml error .184  prog tests 3 inspect 890 900 170 11000 .99 0     unknown prog tests 0 inspect
18.4  27.9  .13 .13 16 .16  0  
float-newlib/double_req_bl_0684b.yml error .184  prog tests 3 inspect 890 900 170 11000 .98 0     unknown prog tests 0 inspect
18.4  27.9  .13 .13 17 .16  0  
float-newlib/double_req_bl_0832.yml error .267  prog tests 2 inspect 880 900 170 12000 .91 0     unknown prog tests 0 inspect
26.7  30.4  .13 .13 16 .11  0  
float-newlib/double_req_bl_0870a.yml error .0714 prog tests 6 inspect 880 900 170 12000 420    0     true prog tests 1 inspect
7.14 6.89 .17 .17 18 .37  0  
float-newlib/double_req_bl_0870b.yml timeout .038  prog tests 4 inspect 900 920 170 11000 1.0  0     unknown prog tests 0 inspect
3.80 6.29 .16 .15 17 .28  0  
float-newlib/double_req_bl_0872a.yml timeout .0111 prog tests 2 inspect 900 920 170 10000 .92 0     unknown prog tests 0 inspect
1.11 5.12 .16 .16 18 .18  0  
float-newlib/double_req_bl_0872b.yml timeout .0111 prog tests 2 inspect 900 920 170 13000 .93 0     unknown prog tests 0 inspect
1.11 5.12 .15 .15 18 .18  0  
float-newlib/double_req_bl_0874.yml timeout .0934 prog tests 4 inspect 900 920 170 13000 .98 0     unknown prog tests 0 inspect
9.34 12.6  .15 .15 18 .28  0  
float-newlib/double_req_bl_0876.yml timeout .0978 prog tests 4 inspect 900 920 170 12000 1.0  0     unknown prog tests 0 inspect
9.78 11.3  .16 .15 18 .28  0  
float-newlib/double_req_bl_0882.yml timeout .114  prog tests 3 inspect 900 920 170 11000 .90 0     unknown prog tests 0 inspect
11.4  13.1  .15 .15 18 .23  0  
float-newlib/double_req_bl_0883.yml timeout .176  prog tests 8 inspect 900 920 180 10000 .86 0     unknown prog tests 0 inspect
17.6  18.5  .17 .21 18 .46  0  
float-newlib/double_req_bl_0920a.yml error .286  prog tests 4 inspect 880 900 270 10000 .99 0     unknown prog tests 0 inspect
28.6  27.0  .13 .13 16 .15  0  
float-newlib/double_req_bl_0970a.yml error .222  prog tests 4 inspect 880 900 300 11000 1.0  0     unknown prog tests 0 inspect
22.2  22.0  .16 .16 17 .17  0  
float-newlib/double_req_bl_1121a.yml error .0323 prog tests 1 inspect 880 900 160 13000 .90 0     unknown prog tests 0 inspect
3.23 18.8  .12 .12 17 .090 0  
float-newlib/double_req_bl_1121b.yml error .0323 prog tests 1 inspect 880 900 160 12000 .90 0     unknown prog tests 0 inspect
3.23 18.8  .12 .12 16 .090 0  
float-newlib/double_req_bl_1122a.yml error .0484 prog tests 1 inspect 880 900 160 13000 .88 0     unknown prog tests 0 inspect
4.84 18.8  .13 .13 16 .090 0  
float-newlib/double_req_bl_1122b.yml error .0484 prog tests 1 inspect 880 900 160 10000 .84 0     unknown prog tests 0 inspect
4.84 18.8  .12 .14 17 .090 0  
float-newlib/double_req_bl_1130a.yml error .147  prog tests 2 inspect 880 900 160 12000 .92 0     unknown prog tests 0 inspect
14.7  24.5  .14 .14 17 .12  0  
float-newlib/double_req_bl_1131a.yml error .125  prog tests 2 inspect 890 900 170 10000 .75 0     unknown prog tests 0 inspect
12.5  24.5  .15 .15 17 .12  0  
float-newlib/double_req_bl_1131b.yml error .125  prog tests 2 inspect 880 900 160 12000 .92 0     unknown prog tests 0 inspect
12.5  24.8  .13 .13 16 .11  0  
float-newlib/double_req_bl_1211a.yml timeout .312  prog tests 1 inspect 900 920 160 11000 1.1  0     unknown prog tests 0 inspect
31.2  49.2  .14 .15 16 .086 0  
float-newlib/double_req_bl_1211b.yml timeout .312  prog tests 1 inspect 900 920 160 11000 .99 0     unknown prog tests 0 inspect
31.2  49.2  .12 .12 16 .086 0  
float-newlib/double_req_bl_1231b.yml timeout .525  prog tests 5 inspect 900 920 150 11000 1.1  0     unknown prog tests 0 inspect
52.5  84.4  .13 .14 16 .17  0  
float-newlib/double_req_bl_1251b.yml timeout .525  prog tests 5 inspect 900 920 160 11000 1.1  0     unknown prog tests 0 inspect
52.5  84.4  .13 .13 16 .17  0  
float-newlib/double_req_bl_1300.yml timeout .667  prog tests 2 inspect 900 920 150 10000 .98 0     unknown prog tests 0 inspect
66.7  95.0  .12 .13 16 .078 0  
float-newlib/float_req_bl_0281.yml error .143  prog tests 2 inspect 880 900 160 12000 .88 0     unknown prog tests 0 inspect
14.3  13.6  .12 .17 17 .12  0  
float-newlib/float_req_bl_0460.yml error .15   prog tests 2 inspect 880 900 170 9700 .95 0     unknown prog tests 0 inspect
15.0  13.7  .13 .13 17 .12  0  
float-newlib/float_req_bl_0660a.yml error .125  prog tests 3 inspect 880 900 160 13000 .78 0     unknown prog tests 0 inspect
12.5  17.9  .13 .13 17 .15  0  
float-newlib/float_req_bl_0660b.yml error .114  prog tests 3 inspect 880 900 170 13000 1.0  0     unknown prog tests 0 inspect
11.4  17.9  .14 .14 17 .15  0  
float-newlib/float_req_bl_0661a.yml error .186  prog tests 3 inspect 880 900 160 11000 1.0  0     unknown prog tests 0 inspect
18.6  26.5  .14 .14 17 .15  0  
float-newlib/float_req_bl_0661b.yml error .186  prog tests 3 inspect 880 900 160 13000 1.0  0     unknown prog tests 0 inspect
18.6  26.5  .15 .15 16 .15  0  
float-newlib/float_req_bl_0662a.yml error .129  prog tests 3 inspect 880 900 160 11000 1.0  0     unknown prog tests 0 inspect
12.9  17.1  .13 .13 17 .15  0  
float-newlib/float_req_bl_0662b.yml error .129  prog tests 3 inspect 880 900 160 11000 1.0  0     unknown prog tests 0 inspect
12.9  17.1  .13 .13 17 .15  0  
float-newlib/float_req_bl_0663a.yml error .129  prog tests 2 inspect 880 900 170 12000 .90 0     unknown prog tests 0 inspect
12.9  17.1  .13 .13 16 .13  0  
float-newlib/float_req_bl_0663b.yml error .129  prog tests 2 inspect 880 900 170 11000 .76 0     unknown prog tests 0 inspect
12.9  17.1  .13 .13 17 .13  0  
float-newlib/float_req_bl_0670.yml error .111  prog tests 4 inspect 880 900 180 11000 1.0  0     unknown prog tests 0 inspect
11.1  14.4  .17 .17 16 .18  0  
float-newlib/float_req_bl_0682a.yml error .167  prog tests 2 inspect 880 900 160 10000 1.0  0     unknown prog tests 0 inspect
16.7  23.8  .13 .13 17 .13  0  
float-newlib/float_req_bl_0682b.yml error .167  prog tests 2 inspect 880 900 160 11000 1.0  0     unknown prog tests 0 inspect
16.7  23.8  .13 .13 17 .13  0  
float-newlib/float_req_bl_0683a.yml error .176  prog tests 2 inspect 890 900 160 12000 1.0  0     unknown prog tests 0 inspect
17.6  26.2  .13 .13 17 .14  0  
float-newlib/float_req_bl_0683b.yml error .176  prog tests 2 inspect 880 900 160 12000 .99 0     unknown prog tests 0 inspect
17.6  26.2  .13 .13 17 .14  0  
float-newlib/float_req_bl_0684a.yml error .243  prog tests 4 inspect 880 900 170 11000 1.1  0     unknown prog tests 0 inspect
24.3  30.3  .14 .13 17 .18  0  
float-newlib/float_req_bl_0684b.yml error .243  prog tests 4 inspect 880 900 160 12000 1.1  0     unknown prog tests 0 inspect
24.3  30.3  .13 .13 16 .18  0  
float-newlib/float_req_bl_0710.yml error .269  prog tests 4 inspect 880 900 150 12000 .95 0     unknown prog tests 0 inspect
26.9  31.4  .13 .12 16 .14  0  
float-newlib/float_req_bl_0870a.yml error .0595 prog tests 5 inspect 890 900 170 12000 720    0     true prog tests 1 inspect
5.95 6.27 .17 .17 17 .32  0  
float-newlib/float_req_bl_0870b.yml timeout .0357 prog tests 4 inspect 900 920 170 14000 .96 0     unknown prog tests 0 inspect
3.57 5.67 .15 .15 17 .27  0  
float-newlib/float_req_bl_0872a.yml timeout .012  prog tests 2 inspect 900 920 170 10000 .93 0     unknown prog tests 0 inspect
1.20 4.50 .15 .15 17 .18  0  
float-newlib/float_req_bl_0872b.yml timeout .012  prog tests 2 inspect 900 920 170 13000 1.0  0     unknown prog tests 0 inspect
1.20 4.50 .15 .15 17 .18  0  
float-newlib/float_req_bl_0874.yml timeout .0774 prog tests 4 inspect 900 920 170 11000 .97 0     unknown prog tests 0 inspect
7.74 10.3  .15 .15 17 .27  0  
float-newlib/float_req_bl_0875.yml timeout .0765 prog tests 3 inspect 900 920 170 10000 .97 0     unknown prog tests 0 inspect
7.65 10.1  .20 .20 17 .23  0  
float-newlib/float_req_bl_0876.yml timeout .0824 prog tests 4 inspect 900 920 180 11000 .94 0     unknown prog tests 0 inspect
8.24 10.1  .15 .15 17 .27  0  
float-newlib/float_req_bl_0877.yml timeout .0714 prog tests 3 inspect 900 920 170 11000 .94 0     unknown prog tests 0 inspect
7.14 10.2  .15 .15 17 .23  0  
float-newlib/float_req_bl_0880.yml timeout .310  prog tests 24 inspect 900 920 170 12000 1.2  0     unknown prog tests 0 inspect
31.1  31.0  .24 .24 18 1.2   0  
float-newlib/float_req_bl_0881.yml timeout .310  prog tests 25 inspect 900 920 170 13000 1.3  0     unknown prog tests 0 inspect
31.1  30.7  .24 .22 18 1.2   0  
float-newlib/float_req_bl_0883.yml timeout .143  prog tests 7 inspect 900 920 170 13000 .77 0     unknown prog tests 0 inspect
14.3  15.6  .17 .16 17 .41  0  
float-newlib/float_req_bl_0920a.yml error .25   prog tests 4 inspect 880 900 160 14000 .95 0     unknown prog tests 0 inspect
25.0  27.1  .13 .13 16 .15  0  
float-newlib/float_req_bl_0970a.yml error .194  prog tests 4 inspect 880 900 160 13000 1.0  0     unknown prog tests 0 inspect
19.4  21.6  .14 .28 16 .17  0  
float-newlib/float_req_bl_1121a.yml timeout .0526 prog tests 1 inspect 900 920 160 12000 .97 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 920 160 13000 1.1  0     unknown prog tests 0 inspect
5.26 26.6  .12 .12 17 .086 0  
float-newlib/float_req_bl_1122a.yml timeout .0789 prog tests 1 inspect 900 920 160 13000 .79 0     unknown prog tests 0 inspect
7.89 26.6  .12 .12 16 .086 0  
float-newlib/float_req_bl_1122b.yml timeout .0789 prog tests 1 inspect 900 920 160 11000 1.0  0     unknown prog tests 0 inspect
7.89 26.6  .12 .12 16 .086 0  
float-newlib/float_req_bl_1130a.yml error .204  prog tests 2 inspect 880 900 160 12000 .88 0     unknown prog tests 0 inspect
20.4  32.4  .12 .12 17 .11  0  
float-newlib/float_req_bl_1130b.yml error .204  prog tests 2 inspect 880 900 160 14000 .81 0     unknown prog tests 0 inspect
20.4  32.4  .13 .13 17 .11  0  
float-newlib/float_req_bl_1131a.yml timeout .175  prog tests 2 inspect 900 920 160 11000 .97 0     unknown prog tests 0 inspect
17.5  33.3  .12 .12 17 .11  0  
float-newlib/float_req_bl_1131b.yml timeout .175  prog tests 2 inspect 900 920 160 12000 1.1  0     unknown prog tests 0 inspect
17.5  33.3  .13 .21 16 .11  0  
float-newlib/float_req_bl_1211a.yml timeout .333  prog tests 1 inspect 900 920 150 12000 1.1  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 920 150 11000 .86 0     unknown prog tests 0 inspect
33.3  61.9  .12 .12 16 .082 0  
float-newlib/float_req_bl_1231.yml timeout .66   prog tests 7 inspect 900 920 150 12000 1.2  0     unknown prog tests 0 inspect
66.0  75.0  .14 .13 16 .21  0  
float-newlib/float_req_bl_1251.yml timeout .68   prog tests 7 inspect 900 920 150 12000 1.2  0     unknown prog tests 0 inspect
68.0  84.4  .16 .16 16 .21  0  
float-newlib/float_req_bl_1270a.yml error .239  prog tests 4 inspect 880 900 160 12000 1.0  0     unknown prog tests 0 inspect
23.9  32.8  .13 .13 16 .16  0  
float-newlib/float_req_bl_1270b.yml error .239  prog tests 4 inspect 880 900 160 13000 1.0  0     unknown prog tests 0 inspect
23.9  32.8  .16 .16 16 .16  0  
float-newlib/float_req_bl_1270c.yml error .239  prog tests 4 inspect 890 900 160 12000 .95 0     unknown prog tests 0 inspect
23.9  32.8  .13 .13 17 .16  0  
float-newlib/float_req_bl_1270d.yml error .239  prog tests 4 inspect 880 900 160 12000 .98 0     unknown prog tests 0 inspect
23.9  32.8  .13 .13 17 .16  0  
float-newlib/float_req_bl_1271a.yml error .208  prog tests 3 inspect 880 900 160 11000 .86 0     unknown prog tests 0 inspect
20.8  28.5  .14 .14 17 .14  0  
float-newlib/float_req_bl_1271b.yml error .208  prog tests 3 inspect 880 900 160 13000 .93 0     unknown prog tests 0 inspect
20.8  30.8  .13 .13 16 .14  0  
float-newlib/float_req_bl_1381.yml timeout .5    prog tests 1 inspect 900 920 150 13000 .82 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 9 inspect 900 920 160 11000 1.2  0     unknown prog tests 0 inspect
75.0  100    .15 .14 16 .21  0  
loop-floats-scientific-comp/loop1-2.yml error 1.0    prog tests 9 inspect 880 900 150 13000 11000    0     true prog tests 1 inspect
100    100    .25 .24 18 .21  0  
loop-floats-scientific-comp/loop2-1.yml error .8    prog tests 10 inspect 890 900 150 11000 10000    0     unknown prog tests 0 inspect
80.0  100    .18 .18 16 .23  0  
loop-floats-scientific-comp/loop2-2.yml timeout .7    prog tests 9 inspect 900 920 150 13000 1.2  0     unknown prog tests 0 inspect
70.0  100    .14 .14 16 .21  0  
loop-floats-scientific-comp/loop3.yml timeout .3    prog tests 9 inspect 900 920 150 11000 1.2  0     unknown prog tests 0 inspect
30.0  22.7  .15 .16 17 .21  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 90.2 190000 190000 38000 2400000 45000 .26 212 9020 12900 30 31 3500 40 0  
Run set verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Floats