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-branches.ReachSafety-Sequentialized tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-Sequentialized
Options --testcomp --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/verifuzz.2019-02-06_0717.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 .819 880 900 170 10000 350    0   81.9 93.8 .59 .54 17 4.5  0  
pals_STARTPALS_ActiveStandby.4_1.ufo.BOUNDED-10.pals.yml .815 880 900 170 10000 860    0   81.5 94.1 .61 .71 17 4.6  0  
pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml .813 880 900 170 9700 940    0   81.3 93.8 .56 .52 17 4.4  0  
pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml .828 880 900 170 12000 46    0   82.8 94.1 .60 .55 17 4.6  0  
pals_STARTPALS_ActiveStandby.ufo.BOUNDED-10.pals.yml .808 880 900 170 13000 1.8  0   80.8 93.2 .61 .58 17 4.5  0  
pals_STARTPALS_Triplicated.1.ufo.BOUNDED-10.pals.yml .838 890 900 170 10000 420    0   83.8 92.8 .79 .72 17 5.4  0  
pals_STARTPALS_Triplicated.2.ufo.BOUNDED-10.pals.yml .823 890 900 170 12000 270    0   82.3 91.2 .68 .62 17 5.1  0  
pals_STARTPALS_Triplicated.ufo.BOUNDED-10.pals.yml .821 890 900 170 13000 1.8  0   82.1 90.7 .68 .62 17 5.0  0  
pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml .816 880 900 170 11000 190    0   81.6 91.5 .36 .34 17 2.1  0  
pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml .738 880 900 170 9700 180    0   73.8 87.0 .32 .36 17 1.7  0  
pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml .782 880 900 180 13000 210    0   78.2 89.8 .36 .37 17 1.9  0  
pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml .822 880 900 170 10000 48    0   82.2 91.5 .34 .34 17 2.0  0  
pals_floodmax.3.ufo.BOUNDED-6.pals.yml .802 880 900 180 12000 1.0  0   80.2 90.1 .30 .28 17 1.7  0  
pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml .896 880 900 180 12000 700    0   89.6 96.0 1.5  1.5  20 19    0  
pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml .848 880 900 190 13000 680    0   84.8 92.8 1.4  1.3  20 19    0  
pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml .875 890 900 190 12000 830    0   87.5 94.8 1.6  1.6  20 20    0  
pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml .887 890 900 190 12000 110    0   88.7 95.1 1.7  1.5  20 22    0  
pals_floodmax.4.ufo.BOUNDED-8.pals.yml .883 890 900 190 9600 2.5  0   88.3 94.8 1.5  1.5  20 20    0  
pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml .942 890 900 220 12000 1300    0   94.2 98.2 6.6  6.5  27 130    0  
pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml .913 890 900 230 13000 2100    0   91.3 96.1 6.2  5.7  28 130    0  
pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml .921 890 900 220 12000 2500    0   92.1 96.8 6.2  6.1  27 140    0  
pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml .933 890 900 230 11000 37    0   93.3 97.4 6.4  6.0  28 140    0  
pals_floodmax.5.ufo.BOUNDED-10.pals.yml .931 890 900 220 13000 5.7  0   93.1 97.2 5.9  5.4  28 130    0  
pals_lcr-var-start-time.3.1.ufo.BOUNDED-6.pals.yml .736 880 900 170 13000 59    0   73.6 88.7 .22 .21 17 .48 0  
pals_lcr-var-start-time.3.2.ufo.BOUNDED-6.pals.yml .740 880 900 160 11000 53    0   74.0 88.4 .19 .19 17 .51 0  
pals_lcr-var-start-time.3.ufo.BOUNDED-6.pals.yml .718 880 900 160 11000 1.0  0   71.8 87.2 .17 .17 17 .48 0  
pals_lcr-var-start-time.4.1.ufo.BOUNDED-8.pals.yml .726 880 900 170 11000 38    0   72.6 87.6 .24 .23 17 .98 0  
pals_lcr-var-start-time.4.2.ufo.BOUNDED-8.pals.yml .729 880 900 170 10000 65    0   72.9 87.4 .25 .24 17 .94 0  
pals_lcr-var-start-time.4.ufo.BOUNDED-8.pals.yml .719 880 900 170 11000 1.2  0   71.9 87.0 .24 .23 17 1.0  0  
pals_lcr-var-start-time.5.1.ufo.BOUNDED-10.pals.yml .717 880 900 170 10000 59    0   71.7 86.5 .33 .31 17 1.7  0  
pals_lcr-var-start-time.5.2.ufo.BOUNDED-10.pals.yml .719 880 900 170 11000 61    0   71.9 86.4 .32 .31 17 1.6  0  
pals_lcr-var-start-time.5.ufo.BOUNDED-10.pals.yml .707 880 900 170 11000 1.2  0   70.7 85.7 .29 .28 17 1.6  0  
pals_lcr-var-start-time.6.1.ufo.BOUNDED-12.pals.yml .710 880 900 180 13000 89    0   71.0 85.6 .43 .40 17 2.4  0  
pals_lcr-var-start-time.6.2.ufo.BOUNDED-12.pals.yml .711 880 900 170 12000 73    0   71.1 85.5 .36 .36 17 2.1  0  
pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.yml .701 880 900 170 11000 1.2  0   70.1 84.9 .34 .32 17 2.3  0  
pals_lcr.3.1.ufo.BOUNDED-6.pals.yml .683 880 900 160 12000 20    0   68.3 87.4 .15 .15 17 .25 0  
pals_lcr.3.ufo.BOUNDED-6.pals.yml .658 880 900 160 13000 .79 0   65.8 85.8 .17 .16 17 .20 0  
pals_lcr.4.1.ufo.BOUNDED-8.pals.yml .667 880 900 170 11000 20    0   66.7 86.0 .19 .18 17 .52 0  
pals_lcr.4.ufo.BOUNDED-8.pals.yml .648 880 900 170 10000 .91 0   64.8 84.8 .17 .16 17 .45 0  
pals_lcr.5.1.ufo.BOUNDED-10.pals.yml .654 880 900 170 13000 19    0   65.4 84.8 .22 .21 17 .75 0  
pals_lcr.5.ufo.BOUNDED-10.pals.yml .640 880 900 170 12000 1.3  0   64.0 83.8 .22 .22 17 .58 0  
pals_lcr.6.1.ufo.BOUNDED-12.pals.yml .645 880 900 180 10000 23    0   64.5 83.7 .35 .35 17 1.5  0  
pals_lcr.6.ufo.BOUNDED-12.pals.yml .632 880 900 170 11000 1.3  0   63.2 82.9 .24 .23 17 1.1  0  
pals_lcr.7.1.ufo.BOUNDED-14.pals.yml .636 880 900 180 11000 28    0   63.6 82.7 .39 .37 17 2.0  0  
pals_lcr.7.ufo.BOUNDED-14.pals.yml .626 880 900 180 11000 1.6  0   62.6 82.0 .29 .27 17 1.7  0  
pals_lcr.8.1.ufo.BOUNDED-16.pals.yml .629 890 900 190 9600 5.4  0