./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1062:3-1070:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1358:3-1372:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1471:3-1509:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1688:3-1695:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1929:3-1964:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1992:3-1997:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2045:3-2062:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2178:3-2187:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2192:3-2202:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2207:3-2216:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2240:3-2262:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2265:3-2275:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2429:3-2436:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2550:3-2558:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2621:3-2634:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2663:3-2685:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2772:7-2808:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:2841:3-2862:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3013:5-3018:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3053:3-3056:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3128:9-3137:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3328:5-3331:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3672:3-3702:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3708:3-3719:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3979:11-3982:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3987:13-3998:13 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4007:3-4012:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4095:3-4098:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4174:3-4186:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4218:3-4229:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4587:7-4598:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4771:3-4784:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4821:3-4863:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4880:3-4903:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4921:3-4939:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4967:3-4975:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5023:3-5027:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5444:3-5453:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5519:3-5522:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5550:3-5555:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5568:3-5581:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5612:3-5615:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5683:3-5701:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5903:3-5913:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:5950:3-5956:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:6213:3-6224:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:6234:3-6245:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7573:3-7582:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7585:3-7590:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7611:3-7618:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7652:3-7664:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7751:3-7761:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7819:7-7829:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:7937:3-7947:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8027:5-8036:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8039:5-8049:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8160:3-8211:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8514:9-8518:9 with factor 8
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8635:7-8639:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8885:3-8910:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8980:5-8985:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8987:5-8996:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:8998:7-9003:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:9578:3-9591:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:9618:9-9630:9 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:9660:3-9668:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11264:7-11273:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11291:7-11299:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11400:3-11430:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11505:5-11524:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11543:5-11548:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11570:3-11573:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11581:3-11607:3 with factor 1
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11613:3-11616:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11643:3-11646:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11648:3-11657:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:11755:3-11767:3 with factor 2
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 199
functionCalls: 1922
loops: 95
loopBreaks: 0
controlFlowStatements: 5708
expressions: 36874
instructions: 7068
integralVars: (38,771)
arrayVars: (29,33)
pointerVars: (36,589)

Complexity estimates:
File: 110451819
malloc wrapper: xreadline
Total: 110451819
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.362
vars: 4732, evals: 30437

|rho|=4732
|stable|=4231
|infl|=4704
|wpoint|=10
|sides|=712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=3780
|called|=28
Found 234 contexts for 36 functions. Top 5 functions:
57	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
38	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
25	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1
22	contexts for L:entry state of xgetenv (4827) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3148:1-3168:1
13	contexts for L:entry state of msg (4789) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1575:1-1583:1

Memory statistics: total=23657.66MB, max=114.78MB, minor=23651.42MB, major=349.63MB, promoted=343.39MB
    minor collections=11287  major collections=20 compactions=0


runtime: 00:00:20.410
vars: 17199, evals: 62497

