Benchmark CPA/Tiger-MGP TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30541M 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:54 CET 2019-02-06 06:15:02 CET
Run set cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options -benchmark -heap 10000M -tigertestcomp19 --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/cpa-tiger.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 20 8.5 630 180 .0041 0   21.2  12.3 .46  .47  57   .33 0  
eca-rers2012/Problem03_label13.yml 1 18 7.1 690 150 .0041 0   20.2  12.5 .46  .50  58   1.3  0  
eca-rers2012/Problem03_label26.yml 1 19 6.9 660 180 .0041 0   16.7  12.1 .46  .47  57   1.7  0  
eca-rers2012/Problem03_label27.yml 1 19 6.9 660 170 .0041 0   19.1  12.3 .47  .47  57   1.3  0  
eca-rers2012/Problem03_label28.yml 1 19 7.1 690 170 .0041 0   18.3  12.3 .47  .47  57   1.7  0  
eca-rers2012/Problem03_label31.yml 1 20 7.6 560 200 .0041 0   20.0  12.1 .49  .50  57   1.3  0  
eca-rers2012/Problem03_label35.yml 1 20 8.4 750 190 .0041 0   21.8  12.1 .51  .51  57   1.6  0  
eca-rers2012/Problem03_label37.yml 1 17 6.6 650 190 .0041 0   16.0  11.9 .46  .46  58   1.7  0  
eca-rers2012/Problem03_label39.yml 1 19 7.8 740 190 .0041 0   20.9  12.3 .45  .47  58   1.4  0  
eca-rers2012/Problem03_label43.yml 1 19 7.1 640 180 .0041 0   15.6  12.2 .46  .47  58   1.7  0  
eca-rers2012/Problem03_label45.yml 1 22 9.3 660 220 .0041 0   22.5  12.1 .47  .48  57   1.7  0  
eca-rers2012/Problem03_label50.yml 1 19 7.9 560 180 .0041 0   20.2  12.3 .46  .46  58   1.5  0  
eca-rers2012/Problem03_label52.yml 1 20 7.8 600 180 .0041 0   21.4  12.1 .48  .48  57   1.6  0  
eca-rers2012/Problem04_label04.yml 1 93 70   3400 1000 .0041 0   31.2  18.0 1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label06.yml 1 120 86   3400 1000 .0041 0   32.6  18.0 1.1   1.1   110   5.9  0  
eca-rers2012/Problem04_label09.yml 1 85 58   3100 890 .0041 0   31.1  18.0 1.2   1.2   110   1.0  0  
eca-rers2012/Problem04_label13.yml 1 84 59   2900 830 .0041 0   31.1  18.2 1.2   1.2   110   5.0  0  
eca-rers2012/Problem04_label15.yml 1 87 58   3400 870 .0041 0   31.7  18.3 1.1   1.1   110   5.2  0  
eca-rers2012/Problem04_label18.yml 1 140 120   3700 1500 .0041 0   31.5  18.1 1.1   1.1   110   2.5  0  
eca-rers2012/Problem04_label19.yml 1 170 140   4500 1600 .0041 0   32.3  17.9 1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label26.yml 1 95 67   3000 1000 .0041 0   31.5  18.0 1.1   1.1   110   3.6  0  
eca-rers2012/Problem04_label31.yml 1 140 110   3800 1400 .0041 0   31.3  17.9 1.1   1.1   110   6.1  0  
eca-rers2012/Problem04_label32.yml 1 130 100   3100 1300 .0041 0   31.4  18.0 1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label35.yml 1 140 120   3500 1700 .0041 0   31.4  18.1 1.1   1.1   110   6.1  0  
eca-rers2012/Problem04_label38.yml 1 130 100   3500 1600 .0041 0   31.7  18.0 1.1   1.1   110   2.2  0  
eca-rers2012/Problem04_label39.yml 1 100 75   3100 1100 .0041 0   32.2  17.9 1.1   1.1   110   5.3  0  
eca-rers2012/Problem04_label45.yml 1 94 65   3100 990 .0041 0   30.9  18.0 1.1   1.1   110   5.5  0  
eca-rers2012/Problem04_label52.yml 1 89 63   3200 970 .0041 0   32.8  18.0 1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label55.yml 1 81 55   3000 800 .0041 0   30.6  18.1 1.2   1.2   110   5.3  0  
eca-rers2012/Problem05_label00.yml 1 120 97   3400 1300 .0041 0   20.4  15.8 2.2   2.2   180   4.3  0  
eca-rers2012/Problem05_label01.yml 1 120 92   2900 1200 .0041 0   21.1  15.9 2.2   2.2   180   10    0  
eca-rers2012/Problem05_label11.yml 1 100 78   2800 1100 .0041 0   20.6  16.0 2.2   2.2   180   4.2  0  
eca-rers2012/Problem05_label13.yml 1 130 100   3300 1600 .0041 0   20.1  15.9 2.1   2.1   180   3.3  0  
eca-rers2012/Problem05_label15.yml 1 100 77   3000 930 .0041 0   20.9  16.0 2.1   2.1   180   14    0  
eca-rers2012/Problem05_label18.yml 1 100 73   3000 1200 .0041 0   21.6  15.9 2.2   2.2   180   9.6  0  
eca-rers2012/Problem05_label24.yml 1 110 83   3100 1200 .0041 0   21.2  16.1 2.2   2.2   180   5.9  0  
eca-rers2012/Problem05_label26.yml 1 140 100   3300 1500 .0041 0   21.0  16.0 2.2   2.2   180   11    0  
eca-rers2012/Problem05_label30.yml 1 98 71   3100 1100 .0041 0   20.7  16.1 2.2   2.2   180   10    0  
eca-rers2012/Problem05_label32.yml 1 120 91   3300 1200 .0041 0   20.4  15.9 2.2   2.2   180   11    0  
eca-rers2012/Problem05_label33.yml 1 140 110   3300 1300 .0041 0   19.5  15.9 2.1   2.1   180   11    0  
eca-rers2012/Problem05_label36.yml 1 110 81   3000 1100 .0041 0   19.8  16.0 2.2   2.2   180   10    0  
eca-rers2012/Problem05_label37.yml 1 110 81   3300 980 .0041 0   22.6  16.0 2.1   2.2   180   7.6  0  
eca-rers2012/Problem05_label38.yml 1 210 180   3500 2600 .0041 0   20.5  15.9 2.1   2.1   180   6.1  0  
eca-rers2012/Problem05_label39.yml 1 130 95   3200 1500 .0041 0   22.6  15.9 2.1   2.1   180   11    0  
eca-rers2012/Problem05_label40.yml 1 130 95   3400 1300 .0041 0   21.5  16.0 2.1   2.1   180   13    0  
eca-rers2012/Problem05_label41.yml 1 160 130   3500 1600 .0041 0   20.7  16.0 2.0   2.0   180   6.3  0  
eca-rers2012/Problem05_label44.yml 1 150 120   3500 1500 .0041 0   22.0  16.0 2.1   2.1   180   10    0  
eca-rers2012/Problem05_label47.yml 1 110 79   3100 1000 .0041 0   21.6  16.1 2.3   2.3   180   9.6  0  
eca-rers2012/Problem05_label48.yml 1 130 100   3600 1400 .0041 0   19.2  15.9 2.1   2.1   180   11    0  
eca-rers2012/Problem05_label51.yml 1 110 85   3800 1300 .0041 0   19.8  15.9 2.2   2.2   180   11    0  
eca-rers2012/Problem05_label55.yml 1 120 97   3300 1500 .0041 0   20.1  15.9 2.1   2.1   180   12    0  
eca-rers2012/Problem05_label57.yml 1 110 84   3500 1200 .0041 0   20.6  15.9 2.2   2.2   180   11    0  
eca-rers2012/Problem05_label58.yml 1 130 95   2900 1400 .0041 0   19.5  15.9 2.2   2.2   180   13    0  
eca-rers2012/Problem06_label00.yml 1 71 50   2400 710 .0041 0   16.1  10.7 2.0   2.0   180   3.3  0  
eca-rers2012/Problem06_label01.yml 1 77 55   2500 730 .0041 0   18.1  10.7 2.0   2.0   180   10    0  
eca-rers2012/Problem06_label02.yml 1 130 100   2700 1300 .0041 0   16.7  10.8 2.1   2.1   180   2.2  0  
eca-rers2012/Problem06_label04.yml 1 110 80   2600 1100 .0041 0   16.3  10.8 2.0   2.0   180   4.3  0  
eca-rers2012/Problem06_label05.yml 1 72 52   2200 810 .0041 0   16.9  10.9 2.0   2.0   180   4.1  0  
eca-rers2012/Problem06_label09.yml 1 88 63   2300 900 .0041 0   13.5  10.9 2.1   2.1   180   9.3  0  
eca-rers2012/Problem06_label10.yml 1 73 49   2200 770 .0041 0   14.9  10.9 2.0   2.0   180   11    0  
eca-rers2012/Problem06_label11.yml 1 77 55   2400 780 .0041 0   15.5  10.7 2.0   2.0   180   10    0  
eca-rers2012/Problem06_label12.yml 1 71 48   2500 700 .0041 0