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-branches.ReachSafety-ControlFlow tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow
Options -benchmark -heap 10000M -testcomp19 --verbose --sequence-file cov-seq.txt -r --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)
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml done .738 prog tests 212 inspect 52 22   1300 510 1.2  0   true prog tests 1 inspect
73.8 87.5 1.5  1.4  21 28   0  
ntdrivers-simplified/cdaudio_simpl1.cil-2.yml done .737 prog tests 211 inspect 48 21   1200 410 1.1  0   unknown prog tests 0 inspect
73.7 87.3 1.5  1.5  21 28   0  
ntdrivers-simplified/diskperf_simpl1.cil.yml done .660 prog tests 91 inspect 38 14   1400 330 1.6  0   unknown prog tests 0 inspect
66.0 84.5 .62 .65 18 6.4 0  
ntdrivers-simplified/floppy_simpl3.cil-1.yml done .784 prog tests 109 inspect 35 13   1100 310 .93 0   true prog tests 1 inspect
78.4 91.3 .72 .69 18 7.7 0  
ntdrivers-simplified/floppy_simpl3.cil-2.yml done .784 prog tests 109 inspect 37 13   1100 320 1.2  0   unknown prog tests 0 inspect
78.4 89.9 .68 .70 20 7.7 0  
ntdrivers-simplified/floppy_simpl4.cil-1.yml done .839 prog tests 168 inspect 45 19   1200 410 1.1  0   true prog tests 1 inspect
83.9 93.1 1.2  1.2  20 17   0  
ntdrivers-simplified/floppy_simpl4.cil-2.yml done .839 prog tests 168 inspect 41 19   1100 420 1.2  0   unknown prog tests 0 inspect
83.9 92.8 1.1  1.2  19 17   0  
ntdrivers-simplified/kbfiltr_simpl1.cil.yml done .467 prog tests 39 inspect 24 6.4 890 190 1.1  0   unknown prog tests 0 inspect
46.7 76.9 .32 .29 17 1.8 0  
ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml done .553 prog tests 76 inspect 34 9.3 1100 290 1.3  0   unknown prog tests 0 inspect
55.3 79.2 .58 .53 17 5.4 0  
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml done .557 prog tests 78 inspect 34 9.6 1100 300 1.2  0   true prog tests 1 inspect
55.7 80.0 .55 .51 18 5.5 0  
ssh-simplified/s3_clnt_1.cil-1.yml done .784 prog tests 98 inspect 70 45   1000 1100 .86 0   unknown prog tests 0 inspect
78.4 88.6 .67 .62 17 6.5 0  
ssh-simplified/s3_clnt_1.cil-2.yml done .784 prog tests 98 inspect 65 38   1100 760 1.3  0   true prog tests 1 inspect
78.4 88.9 .73 .78 17 6.5 0  
ssh-simplified/s3_clnt_2.cil-1.yml done .784 prog tests 97 inspect 65 36   1100 690 1.3  0   true prog tests 1 inspect
78.4 90.1 .72 .70 17 6.4 0  
ssh-simplified/s3_clnt_2.cil-2.yml done .778 prog tests 96 inspect 58 36   1200 660 1.3  0   unknown prog tests 0 inspect
77.8 89.5 .69 .63 17 6.3 0  
ssh-simplified/s3_clnt_3.cil-1.yml done .55  prog tests 102 inspect 57 32   1100 610 1.5  0   unknown prog tests 0 inspect
55.0 67.8 .64 .61 17 6.7 0  
ssh-simplified/s3_clnt_3.cil-2.yml done .833 prog tests 101 inspect 80 57   1100 950 1.1  0   true prog tests 1 inspect
83.3 93.3 .75 .70 17 6.7 0  
ssh-simplified/s3_clnt_3.cil-3.yml done .778 prog tests 96 inspect 66 43   1100 720 1.2  0   unknown prog tests 0 inspect
77.8 89.0 .69 .77 17 6.3 0  
ssh-simplified/s3_clnt_4.cil-1.yml done .778 prog tests 96 inspect 61 36   1100 610 1.3  0   unknown prog tests 0 inspect
77.8 89.5 .68 .63 17 6.3 0  
ssh-simplified/s3_clnt_4.cil-2.yml done .833 prog tests 101 inspect 81 57   1200 920 1.2  0   true prog tests 1 inspect
83.3 93.1 .78 .77 17 6.7 0  
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)
total 19 13.9 990 530 21000 10000 23 0   19 1390 1650 15 15 340 180 0  
Run set coveritest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow