Benchmark CPA/CoVeriTest TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30375 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* [apollon049; apollon085; apollon116]
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:05:56 CET 2019-02-06 05:30:26 CET
Run set coveritest.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-branches.ReachSafety-Floats
Options -benchmark -heap 10000M -testcomp19 --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/coveritest.2019-02-05_2105.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
floats-cdfpl/newton_1_1.yml timeout .833  prog tests 5 inspect 900   900   640 6300 .033  0   unknown prog tests 0 inspect
83.3  90.9  .13  .13  17   .14  0  
floats-cdfpl/newton_1_2.yml timeout .833  prog tests 5 inspect 900   900   620 9600 .033  0   unknown prog tests 0 inspect
83.3  90.9  .13  .13  17   .14  0  
floats-cdfpl/newton_1_3.yml timeout .833  prog tests 5 inspect 900   900   630 7800 .033  0   unknown prog tests 0 inspect
83.3  90.9  .14  .14  17   .14  0  
floats-cdfpl/newton_1_4.yml done 1.0    prog tests 6 inspect 94   92   380 800 .033  0   true prog tests 1 inspect
100    100    .16  .16  16   .16  0  
floats-cdfpl/newton_1_5.yml done 1.0    prog tests 6 inspect 77   75   390 570 .033  0   true prog tests 1 inspect
100    100    .15  .15  16   .16  0  
floats-cdfpl/newton_1_6.yml done 1.0    prog tests 6 inspect 64   61   380 600 .033  0   true prog tests 1 inspect
100    100    .15  .15  16   .16  0  
floats-cdfpl/newton_1_7.yml done 1.0    prog tests 6 inspect 42   39   380 320 .033  0   true prog tests 1 inspect
100    100    .17  .16  16   .16  0  
floats-cdfpl/newton_1_8.yml done 1.0    prog tests 6 inspect 36   33   380 280 .033  0   true prog tests 1 inspect
100    100    .14  .13  16   .16  0  
floats-cdfpl/newton_2_1.yml timeout .833  prog tests 5 inspect 900   900   570 7100 .025  0   unknown prog tests 0 inspect
83.3  91.7  .15  .15  16   .14  0  
floats-cdfpl/newton_2_2.yml timeout .833  prog tests 5 inspect 900   900   870 6500 .025  0   unknown prog tests 0 inspect
83.3  91.7  .13  .13  16   .14  0  
floats-cdfpl/newton_2_3.yml timeout .833  prog tests 5 inspect 900   900   570 6000 .025  0   unknown prog tests 0 inspect
83.3  91.7  .13  .14  16   .13  0  
floats-cdfpl/newton_2_4.yml timeout .833  prog tests 5 inspect 900   900   620 7700 .025  0   unknown prog tests 0 inspect
83.3  91.7  .14  .14  16   .14  0  
floats-cdfpl/newton_2_5.yml timeout .833  prog tests 5 inspect 900   900   630 7200 .033  0   unknown prog tests 0 inspect
83.3  91.7  .13  .13  16   .14  0  
floats-cdfpl/newton_2_6.yml done 1.0    prog tests 6 inspect 79   77   480 780 .025  0   true prog tests 1 inspect
100    100    .14  .14  16   .16  0  
floats-cdfpl/newton_2_7.yml done 1.0    prog tests 6 inspect 130   120   500 1300 .025  0   true prog tests 1 inspect
100    100    .13  .13  16   .16  0  
floats-cdfpl/newton_2_8.yml done 1.0    prog tests 6 inspect 63   60   500 410 .033  0   true prog tests 1 inspect
100    100    .14  .18  16   .16  0  
floats-cdfpl/newton_3_1.yml timeout .833  prog tests 5 inspect 900   900   660 6100 .033  0   unknown prog tests 0 inspect
83.3  92.3  .13  .13  16   .15  0  
floats-cdfpl/newton_3_2.yml timeout .833  prog tests 5 inspect 900   900   620 6300 .033  0   unknown prog tests 0 inspect
83.3  92.3  .13  .13  16   .15  0  
floats-cdfpl/newton_3_3.yml timeout .833  prog tests 5 inspect 900   900   750 5700 .033  0   unknown prog tests 0 inspect
83.3  92.3  .15  .15  17   .15  0  
floats-cdfpl/newton_3_4.yml timeout .833  prog tests 5 inspect 900   900   730 5900 .033  0   unknown prog tests 0 inspect
83.3  92.3  .13  .13  16   .15  0  
floats-cdfpl/newton_3_5.yml timeout .833  prog tests 5 inspect 900   900   630 7200 .025  0   unknown prog tests 0 inspect
83.3  92.3  .13  .13  16   .15  0  
floats-cdfpl/newton_3_6.yml done 1.0    prog tests 6 inspect 320   310   610 2300 .033  0   true prog tests 1 inspect
100    100    .14  .14  16   .16  0  
floats-cdfpl/newton_3_7.yml done 1.0    prog tests 6 inspect 220   220   560 1700 .025  0   true prog tests 1 inspect
100    100    .13  .13  16   .16  0  
floats-cdfpl/newton_3_8.yml done 1.0    prog tests 6 inspect 68   66   650 740 .025  0   true prog tests 1 inspect
100    100    .14  .14  16   .16  0  
floats-cdfpl/sine_1.yml done 1.0    prog tests 7 inspect 610   600   610 5300 .029  0   true prog tests 1 inspect
100    100    .14  .13  16   .18  0  
floats-cdfpl/sine_2.yml timeout .875  prog tests 6 inspect 900   900   500 7100 .020  0   true prog tests 1 inspect
87.5  100    .13  .13  16   .16  0  
floats-cdfpl/sine_3.yml done 1.0    prog tests 7 inspect 67   64   350 650 .020  0   true prog tests 1 inspect
100    100    .13  .14  17   .18  0  
floats-cdfpl/sine_4.yml timeout .75   prog tests 4 inspect 900   900   590 6200 .020  0   unknown prog tests 0 inspect
75.0  87.5  .13  .13  17   .13  0  
floats-cdfpl/sine_5.yml timeout .75   prog tests 4 inspect 900   900   430 5700 .020  0   unknown prog tests 0 inspect
75.0  87.5  .13  .13  16   .13  0  
floats-cdfpl/sine_6.yml timeout .75   prog tests 4 inspect 900   900   650 7300 .020  0   unknown prog tests 0 inspect
75.0  87.5  .13  .13  16   .13  0  
floats-cdfpl/sine_7.yml timeout .75   prog tests 4 inspect 900   900   680 5900 .020  0   unknown prog tests 0 inspect
75.0  87.5  .12  .12  16   .13  0  
floats-cdfpl/sine_8.yml timeout .75   prog tests 5 inspect 900   900   590 7400 .029  0   unknown prog tests 0 inspect
75.0  87.5  .13  .13  16   .14  0  
floats-cdfpl/square_1.yml done .875  prog tests 6 inspect 29   26   360 390 .037  0   true prog tests 1 inspect
87.5  100    .14  .14  16   .16  0  
floats-cdfpl/square_2.yml done .875  prog tests 6 inspect 130   120   1800 1400 .037  0   true prog tests 1 inspect
87.5  100    .13  .13  17   .16  0  
floats-cdfpl/square_3.yml done .875  prog tests 6 inspect 200   190   1700 1700 .037  0   true prog tests 1 inspect
87.5  100    .13  .13  16   .16  0  
floats-cdfpl/square_4.yml done .75   prog tests 5 inspect 370   370   470 3600 .041  0   unknown prog tests 0 inspect
75.0  88.9  .13  .13  16   .14  0  
floats-cdfpl/square_5.yml timeout .75   prog tests 5 inspect 900   900   600 6900 .033  0   unknown prog tests 0 inspect
75.0  88.9  .13  .13  16   .14  0  
floats-cdfpl/square_6.yml done .75   prog tests 5 inspect 650   640   630 3700 .041  0   unknown prog tests 0 inspect
75.0  88.9  .13  .14  16   .14  0  
floats-cdfpl/square_7.yml done .75   prog tests 5 inspect 260   260   460 1900 .041  0   unknown prog tests 0 inspect
75.0  88.9  .13  .13  16   .14  0  
floats-cdfpl/square_8.yml done .75   prog tests 5 inspect 40   37   360 510 .049  0   unknown prog tests 0 inspect
75.0  88.9  .13  .13  16   .14  0  
floats-cbmc-regression/float-no-simp2.yml done .5    prog tests 10 inspect 30   19   400 360 .18   0   unknown prog tests 0 inspect
50.0  100    .17  .17  16   .74  0  
floats-cbmc-regression/float-to-double1.yml done .167  prog tests 4 inspect 24   16   1700 290 .012  0   unknown prog tests 0 inspect
16.7  100    .15  .15  16   .28  0  
floats-cbmc-regression/float12.yml done .75   prog tests 2 inspect 23   18   1300 240 .012  0   unknown prog tests 0 inspect
75.0  100    .12  .12  17   .086 0  
floats-cbmc-regression/float19.yml done .25   prog tests 3 inspect 23   16   1500 270 .016  0   unknown prog tests 0 inspect
25.0  87.5  .15  .15  16   .22  0  
floats-cbmc-regression/float20.yml done .5    prog tests 6 inspect 5.8 3.1 290 63 .053  0   unknown prog tests 0 inspect
50.0  100    .14  .14  16   .16  0  
floats-cbmc-regression/float3.yml done .875  prog tests 3 inspect 3.7 1.7 260 36 .016  0   unknown prog tests 0 inspect
87.5  100    .12  .12  17   .11  0  
floats-cbmc-regression/float4.yml done .5    prog tests 17 inspect 40   32   380 430 .11   0   unknown prog tests 0 inspect
50.0  100    .21  .20  16   1.3   0  
floats-cbmc-regression/float5.yml exception .667  prog tests 6 inspect 4.6 2.0 280 37 .033  0   unknown prog tests 0 inspect
66.7  100    .14  .13  16   .16  0  
floats-cbmc-regression/float6.yml done .562  prog tests 21 inspect 8.4 3.0 430 73 .21   0   unknown prog tests 0 inspect
56.2  100    .19  .18  17   .41  0  
floats-cbmc-regression/float8.yml done .5    prog tests 2 inspect 27   20   1500 310 .012  0   unknown prog tests 0 inspect
50.0  100    .15  .15  16   .14  0  
float-benchs/arctan_Pade.yml done .786  prog tests 10 inspect 180   170   650 2200 .074  0   unknown prog tests 0 inspect
78.6  100    .15  .15  16   .23  0  
float-benchs/bary_diverge.yml timeout .75   prog tests 11 inspect 900   860   1200 11000 9.9    0   unknown prog tests 0 inspect
75.0  96.4  .15  .15  17   .25  0  
float-benchs/cast_float_ptr.yml done .167  prog tests 10 inspect 5.0 2.2 280 49 .070  0   unknown prog tests 0 inspect
16.7  68.8  .15  .17  16   .23  0  
float-benchs/cast_float_union.yml done .25   prog tests 4 inspect 22   17   1500 290 .016  0   unknown prog tests 0 inspect
25.0  72.2  .13  .14  16   .13  0  
float-benchs/cast_union_loose.yml done .7    prog tests 9 inspect 6.0 3.0 290 60 .057  0   unknown prog tests 0 inspect
70.0  100    .17  .16  16   .21  0  
float-benchs/cast_union_tight.yml done .5    prog tests 2 inspect 4.2 2.1 270 42 .016  0   unknown prog tests 0 inspect
50.0  100    .12  .12  17   .094 0  
float-benchs/cos_polynomial.yml timeout .75   prog tests 9 inspect 900   900   1000 5700 .070  0   unknown prog tests 0 inspect
75.0  95.2  .15  .15  16   .21  0  
float-benchs/divmul_buf_diverge.yml timeout .5    prog tests 7 inspect 900   880   1100 7300 .057  0   unknown prog tests 0 inspect
50.0  81.2  .14  .14  16   .18  0  
float-benchs/divmul_diverge.yml timeout .5    prog tests 7 inspect 900   880   1000 8800 .057  0   unknown prog tests 0 inspect
50.0  76.9  .14  .14  16   .18  0  
float-benchs/exp_loop.yml timeout .792  prog tests 12 inspect 900   830   4900 7900 43      0   unknown prog tests 0 inspect
79.2  97.3  .16  .19  17   .26  0  
float-benchs/feedback_diverge.yml timeout .5    prog tests 7 inspect 900   880   1000 6800 .057  0   unknown prog tests 0 inspect
50.0  80.0  .14  .14  16   .18  0  
float-benchs/filter1.c.p+cfa-reducer.yml timeout .75   prog tests 10 inspect 900   870   1100 12000 5.2    0   unknown prog tests 0 inspect
75.0  82.5  .16  .15  17   .23  0  
float-benchs/filter1.c.v+lhb-reducer.yml timeout .719  prog tests 19 inspect 900   870   1400 12000 5.4    0   unknown prog tests 0 inspect
71.9  80.0  .18  .17  16   .45  0  
float-benchs/filter1.c.v+nlh-reducer.yml timeout .719  prog tests 19 inspect 900   860   1300 11000 5.4    0   unknown prog tests 0 inspect
71.9  79.8  .19  .19  17   .45  0  
float-benchs/filter1.yml timeout .714  prog tests 9 inspect 900   870   1000 12000 3.1    0   unknown prog tests 0 inspect
71.4  92.3  .14  .14  16   .21  0  
float-benchs/filter2.yml timeout .8    prog tests 15 inspect 900   890   800 11000 .54   0   unknown prog tests 0 inspect
80.0  94.4  .17  .16  16   .31  0  
float-benchs/filter2_alt.yml timeout .75   prog tests 8 inspect 900   880   1100 10000 .58   0   unknown prog tests 0 inspect
75.0  100    .15  .15  16   .20  0  
float-benchs/filter2_reinit.yml timeout .818  prog tests 17 inspect 900   890   680 8100 .55   0   unknown prog tests 0 inspect
81.8  95.7  .21  .20  16   .34  0  
float-benchs/filter2_set.yml timeout .9    prog tests 33 inspect 900   890   810 11000 .30   0   unknown prog tests 0 inspect
90.0  96.4  .25  .23  16   .61  0  
float-benchs/filter_iir.yml timeout .7    prog tests 4 inspect 900   900   1200 13000 .041  0   unknown prog tests 0 inspect
70.0  100    .14  .14  17   .13  0  
float-benchs/float_int_inv_square.yml done 1.0    prog tests 6 inspect 4.3 2.0 270 41 .025  0   true prog tests 1 inspect
100    100    .14  .17  16   .16  0  
float-benchs/image_filter.yml timeout .0    prog tests 0 inspect 900   890   2900 11000 .18   0   error (0) prog tests 0 inspect
0    0    .069 .070 9.0 0     0  
float-benchs/interpolation.c.p+cfa-reducer.yml timeout .75   prog tests 9 inspect 900   850   1200 8900 6.1    0   unknown prog tests 0 inspect
75.0  81.1  .15  .14  16   .21  0  
float-benchs/interpolation.c.v+cfa-reducer.yml timeout .688  prog tests 8 inspect 900   870   1600 8500 6.1    0   unknown prog tests 0 inspect
68.8  77.1  .14  .14  17   .19  0  
float-benchs/interpolation.c.v+nlh-reducer.yml timeout .714  prog tests 14 inspect 900   860   1500 11000 6.4    0   unknown prog tests 0 inspect
71.4  78.0  .17  .16  16   .35  0  
float-benchs/interpolation.yml timeout .714  prog tests 8 inspect 900   860   1500 9900 6.0    0   unknown prog tests 0 inspect
71.4  100    .14  .14  17   .19  0  
float-benchs/interpolation2.c.p+cfa-reducer.yml timeout .75   prog tests 9 inspect 900   870   1300 12000 3.2    0   unknown prog tests 0 inspect
75.0  82.0  .15  .14  16   .21  0  
float-benchs/interpolation2.c.v+cfa-reducer.yml timeout .688  prog tests 8 inspect 900   860   1400 7900 3.1    0   unknown prog tests 0 inspect
68.8  78.4  .14  .14  16   .19  0  
float-benchs/interpolation2.c.v+nlh-reducer.yml timeout .714  prog tests 14 inspect 900   870   1300 8300 3.2    0   unknown prog tests 0 inspect
71.4  78.8  .18  .17  16   .35  0  
float-benchs/interpolation2.yml timeout .714  prog tests 8 inspect 900   870   1200 8800 3.1    0   unknown prog tests 0 inspect
71.4  100    .15  .15  16   .19  0  
float-benchs/inv_Newton-1.yml timeout .812  prog tests 5 inspect 900   890   1700 11000 .098  0   unknown prog tests 0 inspect
81.2  100    .13  .15  16   .15  0  
float-benchs/inv_Newton-2.yml timeout .688  prog tests 13 inspect 900   890   1700 9800 .16   0   true prog tests 1 inspect
68.8  95.0  .17  .17  16   .28  0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml timeout .722  prog tests 14 inspect 900   890   1800 13000 .20   0   true prog tests 1 inspect
72.2  88.2  .16  .16  16   .34  0  
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml done .667  prog tests 6 inspect 28   24   400 270 .12   0   unknown prog tests 0 inspect
66.7  78.8  .13  .14  16   .16  0  
float-benchs/inv_sqrt_Quake.yml done .7    prog tests 6 inspect 120   110   1400 1600 .37   0   unknown prog tests 0 inspect
70.0  100    .14  .13  16   .16  0  
float-benchs/inv_square-1.yml done 1.0    prog tests 7 inspect 4.5 2.1 280 46 .033  0   true prog tests 1 inspect
100    100    .14  .14  16   .18  0  
float-benchs/inv_square-2.yml done .9    prog tests 7 inspect 23   17   1500 250 .033  0   unknown prog tests 0 inspect
90.0  100    .13  .13  17   .18  0  
float-benchs/inv_square_int.yml done .833  prog tests 5 inspect 23   17   1500 240 .020  0   unknown prog tests 0 inspect
83.3  100    .13  .13  17   .14  0  
float-benchs/nan_double.yml done .5    prog tests 2 inspect 3.4 1.5 260 32 .0082 0   unknown prog tests 0 inspect
50.0  100    .12  .12  17   .094 0  
float-benchs/nan_double_range.yml done .833  prog tests 4 inspect 23   16   1700 270 .020  0   unknown prog tests 0 inspect
83.3  100    .13  .13  17   .13  0  
float-benchs/nan_float.yml done .5    prog tests 2 inspect 3.4 1.5 270 33 .0082 0   unknown prog tests 0 inspect
50.0  100    .11  .11  16   .094 0  
float-benchs/nan_float_range.yml done .5    prog tests 4 inspect 23   16   1400 270 .020  0   unknown prog tests 0 inspect
50.0  100    .13  .13  16   .13  0  
float-benchs/rlim_exit.yml timeout .65   prog tests 12 inspect 900   880   1100 14000 .098  0   unknown prog tests 0 inspect
65.0  80.0  .17  .16  16   .26  0  
float-benchs/rlim_invariant.c.p+cfa-reducer.yml timeout .667  prog tests 16 inspect 900   860   2200 10000 14      0   unknown prog tests 0 inspect
66.7  75.5  .17  .17  16   .39  0  
float-benchs/rlim_invariant.c.v+lhb-reducer.yml timeout .667  prog tests 30 inspect 900   840   1800 10000 14      0   unknown prog tests 0 inspect
66.7  76.0  .26  .25  16   .80  0  
float-benchs/rlim_invariant.c.v+nlh-reducer.yml timeout .667  prog tests 30 inspect 900   850   2700 9300 15      0   unknown prog tests 0 inspect
66.7  73.0  .24  .25  16   .80  0  
float-benchs/rlim_invariant.yml timeout .8    prog tests 14 inspect 900   850   2200 9900 9.6    0   unknown prog tests 0 inspect
80.0  93.3  .17  .16  16   .29  0  
float-benchs/sin_interpolated_bigrange_loose.yml timeout .812  prog tests 10 inspect 900   890   1200 8200 .057  0   unknown prog tests 0 inspect
81.2  100    .16  .16  17   .32  0  
float-benchs/sin_interpolated_bigrange_tight.yml timeout .812  prog tests 10 inspect 900   890   1000 8400 .057  0   unknown prog tests 0 inspect
81.2  100    .16  .16  16   .32  0  
float-benchs/sin_interpolated_index-1.yml done .938  prog tests 14 inspect 30   23   500 330 .057  0   true prog tests 1 inspect
93.8  100    .18  .19  16   .42  0  
float-benchs/sin_interpolated_index-2.yml timeout .812  prog tests 12 inspect 900   880   1700 7700 .18   0   unknown prog tests 0 inspect
81.2  100    .16  .16  17   .37  0  
float-benchs/sin_interpolated_negation.yml timeout .667  prog tests 6 inspect 900   870   1700 12000 3.3    0   unknown prog tests 0 inspect
66.7  95.8  .16  .16  16   .23  0  
float-benchs/sin_interpolated_smallrange.yml timeout .611  prog tests 10 inspect 900   880   1700 8500 1.2    0   unknown prog tests 0 inspect
61.1  83.3  .17  .17  16   .32  0  
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml done .65   prog tests 11 inspect 220   200   2900 2700 1.8    0   unknown prog tests 0 inspect
65.0  82.3  .17  .17  16   .28  0  
float-benchs/sqrt_Householder_interval.yml timeout .682  prog tests 9 inspect 900   900   750 12000 .082  0   unknown prog tests 0 inspect
68.2  100    .15  .17  16   .21  0  
float-benchs/sqrt_Householder_pseudoconstant.yml timeout .625  prog tests 9 inspect 900   890   910 9700 .23   0   unknown prog tests 0 inspect
62.5  96.2  .14  .14  16   .21  0  
float-benchs/sqrt_Newton_pseudoconstant.yml timeout .625  prog tests 9 inspect 900   890   870 12000 .23   0   unknown prog tests 0 inspect
62.5  96.2  .15  .14  16   .21  0  
float-benchs/sqrt_biNewton_pseudoconstant.yml timeout .625  prog tests 9 inspect 900   890   950 10000 .23   0   unknown prog tests 0 inspect
62.5  96.3  .15  .15  16   .21  0  
float-benchs/sqrt_poly.yml done .75   prog tests 7 inspect 130   120   1300 1400 .094  0   unknown prog tests 0 inspect
75.0  100    .14  .14  17   .18  0  
float-benchs/sqrt_poly2.yml done .917  prog tests 10 inspect 170   170   570 1600 .049  0   true prog tests 1 inspect
91.7  100    .15  .15  16   .23  0  
float-benchs/zonotope_3.c.p+cfa-reducer.yml timeout .5    prog tests 6 inspect 900   880   1000 9600 .074  0   unknown prog tests 0 inspect
50.0  76.9  .14  .13  17   .18  0  
float-benchs/zonotope_3.c.v+lhb-reducer.yml timeout .709  prog tests 51 inspect 900   870   1300 14000 .88   0   unknown prog tests 0 inspect
70.9  89.5  .34  .36  17   2.4   0  
float-benchs/zonotope_3.yml timeout .417  prog tests 5 inspect 900   880   1300 8300 .041  0   unknown prog tests 0 inspect
41.7  80.0  .13  .13  16   .15  0  
float-benchs/zonotope_loose.c.v+cfa-reducer.yml done .714  prog tests 8 inspect 24   18   480 270 .27   0   unknown prog tests 0 inspect
71.4  76.7  .14  .14  16   .19  0  
float-benchs/zonotope_loose.yml done .75   prog tests 8 inspect 120   100   1500 1500 .38   0   unknown prog tests 0 inspect
75.0  100    .16  .16  16   .19  0  
float-benchs/zonotope_tight.yml done .75   prog tests 8 inspect 120   110   1500 1600 .38   0   unknown prog tests 0 inspect
75.0  100    .14  .13  16   .19  0  
float-newlib/double_req_bl_0281.yml done .0455 prog tests 2 inspect 23   18   1500 260 .0082 0   unknown prog tests 0 inspect
4.55 2.84 .13  .13  16   .13  0  
float-newlib/double_req_bl_0320.yml done .0370 prog tests 5 inspect 230   190   2000 2600 4.4    0   unknown prog tests 0 inspect
3.70 5.48 .18  .17  18   .34  0  
float-newlib/double_req_bl_0460.yml done .109  prog tests 6 inspect 130   110   630 1500 1.5    0   unknown prog tests 0 inspect
10.9  11.5  .15  .15  17   .23  0  
float-newlib/double_req_bl_0660a.yml done .108  prog tests 6 inspect 120   110   3000 1500 .025  0   unknown prog tests 0 inspect
10.8  19.4  .16  .16  17   .25  0  
float-newlib/double_req_bl_0660b.yml done .108  prog tests 6 inspect 120   110   3100 1500 .025  0   unknown prog tests 0 inspect
10.8  19.4  .16  .15  17   .25  0  
float-newlib/double_req_bl_0661a.yml done .184  prog tests 9 inspect 220   210   2700 2900 .033  0   unknown prog tests 0 inspect
18.4  29.7  .16  .15  17   .34  0  
float-newlib/double_req_bl_0661b.yml done .184  prog tests 9 inspect 220   210   2400 3200 .033  0   unknown prog tests 0 inspect
18.4  29.7  .16  .16  17   .34  0  
float-newlib/double_req_bl_0662a.yml done .122  prog tests 7 inspect 120   110   2900 1800 .025  0   unknown prog tests 0 inspect
12.2  18.6  .15  .14  16   .27  0  
float-newlib/double_req_bl_0662b.yml done .122  prog tests 7 inspect 120   110   2700 1500 .025  0   unknown prog tests 0 inspect
12.2  18.6  .15  .14  16   .27  0  
float-newlib/double_req_bl_0663a.yml done .122  prog tests 7 inspect 120   110   2600 1500 .025  0   unknown prog tests 0 inspect
12.2  18.6  .17  .17  17   .27  0  
float-newlib/double_req_bl_0663b.yml done .122  prog tests 7 inspect 120   110   3000 1700 .025  0   unknown prog tests 0 inspect
12.2  18.6  .16  .16  17   .27  0  
float-newlib/double_req_bl_0670.yml exception .0263 prog tests 5 inspect 5.3 2.4 280 51 .041  0   unknown prog tests 0 inspect
2.63 4.80 .14  .14  17   .22  0  
float-newlib/double_req_bl_0682a.yml done .167  prog tests 9 inspect 120   110   2400 1600 .016  0   unknown prog tests 0 inspect
16.7  28.7  .16  .16  17   .34  0  
float-newlib/double_req_bl_0682b.yml done .167  prog tests 9 inspect 120   110   2400 1400 .016  0   unknown prog tests 0 inspect
16.7  28.7  .15  .15  17   .34  0  
float-newlib/double_req_bl_0683a.yml done .175  prog tests 10 inspect 120   110   2500 1400 .016  0   unknown prog tests 0 inspect
17.5  30.7  .17  .16  17   .37  0  
float-newlib/double_req_bl_0683b.yml done .175  prog tests 10 inspect 130   110   2500 1700 .016  0   unknown prog tests 0 inspect
17.5  30.7  .17  .17  17   .37  0  
float-newlib/double_req_bl_0684a.yml done .25   prog tests 15 inspect 220   210   2500 2700 .037  0   unknown prog tests 0 inspect
25.0  36.0  .18  .18  17   .51  0  
float-newlib/double_req_bl_0684b.yml done .25   prog tests 15 inspect 230   210   2300 3500 .037  0   unknown prog tests 0 inspect
25.0  36.0  .20  .19  17   .51  0  
float-newlib/double_req_bl_0832.yml done .267  prog tests 5 inspect 120   94   1200 1300 3.3    0   unknown prog tests 0 inspect
26.7  30.4  .15  .15  16   .17  0  
float-newlib/double_req_bl_0870a.yml done .0549 prog tests 10 inspect 25   17   1600 300 .016  0   true prog tests 1 inspect
5.49 6.89 .19  .19  17   .55  0  
float-newlib/double_req_bl_0870b.yml done .038  prog tests 5 inspect 120   95   1100 1500 2.7    0   unknown prog tests 0 inspect
3.80 6.29 .16  .16  18   .32  0  
float-newlib/double_req_bl_0872a.yml done .0111 prog tests 2 inspect 120   110   2900 1500 .041  0   unknown prog tests 0 inspect
1.11 5.12 .15  .15  17   .18  0  
float-newlib/double_req_bl_0872b.yml done .0111 prog tests 2 inspect 120   110   2900 1700 .041  0   unknown prog tests 0 inspect
1.11 5.12 .15  .15  18   .18  0  
float-newlib/double_req_bl_0874.yml done .0934 prog tests 9 inspect 120   110   1600 1400 .033  0   unknown prog tests 0 inspect
9.34 12.6  .18  .18  18   .50  0  
float-newlib/double_req_bl_0876.yml done .0978 prog tests 10 inspect 120   110   1700 1600 .033  0   unknown prog tests 0 inspect
9.78 11.3  .17  .22  18   .55  0  
float-newlib/double_req_bl_0882.yml done .125  prog tests 16 inspect 130   120   2100 1500 .025  0   unknown prog tests 0 inspect
12.5  13.7  .19  .24  18   .82  0  
float-newlib/double_req_bl_0883.yml done .143  prog tests 18 inspect 230   210   1900 2800 .033  0   unknown prog tests 0 inspect
14.3  17.3  .22  .26  18   .83  0  
float-newlib/double_req_bl_0920a.yml done .25   prog tests 6 inspect 120   95   1200 1400 4.4    0   unknown prog tests 0 inspect
25.0  27.0  .14  .14  16   .19  0  
float-newlib/double_req_bl_0970a.yml done .194  prog tests 6 inspect 120   95   1100 1400 4.2    0   unknown prog tests 0 inspect
19.4  22.0  .14  .14  17   .22  0  
float-newlib/double_req_bl_1121a.yml done .0323 prog tests 2 inspect 120   97   1400 1300 4.0    0   unknown prog tests 0 inspect
3.23 18.8  .13  .13  17   .11  0  
float-newlib/double_req_bl_1121b.yml done .0323 prog tests 2 inspect 120   96   1400 1400 3.9    0   unknown prog tests 0 inspect
3.23 18.8  .13  .14  17   .11  0  
float-newlib/double_req_bl_1122a.yml exception .0645 prog tests 2 inspect 4.2 1.8 270 44 .025  0   unknown prog tests 0 inspect
6.45 18.8  .13  .14  16   .11  0  
float-newlib/double_req_bl_1122b.yml exception .0645 prog tests 2 inspect 3.9 1.8 270 33 .025  0   unknown prog tests 0 inspect
6.45 18.8  .13  .13  17   .11  0  
float-newlib/double_req_bl_1130a.yml done .191  prog tests 7 inspect 120   110   1800 1600 .029  0   unknown prog tests 0 inspect
19.1  24.5  .14  .14  16   .25  0  
float-newlib/double_req_bl_1131a.yml done .109  prog tests 4 inspect 120   110   1700 1300 .033  0   unknown prog tests 0 inspect
10.9  24.5  .14  .14  16   .17  0  
float-newlib/double_req_bl_1131b.yml done .109  prog tests 4 inspect 120   110   1800 1400 .033  0   unknown prog tests 0 inspect
10.9  24.8  .14  .13  16   .16  0  
float-newlib/double_req_bl_1211a.yml done .312  prog tests 3 inspect 130   92   1500 1400 7.4    0   unknown prog tests 0 inspect
31.2  49.2  .13  .13  16   .13  0  
float-newlib/double_req_bl_1211b.yml done .312  prog tests 3 inspect 120   91   1300 1500 6.8    0   unknown prog tests 0 inspect
31.2  49.2  .13  .13  17   .13  0  
float-newlib/double_req_bl_1231b.yml exception .625  prog tests 6 inspect 4.7 2.0 270 47 .049  0   unknown prog tests 0 inspect
62.5  84.4  .13  .15  16   .16  0  
float-newlib/double_req_bl_1251b.yml exception .625  prog tests 6 inspect 4.9 2.0 280 44 .049  0   unknown prog tests 0 inspect
62.5  84.4  .14  .14  17   .19  0  
float-newlib/double_req_bl_1300.yml done .5    prog tests 5 inspect 23   17   1700 280 .037  0   unknown prog tests 0 inspect
50.0  95.0  .13  .15  16   .15  0  
float-newlib/float_req_bl_0281.yml done .167  prog tests 5 inspect 120   120   1500 1700 .029  0   unknown prog tests 0 inspect
16.7  13.6  .14  .14  16   .20  0  
float-newlib/float_req_bl_0460.yml done .175  prog tests 5 inspect 120   100   770 1500 2.7    0   unknown prog tests 0 inspect
17.5  13.7  .14  .14  17   .19  0  
float-newlib/float_req_bl_0660a.yml done .125  prog tests 6 inspect 120   110   2000 1400 .025  0   unknown prog tests 0 inspect
12.5  17.9  .15  .15  17   .23  0  
float-newlib/float_req_bl_0660b.yml done .114  prog tests 6 inspect 120   110   2500 1400 .025  0   unknown prog tests 0 inspect
11.4  17.9  .14  .14  17   .23  0  
float-newlib/float_req_bl_0661a.yml done .186  prog tests 8 inspect 220   210   2200 2400 .033  0   unknown prog tests 0 inspect
18.6  26.5  .16  .15  17   .27  0  
float-newlib/float_req_bl_0661b.yml done .186  prog tests 8 inspect 220   210   2500 2400 .033  0   unknown prog tests 0 inspect
18.6  26.5  .16  .15  17   .27  0  
float-newlib/float_req_bl_0662a.yml done .129  prog tests 7 inspect 120   110   2900 1700 .025  0   unknown prog tests 0 inspect
12.9  17.1  .15  .14  16   .25  0  
float-newlib/float_req_bl_0662b.yml done .129  prog tests 7 inspect 120   110   3000 1600 .025  0   unknown prog tests 0 inspect
12.9  17.1  .16  .16  17   .25  0  
float-newlib/float_req_bl_0663a.yml done .129  prog tests 7 inspect 120   110   2900 1700 .025  0   unknown prog tests 0 inspect
12.9  17.1  .15  .15  16   .25  0  
float-newlib/float_req_bl_0663b.yml done .129  prog tests 7 inspect 120   110   3000 1500 .025  0   unknown prog tests 0 inspect
12.9  17.1  .15  .14  17   .25  0  
float-newlib/float_req_bl_0670.yml done .0278 prog tests 7 inspect 120   96   750 1400 3.4    0   unknown prog tests 0 inspect
2.78 5.08 .15  .15  17   .25  0  
float-newlib/float_req_bl_0682a.yml done .167  prog tests 8 inspect 120   110   2800 1600 .041  0   unknown prog tests 0 inspect
16.7  23.8  .16  .17  17   .27  0  
float-newlib/float_req_bl_0682b.yml done .167  prog tests 8 inspect 120   110   2900 1700 .041  0   unknown prog tests 0 inspect
16.7  23.8  .16  .15  17   .27  0  
float-newlib/float_req_bl_0683a.yml done .176  prog tests 9 inspect 120   110   2400 1400 .041  0   unknown prog tests 0 inspect
17.6  26.2  .15  .17  17   .30  0  
float-newlib/float_req_bl_0683b.yml done .176  prog tests 9 inspect 120   110   2900 1600 .041  0   unknown prog tests 0 inspect
17.6  26.2  .16  .16  16   .34  0  
float-newlib/float_req_bl_0684a.yml done .229  prog tests 12 inspect 220   210   2200 3200 .041  0   unknown prog tests 0 inspect
22.9  30.3  .17  .17  16   .37  0  
float-newlib/float_req_bl_0684b.yml done .229  prog tests 12 inspect 220   210   2600 2900 .041  0   unknown prog tests 0 inspect
22.9  30.3  .17  .16  17   .37  0  
float-newlib/float_req_bl_0710.yml done .231  prog tests 5 inspect 130   100   760 1600 3.4    0   unknown prog tests 0 inspect
23.1  29.4  .13  .13  17   .16  0  
float-newlib/float_req_bl_0870a.yml done .0536 prog tests 8 inspect 23   17   1800 290 .016  0   true prog tests 1 inspect
5.36 6.27 .20  .19  17   .45  0  
float-newlib/float_req_bl_0870b.yml done .0357 prog tests 5 inspect 120   110   2600 1500 .025  0   unknown prog tests 0 inspect
3.57 5.67 .17  .17  17   .32  0  
float-newlib/float_req_bl_0872a.yml done .012  prog tests 2 inspect 4.9 2.0 280 49 .016  0   unknown prog tests 0 inspect
1.20 4.50 .14  .14  17   .18  0  
float-newlib/float_req_bl_0872b.yml done .012  prog tests 2 inspect 5.0 2.0 280 46 .016  0   unknown prog tests 0 inspect
1.20 4.50 .16  .16  17   .18  0  
float-newlib/float_req_bl_0874.yml done .0655 prog tests 8 inspect 120   110   1600 1900 .033  0   unknown prog tests 0 inspect
6.55 9.73 .17  .17  17   .45  0  
float-newlib/float_req_bl_0875.yml done .0824 prog tests 9 inspect 120   110   1600 1400 .033  0   unknown prog tests 0 inspect
8.24 10.1  .18  .18  18   .50  0  
float-newlib/float_req_bl_0876.yml done .0706 prog tests 9 inspect 120   110   1600 1500 .033  0   unknown prog tests 0 inspect
7.06 9.47 .18  .18  17   .50  0  
float-newlib/float_req_bl_0877.yml done .0774 prog tests 8 inspect 120   110   1600 1700 .033  0   unknown prog tests 0 inspect
7.74 10.2  .17  .17  17   .45  0  
float-newlib/float_req_bl_0880.yml timeout .295  prog tests 19 inspect 900   840   3100 9500 23      0   unknown prog tests 0 inspect
29.5  30.4  .22  .21  18   .96  0  
float-newlib/float_req_bl_0881.yml timeout .295  prog tests 19 inspect 900   840   3100 9600 23      0   unknown prog tests 0 inspect
29.5  30.1  .23  .22  18   .96  0  
float-newlib/float_req_bl_0883.yml done .119  prog tests 15 inspect 220   210   2200 3000 .033  0   unknown prog tests 0 inspect
11.9  14.8  .20  .20  17   .77  0  
float-newlib/float_req_bl_0920a.yml done .214  prog tests 6 inspect 120   110   1500 1600 .041  0   unknown prog tests 0 inspect
21.4  27.1  .15  .14  17   .19  0  
float-newlib/float_req_bl_0970a.yml done .167  prog tests 6 inspect 120   110   1900 1600 .041  0   unknown prog tests 0 inspect
16.7  21.6  .14  .14  16   .22  0  
float-newlib/float_req_bl_1121a.yml done .0526 prog tests 2 inspect 120   110   1500 1400 .025  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 120   110   1900 1400 .025  0   unknown prog tests 0 inspect
5.26 26.6  .13  .13  16   .11  0  
float-newlib/float_req_bl_1122a.yml done .105  prog tests 3 inspect 120   120   1500 1500 .033  0   unknown prog tests 0 inspect
10.5  26.6  .13  .13  17   .13  0  
float-newlib/float_req_bl_1122b.yml done .105  prog tests 3 inspect 120   120   1800 1400 .033  0   unknown prog tests 0 inspect
10.5  26.6  .13  .13  16   .13  0  
float-newlib/float_req_bl_1130a.yml done .227  prog tests 6 inspect 120   110   1700 1700 .029  0   unknown prog tests 0 inspect
22.7  32.4  .14  .14  16   .19  0  
float-newlib/float_req_bl_1130b.yml done .227  prog tests 6 inspect 120   110   1800 1600 .029  0   unknown prog tests 0 inspect
22.7  32.4  .14  .14  16   .19  0  
float-newlib/float_req_bl_1131a.yml done .15   prog tests 4 inspect 130   91   1400 1200 3.7    0   unknown prog tests 0 inspect
15.0  33.3  .13  .13  16   .15  0  
float-newlib/float_req_bl_1131b.yml done .15   prog tests 4 inspect 130   91   1300 1100 3.8    0   unknown prog tests 0 inspect
15.0  33.3  .13  .13  16   .15  0  
float-newlib/float_req_bl_1211a.yml done .333  prog tests 3 inspect 120   110   2400 1400 .025  0   unknown prog tests 0 inspect
33.3  61.9  .12  .12  16   .12  0  
float-newlib/float_req_bl_1211b.yml done .333  prog tests 3 inspect 120   110   2400 1400 .025  0   unknown prog tests 0 inspect
33.3  61.9  .13  .13  16   .12  0  
float-newlib/float_req_bl_1231.yml exception .06   prog tests 10 inspect 6.4 2.4 340 55 .15   0   unknown prog tests 0 inspect
6.00 19.4  .15  .15  17   .27  0  
float-newlib/float_req_bl_1251.yml exception .06   prog tests 10 inspect 6.6 2.4 290 57 .15   0   unknown prog tests 0 inspect
6.00 21.9  .15  .16  17   .26  0  
float-newlib/float_req_bl_1270a.yml done .174  prog tests 10 inspect 120   94   1500 1500 3.6    0   unknown prog tests 0 inspect
17.4  28.1  .15  .15  17   .31  0  
float-newlib/float_req_bl_1270b.yml done .174  prog tests 10 inspect 120   93   1300 1400 3.4    0   unknown prog tests 0 inspect
17.4  28.1  .15  .15  16   .31  0  
float-newlib/float_req_bl_1270c.yml done .174  prog tests 10 inspect 120   94   1700 1300 3.8    0   unknown prog tests 0 inspect
17.4  30.5  .16  .16  16   .31  0  
float-newlib/float_req_bl_1270d.yml done .174  prog tests 10 inspect 120   92   1400 1400 3.2    0   unknown prog tests 0 inspect
17.4  30.5  .16  .15  16   .31  0  
float-newlib/float_req_bl_1271a.yml done .188  prog tests 9 inspect 120   110   1800 1600 .033  0   unknown prog tests 0 inspect
18.8  28.5  .15  .15  16   .29  0  
float-newlib/float_req_bl_1271b.yml done .188  prog tests 9 inspect 120   100   2000 1600 1.9    0   unknown prog tests 0 inspect
18.8  30.8  .18  .18  17   .29  0  
float-newlib/float_req_bl_1381.yml done .5    prog tests 1 inspect 23   17   1300 250 .0082 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 3 inspect 900   890   670 12000 .57   0   unknown prog tests 0 inspect
75.0  100    .12  .14  17   .11  0  
loop-floats-scientific-comp/loop1-2.yml done 1.0    prog tests 4 inspect 5.6 3.3 300 58 .033  0   true prog tests 1 inspect
100    100    .13  .13  17   .13  0  
loop-floats-scientific-comp/loop2-1.yml timeout .9    prog tests 9 inspect 900   880   990 11000 .057  0   true prog tests 1 inspect
90.0  100    .15  .14  16   .21  0  
loop-floats-scientific-comp/loop2-2.yml timeout .8    prog tests 7 inspect 900   890   710 9300 .11   0   unknown prog tests 0 inspect
80.0  100    .14  .14  16   .18  0  
loop-floats-scientific-comp/loop3.yml timeout .8    prog tests 7 inspect 900   890   1200 11000 .15   0   unknown prog tests 0 inspect
80.0  100    .14  .20  16   .18  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 104 79000 76000 290000 810000 300 0   212 10400 13500 32 32 3500 55 0  
Run set coveritest.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-branches.ReachSafety-Floats