Tool ULTIMATE Automizer f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-14 08:15:08 CET
Run set sv-comp17.Termination-MainHeap
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
termination-libowfat/atoi_true-termination.c.i true 2 wit inspect 7.9 2.5 66 460 2.5 0      - - - -
termination-libowfat/atol_true-termination.c.i true 2 wit inspect 8.0 2.6 64 460 2.5 0      - - - -
termination-libowfat/atoll_true-termination.c.i true 2 wit inspect 8.3 2.6 62 490 2.5 0      - - - -
termination-libowfat/basename_true-termination.c.i timeout 0 wit inspect 900   790   13000 2400 2.3 0      - - - -
termination-libowfat/build_fullname_true-termination.c.i true 2 wit inspect 15   6.2 130 700 2.5 0      - - - -
termination-libowfat/dirname_true-termination.c.i timeout 0 wit inspect 910   320   5600 13000 2.3 0      - - - -
termination-libowfat/skip_to_true-termination.c.i unknown 0 wit inspect 38   15   290 2800 2.5 0      - - - -
termination-libowfat/stpcpy_true-termination.c.i true 2 wit inspect 10   3.1 78 470 2.5 0      - - - -
termination-libowfat/strcasecmp_true-termination.c.i true 2 wit inspect 11   3.4 92 490 2.5 0      - - - -
termination-libowfat/strcat_short_true-termination.c.i true 2 wit inspect 11   3.3 81 470 2.5 0      - - - -
termination-libowfat/strcat_true-termination.c.i true 2 wit inspect 13   3.9 110 510 2.5 .33   - - - -
termination-libowfat/strchr_short_true-termination.c.i true 2 wit inspect 5.7 1.7 43 320 2.5 0      - - - -
termination-libowfat/strchr_true-termination.c.i true 2 wit inspect 5.4 1.8 42 320 2.5 0      - - - -
termination-libowfat/strcmp_short_true-termination.c.i true 2 wit inspect 5.4 1.7 39 320 2.5 0      - - - -
termination-libowfat/strcpy_small_true-termination.c.i true 2 wit inspect 9.7 3.1 74 470 2.5 0      - - - -
termination-libowfat/strcspn_true-termination.c.i true 2 wit inspect 18   7.7 150 710 2.5 0      - - - -
termination-libowfat/strdup_true-termination.c.i true 2 wit inspect 12   3.6 92 500 2.5 0      - - - -
termination-libowfat/strlcat_true-termination.c.i true 2 wit inspect 14   4.7 120 510 2.5 0      - - - -
termination-libowfat/strlcpy_true-termination.c.i true 2 wit inspect 15   5.9 140 510 2.5 0      - - - -
termination-libowfat/strlen_true-termination.c.i true 2 wit inspect 5.4 1.8 43 320 2.5 0      - - - -
termination-libowfat/strpbrk_true-termination.c.i unknown 0 wit inspect 33   9.2 240 970 2.5 0      - - - -
termination-libowfat/strrchr_short_true-termination.c.i true 2 wit inspect 9.7 3.1 75 480 2.5 0      - - - -
termination-libowfat/strrchr_true-termination.c.i true 2 wit inspect 11   3.3 93 480 2.5 0      - - - -
termination-libowfat/strspn_true-termination.c.i true 2 wit inspect 14   5.6 110 530 2.5 0      - - - -
termination-libowfat/strstr_true-termination.c.i true 2 wit inspect 54   40   550 710 2.5 0      - - - -
termination-libowfat/strtok_r_true-termination.c.i true 2 wit inspect 46   27   550 980 2.5 0      - - - -
termination-libowfat/strtol_true-termination.c.i true 2 wit inspect 15   6.2 120 510 2.5 0      - - - -
termination-libowfat/strtoul_true-termination.c.i true 2 wit inspect 11   3.9 91 500 2.5 0      - - - -
termination-libowfat/strtoull_true-termination.c.i true 2 wit inspect 11   3.7 87 480 2.5 0      - - - -
termination-libowfat/wcsrchr_true-termination.c.i true 2 wit inspect 8.4 2.7 69 470 2.5 0      - - - -
termination-libowfat/wcsstr_true-termination.c.i true 2 wit inspect 6.2 2.0 49 320 2.5 0      - - - -
termination-memory-alloca/PodelskiRybalchenko-2004VMCAI-Ex2-alloca_false-termination.c.i unknown 0 wit inspect 19   5.0 140 640 2.5 0      - - - -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i false(termination) 1 wit inspect 6.0 1.9 46 320 2.5 0      - - - -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i false(termination) 1 wit inspect 9.4 2.8 73 420 2.5 0      - - - -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i true 2 wit inspect 16   6.7 150 550 2.5 0      - - - -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i true 2 wit inspect 14   5.9 130 620 2.5 0      - - - -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i true 2 wit inspect 59   39   710 920 2.5 0      - - - -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i true 2 wit inspect 9.0 2.9 79 470 2.5 0      - - - -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i true 2 wit inspect 16   6.7 150 570 2.5 0      - - - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i true 2 wit inspect 19   5.5 160 550 2.5 0      - - - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i true 2 wit inspect 32   20   320 1700 2.5 0      - - - -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i true 2 wit inspect 320   300   4800 1600 2.5 0      - - - -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i timeout 0 wit inspect 900   840   11000 10000 2.3 0      - - - -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i true 2 wit inspect 31   17   340 980 2.5 0      - - - -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i true 2 wit inspect 7.5 2.4 57 420 2.5 0      - - - -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i true 2 wit inspect 12   4.1 100 620 2.5 0      - - - -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 0 wit inspect 13   3.5 100 630 2.5 0      - - - -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i true 2 wit inspect 19   11   220 640 2.5 0      - - - -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i true 2 wit inspect 46   31   550 880 2.5 0      - - - -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i error (1) 0 wit inspect 240   190   2500 8400 2.5 0      - - - -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i true 2 wit inspect 14   5.5 120 530 2.5 0      - - - -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i true 2 wit inspect 77   60   910 1300 2.5 0      - - - -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i true 2 wit inspect 220   200   2700 5700 2.5 0      - - - -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i timeout 0 wit inspect 900   770   13000 1200 2.3 0      - - - -
termination-memory-alloca/Urban-alloca_true-termination.c.i true 2 wit inspect 33   14   290 1400 2.5 0      - - - -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 23   12   230 810 2.5 0      - - - -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 10   3.2 87 510 2.5 0      - - - -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 9.4 3.1 74 470 2.5 0      - - - -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 13   4.8 120 580 2.5 0      - - - -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 390   380   4500 790 2.5 0      - - - -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 9.7 3.2 74 480 2.5 0      - - - -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 11   3.6 85 480 2.5 0      - - - -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 12   4.3 100 490 2.5 0      - - - -
termination-memory-alloca/add_last-alloca_true-termination.c.i true 2 wit inspect 8.4 2.5 64 470 2.5 0      - - - -
termination-memory-alloca/array01-alloca_true-termination.c.i true 2 wit inspect 12   3.6 95 490 2.5 0      - - - -
termination-memory-alloca/array02-alloca_true-termination.c.i true 2 wit inspect 14   5.0 120 520 2.9 .012  - - - -
termination-memory-alloca/array03-alloca_true-termination.c.i true 2 wit inspect 13   4.4 100 500 2.5 0      - - - -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i timeout 0 wit inspect 900   860   11000 3200 2.3 0      - - - -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 8.9 3.0 71 480 2.5 0      - - - -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 10   3.3 86 510 2.5 0      - - - -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 11   3.3 78 480 2.5 0      - - - -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 11   3.4 80 480 2.5 0      - - - -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 11   4.6 100 550 2.5 0      - - - -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 9.8 3.1 75 480 3.0 0      - - - -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 11   3.7 88 490 2.5 0      - - - -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 12   4.9 120 490 2.5 0      - - - -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 32   21   330 660 2.5 0      - - - -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 15   6.2 120 530 2.5 0      - - - -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 14   4.8 120 610 2.5 0      - - - -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 310   290   3800 1600 2.5 0      - - - -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 11   4.3 100 480 2.5 0      - - - -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 16   6.8 140 540 2.5 0      - - - -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 14   5.6 130 580 2.5 0      - - - -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 15   6.7 130 530 2.5 0      - - - -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 14   4.9 130 640 2.5 0      - - - -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 17   7.4 150 540 2.5 0      - - - -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 35   24   360 550 2.5 0      - - - -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i true 2 wit inspect 12   3.7 99 590 2.5 0      - - - -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i error (1) 0 wit inspect 610   560   7400 13000 2.5 0      - - - -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i error (1) 0 wit inspect 540   520   5800 1800 2.5 0      - - - -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 60   45   680 1700 2.5 0      - - - -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 46   30   500 790 2.5 0      - - - -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i true 2 wit inspect 15   7.3 140 690 2.5 0      - - - -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i timeout 0 wit inspect 900   800   10000 13000 2.3 0      - - - -
termination-memory-alloca/count_down-alloca_true-termination.c.i true 2 wit inspect 13   4.3 120 540 2.5 0      - - - -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i true 2 wit inspect 12   3.8 97 480 2.5 0      - - - -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i true 2 wit inspect 10   2.9 78 480 2.5 0      - - - -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i true 2 wit inspect 10   3.2 81 480 2.5 0      - - - -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i true 2 wit inspect 9.5 3.2 83 470 2.5 0      - - - -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i true 2 wit inspect 73   63   850 600 2.5 0      - - - -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i true 2 wit inspect 8.3 2.5 61 440 2.7 0      - - - -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i true 2 wit inspect 10   3.1 81 490 2.5 0      - - - -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i true 2 wit inspect 10   3.1 82 480 2.5 0      - - - -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i true 2 wit inspect 14   4.5 100 510 2.5 0      - - - -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i true 2 wit inspect 16   7.1 140 710 2.5 0      - - - -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i true 2 wit inspect 17   6.9 170 540 2.5 0      - - - -
termination-memory-alloca/diff-alloca_true-termination.c.i true 2 wit inspect 18   7.7 180 710 2.5 0      - - - -
termination-memory-alloca/easySum-alloca_true-termination.c.i true 2 wit inspect 9.2 3.3 86 460 2.7 0      - - - -
termination-memory-alloca/ex1-alloca_true-termination.c.i true 2 wit inspect 22   15   220 490 2.5 0      - - - -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 0 wit inspect 51   23   440 1400 2.5 0      - - - -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 0 wit inspect 22   6.2 170 850 2.9 0      - - - -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 0 wit inspect 26   7.6 190 880 2.5 .012  - - - -
termination-memory-alloca/fermat-alloca_true-termination.c.i timeout 0 wit inspect 900   830   11000 1600 2.3 0      - - - -
termination-memory-alloca/flag-alloca_true-termination.c.i true 2 wit inspect 27   13   240 1100 2.5 0      - - - -
termination-memory-alloca/gcd1-alloca_true-termination.c.i true 2 wit inspect 27   13   260 760 2.5 0      - - - -
termination-memory-alloca/genady-alloca_true-termination.c.i true 2 wit inspect 10   3.2 88 480 2.5 0      - - - -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i true 2 wit inspect 12   3.7 93 490 2.5 0      - - - -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i true 2 wit inspect 10   3.7 87 480 2.5 0      - - - -
termination-memory-alloca/java_Break-alloca_true-termination.c.i true 2 wit inspect 9.9 3.0 74 490 2.5 0      - - - -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i true 2 wit inspect 13   3.8 110 490 2.5 0      - - - -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i true 2 wit inspect 450   420   5500 7900 2.5 0      - - - -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i true 2 wit inspect 9.9 2.8 68 510 2.5 0      - - - -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i error (1) 0 wit inspect 40   24   360 7700 2.6 0      - - - -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i timeout 0 wit inspect 900   780   12000 1300 2.3 0      - - - -
termination-memory-alloca/lis-alloca_true-termination.c.i error (1) 0 wit inspect 770   720   9600 12000 2.5 0      - - - -
termination-memory-alloca/min_rf-alloca_true-termination.c.i error (1) 0 wit inspect 320   280   4100 11000 2.5 0      - - - -
termination-memory-alloca/mult_array-alloca_true-termination.c.i true 2 wit inspect 15   5.8 140 530 2.5 0      - - - -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i true 2 wit inspect 8.9 2.6 62 480 2.8 0      - - - -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i true 2 wit inspect 9.3 2.9 67 470 2.5 0      - - - -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i true 2 wit inspect 9.2 2.9 66 470 2.5 0      - - - -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i true 2 wit inspect 8.5 2.7 71 470 2.5 0      - - - -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i true 2 wit inspect 9.7 3.0 86 470 2.5 0      - - - -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i true 2 wit inspect 27   18   300 700 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i true 2 wit inspect 14   4.1 100 500 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i true 2 wit inspect 10   3.2 77 470 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i true 2 wit inspect 9.8 3.0 67 490 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i true 2 wit inspect 98   88   1400 610 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i true 2 wit inspect 15   5.4 130 670 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i true 2 wit inspect 9.1 2.6 65 450 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i true 2 wit inspect 11   3.3 85 490 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i true 2 wit inspect 10   3.3 78 480 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i true 2 wit inspect 16   4.8 120 550 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i true 2 wit inspect 8.0 2.6 65 470 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i true 2 wit inspect 94   85   1200 760 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i true 2 wit inspect 16   5.3 140 630 2.5 0      - - - -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i true 2 wit inspect 25   11   230 720 2.5 0      - - - -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i true 2 wit inspect 8.3 2.4 64 430 2.5 0      - - - -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i true 2 wit inspect 13   4.1 110 550 2.5 0      - - - -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i true 2 wit inspect 7.9 2.4 69 390 2.5 0      - - - -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i true 2 wit inspect 11   3.5 81 490 2.5 0      - - - -
termination-memory-alloca/strreplace-alloca_true-termination.c.i true 2 wit inspect 11   3.2 81 490 2.5 0      - - - -
termination-memory-alloca/subseq-alloca_true-termination.c.i true 2 wit inspect 13   4.2 110 660 2.5 0      - - - -
termination-memory-alloca/substring-alloca_true-termination.c.i true 2 wit inspect 19   6.3 150 570 2.5 0      - - - -
termination-memory-alloca/twisted-alloca_true-termination.c.i true 2 wit inspect 22   11   210 780 2.5 0      - - - -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 0 wit inspect 31   9.9 240 1100 2.5 0      - - - -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i false(termination) 1 wit inspect 12   3.9 97 510 2.5 0      - - - -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i false(termination) 1 wit inspect 11   3.6 93 480 2.5 0      - - - -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i false(termination) 1 wit inspect 11   3.6 94 470 2.5 0      - - - -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i false(termination) 1 wit inspect 12   4.6 100 500 2.5 0      - - - -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i false(termination) 1 wit inspect 34   11   280 1100 2.5 0      - - - -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 0 wit inspect 25   6.4 180 650 2.5 0      - - - -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i false(termination) 1 wit inspect 13   4.0 99 490 2.5 0      - - - -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i false(termination) 1 wit inspect 11   3.7 91 480 2.5 0      - - - -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i true 2 wit inspect 9.1 2.9 68 470 2.5 0      - - - -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i timeout 0 wit inspect 900   880   10000 1600 2.3 0      - - - -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 0 wit inspect 160   120   1700 2500 2.5 0      - - - -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 0 wit inspect 200   160   2600 3100 2.5 0      - - - -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i true 2 wit inspect 7.8 2.5 66 430 2.5 0      - - - -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 0 wit inspect 170   120   1900 5100 2.5 0      - - - -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 0 wit inspect 42   18   350 1900 2.5 0      - - - -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 0 wit inspect 45   19   420 2100 2.5 0      - - - -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 0 wit inspect 630   560   7100 6000 2.5 0      - - - -
termination-15/add_first_alloca_true-termination.c.i true 2 wit inspect 8.1 2.5 63 440 2.5 0      - - - -
termination-15/array05_alloca_true-termination.c.i unknown 0 wit inspect 16   4.3 140 560 2.5 0      - - - -
termination-15/array06_alloca_true-termination.c.i true 2 wit inspect 12   3.6 95 500 2.5 0      - - - -
termination-15/array07_alloca_true-termination.c.i true 2 wit inspect 12   3.5 100 520 2.5 0      - - - -
termination-15/array08_alloca_true-termination.c.i unknown 0 wit inspect 22   6.1 180 690 2.5 0      - - - -
termination-15/array09_alloca_true-termination.c.i unknown 0 wit inspect 24   6.1 170 670 2.5 0      - - - -
termination-15/array10_alloca_true-termination.c.i unknown 0 wit inspect 16   4.4 120 560 2.5 0      - - - -
termination-15/array11_alloca_true-termination.c.i unknown 0 wit inspect 23   6.4 170 770 2.5 0      - - - -
termination-15/array12_alloca_true-termination.c.i timeout 0 wit inspect 900   840   12000 860 2.3 0      - - - -
termination-15/array13_alloca_true-termination.c.i timeout 0 wit inspect 900   840   10000 930 2.3 0      - - - -
termination-15/array16_alloca_fixed_true-termination.c.i timeout 0 wit inspect 900   790   13000 890 2.3 0      - - - -
termination-15/array17_alloca_true-termination.c.i timeout 0 wit inspect 900   840   13000 920 2.3 0      - - - -
termination-15/array18_alloca_true-termination.c.i unknown 0 wit inspect 23   6.1 160 660 2.5 0      - - - -
termination-15/count_up_alloca_true-termination.c.i true 2 wit inspect 13   4.3 120 540 2.5 0      - - - -
termination-15/count_up_and_down_alloca_true-termination.c.i true 2 wit inspect 13   3.9 97 540 2.5 0      - - - -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i true 2 wit inspect 11   3.9 94 600 2.7 0      - - - -
termination-15/cstrcat_malloc_true-termination.c.i true 2 wit inspect 16   5.0 120 550 2.5 0      - - - -
termination-15/cstrcat_mixed_alloca_true-termination.c.i true 2 wit inspect 13   4.1 110 500 2.5 0      - - - -
termination-15/cstrcat_reverse_alloca_true-termination.c.i true 2 wit inspect 13   4.0 120 480 2.7 0      - - - -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i true 2 wit inspect 9.9 2.8 76 490 2.5 0      - - - -
termination-15/cstrchr_malloc_true-termination.c.i true 2 wit inspect 10   3.1 83 480 2.5 0      - - - -
termination-15/cstrchr_reverse_alloca_true-termination.c.i true 2 wit inspect 9.2 2.9 66 480 2.7 0      - - - -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i true 2 wit inspect 9.6 3.1 70 470 2.5 0      - - - -
termination-15/cstrcmp_malloc_true-termination.c.i true 2 wit inspect 9.7 3.1 71 480 2.5 0      - - - -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i true 2 wit inspect 10   3.2 89 510 2.5 0      - - - -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i true 2 wit inspect 10   3.1 72 480 2.5 0      - - - -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i true 2 wit inspect 10   3.1 83 500 2.5 0      - - - -
termination-15/cstrcpy_malloc_true-termination.c.i true 2 wit inspect 11   3.1 92 480 2.5 0      - - - -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i true 2 wit inspect 10   3.2 80 490 2.5 0      - - - -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i true 2 wit inspect 10   3.2 84 470 2.9 0      - - - -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i true 2 wit inspect 130   120   1700 730 2.5 0      - - - -
termination-15/cstrcspn_malloc_true-termination.c.i true 2 wit inspect 83   72   980 750 2.5 0      - - - -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i true 2 wit inspect 18   7.1 160 580 2.5 0      - - - -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i true 2 wit inspect 18   7.3 180 640 2.5 0      - - - -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i true 2 wit inspect 8.0 2.5 58 440 2.6 0      - - - -
termination-15/cstrlen_malloc_true-termination.c.i true 2 wit inspect 9.5 2.7 71 490 2.5 0      - - - -
termination-15/cstrlen_reverse_alloca_true-termination.c.i true 2 wit inspect 8.3 2.6 59 460 2.5 0      - - - -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i true 2 wit inspect 9.2 3.0 78 480 2.5 0      - - - -
termination-15/cstrncat_malloc_true-termination.c.i true 2 wit inspect 9.5 3.0 80 470 2.5 0      - - - -
termination-15/cstrncat_mixed_alloca_true-termination.c.i true 2 wit inspect 9.6 3.1 77 480 2.5 0      - - - -
termination-15/cstrncat_reverse_alloca_true-termination.c.i true 2 wit inspect 10   3.1 86 480 2.5 0      - - - -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i true 2 wit inspect 9.2 3.1 67 490 2.5 0      - - - -
termination-15/cstrncmp_malloc_true-termination.c.i true 2 wit inspect 10   3.2 84 480 2.5 0      - - - -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i true 2 wit inspect 9.9 3.3 84 480 2.5 0      - - - -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i true 2 wit inspect 11   3.4 91 480 2.8 0      - - - -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i true 2 wit inspect 14   4.4 110 500 2.5 0      - - - -
termination-15/cstrncpy_malloc_true-termination.c.i true 2 wit inspect 16   4.6 130 670 2.5 0      - - - -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i true 2 wit inspect 15   4.4 100 510 2.5 0      - - - -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i true 2 wit inspect 14   4.5 110 670 2.9 0      - - - -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i true 2 wit inspect 19   7.2 170 530 2.5 0      - - - -
termination-15/cstrpbrk_malloc_true-termination.c.i true 2 wit inspect 18   7.2 160 710 2.5 0      - - - -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i true 2 wit inspect 17   7.0 150 710 2.5 0      - - - -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i true 2 wit inspect 17   7.3 160 550 2.5 0      - - - -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i true 2 wit inspect 20   7.1 180 560 2.5 0      - - - -
termination-15/cstrspn_malloc_true-termination.c.i true 2 wit inspect 17   7.1 160 550 2.5 0      - - - -
termination-15/cstrspn_mixed_alloca_true-termination.c.i true 2 wit inspect 18   7.2 170 550 2.5 0      - - - -
termination-15/cstrspn_reverse_alloca_true-termination.c.i true 2 wit inspect 19   7.0 150 700 2.5 0      - - - -
termination-15/array04_alloca_false-termination.c.i false(termination) 1 wit inspect 7.6 2.5 67 410 2.5 0      - - - -
termination-15/array14_alloca_false-termination.c.i false(termination) 1 wit inspect 13   4.1 100 490 2.5 0      - - - -
termination-15/array15_alloca_false-termination.c.i false(termination) 1 wit inspect 13   4.0 110 490 2.5 0      - - - -
termination-15/array16_alloca_original_false-termination.c.i false(termination) 1 wit inspect 17   5.7 140 550 2.5 0      - - - -
termination-15/array19_alloca_false-termination.c.i false(termination) 1 wit inspect 8.4 2.6 72 410 2.5 0      - - - -
termination-15/array20_alloca_false-termination.c.i false(termination) 1 wit inspect 9.0 2.8 64 410 2.5 0      - - - -
termination-recursive-malloc/chunk1_true-termination.c.i true 2 wit inspect 9.3 2.7 76 490 2.5 0      - - - -
termination-recursive-malloc/chunk2_true-termination.c.i timeout 0 wit inspect 900   880   12000 2600 2.3 0      - - - -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 0 wit inspect 310   270   4000 2100 2.8 0      - - - -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i true 2 wit inspect 19   8.4 180 560 2.5 0      - - - -
termination-recursive-malloc/mergeSort_true-termination.c.i error (1) 0 wit inspect 490   440   6200 2700 2.5 0      - - - -
termination-recursive-malloc/mutual_simple2_true-termination.c.i true 2 wit inspect 16   5.3 140 650 2.5 0      - - - -
termination-recursive-malloc/mutual_simple_true-termination.c.i true 2 wit inspect 8.3 2.6 72 470 2.9 0      - - - -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i true 2 wit inspect 12   4.7 110 530 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i true 2 wit inspect 24   11   220 830 2.7 0      - - - -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i true 2 wit inspect 18   8.7 180 600 2.6 0      - - - -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i true 2 wit inspect 21   12   240 600 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i true 2 wit inspect 42   18   340 1400 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i timeout 0 wit inspect 900   890   8500 3000 2.3 0      - - - -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i true 2 wit inspect 43   28   470 800 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i true 2 wit inspect 22   11   210 830 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i true 2 wit inspect 14   5.4 120 500 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i timeout 0 wit inspect 900   840   11000 8900 2.3 0      - - - -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i true 2 wit inspect 28   17   280 810 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 0 wit inspect 35   14   280 1100 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i true 2 wit inspect 14   5.5 140 530 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 0 wit inspect 45   17   380 2200 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 0 wit inspect 58   21   430 2700 2.5 0      - - - -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i true 2 wit inspect 200   160   2500 1000 2.5 0      - - - -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i true 2 wit inspect 120   110   1300 530 2.5 .0082 - - - -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i true 2 wit inspect 10   3.0 79 500 2.5 0      - - - -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i true 2 wit inspect 8.0 2.5 70 420 2.5 0      - - - -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i true 2 wit inspect 17   6.1 150 710 2.5 0      - - - -
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
total 262 413 25000 21000 290000 300000 660 .36 262 262 262 262
    correct results 214 413 5500 3600 59000 140000 540 .35 0 0 0 0
        correct true 199 398 5300 3500 57000 130000 500 .35 0 0 0 0
        correct false 15 15 190 61 1500 7600 38 0    0 0 0 0
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (262 tasks, max score: 506) 413
Run set sv-comp17.Termination-MainHeap