Benchmark PRtest TBF Test-Suite Validator
Tool tbf v0.3.0-testcomp19 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* [apollon010; apollon052; apollon080; apollon107; apollon135; apollon167]
OS Linux 4.15.0-45-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2019-02-06 06:02:44 CET 2019-02-06 13:26:19 CET
Run set prtest.test-comp19_prop-coverage-error-call.ReachSafety-Floats tbf-testsuite-validator-prtest.test-comp19_prop-coverage-error-call.ReachSafety-Floats
Options --stats -i random --write-xml --svcomp-nondets --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/prtest.2019-02-06_0602.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_4.yml unknown 1 prog tests 4 inspect .27 .45 31 2.7 0      0    true prog tests 1 inspect
50.0  90.9  .12 .12 17 .078 0  
floats-cdfpl/newton_1_5.yml unknown 1 prog tests 4 inspect .25 .44 31 3.0 0      0    true prog tests 1 inspect
66.7  90.9  .13 .12 16 .094 0  
floats-cdfpl/newton_1_6.yml unknown 1 prog tests 4 inspect .24 .44 31 3.5 0      0    true prog tests 1 inspect
66.7  90.9  .13 .13 16 .094 0  
floats-cdfpl/newton_1_7.yml unknown 1 prog tests 4 inspect .27 .45 30 4.7 0      0    true prog tests 1 inspect
66.7  90.9  .13 .13 17 .094 0  
floats-cdfpl/newton_1_8.yml unknown 1 prog tests 4 inspect .26 .45 31 3.0 0      0    true prog tests 1 inspect
66.7  90.9  .12 .13 16 .094 0  
floats-cdfpl/newton_2_6.yml unknown 1 prog tests 4 inspect .24 .42 30 3.2 0      0    true prog tests 1 inspect
66.7  91.7  .12 .12 17 .094 0  
floats-cdfpl/newton_2_7.yml unknown 1 prog tests 4 inspect .24 .43 31 3.5 0      0    true prog tests 1 inspect
66.7  91.7  .12 .12 16 .094 0  
floats-cdfpl/newton_2_8.yml unknown 1 prog tests 4 inspect .26 .45 31 2.8 0      0    true prog tests 1 inspect
66.7  91.7  .12 .12 16 .094 0  
floats-cdfpl/newton_3_6.yml unknown 1 prog tests 4 inspect .27 .46 31 3.2 0      0    true prog tests 1 inspect
66.7  92.3  .14 .14 16 .098 0  
floats-cdfpl/newton_3_7.yml unknown 1 prog tests 4 inspect .26 .45 31 3.2 0      0    true prog tests 1 inspect
66.7  92.3  .13 .13 16 .098 0  
floats-cdfpl/newton_3_8.yml unknown 1 prog tests 4 inspect .26 .44 31 5.0 0      0    true prog tests 1 inspect
50.0  92.3  .12 .12 17 .082 0  
floats-cdfpl/sine_1.yml unknown 1 prog tests 4 inspect .25 .44 30 3.1 0      0    true prog tests 1 inspect
37.5  87.5  .12 .12 17 .078 0  
floats-cdfpl/sine_2.yml unknown 1 prog tests 4 inspect .28 .47 31 3.1 0      0    true prog tests 1 inspect
37.5  87.5  .13 .13 16 .078 0  
floats-cdfpl/sine_3.yml unknown 1 prog tests 4 inspect .25 .34 31 2.5 0      0    true prog tests 1 inspect
37.5  87.5  .12 .12 17 .078 0  
floats-cdfpl/square_1.yml unknown 1 prog tests 4 inspect .31 .47 31 3.3 0      0    true prog tests 1 inspect
62.5  88.9  .12 .12 16 .094 0  
floats-cdfpl/square_2.yml unknown 1 prog tests 4 inspect 1.3  1.5  31 15   0      0    true prog tests 1 inspect
75.0  100    .13 .13 16 .11  0  
floats-cdfpl/square_3.yml unknown 1 prog tests 4 inspect 8.0  7.7  31 91   0      0    true prog tests 1 inspect
87.5  100    .13 .13 17 .13  0  
float-benchs/cast_float_ptr.yml unknown prog tests 4 inspect .25 .43 31 3.6 0      0    unknown prog tests 0 inspect
8.33 37.5  .13 .13 16 .13  0  
float-benchs/cast_union_loose.yml unknown 1 prog tests 4 inspect 3.3  3.3  31 40   0      0    true prog tests 1 inspect
50.0  92.3  .12 .12 17 .094 0  
float-benchs/cast_union_tight.yml unknown 1 prog tests 1 inspect .25 .45 30 3.1 0      0    true prog tests 1 inspect
50.0  91.7  .12 .14 16 .078 0  
float-benchs/float_int_inv_square.yml timeout prog tests 3 inspect 900    840    31 9900   .0041 0    unknown prog tests 0 inspect
83.3  100    .13 .13 16 .11  0  
float-benchs/inv_Newton-2.yml unknown prog tests 3 inspect .25 .43 31 3.0 0      0    unknown prog tests 0 inspect
6.25 15.0  .14 .14 17 .11  0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml unknown prog tests 3 inspect .27 .45 31 3.2 0      0    unknown prog tests 0 inspect
11.1  17.6  .14 .14 16 .12  0  
float-benchs/inv_square-1.yml unknown 1 prog tests 4 inspect .26 .36 31 2.6 0      0    true prog tests 1 inspect
62.5  77.8  .12 .12 16 .094 0  
float-benchs/nan_double.yml unknown prog tests 2 inspect .25 .43 31 3.5 0      0    unknown prog tests 0 inspect
50.0  100    .12 .12 16 .094 0  
float-benchs/nan_float.yml unknown 1 prog tests 2 inspect .26 .45 31 2.9 0      0    true prog tests 1 inspect
50.0  80.0  .12 .12 16 .078 0  
float-benchs/sin_interpolated_index-1.yml timeout prog tests 5 inspect 900    840    31 12000   .012  0    unknown prog tests 0 inspect
6.25 13.0  .14 .14 16 .20  0  
float-benchs/sqrt_poly2.yml unknown prog tests 3 inspect .24 .43 31 3.6 0      0    unknown prog tests 0 inspect
8.33 15.8  .13 .13 16 .11  0  
float-newlib/double_req_bl_0870a.yml timeout prog tests 2 inspect 900    840    31 13000   .0041 0    unknown prog tests 0 inspect
3.85 6.29 .17 .17 18 .19  0  
float-newlib/float_req_bl_0870a.yml unknown 1 prog tests 3 inspect 350    330    31 5300   0      0    true prog tests 1 inspect
3.57 5.67 .16 .16 17 .14  0  
loop-floats-scientific-comp/loop1-2.yml unknown 1 prog tests 2 inspect 680    640    47 9800   0      0    true prog tests 1 inspect
75.0  92.9  .60 .61 45 .094 0  
loop-floats-scientific-comp/loop2-1.yml unknown 1 prog tests 4 inspect 710    660    42 11000   0      .13 true prog tests 1 inspect
60.0  95.2  .20 .20 21 .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 32 24 4500 4200 1000 61000 .020 .13 32 1570 2400 4.7 4.7 560 3.3 0  
Run set prtest.test-comp19_prop-coverage-error-call.ReachSafety-Floats tbf-testsuite-validator-prtest.test-comp19_prop-coverage-error-call.ReachSafety-Floats