|rho|=17199
|stable|=13027
|infl|=17177
|wpoint|=43
|sides|=1973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14301
|called|=25
Found 680 contexts for 73 functions. Top 5 functions:
155	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
60	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
42	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1
31	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
26	contexts for L:entry state of xrealloc (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1136:1-1149:1

Memory statistics: total=48356.09MB, max=200.75MB, minor=48348.29MB, major=664.63MB, promoted=656.83MB
    minor collections=23068  major collections=27 compactions=0


runtime: 00:00:30.489
vars: 30118, evals: 93377

|rho|=30118
|stable|=22885
|infl|=30090
|wpoint|=79
|sides|=2578
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26005
|called|=36
Found 1233 contexts for 75 functions. Top 5 functions:
276	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
91	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
66	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1
62	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
49	contexts for L:entry state of xrealloc (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1136:1-1149:1

Memory statistics: total=72513.51MB, max=305.32MB, minor=72504.50MB, major=962.32MB, promoted=953.31MB
    minor collections=34588  major collections=30 compactions=0


runtime: 00:00:40.549
vars: 39048, evals: 115471

|rho|=39048
|stable|=32199
|infl|=39015
|wpoint|=96
|sides|=2915
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34245
|called|=41
Found 1566 contexts for 75 functions. Top 5 functions:
356	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
106	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
100	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
78	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
74	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1

Memory statistics: total=94126.31MB, max=464.37MB, minor=94115.13MB, major=1295.65MB, promoted=1284.48MB
    minor collections=44894  major collections=33 compactions=0


runtime: 00:00:50.588
vars: 54586, evals: 143144

|rho|=54586
|stable|=43927
|infl|=54561
|wpoint|=104
|sides|=3888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48166
|called|=37
Found 2084 contexts for 94 functions. Top 5 functions:
465	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
145	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
132	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
120	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
83	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1

Memory statistics: total=117114.14MB, max=534.03MB, minor=117101.30MB, major=1601.32MB, promoted=1588.48MB
    minor collections=55856  major collections=35 compactions=0


runtime: 00:01:00.656
vars: 71232, evals: 172725

|rho|=71232
|stable|=23817
|infl|=71219
|wpoint|=103
|sides|=4558
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63547
|called|=91
Found 2632 contexts for 98 functions. Top 5 functions:
581	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
193	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
174	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
156	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
105	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=139578.81MB, max=706.25MB, minor=139562.28MB, major=1891.35MB, promoted=1874.81MB
    minor collections=66567  major collections=36 compactions=0


runtime: 00:01:10.719
vars: 90677, evals: 199378

|rho|=90677
|stable|=41921
|infl|=90641
|wpoint|=129
|sides|=5438
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81368
|called|=52
Found 3209 contexts for 111 functions. Top 5 functions:
727	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
250	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
205	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
156	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
123	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=162054.69MB, max=812.19MB, minor=162035.19MB, major=2166.48MB, promoted=2146.98MB
    minor collections=77284  major collections=37 compactions=0


runtime: 00:01:20.759
vars: 101543, evals: 224980

|rho|=101543
|stable|=53234
|infl|=101521
|wpoint|=136
|sides|=5941
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91247
|called|=102
Found 3684 contexts for 111 functions. Top 5 functions:
815	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
269	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
244	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
192	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
185	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=185017.42MB, max=934.02MB, minor=184996.43MB, major=2438.92MB, promoted=2417.93MB
    minor collections=88233  major collections=38 compactions=0


runtime: 00:01:30.807
vars: 113449, evals: 247897

|rho|=113449
|stable|=65568
|infl|=113404
|wpoint|=135
|sides|=6578
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101894
|called|=56
Found 4253 contexts for 116 functions. Top 5 functions:
925	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
288	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
288	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
261	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
237	contexts for L:entry state of printmsg_nc (4792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1607:1-1617:1

Memory statistics: total=207742.27MB, max=1074.12MB, minor=207718.41MB, major=2694.73MB, promoted=2670.87MB
    minor collections=99069  major collections=39 compactions=0


runtime: 00:01:40.846
vars: 127015, evals: 267603

|rho|=127015
|stable|=79095
|infl|=126988
|wpoint|=134
|sides|=7118
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114379
|called|=35
Found 4788 contexts for 116 functions. Top 5 functions:
1097	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
393	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
330	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
321	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
270	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=228346.09MB, max=1074.12MB, minor=228319.40MB, major=2953.54MB, promoted=2926.85MB
    minor collections=108893  major collections=40 compactions=0


runtime: 00:01:50.881
vars: 142267, evals: 292790

|rho|=142267
|stable|=94960
|infl|=141169
|wpoint|=141
|sides|=7612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128681
|called|=1113
Found 5188 contexts for 126 functions. Top 5 functions:
1147	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
403	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
353	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
336	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
312	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=249062.48MB, max=1235.24MB, minor=249029.98MB, major=3194.85MB, promoted=3162.35MB
    minor collections=118769  major collections=40 compactions=0


runtime: 00:02:00.961
vars: 142267, evals: 292790

|rho|=142267
|stable|=94960
|infl|=142188
|wpoint|=141
|sides|=7612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128681
|called|=94
Found 5188 contexts for 126 functions. Top 5 functions:
1147	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
403	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
353	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
336	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
312	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=269039.93MB, max=1420.53MB, minor=269000.40MB, major=3647.60MB, promoted=3608.07MB
    minor collections=128293  major collections=42 compactions=0


runtime: 00:02:11.005
vars: 145428, evals: 296606

|rho|=145428
|stable|=98121
|infl|=145018
|wpoint|=142
|sides|=7750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131621
|called|=425
Found 5244 contexts for 127 functions. Top 5 functions:
1162	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
410	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
358	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
345	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
312	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=288985.81MB, max=1420.53MB, minor=288936.49MB, major=4081.76MB, promoted=4032.44MB
    minor collections=137800  major collections=43 compactions=0


runtime: 00:02:21.016
vars: 146685, evals: 298465

|rho|=146685
|stable|=99339
|infl|=146653
|wpoint|=143
|sides|=7796
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132787
|called|=55
Found 5290 contexts for 127 functions. Top 5 functions:
1175	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
417	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
362	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
354	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
312	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=307470.73MB, max=1420.53MB, minor=307411.63MB, major=4502.43MB, promoted=4443.33MB
    minor collections=146610  major collections=44 compactions=0


runtime: 00:02:31.028
vars: 148480, evals: 300419

|rho|=148480
|stable|=101173
|infl|=148357
|wpoint|=143
|sides|=7806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134561
|called|=138
Found 5300 contexts for 127 functions. Top 5 functions:
1177	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
417	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
363	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
354	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
312	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=327088.47MB, max=1420.53MB, minor=327023.45MB, major=4931.44MB, promoted=4866.41MB
    minor collections=155962  major collections=45 compactions=0


runtime: 00:02:41.040
vars: 155434, evals: 311266

|rho|=155434
|stable|=100840
|infl|=155404
|wpoint|=148
|sides|=8095
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140953
|called|=56
Found 5527 contexts for 135 functions. Top 5 functions:
1225	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
430	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
377	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
363	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
330	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=346742.18MB, max=1420.53MB, minor=346670.00MB, major=5283.28MB, promoted=5211.10MB
    minor collections=165331  major collections=45 compactions=0


runtime: 00:02:51.055
vars: 159703, evals: 325426

|rho|=159703
|stable|=104875
|infl|=159673
|wpoint|=151
|sides|=8307
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144846
|called|=75
Found 5655 contexts for 140 functions. Top 5 functions:
1225	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
430	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
377	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
363	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
330	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=370410.23MB, max=1420.53MB, minor=370337.16MB, major=5424.28MB, promoted=5351.22MB
    minor collections=176617  major collections=46 compactions=0


runtime: 00:03:01.071
vars: 164115, evals: 340890

|rho|=164115
|stable|=108668
|infl|=164085
|wpoint|=157
|sides|=8510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148897
|called|=84
Found 5791 contexts for 142 functions. Top 5 functions:
1232	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
434	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
380	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
366	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
332	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=393009.92MB, max=1420.53MB, minor=392935.80MB, major=5564.66MB, promoted=5490.54MB
    minor collections=187393  major collections=46 compactions=0


runtime: 00:03:11.091
vars: 167843, evals: 353808

|rho|=167843
|stable|=112017
|infl|=167814
|wpoint|=157
|sides|=8624
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152397
|called|=60
Found 5905 contexts for 142 functions. Top 5 functions:
1232	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
434	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
380	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
366	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
332	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=416420.07MB, max=1420.53MB, minor=416345.27MB, major=5698.91MB, promoted=5624.11MB
    minor collections=198556  major collections=46 compactions=0


runtime: 00:03:21.106
vars: 171128, evals: 367742

|rho|=171128
|stable|=115145
|infl|=171101
|wpoint|=155
|sides|=8728
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155475
|called|=74
Found 6005 contexts for 142 functions. Top 5 functions:
1239	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
437	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
382	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
369	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
333	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=439562.98MB, max=1420.53MB, minor=439487.27MB, major=5832.64MB, promoted=5756.93MB
    minor collections=209591  major collections=47 compactions=0


runtime: 00:03:31.118
vars: 175521, evals: 383893

|rho|=175521
|stable|=37923
|infl|=175489
|wpoint|=167
|sides|=8880
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159565
|called|=67
Found 6149 contexts for 142 functions. Top 5 functions:
1246	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
442	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
386	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
372	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
336	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=461410.00MB, max=1420.53MB, minor=461332.98MB, major=5970.39MB, promoted=5893.38MB
    minor collections=220008  major collections=47 compactions=0


runtime: 00:03:41.198
vars: 178081, evals: 394591

|rho|=178081
|stable|=40545
|infl|=178054
|wpoint|=167
|sides|=8958
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161968
|called|=66
Found 6227 contexts for 142 functions. Top 5 functions:
1246	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
442	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
386	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
372	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
336	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=483708.40MB, max=1633.61MB, minor=483630.70MB, major=6088.77MB, promoted=6011.07MB
    minor collections=230641  major collections=47 compactions=0


runtime: 00:03:51.213
vars: 181394, evals: 408034

|rho|=181394
|stable|=43182
|infl|=181357
|wpoint|=166
|sides|=9059
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165079
|called|=54
Found 6328 contexts for 142 functions. Top 5 functions:
1253	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
445	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
388	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
375	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
337	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=506592.94MB, max=1633.61MB, minor=506514.69MB, major=6218.84MB, promoted=6140.60MB
    minor collections=241553  major collections=47 compactions=0


runtime: 00:04:01.225
vars: 186978, evals: 422310

|rho|=186978
|stable|=49069
|infl|=186949
|wpoint|=171
|sides|=9262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170264
|called|=67
Found 6524 contexts for 142 functions. Top 5 functions:
1274	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
459	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
393	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
387	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
339	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=529562.99MB, max=1633.61MB, minor=529483.31MB, major=6361.52MB, promoted=6281.84MB
    minor collections=252506  major collections=48 compactions=0


runtime: 00:04:11.241
vars: 189185, evals: 433989

|rho|=189185
|stable|=50776
|infl|=189161
|wpoint|=171
|sides|=9326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172341
|called|=48
Found 6588 contexts for 142 functions. Top 5 functions:
1274	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
459	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
393	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
387	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
339	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=551934.60MB, max=1633.61MB, minor=551854.05MB, major=6483.77MB, promoted=6403.22MB
    minor collections=263174  major collections=48 compactions=0


runtime: 00:04:21.280
vars: 195457, evals: 450045

|rho|=195457
|stable|=56957
|infl|=195430
|wpoint|=176
|sides|=9535
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178195
|called|=61
Found 6797 contexts for 142 functions. Top 5 functions:
1301	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
476	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
402	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
400	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
352	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1

Memory statistics: total=575070.83MB, max=1633.61MB, minor=574989.07MB, major=6631.89MB, promoted=6550.12MB
    minor collections=274205  major collections=48 compactions=0


runtime: 00:04:31.296
vars: 198512, evals: 462339

|rho|=198512
|stable|=59569
|infl|=198485
|wpoint|=176
|sides|=9628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181064
|called|=70
Found 6890 contexts for 142 functions. Top 5 functions:
1301	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
476	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
402	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
400	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
398	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1

Memory statistics: total=598624.61MB, max=1633.61MB, minor=598542.44MB, major=6761.90MB, promoted=6679.73MB
    minor collections=285437  major collections=48 compactions=0


runtime: 00:04:41.308
vars: 203990, evals: 478473

|rho|=203990
|stable|=65085
|infl|=203952
|wpoint|=184
|sides|=9808
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186184
|called|=92
Found 7070 contexts for 142 functions. Top 5 functions:
1315	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
484	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
412	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
408	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
406	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=621639.31MB, max=1633.61MB, minor=621555.90MB, major=6903.98MB, promoted=6820.57MB
    minor collections=296411  major collections=49 compactions=0


runtime: 00:04:51.331
vars: 207212, evals: 489327

|rho|=207212
|stable|=68221
|infl|=207185
|wpoint|=184
|sides|=9905
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189210
|called|=75
Found 7167 contexts for 142 functions. Top 5 functions:
1315	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
484	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
452	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
408	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
406	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=643912.03MB, max=1633.61MB, minor=643827.64MB, major=7024.80MB, promoted=6940.42MB
    minor collections=307031  major collections=49 compactions=0


runtime: 00:05:01.391
vars: 209184, evals: 499917

|rho|=209184
|stable|=69534
|infl|=209153
|wpoint|=184
|sides|=9964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191066
|called|=53
Found 7226 contexts for 142 functions. Top 5 functions:
1315	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
491	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
484	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
408	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
406	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=666677.43MB, max=1878.66MB, minor=666592.70MB, major=7143.92MB, promoted=7059.19MB
    minor collections=317887  major collections=49 compactions=0


runtime: 00:05:11.403
vars: 213859, evals: 512894

|rho|=213859
|stable|=74227
|infl|=213832
|wpoint|=189
|sides|=10112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195443
|called|=78
Found 7374 contexts for 142 functions. Top 5 functions:
1323	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
512	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
489	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
411	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
410	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=688900.45MB, max=1878.66MB, minor=688815.17MB, major=7350.15MB, promoted=7264.86MB
    minor collections=328484  major collections=50 compactions=0


runtime: 00:05:21.431
vars: 215802, evals: 519731

|rho|=215802
|stable|=76136
|infl|=215774
|wpoint|=189
|sides|=10172
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197267
|called|=64
Found 7434 contexts for 142 functions. Top 5 functions:
1323	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
536	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
489	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
411	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
410	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=709279.04MB, max=1878.66MB, minor=709193.34MB, major=7599.63MB, promoted=7513.93MB
    minor collections=338201  major collections=50 compactions=0


runtime: 00:05:31.450
vars: 217116, evals: 526638

|rho|=217116
|stable|=77128
|infl|=217089
|wpoint|=189
|sides|=10211
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198502
|called|=76
Found 7473 contexts for 142 functions. Top 5 functions:
1323	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
562	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
489	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
411	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
410	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=730323.79MB, max=1878.66MB, minor=730237.99MB, major=7855.37MB, promoted=7769.57MB
    minor collections=348236  major collections=50 compactions=0


runtime: 00:05:41.466
vars: 219237, evals: 534569

|rho|=219237
|stable|=79312
|infl|=219210
|wpoint|=187
|sides|=10277
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200490
|called|=49
Found 7539 contexts for 142 functions. Top 5 functions:
1330	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
574	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
492	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
414	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
412	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=750087.69MB, max=1878.66MB, minor=750001.66MB, major=8118.41MB, promoted=8032.38MB
    minor collections=357661  major collections=51 compactions=0


runtime: 00:05:51.542
vars: 223126, evals: 544358

|rho|=223126
|stable|=83097
|infl|=223099
|wpoint|=193
|sides|=10397
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204140
|called|=62
Found 7659 contexts for 142 functions. Top 5 functions:
1330	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
596	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
496	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
416	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
414	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=770902.22MB, max=1878.66MB, minor=770815.81MB, major=8372.65MB, promoted=8286.24MB
    minor collections=367586  major collections=51 compactions=0


runtime: 00:06:01.557
vars: 225170, evals: 551446

|rho|=225170
|stable|=84899
|infl|=225141
|wpoint|=193
|sides|=10460
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206059
|called|=57
Found 7722 contexts for 142 functions. Top 5 functions:
1330	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
622	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
496	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
416	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
414	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=791843.90MB, max=1878.66MB, minor=791757.24MB, major=8630.65MB, promoted=8544.00MB
    minor collections=377573  major collections=52 compactions=0


runtime: 00:06:11.588
vars: 226436, evals: 557973

|rho|=226436
|stable|=85830
|infl|=226405
|wpoint|=193
|sides|=10498
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207250
|called|=58
Found 7760 contexts for 142 functions. Top 5 functions:
1330	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
647	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
496	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
416	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
414	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=812346.13MB, max=1878.66MB, minor=812259.27MB, major=8878.12MB, promoted=8791.27MB
    minor collections=387349  major collections=52 compactions=0


runtime: 00:06:21.600
vars: 228771, evals: 567063

|rho|=228771
|stable|=87931
|infl|=228722
|wpoint|=192
|sides|=10570
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209439
|called|=63
Found 7832 contexts for 142 functions. Top 5 functions:
1337	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
656	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
499	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
418	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
417	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=833141.79MB, max=1878.66MB, minor=833054.64MB, major=9151.40MB, promoted=9064.24MB
    minor collections=397265  major collections=53 compactions=0


runtime: 00:06:31.632
vars: 232826, evals: 577310

|rho|=232826
|stable|=92115
|infl|=232799
|wpoint|=200
|sides|=10705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213224
|called|=77
Found 7967 contexts for 142 functions. Top 5 functions:
1344	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
674	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
503	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
421	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
420	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=853379.02MB, max=2160.46MB, minor=853291.04MB, major=9399.01MB, promoted=9311.03MB
    minor collections=406915  major collections=53 compactions=0


runtime: 00:06:41.663
vars: 234713, evals: 583955

|rho|=234713
|stable|=94010
|infl|=234679
|wpoint|=200
|sides|=10764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214995
|called|=75
Found 8026 contexts for 142 functions. Top 5 functions:
1344	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
697	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
503	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
421	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
420	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=874786.36MB, max=2160.46MB, minor=874698.20MB, major=9662.02MB, promoted=9573.86MB
    minor collections=417123  major collections=53 compactions=0


runtime: 00:06:51.675
vars: 235981, evals: 590506

|rho|=235981
|stable|=94750
|infl|=235952
|wpoint|=200
|sides|=10801
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216188
|called|=79
Found 8063 contexts for 142 functions. Top 5 functions:
1344	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
722	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
503	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
421	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
420	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=894794.59MB, max=2160.46MB, minor=894706.17MB, major=9899.33MB, promoted=9810.91MB
    minor collections=426664  major collections=54 compactions=0


runtime: 00:07:01.703
vars: 237436, evals: 597177

|rho|=237436
|stable|=96376
|infl|=237374
|wpoint|=199
|sides|=10845
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217556
|called|=75
Found 8107 contexts for 142 functions. Top 5 functions:
1346	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
738	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
504	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
422	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
420	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=914495.82MB, max=2160.46MB, minor=914407.16MB, major=10145.48MB, promoted=10056.82MB
    minor collections=436058  major collections=54 compactions=0


runtime: 00:07:11.715
vars: 241245, evals: 606995

|rho|=241245
|stable|=99902
|infl|=241216
|wpoint|=206
|sides|=10968
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221118
|called|=67
Found 8230 contexts for 142 functions. Top 5 functions:
1351	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
758	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
508	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
425	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
423	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=934694.95MB, max=2160.46MB, minor=934605.72MB, major=10387.82MB, promoted=10298.59MB
    minor collections=445691  major collections=55 compactions=0


runtime: 00:07:21.726
vars: 242988, evals: 613094

|rho|=242988
|stable|=101847
|infl|=242961
|wpoint|=205
|sides|=11022
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222752
|called|=76
Found 8284 contexts for 142 functions. Top 5 functions:
1351	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
778	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
508	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
425	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
423	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=954408.55MB, max=2160.46MB, minor=954318.87MB, major=10629.80MB, promoted=10540.12MB
    minor collections=455091  major collections=55 compactions=0


runtime: 00:07:31.754
vars: 244190, evals: 619288

|rho|=244190
|stable|=102572
|infl|=244158
|wpoint|=205
|sides|=11058
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223883
|called|=74
Found 8320 contexts for 142 functions. Top 5 functions:
1351	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
802	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
508	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
425	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
423	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=974447.00MB, max=2160.46MB, minor=974357.09MB, major=10866.31MB, promoted=10776.40MB
    minor collections=464646  major collections=55 compactions=0


runtime: 00:07:41.766
vars: 245150, evals: 625494

|rho|=245150
|stable|=103617
|infl|=245125
|wpoint|=206
|sides|=11085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224788
|called|=63
Found 8347 contexts for 142 functions. Top 5 functions:
1351	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
820	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
508	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
425	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
423	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=994751.24MB, max=2160.46MB, minor=994661.16MB, major=11114.64MB, promoted=11024.55MB
    minor collections=474328  major collections=56 compactions=0


runtime: 00:07:51.785
vars: 249166, evals: 635745

|rho|=249166
|stable|=107385
|infl|=249139
|wpoint|=209
|sides|=11219
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228536
|called|=78
Found 8481 contexts for 142 functions. Top 5 functions:
1358	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
836	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
512	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
428	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
426	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1

Memory statistics: total=1014076.42MB, max=2160.46MB, minor=1013985.41MB, major=11347.79MB, promoted=11256.78MB
    minor collections=483543  major collections=56 compactions=0


runtime: 00:08:01.817
vars: 250806, evals: 641710

|rho|=250806
|stable|=109109
|infl|=250778
|wpoint|=209
|sides|=11270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230075
|called|=79
Found 8532 contexts for 142 functions. Top 5 functions:
1358	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
854	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
512	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
428	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
427	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1

Memory statistics: total=1034992.54MB, max=2160.46MB, minor=1034901.27MB, major=11603.55MB, promoted=11512.28MB
    minor collections=493516  major collections=56 compactions=0


runtime: 00:08:11.833
vars: 251918, evals: 647698

|rho|=251918
|stable|=110136
|infl|=251891
|wpoint|=209
|sides|=11303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231120
|called|=57
Found 8565 contexts for 142 functions. Top 5 functions:
1358	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
876	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
512	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
438	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
428	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1055382.17MB, max=2160.46MB, minor=1055290.58MB, major=11844.65MB, promoted=11753.06MB
    minor collections=503239  major collections=57 compactions=0


runtime: 00:08:21.852
vars: 253130, evals: 653748

|rho|=253130
|stable|=110912
|infl|=253103
|wpoint|=209
|sides|=11339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232260
|called|=64
Found 8601 contexts for 142 functions. Top 5 functions:
1358	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
900	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
512	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
450	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
428	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1075005.89MB, max=2160.46MB, minor=1074913.87MB, major=12071.71MB, promoted=11979.69MB
    minor collections=512597  major collections=57 compactions=0


runtime: 00:08:31.872
vars: 256582, evals: 663330

|rho|=256582
|stable|=114480
|infl|=256551
|wpoint|=214
|sides|=11456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235479
|called|=64
Found 8718 contexts for 142 functions. Top 5 functions:
1365	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
914	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
515	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
458	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
430	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1094590.00MB, max=2484.53MB, minor=1094497.44MB, major=12314.60MB, promoted=12222.04MB
    minor collections=521935  major collections=57 compactions=0


runtime: 00:08:41.884
vars: 257486, evals: 668878

|rho|=257486
|stable|=115009
|infl|=257459
|wpoint|=214
|sides|=11482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236330
|called|=74
Found 8744 contexts for 142 functions. Top 5 functions:
1365	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
932	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
515	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
466	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
430	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1114789.94MB, max=2484.53MB, minor=1114697.07MB, major=12554.54MB, promoted=12461.67MB
    minor collections=531568  major collections=58 compactions=0


runtime: 00:08:51.923
vars: 259430, evals: 675233

|rho|=259430
|stable|=116952
|infl|=259403
|wpoint|=214
|sides|=11542
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238154
|called|=78
Found 8804 contexts for 142 functions. Top 5 functions:
1365	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
956	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
515	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
478	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
430	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1134418.40MB, max=2484.53MB, minor=1134324.94MB, major=12785.69MB, promoted=12692.23MB
    minor collections=540927  major collections=58 compactions=0


runtime: 00:09:01.959
vars: 260642, evals: 681469

|rho|=260642
|stable|=117875
|infl|=260615
|wpoint|=214
|sides|=11578
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239294
|called|=68
Found 8840 contexts for 142 functions. Top 5 functions:
1365	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
980	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
515	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
490	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
430	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1155394.94MB, max=2484.53MB, minor=1155301.31MB, major=13031.57MB, promoted=12937.94MB
    minor collections=550930  major collections=58 compactions=0


runtime: 00:09:11.971
vars: 263210, evals: 690445

|rho|=263210
|stable|=120726
|infl|=263197
|wpoint|=213
|sides|=11659
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241696
|called|=63
Found 8920 contexts for 142 functions. Top 5 functions:
1373	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
519	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
492	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
433	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1174550.06MB, max=2484.53MB, minor=1174447.42MB, major=13290.35MB, promoted=13187.71MB
    minor collections=560062  major collections=59 compactions=0


runtime: 00:09:21.986
vars: 272225, evals: 705827

|rho|=272225
|stable|=54226
|infl|=272198
|wpoint|=219
|sides|=12143
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249759
|called|=47
Found 9323 contexts for 146 functions. Top 5 functions:
1464	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
523	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
492	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
471	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1193812.03MB, max=2484.53MB, minor=1193706.49MB, major=13454.09MB, promoted=13348.54MB
    minor collections=569245  major collections=59 compactions=0


runtime: 00:09:32.042
vars: 283685, evals: 721061

|rho|=283685
|stable|=65690
|infl|=283659
|wpoint|=219
|sides|=12527
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=260452
|called|=35
Found 9694 contexts for 147 functions. Top 5 functions:
1539	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
563	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
499	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
492	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1

Memory statistics: total=1211789.33MB, max=2484.53MB, minor=1211680.44MB, major=13644.88MB, promoted=13535.99MB
    minor collections=577816  major collections=59 compactions=0


runtime: 00:09:42.058
vars: 289766, evals: 735441

|rho|=289766
|stable|=77928
|infl|=289753
|wpoint|=221
|sides|=12805
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265978
|called|=29
Found 9936 contexts for 149 functions. Top 5 functions:
1572	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
564	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
538	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
492	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1

Memory statistics: total=1230561.49MB, max=2484.53MB, minor=1230445.33MB, major=13805.16MB, promoted=13689.00MB
    minor collections=586765  major collections=59 compactions=0


runtime: 00:09:52.073
vars: 298581, evals: 750425

|rho|=298581
|stable|=84598
|infl|=298564
|wpoint|=245
|sides|=13373
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273761
|called|=32
Found 10351 contexts for 156 functions. Top 5 functions:
1629	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
582	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
544	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
493	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1250707.79MB, max=2484.53MB, minor=1250587.91MB, major=13947.25MB, promoted=13827.36MB
    minor collections=596371  major collections=60 compactions=0


runtime: 00:10:02.089
vars: 304418, evals: 763741

|rho|=304418
|stable|=94542
|infl|=304401
|wpoint|=248
|sides|=13706
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278977
|called|=73
Found 10598 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1002	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
525	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1269773.53MB, max=2484.53MB, minor=1269650.58MB, major=14076.37MB, promoted=13953.43MB
    minor collections=605461  major collections=60 compactions=0


runtime: 00:10:12.109
vars: 306507, evals: 771440

|rho|=306507
|stable|=96658
|infl|=306485
|wpoint|=248
|sides|=13771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=280938
|called|=54
Found 10663 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1029	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
525	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1289344.73MB, max=2484.53MB, minor=1289220.57MB, major=14170.51MB, promoted=14046.36MB
    minor collections=614793  major collections=60 compactions=0


runtime: 00:10:22.136
vars: 308013, evals: 779346

|rho|=308013
|stable|=97844
|infl|=307992
|wpoint|=248
|sides|=13816
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=282354
|called|=47
Found 10708 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1059	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
530	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1

Memory statistics: total=1308998.41MB, max=2484.53MB, minor=1308873.23MB, major=14264.61MB, promoted=14139.43MB
    minor collections=624164  major collections=60 compactions=0


runtime: 00:10:32.188
vars: 310717, evals: 791339

|rho|=310717
|stable|=100196
|infl|=310700
|wpoint|=248
|sides|=13895
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284898
|called|=66
Found 10787 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1096	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
548	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1

Memory statistics: total=1334404.00MB, max=2484.53MB, minor=1334268.76MB, major=14410.55MB, promoted=14275.32MB
    minor collections=636274  major collections=60 compactions=0


runtime: 00:10:42.200
vars: 315096, evals: 807541

|rho|=315096
|stable|=104422
|infl|=315078
|wpoint|=248
|sides|=14027
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289014
|called|=68
Found 10919 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1152	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
576	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1365283.92MB, max=2484.53MB, minor=1365148.20MB, major=14592.85MB, promoted=14457.14MB
    minor collections=650998  major collections=60 compactions=0


runtime: 00:10:52.219
vars: 316410, evals: 814835

|rho|=316410
|stable|=105413
|infl|=316393
|wpoint|=248
|sides|=14066
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=290249
|called|=59
Found 10958 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1178	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
589	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1389731.43MB, max=2484.53MB, minor=1389595.53MB, major=14888.57MB, promoted=14752.67MB
    minor collections=662656  major collections=61 compactions=0


runtime: 00:11:02.395
vars: 318455, evals: 822152

|rho|=318455
|stable|=107681
|infl|=318438
|wpoint|=248
|sides|=14129
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=292168
|called|=40
Found 11021 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1204	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
602	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1413158.91MB, max=2857.21MB, minor=1413022.75MB, major=15176.29MB, promoted=15040.13MB
    minor collections=673828  major collections=61 compactions=0


runtime: 00:11:12.446
vars: 320108, evals: 830328

|rho|=320108
|stable|=108926
|infl|=320090
|wpoint|=246
|sides|=14175
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=293728
|called|=31
Found 11066 contexts for 158 functions. Top 5 functions:
1654	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
615	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
584	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
559	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1437044.17MB, max=2857.21MB, minor=1436907.88MB, major=15482.34MB, promoted=15346.05MB
    minor collections=685217  major collections=61 compactions=0


runtime: 00:11:22.458
vars: 322840, evals: 848610

|rho|=322840
|stable|=123292
|infl|=322815
|wpoint|=264
|sides|=14295
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=296217
|called|=49
Found 11186 contexts for 158 functions. Top 5 functions:
1690	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
615	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
604	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
566	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1460059.33MB, max=2857.21MB, minor=1459922.47MB, major=15645.06MB, promoted=15508.20MB
    minor collections=696192  major collections=62 compactions=0


runtime: 00:11:32.473
vars: 324420, evals: 862612

|rho|=324420
|stable|=130930
|infl|=324407
|wpoint|=270
|sides|=14519
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=297542
|called|=47
Found 11213 contexts for 159 functions. Top 5 functions:
1698	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
615	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
608	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
567	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1483796.71MB, max=2857.21MB, minor=1483657.29MB, major=15903.71MB, promoted=15764.28MB
    minor collections=707510  major collections=62 compactions=0


runtime: 00:11:42.489
vars: 333040, evals: 886143

|rho|=333040
|stable|=144103
|infl|=332989
|wpoint|=313
|sides|=14910
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=305512
|called|=111
Found 11459 contexts for 160 functions. Top 5 functions:
1726	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
615	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
610	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
592	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1508807.85MB, max=2857.21MB, minor=1508667.48MB, major=16127.64MB, promoted=15987.28MB
    minor collections=719436  major collections=62 compactions=0


runtime: 00:11:52.501
vars: 343588, evals: 911811

|rho|=343588
|stable|=160913
|infl|=343575
|wpoint|=321
|sides|=15264
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=315353
|called|=84
Found 11810 contexts for 160 functions. Top 5 functions:
1807	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
638	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
620	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
615	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1

Memory statistics: total=1533855.64MB, max=2857.21MB, minor=1533714.17MB, major=16347.50MB, promoted=16206.03MB
    minor collections=731379  major collections=62 compactions=0


runtime: 00:12:02.517
vars: 349207, evals: 935944

|rho|=349207
|stable|=171877
|infl|=349184
|wpoint|=323
|sides|=15527
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=320452
|called|=75
Found 12068 contexts for 160 functions. Top 5 functions:
1815	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
650	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
633	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
620	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1563382.85MB, max=2857.21MB, minor=1563240.30MB, major=16584.53MB, promoted=16441.98MB
    minor collections=745459  major collections=63 compactions=0


runtime: 00:12:12.532
vars: 362714, evals: 959593

|rho|=362714
|stable|=185269
|infl|=362701
|wpoint|=344
|sides|=16125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=332768
|called|=59
Found 12644 contexts for 162 functions. Top 5 functions:
1901	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
711	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
711	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
622	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1589436.29MB, max=2857.21MB, minor=1589292.02MB, major=16809.32MB, promoted=16665.06MB
    minor collections=757882  major collections=63 compactions=0


runtime: 00:12:22.552
vars: 365526, evals: 974318

|rho|=365526
|stable|=189038
|infl|=365513
|wpoint|=375
|sides|=16245
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=335349
|called|=84
Found 12752 contexts for 163 functions. Top 5 functions:
1924	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
715	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
711	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
634	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1611202.33MB, max=2857.21MB, minor=1611057.27MB, major=16955.43MB, promoted=16810.36MB
    minor collections=768261  major collections=63 compactions=0


runtime: 00:12:32.640
vars: 379985, evals: 996179

|rho|=379985
|stable|=202852
|infl|=379969
|wpoint|=388
|sides|=16788
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=348732
|called|=57
Found 13274 contexts for 164 functions. Top 5 functions:
2067	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
781	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
735	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
642	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1638262.05MB, max=3285.79MB, minor=1638115.61MB, major=17181.03MB, promoted=17034.58MB
    minor collections=781164  major collections=63 compactions=0


runtime: 00:12:42.655
vars: 382906, evals: 1013518

|rho|=382906
|stable|=211680
|infl|=382878
|wpoint|=396
|sides|=16948
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=351334
|called|=58
Found 13432 contexts for 164 functions. Top 5 functions:
2085	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
804	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
751	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
648	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1664600.80MB, max=3285.79MB, minor=1664453.92MB, major=17394.63MB, promoted=17247.75MB
    minor collections=793723  major collections=63 compactions=0


runtime: 00:12:52.671
vars: 388677, evals: 1029753

|rho|=388677
|stable|=217665
|infl|=388664
|wpoint|=451
|sides|=17274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=356464
|called|=29
Found 13744 contexts for 164 functions. Top 5 functions:
2170	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
817	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
760	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
653	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1690474.64MB, max=3285.79MB, minor=1690326.76MB, major=17636.65MB, promoted=17488.78MB
    minor collections=806061  major collections=64 compactions=0


runtime: 00:13:02.711
vars: 394061, evals: 1045395

|rho|=394061
|stable|=226276
|infl|=394030
|wpoint|=457
|sides|=17459
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361484
|called|=40
Found 13929 contexts for 164 functions. Top 5 functions:
2199	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
824	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
762	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
668	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1716917.98MB, max=3285.79MB, minor=1716769.07MB, major=17853.57MB, promoted=17704.66MB
    minor collections=818670  major collections=64 compactions=0


runtime: 00:13:12.842
vars: 401013, evals: 1059008

|rho|=401013
|stable|=233482
|infl|=401000
|wpoint|=462
|sides|=17712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=367924
|called|=85
Found 14182 contexts for 164 functions. Top 5 functions:
2266	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
838	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
766	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
713	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1739947.48MB, max=3285.79MB, minor=1739797.88MB, major=18199.96MB, promoted=18050.36MB
    minor collections=829651  major collections=64 compactions=0


runtime: 00:13:22.858
vars: 409672, evals: 1080809

|rho|=409672
|stable|=250903
|infl|=409640
|wpoint|=481
|sides|=18096
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=375818
|called|=46
Found 14566 contexts for 164 functions. Top 5 functions:
2394	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
862	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
793	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
775	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1763528.24MB, max=3285.79MB, minor=1763377.22MB, major=18435.98MB, promoted=18284.96MB
    minor collections=840895  major collections=64 compactions=0


runtime: 00:13:32.870
vars: 418525, evals: 1098545

|rho|=418525
|stable|=264107
|infl|=418497
|wpoint|=486
|sides|=18445
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=383974
|called|=36
Found 14915 contexts for 164 functions. Top 5 functions:
2505	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
885	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
864	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
782	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1786463.37MB, max=3285.79MB, minor=1786305.98MB, major=18643.69MB, promoted=18486.30MB
    minor collections=851829  major collections=65 compactions=0


runtime: 00:13:42.885
vars: 423962, evals: 1113496

|rho|=423962
|stable|=275870
|infl|=423949
|wpoint|=498
|sides|=18731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=388860
|called|=713
Found 15160 contexts for 164 functions. Top 5 functions:
2566	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
908	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
899	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
802	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1809335.52MB, max=3285.79MB, minor=1809176.51MB, major=18896.77MB, promoted=18737.76MB
    minor collections=862735  major collections=65 compactions=0


runtime: 00:13:52.969
vars: 423962, evals: 1113544

|rho|=423962
|stable|=275918
|infl|=423949
|wpoint|=498
|sides|=18731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=388860
|called|=54
Found 15160 contexts for 164 functions. Top 5 functions:
2566	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
908	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
899	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
802	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1827962.79MB, max=3778.66MB, minor=1827794.84MB, major=19325.05MB, promoted=19157.10MB
    minor collections=871613  major collections=65 compactions=0


runtime: 00:14:02.985
vars: 423962, evals: 1116357

|rho|=423962
|stable|=278731
|infl|=423949
|wpoint|=498
|sides|=18731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=388860
|called|=252
Found 15160 contexts for 164 functions. Top 5 functions:
2566	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
908	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
899	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
802	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1847976.21MB, max=3778.66MB, minor=1847801.93MB, major=19758.02MB, promoted=19583.73MB
    minor collections=881154  major collections=66 compactions=0


runtime: 00:14:13.024
vars: 423962, evals: 1119218

|rho|=423962
|stable|=281592
|infl|=423949
|wpoint|=498
|sides|=18731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=388860
|called|=633
Found 15160 contexts for 164 functions. Top 5 functions:
2566	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
908	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
899	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
802	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1866822.48MB, max=3778.66MB, minor=1866639.84MB, major=20169.00MB, promoted=19986.37MB
    minor collections=890137  major collections=66 compactions=0


runtime: 00:14:23.128
vars: 423962, evals: 1119354

|rho|=423962
|stable|=281728
|infl|=423949
|wpoint|=498
|sides|=18731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=388860
|called|=65
Found 15160 contexts for 164 functions. Top 5 functions:
2566	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
908	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
899	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
802	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1885679.15MB, max=3778.66MB, minor=1885487.17MB, major=20603.66MB, promoted=20411.68MB
    minor collections=899124  major collections=66 compactions=0


runtime: 00:14:33.140
vars: 431113, evals: 1134153

|rho|=431113
|stable|=291933
|infl|=431086
|wpoint|=529
|sides|=19059
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=395361
|called|=54
Found 15488 contexts for 164 functions. Top 5 functions:
2622	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
944	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
923	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
835	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1908844.51MB, max=3778.66MB, minor=1908650.83MB, major=20906.88MB, promoted=20713.20MB
    minor collections=910170  major collections=67 compactions=0


runtime: 00:14:43.155
vars: 436797, evals: 1148697

|rho|=436797
|stable|=297487
|infl|=436772
|wpoint|=571
|sides|=19379
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=400406
|called|=35
Found 15805 contexts for 164 functions. Top 5 functions:
2713	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
958	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
934	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
837	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1934388.80MB, max=3778.66MB, minor=1934194.65MB, major=21151.39MB, promoted=20957.24MB
    minor collections=922350  major collections=67 compactions=0


runtime: 00:14:53.167
vars: 442274, evals: 1163114

|rho|=442274
|stable|=302654
|infl|=442234
|wpoint|=576
|sides|=19557
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=405527
|called|=56
Found 15983 contexts for 164 functions. Top 5 functions:
2737	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
964	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
946	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
839	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1

Memory statistics: total=1960607.85MB, max=3778.66MB, minor=1960413.19MB, major=21430.99MB, promoted=21236.33MB
    minor collections=934853  major collections=67 compactions=0

