Benchmark KLEE TBF Test-Suite Validator
Tool KLEE 2.0.0-pre-test-comp 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:09:47 CET 2019-02-06 06:16:47 CET
Run set klee.test-comp19_prop-coverage-branches.ReachSafety-Loops tbf-testsuite-validator-klee.test-comp19_prop-coverage-branches.ReachSafety-Loops
Options --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/klee.2019-02-05_2109.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)
loops/array-1.yml .833  .13 .15 21 1.1 .016 0   83.3  93.3 .12  .14  17   .11  0  
loops/array-2.yml 1.0    .14 .16 21 1.3 .016 0   100    100   .13  .13  16   .13  0  
loops/bubble_sort-1.yml .0417 .12 .14 21 1.2 .016 0   4.17 17.9 .12  .12  17   .086 0  
loops/compact.yml .833  900    900    2800 11000   .049 0   83.3  87.5 5.3   5.3   450   .086 0  
loops/count_up_down-1.yml .75   900    900    2600 13000   .070 0   75.0  90.9 .17  .17  17   .11  0  
loops/count_up_down-2.yml .75   900    900    2600 13000   .070 0   75.0  90.9 .16  .21  16   .13  0  
loops/eureka_01-1.yml 1.0    .17 .17 21 1.6 .016 0   100    100   .23  .22  16   .44  0  
loops/for_bounded_loop1.yml 1.0    900    900    1800 12000   .045 0   100    100   .14  .14  16   .18  0  
loops/insertion_sort-1.yml 1.0    .12 .14 21 1.6 .016 0   100    100   .14  .13  16   .18  0  
loops/insertion_sort-2.yml 1.0    .14 .16 21 1.1 .016 0   100    100   .13  .13  17   .18  0  
loops/invert_string-1.yml 1.0    .97 .99 27 12   .016 0   100    100   .16  .16  17   .19  0  
loops/invert_string-3.yml .875  .12 .13 21 1.4 .016 0   87.5  94.4 .12  .12  17   .078 0  
loops/linear_sea.ch.yml .75   .15 .17 21 1.5 .016 0   75.0  87.5 .15  .18  16   .18  0  
loops/linear_search.yml .714  .13 .13 21 1.6 .016 0   71.4  88.2 .14  .14  16   .19  0  
loops/matrix-1.yml .875  .14 .16 21 1.1 .016 0   87.5  94.1 .12  .12  16   .11  0  
loops/matrix-2.yml 1.0    900    900    1000 10000   .045 0   100    100   .16  .18  16   .20  0  
loops/n.c40.yml .5    .12 .14 21 1.2 .016 0   50.0  63.6 .12  .12  16   .11  0  
loops/nec20.yml .833  .12 .14 21 1.5 .016 0   83.3  95.8 .14  .14  16   .21  0  
loops/nec40.yml .4    .13 .15 21 1.4 .016 0   40.0  46.7 .12  .12  16   .11  0  
loops/string-1.yml .885  .18 .20 21 2.0 .016 0   88.5  96.5 .19  .29  16   .34  0  
loops/string-2.yml .962  .19 .21 21 1.9 .016 0   96.2  100   .19  .22  16   .36  0  
loops/sum01-1.yml 1.0    900    900    2700 12000   .070 0   100    100   40     40     17   .16  0  
loops/sum01-2.yml .833  57    57    140 850   .016 0   83.3  90.0 .14  .18  16   .19  0  
loops/sum01_bug02.yml 1.0    900    900    2700 12000   .070 0   100    100   40     40     16   .14  0  
loops/sum01_bug02_sum01_bug02_base.case.yml 1.0    900    900    2700 12000   .061 0   100    100   40     40     16   .16  0  
loops/sum03-1.yml .875  .14 .16 21 1.1 .016 0   87.5  100   .12  .12  17   .078 0  
loops/sum_array-1.yml 1.0    .15 .16 21 1.6 .016 0   100    100   .16  .17  16   .24  0  
loops/sum_array-2.yml .929  .19 .21 21 1.5 .016 0   92.9  94.4 .16  .17  16   .26  0  
loops/terminator_01.yml .5    900    900    610 10000   .045 0   50.0  72.7 .12  .12  16   .094 0  
loops/terminator_02-1.yml .75   900    900    1100 9800   .061 0   75.0  87.5 .14  .14  17   .18  0  
loops/terminator_02-2.yml .9    900    900    1300 11000   .066 0   90.0  94.7 .16  .15  16   .31  0  
loops/terminator_03-1.yml .75   900    900    100 11000   .041 0   75.0  100   .14  .14  17   .16  0  
loops/terminator_03-2.yml .786  900    900    84 14000   .033 0   78.6  92.3 .14  .16  17   .19  0  
loops/trex01-1.yml 1.0    900    900    620 12000   .074 0   100    100   .19  .18  16   .36  0  
loops/trex01-2.yml .962  900    900    330 11000   .070 0   96.2  96.5 .20  .19  17   .46  0  
loops/trex02-1.yml .833  900    900    1000 10000   .070 0   83.3  92.9 .13  .13  16   .18  0  
loops/trex02-2.yml 1.0    900    900    930 11000   .066 0   100    100   .15  .16  16   .21  0  
loops/trex03-1.yml .889  900    900    1500 11000   .070 0   88.9  100   .17  .16  16   .31  0  
loops/trex03-2.yml .889  900    900    1500 9300   .066 0   88.9  93.8 .17  .17  16   .31  0  
loops/veris.c_sendmail_tTflag_arr_one_loop.yml .75   .14 .16 21 1.7 .016 0   75.0  94.7 .12  .15  16   .070 0  
loops/vogal-1.yml .95   .14 .15 21 1.7 .016 0   95.0  96.2 .17  .16  16   .31  0  
loops/vogal-2.yml 1.0    900    900    3200 9100   .029 0   100    100   .17  .16  16   .27  0  
loop-acceleration/array_3-1.yml .875  3.2  3.2  23 48   .016 0