Benchmark CPA/CoVeriTest TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30375 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* [apollon049; apollon085; apollon116]
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:05:56 CET 2019-02-06 05:30:26 CET
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options -benchmark -heap 10000M -testcomp19 --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/coveritest.2019-02-05_2105.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 21   5.8 760 170 .50  0   21.3  12.3  .45  .45  57   1.7  0  
eca-rers2012/Problem03_label13.yml 1 19   5.6 760 170 .45  0   20.2  12.5  .48  .49  57   1.3  0  
eca-rers2012/Problem03_label26.yml 1 16   4.6 610 150 .33  0   16.5  12.1  .47  .47  57   1.4  0  
eca-rers2012/Problem03_label27.yml 1 18   5.1 590 160 .39  0   18.9  12.3  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label28.yml 1 18   5.2 620 160 .41  0   18.3  12.3  .49  .49  57   1.7  0  
eca-rers2012/Problem03_label31.yml 1 20   5.5 700 160 .45  0   20.0  12.1  .45  .46  58   1.7  0  
eca-rers2012/Problem03_label35.yml 1 21   5.9 810 160 .54  0   21.8  12.1  .45  .45  58   1.7  0  
eca-rers2012/Problem03_label37.yml 1 15   4.4 530 130 .29  0   16.0  11.9  .46  .46  57   .71 0  
eca-rers2012/Problem03_label39.yml 1 20   5.8 750 160 .50  0   20.9  12.3  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label43.yml 1 16   4.5 530 150 .29  0   15.6  12.2  .49  .49  57   1.3  0  
eca-rers2012/Problem03_label45.yml 1 20   6.1 880 170 .56  0   22.5  12.1  .50  .50  57   1.3  0  
eca-rers2012/Problem03_label50.yml 1 19   5.4 710 150 .45  0   20.2  12.3  .50  .51  57   1.3  0  
eca-rers2012/Problem03_label52.yml 1 20   6.0 890 180 .55  0   21.4  12.1  .47  .47  57   1.3  0  
eca-rers2012/Problem04_label04.yml 1 140   84   4800 1200 0     0   31.2  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label06.yml 1 130   95   4700 1400 0     0   32.6  18.0  1.2   1.2   110   2.2  0  
eca-rers2012/Problem04_label09.yml 1 99   65   4100 1000 0     0   31.1  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label13.yml 1 110   72   4500 970 0     0   31.1  18.2  1.2   1.2   110   4.6  0  
eca-rers2012/Problem04_label15.yml 1 100   66   4200 950 0     0   31.7  18.3  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label18.yml 1 230   150   5600 2300 7.4   0   31.5  18.1  1.2   1.2   110   2.2  0  
eca-rers2012/Problem04_label19.yml 1 240   170   6300 2600 9.0   0   32.6  17.9  1.1   1.1   110   4.7  0  
eca-rers2012/Problem04_label26.yml 1 110   76   4500 1100 0     0   31.5  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label31.yml 1 210   140   5800 2000 8.0   0   31.3  17.9  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label32.yml 1 200   130   5500 2000 7.4   0   31.4  18.0  1.3   1.3   110   6.2  0  
eca-rers2012/Problem04_label35.yml 1 230   150   5600 2600 7.0   0   31.5  18.1  1.2   1.2   110   .99 0  
eca-rers2012/Problem04_label38.yml 1 220   140   5700 2200 7.7   0   31.7  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label39.yml 1 120   85   4500 1400 0     0   32.2  17.9  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label45.yml 1 120   75   4700 1100 0     0   30.9  18.0  1.1   1.1   110   5.5  0  
eca-rers2012/Problem04_label52.yml 1 120   74   4800 1100 0     0   32.8  18.0  1.2   1.2   110   4.6  0  
eca-rers2012/Problem04_label55.yml 1 110   65   4500 970 0     0   30.6  18.1  1.2   1.2   110   4.7  0  
eca-rers2012/Problem05_label00.yml 1 180   130   5000 2000 0     0   20.2  15.8  2.2   2.2   180   12    0  
eca-rers2012/Problem05_label01.yml 1 140   100   4800 1400 0     0   21.1  15.9  2.1   2.2   180   10    0  
eca-rers2012/Problem05_label11.yml 1 130   85   4700 1100 0     0   20.6  16.0  2.1   2.1   180   8.4  0  
eca-rers2012/Problem05_label13.yml 1 250   160   5600 2400 0     0   20.2  15.9  2.4   2.4   180   11    0  
eca-rers2012/Problem05_label15.yml 1 120   85   4800 1200 0     0   20.9  16.0  2.2   2.2   180   4.6  0  
eca-rers2012/Problem05_label18.yml 1 120   81   4700 1100 0     0   21.6  15.9  2.3   2.3   180   10    0  
eca-rers2012/Problem05_label24.yml 1 130   90   4800 1300 0     0   21.2  16.1  2.2   2.2   180   14    0  
eca-rers2012/Problem05_label26.yml 1 190   140   5000 2000 0     0   21.1  16.0  2.2   2.2   180   5.3  0  
eca-rers2012/Problem05_label30.yml 1 110   78   3900 1200 0     0   20.7  16.1  2.2   2.2   180   10    0  
eca-rers2012/Problem05_label32.yml 1 130   98   4900 1400 0     0   20.4  15.9  2.1   2.1   180   13    0  
eca-rers2012/Problem05_label33.yml 1 200   140   5000 2300 0     0   19.5  15.9  2.2   2.2   180   12    0  
eca-rers2012/Problem05_label36.yml 1 130   90   4500 1200 0     0   19.8  16.0  2.1   2.1   180   9.3  0  
eca-rers2012/Problem05_label37.yml 1 130   93   4800 1300 0     0   22.6  16.0  2.2   2.2   180   9.6  0  
eca-rers2012/Problem05_label38.yml 1 300   220   5900 3600 0     0   20.4  15.9  2.2   2.2   180   10    0  
eca-rers2012/Problem05_label39.yml 1 180   130   5100 1800 0     0   22.5  15.9  2.2   2.2   180   2.3  0  
eca-rers2012/Problem05_label40.yml 1 140   100   4900 1400 0     0   21.5  16.0  2.2   2.2   180   11    0  
eca-rers2012/Problem05_label41.yml 1 260   180   5200 2500 0     0   20.5  16.0  2.2   2.2   180   3.6  0  
eca-rers2012/Problem05_label44.yml 1 240   170   5300 2600 0     0   21.9  16.0  2.2   2.2   180   13    0  
eca-rers2012/Problem05_label47.yml 1 120   88   4200 1300 0     0   21.6  16.1  2.1   2.1   180   14    0  
eca-rers2012/Problem05_label48.yml 1 200   140   5000 2200 0     0   19.3  15.9  2.4   2.4   180   10    0  
eca-rers2012/Problem05_label51.yml 1 130   96   4800 1400 0     0   19.8  15.9  2.0   2.0   180   3.3  0  
eca-rers2012/Problem05_label55.yml 1 150   110   4900 1400 0     0   20.1  15.9  2.2   2.2   180   9.7  0  
eca-rers2012/Problem05_label57.yml 1 130   93   4800 1400 0     0   20.6  15.9  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label58.yml 1 180   130   5000 1800 0     0   19.5  15.9  2.2   2.2   180   13    0  
eca-rers2012/Problem06_label00.yml 1 99   60   3900 960 0     0   16.1  10.7  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label01.yml 1 98   63   3600 930 0     0   18.1  10.7  2.0   2.0   180   9.9  0  
eca-rers2012/Problem06_label02.yml 1 180   130   4700 2000 0     0   16.7  10.8  2.0   2.0   180   2.5  0  
eca-rers2012/Problem06_label04.yml 1 120   87   4000 1000 0     0   16.3  10.8  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label05.yml 1 94   60   3500 890 0     0   16.9  10.9  2.0   2.0   180   3.3  0  
eca-rers2012/Problem06_label09.yml 1 110   71   4000 920 0     0   13.5  10.9  2.0   2.0   180   9.2  0  
eca-rers2012/Problem06_label10.yml 1 90   58   3700 880 0     0   14.9  10.9  2.1   2.1   180   9.1  0  
eca-rers2012/Problem06_label11.yml 1 95   63   3800 920 0     0