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-error-call.ReachSafety-Recursive tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Recursive
Options --testcomp --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --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)
recursive/Ackermann02.yml done 1 prog tests 1 inspect 3.5 2.1 150 38 .55 0   true prog tests 1 inspect
62.5 82.3 .12  .12  16   .078 0  
recursive/Addition02.yml done 1 prog tests 1 inspect 3.5 2.1 150 37 .48 0   true prog tests 1 inspect
50.0 68.4 .13  .13  16   .078 0  
recursive/BallRajamani-SPIN2000-Fig1.yml done 1 prog tests 1 inspect 3.5 2.0 150 37 .53 0   true prog tests 1 inspect
75.0 100   .13  .13  16   .078 0  
recursive/EvenOdd03.yml done 1 prog tests 1 inspect 3.4 2.2 150 34 .56 0   true prog tests 1 inspect
28.6 47.6 .11  .11  16   .078 0  
recursive/Fibonacci04.yml done 1 prog tests 1 inspect 3.4 2.1 150 39 .50 0   true prog tests 1 inspect
75.0 91.7 .12  .12  16   .078 0  
recursive/Fibonacci05.yml done 1 prog tests 1 inspect 46   44   150 600 .57 0   true prog tests 1 inspect
75.0 91.7 .11  .11  16   .078 0  
recursive/McCarthy91-1.yml done 1 prog tests 1 inspect 3.6 2.2 150 36 .55 0   true prog tests 1 inspect
37.5 80.0 .11  .11  16   .078 0  
recursive-simple/id2_b3_o2.yml done 1 prog tests 1 inspect 3.2 2.0 150 37 .50 0   true prog tests 1 inspect
60.0 100   .12  .12  16   .078 0  
recursive-simple/id_b3_o2-2.yml done 1 prog tests 1 inspect 3.7 2.2 150 37 .62 0   true prog tests 1 inspect
66.7 100   .11  .11  16   .078 0  
recursive-simple/id_o10.yml done 1 prog tests 1 inspect 53   52   160 630 .55 0   true prog tests 1 inspect
75.0 100   .11  .11  16   .078 0  
recursive-simple/id_o100.yml done 1 prog tests 1 inspect 590   590   150 6200 .59 0   true prog tests 1 inspect
75.0 100   .11  .14  16   .078 0  
recursive-simple/id_o1000.yml done 1 prog tests 1 inspect 600   600   150 7300 .59 0   true prog tests 1 inspect
75.0 100   .12  .12  16   .078 0  
recursive-simple/id_o20.yml done 1 prog tests 1 inspect 53   52   150 720 .55 0   true prog tests 1 inspect
75.0 100   .11  .11  16   .078 0  
recursive-simple/id_o200.yml timeout prog tests 0 inspect 900   900   150 10000 .71 0   error (0) prog tests 0 inspect
0   0   .060 .060 9.0 0     0  
recursive-simple/id_o3.yml done 1 prog tests 1 inspect 3.3 1.9 150 33 .48 0   true prog tests 1 inspect
75.0 100   .11  .11  16   .078 0  
recursive-simple/sum_non_eq-3.yml done 1 prog tests 1 inspect 3.3 2.0 150 30 .48 0   true prog tests 1 inspect
75.0 100   .11  .11  16   .078 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 2300 2300 2400 26000 8.8 0   16 980 1360 1.8 1.8 250 1.2 0  
Run set verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Recursive tbf-testsuite-validator-verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-Recursive