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-Arrays tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Arrays
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)
array-examples/sanfoundry_10_ground.yml .0556 900   880   5000 13000 .0041 0   5.56 40.0 .12  .12  16   .078 0  
array-examples/sanfoundry_24-1.yml .917  6.3 3.0 470 60 .0041 0   91.7  100   .13  .14  16   .15  0  
array-examples/standard_copy1_ground-1.yml .0    900   880   5900 11000 .0041 0   0    0   .057 .058 9.0 0     0  
array-examples/standard_copy1_ground-2.yml .0    900   880   7300 12000 .0041 0   0    0   .060 .061 9.0 0     0  
array-examples/standard_copy2_ground-1.yml .0    900   880   7400 10000 .0041 0   0    0   .061 .062 9.0 0     0  
array-examples/standard_copy2_ground-2.yml .0    900   880   7300 11000 .0041 0   0    0   .062 .063 9.1 0     0  
array-examples/standard_copy3_ground-1.yml .0833 900   880   8100 11000 .0041 0   8.33 23.1 .12  .12  16   .078 0  
array-examples/standard_copy3_ground-2.yml .0833 900   880   7900 11000 .0041 0   8.33 21.4 .13  .13  16   .078 0  
array-examples/standard_copy4_ground-1.yml .0    900   880   7000 11000 .0041 0   0    0   .061 .062 9.0 0     0  
array-examples/standard_copy4_ground-2.yml .0    900   880   8600 11000 .0041 0   0    0   .059 .060 9.0 0     0  
array-examples/standard_copy5_ground-1.yml .0    900   890   8200 14000 .0041 0   0    0   .062 .063 9.0 0     0  
array-examples/standard_copy5_ground-2.yml .0625 900   890   7000 12000 .0041 0   6.25 16.7 .12  .12  16   .078 0  
array-examples/standard_copy6_ground-1.yml .0556 900   890   7000 12000 .0041 0   5.56 15.0 .12  .12  16   .078 0  
array-examples/standard_copy6_ground-2.yml .0    900   890   8600 10000 .0041 0   0    0   .060 .061 9.0 0     0  
array-examples/standard_copy7_ground-1.yml .05   900   890   8900 11000 .0041 0   5.00 13.6 .12  .12  16   .082 0  
array-examples/standard_copy7_ground-2.yml .0    900   880   7500 13000 .0041 0   0    0   .061 .062 9.0 0     0  
array-examples/standard_copy8_ground-1.yml .0    900   890   7900 11000 .0041 0   0    0   .058 .059 9.0 0     0  
array-examples/standard_copy8_ground-2.yml .0455 900   890   9500 11000 .0041 0   4.55 12.5 .12  .16  16   .082 0  
array-examples/standard_copy9_ground-1.yml .0    900   890   11000 13000 .0041 0   0    0   .058 .059 9.0 0     0  
array-examples/standard_copy9_ground-2.yml .0    900   890   11000 11000 .0041 0   0    0   .061 .061 9.0 0     0  
array-examples/standard_copyInitSum_ground.yml .9    900   880   5800 11000 .0041 0   90.0  100   .12  .12  16   .078 0  
array-examples/standard_find_ground-1.yml .0    900   880   6600 11000 .0041 0   0    0   .060 .062 9.0 0     0  
array-examples/standard_partition_ground-1.yml .0714 900   880   6200 11000 .0041 0   7.14 27.3 .11  .11  16   .078 0  
array-examples/standard_sentinel-2.yml .0    900   880   9600 10000 .0041 0   0    0   .060 .060 9.0 0     0  
array-examples/standard_sentinel.i.v+cfa-reducer.yml .0    900   880   6800 13000 .0041 0   0    0   .061 .061 9.0 0     0  
array-examples/standard_strcpy_ground-1.yml .0    900   880   7200 13000 .0041 0   0    0   .061 .061 9.0 0     0  
array-examples/standard_strcpy_original-2.yml .0    900   880   6000 11000 .0041 0   0    0   .060 .060 9.0 0     0  
array-examples/standard_two_index_01.yml .0    900   880   4900 11000 .0041 0   0    0   .064 .065 9.0 0     0  
array-examples/standard_two_index_02.yml .0    900   880   5800 12000 .0041 0   0    0   .057 .058 9.0 0     0  
array-examples/standard_two_index_03.yml .0    900   880   5200 11000 .0041 0   0    0   .056 .057 9.0 0     0  
array-examples/standard_two_index_04.yml .0    900   880   6100 11000 .0041 0   0    0   .060 .060 9.0 0     0  
array-examples/standard_two_index_05.yml .0    900   880   5900 11000 .0041 0   0    0   .059 .059 9.0 0     0  
array-examples/standard_two_index_06.yml .0    900   880   5200 12000 .0041 0   0    0   .059 .060 9.1 0     0  
array-examples/standard_two_index_07.yml .0    900   880   5800 11000 .0041 0   0    0   .062 .063 9.0 0     0  
array-examples/standard_two_index_08.yml .0    900   880   6000 13000 .0041 0   0    0   .057 .058 9.1 0     0  
array-examples/standard_two_index_09.yml .0    900   880   6100 12000 .0041 0   0    0   .063 .064 9.0 0     0  
array-industry-pattern/array_monotonic.yml .0    900   880   7000 12000 .0041 0   0    0   .058 .068 9.0 0     0  
array-industry-pattern/array_mul_init.yml .0    900   880   5700 13000 .0041 0   0    0   .063 .064 9.0 0     0  
array-industry-pattern/array_of_struct_break.yml .0    900   900   3800 6000 .0041 0   0    0   .062 .062 9.0 0     0  
array-industry-pattern/array_of_struct_ptr_mul_init.yml .0    900   900   5700 10000 .0041 0   0    0   .057 .058 9.0 0     0  
array-industry-pattern/array_of_struct_single_elem_init.yml .0    900   900   7300 9200 .0041 0   0    0   .062 .063 8.9 0     0  
array-industry-pattern/array_ptr_single_elem_init-2.yml .214  900   880   5500 11000 .0041 0   21.4  35.3 .11  .12  16   .078 0  
array-industry-pattern/array_shadowinit.yml .875  3.5 1.5 280 29 .0041 0   87.5  100   .13  .13  16   .11  0  
array-industry-pattern/array_single_elem_init.yml .214  900   880   5400 11000 .0041 0   21.4  35.3 .11  .11  16   .078 0  
reducercommutativity/avg.yml .7    170   130   6900 1900 .0041 0   70.0  95.2 .12  .12  16   .078 0  
reducercommutativity/avg05-1.yml .8    900   890   2300 8900 .0041 0   80.0  94.7 .13  .13  16   .11  0  
reducercommutativity/avg10-2.yml .8    620   610   740 8300 .0041 0   80.0  94.7 .12  .12  17   .11  0  
reducercommutativity/avg20-2.yml .8    680   670   1800 6200 .0041 0   80.0  94.7 .13  .13  17   .11  0  
reducercommutativity/avg40-2.yml .8    320   300   15000 4000 .0041 0   80.0  94.7 .12  .15  16   .078 0  
reducercommutativity/avg60-1.yml .8    330   310   15000 4300 .0041 0   80.0  94.7 .12  .12  16   .078 0  
reducercommutativity/max.yml .7    900   900   400 12000 .0041 0   70.0  95.2 .12  .12  17   .094 0  
reducercommutativity/max05-1.yml .8    59   52   1900 610 .0041 0   80.0  94.7 .13  .13  16   .13  0  
reducercommutativity/max10-1.yml .8    900   890   1400 7400 .0041 0   80.0  94.7 .14  .14  16   .094 0  
reducercommutativity/max20-1.yml .8    900   890   1200 6400 .0041 0   80.0  94.7 .12  .12  16   .094 0  
reducercommutativity/max40-1.yml .8    900   890   4100 6900 .0041 0   80.0  94.7 .12  .12  16   .078 0  
reducercommutativity/max60-2.yml .8    830   810   15000 11000 .0041 0   80.0  94.7 .12  .12  16   .078 0  
reducercommutativity/rangesum.yml .875  57   49   520 620 .0041 0   87.5  96.8 .18  .18  16   .21  0  
reducercommutativity/rangesum05.yml .786  210   200   710 2100 .0041 0   78.6  92.6 .13  .19  16   .13  0  
reducercommutativity/rangesum10.yml .786  930   920   1900 9300 .0041 0   78.6  92.6 .14  .15  16   .11  0  
reducercommutativity/rangesum20.yml .786  730   720   1000 7800 .0041 0   78.6  92.6 .13  .13  16   .074 0  
reducercommutativity/rangesum40.yml .786  850   840   2300 11000 .0041 0