Benchmark KLEE TBF Test-Suite Validator
Tool KLEE 2.0.0-pre-test-comp 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:09:47 CET 2019-02-06 06:16:47 CET
Run set klee.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-klee.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/klee.2019-02-05_2109.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 1.0  1.0  45 12   .18  0   21.3  12.3  .49  .49  58   1.3  0  
eca-rers2012/Problem03_label13.yml 1 .52 .54 34 6.1 .18  0   20.2  12.5  .47  .47  58   1.7  0  
eca-rers2012/Problem03_label26.yml 1 .79 .80 39 8.5 .18  0   16.8  12.1  .48  .48  58   1.3  0  
eca-rers2012/Problem03_label27.yml 1 .91 .94 42 11   .18  0   19.2  12.3  .45  .45  57   1.4  0  
eca-rers2012/Problem03_label28.yml 1 .84 .86 40 11   .18  0   18.5  12.3  .46  .46  57   1.4  0  
eca-rers2012/Problem03_label31.yml 1 .63 .65 36 7.9 .18  0   20.2  12.1  .46  .46  58   1.3  0  
eca-rers2012/Problem03_label35.yml 1 1.1  1.1  45 14   .18  0   21.8  12.1  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label37.yml 1 1.2  1.2  49 16   .18  0   23.0  12.9  .45  .45  57   1.6  0  
eca-rers2012/Problem03_label39.yml 1 1.0  1.0  45 12   .18  0   21.2  12.3  .46  .46  58   1.6  0  
eca-rers2012/Problem03_label43.yml 1 1.5  1.5  59 17   .18  0   15.8  12.2  .51  .51  57   1.7  0  
eca-rers2012/Problem03_label45.yml 1 1.1  1.1  48 17   .18  0   22.5  12.1  .48  .48  57   1.3  0  
eca-rers2012/Problem03_label50.yml 1 .72 .75 38 8.5 .18  0   20.4  12.3  .46  .46  57   1.7  0  
eca-rers2012/Problem03_label52.yml 1 1.2  1.2  50 18   .18  0   21.5  12.1  .48  .49  57   1.3  0  
eca-rers2012/Problem04_label04.yml 1 240    240    2900 1900   .50  0   31.2  18.0  1.1   1.1   110   2.3  0  
eca-rers2012/Problem04_label06.yml 1 300    300    3500 2200   .50  0   32.5  18.0  1.1   1.1   110   5.4  0  
eca-rers2012/Problem04_label09.yml 1 280    280    3300 1800   .50  0   31.1  18.0  1.1   1.1   110   4.8  0  
eca-rers2012/Problem04_label13.yml 1 220    220    2700 1600   .50  0   31.2  18.2  1.1   1.2   110   6.2  0  
eca-rers2012/Problem04_label15.yml 1 69    69    1100 640   .50  0   31.7  18.3  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label18.yml 1 220    220    2700 1800   .50  0   31.5  18.1  1.1   1.1   110   5.0  0  
eca-rers2012/Problem04_label19.yml 1 200    200    2500 1700   .50  0   32.3  17.9  1.1   1.1   110   5.1  0  
eca-rers2012/Problem04_label26.yml 1 250    250    3000 2400   .50  0   31.4  18.0  1.1   1.2   110   .96 0  
eca-rers2012/Problem04_label31.yml 1 270    270    3200 2700   .50  0   31.3  17.9  1.1   1.1   110   2.5  0  
eca-rers2012/Problem04_label32.yml 1 280    280    3200 2000   .50  0   31.4  18.0  1.1   1.1   110   5.9  0  
eca-rers2012/Problem04_label35.yml 1 230    230    2800 1600   .50  0   31.4  18.1  1.1   1.2   110   6.2  0  
eca-rers2012/Problem04_label38.yml 1 240    240    2900 1800   .50  0   31.6  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label39.yml 1 330    330    3700 2500   .50  0   32.2  17.9  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label45.yml 1 270    270    3100 2000   .50  0   30.9  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label52.yml 1 330    330    3700 2000   .50  0   32.8  18.0  1.1   1.2   110   4.9  0  
eca-rers2012/Problem04_label55.yml 1 190    190    2500 1600   .50  0   30.7  18.1  1.1   1.1   110   4.7  0  
eca-rers2012/Problem05_label00.yml 1 66    66    1100 560   1.3   0   20.1  15.8  2.2   2.2   180   6.2  0  
eca-rers2012/Problem05_label01.yml 1 120    120    1800 860   1.3   0   20.9  15.9  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label11.yml 900    900    8900 7700   1.3   0   0    0    .061 .063 8.9 0    0  
eca-rers2012/Problem05_label13.yml 1 420    420    4700 2500   1.3   0   20.2  15.9  2.1   2.2   180   5.6  0  
eca-rers2012/Problem05_label15.yml 900    900    8800 6300   1.3   0   0    0    .060 .060 9.0 0    0  
eca-rers2012/Problem05_label18.yml 1 56    56    990 530   1.3   0   21.4  15.9  2.4   2.4   180   4.2  0  
eca-rers2012/Problem05_label24.yml 1 25    25    550 340   1.3   0   21.2  16.1  2.2   2.2   180   9.9  0  
eca-rers2012/Problem05_label26.yml 900    900    8700 5600   1.3   0   0    0    .068 .069 9.0 0    0  
eca-rers2012/Problem05_label30.yml 1 130    130    1900 1100   1.3   0   20.7  16.1  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label32.yml 1 280    280    3500 2400   1.3   0   20.4  15.9  2.2   2.2   180   11    0  
eca-rers2012/Problem05_label33.yml 900    900    8800 5500   1.3   0   0    0    .058 .058 9.0 0    0  
eca-rers2012/Problem05_label36.yml 1 71    71    1300 810   1.3   0   19.7  16.0  2.2   2.2   180   5.6  0  
eca-rers2012/Problem05_label37.yml 1 230    230    2900 1600   1.3   0   22.3  16.0  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label38.yml 1 150    150    2100 1300   1.3   0   20.4  15.9  2.2   2.2   180   7.9  0  
eca-rers2012/Problem05_label39.yml 1 110    110    1700 800   1.3   0   22.5  15.9  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label40.yml 1 37    37    770 430   1.3   0   21.4  16.0  2.3   2.3   180   4.1  0  
eca-rers2012/Problem05_label41.yml 1 32    32    620 280   1.3   0   20.6  16.0  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label44.yml 1 110    110    1600 800   1.3   0   21.9  16.0  2.1   2.1   180   9.7  0  
eca-rers2012/Problem05_label47.yml 1 150    150    2100 1100   1.3   0   21.4  16.1  2.2   2.2   180   10    0  
eca-rers2012/Problem05_label48.yml 1 820    820    8100 5200   1.3   0   19.3  15.9  2.2   2.2   180   5.0  0  
eca-rers2012/Problem05_label51.yml 1 660    660    6900 5000   1.3   0   19.8  15.9  2.1   2.1   180   4.6  0  
eca-rers2012/Problem05_label55.yml 1 280    280    3400 1800   1.3   0   20.0  15.9  2.1   2.1   180   5.9  0  
eca-rers2012/Problem05_label57.yml 1 220    220    2900 2200   1.3   0   20.8  15.9  2.1   2.1   180   13    0  
eca-rers2012/Problem05_label58.yml 1 250    250    3200 1800   1.3   0   19.5  15.9  2.1   2.1   180   11    0  
eca-rers2012/Problem06_label00.yml 1 62    62    1300 540   1.1   0   16.0  10.7  2.1   2.1   180   4.4  0  
eca-rers2012/Problem06_label01.yml 900    900    9500 6000   1.2   0   0    0    .067 .067 9.0 0    0  
eca-rers2012/Problem06_label02.yml 1 190    190    3000 1700   1.1   0   16.6  10.8  2.2   2.2   180   2.4  0  
eca-rers2012/Problem06_label04.yml 1 96    96    1800 790   1.1   0   16.5  10.8  2.0   2.0   180   12    0  
eca-rers2012/Problem06_label05.yml 1 31    31    740 290   1.1   0   16.9  10.9  1.9   1.9   180   8.9  0  
eca-rers2012/Problem06_label09.yml 1 530    530    7000 4500   1.1   0   13.5  10.9  2.1   2.1   180   8.5  0  
eca-rers2012/Problem06_label10.yml 1 77    77    1500 630   1.1   0   14.9  10.9  2.1   2.1   180   8.5  0  
eca-rers2012/Problem06_label11.yml 1 29    29    690 290   1.1   0   15.5  10.7  1.9   1.9   180   11    0  
eca-rers2012/Problem06_label12.yml 1 480    480    6500 3600   1.1   0   16.1  10.7  2.0   2.0   180   9.4  0  
eca-rers2012/Problem06_label15.yml 1 440    440    6000 3000   1.1   0