Benchmark FairFuzz TBF Test-Suite Validator
Tool FairFuzz TC-0.0.2 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-08 09:39:09 CET 2019-02-08 13:22:04 CET
Run set fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-Arrays tbf-testsuite-validator-fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-Arrays
Options --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/fairfuzz.2019-02-08_0939.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    910    53 11000   .78 0     94.4 100   29     29     440   .26  0  
array-examples/sanfoundry_24-1.yml .75  900    910    98 13000   .38 0     75.0 77.8 63     64     580   .57  0  
array-examples/standard_copy1_ground-1.yml .875 900    910    28 10000   .30 0     87.5 100   2.6   2.6   410   .078 0  
array-examples/standard_copy1_ground-2.yml 1.0   900    910    70 11000   .32 0     100   100   40     40     930   .19  0  
array-examples/standard_copy2_ground-1.yml 1.0   900    910    60 14000   .31 0     100   100   36     36     920   .18  0  
array-examples/standard_copy2_ground-2.yml .9   900    910    23 9900   .30 0     90.0 100   2.6   2.6   410   .078 0  
array-examples/standard_copy3_ground-1.yml .917 900    910    23 14000   .31 0     91.7 100   2.6   2.6   410   .078 0  
array-examples/standard_copy3_ground-2.yml 1.0   900    910    76 12000   .31 0     100   100   50     50     950   .23  0  
array-examples/standard_copy4_ground-1.yml .929 900    910    23 12000   .31 0     92.9 100   2.6   2.6   410   .078 0  
array-examples/standard_copy4_ground-2.yml 1.0   900    910    69 11000   .31 0     100   100   39     39     930   .19  0  
array-examples/standard_copy5_ground-1.yml .938 900    910    26 12000   .30 0     93.8 100   2.5   2.5   410   .078 0  
array-examples/standard_copy5_ground-2.yml 1.0   900    910    65 11000   .31 0     100   100   42     42     930   .19  0  
array-examples/standard_copy6_ground-1.yml 1.0   900    910    68 11000   .31 .061 100   100   40     40     930   .19  0  
array-examples/standard_copy6_ground-2.yml .944 900    910    23 10000   .31 0     94.4 100   2.6   2.6   410   .078 0  
array-examples/standard_copy7_ground-1.yml 1.0   900    910    83 11000   .31 0     100   100   55     56     970   .25  0  
array-examples/standard_copy7_ground-2.yml .95  900    910    24 13000   .31 0     95.0 100   2.6   2.6   410   .082 0  
array-examples/standard_copy8_ground-1.yml .955 900    910    26 12000   .31 0     95.5 100   2.6   2.6   410   .082 0  
array-examples/standard_copy8_ground-2.yml 1.0   900    910    63 14000   .31 0     100   100   35     35     920   .18  0  
array-examples/standard_copy9_ground-1.yml 1.0   900    910    57 9900   .31 0     100   100   30     30     910   .16  0  
array-examples/standard_copy9_ground-2.yml .958 900    910    29 12000   .31 0     95.8 100   2.6   2.6   410   .082 0  
array-examples/standard_copyInitSum_ground.yml .9   49    47    11 290   .22 0     90.0 100   .12  .12  16   .078 0  
array-examples/standard_find_ground-1.yml .9   900    910    70 11000   .77 0     90.0 100   41     41     450   .34  0  
array-examples/standard_partition_ground-1.yml .0   1.4  1.4  10 15   .23 0     0   0   .057 .059 9.0 0     0  
array-examples/standard_sentinel-2.yml .8   710    720    29 10000   .32 0     80.0 100   7.3   7.3   410   .11  0  
array-examples/standard_sentinel.i.v+cfa-reducer.yml .8   720    730    28 8600   .32 0     80.0 86.4 7.4   7.4   410   .11  0  
array-examples/standard_strcpy_ground-1.yml .8   900    910    63 12000   .57 0     80.0 100   39     39     440   .32  0  
array-examples/standard_strcpy_original-2.yml .75  900    910    63 12000   .63 0     75.0 100   36     36     440   .31  0  
array-examples/standard_two_index_01.yml .875 420    420    15 6100   .23 0     87.5 100   .36  .36  44   .078 0  
array-examples/standard_two_index_02.yml .875 900    910    24 11000   .30 0     87.5 100   2.5   2.5   410   .078 0  
array-examples/standard_two_index_03.yml .875 410    410    14 5200   .24 0     87.5 100   .37  .37  44   .078 0  
array-examples/standard_two_index_04.yml .875 900    910    24 11000   .30 0     87.5 100   2.6   2.6   410   .078 0  
array-examples/standard_two_index_05.yml .875 900    910    23 12000   .32 0     87.5 100   2.6   2.6   410   .078 0  
array-examples/standard_two_index_06.yml .875 420    420    15 5300   .25 0     87.5 100   .36  .38  44   .078 0  
array-examples/standard_two_index_07.yml .875 900    910    25 11000   .31 0     87.5 100   2.5   2.5   410   .078 0  
array-examples/standard_two_index_08.yml .875 900    910    25 11000   .31 0     87.5 100   2.7   2.7   410   .078 0  
array-examples/standard_two_index_09.yml .875 900    910    26 11000   .32 0     87.5 100   2.5   2.5   410   .078 0  
array-industry-pattern/array_monotonic.yml .9   860    860    35 13000   .47 0     90.0 100   12     12     210   .23  0  
array-industry-pattern/array_mul_init.yml .857 900    910    160 11000   1.1  .045 85.7 100   120     120     520   .85  0  
array-industry-pattern/array_of_struct_break.yml .9   34    32    12 110   .21 0     90.0 100   .12  .14  16   .094 0  
array-industry-pattern/array_of_struct_ptr_mul_init.yml .857 900    910    83 12000   .84 .020 85.7 100   50     51     450   .41  0  
array-industry-pattern/array_of_struct_single_elem_init.yml .917 900    910    67 13000   .44 0     91.7 100   39     39     840   .19  0  
array-industry-pattern/array_ptr_single_elem_init-2.yml .0   1.3  1.4  12 16   .20 0     0   0   .089 .091 9.0 0     0  
array-industry-pattern/array_shadowinit.yml .875 42    39    22 150   .30 .46  87.5 100   .21  .23  17   .52  0  
array-industry-pattern/array_single_elem_init.yml .929 900    910    69 13000   .70 0     92.9 100   46     46     450   .36  0  
reducercommutativity/avg.yml .8   20    18    20 43   .33 0     80.0 95.2 .18  .23  17   .36  0  
reducercommutativity/avg05-1.yml .8   30    28    18 90   .21 .061 80.0 94.7 .12  .12  17   .078 0  
reducercommutativity/avg10-2.yml .8   33    30    17 84   .22 0     80.0 94.7 .12  .12  17   .078 0  
reducercommutativity/avg20-2.yml .8   35    33    14 110   .23 .13