Benchmark VeriFuzz TBF Test-Suite Validator
Tool VeriFuzz 1.0.1 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-06 07:17:17 CET 2019-02-06 14:51:38 CET
Run set verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Arrays tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Arrays
Options --testcomp --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/verifuzz.2019-02-06_0717.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 .944 900   900   150 12000 .88 0      94.4 100   56     56     440   .44  0  
array-examples/sanfoundry_24-1.yml .917 900   900   150 12000 6.3  0      91.7 100   1.5   1.4   97   .41  0  
array-examples/standard_copy1_ground-1.yml .875 900   900   150 12000 .62 0      87.5 100   20     20     420   .19  0  
array-examples/standard_copy1_ground-2.yml .875 900   900   150 12000 1500    0      87.5 90.0 65     65     1100   .27  0  
array-examples/standard_copy2_ground-1.yml .9   900   900   150 11000 1300    0      90.0 91.7 64     64     1100   .27  0  
array-examples/standard_copy2_ground-2.yml .9   900   900   150 12000 .62 0      90.0 100   20     20     420   .19  0  
array-examples/standard_copy3_ground-1.yml .917 900   900   150 12000 .63 0      91.7 100   20     20     420   .19  0  
array-examples/standard_copy3_ground-2.yml .917 900   900   150 11000 1200    0      91.7 92.9 60     60     1000   .26  0  
array-examples/standard_copy4_ground-1.yml .929 900   900   150 11000 .63 0      92.9 100   20     20     420   .19  0  
array-examples/standard_copy4_ground-2.yml .929 900   900   150 11000 1100    0      92.9 93.8 53     54     1000   .24  0  
array-examples/standard_copy5_ground-1.yml .938 900   900   150 14000 .62 0      93.8 100   20     20     420   .19  0  
array-examples/standard_copy5_ground-2.yml .938 900   900   150 11000 1000    0      93.8 94.4 61     61     1000   .26  0  
array-examples/standard_copy6_ground-1.yml .944 900   900   160 11000 900    0      94.4 95.0 60     60     1000   .26  0  
array-examples/standard_copy6_ground-2.yml .944 900   900   150 9600 .64 0      94.4 100   20     20     420   .19  0  
array-examples/standard_copy7_ground-1.yml .95  900   900   150 12000 850    0      95.0 95.5 60     60     1000   .26  0  
array-examples/standard_copy7_ground-2.yml .95  900   900   150 14000 .63 0      95.0 100   20     20     420   .20  0  
array-examples/standard_copy8_ground-1.yml .955 900   900   150 10000 .65 0      95.5 100   20     20     420   .20  0  
array-examples/standard_copy8_ground-2.yml .955 900   900   150 12000 830    0      95.5 95.8 62     62     1000   .26  0  
array-examples/standard_copy9_ground-1.yml .958 900   900   160 12000 750    0      95.8 96.2 54     54     1000   .25  0  
array-examples/standard_copy9_ground-2.yml .958 900   900   150 11000 .65 0      95.8 100   20     20     420   .20  0  
array-examples/standard_copyInitSum_ground.yml .9   900   900   150 9800 .61 0      90.0 100   .15  .15  16   .19  0  
array-examples/standard_find_ground-1.yml .9   900   900   150 14000 .76 0      90.0 100   41     42     420   .34  0  
array-examples/standard_partition_ground-1.yml .929 900   900   160 12000 1700    0      92.9 95.5 60     60     550   .45  0  
array-examples/standard_sentinel-2.yml .8   900   900   4400 12000 .72 0      80.0 100   24     24     420   .23  0  
array-examples/standard_sentinel.i.v+cfa-reducer.yml .8   900   900   3000 11000 .75 0      80.0 86.4 22     22     420   .21  0  
array-examples/standard_strcpy_ground-1.yml .8   900   900   160 12000 .78 0      80.0 100   37     37     420   .31  0  
array-examples/standard_strcpy_original-2.yml .75  900   900   150 13000 .77 0      75.0 100   38     38     420   .31  0  
array-examples/standard_two_index_01.yml .875 900   900   150 14000 3.5  0      87.5 100   2.1   2.1   50   .19  0  
array-examples/standard_two_index_02.yml .875 900   900   150 12000 .62 0      87.5 100   19     19     420   .19  0  
array-examples/standard_two_index_03.yml .875 900   910   150 13000 3.5  0      87.5 100   2.2   2.2   50   .19  0  
array-examples/standard_two_index_04.yml .875 900   900   150 9700 .61 0      87.5 100   19     19     420   .19  0  
array-examples/standard_two_index_05.yml .875 900   900   150 14000 .62 0      87.5 100   19     19     420   .19  0  
array-examples/standard_two_index_06.yml .875 900   910   150 13000 3.5  0      87.5 100   2.1   2.1   50   .19  0  
array-examples/standard_two_index_07.yml .875 900   900   150 14000 .62 0      87.5 100   20     20     420   .19  0  
array-examples/standard_two_index_08.yml .875 900   900   150 12000 .62 0      87.5 100   20     20     420   .19  0  
array-examples/standard_two_index_09.yml .875 900   900   150 12000 .62 0      87.5 100   19     19     420   .19  0  
array-industry-pattern/array_monotonic.yml .9   900   900   150 12000 .87 0      90.0 100   28     28     230   .44  0  
array-industry-pattern/array_mul_init.yml .857 900   900   1600 12000 .83 0      85.7 100   58     58     770   .32  0  
array-industry-pattern/array_of_struct_break.yml .9   900   900   150 14000 .60 0      90.0 100   .15  .14  17   .19  0  
array-industry-pattern/array_of_struct_ptr_mul_init.yml .857 900   900   510 12000 .93 0      85.7 100   69     69     730   .34  0  
array-industry-pattern/array_of_struct_single_elem_init.yml .917 900   900   150 13000 .72 0      91.7 100   79     79     930   .32  0  
array-industry-pattern/array_ptr_single_elem_init-2.yml .857 900   900   150 13000 2800    0      85.7 94.1 70     70     580   .52  0  
array-industry-pattern/array_shadowinit.yml .875 900   910   160 11000 2.5  0      87.5 100   .15  .18  16   .26  0  
array-industry-pattern/array_single_elem_init.yml .929 900   900   160 12000 .95 0      92.9 100   62     63     440   .47  0  
reducercommutativity/avg.yml .8   900   910   150 12000 1.2  .27   80.0 95.2 .19  .18  16   .31  0  
reducercommutativity/avg05-1.yml .8   900   920   150 11000 1.0  0      80.0 94.7 .16  .15  16   .19  0  
reducercommutativity/avg10-2.yml .8   900   920   150 10000 1.1  0      80.0 94.7 .15  .14  16   .19  0  
reducercommutativity/avg20-2.yml .8