Benchmark VeriFuzz TBF Test-Suite Validator
Tool VeriFuzz 1.0.1 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:17:17 CET 2019-02-06 14:51:38 CET
Run set verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options --testcomp --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/verifuzz.2019-02-06_0717.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 9.5 6.0 280 110 1.3  0      21.3  12.3  .46  .51  57   1.3  0  
eca-rers2012/Problem03_label13.yml 1 10   6.8 280 120 1.4  0      20.2  12.5  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label26.yml 1 8.2 4.6 290 78 1.3  0      16.8  12.1  .45  .45  58   1.3  0  
eca-rers2012/Problem03_label27.yml 1 8.2 4.6 280 92 1.3  0      19.2  12.3  .45  .45  58   1.3  0  
eca-rers2012/Problem03_label28.yml 1 8.1 4.4 280 87 1.3  0      18.8  12.3  .47  .47  58   1.3  0  
eca-rers2012/Problem03_label31.yml 1 8.3 4.9 270 85 1.3  0      20.2  12.1  .46  .46  58   1.3  0  
eca-rers2012/Problem03_label35.yml 1 10   6.7 290 100 1.3  0      21.8  12.1  .48  .56  57   .34 0  
eca-rers2012/Problem03_label37.yml 1 8.1 4.7 280 73 1.3  0      18.2  12.9  .45  .45  57   1.3  0  
eca-rers2012/Problem03_label39.yml 1 8.4 4.9 280 78 1.3  0      21.2  12.3  .44  .44  58   1.3  0  
eca-rers2012/Problem03_label43.yml 1 8.4 4.6 290 80 1.3  0      17.8  14.0  .47  .47  58   1.3  0  
eca-rers2012/Problem03_label45.yml 1 12   7.9 280 120 1.4  0      22.4  12.1  .47  .47  57   1.3  0  
eca-rers2012/Problem03_label50.yml 1 9.5 5.9 290 100 1.3  0      20.2  12.3  .46  .46  58   1.3  0  
eca-rers2012/Problem03_label52.yml 1 8.6 5.3 280 110 1.3  0      21.5  12.1  .45  .45  57   1.3  0  
eca-rers2012/Problem04_label04.yml 1 93   90   340 1100 3.0  0      31.2  18.0  1.1   1.1   110   2.2  0  
eca-rers2012/Problem04_label06.yml 1 91   87   340 1300 3.0  0      32.6  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label09.yml 1 93   90   340 1400 3.1  0      31.3  18.0  1.0   1.0   110   6.2  0  
eca-rers2012/Problem04_label13.yml 1 85   82   360 1200 3.3  0      31.2  18.2  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label15.yml 1 88   85   330 1000 3.1  0      31.5  18.3  1.1   1.1   110   3.0  0  
eca-rers2012/Problem04_label18.yml 1 82   78   340 1100 3.0  0      31.5  18.1  1.1   1.1   110   4.8  0  
eca-rers2012/Problem04_label19.yml 1 86   83   340 1100 3.0  0      33.1  18.1  1.1   1.1   110   3.2  0  
eca-rers2012/Problem04_label26.yml 1 84   81   340 1000 3.3  0      31.4  18.0  1.0   1.0   110   4.6  0  
eca-rers2012/Problem04_label31.yml 1 87   83   350 1200 3.0  0      31.3  17.9  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label32.yml 1 90   86   340 1300 3.1  0      31.5  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label35.yml 1 79   76   350 1000 3.0  0      31.6  18.1  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label38.yml 1 95   92   350 1000 3.0  0      31.6  18.0  1.1   1.1   110   4.8  0  
eca-rers2012/Problem04_label39.yml 1 93   89   350 1100 3.1  0      32.3  17.9  1.0   1.0   110   4.6  0  
eca-rers2012/Problem04_label45.yml 1 93   90   340 1100 3.6  0      31.1  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label52.yml 1 96   92   340 1200 3.3  0      32.8  18.0  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label55.yml 1 86   82   350 1100 3.0  0      30.5  18.1  1.1   1.2   110   1.0  0  
eca-rers2012/Problem05_label00.yml 1 49   44   480 690 8.7  0      20.1  15.8  2.1   2.1   180   5.0  0  
eca-rers2012/Problem05_label01.yml 1 59   54   480 840 6.5  0      20.9  15.9  2.0   2.0   180   9.6  0  
eca-rers2012/Problem05_label11.yml 1 31   26   490 390 8.7  0      20.5  16.0  2.1   2.1   180   9.6  0  
eca-rers2012/Problem05_label13.yml 1 52   46   490 610 6.5  0      20.2  15.9  2.3   2.3   180   10    0  
eca-rers2012/Problem05_label15.yml 1 75   70   480 910 4.9  0      20.8  16.0  2.0   2.0   180   8.3  0  
eca-rers2012/Problem05_label18.yml 1 72   67   480 950 6.5  0      21.5  15.9  2.0   2.0   180   3.2  0  
eca-rers2012/Problem05_label24.yml 1 28   23   480 340 6.5  0      21.2  16.1  2.0   2.0   180   10    0  
eca-rers2012/Problem05_label26.yml 1 67   62   490 860 4.9  0      21.0  16.0  2.1   2.1   180   9.6  0  
eca-rers2012/Problem05_label30.yml 1 37   32   490 450 4.9  0      20.8  16.1  2.1   2.1   180   9.9  0  
eca-rers2012/Problem05_label32.yml 1 69   64   480 830 6.5  0      20.3  15.9  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label33.yml 1 64   59   490 830 6.5  0      19.5  15.9  2.2   2.2   180   11    0  
eca-rers2012/Problem05_label36.yml 1 59   54   480 640 6.5  0      19.8  16.0  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label37.yml 1 55   50   480 640 6.5  0      22.4  16.0  2.0   2.0   180   4.3  0  
eca-rers2012/Problem05_label38.yml 1 38   32   500 450 8.7  0      20.5  15.9  2.1   2.1   180   5.2  0  
eca-rers2012/Problem05_label39.yml 1 48   43   490 620 6.5  0      22.5  15.9  2.1   2.1   180   12    0  
eca-rers2012/Problem05_label40.yml 1 57   52   490 680 6.5  0      21.4  16.0  2.0   2.0   180   14    0  
eca-rers2012/Problem05_label41.yml 1 57   52   490 630 6.5  0      20.7  16.0  2.0   2.0   180   9.6  0  
eca-rers2012/Problem05_label44.yml 1 59   54   490 750 6.5  0      21.9  16.0  2.0   2.0   180   10    0  
eca-rers2012/Problem05_label47.yml 1 59   54   480 800 8.7  0      21.6  16.1  2.0   2.0   180   14    0  
eca-rers2012/Problem05_label48.yml 1 74   69   490 880 6.5  0      19.3  15.9  2.1   2.1   180   7.3  0  
eca-rers2012/Problem05_label51.yml 1 79   73   490 970 4.9  0      19.8  15.9  2.1   2.1   180   4.9  0  
eca-rers2012/Problem05_label55.yml 1 38   32   480 460 4.9  0      20.1  15.9  2.1   2.1   180   5.4  0  
eca-rers2012/Problem05_label57.yml 1 39   33   480 520 6.5  0      20.6  15.9  2.1   2.1   180   9.9  0  
eca-rers2012/Problem05_label58.yml 1 43   37   490 510 6.5  0      19.6  15.9  2.1   2.1   180   9.6  0  
eca-rers2012/Problem06_label00.yml 1 21   15   450 250 6.3  0      16.1  10.7  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label01.yml 1 21   15   470 240 6.9  0      18.1  10.7  1.8   1.8   180   10    0  
eca-rers2012/Problem06_label02.yml 1 21   16   460 240 5.5  0      16.6  10.8  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label04.yml 1 21   16   460 260 5.2  0      16.6  10.8  1.9   1.9   180   8.8  0  
eca-rers2012/Problem06_label05.yml 1 21   15   460 230 5.3  0      20.8  11.1  1.9   1.9   180   5.5  0  
eca-rers2012/Problem06_label09.yml 1 27   22   470 310 6.9  0      13.6  10.9  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label10.yml 1 18   13   470 190 5.2  0      14.9  10.9  1.9   1.9   180   8.6  0  
eca-rers2012/Problem06_label11.yml 1 25   20   470 290 6.9  0