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-ControlFlow tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow
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/ 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 error .691 prog tests 121 inspect 880 900 240 10000 260   0   true prog tests 1 inspect
69.1 85.7 .91 .89 21 16    0  
ntdrivers-simplified/cdaudio_simpl1.cil-2.yml error .349 prog tests 39 inspect 880 900 240 11000 2.0 0   unknown prog tests 0 inspect
34.9 52.4 .41 .48 21 5.3  0  
ntdrivers-simplified/diskperf_simpl1.cil.yml error .586 prog tests 42 inspect 880 900 180 10000 1.9 0   unknown prog tests 0 inspect
58.6 78.5 .36 .34 18 3.1  0  
ntdrivers-simplified/floppy_simpl3.cil-1.yml error .784 prog tests 50 inspect 880 900 180 11000 160   0   true prog tests 1 inspect
78.4 91.7 .43 .41 18 3.6  0  
ntdrivers-simplified/floppy_simpl3.cil-2.yml error .784 prog tests 50 inspect 890 900 180 12000 1.7 0   unknown prog tests 0 inspect
78.4 90.3 .41 .40 18 3.6  0  
ntdrivers-simplified/floppy_simpl4.cil-1.yml error .847 prog tests 99 inspect 880 900 200 8700 260   0   true prog tests 1 inspect
84.7 93.9 .75 .70 20 10    0  
ntdrivers-simplified/floppy_simpl4.cil-2.yml error .843 prog tests 95 inspect 880 900 200 12000 2.4 0   unknown prog tests 0 inspect
84.3 93.0 .73 .70 20 9.9  0  
ntdrivers-simplified/kbfiltr_simpl1.cil.yml error .733 prog tests 29 inspect 880 900 170 10000 1.2 0   unknown prog tests 0 inspect
73.3 89.2 .26 .28 17 1.4  0  
ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml error .784 prog tests 59 inspect 890 900 180 11000 1.5 0   unknown prog tests 0 inspect
78.4 90.7 .43 .40 17 4.2  0  
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml error .781 prog tests 56 inspect 890 900 190 12000 56   0   true prog tests 1 inspect
78.1 91.0 .45 .42 17 4.0  0  
ssh-simplified/s3_clnt_1.cil-1.yml error .790 prog tests 69 inspect 890 900 200 10000 1.4 0   unknown prog tests 0 inspect
79.0 88.6 .51 .47 17 4.6  0  
ssh-simplified/s3_clnt_1.cil-2.yml error .790 prog tests 66 inspect 890 900 200 11000 120   0   true prog tests 1 inspect
79.0 88.9 .54 .51 17 4.3  0  
ssh-simplified/s3_clnt_2.cil-1.yml error .796 prog tests 65 inspect 890 900 200 12000 130   0   true prog tests 1 inspect
79.6 90.7 .56 .54 17 4.3  0  
ssh-simplified/s3_clnt_2.cil-2.yml error .790 prog tests 64 inspect 890 900 200 9700 1.5 0   unknown prog tests 0 inspect
79.0 90.1 .49 .48 17 4.3  0  
ssh-simplified/s3_clnt_3.cil-1.yml error .119 prog tests 10 inspect 890 900 200 12000 1.1 0   unknown prog tests 0 inspect
11.9 22.2 .25 .24 17 .70 0  
ssh-simplified/s3_clnt_3.cil-2.yml error .840 prog tests 75 inspect 890 900 200 13000 100   0   true prog tests 1 inspect
84.0 93.3 .61 .57 17 5.0  0  
ssh-simplified/s3_clnt_3.cil-3.yml error .790 prog tests 67 inspect 890 900 200 13000 1.4 0   unknown prog tests 0 inspect
79.0 89.5 .51 .55 17 4.4  0  
ssh-simplified/s3_clnt_4.cil-1.yml error .790 prog tests 63 inspect 890 900 200 12000 1.8 0   unknown prog tests 0 inspect
79.0 90.1 .49 .45 17 4.2  0  
ssh-simplified/s3_clnt_4.cil-2.yml error .840 prog tests 76 inspect 890 900 200 12000 120   0   true prog tests 1 inspect
84.0 93.1 .62 .58 17 5.0  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.7 17000 17000 3800 210000 1200 0   19 1370 1600 9.7 9.4 340 98 0  
Run set verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow