Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET
Run set sv-comp19_prop-termination.Termination-MainHeap
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
termination-libowfat/atoi_true-termination.c.i true 15.6  9.16 423333888
termination-libowfat/atol_true-termination.c.i true 12.7  7.55 427016192
termination-libowfat/atoll_true-termination.c.i true 13.6  8.10 411340800
termination-libowfat/basename_true-termination.c.i out of memory 679    507    8000000000
termination-libowfat/build_fullname_true-termination.c.i true 53.8  36.8  833486848
termination-libowfat/dirname_true-termination.c.i out of memory 686    540    8000004096
termination-libowfat/skip_to_true-termination.c.i unknown 72.5  40.6  2317811712
termination-libowfat/stpcpy_true-termination.c.i true 15.5  9.32 512466944
termination-libowfat/strcasecmp_true-termination.c.i true 17.8  10.8  522412032
termination-libowfat/strcat_short_true-termination.c.i true 24.5  15.2  601284608
termination-libowfat/strcat_true-termination.c.i error (7) 23.3  14.6  594128896
termination-libowfat/strchr_short_true-termination.c.i true 14.3  8.54 500977664
termination-libowfat/strchr_true-termination.c.i true 30.3  21.3  734416896
termination-libowfat/strcmp_short_true-termination.c.i true 15.3  9.33 517283840
termination-libowfat/strcpy_small_true-termination.c.i true 14.8  9.06 516571136
termination-libowfat/strcspn_true-termination.c.i true 36.2  23.9  778829824
termination-libowfat/strdup_true-termination.c.i true 30.9  20.0  675282944
termination-libowfat/strlcat_true-termination.c.i true 28.3  18.6  696401920
termination-libowfat/strlcpy_true-termination.c.i true 29.0  18.4  691113984
termination-libowfat/strlen_true-termination.c.i true 12.3  7.26 393252864
termination-libowfat/strpbrk_true-termination.c.i unknown 43.7  25.0  1053569024
termination-libowfat/strrchr_short_true-termination.c.i true 14.9  8.85 519254016
termination-libowfat/strrchr_true-termination.c.i true 90.0  55.6  3430821888
termination-libowfat/strspn_true-termination.c.i true 30.0  18.9  693628928
termination-libowfat/strstr_true-termination.c.i true 76.8  51.8  922185728
termination-libowfat/strtok_r_true-termination.c.i true 117    84.7  1176780800
termination-libowfat/strtol_true-termination.c.i true 23.9  15.2  597016576
termination-libowfat/strtoul_true-termination.c.i true 15.6  9.53 535138304
termination-libowfat/strtoull_true-termination.c.i true 16.5  9.84 515461120
termination-libowfat/wcsrchr_true-termination.c.i true 13.8  8.13 449093632
termination-libowfat/wcsstr_true-termination.c.i true 8.95 5.17 257626112
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i false(termination) 9.43 5.38 258498560
termination-memory-alloca/Velroyen-alloca_false-termination.c.i false(termination) 14.4  8.69 485482496
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i true 33.3  21.0  667938816
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i true 42.7  28.6  741863424
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i timeout 901    725    2186014720
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i true 13.6  8.13 440754176
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i true 18.6  11.1  512438272
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i true 25.7  16.1  591048704
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i true 111    87.5  944963584
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i true 415    383    1144455168
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i timeout 900    797    1198133248
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i true 370    347    897458176
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i true 14.2  8.34 370757632
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i true 22.8  13.6  535375872
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 20.4  11.4  678502400
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i true 133    110    1023688704
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i true 197    163    1580265472
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i out of memory 671    545    8000000000
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i true 34.1  22.8  672067584
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i true 58.3  41.3  760565760
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i true 33.8  21.8  653697024
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i timeout 901    750    927621120
termination-memory-alloca/Urban-alloca_true-termination.c.i true 43.9  29.0  771870720
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i true 46.9  32.4  776560640
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i true 14.9  9.07 529600512
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i true 16.1  9.71 523436032
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i true 19.5  12.6  577118208
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i true 19.6  12.5  582123520
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i true 16.3  9.97 517001216
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i true 16.3  10.1  519774208
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i true 26.2  16.2  592605184
termination-memory-alloca/add_last-alloca_true-termination.c.i true 13.4  7.78 437149696
termination-memory-alloca/array01-alloca_true-termination.c.i true 18.6  11.2  525045760
termination-memory-alloca/array02-alloca_true-termination.c.i true 26.1  15.8  626094080
termination-memory-alloca/array03-alloca_true-termination.c.i true 23.3  13.7  605536256
termination-memory-alloca/aviad_true-alloca_true-termination.c.i true 18.5  11.5  515493888
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i true 16.3  9.74 523296768
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i true 14.9  9.16 517767168
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i true 15.3  9.13 515317760
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i true 15.5  9.20 519041024
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i true 15.9  9.75 515342336
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i true 15.6  9.48 519278592
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i true 15.6  9.58 515485696
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i true 23.4  14.8  591314944
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 65.1  37.2  1677053952
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i true 41.4  27.6  744062976
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i true 25.4  16.2  640794624
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i true 42.4  27.4  774336512
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i true 28.2  17.7  612335616
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i true 39.8  25.9  712777728
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i true 41.8  29.8  705196032
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i true 30.1  19.4  682209280
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i true 21.4  13.6  593252352
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i true 44.4  28.8  753283072
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i true 31.5  19.9  672579584
termination-memory-alloca/bubblesort-alloca_true-termination.c.i true 23.7  14.4  586874880
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i timeout 900    858    963432448
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i true 62.0  42.2  752754688
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i timeout 901    844    901652480
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i true 35.5  22.7  676401152
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i true 26.6  17.5  643100672
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i timeout 901    842    974450688
termination-memory-alloca/count_down-alloca_true-termination.c.i true 23.6  14.3  577925120
termination-memory-alloca/cstrcat-alloca_true-termination.c.i true 15.9  9.58 514899968
termination-memory-alloca/cstrchr-alloca_true-termination.c.i true 15.2  9.14 509349888
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i true 15.4  9.54 515776512
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i true 15.7  9.56 516001792
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i true 123    111    727158784
termination-memory-alloca/cstrlen-alloca_true-termination.c.i true 12.7  7.51 414371840
termination-memory-alloca/cstrncat-alloca_true-termination.c.i true 15.4  9.28 514785280
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i true 16.5  10.2  525549568
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i true 23.6  14.8  631676928
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i true 33.4  22.3  666673152
termination-memory-alloca/cstrspn-alloca_true-termination.c.i true 37.6  24.1  713863168
termination-memory-alloca/diff-alloca_true-termination.c.i true 32.8  21.3  684302336
termination-memory-alloca/easySum-alloca_true-termination.c.i true 15.4  9.65 518373376
termination-memory-alloca/ex1-alloca_true-termination.c.i true 16.1  9.89 518426624
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 73.9  46.4  1556156416
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 33.2  18.6  754720768
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 35.8  20.7  809996288
termination-memory-alloca/fermat-alloca_true-termination.c.i timeout 900    875    775643136
termination-memory-alloca/flag-alloca_true-termination.c.i true 31.4  18.5  743444480
termination-memory-alloca/gcd1-alloca_true-termination.c.i true 102    76.9  922992640
termination-memory-alloca/genady-alloca_true-termination.c.i true 14.0  8.43 459980800
termination-memory-alloca/insertionsort-alloca_true-termination.c.i true 20.9  12.9  546512896
termination-memory-alloca/java_AG313-alloca_true-termination.c.i true 18.9  11.8  520077312
termination-memory-alloca/java_Break-alloca_true-termination.c.i true 13.1  7.86 441798656
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i true 25.3  15.5  614821888
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i true 77.8  53.5  798605312
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i true 14.2  8.48 493318144
termination-memory-alloca/java_Nested-alloca_true-termination.c.i error (7) 140    118    861548544
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i timeout 901    793    959840256
termination-memory-alloca/lis-alloca_true-termination.c.i timeout 900    864    3179831296
termination-memory-alloca/min_rf-alloca_true-termination.c.i true 309    265    7376719872
termination-memory-alloca/mult_array-alloca_true-termination.c.i true 19.6  12.1  526708736
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i true 13.2  7.82 429731840
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i true 15.1  8.94 501243904
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i true 14.1  8.51 475824128
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i true 14.2  8.49 461307904
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i true 14.4  8.84 507809792
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i true 42.2  31.5  683151360
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i true 15.2  9.20 511447040
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i true 16.2  9.86 513777664
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i true 15.2  9.32 536436736
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 53.1  30.6  1337446400
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i true 30.0  18.9  681496576
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i true 13.6  8.06 418729984
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i true 17.6  10.5  524337152
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i true 16.8  10.3  515301376
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i true 18.4  11.1  520495104
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i true 14.2  8.56 451293184
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i true 52.7  41.4  693256192
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 55.5  31.7  1435586560
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i true 51.8  36.3  868175872
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i true 12.7  7.55 390565888
termination-memory-alloca/selectionsort-alloca_true-termination.c.i true 21.3  13.1  591699968
termination-memory-alloca/stroeder1-alloca_true-termination.c.i true 12.8  7.51 370688000
termination-memory-alloca/stroeder2-alloca_true-termination.c.i true 18.8  11.4  526966784
termination-memory-alloca/strreplace-alloca_true-termination.c.i true 17.2  10.5  523902976
termination-memory-alloca/subseq-alloca_true-termination.c.i true 16.2  9.93 509853696
termination-memory-alloca/substring-alloca_true-termination.c.i true 30.9  20.4  703033344
termination-memory-alloca/twisted-alloca_true-termination.c.i true 124    96.0  927301632
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i false(termination) 17.2  10.6  516276224
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i false(termination) 16.6  10.1  515047424
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i false(termination) 16.2  9.73 529162240
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i false(termination) 21.0  13.2  602066944
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i false(termination) 60.7  34.9  1047851008
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 29.2  16.8  724791296
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i false(termination) 39.3  22.6  837959680
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i false(termination) 43.2  24.7  1088491520
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i true 15.6  9.50 523653120
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 570    536    1834979328
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i error (7) 126    106    1564073984
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i error (7) 539    510    2076561408
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i true 13.1  7.76 409513984
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 377    321    4867657728
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 78.9  48.7  1617383424
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 75.3  46.8  2236727296
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 611    544    5286113280
termination-15/add_first_alloca_true-termination.c.i true 12.6  7.42 412991488
termination-15/array05_alloca_true-termination.c.i unknown 25.7  14.3  657530880
termination-15/array06_alloca_true-termination.c.i true 15.3  8.99 496279552
termination-15/array07_alloca_true-termination.c.i true 15.4  8.99 501911552
termination-15/array08_alloca_true-termination.c.i unknown 36.3  20.2  752398336
termination-15/array09_alloca_true-termination.c.i unknown 34.4  19.2  756178944
termination-15/array10_alloca_true-termination.c.i unknown 23.6  13.3  654815232
termination-15/array12_alloca_true-termination.c.i timeout 900    801    1052368896
termination-15/array13_alloca_true-termination.c.i timeout 901    790    869863424
termination-15/array16_alloca_fixed_true-termination.c.i timeout 900    799    1322082304
termination-15/array17_alloca_true-termination.c.i timeout 900    806    794628096
termination-15/array18_alloca_true-termination.c.i unknown 32.5  18.3  750501888
termination-15/count_up_alloca_true-termination.c.i true 22.4  13.7  573378560
termination-15/count_up_and_down_alloca_true-termination.c.i true 19.8  11.8  513060864
termination-15/cstrcat_diffterm_alloca_true-termination.c.i true 15.2  9.13 508612608
termination-15/cstrcat_malloc_true-termination.c.i true 16.0  9.51 519524352
termination-15/cstrcat_mixed_alloca_true-termination.c.i true 14.9  9.09 520208384
termination-15/cstrcat_reverse_alloca_true-termination.c.i true 15.1  9.07 515497984
termination-15/cstrchr_diffterm_alloca_true-termination.c.i true 14.2  8.58 463376384
termination-15/cstrchr_malloc_true-termination.c.i true 15.3  8.97 503922688
termination-15/cstrchr_reverse_alloca_true-termination.c.i true 13.6  8.23 462315520
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i true 16.1  9.86 519819264
termination-15/cstrcmp_malloc_true-termination.c.i true 15.3  9.30 523665408
termination-15/cstrcmp_mixed_alloca_true-termination.c.i true 16.1  9.68 511913984
termination-15/cstrcmp_reverse_alloca_true-termination.c.i true 15.5  9.44 518004736
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i true 15.1  9.10 507404288
termination-15/cstrcpy_malloc_true-termination.c.i true 15.4  9.38 521203712
termination-15/cstrcpy_mixed_alloca_true-termination.c.i true 16.2  9.74 521486336
termination-15/cstrcpy_reverse_alloca_true-termination.c.i true 15.3  9.23 511381504
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i true 47.6  36.0  714489856
termination-15/cstrcspn_malloc_true-termination.c.i true 123    112    719327232
termination-15/cstrcspn_mixed_alloca_true-termination.c.i true 153    138    754393088
termination-15/cstrcspn_reverse_alloca_true-termination.c.i true 38.9  24.7  689762304
termination-15/cstrlen_diffterm_alloca_true-termination.c.i true 13.7  7.95 390070272
termination-15/cstrlen_malloc_true-termination.c.i true 12.7  7.54 410206208
termination-15/cstrlen_reverse_alloca_true-termination.c.i true 12.3  7.30 389357568
termination-15/cstrncat_diffterm_alloca_true-termination.c.i true 15.2  9.25 510754816
termination-15/cstrncat_malloc_true-termination.c.i true 15.1  9.18 519958528
termination-15/cstrncat_mixed_alloca_true-termination.c.i true 16.2  9.74 510140416
termination-15/cstrncat_reverse_alloca_true-termination.c.i true 15.6  9.31 514019328
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i true 16.0  9.85 516259840
termination-15/cstrncmp_malloc_true-termination.c.i true 16.9  10.2  527527936
termination-15/cstrncmp_mixed_alloca_true-termination.c.i true 17.3  10.4  511688704
termination-15/cstrncmp_reverse_alloca_true-termination.c.i true 16.6  10.1  502624256
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i true 21.7  13.7  594214912
termination-15/cstrncpy_malloc_true-termination.c.i true 20.6  13.2  596410368
termination-15/cstrncpy_mixed_alloca_true-termination.c.i true 21.3  13.5  606642176
termination-15/cstrncpy_reverse_alloca_true-termination.c.i true 21.6  13.7  618401792
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i true 31.2  21.1  672096256
termination-15/cstrpbrk_malloc_true-termination.c.i true 29.9  20.2  674873344
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i true 64.7  42.4  1295810560
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i true 31.9  21.2  673837056
termination-15/cstrspn_diffterm_alloca_true-termination.c.i true 32.6  21.6  678158336
termination-15/cstrspn_malloc_true-termination.c.i true 35.8  23.2  701943808
termination-15/cstrspn_mixed_alloca_true-termination.c.i true 33.5  22.2  679763968
termination-15/cstrspn_reverse_alloca_true-termination.c.i true 68.3  44.4  1387991040
termination-15/array04_alloca_false-termination.c.i false(termination) 14.0  7.99 397271040
termination-15/array14_alloca_false-termination.c.i false(termination) 21.6  13.0  520232960
termination-15/array15_alloca_false-termination.c.i false(termination) 21.9  13.2  518533120
termination-15/array16_alloca_original_false-termination.c.i false(termination) 33.9  21.1  697061376
termination-15/array19_alloca_false-termination.c.i false(termination) 13.1  7.81 411381760
termination-15/array20_alloca_false-termination.c.i false(termination) 16.8  9.65 439345152
termination-recursive-malloc/chunk1_true-termination.c.i true 12.4  7.49 397832192
termination-recursive-malloc/chunk2_true-termination.c.i error (7) 137    110    1758638080
termination-recursive-malloc/chunk3_true-termination.c.i error (7) 294    263    1977843712
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i true 51.3  33.5  740700160
termination-recursive-malloc/mergeSort_true-termination.c.i error (7) 86.6  59.6  1381040128
termination-recursive-malloc/mutual_simple2_true-termination.c.i true 15.7  9.88 512311296
termination-recursive-malloc/mutual_simple_true-termination.c.i true 13.6  8.21 424599552
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i true 17.8  11.1  526516224
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i true 34.3  22.5  697462784
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i true 36.5  24.8  693501952
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i true 37.4  25.4  703832064
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i true 39.9  26.3  673804288
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i error (7) 716    694    1280364544
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i true 66.8  46.2  1160134656
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i true 33.5  22.3  689065984
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i true 17.1  10.8  508526592
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i timeout 900    871    2263293952
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i true 72.9  56.6  959729664
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 60.7  35.6  1064837120
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i true 15.1  9.55 504348672
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 53.3  30.1  1079042048
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 66.3  38.5  1482588160
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i timeout 900    873    826560512
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i true 20.1  12.7  579485696
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i true 15.7  9.73 520146944
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i true 12.9  7.66 376446976
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i true 31.7  19.6  700145664
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 259 27300 22800 226297085952
    correct results 210 7120 5060 136221077504
        correct true 195 6760 4850 127356416000
        correct false 15 359 213 8864661504
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (259 tasks, max score: 502) 405
Run set sv-comp19_prop-termination.Termination-MainHeap