Benchmark PRtest TBF Test-Suite Validator
Tool tbf v0.3.0-testcomp19 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* [apollon010; apollon052; apollon080; apollon107; apollon135; apollon167]
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 06:02:44 CET 2019-02-06 13:26:19 CET
Run set prtest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow
Options --stats -i random --write-xml --svcomp-nondets --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/prtest.2019-02-06_0602.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 timeout .0294 prog tests 2 inspect 900 840 31 12000 .012 0   unknown prog tests 0 inspect
2.94 7.97 .23 .23 20 .42 0  
ntdrivers-simplified/cdaudio_simpl1.cil-2.yml timeout .0296 prog tests 2 inspect 900 840 31 13000 .012 0   unknown prog tests 0 inspect
2.96 7.99 .24 .24 20 .41 0  
ntdrivers-simplified/diskperf_simpl1.cil.yml timeout .154  prog tests 3 inspect 900 840 31 13000 .012 0   unknown prog tests 0 inspect
15.4  24.5  .22 .26 18 .25 0  
ntdrivers-simplified/floppy_simpl3.cil-1.yml timeout .0247 prog tests 1 inspect 900 850 31 12000 .012 0   unknown prog tests 0 inspect
2.47 13.6  .18 .18 18 .19 0  
ntdrivers-simplified/floppy_simpl3.cil-2.yml timeout .0247 prog tests 1 inspect 900 850 30 13000 .012 0   unknown prog tests 0 inspect
2.47 13.4  .17 .17 18 .19 0  
ntdrivers-simplified/floppy_simpl4.cil-1.yml timeout .0289 prog tests 1 inspect 900 850 31 13000 .012 0   unknown prog tests 0 inspect
2.89 10.4  .19 .19 19 .24 0  
ntdrivers-simplified/floppy_simpl4.cil-2.yml timeout .0289 prog tests 1 inspect 900 850 31 16000 .012 0   unknown prog tests 0 inspect
2.89 10.4  .21 .21 20 .24 0  
ntdrivers-simplified/kbfiltr_simpl1.cil.yml timeout .0417 prog tests 1 inspect 900 850 31 12000 .012 0   unknown prog tests 0 inspect
4.17 24.5  .15 .15 17 .13 0  
ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml timeout .0421 prog tests 1 inspect 900 850 30 14000 .012 0   unknown prog tests 0 inspect
4.21 15.9  .17 .17 18 .17 0  
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml timeout .0417 prog tests 1 inspect 900 850 31 12000 .012 0   unknown prog tests 0 inspect
4.17 15.8  .18 .19 17 .17 0  
ssh-simplified/s3_clnt_1.cil-1.yml timeout .0247 prog tests 1 inspect 900 850 31 13000 .012 0   unknown prog tests 0 inspect
2.47 18.7  .20 .20 17 .12 0  
ssh-simplified/s3_clnt_1.cil-2.yml timeout .0247 prog tests 1 inspect 900 850 31 14000 .025 0   unknown prog tests 0 inspect
2.47 18.7  .19 .19 17 .12 0  
ssh-simplified/s3_clnt_2.cil-1.yml timeout .0247 prog tests 1 inspect 900 850 31 13000 .012 0   unknown prog tests 0 inspect
2.47 18.6  .20 .20 17 .12 0  
ssh-simplified/s3_clnt_2.cil-2.yml timeout .0247 prog tests 1 inspect 900 850 31 13000 .012 0   unknown prog tests 0 inspect
2.47 18.6  .19 .20 17 .12 0  
ssh-simplified/s3_clnt_3.cil-1.yml timeout .0188 prog tests 1 inspect 900 850 31 12000 .012 0   unknown prog tests 0 inspect
1.88 13.5  .20 .20 17 .11 0  
ssh-simplified/s3_clnt_3.cil-2.yml timeout .0370 prog tests 2 inspect 900 850 31 13000 .012 0   unknown prog tests 0 inspect
3.70 19.8  .22 .22 17 .19 0  
ssh-simplified/s3_clnt_3.cil-3.yml timeout .0247 prog tests 1 inspect 900 850 31 13000 .012 0   unknown prog tests 0 inspect
2.47 18.1  .20 .20 17 .12 0  
ssh-simplified/s3_clnt_4.cil-1.yml timeout .0247 prog tests 1 inspect 900 850 31 11000 .012 0   unknown prog tests 0 inspect
2.47 18.6  .19 .19 17 .12 0  
ssh-simplified/s3_clnt_4.cil-2.yml timeout .0247 prog tests 1 inspect 900 850 31 16000 .012 0   unknown prog tests 0 inspect
2.47 19.1  .20 .21 17 .12 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 .675 17000 16000 580 250000 .25 0   19 67.5 308 3.7 3.8 340 3.6 0  
Run set prtest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-ControlFlow