Benchmark ESBMC-bkind TBF Test-Suite Validator
Tool ESBMC version 6.0.0 64-bit x86_64 linux 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:25 CET 2019-02-06 06:16:10 CET
Run set esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-Recursive tbf-testsuite-validator-esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-Recursive
Options -s kinduction --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/esbmc-kind.2019-02-05_2113.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)
recursive/Ackermann02.yml false(unreach-call) 1 prog tests 1 inspect .22  .22  29 2.7  1.0 0   true prog tests 1 inspect
62.5 82.3 .12  .12  16   .078 0  
recursive/Addition02.yml false(unreach-call) 1 prog tests 1 inspect .13  .13  26 2.2  1.0 0   true prog tests 1 inspect
50.0 68.4 .12  .15  16   .094 0  
recursive/BallRajamani-SPIN2000-Fig1.yml false(unreach-call) 1 prog tests 1 inspect .11  .11  26 .87 1.0 0   true prog tests 1 inspect
75.0 100   .12  .12  16   .094 0  
recursive/EvenOdd03.yml false(unreach-call) 1 prog tests 1 inspect .089 .090 26 .88 1.0 0   true prog tests 1 inspect
50.0 71.4 .12  .12  17   .078 0  
recursive/Fibonacci04.yml false(unreach-call) 1 prog tests 1 inspect .12  .12  26 1.3  1.0 0   true prog tests 1 inspect
75.0 91.7 .12  .12  16   .094 0  
recursive/Fibonacci05.yml false(unreach-call) 1 prog tests 1 inspect 3.5   3.5   96 39    1.0 0   true prog tests 1 inspect
75.0 91.7 .12  .13  16   .078 0  
recursive/McCarthy91-1.yml false(unreach-call) 1 prog tests 1 inspect .099 .10  26 .72 1.0 0   true prog tests 1 inspect
37.5 80.0 .12  .14  16   .078 0  
recursive-simple/id2_b3_o2.yml false(unreach-call) 1 prog tests 1 inspect .087 .087 26 .94 1.0 0   true prog tests 1 inspect
60.0 100   .15  .16  16   .078 0  
recursive-simple/id_b3_o2-2.yml false(unreach-call) 1 prog tests 1 inspect .087 .086 26 .94 1.0 0   true prog tests 1 inspect
66.7 100   .12  .12  17   .078 0  
recursive-simple/id_o10.yml false(unreach-call) 1 prog tests 1 inspect .10  .10  26 1.4  1.0 0   true prog tests 1 inspect
75.0 100   .12  .13  16   .074 0  
recursive-simple/id_o100.yml false(unreach-call) 1 prog tests 1 inspect 2.1   2.0   33 29    1.0 0   true prog tests 1 inspect
75.0 100   .11  .15  16   .078 0  
recursive-simple/id_o1000.yml timeout prog tests 0 inspect 900     890     1200 11000    1.0 0   error (0) prog tests 0 inspect
0   0   .065 .066 8.9 0     0  
recursive-simple/id_o20.yml false(unreach-call) 1 prog tests 1 inspect .16  .15  26 1.8  1.0 0   true prog tests 1 inspect
75.0 100   .12  .12  17   .078 0  
recursive-simple/id_o200.yml false(unreach-call) 1 prog tests 1 inspect 12     12     84 150    1.0 0   true prog tests 1 inspect
75.0 100   .12  .12  16   .094 0  
recursive-simple/id_o3.yml false(unreach-call) 1 prog tests 1 inspect .090 .090 26 1.0  1.0 0   true prog tests 1 inspect
75.0 100   .12  .13  16   .094 0  
recursive-simple/sum_non_eq-3.yml false(unreach-call) 1 prog tests 1 inspect .087 .088 26 .90 1.0 0   true prog tests 1 inspect
50.0 90.0 .12  .12  17   .094 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 16 15 920 910 1700 11000 16 0   16 977 1380 1.9 2.0 260 1.3 0  
Run set esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-Recursive tbf-testsuite-validator-esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-Recursive