Benchmark Symbiotic TBF Test-Suite Validator
Tool symbiotic 6.0.3-dev-fd3f777b 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:07:32 CET 2019-02-06 14:52:39 CET
Run set symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Arrays tbf-testsuite-validator-symbiotic.test-comp19_prop-coverage-branches.ReachSafety-Arrays
Options --test-comp --verifier klee-testcomp --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/symbiotic.2019-02-06_0707.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 .833 850    850    2900 10000   0     0      83.3 90.0 4.8   4.8   390   .094 0  
array-examples/sanfoundry_24-1.yml .917 890    890    10000 10000   0     0      91.7 100   .15  .17  16   .13  0  
array-examples/standard_copy1_ground-1.yml .875 3.8  3.8  380 48   0     0      87.5 100   2.5   2.5   380   .078 0  
array-examples/standard_copy1_ground-2.yml .75  840    840    420 7400   0     0      75.0 90.0 5.1   5.1   760   .078 0  
array-examples/standard_copy2_ground-1.yml .8   840    840    530 7100   0     0      80.0 91.7 4.9   4.9   760   .078 0  
array-examples/standard_copy2_ground-2.yml .9   4.4  4.4  440 54   0     0      90.0 100   2.4   2.4   380   .078 0  
array-examples/standard_copy3_ground-1.yml .917 5.0  5.0  500 63   0     0      91.7 100   2.5   2.5   390   .078 0  
array-examples/standard_copy3_ground-2.yml .833 840    840    580 7300   0     0      83.3 92.9 5.0   5.0   760   .078 0  
array-examples/standard_copy4_ground-1.yml .929 5.6  5.6  560 77   0     0      92.9 100   2.5   2.6   390   .078 0  
array-examples/standard_copy4_ground-2.yml .857 840    840    640 8100   0     0      85.7 93.8 5.2   5.3   760   .078 0  
array-examples/standard_copy5_ground-1.yml .938 6.0  6.0  620 77   0     0      93.8 100   2.4   2.4   390   .078 0  
array-examples/standard_copy5_ground-2.yml .875 840    840    700 7500   0     0      87.5 94.4 5.1   5.1   760   .078 0  
array-examples/standard_copy6_ground-1.yml .889 840    840    760 7700   0     0      88.9 95.0 5.0   5.0   760   .078 0  
array-examples/standard_copy6_ground-2.yml .944 6.5  6.5  680 100   0     0      94.4 100   2.5   2.5   390   .078 0  
array-examples/standard_copy7_ground-1.yml .9   840    840    820 8300   0     0      90.0 95.5 4.9   4.9   760   .082 0  
array-examples/standard_copy7_ground-2.yml .95  7.3  7.3  740 100   0     0      95.0 100   2.5   2.5   390   .082 0  
array-examples/standard_copy8_ground-1.yml .955 7.9  7.9  800 130   0     0      95.5 100   2.4   2.5   390   .082 0  
array-examples/standard_copy8_ground-2.yml .909 840    840    880 7200   0     0      90.9 95.8 5.1   5.2   760   .082 0  
array-examples/standard_copy9_ground-1.yml .917 840    840    940 8300   0     0      91.7 96.2 5.0   5.0   760   .082 0  
array-examples/standard_copy9_ground-2.yml .958 8.5  8.5  850 110   0     0      95.8 100   2.5   2.5   390   .082 0  
array-examples/standard_copyInitSum_ground.yml .9   2.5  2.5  310 30   0     0      90.0 100   .12  .13  16   .074 0  
array-examples/standard_find_ground-1.yml .8   860    860    3600 10000   0     0      80.0 100   4.8   4.8   390   .094 0  
array-examples/standard_partition_ground-1.yml .0   45    45    15000 510   .016 0      0   0   .091 .093 8.9 0     0  
array-examples/standard_sentinel-2.yml .3   2.9  2.8  320 46   0     0      30.0 53.9 2.5   2.6   380   .057 0  
array-examples/standard_sentinel.i.v+cfa-reducer.yml .5   3.4  3.3  350 38   0     0      50.0 40.9 4.7   4.7   390   .094 0  
array-examples/standard_strcpy_ground-1.yml .8   860    860    5300 10000   0     0      80.0 100   4.9   4.9   390   .094 0  
array-examples/standard_strcpy_original-2.yml .75  870    870    5800 10000   0     0      75.0 100   4.8   4.8   390   .094 0  
array-examples/standard_two_index_01.yml .875 .64 .64 51 7.4 0     0      87.5 100   .36  .36  44   .078 0  
array-examples/standard_two_index_02.yml .875 3.1  3.1  300 35   0     0      87.5 100   2.5   2.5   380   .049 0  
array-examples/standard_two_index_03.yml .875 .55 .55 40 6.8 0     0      87.5 100   .35  .35  44   .078 0  
array-examples/standard_two_index_04.yml .875 2.6  2.6  260 33   0     0      87.5 100   2.5   2.5   380   .078 0  
array-examples/standard_two_index_05.yml .875 2.6  2.6  260 33   0     0      87.5 100   2.5   2.5   380   .078 0  
array-examples/standard_two_index_06.yml .875 .51 .51 38 7.2 0     0      87.5 100   .35  .35  44   .078 0  
array-examples/standard_two_index_07.yml .875 2.5  2.5  250 28   0     0      87.5 100   2.5   2.5   380   .078 0  
array-examples/standard_two_index_08.yml .875 2.5  2.5  240 29   0     0      87.5 100   2.5   2.5   380   .078 0  
array-examples/standard_two_index_09.yml .875 2.4  2.4  240 32   0     0      87.5 100   2.5   2.5   380   .078 0  
array-industry-pattern/array_monotonic.yml .0   14    13    15000 180   .074 0      0   0   .058 .060 8.9 0     0  
array-industry-pattern/array_mul_init.yml .0   10    10    15000 130   .016 0      0   0   .056 .056 8.9 0     0  
array-industry-pattern/array_of_struct_break.yml .9   1.4  1.4  170 22   0     0      90.0 100   .12  .12  17   .094 0  
array-industry-pattern/array_of_struct_ptr_mul_init.yml .0   13    13    15000 180   .070 0      0   0   .057 .058 8.9 0     0  
array-industry-pattern/array_of_struct_single_elem_init.yml .0   28    28    15000 160   .025 0      0   0   .064 .065 8.9 0     0  
array-industry-pattern/array_ptr_single_elem_init-2.yml .714 1.7  1.7  180 21   0     0      71.4 94.1 2.6   2.6   380   .078 0  
array-industry-pattern/array_shadowinit.yml .875 840    840    1200 14000   0     0      87.5 100   .12  .12  16   .11  0  
array-industry-pattern/array_single_elem_init.yml .0   15    14    15000 200   .074 0      0   0   .057 .058 9.0 0     0  
reducercommutativity/avg.yml .8   840    840    990 8800   0     0      80.0 95.2 .13  .13  16   .094 0  
reducercommutativity/avg05-1.yml .8   .35 .35 18 4.4 0     0      80.0 94.7 .12  .12  17   .078 0  
reducercommutativity/avg10-2.yml .8   .36 .36 18 4.1 0     0      80.0 94.7 .13  .21  16   .078 0  
reducercommutativity/avg20-2.yml .8   .37 .37 19 4.2 0     0      80.0 94.7 .11  .13  16   .078 0  
reducercommutativity/avg40-2.yml .8   .37 .37 19 4.9 0     0