Benchmark CPA/Tiger-MGP TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30541M 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:13:54 CET 2019-02-06 06:15:02 CET
Run set cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Floats
Options -benchmark -heap 10000M -tigertestcomp19 --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/cpa-tiger.2019-02-05_2113.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
floats-cdfpl/newton_1_1.yml timeout .833  prog tests 3 inspect 900   900   640 7500 .0041 0   unknown prog tests 0 inspect
83.3  90.9  .13  .12  16   .11  0  
floats-cdfpl/newton_1_2.yml timeout .833  prog tests 3 inspect 900   900   620 6200 .0041 0   unknown prog tests 0 inspect
83.3  90.9  .12  .12  16   .11  0  
floats-cdfpl/newton_1_3.yml timeout .833  prog tests 3 inspect 900   900   620 5900 .0041 0   unknown prog tests 0 inspect
83.3  90.9  .13  .12  16   .11  0  
floats-cdfpl/newton_1_4.yml unknown 1.0    prog tests 5 inspect 81   79   380 580 .0041 0   true prog tests 1 inspect
100    100    .13  .13  16   .14  0  
floats-cdfpl/newton_1_5.yml unknown 1.0    prog tests 5 inspect 63   61   370 470 .0041 0   true prog tests 1 inspect
100    100    .14  .13  16   .14  0  
floats-cdfpl/newton_1_6.yml unknown 1.0    prog tests 5 inspect 51   49   390 370 .0041 0   true prog tests 1 inspect
100    100    .13  .13  16   .14  0  
floats-cdfpl/newton_1_7.yml unknown 1.0    prog tests 5 inspect 28   26   370 230 .0041 0   true prog tests 1 inspect
100    100    .14  .13  16   .14  0  
floats-cdfpl/newton_1_8.yml unknown 1.0    prog tests 5 inspect 21   20   370 180 .0041 0   true prog tests 1 inspect
100    100    .13  .18  16   .14  0  
floats-cdfpl/newton_2_1.yml timeout .833  prog tests 5 inspect 900   900   560 6900 .0041 0   unknown prog tests 0 inspect
83.3  91.7  .13  .13  16   .14  0  
floats-cdfpl/newton_2_2.yml timeout .833  prog tests 5 inspect 900   900   870 6600 .0041 0   unknown prog tests 0 inspect
83.3  91.7  .14  .14  16   .14  0  
floats-cdfpl/newton_2_3.yml timeout .833  prog tests 5 inspect 900   900   570 7400 .0041 0   unknown prog tests 0 inspect
83.3  91.7  .13  .14  16   .14  0  
floats-cdfpl/newton_2_4.yml timeout .833  prog tests 5 inspect 900   900   630 5800 .0041 0   unknown prog tests 0 inspect
83.3  91.7  .14  .13  16   .14  0  
floats-cdfpl/newton_2_5.yml timeout .833  prog tests 5 inspect 900   900   630 7500 .0041 0   unknown prog tests 0 inspect
83.3  91.7  .13  .12  17   .14  0  
floats-cdfpl/newton_2_6.yml unknown 1.0    prog tests 6 inspect 61   59   490 570 .0041 0   true prog tests 1 inspect
100    100    .14  .13  16   .16  0  
floats-cdfpl/newton_2_7.yml unknown 1.0    prog tests 6 inspect 110   110   480 850 .0041 0   true prog tests 1 inspect
100    100    .13  .13  16   .16  0  
floats-cdfpl/newton_2_8.yml unknown 1.0    prog tests 6 inspect 51   49   480 400 .0041 0   true prog tests 1 inspect
100    100    .13  .13  17   .16  0  
floats-cdfpl/newton_3_1.yml timeout .5    prog tests 1 inspect 900   900   630 6500 .0041 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/newton_3_2.yml timeout .5    prog tests 1 inspect 900   900   590 5800 .0041 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/newton_3_3.yml timeout .5    prog tests 1 inspect 900   900   730 6400 .0041 0   unknown prog tests 0 inspect
50.0  92.3  .12  .14  16   .057 0  
floats-cdfpl/newton_3_4.yml timeout .5    prog tests 1 inspect 900   900   730 6800 .0041 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/newton_3_5.yml timeout .5    prog tests 1 inspect 900   900   600 6300 .0041 0   unknown prog tests 0 inspect
50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/newton_3_6.yml timeout .667  prog tests 2 inspect 900   890   850 11000 .0041 0   true prog tests 1 inspect
66.7  100    .12  .16  16   .098 0  
floats-cdfpl/newton_3_7.yml unknown 1.0    prog tests 4 inspect 280   280   620 1900 .0041 0   true prog tests 1 inspect
100    100    .16  .19  17   .12  0  
floats-cdfpl/newton_3_8.yml unknown 1.0    prog tests 4 inspect 49   47   590 410 .0041 0   true prog tests 1 inspect
100    100    .13  .19  16   .13  0  
floats-cdfpl/sine_1.yml unknown .75   prog tests 4 inspect 890   880   830 7700 .0041 0   true prog tests 1 inspect
75.0  100    .13  .14  16   .094 0  
floats-cdfpl/sine_2.yml timeout .75   prog tests 5 inspect 900   900   510 8400 .0041 0   true prog tests 1 inspect
75.0  100    .13  .13  16   .14  0  
floats-cdfpl/sine_3.yml unknown 1.0    prog tests 7 inspect 47   46   340 430 .0041 0   true prog tests 1 inspect
100    100    .13  .13  17   .18  0  
floats-cdfpl/sine_4.yml timeout .625  prog tests 3 inspect 900   900   590 6800 .0041 0   unknown prog tests 0 inspect
62.5  87.5  .12  .12  16   .11  0  
floats-cdfpl/sine_5.yml timeout .625  prog tests 3 inspect 900   900   420 6500 .0041 0   unknown prog tests 0 inspect
62.5  87.5  .14  .14  16   .11  0  
floats-cdfpl/sine_6.yml timeout .625  prog tests 3 inspect 900   900   640 6000 .0041 0   unknown prog tests 0 inspect
62.5  87.5  .13  .13  17   .11  0  
floats-cdfpl/sine_7.yml timeout .625  prog tests 3 inspect 900   900   680 8400 .0041 0   unknown prog tests 0 inspect
62.5  87.5  .12  .12  16   .11  0  
floats-cdfpl/sine_8.yml unknown .625  prog tests 3 inspect 690   690   780 8400 .0041 0   unknown prog tests 0 inspect
62.5  87.5  .12  .12  17   .11  0  
floats-cdfpl/square_1.yml unknown .875  prog tests 5 inspect 38   37   350 410 .0041 0   true prog tests 1 inspect
87.5  100    .13  .15  16   .14  0  
floats-cdfpl/square_2.yml unknown .875  prog tests 5 inspect 94   93   360 900 .0041 0   true prog tests 1 inspect
87.5  100    .13  .12  16   .14  0  
floats-cdfpl/square_3.yml unknown .875  prog tests 5 inspect 110   110   370 880 .0041 0   true prog tests 1 inspect
87.5  100    .13  .13  17   .14  0  
floats-cdfpl/square_4.yml timeout .5    prog tests 1 inspect 900   900   690 6400 .0041 0   unknown prog tests 0 inspect
50.0  88.9  .13  .13  16   .078 0  
floats-cdfpl/square_5.yml timeout .5    prog tests 1 inspect 900   900   530 6300 .0041 0   unknown prog tests 0 inspect
50.0  88.9  .12  .12  16   .078 0  
floats-cdfpl/square_6.yml timeout .5    prog tests 1 inspect 900   900   680 6800 .0041 0   unknown prog tests 0 inspect
50.0  88.9  .12  .14  16   .078 0  
floats-cdfpl/square_7.yml timeout .5    prog tests 1 inspect 900   900   510 6700 .0041 0   unknown prog tests 0 inspect
50.0  88.9  .13  .13  16   .078 0  
floats-cdfpl/square_8.yml unknown .75   prog tests 4 inspect 44   43   370 420 .0041 0   unknown prog tests 0 inspect
75.0  88.9  .13  .12  17   .13  0  
floats-cbmc-regression/float-no-simp2.yml true .5    prog tests 5 inspect 11   7.8 320 120 .0041 0   unknown prog tests 0 inspect
50.0  100    .16  .16  16   .37  0  
floats-cbmc-regression/float-to-double1.yml unknown .167  prog tests 4 inspect 4.4 2.0 280 42 .0041 0   unknown prog tests 0 inspect
16.7  100    .14  .14  16   .28  0  
floats-cbmc-regression/float12.yml unknown .75   prog tests 2 inspect 3.0 1.3 270 28 .0041 0   unknown prog tests 0 inspect
75.0  100    .13  .13  16   .086 0  
floats-cbmc-regression/float19.yml true .25   prog tests 3 inspect 4.3 1.7 280 38 .0041 0   unknown prog tests 0 inspect
25.0  87.5  .14  .14  16   .22  0  
floats-cbmc-regression/float20.yml true .5    prog tests 5 inspect 4.3 2.5 300 43 .0041 0   unknown prog tests 0 inspect
50.0  100    .14  .13  17   .15  0  
floats-cbmc-regression/float3.yml unknown .875  prog tests 2 inspect 3.5 1.7 290 36 .0041 0   unknown prog tests 0 inspect
87.5  100    .12  .12  16   .094 0  
floats-cbmc-regression/float4.yml true .5    prog tests 6 inspect 31   28   330 390 .0041 0   unknown prog tests 0 inspect
50.0  100    .16  .18  16   .39  0  
floats-cbmc-regression/float5.yml unknown .833  prog tests 6 inspect 3.3 1.6 280 37 .0041 0   unknown prog tests 0 inspect
83.3  100    .16  .16  17   .16  0  
floats-cbmc-regression/float6.yml true .562  prog tests 8 inspect 3.8 1.8 270 38 .0041 0   unknown prog tests 0 inspect
56.2  100    .14  .15  16   .19  0  
floats-cbmc-regression/float8.yml true .5    prog tests 1 inspect 5.1 2.9 280 55 .0041 0   unknown prog tests 0 inspect
50.0  100    .14  .16  16   .070 0  
float-benchs/arctan_Pade.yml unknown .643  prog tests 4 inspect 700   690   790 7400 .0041 0   unknown prog tests 0 inspect
64.3  100    .13  .13  17   .14  0  
float-benchs/bary_diverge.yml unknown .75   prog tests 6 inspect 4.2 2.2 300 44 .0041 0   unknown prog tests 0 inspect
75.0  96.4  .13  .15  16   .17  0  
float-benchs/cast_float_ptr.yml unknown .167  prog tests 9 inspect 3.5 1.6 270 31 .0041 0   unknown prog tests 0 inspect
16.7  68.8  .14  .14  16   .21  0  
float-benchs/cast_float_union.yml true .25   prog tests 3 inspect 3.2 1.4 280 28 .0041 0   unknown prog tests 0 inspect
25.0  72.2  .14  .14  16   .11  0  
float-benchs/cast_union_loose.yml unknown .7    prog tests 6 inspect 3.7 2.0 280 40 .0041 0   unknown prog tests 0 inspect
70.0  100    .14  .13  16   .16  0  
float-benchs/cast_union_tight.yml unknown .5    prog tests 2 inspect 3.3 1.6 280 34 .0041 0   unknown prog tests 0 inspect
50.0  100    .12  .12  16   .094 0  
float-benchs/cos_polynomial.yml timeout .438  prog tests 3 inspect 900   900   1100 8400 .0041 0   unknown prog tests 0 inspect
43.8  71.4  .13  .13  16   .11  0  
float-benchs/divmul_buf_diverge.yml unknown .5    prog tests 6 inspect 3.5 1.7 280 34 .0041 0   unknown prog tests 0 inspect
50.0  81.2  .13  .13  17   .16  0  
float-benchs/divmul_diverge.yml unknown .5    prog tests 7 inspect 3.6 1.7 280 38 .0041 0   unknown prog tests 0 inspect
50.0  76.9  .14  .17  17   .18  0  
float-benchs/exp_loop.yml unknown .792  prog tests 8 inspect 4.3 2.1 290 39 .0041 0   unknown prog tests 0 inspect
79.2  97.3  .14  .14  16   .20  0  
float-benchs/feedback_diverge.yml unknown .5    prog tests 4 inspect 3.3 1.5 270 33 .0041 0   unknown prog tests 0 inspect
50.0  80.0  .13  .13  16   .13  0  
float-benchs/filter1.c.p+cfa-reducer.yml unknown .75   prog tests 8 inspect 5.7 3.9 310 68 .0041 0   unknown prog tests 0 inspect
75.0  82.5  .14  .14  17   .19  0  
float-benchs/filter1.c.v+lhb-reducer.yml true .719  prog tests 11 inspect 18   15   360 220 .0041 0   unknown prog tests 0 inspect
71.9  80.0  .16  .15  16   .29  0  
float-benchs/filter1.c.v+nlh-reducer.yml true .719  prog tests 11 inspect 20   17   360 260 .0041 0   unknown prog tests 0 inspect
71.9  79.8  .16  .16  17   .29  0  
float-benchs/filter1.yml unknown .714  prog tests 7 inspect 5.5 3.5 310 56 .0041 0   unknown prog tests 0 inspect
71.4  92.3  .14  .15  16   .18  0  
float-benchs/filter2.yml unknown .8    prog tests 9 inspect 31   29   410 410 .0041 0   unknown prog tests 0 inspect
80.0  94.4  .15  .15  17   .21  0  
float-benchs/filter2_alt.yml unknown .75   prog tests 5 inspect 7.2 5.2 310 77 .0041 0   unknown prog tests 0 inspect
75.0  100    .13  .13  16   .15  0  
float-benchs/filter2_reinit.yml unknown .818  prog tests 11 inspect 47   45   410 400 .0041 0   unknown prog tests 0 inspect
81.8  95.7  .15  .16  16   .25  0  
float-benchs/filter2_set.yml unknown .9    prog tests 25 inspect 160   160   680 2100 .0041 0   unknown prog tests 0 inspect
90.0  96.4  .21  .21  17   .48  0  
float-benchs/filter_iir.yml timeout .5    prog tests 1 inspect 900   900   950 11000 .0041 0   unknown prog tests 0 inspect
50.0  100    .12  .12  17   .082 0  
float-benchs/float_int_inv_square.yml unknown 1.0    prog tests 5 inspect 3.3 1.6 280 30 .0041 0   true prog tests 1 inspect
100    100    .13  .13  16   .14  0  
float-benchs/image_filter.yml timeout .0    prog tests 0 inspect 900   900   2900 10000 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0     0  
float-benchs/interpolation.c.p+cfa-reducer.yml unknown .75   prog tests 7 inspect 7.5 5.6 310 88 .0041 0   unknown prog tests 0 inspect
75.0  81.1  .13  .13  16   .18  0  
float-benchs/interpolation.c.v+cfa-reducer.yml unknown .688  prog tests 5 inspect 6.3 4.3 310 64 .0041 0   unknown prog tests 0 inspect
68.8  77.1  .14  .14  16   .14  0  
float-benchs/interpolation.c.v+nlh-reducer.yml true .714  prog tests 12 inspect 7.7 5.6 310 75 .0041 0   unknown prog tests 0 inspect
71.4  78.0  .16  .15  17   .31  0  
float-benchs/interpolation.yml unknown .714  prog tests 6 inspect 5.5 3.5 310 62 .0041 0   unknown prog tests 0 inspect
71.4  100    .13  .13  17   .16  0  
float-benchs/interpolation2.c.p+cfa-reducer.yml unknown .75   prog tests 4 inspect 9.6 7.5 320 110 .0041 0   unknown prog tests 0 inspect
75.0  82.0  .15  .15  16   .13  0  
float-benchs/interpolation2.c.v+cfa-reducer.yml unknown .688  prog tests 4 inspect 8.4 6.5 310 95 .0041 0   unknown prog tests 0 inspect
68.8  78.4  .13  .13  17   .13  0  
float-benchs/interpolation2.c.v+nlh-reducer.yml unknown .714  prog tests 8 inspect 19   17   320 220 .0041 0   unknown prog tests 0 inspect
71.4  78.8  .14  .16  16   .17  0  
float-benchs/interpolation2.yml unknown .714  prog tests 5 inspect 8.2 6.3 320 91 .0041 0   unknown prog tests 0 inspect
71.4  100    .13  .13  16   .14  0  
float-benchs/inv_Newton-1.yml unknown .812  prog tests 4 inspect 21   19   370 260 .0041 0   unknown prog tests 0 inspect
81.2  100    .13  .12  16   .13  0  
float-benchs/inv_Newton-2.yml unknown .688  prog tests 8 inspect 29   27   370 370 .0041 0   true prog tests 1 inspect
68.8  95.0  .14  .14  16   .20  0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml unknown .722  prog tests 7 inspect 24   22   370 270 .0041 0   true prog tests 1 inspect
72.2  88.2  .16  .16  16   .20  0  
float-benchs/inv_sqrt_Quake.c.v+cfa-reducer.yml true .667  prog tests 4 inspect 13   11   330 130 .0041 0   unknown prog tests 0 inspect
66.7  78.8  .13  .16  16   .13  0  
float-benchs/inv_sqrt_Quake.yml true .7    prog tests 5 inspect 7.4 5.6 300 96 .0041 0   unknown prog tests 0 inspect
70.0  100    .13  .13  16   .14  0  
float-benchs/inv_square-1.yml unknown 1.0    prog tests 5 inspect 3.3 1.5 280 33 .0041 0   true prog tests 1 inspect
100    100    .13  .13  16   .14  0  
float-benchs/inv_square-2.yml unknown .9    prog tests 6 inspect 3.5 1.6 280 34 .0041 0   unknown prog tests 0 inspect
90.0  100    .14  .13  17   .16  0  
float-benchs/inv_square_int.yml unknown .833  prog tests 4 inspect 3.2 1.5 280 30 .0041 0   unknown prog tests 0 inspect
83.3  100    .13  .21  17   .13  0  
float-benchs/nan_double.yml unknown .5    prog tests 2 inspect 2.9 1.3 270 27 .0041 0   unknown prog tests 0 inspect
50.0  100    .13  .13  16   .094 0  
float-benchs/nan_double_range.yml unknown .833  prog tests 4 inspect 3.1 1.4 270 27 .0041 0   unknown prog tests 0 inspect
83.3  100    .13  .12  16   .13  0  
float-benchs/nan_float.yml unknown .5    prog tests 2 inspect 2.9 1.3 270 29 .0041 0   unknown prog tests 0 inspect
50.0  100    .15  .19  16   .061 0  
float-benchs/nan_float_range.yml unknown .5    prog tests 3 inspect 3.2 1.4 280 26 .0041 0   unknown prog tests 0 inspect
50.0  100    .12  .12  16   .11  0  
float-benchs/rlim_exit.yml unknown .65   prog tests 10 inspect 4.2 2.2 280 40 .0041 0   unknown prog tests 0 inspect
65.0  80.0  .15  .14  16   .23  0  
float-benchs/rlim_invariant.c.p+cfa-reducer.yml unknown .667  prog tests 10 inspect 5.3 3.2 290 55 .0041 0   unknown prog tests 0 inspect
66.7  75.5  .16  .15  16   .26  0  
float-benchs/rlim_invariant.c.v+lhb-reducer.yml true .708  prog tests 18 inspect 9.2 6.8 310 110 .0041 0   unknown prog tests 0 inspect
70.8  79.8  .19  .18  16   .50  0  
float-benchs/rlim_invariant.c.v+nlh-reducer.yml true .708  prog tests 20 inspect 9.7 7.2 310 120 .0041 0   unknown prog tests 0 inspect
70.8  79.1  .19  .18  17   .55  0  
float-benchs/rlim_invariant.yml true .8    prog tests 11 inspect 4.8 2.8 290 57 .0041 0   unknown prog tests 0 inspect
80.0  93.3  .15  .15  16   .25  0  
float-benchs/sin_interpolated_bigrange_loose.yml timeout .688  prog tests 3 inspect 900   900   830 9100 .0041 0   unknown prog tests 0 inspect
68.8  100    .13  .13  16   .15  0  
float-benchs/sin_interpolated_bigrange_tight.yml timeout .688  prog tests 3 inspect 900   900   1000 7700 .0041 0   unknown prog tests 0 inspect
68.8  100    .14  .14  16   .15  0  
float-benchs/sin_interpolated_index-1.yml unknown .938  prog tests 8 inspect 12   8.6 410 130 .0041 0   true prog tests 1 inspect
93.8  100    .16  .16  17   .27  0  
float-benchs/sin_interpolated_index-2.yml unknown .75   prog tests 4 inspect 740   730   790 8900 .0041 0   unknown prog tests 0 inspect
75.0  100    .13  .13  16   .18  0  
float-benchs/sin_interpolated_negation.yml timeout .667  prog tests 5 inspect 900   900   1500 8300 .0041 0   unknown prog tests 0 inspect
66.7  95.8  .14  .14  16   .20  0  
float-benchs/sin_interpolated_smallrange.yml unknown .611  prog tests 6 inspect 47   42   660 520 .0041 0   unknown prog tests 0 inspect
61.1  83.3  .14  .14  17   .23  0  
float-benchs/sqrt_Householder_constant.c.p+cfa-reducer.yml unknown .65   prog tests 2 inspect 370   360   1300 4800 .0041 0   unknown prog tests 0 inspect
65.0  82.3  .12  .12  16   .098 0  
float-benchs/sqrt_Householder_interval.yml timeout .636  prog tests 3 inspect 900   890   1100 8500 .0041 0   unknown prog tests 0 inspect
63.6  100    .12  .12  16   .11  0  
float-benchs/sqrt_Householder_pseudoconstant.yml timeout .5    prog tests 1 inspect 900   900   620 9600 .0041 0   unknown prog tests 0 inspect
50.0  96.2  .12  .12  16   .082 0  
float-benchs/sqrt_Newton_pseudoconstant.yml timeout .625  prog tests 5 inspect 900   900   650 9200 .0041 0   unknown prog tests 0 inspect
62.5  96.2  .13  .18  16   .15  0  
float-benchs/sqrt_biNewton_pseudoconstant.yml timeout .542  prog tests 2 inspect 900   900   650 8900 .0041 0   unknown prog tests 0 inspect
54.2  96.3  .12  .12  16   .098 0  
float-benchs/sqrt_poly.yml unknown .75   prog tests 5 inspect 41   39   500 360 .0041 0   unknown prog tests 0 inspect
75.0  100    .13  .13  17   .14  0  
float-benchs/sqrt_poly2.yml true .917  prog tests 6 inspect 87   85   490 1100 .0041 0   true prog tests 1 inspect
91.7  100    .14  .13  16   .16  0  
float-benchs/zonotope_3.c.p+cfa-reducer.yml unknown .5    prog tests 3 inspect 5.0 3.0 310 49 .0041 0   unknown prog tests 0 inspect
50.0  76.9  .13  .13  16   .12  0  
float-benchs/zonotope_3.c.v+lhb-reducer.yml true .709  prog tests 28 inspect 12   6.8 340 120 .0041 0   unknown prog tests 0 inspect
70.9  89.5  .25  .24  17   1.3   0  
float-benchs/zonotope_3.yml unknown .417  prog tests 5 inspect 3.8 1.9 280 38 .0041 0   unknown prog tests 0 inspect
41.7  80.0  .13  .13  16   .15  0  
float-benchs/zonotope_loose.c.v+cfa-reducer.yml true .714  prog tests 5 inspect 9.4 7.5 340 110 .0041 0   unknown prog tests 0 inspect
71.4  76.7  .13  .13  16   .14  0  
float-benchs/zonotope_loose.yml true .75   prog tests 6 inspect 9.8 8.0 340 120 .0041 0   unknown prog tests 0 inspect
75.0  100    .13  .13  16   .16  0  
float-benchs/zonotope_tight.yml true .75   prog tests 6 inspect 9.9 8.0 340 100 .0041 0   unknown prog tests 0 inspect
75.0  100    .13  .13  17   .16  0  
float-newlib/double_req_bl_0281.yml true .0455 prog tests 2 inspect 42   39   900 510 .0041 0   unknown prog tests 0 inspect
4.55 2.84 .13  .13  17   .13  0  
float-newlib/double_req_bl_0320.yml true .0370 prog tests 3 inspect 38   32   1100 370 .0041 0   unknown prog tests 0 inspect
3.70 5.48 .16  .16  18   .25  0  
float-newlib/double_req_bl_0460.yml true .109  prog tests 6 inspect 56   54   1200 790 .0041 0   unknown prog tests 0 inspect
10.9  11.5  .15  .14  17   .23  0  
float-newlib/double_req_bl_0660a.yml true .108  prog tests 3 inspect 58   55   1400 590 .0041 0   unknown prog tests 0 inspect
10.8  19.4  .14  .13  17   .16  0  
float-newlib/double_req_bl_0660b.yml true .108  prog tests 4 inspect 110   110   1400 1000 .0041 0   unknown prog tests 0 inspect
10.8  19.4  .13  .13  17   .19  0  
float-newlib/double_req_bl_0661a.yml timeout .105  prog tests 2 inspect 900   890   1600 12000 .0041 0   unknown prog tests 0 inspect
10.5  21.9  .13  .13  17   .14  0  
float-newlib/double_req_bl_0661b.yml true .184  prog tests 7 inspect 84   81   1400 880 .0041 0   unknown prog tests 0 inspect
18.4  29.7  .15  .15  17   .28  0  
float-newlib/double_req_bl_0662a.yml true .122  prog tests 5 inspect 61   58   1400 770 .0041 0   unknown prog tests 0 inspect
12.2  18.6  .14  .17  16   .22  0  
float-newlib/double_req_bl_0662b.yml true .122  prog tests 5 inspect 67   63   1400 690 .0041 0   unknown prog tests 0 inspect
12.2  18.6  .16  .15  17   .22  0  
float-newlib/double_req_bl_0663a.yml true .122  prog tests 5 inspect 63   60   1400 660 .0041 0   unknown prog tests 0 inspect
12.2  18.6  .14  .14  17   .22  0  
float-newlib/double_req_bl_0663b.yml true .122  prog tests 5 inspect 62   59   1400 690 .0041 0   unknown prog tests 0 inspect
12.2  18.6  .14  .14  17   .22  0  
float-newlib/double_req_bl_0670.yml true .0263 prog tests 4 inspect 22   19   1100 210 .0041 0   unknown prog tests 0 inspect
2.63 4.80 .14  .14  17   .19  0  
float-newlib/double_req_bl_0682a.yml true .167  prog tests 7 inspect 68   64   1300 730 .0041 0   unknown prog tests 0 inspect
16.7  28.7  .15  .15  17   .28  0  
float-newlib/double_req_bl_0682b.yml true .167  prog tests 6 inspect 65   61   1300 770 .0041 0   unknown prog tests 0 inspect
16.7  28.7  .14  .14  17   .25  0  
float-newlib/double_req_bl_0683a.yml unknown .175  prog tests 7 inspect 390   380   1500 3300 .0041 0   unknown prog tests 0 inspect
17.5  30.7  .15  .15  17   .28  0  
float-newlib/double_req_bl_0683b.yml true .175  prog tests 7 inspect 120   110   1400 1300 .0041 0   unknown prog tests 0 inspect
17.5  30.7  .15  .22  17   .28  0  
float-newlib/double_req_bl_0684a.yml true .25   prog tests 9 inspect 49   45   1300 640 .0041 0   unknown prog tests 0 inspect
25.0  36.0  .16  .16  17   .34  0  
float-newlib/double_req_bl_0684b.yml true .25   prog tests 10 inspect 51   47   1300 600 .0041 0   unknown prog tests 0 inspect
25.0  36.0  .16  .20  17   .36  0  
float-newlib/double_req_bl_0832.yml true .267  prog tests 5 inspect 28   26   940 340 .0041 0   unknown prog tests 0 inspect
26.7  30.4  .13  .17  16   .17  0  
float-newlib/double_req_bl_0870a.yml timeout .0495 prog tests 4 inspect 900   900   3200 9100 .0041 0   true prog tests 1 inspect
4.95 6.89 .17  .26  18   .19  0  
float-newlib/double_req_bl_0870b.yml true .038  prog tests 4 inspect 170   170   2000 2300 .0041 0   unknown prog tests 0 inspect
3.80 6.29 .16  .17  18   .28  0  
float-newlib/double_req_bl_0872a.yml true .0111 prog tests 1 inspect 42   38   1900 470 .0041 0   unknown prog tests 0 inspect
1.11 5.12 .15  .16  17   .14  0  
float-newlib/double_req_bl_0872b.yml true .0111 prog tests 1 inspect 42   38   1800 470 .0041 0   unknown prog tests 0 inspect
1.11 5.12 .14  .14  17   .14  0  
float-newlib/double_req_bl_0874.yml true .0934 prog tests 5 inspect 120   120   2000 1500 .0041 0   unknown prog tests 0 inspect
9.34 12.6  .16  .17  17   .31  0  
float-newlib/double_req_bl_0876.yml true .087  prog tests 5 inspect 72   67   1500 810 .0041 0   unknown prog tests 0 inspect
8.70 10.7  .16  .16  18   .33  0  
float-newlib/double_req_bl_0882.yml true .125  prog tests 11 inspect 210   200   2000 2600 .0041 0   unknown prog tests 0 inspect
12.5  13.7  .20  .20  18   .59  0  
float-newlib/double_req_bl_0883.yml true .143  prog tests 13 inspect 220   220   1900 2500 .0041 0   unknown prog tests 0 inspect
14.3  17.3  .20  .19  17   .68  0  
float-newlib/double_req_bl_0920a.yml timeout .25   prog tests 4 inspect 900   900   1600 8100 .0041 0   unknown prog tests 0 inspect
25.0  27.0  .15  .15  16   .15  0  
float-newlib/double_req_bl_0970a.yml true .194  prog tests 4 inspect 30   27   1500 320 .0041 0   unknown prog tests 0 inspect
19.4  22.0  .14  .14  17   .17  0  
float-newlib/double_req_bl_1121a.yml true .0323 prog tests 2 inspect 6.8 4.7 430 68 .0041 0   unknown prog tests 0 inspect
3.23 18.8  .13  .16  16   .11  0  
float-newlib/double_req_bl_1121b.yml true .0323 prog tests 2 inspect 6.9 4.7 440 64 .0041 0   unknown prog tests 0 inspect
3.23 18.8  .13  .13  17   .11  0  
float-newlib/double_req_bl_1122a.yml true .0645 prog tests 3 inspect 5.5 3.4 420 51 .0041 0   unknown prog tests 0 inspect
6.45 18.8  .15  .15  17   .14  0  
float-newlib/double_req_bl_1122b.yml true .0645 prog tests 3 inspect 5.6 3.5 420 55 .0041 0   unknown prog tests 0 inspect
6.45 18.8  .13  .13  16   .14  0  
float-newlib/double_req_bl_1130a.yml true .191  prog tests 4 inspect 7.5 5.2 450 87 .0041 0   unknown prog tests 0 inspect
19.1  24.5  .14  .13  16   .17  0  
float-newlib/double_req_bl_1131a.yml true .109  prog tests 3 inspect 6.3 3.8 420 66 .0041 0   unknown prog tests 0 inspect
10.9  24.5  .16  .16  17   .15  0  
float-newlib/double_req_bl_1131b.yml true .109  prog tests 3 inspect 5.9 3.5 440 58 .0041 0   unknown prog tests 0 inspect
10.9  24.8  .13  .16  16   .14  0  
float-newlib/double_req_bl_1211a.yml true .312  prog tests 2 inspect 5.6 3.4 340 53 .0041 0   unknown prog tests 0 inspect
31.2  49.2  .13  .14  16   .11  0  
float-newlib/double_req_bl_1211b.yml true .312  prog tests 2 inspect 5.6 3.4 350 66 .0041 0   unknown prog tests 0 inspect
31.2  49.2  .12  .12  16   .11  0  
float-newlib/double_req_bl_1231b.yml true .65   prog tests 17 inspect 4.5 2.0 290 46 .0041 0   unknown prog tests 0 inspect
65.0  84.4  .19  .18  16   .41  0  
float-newlib/double_req_bl_1251b.yml true .65   prog tests 17 inspect 4.4 2.0 290 43 .0041 0   unknown prog tests 0 inspect
65.0  84.4  .18  .18  16   .41  0  
float-newlib/double_req_bl_1300.yml unknown .5    prog tests 5 inspect 3.3 1.5 280 30 .0041 0   unknown prog tests 0 inspect
50.0  95.0  .14  .15  17   .15  0  
float-newlib/float_req_bl_0281.yml true .167  prog tests 5 inspect 12   9.2 480 140 .0041 0   unknown prog tests 0 inspect
16.7  13.6  .14  .17  16   .20  0  
float-newlib/float_req_bl_0460.yml true .175  prog tests 3 inspect 8.8 6.4 490 120 .0041 0   unknown prog tests 0 inspect
17.5  13.7  .14  .13  17   .14  0  
float-newlib/float_req_bl_0660a.yml true .125  prog tests 3 inspect 23   20   590 300 .0041 0   unknown prog tests 0 inspect
12.5  17.9  .13  .13  17   .15  0  
float-newlib/float_req_bl_0660b.yml true .114  prog tests 4 inspect 21   17   570 240 .0041 0   unknown prog tests 0 inspect
11.4  17.9  .14  .14  16   .18  0  
float-newlib/float_req_bl_0661a.yml true .186  prog tests 6 inspect 41   38   550 410 .0041 0   unknown prog tests 0 inspect
18.6  26.5  .15  .14  17   .23  0  
float-newlib/float_req_bl_0661b.yml true .186  prog tests 5 inspect 13   10   540 150 .0041 0   unknown prog tests 0 inspect
18.6  26.5  .14  .14  17   .20  0  
float-newlib/float_req_bl_0662a.yml true .129  prog tests 3 inspect 21   17   600 230 .0041 0   unknown prog tests 0 inspect
12.9  17.1  .13  .13  17   .15  0  
float-newlib/float_req_bl_0662b.yml true .129  prog tests 3 inspect 21   17   580 220 .0041 0   unknown prog tests 0 inspect
12.9  17.1  .17  .18  16   .090 0  
float-newlib/float_req_bl_0663a.yml true .129  prog tests 3 inspect 21   17   580 230 .0041 0   unknown prog tests 0 inspect
12.9  17.1  .14  .13  17   .15  0  
float-newlib/float_req_bl_0663b.yml true .129  prog tests 3 inspect 21   17   610 260 .0041 0   unknown prog tests 0 inspect
12.9  17.1  .14  .14  17   .15  0  
float-newlib/float_req_bl_0670.yml true .0278 prog tests 5 inspect 16   13   580 190 .0041 0   unknown prog tests 0 inspect
2.78 5.08 .14  .14  17   .20  0  
float-newlib/float_req_bl_0682a.yml true .167  prog tests 3 inspect 52   49   560 480 .0041 0   unknown prog tests 0 inspect
16.7  23.8  .14  .14  17   .15  0  
float-newlib/float_req_bl_0682b.yml true .167  prog tests 3 inspect 56   53   590 760 .0041 0   unknown prog tests 0 inspect
16.7  23.8  .13  .13  16   .15  0  
float-newlib/float_req_bl_0683a.yml true .176  prog tests 7 inspect 70   67   610 720 .0041 0   unknown prog tests 0 inspect
17.6  26.2  .15  .14  17   .28  0  
float-newlib/float_req_bl_0683b.yml true .176  prog tests 7 inspect 75   72   620 700 .0041 0   unknown prog tests 0 inspect
17.6  26.2  .15  .16  17   .28  0  
float-newlib/float_req_bl_0684a.yml true .229  prog tests 9 inspect 21   18   570 260 .0041 0   unknown prog tests 0 inspect
22.9  30.3  .16  .15  17   .30  0  
float-newlib/float_req_bl_0684b.yml true .229  prog tests 9 inspect 54   51   570 550 .0041 0   unknown prog tests 0 inspect
22.9  30.3  .16  .15  17   .30  0  
float-newlib/float_req_bl_0710.yml true .231  prog tests 3 inspect 4.1 2.1 300 44 .0041 0   unknown prog tests 0 inspect
23.1  29.4  .13  .16  17   .12  0  
float-newlib/float_req_bl_0870a.yml true .0536 prog tests 6 inspect 37   34   790 440 .0041 0   true prog tests 1 inspect
5.36 6.27 .17  .19  18   .36  0  
float-newlib/float_req_bl_0870b.yml true .0357 prog tests 4 inspect 36   33   760 400 .0041 0   unknown prog tests 0 inspect
3.57 5.67 .16  .18  17   .27  0  
float-newlib/float_req_bl_0872a.yml true .012  prog tests 2 inspect 9.7 6.8 570 84 .0041 0   unknown prog tests 0 inspect
1.20 4.50 .15  .15  17   .18  0  
float-newlib/float_req_bl_0872b.yml true .012  prog tests 2 inspect 10   6.8 580 100 .0041 0   unknown prog tests 0 inspect
1.20 4.50 .14  .14  17   .18  0  
float-newlib/float_req_bl_0874.yml true .0655 prog tests 5 inspect 18   14   530 180 .0041 0   unknown prog tests 0 inspect
6.55 9.73 .17  .17  17   .32  0  
float-newlib/float_req_bl_0875.yml true .0824 prog tests 4 inspect 49   45   780 590 .0041 0   unknown prog tests 0 inspect
8.24 10.1  .16  .16  17   .27  0  
float-newlib/float_req_bl_0876.yml true .0706 prog tests 4 inspect 49   45   780 490 .0041 0   unknown prog tests 0 inspect
7.06 9.47 .16  .16  17   .27  0  
float-newlib/float_req_bl_0877.yml true .0774 prog tests 5 inspect 37   33   830 470 .0041 0   unknown prog tests 0 inspect
7.74 10.2  .16  .16  17   .32  0  
float-newlib/float_req_bl_0880.yml true .3    prog tests 15 inspect 110   100   900 1200 .0041 0   unknown prog tests 0 inspect
30.0  30.7  .21  .20  18   .78  0  
float-newlib/float_req_bl_0881.yml true .3    prog tests 15 inspect 110   100   900 1200 .0041 0   unknown prog tests 0 inspect
30.0  30.4  .21  .21  18   .78  0  
float-newlib/float_req_bl_0883.yml true .119  prog tests 11 inspect 23   18   810 310 .0041 0   unknown prog tests 0 inspect
11.9  14.8  .18  .18  17   .59  0  
float-newlib/float_req_bl_0920a.yml true .214  prog tests 7 inspect 8.2 5.8 500 75 .0041 0   unknown prog tests 0 inspect
21.4  27.1  .15  .19  17   .21  0  
float-newlib/float_req_bl_0970a.yml true .167  prog tests 3 inspect 5.7 3.4 320 58 .0041 0   unknown prog tests 0 inspect
16.7  21.6  .15  .17  17   .14  0  
float-newlib/float_req_bl_1121a.yml true .0526 prog tests 1 inspect 3.9 1.9 310 38 .0041 0   unknown prog tests 0 inspect
5.26 26.6  .12  .12  16   .086 0  
float-newlib/float_req_bl_1121b.yml true .0526 prog tests 1 inspect 4.0 2.0 310 38 .0041 0   unknown prog tests 0 inspect
5.26 26.6  .12  .13  16   .086 0  
float-newlib/float_req_bl_1122a.yml true .105  prog tests 3 inspect 3.9 1.9 310 41 .0041 0   unknown prog tests 0 inspect
10.5  26.6  .13  .13  16   .13  0  
float-newlib/float_req_bl_1122b.yml true .105  prog tests 3 inspect 4.0 1.9 310 38 .0041 0   unknown prog tests 0 inspect
10.5  26.6  .13  .13  16   .13  0  
float-newlib/float_req_bl_1130a.yml true .227  prog tests 6 inspect 4.7 2.5 310 47 .0041 0   unknown prog tests 0 inspect
22.7  32.4  .14  .15  16   .19  0  
float-newlib/float_req_bl_1130b.yml true .227  prog tests 6 inspect 4.7 2.6 310 42 .0041 0   unknown prog tests 0 inspect
22.7  32.4  .14  .14  17   .19  0  
float-newlib/float_req_bl_1131a.yml true .15   prog tests 2 inspect 4.0 2.0 310 44 .0041 0   unknown prog tests 0 inspect
15.0  33.3  .12  .12  16   .11  0  
float-newlib/float_req_bl_1131b.yml true .15   prog tests 2 inspect 4.1 2.0 310 45 .0041 0   unknown prog tests 0 inspect
15.0  33.3  .12  .12  16   .11  0  
float-newlib/float_req_bl_1211a.yml unknown .333  prog tests 3 inspect 4.1 2.0 300 40 .0041 0   unknown prog tests 0 inspect
33.3  61.9  .14  .13  17   .12  0  
float-newlib/float_req_bl_1211b.yml unknown .333  prog tests 3 inspect 4.0 1.9 300 38 .0041 0   unknown prog tests 0 inspect
33.3  61.9  .13  .16  16   .12  0  
float-newlib/float_req_bl_1231.yml true .06   prog tests 21 inspect 5.3 2.4 290 53 .0041 0   unknown prog tests 0 inspect
6.00 19.4  .19  .18  17   .50  0  
float-newlib/float_req_bl_1251.yml true .06   prog tests 19 inspect 5.1 2.4 300 42 .0041 0   unknown prog tests 0 inspect
6.00 21.9  .18  .19  16   .46  0  
float-newlib/float_req_bl_1270a.yml true .174  prog tests 5 inspect 22   20   410 230 .0041 0   unknown prog tests 0 inspect
17.4  28.1  .14  .14  16   .19  0  
float-newlib/float_req_bl_1270b.yml true .174  prog tests 5 inspect 22   20   410 260 .0041 0   unknown prog tests 0 inspect
17.4  28.1  .15  .15  17   .19  0  
float-newlib/float_req_bl_1270c.yml true .174  prog tests 5 inspect 22   20   410 270 .0041 0   unknown prog tests 0 inspect
17.4  30.5  .13  .13  16   .19  0  
float-newlib/float_req_bl_1270d.yml true .174  prog tests 5 inspect 22   20   410 310 .0041 0   unknown prog tests 0 inspect
17.4  30.5  .14  .16  16   .19  0  
float-newlib/float_req_bl_1271a.yml true .188  prog tests 6 inspect 16   13   350 220 .0041 0   unknown prog tests 0 inspect
18.8  28.5  .14  .14  17   .21  0  
float-newlib/float_req_bl_1271b.yml true .188  prog tests 5 inspect 17   14   350 230 .0041 0   unknown prog tests 0 inspect
18.8  30.8  .15  .15  17   .19  0  
float-newlib/float_req_bl_1381.yml true .5    prog tests 1 inspect 3.0 1.3 270 31 .0041 0   unknown prog tests 0 inspect
50.0  93.8  .11  .11  17   .078 0  
loop-floats-scientific-comp/loop1-1.yml unknown .75   prog tests 4 inspect 5.1 3.4 300 64 .0041 0   unknown prog tests 0 inspect
75.0  100    .14  .14  16   .13  0  
loop-floats-scientific-comp/loop1-2.yml unknown 1.0    prog tests 4 inspect 4.1 2.4 300 39 .0041 0   true prog tests 1 inspect
100    100    .13  .16  16   .13  0  
loop-floats-scientific-comp/loop2-1.yml unknown .9    prog tests 6 inspect 5.3 3.3 310 56 .0041 0   true prog tests 1 inspect
90.0  100    .16  .16  16   .16  0  
loop-floats-scientific-comp/loop2-2.yml unknown .8    prog tests 5 inspect 7.0 5.1 350 86 .0041 0   unknown prog tests 0 inspect
80.0  100    .13  .12  16   .14  0  
loop-floats-scientific-comp/loop3.yml unknown .8    prog tests 6 inspect 7.1 5.2 360 77 .0041 0   unknown prog tests 0 inspect
80.0  100    .13  .16  16   .16  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 99.1 41000 41000 130000 380000 .87 0   212 9910 13400 30 31 3500 41 0  
Run set cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Floats tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Floats