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