Benchmark ESBMC-bkind TBF Test-Suite Validator
Tool ESBMC version 6.0.0 64-bit x86_64 linux 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:25 CET 2019-02-06 06:16:10 CET
Run set esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options -s kinduction --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/esbmc-kind.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)
eca-rers2012/Problem03_label09.yml 1 7.6  7.6  250 78   1.0  0   21.3  12.3  .48  .48  57   1.9  0  
eca-rers2012/Problem03_label13.yml 1 4.1  4.1  190 61   1.0  0   20.1  12.5  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label26.yml 1 4.1  4.1  190 46   1.0  0   16.8  12.1  .47  .47  57   1.7  0  
eca-rers2012/Problem03_label27.yml 1 4.2  4.2  190 43   1.0  0   19.3  12.3  .45  .47  57   1.6  0  
eca-rers2012/Problem03_label28.yml 1 4.2  4.2  190 44   1.0  0   18.9  12.3  .48  .48  57   1.6  0  
eca-rers2012/Problem03_label31.yml 1 4.2  4.2  190 49   1.0  0   19.8  12.1  .47  .47  57   1.7  0  
eca-rers2012/Problem03_label35.yml 1 7.5  7.5  250 79   1.0  0   21.8  12.1  .48  .48  58   1.7  0  
eca-rers2012/Problem03_label37.yml 1 4.1  4.1  190 51   1.0  0   16.0  11.9  .47  .47  58   1.3  0  
eca-rers2012/Problem03_label39.yml 1 7.6  7.6  250 73   1.0  0   21.1  12.3  .47  .47  57   1.9  0  
eca-rers2012/Problem03_label43.yml 1 4.2  4.2  190 47   1.0  0   15.6  12.2  .48  .49  57   1.7  0  
eca-rers2012/Problem03_label45.yml 1 7.8  7.8  250 110   1.0  0   22.6  12.1  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label50.yml 1 4.2  4.2  190 50   1.0  0   20.7  12.3  .47  .48  58   1.6  0  
eca-rers2012/Problem03_label52.yml 1 7.7  7.7  250 100   1.0  0   21.4  12.1  .46  .48  57   1.8  0  
eca-rers2012/Problem04_label04.yml 1 270    270    1700 2700   1.0  0   31.2  18.0  1.1   1.1   110   3.0  0  
eca-rers2012/Problem04_label06.yml 1 280    280    1800 3400   1.0  0   32.5  18.0  1.1   1.1   110   2.2  0  
eca-rers2012/Problem04_label09.yml 1 190    190    1400 1900   1.0  0   31.2  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label13.yml 1 200    200    1500 2300   1.0  0   31.1  18.2  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label15.yml 1 190    190    1500 2500   1.0  0   31.8  18.3  1.1   1.1   110   7.0  0  
eca-rers2012/Problem04_label18.yml 1 190    190    1400 2200   1.0  0   31.5  18.1  1.2   1.2   110   5.4  0  
eca-rers2012/Problem04_label19.yml 1 280    280    1700 3200   1.0  0   32.6  17.9  1.1   1.1   110   3.1  0  
eca-rers2012/Problem04_label26.yml 1 260    260    1700 3600   1.0  0   31.5  18.0  1.2   1.2   110   4.6  0  
eca-rers2012/Problem04_label31.yml 1 260    260    1800 3100   1.0  0   31.3  17.9  1.1   1.1   110   7.0  0  
eca-rers2012/Problem04_label32.yml 1 190    190    1400 2000   1.0  0   31.4  18.0  1.1   1.1   110   5.3  0  
eca-rers2012/Problem04_label35.yml 1 200    200    1500 2200   1.0  0   31.5  18.1  1.1   1.1   110   1.6  0  
eca-rers2012/Problem04_label38.yml 1 280    280    1800 3600   1.0  0   31.8  18.0  1.1   1.1   110   2.9  0  
eca-rers2012/Problem04_label39.yml 1 280    280    1800 3100   1.0  0   32.3  17.9  1.2   1.2   110   3.1  0  
eca-rers2012/Problem04_label45.yml 1 260    260    1700 2900   .86 0   31.2  18.0  1.1   1.1   110   4.8  0  
eca-rers2012/Problem04_label52.yml 1 270    270    1700 3100   1.0  0   32.8  18.0  1.1   1.1   110   5.5  0  
eca-rers2012/Problem04_label55.yml 1 200    200    1500 2100   1.0  0   30.5  18.1  1.1   1.1   110   5.4  0  
eca-rers2012/Problem05_label00.yml 1 120    120    1400 1700   .86 0   20.1  15.8  2.2   2.2   180   13    0  
eca-rers2012/Problem05_label01.yml 1 120    120    1400 1400   1.0  0   20.9  15.9  2.1   2.1   180   10    0  
eca-rers2012/Problem05_label11.yml 1 120    120    1400 1500   .86 0   20.6  16.0  2.1   2.2   180   4.1  0  
eca-rers2012/Problem05_label13.yml 1 130    130    1400 1300   .86 0   20.1  15.9  2.1   2.1   180   4.2  0  
eca-rers2012/Problem05_label15.yml 1 120    120    1400 1500   1.0  0   20.6  16.0  2.2   2.2   180   6.0  0  
eca-rers2012/Problem05_label18.yml 1 120    120    1400 1600   .86 0   21.4  15.9  2.1   2.1   180   4.3  0  
eca-rers2012/Problem05_label24.yml 1 130    130    1400 1500   1.0  0   21.2  16.1  2.2   2.2   180   9.7  0  
eca-rers2012/Problem05_label26.yml 1 120    120    1400 1700   .86 0   21.0  16.0  2.1   2.1   180   13    0  
eca-rers2012/Problem05_label30.yml 1 120    120    1400 1200   .86 0   20.7  16.1  2.2   2.2   180   12    0  
eca-rers2012/Problem05_label32.yml 1 120    120    1400 1700   .86 0   20.4  15.9  2.2   2.2   180   6.9  0  
eca-rers2012/Problem05_label33.yml 1 120    120    1400 1600   .86 0   19.4  15.9  2.2   2.2   180   14    0  
eca-rers2012/Problem05_label36.yml 1 110    110    1400 1100   1.0  0   19.8  16.0  2.1   2.2   180   9.1  0  
eca-rers2012/Problem05_label37.yml 1 120    120    1400 1600   .86 0   22.4  16.0  2.1   2.1   180   9.6  0  
eca-rers2012/Problem05_label38.yml 1 140    140    1400 1700   1.0  0   20.5  15.9  2.1   2.1   180   6.0  0  
eca-rers2012/Problem05_label39.yml 1 130    130    1400 1400   1.0  0   22.6  15.9  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label40.yml 1 120    120    1400 1700   1.0  0   21.6  16.0  2.2   2.2   180   6.9  0  
eca-rers2012/Problem05_label41.yml 1 120    120    1400 1500   .86 0   20.7  16.0  2.2   2.2   180   9.6  0  
eca-rers2012/Problem05_label44.yml 1 110    110    1400 1400   .86 0   22.0  16.0  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label47.yml 1 120    120    1400 1400   1.0  0   21.4  16.1  2.2   2.2   180   11    0  
eca-rers2012/Problem05_label48.yml 1 130    130    1400 1300   .86 0   19.2  15.9  2.1   2.1   180   14    0  
eca-rers2012/Problem05_label51.yml 1 120    120    1400 1500   1.0  0   19.8  15.9  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label55.yml 1 110    110    1400 1200   .86 0   20.2  15.9  2.1   2.2   180   4.3  0  
eca-rers2012/Problem05_label57.yml 1 120    120    1400 1700   1.0  0   20.6  15.9  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label58.yml 1 120    120    1400 1300   .86 0   19.7  15.9  2.2   2.2   180   4.7  0  
eca-rers2012/Problem06_label00.yml 1 83    83    1500 870   1.0  0   18.4  10.8  2.0   2.0   180   14    0  
eca-rers2012/Problem06_label01.yml 1 70    70    1500 770   1.0  0   18.1  10.7  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label02.yml 1 66    66    1500 670   .86 0   16.6  10.8  2.0   2.0   180   10    0  
eca-rers2012/Problem06_label04.yml 1 63    63    1500 810   .86 0   16.6  10.8  2.0   2.0   180   14    0  
eca-rers2012/Problem06_label05.yml 1 66    66    1500 670   .86 0   16.9  10.9  2.0   2.0   180   11    0  
eca-rers2012/Problem06_label09.yml 1 78    78    1500 830   .86 0   13.5  10.9  2.0   2.0   180   4.7  0  
eca-rers2012/Problem06_label10.yml 1 75    75    1500 890   .86 0   15.0  10.9  2.0   2.0   180   5.2  0  
eca-rers2012/Problem06_label11.yml 1 78    78    1500 830   .86 0