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-branches.ReachSafety-Sequentialized tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized
Options -benchmark -heap 10000M -tigertestcomp19 --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/cpa-tiger.2019-02-05_2113.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/seq-mthreaded/ 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)
pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml .681 900 880   540 11000 .0041 0   68.1 86.5 .28 .27 17 1.6  0  
pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml .792 560 550   900 6500 .0041 0   79.2 92.5 .36 .34 17 2.3  0  
pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml .813 140 130   950 1800 .0041 0   81.3 93.8 .38 .41 17 2.5  0  
pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml .744 800 780   630 9400 .0041 0   74.4 91.0 .31 .37 17 1.8  0  
pals_STARTPALS_ActiveStandby.ufo.BOUNDED-10.pals.yml .802 420 410   580 5600 .0041 0   80.2 92.9 .38 .35 17 2.6  0  
pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml .156 900 880   550 12000 .0041 0   15.6 22.0 .17 .17 17 .38 0  
pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml .760 900 870   600 12000 .0041 0   76.0 88.3 .28 .32 17 1.3  0  
pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.yml .747 780 760   650 9200 .0041 0   74.7 86.7 .30 .30 17 1.4  0  
pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml .853 900 890   960 8500 .0041 0   85.3 94.1 .33 .38 17 1.9  0  
pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml .817 19 9.3 480 200 .0041 0   81.7 92.6 .42 .42 17 2.7  0  
pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml .772 900 890   830 6300 .0041 0   77.2 89.1 .32 .33 17 1.4  0  
pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml .807 900 890   1400 14000 .0041 0   80.7 90.5 .31 .30 17 1.6  0  
pals_floodmax.3.ufo.BOUNDED-6.pals.yml .797 900 890   680 12000 .0041 0   79.7 89.8 .30 .31 17 1.5  0  
pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml .89  790 770   840 9400 .0041 0   89.0 95.6 .79 .85 20 8.0  0  
pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml .887 88 74   660 1000 .0041 0   88.7 95.7 .97 1.0  20 10    0  
pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml .828 900 890   1300 7000 .0041 0   82.8 91.3 .69 .74 20 6.9  0  
pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml .870 900 890   1200 12000 .0041 0   87.0 93.8 .78 .77 20 8.2  0  
pals_floodmax.4.ufo.BOUNDED-8.pals.yml .862 900 890   1300 7800 .0041 0   86.2 93.2 .76 .78 20 8.1  0  
pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml .900 900 880   1100 14000 .0041 0   90.0 95.0 1.7  1.6  27 31    0  
pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml .907 780 750   960 9700 .0041 0   90.8 95.7 2.1  2.1  27 37    0  
pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml .911 900 880   1500 6700 .0041 0   91.1 96.0 1.9  2.0  27 35    0  
pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml .917 900 870   1300 10000 .0041 0   91.7 96.1 2.0  2.1  27 35    0  
pals_floodmax.5.ufo.BOUNDED-10.pals.yml .916 900 880   1100 10000 .0041 0   91.6 96.1 1.9  2.0  27 35    0  
pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.yml .836 900 890   1200 11000 .0041 0   83.6 96.0 .27 .29 17 .97 0  
pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.yml .894 140 130   750 1800 .0041 0   89.4 99.3 .30 .30 17 1.4  0  
pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.yml .8   900 890   1500 11000 .0041 0   80.0 93.3 .22 .25 17 .74 0  
pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.yml .774 900 880   900 11000 .0041 0   77.4 91.2 .25 .25 17 .91 0  
pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.yml .779 900 890   800 12000 .0041 0   77.9 91.0 .29 .34 17 1.2  0  
pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.yml .760 900 890   470 12000 .0041 0   76.0 90.1 .23 .22 17 .94 0  
pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.yml .755 900 890   780 12000 .0041 0   75.5 89.5 .25 .25 17 .96 0  
pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.yml .770 900 890   1000 12000 .0041 0   77.0 90.2 .31 .30 17 1.4  0  
pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.yml .75  900 890   510 13000 .0041 0   75.0 89.5 .26 .25 17 1.2  0  
pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.yml .737 900 890   760 13000 .0041 0   73.7 88.1 .30 .34 17 1.6  0  
pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.yml .734 900 890   510 12000 .0041 0   73.4 87.2 .34 .32 17 1.7  0  
pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.yml .755 900 890   780 12000 .0041 0   75.5 89.1 .31 .33 17 1.7  0  
pals_lcr.3.1.ufo.BOUNDED-6.pals.yml .866 20 13   480 200 .0041 0   86.6 98.5 .25 .23 17 .91 0  
pals_lcr.3.ufo.BOUNDED-6.pals.yml .842 34 24   600 450 .0041 0   84.2 97.0 .27 .27 16 1.0  0  
pals_lcr.4.1.ufo.BOUNDED-8.pals.yml .732 900 890   1100 11000 .0041 0   73.2 90.1 .21 .20 17 .63 0  
pals_lcr.4.ufo.BOUNDED-8.pals.yml .787 900 890   1100 13000 .0041 0   78.7 93.6 .24 .28 17 .96 0  
pals_lcr.5.1.ufo.BOUNDED-10.pals.yml .662 900 890   840 9500 .0041 0   66.2 85.3 .22 .21 17 .79 0  
pals_lcr.5.ufo.BOUNDED-10.pals.yml .698 900 890   2200 11000 .0041 0   69.8 87.6 .22 .22 17 .83 0  
pals_lcr.6.1.ufo.BOUNDED-12.pals.yml .711 900 890   520 11000 .0041 0