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-error-call.ReachSafety-ECA tbf-testsuite-validator-symbiotic.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options --test-comp --verifier klee-testcomp --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --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)
eca-rers2012/Problem03_label09.yml 1 30   30   190 450 0      0      21.3  12.3  .46  .46  58   1.3  0  
eca-rers2012/Problem03_label13.yml 1 29   29   100 410 0      0      20.2  12.5  .44  .44  58   1.3  0  
eca-rers2012/Problem03_label26.yml 1 29   29   85 420 0      0      16.8  12.1  .46  .46  58   1.3  0  
eca-rers2012/Problem03_label27.yml 1 29   29   120 420 0      0      19.2  12.3  .45  .45  57   1.3  0  
eca-rers2012/Problem03_label28.yml 1 30   30   170 390 0      0      18.5  12.3  .44  .45  58   1.4  0  
eca-rers2012/Problem03_label31.yml 1 30   30   160 380 0      0      20.0  12.1  .43  .44  57   1.3  0  
eca-rers2012/Problem03_label35.yml 1 31   31   290 380 0      0      22.1  12.1  .49  .51  57   1.3  0  
eca-rers2012/Problem03_label37.yml 1 28   28   84 300 0      0      16.1  11.9  .45  .49  58   1.3  0  
eca-rers2012/Problem03_label39.yml 1 31   31   250 400 0      0      21.2  12.3  .46  .46  57   1.3  0  
eca-rers2012/Problem03_label43.yml 1 29   29   84 380 0      0      15.8  12.2  .45  .45  57   1.3  0  
eca-rers2012/Problem03_label45.yml 1 30   30   230 400 0      0      22.5  12.1  .48  .50  57   1.3  0  
eca-rers2012/Problem03_label50.yml 1 30   30   150 420 0      0      20.4  12.3  .45  .48  57   1.3  0  
eca-rers2012/Problem03_label52.yml 1 31   31   290 390 0      0      21.5  12.1  .45  .48  57   1.4  0  
eca-rers2012/Problem04_label04.yml 1 410   410   9300 3500 0      0      31.2  18.0  1.1   1.1   110   2.2  0  
eca-rers2012/Problem04_label06.yml 1 480   480   11000 3300 0      0      32.6  18.0  1.1   1.1   110   5.2  0  
eca-rers2012/Problem04_label09.yml 1 250   250   5600 2800 0      0      31.2  18.0  1.1   1.1   110   5.5  0  
eca-rers2012/Problem04_label13.yml 1 320   320   7000 2600 0      0      31.0  18.2  1.1   1.2   110   4.8  0  
eca-rers2012/Problem04_label15.yml 1 280   280   6400 3600 0      0      31.6  18.3  1.1   1.1   110   5.7  0  
eca-rers2012/Problem04_label18.yml 1 330   330   7400 3700 0      0      31.6  18.1  1.1   1.1   110   .86 0  
eca-rers2012/Problem04_label19.yml 1 860   860   15000 5600 0      7300      32.6  17.9  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label26.yml 1 340   340   7500 3300 0      0      31.4  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label31.yml 1 440   440   9800 3400 0      0      31.3  17.9  1.1   1.1   110   4.8  0  
eca-rers2012/Problem04_label32.yml 1 290   290   6400 3400 0      0      31.4  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label35.yml 1 270   270   5700 2500 0      0      31.5  18.1  1.2   1.2   110   4.6  0  
eca-rers2012/Problem04_label38.yml 1 360   360   8100 3300 0      0      31.7  18.0  1.0   1.1   110   5.5  0  
eca-rers2012/Problem04_label39.yml 1 420   420   9700 3200 0      0      32.3  17.9  1.0   1.1   110   4.6  0  
eca-rers2012/Problem04_label45.yml 1 300   300   6900 3800 0      0      31.1  18.0  1.0   1.0   110   4.6  0  
eca-rers2012/Problem04_label52.yml 1 450   450   10000 3700 0      0      32.7  18.0  1.1   1.1   110   4.9  0  
eca-rers2012/Problem04_label55.yml 1 390   390   8600 2800 0      0      30.5  18.1  1.1   1.1   110   4.6  0  
eca-rers2012/Problem05_label00.yml 900   900   15000 6300 .041  .0041 0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem05_label01.yml 900   900   15000 6500 .033  .0082 0    0    .057 .058 8.9 0    0  
eca-rers2012/Problem05_label11.yml 1 630   630   14000 4800 0      0      20.4  16.0  2.1   2.1   180   10    0  
eca-rers2012/Problem05_label13.yml 900   900   15000 7100 .029  .0082 0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem05_label15.yml 1 730   730   15000 6400 0      4500      20.7  16.0  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label18.yml 900   900   15000 5900 .041  .0082 0    0    .059 .060 8.8 0    0  
eca-rers2012/Problem05_label24.yml 900   900   15000 6300 .037  .0041 0    0    .056 .057 8.9 0    0  
eca-rers2012/Problem05_label26.yml 1 890   890   15000 8200 0      7300      21.1  16.0  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label30.yml 900   900   15000 6800 .020  .0041 0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem05_label32.yml 900   900   15000 6400 .020  .0041 0    0    .057 .058 8.9 0    0  
eca-rers2012/Problem05_label33.yml 900   900   15000 5900 .033  .0041 0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem05_label36.yml 900   900   15000 4800 .033  .0041 0    0    .058 .058 8.9 0    0  
eca-rers2012/Problem05_label37.yml 900   900   15000 6400 .020  .012  0    0    .059 .060 8.9 0    0  
eca-rers2012/Problem05_label38.yml 880   880   15000 7000 .029  .0082 0    0    .064 .065 8.9 0    0  
eca-rers2012/Problem05_label39.yml 900   900   15000 6300 .025  .0082 0    0    .063 .064 8.9 0    0  
eca-rers2012/Problem05_label40.yml 900   900   15000 6300 .025  .0082 0    0    .059 .060 8.9 0    0  
eca-rers2012/Problem05_label41.yml 900   900   15000 6300 .025  .0082 0    0    .088 .090 8.9 0    0  
eca-rers2012/Problem05_label44.yml 890   890   15000 6700 .037  .012  0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem05_label47.yml 900   900   15000 5900 .029  .0041 0    0    .056 .057 8.9 0    0  
eca-rers2012/Problem05_label48.yml 880   880   15000 8700 .029  .0041 0    0    .080 .081 9.0 0    0  
eca-rers2012/Problem05_label51.yml 900   900   15000 6900 .053  6800      0    0    .064 .064 9.0 0    0  
eca-rers2012/Problem05_label55.yml 900   900   15000 5900 .029  .0041 0    0    .071 .071 9.0 0    0  
eca-rers2012/Problem05_label57.yml 890   890   15000 7500 .033  .012  0    0    .083 .084 9.0 0    0  
eca-rers2012/Problem05_label58.yml 900   900   15000 6800 .037  .0041 0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem06_label00.yml 1 190   190   2400 2600 0      0      15.9  10.7  1.9   1.9   180   8.8  0  
eca-rers2012/Problem06_label01.yml 1 320   320   7100 3500 0      0      18.1  10.7  1.9   1.9   180   3.3  0  
eca-rers2012/Problem06_label02.yml 1 270   270   5600 2800 0      0      16.7  10.8  2.0   2.0   180   8.9  0  
eca-rers2012/Problem06_label04.yml 1 160   160   780 1900 0      0      16.5  10.8  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label05.yml 1 250   250   5100 3400 0      0      16.7  10.9  2.0   2.0   180   2.5  0  
eca-rers2012/Problem06_label09.yml 610   610   15000 4500 .033  .0041 0    0    .072 .072 8.9 0    0  
eca-rers2012/Problem06_label10.yml 1 290   290   6400 3800 0      0      14.9  10.9  2.0   2.0   180   9.9  0  
eca-rers2012/Problem06_label11.yml 1 330   330   7700 3800 0      0      15.5  10.7  1.9   1.9   180   9.6  0  
eca-rers2012/Problem06_label12.yml 1 310   310   7000 3200 0      0      16.1  10.7  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label15.yml 1 200   200   2700 2400 0      0      16.7  10.9  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label20.yml 1 160   160   960 2400 0      0      14.5  10.9  1.9   1.9   180   9.1  0  
eca-rers2012/Problem06_label21.yml 600   600   15000 5400 .029  .0041 0    0    .060 .060 8.9 0    0  
eca-rers2012/Problem06_label24.yml 610   610   15000 3400 .029  0      0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem06_label27.yml 1 170   170   1500 2600 0      0      15.0  10.9  1.9   1.9   180   11    0  
eca-rers2012/Problem06_label29.yml 600   600   15000 4600 .029  .0041