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-error-call.ReachSafety-Floats tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-error-call.ReachSafety-Floats
Options -benchmark -heap 10000M -testcomp19 --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --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_4.yml done 1 prog tests 1 inspect 94   92   380 610 .0082 0   true prog tests 1 inspect
50.0  90.9  .12  .12  17   .078 0  
floats-cdfpl/newton_1_5.yml done 1 prog tests 1 inspect 77   75   370 540 .0082 0   true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_1_6.yml done 1 prog tests 1 inspect 64   63   370 630 .0082 0   true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_1_7.yml done 1 prog tests 1 inspect 41   39   370 330 .0082 0   true prog tests 1 inspect
50.0  90.9  .15  .15  16   .078 0  
floats-cdfpl/newton_1_8.yml done 1 prog tests 1 inspect 36   33   380 290 .0082 0   true prog tests 1 inspect
50.0  90.9  .12  .12  16   .078 0  
floats-cdfpl/newton_2_6.yml done 1 prog tests 1 inspect 160   150   480 1100 .0082 0   true prog tests 1 inspect
50.0  91.7  .12  .12  17   .078 0  
floats-cdfpl/newton_2_7.yml done 1 prog tests 1 inspect 100   100   480 760 .0082 0   true prog tests 1 inspect
50.0  91.7  .12  .12  16   .078 0  
floats-cdfpl/newton_2_8.yml done 1 prog tests 1 inspect 62   60   470 600 .0082 0   true prog tests 1 inspect
50.0  91.7  .12  .12  16   .078 0  
floats-cdfpl/newton_3_6.yml done 1 prog tests 1 inspect 310   310   600 2300 .0082 0   true prog tests 1 inspect
50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/newton_3_7.yml done 1 prog tests 1 inspect 220   210   600 1900 .0082 0   true prog tests 1 inspect
50.0  92.3  .12  .15  17   .082 0  
floats-cdfpl/newton_3_8.yml done 1 prog tests 1 inspect 190   180   600 1300 .0082 0   true prog tests 1 inspect
50.0  92.3  .12  .12  16   .082 0  
floats-cdfpl/sine_1.yml done 1 prog tests 1 inspect 29   27   340 290 .0041 0   true prog tests 1 inspect
37.5  87.5  .12  .12  16   .078 0  
floats-cdfpl/sine_2.yml done 1 prog tests 1 inspect 66   64   350 590 .0041 0   true prog tests 1 inspect
37.5  87.5  .13  .13  16   .078 0  
floats-cdfpl/sine_3.yml done 1 prog tests 1 inspect 300   290   450 2800 .0041 0   true prog tests 1 inspect
37.5  87.5  .12  .12  16   .078 0  
floats-cdfpl/square_1.yml done 1 prog tests 1 inspect 37   32   1500 400 .0041 0   true prog tests 1 inspect
50.0  88.9  .12  .12  16   .078 0  
floats-cdfpl/square_2.yml done 1 prog tests 1 inspect 200   200   1600 2100 .0041 0   true prog tests 1 inspect
50.0  88.9  .12  .12  16   .078 0  
floats-cdfpl/square_3.yml done 1 prog tests 1 inspect 82   77   1500 750 .0041 0   true prog tests 1 inspect
50.0  88.9  .12  .12  16   .078 0  
float-benchs/cast_float_ptr.yml done prog tests 1 inspect 3.4 1.6 270 33 .0082 0   unknown prog tests 0 inspect
16.7  68.8  .12  .13  16   .078 0  
float-benchs/cast_union_loose.yml done prog tests 1 inspect 3.7 1.8 280 40 .0082 0   unknown prog tests 0 inspect
50.0  100    .12  .12  16   .078 0  
float-benchs/cast_union_tight.yml done prog tests 1 inspect 3.8 1.8 270 40 .0082 0   unknown prog tests 0 inspect
50.0  100    .12  .12  17   .078 0  
float-benchs/float_int_inv_square.yml done 1 prog tests 1 inspect 3.6 1.7 280 35 .0041 0   true prog tests 1 inspect
50.0  75.0  .12  .12  16   .078 0  
float-benchs/inv_Newton-2.yml done prog tests 1 inspect 6.1 4.1 350 63 .012  0   unknown prog tests 0 inspect
6.25 15.0  .12  .12  16   .082 0  
float-benchs/inv_Newton.c.p+cfa-reducer.yml done 1 prog tests 1 inspect 6.8 4.7 350 74 .012  0   true prog tests 1 inspect
55.6  78.4  .12  .12  16   .078 0  
float-benchs/inv_square-1.yml done 1 prog tests 1 inspect 3.4 1.6 270 34 .0082 0   true prog tests 1 inspect
50.0  77.8  .11  .11  16   .078 0  
float-benchs/nan_double.yml done prog tests 1 inspect 3.4 1.5 270 31 .0041 0   unknown prog tests 0 inspect
50.0  100    .12  .12  16   .078 0  
float-benchs/nan_float.yml done prog tests 1 inspect 3.2 1.5 260 31 .0041 0   unknown prog tests 0 inspect
50.0  100    .11  .11  16   .078 0  
float-benchs/sin_interpolated_index-1.yml done 1 prog tests 1 inspect 25   16   570 220 .14   0   true prog tests 1 inspect
50.0  82.6  .13  .13  16   .10  0  
float-benchs/sqrt_poly2.yml done 1 prog tests 1 inspect 15   13   440 120 .0082 0   true prog tests 1 inspect
41.7  89.5  .12  .12  17   .082 0  
float-newlib/double_req_bl_0870a.yml exception prog tests 0 inspect 6.9 2.7 460 63 .020  0   error (0) prog tests 0 inspect
0    0    .065 .066 8.9 0     0  
float-newlib/float_req_bl_0870a.yml done 1 prog tests 1 inspect 350   350   2700 3200 .0082 0   true prog tests 1 inspect
3.57 5.67 .16  .16  18   .14  0  
loop-floats-scientific-comp/loop1-2.yml done 1 prog tests 1 inspect 4.2 2.4 300 40 .0082 0   true prog tests 1 inspect
50.0  92.9  .12  .12  17   .078 0  
loop-floats-scientific-comp/loop2-1.yml done 1 prog tests 1 inspect 4.6 2.6 300 51 .0082 0   true prog tests 1 inspect
50.0  95.2  .14  .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 32 25 2500 2400 18000 21000 .38 0   32 1390 2620 3.8 3.9 520 2.5 0  
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-Floats tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-error-call.ReachSafety-Floats