Benchmark KLEE TBF Test-Suite Validator
Tool KLEE 2.0.0-pre-test-comp 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-05 21:09:47 CET 2019-02-06 06:16:47 CET
Run set klee.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-klee.test-comp19_prop-coverage-branches.ReachSafety-Floats
Options --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/klee.2019-02-05_2109.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 2 inspect .14 .16 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  17   .094 0  
floats-cdfpl/newton_1_2.yml done .5     prog tests 2 inspect .14 .16 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  17   .094 0  
floats-cdfpl/newton_1_3.yml done .5     prog tests 2 inspect .11 .13 20 1.2  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  16   .094 0  
floats-cdfpl/newton_1_4.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  17   .094 0  
floats-cdfpl/newton_1_5.yml done .5     prog tests 2 inspect .13 .15 21 1.0  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  16   .094 0  
floats-cdfpl/newton_1_6.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  16   .094 0  
floats-cdfpl/newton_1_7.yml done .5     prog tests 2 inspect .14 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  16   .094 0  
floats-cdfpl/newton_1_8.yml done .5     prog tests 2 inspect .13 .13 21 1.6  .016 0   unknown prog tests 0 inspect
50.0  90.9  .12  .12  16   .094 0  
floats-cdfpl/newton_2_1.yml done .5     prog tests 2 inspect .12 .13 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_2.yml done .5     prog tests 2 inspect .12 .14 22 1.3  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_3.yml done .5     prog tests 2 inspect .11 .13 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  91.7  .13  .13  16   .094 0  
floats-cdfpl/newton_2_4.yml done .5     prog tests 2 inspect .14 .16 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_5.yml done .5     prog tests 2 inspect .14 .14 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .14  16   .070 0  
floats-cdfpl/newton_2_6.yml done .5     prog tests 2 inspect .11 .13 21 2.0  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_7.yml done .5     prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .12  16   .094 0  
floats-cdfpl/newton_2_8.yml done .5     prog tests 2 inspect .12 .13 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  91.7  .12  .12  16   .094 0  
floats-cdfpl/newton_3_1.yml done .5     prog tests 2 inspect .13 .15 22 1.2  .016 0   unknown prog tests 0 inspect
50.0  92.3  .12  .13  16   .098 0  
floats-cdfpl/newton_3_2.yml done .5     prog tests 2 inspect .11 .11 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .098 0  
floats-cdfpl/newton_3_3.yml done .5     prog tests 2 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  92.3  .13  .13  16   .098 0  
floats-cdfpl/newton_3_4.yml done .5     prog tests 2 inspect .14 .16 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  17   .098 0  
floats-cdfpl/newton_3_5.yml done .5     prog tests 2 inspect .13 .15 22 1.4  .016 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .098 0  
floats-cdfpl/newton_3_6.yml done .5     prog tests 2 inspect .13 .15 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  92.3  .12  .14  17   .098 0  
floats-cdfpl/newton_3_7.yml done .5     prog tests 2 inspect .12 .14 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  92.3  .13  .13  16   .098 0  
floats-cdfpl/newton_3_8.yml done .5     prog tests 2 inspect .13 .15 21 1.4  .016 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .098 0  
floats-cdfpl/sine_1.yml done .5     prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  87.5  .12  .12  17   .094 0  
floats-cdfpl/sine_2.yml done .5     prog tests 2 inspect .12 .14 21 1.0  .016 0   unknown prog tests 0 inspect
50.0  87.5  .12  .12  16   .094 0  
floats-cdfpl/sine_3.yml done .5     prog tests 2 inspect .14 .16 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  87.5  .12  .12  16   .094 0  
floats-cdfpl/sine_4.yml done .5     prog tests 2 inspect .11 .13 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  87.5  .12  .11  16   .094 0  
floats-cdfpl/sine_5.yml done .5     prog tests 2 inspect .11 .11 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  87.5  .14  .14  16   .094 0  
floats-cdfpl/sine_6.yml done .5     prog tests 2 inspect .14 .16 21 1.0  .016 0   unknown prog tests 0 inspect
50.0  87.5  .12  .12  17   .094 0  
floats-cdfpl/sine_7.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  87.5  .13  .13  16   .094 0  
floats-cdfpl/sine_8.yml done .5     prog tests 2 inspect .12 .14 21 1.6  .016 0   unknown prog tests 0 inspect
50.0  87.5  .12  .12  16   .094 0  
floats-cdfpl/square_1.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  88.9  .12  .12  16   .094 0  
floats-cdfpl/square_2.yml done .5     prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  88.9  .12  .12  16   .094 0  
floats-cdfpl/square_3.yml done .5     prog tests 2 inspect .12 .14 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  88.9  .14  .14  16   .094 0  
floats-cdfpl/square_4.yml done .5     prog tests 2 inspect .13 .15 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  88.9  .12  .11  16   .094 0  
floats-cdfpl/square_5.yml done .5     prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  88.9  .12  .12  16   .094 0  
floats-cdfpl/square_6.yml done .5     prog tests 2 inspect .13 .15 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  88.9  .13  .12  16   .094 0  
floats-cdfpl/square_7.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  88.9  .12  .12  17   .094 0  
floats-cdfpl/square_8.yml done .5     prog tests 2 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  88.9  .14  .14  16   .094 0  
floats-cbmc-regression/float-no-simp2.yml unknown .0     prog tests 0 inspect .11 .11 21 1.2  .016 0   error (0) prog tests 0 inspect
0    0    .067 .067 8.9 0     0  
floats-cbmc-regression/float-to-double1.yml done .167   prog tests 2 inspect .13 .14 21 1.4  .016 0   unknown prog tests 0 inspect
16.7  100    .14  .14  17   .14  0  
floats-cbmc-regression/float12.yml done .5     prog tests 2 inspect .11 .13 21 2.2  .016 0   unknown prog tests 0 inspect
50.0  100    .12  .12  16   .086 0  
floats-cbmc-regression/float19.yml done .25    prog tests 2 inspect .12 .12 21 1.3  .016 0   unknown prog tests 0 inspect
25.0  87.5  .14  .14  16   .15  0  
floats-cbmc-regression/float20.yml done .0     prog tests 1 inspect .15 .17 22 1.2  .016 0   unknown prog tests 0 inspect
.00 19.2  .12  .13  16   .082 0  
floats-cbmc-regression/float3.yml done .875   prog tests 3 inspect .12 .14 21 1.1  .016 0   unknown prog tests 0 inspect
87.5  100    .12  .15  16   .11  0  
floats-cbmc-regression/float4.yml error (0) .5     prog tests 1 inspect .14 .16 22 1.4  .016 0   unknown prog tests 0 inspect
50.0  100    .14  .14  16   .082 0  
floats-cbmc-regression/float5.yml done .417   prog tests 1 inspect .11 .11 21 1.2  .016 0   unknown prog tests 0 inspect
41.7  42.9  .11  .13  16   .066 0  
floats-cbmc-regression/float6.yml done .0313  prog tests 1 inspect .12 .13 21 1.4  .016 0   unknown prog tests 0 inspect
3.13 17.6  .12  .12  17   .082 0  
floats-cbmc-regression/float8.yml unknown .0     prog tests 0 inspect .15 .17 21 1.0  .016 0   error (0) prog tests 0 inspect
0    0    .061 .061 8.9 0     0  
float-benchs/arctan_Pade.yml done .5     prog tests 2 inspect .13 .15 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  100    .13  .13  16   .10  0  
float-benchs/bary_diverge.yml timeout .562   prog tests 3 inspect 900    900    56 10000    .037 0   unknown prog tests 0 inspect
56.2  89.3  .13  .16  16   .12  0  
float-benchs/cast_float_ptr.yml done .5     prog tests 4 inspect .15 .17 21 1.1  .016 0   true prog tests 1 inspect
50.0  87.5  .13  .13  16   .13  0  
float-benchs/cast_float_union.yml done .5     prog tests 4 inspect .12 .13 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  83.3  .13  .14  16   .13  0  
float-benchs/cast_union_loose.yml done .6     prog tests 4 inspect .13 .15 21 1.1  .016 0   unknown prog tests 0 inspect
60.0  100    .13  .12  16   .13  0  
float-benchs/cast_union_tight.yml done .5     prog tests 2 inspect .13 .14 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  100    .12  .15  17   .094 0  
float-benchs/cos_polynomial.yml done .438   prog tests 2 inspect .15 .17 21 1.2  .016 0   unknown prog tests 0 inspect
43.8  71.4  .12  .12  16   .098 0  
float-benchs/divmul_buf_diverge.yml timeout .357   prog tests 5 inspect 900    900    9300 11000    .057 0   unknown prog tests 0 inspect
35.7  81.2  .13  .13  17   .15  0  
float-benchs/divmul_diverge.yml timeout .357   prog tests 5 inspect 900    900    9200 12000    .070 0   unknown prog tests 0 inspect
35.7  76.9  .14  .15  16   .15  0  
float-benchs/exp_loop.yml done .0417  prog tests 1 inspect .13 .15 21 1.6  .016 0   unknown prog tests 0 inspect
4.17 8.11 .12  .12  17   .082 0  
float-benchs/feedback_diverge.yml timeout .357   prog tests 5 inspect 900    900    8600 7800    .070 0   unknown prog tests 0 inspect
35.7  80.0  .13  .13  16   .15  0  
float-benchs/filter1.c.p+cfa-reducer.yml timeout .562   prog tests 4 inspect 900    900    8200 8600    .061 0   unknown prog tests 0 inspect
56.2  70.0  .13  .13  16   .13  0  
float-benchs/filter1.c.v+lhb-reducer.yml timeout .562   prog tests 7 inspect 930    930    4400 12000    .016 0   unknown prog tests 0 inspect
56.2  71.2  .15  .14  16   .20  0  
float-benchs/filter1.c.v+nlh-reducer.yml timeout .562   prog tests 7 inspect 900    900    9400 12000    .074 0   unknown prog tests 0 inspect
56.2  67.9  .14  .14  16   .20  0  
float-benchs/filter1.yml timeout .571   prog tests 4 inspect 900    900    7200 13000    .070 0   unknown prog tests 0 inspect
57.1  92.3  .13  .13  16   .13  0  
float-benchs/filter2.yml timeout .5     prog tests 3 inspect 900    900    52 11000    .041 0   unknown prog tests 0 inspect
50.0  94.4  .13  .15  16   .078 0  
float-benchs/filter2_alt.yml timeout .583   prog tests 3 inspect 900    900    53 11000    .049 0   unknown prog tests 0 inspect
58.3  100    .13  .12  16   .11  0  
float-benchs/filter2_reinit.yml timeout .545   prog tests 6 inspect 900    900    8800 9000    .066 0   unknown prog tests 0 inspect
54.5  95.7  .14  .14  17   .16  0  
float-benchs/filter2_set.yml done .025   prog tests 1 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
2.50 25.0  .12  .12  16   .086 0  
float-benchs/filter_iir.yml timeout .5     prog tests 1 inspect 900    900    52 11000    .045 0   unknown prog tests 0 inspect
50.0  100    .12  .22  16   .037 0  
float-benchs/float_int_inv_square.yml done .667   prog tests 3 inspect .11 .14 21 1.3  .016 0   unknown prog tests 0 inspect
66.7  100    .12  .15  16   .11  0  
float-benchs/image_filter.yml done .0326  prog tests 1 inspect .13 .15 21 1.6  .033 0   unknown prog tests 0 inspect
3.26 81.5  .14  .15  18   .17  0  
float-benchs/interpolation.c.p+cfa-reducer.yml done .125   prog tests 2 inspect .12 .14 21 .99 .016 0   unknown prog tests 0 inspect
12.5  29.7  .12  .12  16   .094 0  
float-benchs/interpolation.c.v+cfa-reducer.yml done .0625  prog tests 2 inspect .12 .14 21 1.4  .016 0   unknown prog tests 0 inspect
6.25 17.1  .12  .11  16   .094 0  
float-benchs/interpolation.c.v+nlh-reducer.yml done .0357  prog tests 2 inspect .12 .15 21 1.3  .016 0   unknown prog tests 0 inspect
3.57 12.0  .12  .13  16   .10  0  
float-benchs/interpolation.yml done .0714  prog tests 1 inspect .13 .15 22 1.2  .016 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 2 inspect .12 .14 21 1.4  .016 0   unknown prog tests 0 inspect
12.5  33.3  .12  .12  17   .094 0  
float-benchs/interpolation2.c.v+cfa-reducer.yml done .0625  prog tests 2 inspect .14 .16 21 1.1  .016 0   unknown prog tests 0 inspect
6.25 21.6  .12  .12  16   .094 0  
float-benchs/interpolation2.c.v+nlh-reducer.yml done .0357  prog tests 2 inspect .13 .15 21 1.0  .016 0   unknown prog tests 0 inspect
3.57 15.4  .12  .12  16   .10  0  
float-benchs/interpolation2.yml done .0714  prog tests 1 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
7.14 53.9  .13  .13  16   .078 0  
float-benchs/inv_Newton-1.yml done .0625  prog tests 1 inspect .13 .15 21 1.1  .016 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 .11 .11 21 1.3  .016 0   unknown prog tests 0 inspect
6.25 15.0  .12  .12  17   .082 0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml done .111   prog tests 2 inspect .12 .14 21 1.1  .016 0   unknown prog tests 0 inspect
11.1  17.6  .12  .12  16   .098 0  
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml done .0833  prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
8.33 12.1  .12  .14  16   .094 0  
float-benchs/inv_sqrt_Quake.yml done .1     prog tests 1 inspect .12 .14 21 1.1  .016 0   unknown prog tests 0 inspect
10.0  21.4  .12  .12  17   .078 0  
float-benchs/inv_square-1.yml done .375   prog tests 2 inspect .11 .13 21 1.5  .016 0   unknown prog tests 0 inspect
37.5  55.6  .12  .12  16   .094 0  
float-benchs/inv_square-2.yml done .4     prog tests 2 inspect .13 .15 21 1.1  .016 0   unknown prog tests 0 inspect
40.0  55.6  .12  .12  16   .094 0  
float-benchs/inv_square_int.yml done .667   prog tests 3 inspect .14 .16 21 1.3  .016 0   unknown prog tests 0 inspect
66.7  100    .12  .12  16   .11  0  
float-benchs/nan_double.yml done .5     prog tests 2 inspect .12 .14 21 1.1  .016 0   unknown prog tests 0 inspect
50.0  100    .12  .11  17   .094 0  
float-benchs/nan_double_range.yml done .5     prog tests 2 inspect .14 .16 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  100    .12  .12  17   .094 0  
float-benchs/nan_float.yml done .5     prog tests 2 inspect .12 .13 21 1.4  .016 0   unknown prog tests 0 inspect
50.0  100    .12  .11  16   .094 0  
float-benchs/nan_float_range.yml done .5     prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  100    .12  .12  17   .094 0  
float-benchs/rlim_exit.yml timeout .3     prog tests 2 inspect 900    900    55 9900    .049 0   unknown prog tests 0 inspect
30.0  73.3  .12  .13  17   .098 0  
float-benchs/rlim_invariant.c.p+cfa-reducer.yml timeout .458   prog tests 2 inspect 900    900    56 11000    .049 0   unknown prog tests 0 inspect
45.8  60.4  .12  .12  17   .098 0  
float-benchs/rlim_invariant.c.v+lhb-reducer.yml timeout .458   prog tests 3 inspect 900    900    52 9700    .053 0   unknown prog tests 0 inspect
45.8  62.5  .13  .13  16   .14  0  
float-benchs/rlim_invariant.c.v+nlh-reducer.yml timeout .458   prog tests 3 inspect 900    900    54 12000    .053 0   unknown prog tests 0 inspect
45.8  56.5  .14  .14  17   .14  0  
float-benchs/rlim_invariant.yml timeout .45    prog tests 2 inspect 900    900    56 12000    .049 0   unknown prog tests 0 inspect
45.0  86.7  .12  .12  16   .098 0  
float-benchs/sin_interpolated_bigrange_loose.yml done .5     prog tests 2 inspect .14 .16 21 1.1  .020 0   unknown prog tests 0 inspect
50.0  100    .13  .13  16   .13  0  
float-benchs/sin_interpolated_bigrange_tight.yml done .5     prog tests 2 inspect .13 .14 21 1.2  .020 0   unknown prog tests 0 inspect
50.0  100    .12  .12  16   .13  0  
float-benchs/sin_interpolated_index-1.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .020 0   unknown prog tests 0 inspect
50.0  100    .13  .13  16   .13  0  
float-benchs/sin_interpolated_index-2.yml done .5     prog tests 2 inspect .13 .15 21 1.1  .020 0   unknown prog tests 0 inspect
50.0  100    .13  .13  16   .13  0  
float-benchs/sin_interpolated_negation.yml done .167   prog tests 1 inspect .13 .15 21 1.1  .020 0   unknown prog tests 0 inspect
16.7  16.7  .13  .13  16   .10  0  
float-benchs/sin_interpolated_smallrange.yml done .167   prog tests 1 inspect .11 .11 21 1.6  .020 0   unknown prog tests 0 inspect
16.7  16.7  .12  .14  17   .10  0  
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml done .65    prog tests 1 inspect .12 .14 21 1.4  .016 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 .14 .16 21 1.2  .016 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 .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
8.33 19.2  .12  .12  17   .082 0  
float-benchs/sqrt_Newton_pseudoconstant.yml done .0833  prog tests 1 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
8.33 19.2  .12  .13  16   .082 0  
float-benchs/sqrt_biNewton_pseudoconstant.yml done .0833  prog tests 1 inspect .15 .17 21 1.4  .016 0   unknown prog tests 0 inspect
8.33 18.5  .12  .15  16   .082 0  
float-benchs/sqrt_poly.yml done .0833  prog tests 1 inspect .15 .16 21 .92 .016 0   unknown prog tests 0 inspect
8.33 37.5  .12  .12  16   .078 0  
float-benchs/sqrt_poly2.yml done .0833  prog tests 1 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
8.33 15.8  .11  .11  16   .082 0  
float-benchs/zonotope_3.c.p+cfa-reducer.yml timeout .286   prog tests 1 inspect 900    900    54 12000    .053 0   unknown prog tests 0 inspect
28.6  69.2  .12  .12  17   .078 0  
float-benchs/zonotope_3.c.v+lhb-reducer.yml timeout .465   prog tests 2 inspect 900    900    52 11000    .074 0   unknown prog tests 0 inspect
46.5  82.4  .14  .14  17   .16  0  
float-benchs/zonotope_3.yml timeout .25    prog tests 1 inspect 900    900    54 9300    .049 0   unknown prog tests 0 inspect
25.0  80.0  .12  .13  17   .082 0  
float-benchs/zonotope_loose.c.v+cfa-reducer.yml done .5     prog tests 2 inspect .12 .14 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  63.3  .12  .12  16   .094 0  
float-benchs/zonotope_loose.yml done .5     prog tests 2 inspect .13 .15 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  88.9  .13  .13  16   .094 0  
float-benchs/zonotope_tight.yml done .5     prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
50.0  88.9  .12  .12  17   .094 0  
float-newlib/double_req_bl_0281.yml done .0152  prog tests 2 inspect .13 .15 21 1.3  .025 0   unknown prog tests 0 inspect
1.52 2.84 .13  .13  17   .13  0  
float-newlib/double_req_bl_0320.yml done .0265  prog tests 4 inspect .17 .19 22 1.8  .049 0   unknown prog tests 0 inspect
2.65 5.48 .17  .17  18   .30  0  
float-newlib/double_req_bl_0460.yml done .0313  prog tests 2 inspect .13 .15 21 1.2  .025 0   unknown prog tests 0 inspect
3.13 2.88 .13  .13  17   .13  0  
float-newlib/double_req_bl_0660a.yml done .0135  prog tests 2 inspect .14 .16 22 1.3  .025 0   unknown prog tests 0 inspect
1.35 4.03 .14  .13  17   .13  0  
float-newlib/double_req_bl_0660b.yml done .0135  prog tests 2 inspect .13 .14 21 1.7  .025 0   unknown prog tests 0 inspect
1.35 4.03 .13  .15  16   .13  0  
float-newlib/double_req_bl_0661a.yml done .0132  prog tests 2 inspect .12 .12 21 1.6  .025 0   unknown prog tests 0 inspect
1.32 3.91 .13  .13  17   .14  0  
float-newlib/double_req_bl_0661b.yml done .0132  prog tests 2 inspect .13 .15 21 1.2  .025 0   unknown prog tests 0 inspect
1.32 3.91 .13  .14  17   .14  0  
float-newlib/double_req_bl_0662a.yml done .0135  prog tests 2 inspect .12 .14 21 1.3  .025 0   unknown prog tests 0 inspect
1.35 4.03 .13  .13  17   .13  0  
float-newlib/double_req_bl_0662b.yml done .0135  prog tests 2 inspect .15 .17 21 1.4  .025 0   unknown prog tests 0 inspect
1.35 4.03 .14  .14  17   .13  0  
float-newlib/double_req_bl_0663a.yml done .0135  prog tests 2 inspect .12 .14 21 1.4  .025 0   unknown prog tests 0 inspect
1.35 4.03 .14  .14  17   .13  0  
float-newlib/double_req_bl_0663b.yml done .0135  prog tests 2 inspect .12 .14 21 1.2  .025 0   unknown prog tests 0 inspect
1.35 4.03 .16  .16  17   .13  0  
float-newlib/double_req_bl_0670.yml done .0263  prog tests 2 inspect .12 .14 21 1.4  .025 0   unknown prog tests 0 inspect
2.63 4.80 .13  .13  17   .14  0  
float-newlib/double_req_bl_0682a.yml done .0513  prog tests 3 inspect .12 .14 21 1.6  .025 0   unknown prog tests 0 inspect
5.13 12.5  .14  .14  17   .16  0  
float-newlib/double_req_bl_0682b.yml done .0513  prog tests 3 inspect .15 .15 21 1.5  .025 0   unknown prog tests 0 inspect
5.13 12.5  .13  .13  16   .16  0  
float-newlib/double_req_bl_0683a.yml done .05    prog tests 3 inspect .14 .16 21 1.6  .025 0   unknown prog tests 0 inspect
5.00 12.1  .14  .14  17   .17  0  
float-newlib/double_req_bl_0683b.yml done .05    prog tests 3 inspect .14 .16 21 1.2  .025 0   unknown prog tests 0 inspect
5.00 12.1  .14  .18  17   .17  0  
float-newlib/double_req_bl_0684a.yml done .263   prog tests 10 inspect .12 .14 21 1.6  .025 0   unknown prog tests 0 inspect
26.3  36.0  .16  .16  17   .36  0  
float-newlib/double_req_bl_0684b.yml done .263   prog tests 10 inspect .16 .18 21 1.5  .025 0   unknown prog tests 0 inspect
26.3  36.0  .16  .16  16   .36  0  
float-newlib/double_req_bl_0832.yml done .2     prog tests 4 inspect .16 .18 21 1.1  .020 0   unknown prog tests 0 inspect
20.0  30.4  .13  .16  16   .15  0  
float-newlib/double_req_bl_0870a.yml done .0385  prog tests 4 inspect .13 .15 21 2.0  .041 0   unknown prog tests 0 inspect
3.85 6.29 .16  .16  18   .28  0  
float-newlib/double_req_bl_0870b.yml done .0054  prog tests 2 inspect .15 .16 21 1.3  .041 0   unknown prog tests 0 inspect
.54 1.50 .15  .15  18   .19  0  
float-newlib/double_req_bl_0872a.yml done .0111  prog tests 1 inspect .14 .16 21 1.4  .041 0   unknown prog tests 0 inspect
1.11 5.12 .15  .15  17   .14  0  
float-newlib/double_req_bl_0872b.yml done .0111  prog tests 1 inspect .14 .16 21 1.4  .041 0   unknown prog tests 0 inspect
1.11 5.12 .15  .15  17   .14  0  
float-newlib/double_req_bl_0874.yml done .0879  prog tests 7 inspect .14 .16 21 1.4  .041 0   unknown prog tests 0 inspect
8.79 12.6  .17  .17  17   .41  0  
float-newlib/double_req_bl_0876.yml done .0924  prog tests 7 inspect .15 .17 21 1.7  .041 0   unknown prog tests 0 inspect
9.24 11.3  .17  .16  18   .42  0  
float-newlib/double_req_bl_0882.yml done .0054  prog tests 2 inspect .15 .15 22 1.6  .041 0   unknown prog tests 0 inspect
.54 1.48 .15  .15  18   .19  0  
float-newlib/double_req_bl_0883.yml done .00550 prog tests 2 inspect .15 .17 21 1.6  .041 0   unknown prog tests 0 inspect
.55 1.47 .15  .14  18   .19  0  
float-newlib/double_req_bl_0920a.yml done .0357  prog tests 2 inspect .12 .14 21 1.3  .020 0   unknown prog tests 0 inspect
3.57 5.41 .13  .12  16   .11  0  
float-newlib/double_req_bl_0970a.yml done .0278  prog tests 2 inspect .15 .17 21 1.5  .025 0   unknown prog tests 0 inspect
2.78 4.40 .13  .13  17   .12  0  
float-newlib/double_req_bl_1121a.yml done .0323  prog tests 2 inspect .13 .15 21 1.6  .020 0   unknown prog tests 0 inspect
3.23 18.8  .15  .15  17   .11  0  
float-newlib/double_req_bl_1121b.yml done .0323  prog tests 2 inspect .13 .15 21 1.5  .020 0   unknown prog tests 0 inspect
3.23 18.8  .13  .12  16   .11  0  
float-newlib/double_req_bl_1122a.yml done .0645  prog tests 4 inspect .14 .16 21 1.1  .020 0   unknown prog tests 0 inspect
6.45 18.8  .14  .16  17   .16  0  
float-newlib/double_req_bl_1122b.yml done .0645  prog tests 4 inspect .13 .15 22 1.3  .020 0   unknown prog tests 0 inspect
6.45 18.8  .14  .14  17   .16  0  
float-newlib/double_req_bl_1130a.yml done .0294  prog tests 2 inspect .13 .14 21 1.4  .025 0   unknown prog tests 0 inspect
2.94 4.72 .13  .13  16   .12  0  
float-newlib/double_req_bl_1131a.yml done .125   prog tests 5 inspect .13 .14 21 1.5  .025 0   unknown prog tests 0 inspect
12.5  24.5  .13  .13  16   .20  0  
float-newlib/double_req_bl_1131b.yml done .125   prog tests 5 inspect .15 .17 21 1.5  .025 0   unknown prog tests 0 inspect
12.5  24.8  .17  .17  16   .19  0  
float-newlib/double_req_bl_1211a.yml done .312   prog tests 1 inspect .15 .16 21 1.0  .020 0   unknown prog tests 0 inspect
31.2  49.2  .13  .13  17   .086 0  
float-newlib/double_req_bl_1211b.yml done .312   prog tests 1 inspect .13 .15 21 1.2  .020 0   unknown prog tests 0 inspect
31.2  49.2  .12  .13  17   .086 0  
float-newlib/double_req_bl_1231b.yml done .425   prog tests 3 inspect .12 .14 21 1.6  .016 0   unknown prog tests 0 inspect
42.5  75.0  .13  .15  16   .13  0  
float-newlib/double_req_bl_1251b.yml done .425   prog tests 3 inspect .13 .14 21 1.3  .016 0   unknown prog tests 0 inspect
42.5  75.0  .13  .13  16   .13  0  
float-newlib/double_req_bl_1300.yml done .667   prog tests 5 inspect .11 .13 21 1.3  .016 0   unknown prog tests 0 inspect
66.7  95.0  .13  .13  16   .15  0  
float-newlib/float_req_bl_0281.yml done .0476  prog tests 2 inspect .13 .14 22 1.7  .025 0   unknown prog tests 0 inspect
4.76 3.88 .13  .13  16   .12  0  
float-newlib/float_req_bl_0460.yml done .05    prog tests 2 inspect .12 .13 21 1.2  .025 0   unknown prog tests 0 inspect
5.00 3.92 .13  .13  16   .12  0  
float-newlib/float_req_bl_0660a.yml done .0139  prog tests 2 inspect .15 .17 22 1.3  .025 0   unknown prog tests 0 inspect
1.39 4.27 .13  .13  17   .13  0  
float-newlib/float_req_bl_0660b.yml done .0143  prog tests 2 inspect .13 .14 21 1.5  .025 0   unknown prog tests 0 inspect
1.43 4.27 .13  .14  17   .13  0  
float-newlib/float_req_bl_0661a.yml done .0143  prog tests 2 inspect .12 .14 21 1.3  .025 0   unknown prog tests 0 inspect
1.43 4.27 .14  .14  16   .13  0  
float-newlib/float_req_bl_0661b.yml done .0143  prog tests 2 inspect .12 .14 21 1.5  .025 0   unknown prog tests 0 inspect
1.43 4.27 .13  .13  16   .13  0  
float-newlib/float_req_bl_0662a.yml done .0143  prog tests 2 inspect .13 .14 21 1.2  .025 0   unknown prog tests 0 inspect
1.43 4.27 .13  .15  16   .13  0  
float-newlib/float_req_bl_0662b.yml done .0143  prog tests 2 inspect .12 .14 21 1.3  .025 0   unknown prog tests 0 inspect
1.43 4.27 .13  .13  16   .13  0  
float-newlib/float_req_bl_0663a.yml done .0143  prog tests 2 inspect .14 .16 21 1.3  .025 0   unknown prog tests 0 inspect
1.43 4.27 .13  .13  16   .13  0  
float-newlib/float_req_bl_0663b.yml done .0143  prog tests 2 inspect .11 .13 21 1.4  .025 0   unknown prog tests 0 inspect
1.43 4.27 .13  .15  17   .13  0  
float-newlib/float_req_bl_0670.yml done .0278  prog tests 2 inspect .13 .14 22 1.3  .025 0   unknown prog tests 0 inspect
2.78 5.08 .13  .13  17   .13  0  
float-newlib/float_req_bl_0682a.yml done .0278  prog tests 3 inspect .13 .16 21 1.2  .025 0   unknown prog tests 0 inspect
2.78 8.20 .13  .15  17   .15  0  
float-newlib/float_req_bl_0682b.yml done .0278  prog tests 3 inspect .14 .17 21 1.4  .025 0   unknown prog tests 0 inspect
2.78 8.20 .13  .16  17   .15  0  
float-newlib/float_req_bl_0683a.yml done .0270  prog tests 3 inspect .14 .16 22 1.3  .025 0   unknown prog tests 0 inspect
2.70 7.94 .14  .14  17   .16  0  
float-newlib/float_req_bl_0683b.yml done .0270  prog tests 3 inspect .13 .14 21 1.5  .025 0   unknown prog tests 0 inspect
2.70 7.94 .14  .14  16   .16  0  
float-newlib/float_req_bl_0684a.yml done .171   prog tests 9 inspect .15 .17 21 1.2  .025 0   unknown prog tests 0 inspect
17.1  22.9  .16  .15  17   .30  0  
float-newlib/float_req_bl_0684b.yml done .171   prog tests 9 inspect .13 .15 22 1.3  .025 0   unknown prog tests 0 inspect
17.1  22.9  .17  .18  17   .30  0  
float-newlib/float_req_bl_0710.yml done .0385  prog tests 2 inspect .13 .15 21 1.2  .016 0   unknown prog tests 0 inspect
3.85 7.84 .12  .13  16   .10  0  
float-newlib/float_req_bl_0870a.yml done .0357  prog tests 4 inspect .13 .15 21 1.5  .041 0   unknown prog tests 0 inspect
3.57 5.67 .16  .19  17   .27  0  
float-newlib/float_req_bl_0870b.yml done .006   prog tests 2 inspect .13 .15 22 1.7  .041 0   unknown prog tests 0 inspect
.60 1.49 .15  .15  17   .18  0  
float-newlib/float_req_bl_0872a.yml done .012   prog tests 1 inspect .14 .16 21 1.5  .041 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 .15 .17 21 1.5  .041 0   unknown prog tests 0 inspect
1.20 4.50 .16  .16  17   .14  0  
float-newlib/float_req_bl_0874.yml done .0595  prog tests 6 inspect .17 .19 21 1.5  .041 0   unknown prog tests 0 inspect
5.95 9.73 .16  .19  17   .36  0  
float-newlib/float_req_bl_0875.yml done .0059  prog tests 2 inspect .14 .16 22 1.7  .041 0   unknown prog tests 0 inspect
.59 3.25 .15  .16  17   .18  0  
float-newlib/float_req_bl_0876.yml done .0647  prog tests 6 inspect .13 .13 21 1.4  .041 0   unknown prog tests 0 inspect
6.47 9.47 .16  .17  17   .36  0  
float-newlib/float_req_bl_0877.yml done .006   prog tests 2 inspect .15 .16 21 1.3  .045 0   unknown prog tests 0 inspect
.60 3.21 .15  .15  18   .18  0  
float-newlib/float_req_bl_0880.yml done .0053  prog tests 2 inspect .15 .17 21 1.4  .045 0   unknown prog tests 0 inspect
.53 1.37 .15  .15  18   .19  0  
float-newlib/float_req_bl_0881.yml done .0053  prog tests 2 inspect .15 .18 21 1.5  .045 0   unknown prog tests 0 inspect
.53 1.37 .16  .16  18   .19  0  
float-newlib/float_req_bl_0883.yml done .006   prog tests 2 inspect .15 .17 21 1.7  .041 0   unknown prog tests 0 inspect
.60 1.47 .17  .17  17   .18  0  
float-newlib/float_req_bl_0920a.yml done .0357  prog tests 2 inspect .12 .14 21 1.6  .020 0   unknown prog tests 0 inspect
3.57 5.71 .13  .13  16   .11  0  
float-newlib/float_req_bl_0970a.yml done .0278  prog tests 2 inspect .12 .14 21 1.9  .025 0   unknown prog tests 0 inspect
2.78 4.55 .13  .15  17   .12  0  
float-newlib/float_req_bl_1121a.yml done .0526  prog tests 2 inspect .11 .13 21 1.7  .020 0   unknown prog tests 0 inspect
5.26 26.6  .12  .12  17   .11  0  
float-newlib/float_req_bl_1121b.yml done .0526  prog tests 2 inspect .12 .12 21 1.3  .020 0   unknown prog tests 0 inspect
5.26 26.6  .12  .12  17   .11  0  
float-newlib/float_req_bl_1122a.yml done .105   prog tests 4 inspect .12 .14 21 1.3  .020 0   unknown prog tests 0 inspect
10.5  26.6  .13  .13  17   .15  0  
float-newlib/float_req_bl_1122b.yml done .105   prog tests 4 inspect .12 .14 21 1.4  .020 0   unknown prog tests 0 inspect
10.5  26.6  .15  .15  16   .15  0  
float-newlib/float_req_bl_1130a.yml done .0455  prog tests 2 inspect .12 .12 22 1.5  .020 0   unknown prog tests 0 inspect
4.55 7.35 .13  .13  17   .11  0  
float-newlib/float_req_bl_1130b.yml done .0455  prog tests 2 inspect .12 .14 21 1.6  .020 0   unknown prog tests 0 inspect
4.55 7.35 .13  .15  16   .11  0  
float-newlib/float_req_bl_1131a.yml done .15    prog tests 5 inspect .14 .15 22 1.3  .020 0   unknown prog tests 0 inspect
15.0  33.3  .14  .14  16   .17  0  
float-newlib/float_req_bl_1131b.yml done .15    prog tests 5 inspect .12 .14 21 1.5  .020 0   unknown prog tests 0 inspect
15.0  33.3  .13  .13  16   .17  0  
float-newlib/float_req_bl_1211a.yml done .333   prog tests 1 inspect .13 .15 21 1.0  .016 0   unknown prog tests 0 inspect
33.3  61.9  .12  .12  17   .082 0  
float-newlib/float_req_bl_1211b.yml done .333   prog tests 1 inspect .14 .16 21 1.4  .016 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 3 inspect .12 .14 21 1.4  .016 0   unknown prog tests 0 inspect
6.00 19.4  .12  .12  17   .13  0  
float-newlib/float_req_bl_1251.yml done .06    prog tests 3 inspect .15 .16 21 1.3  .016 0   unknown prog tests 0 inspect
6.00 21.9  .13  .13  16   .13  0  
float-newlib/float_req_bl_1270a.yml done .0652  prog tests 6 inspect .13 .15 21 1.3  .025 0   unknown prog tests 0 inspect
6.52 21.9  .15  .15  17   .21  0  
float-newlib/float_req_bl_1270b.yml done .0652  prog tests 6 inspect .12 .12 21 1.5  .025 0   unknown prog tests 0 inspect
6.52 21.9  .14  .13  17   .21  0  
float-newlib/float_req_bl_1270c.yml done .0652  prog tests 5 inspect .14 .16 21 1.2  .025 0   unknown prog tests 0 inspect
6.52 24.2  .14  .14  17   .19  0  
float-newlib/float_req_bl_1270d.yml done .0652  prog tests 5 inspect .12 .14 21 1.3  .025 0   unknown prog tests 0 inspect
6.52 24.2  .14  .14  16   .19  0  
float-newlib/float_req_bl_1271a.yml done .0833  prog tests 9 inspect .13 .15 21 1.3  .025 0   unknown prog tests 0 inspect
8.33 23.1  .15  .15  16   .29  0  
float-newlib/float_req_bl_1271b.yml done .0833  prog tests 9 inspect .14 .15 21 1.3  .025 0   unknown prog tests 0 inspect
8.33 25.4  .15  .14  16   .29  0  
float-newlib/float_req_bl_1381.yml done .5     prog tests 1 inspect .12 .14 21 1.3  .016 0   unknown prog tests 0 inspect
50.0  93.8  .11  .11  16   .078 0  
loop-floats-scientific-comp/loop1-1.yml timeout .75    prog tests 4 inspect 900    900    74 8000    .016 0   unknown prog tests 0 inspect
75.0  100    .13  .13  17   .13  0  
loop-floats-scientific-comp/loop1-2.yml timeout .75    prog tests 4 inspect 900    900    76 8200    .016 0   unknown prog tests 0 inspect
75.0  100    .13  .13  16   .13  0  
loop-floats-scientific-comp/loop2-1.yml done .1     prog tests 1 inspect .14 .16 21 1.2  .016 0   unknown prog tests 0 inspect
10.0  19.1  .11  .11  17   .078 0  
loop-floats-scientific-comp/loop2-2.yml done .1     prog tests 1 inspect .12 .14 21 1.5  .016 0   unknown prog tests 0 inspect
10.0  19.1  .11  .11  16   .078 0  
loop-floats-scientific-comp/loop3.yml done .1     prog tests 1 inspect .13 .15 21 1.1  .016 0   unknown prog tests 0 inspect
10.0  22.7  .12  .14  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 54.4 20000 20000 70000 230000 5.2 0   212 5440 10100 28 28 3500 27 0  
Run set klee.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-klee.test-comp19_prop-coverage-branches.ReachSafety-Floats