./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.337
vars: 4974, evals: 33087

|rho|=4974
|stable|=4037
|infl|=4963
|wpoint|=10
|sides|=739
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=3992
|called|=71
Found 235 contexts for 37 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=25277.61MB, max=114.78MB, minor=25271.36MB, major=364.65MB, promoted=358.40MB
    minor collections=12060  major collections=21 compactions=0


runtime: 00:00:20.365
vars: 19798, evals: 66567

|rho|=19798
|stable|=15499
|infl|=19779
|wpoint|=43
|sides|=2100
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16675
|called|=51
Found 775 contexts for 75 functions. Top 5 functions:
184	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
66	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
50	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
44	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1
36	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=51314.72MB, max=230.87MB, minor=51306.51MB, major=719.51MB, promoted=711.30MB
    minor collections=24478  major collections=28 compactions=0


runtime: 00:00:30.412
vars: 32060, evals: 98922

|rho|=32060
|stable|=25189
|infl|=32017
|wpoint|=81
|sides|=2646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27796
|called|=50
Found 1297 contexts for 75 functions. Top 5 functions:
287	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
93	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
69	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
68	contexts for L:entry state of xmemrchr (4777) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1242:1-1250:1
51	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=77434.06MB, max=351.13MB, minor=77424.94MB, major=1031.11MB, promoted=1021.98MB
    minor collections=36935  major collections=31 compactions=0


runtime: 00:00:40.484
vars: 40904, evals: 121792

|rho|=40904
|stable|=32970
|infl|=40885
|wpoint|=98
|sides|=3028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35911
|called|=105
Found 1631 contexts for 78 functions. Top 5 functions:
368	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
111	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
106	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
84	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
77	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=101276.25MB, max=464.37MB, minor=101264.43MB, major=1394.44MB, promoted=1382.63MB
    minor collections=48304  major collections=34 compactions=0


runtime: 00:00:50.515
vars: 62391, evals: 155189

|rho|=62391
|stable|=18370
|infl|=62374
|wpoint|=106
|sides|=4214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55335
|called|=121
Found 2371 contexts for 98 functions. Top 5 functions:
543	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
185	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
146	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
86	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=125922.79MB, max=614.13MB, minor=125909.25MB, major=1726.29MB, promoted=1712.75MB
    minor collections=60056  major collections=35 compactions=0


runtime: 00:01:00.570
vars: 82370, evals: 188060

|rho|=82370
|stable|=33602
|infl|=82335
|wpoint|=124
|sides|=5189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73559
|called|=52
Found 2960 contexts for 111 functions. Top 5 functions:
668	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
215	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
201	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
116	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=151188.43MB, max=706.25MB, minor=151169.79MB, major=2018.49MB, promoted=1999.85MB
    minor collections=72103  major collections=37 compactions=0


runtime: 00:01:10.634
vars: 98251, evals: 213270

|rho|=98251
|stable|=50327
|infl|=98238
|wpoint|=134
|sides|=5795
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88236
|called|=59
Found 3546 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
152	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=174875.53MB, max=812.19MB, minor=174854.90MB, major=2341.46MB, promoted=2320.82MB
    minor collections=83397  major collections=38 compactions=0


runtime: 00:01:20.677
vars: 108911, evals: 241171

|rho|=108911
|stable|=61022
|infl|=108884
|wpoint|=134
|sides|=6407
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97698
|called|=38
Found 4088 contexts for 115 functions. Top 5 functions:
884	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
276	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
266	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
253	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
232	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=201062.48MB, max=934.02MB, minor=201040.27MB, major=2598.93MB, promoted=2576.72MB
    minor collections=95884  major collections=39 compactions=0


runtime: 00:01:30.729
vars: 124086, evals: 263363

|rho|=124086
|stable|=76186
|infl|=124042
|wpoint|=134
|sides|=7007
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111673
|called|=52
Found 4677 contexts for 116 functions. Top 5 functions:
1062	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
370	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
313	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
309	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
268	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=223703.56MB, max=1074.12MB, minor=223677.71MB, major=2901.71MB, promoted=2875.85MB
    minor collections=106679  major collections=40 compactions=0


runtime: 00:01:40.804
vars: 138005, evals: 288254

|rho|=138005
|stable|=94155
|infl|=137992
|wpoint|=140
|sides|=7493
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124639
|called|=30
Found 5095 contexts for 124 functions. Top 5 functions:
1130	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
400	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
350	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
304	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=246464.86MB, max=1235.24MB, minor=246432.69MB, major=3159.73MB, promoted=3127.57MB
    minor collections=117530  major collections=40 compactions=0


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

|rho|=142267
|stable|=94960
|infl|=142156
|wpoint|=141
|sides|=7612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128681
|called|=126
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=267942.10MB, max=1420.53MB, minor=267903.37MB, major=3623.09MB, promoted=3584.37MB
    minor collections=127769  major collections=41 compactions=0


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

|rho|=145428
|stable|=98121
|infl|=144999
|wpoint|=142
|sides|=7750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131621
|called|=444
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=288473.23MB, max=1420.53MB, minor=288424.11MB, major=4071.53MB, promoted=4022.41MB
    minor collections=137555  major collections=43 compactions=0


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

|rho|=148480
|stable|=101173
|infl|=147439
|wpoint|=143
|sides|=7806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134561
|called|=1056
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=308708.07MB, max=1420.53MB, minor=308648.96MB, major=4521.82MB, promoted=4462.71MB
    minor collections=147200  major collections=44 compactions=0


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

|rho|=148480
|stable|=101173
|infl|=148424
|wpoint|=143
|sides|=7806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134561
|called|=71
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=329311.94MB, max=1420.53MB, minor=329245.31MB, major=4985.98MB, promoted=4919.35MB
    minor collections=157021  major collections=45 compactions=0


runtime: 00:02:30.950
vars: 157102, evals: 314780

|rho|=157102
|stable|=102401
|infl|=157072
|wpoint|=151
|sides|=8223
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142408
|called|=61
Found 5576 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=351589.44MB, max=1420.53MB, minor=351516.92MB, major=5316.64MB, promoted=5244.13MB
    minor collections=167642  major collections=45 compactions=0


runtime: 00:02:40.961
vars: 160564, evals: 329504

|rho|=160564
|stable|=105367
|infl|=160529
|wpoint|=151
|sides|=8333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145657
|called|=69
Found 5681 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=377385.25MB, max=1420.53MB, minor=377311.96MB, major=5467.12MB, promoted=5393.83MB
    minor collections=179942  major collections=46 compactions=0


runtime: 00:02:50.976
vars: 165721, evals: 346252

|rho|=165721
|stable|=110274
|infl|=165689
|wpoint|=157
|sides|=8560
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150404
|called|=53
Found 5841 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=402610.16MB, max=1420.53MB, minor=402535.75MB, major=5623.34MB, promoted=5548.92MB
    minor collections=191970  major collections=46 compactions=0


runtime: 00:03:00.988
vars: 169056, evals: 360131

|rho|=169056
|stable|=112933
|infl|=169029
|wpoint|=157
|sides|=8660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153537
|called|=81
Found 5941 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=428216.01MB, max=1420.53MB, minor=428140.85MB, major=5769.15MB, promoted=5694.00MB
    minor collections=204180  major collections=46 compactions=0


runtime: 00:03:11.003
vars: 173806, evals: 378452

|rho|=173806
|stable|=34710
|infl|=173785
|wpoint|=164
|sides|=8818
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157971
|called|=50
Found 6087 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=452646.18MB, max=1420.53MB, minor=452569.66MB, major=5921.39MB, promoted=5844.87MB
    minor collections=215829  major collections=47 compactions=0


runtime: 00:03:21.055
vars: 177475, evals: 391177

|rho|=177475
|stable|=39948
|infl|=177448
|wpoint|=167
|sides|=8940
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161398
|called|=81
Found 6209 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=476480.91MB, max=1633.61MB, minor=476403.26MB, major=6056.09MB, promoted=5978.44MB
    minor collections=227194  major collections=47 compactions=0


runtime: 00:03:31.066
vars: 179637, evals: 403662

|rho|=179637
|stable|=41722
|infl|=179612
|wpoint|=168
|sides|=9003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163434
|called|=47
Found 6272 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=501601.12MB, max=1633.61MB, minor=501523.18MB, major=6190.31MB, promoted=6112.37MB
    minor collections=239173  major collections=47 compactions=0


runtime: 00:03:41.078
vars: 185928, evals: 420571

|rho|=185928
|stable|=47681
|infl|=185904
|wpoint|=171
|sides|=9227
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169282
|called|=68
Found 6489 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=526946.12MB, max=1633.61MB, minor=526866.66MB, major=6349.61MB, promoted=6270.16MB
    minor collections=251258  major collections=48 compactions=0


runtime: 00:03:51.090
vars: 189185, evals: 433977

|rho|=189185
|stable|=50764
|infl|=189161
|wpoint|=171
|sides|=9326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172341
|called|=50
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=551827.67MB, max=1633.61MB, minor=551747.11MB, major=6488.60MB, promoted=6408.04MB
    minor collections=263122  major collections=48 compactions=0


runtime: 00:04:01.129
vars: 195558, evals: 450813

|rho|=195558
|stable|=57088
|infl|=195531
|wpoint|=176
|sides|=9538
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178290
|called|=58
Found 6800 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
354	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=576776.55MB, max=1633.61MB, minor=576694.80MB, major=6647.29MB, promoted=6565.53MB
    minor collections=275019  major collections=48 compactions=0


runtime: 00:04:11.141
vars: 198829, evals: 464151

|rho|=198829
|stable|=59923
|infl|=198795
|wpoint|=176
|sides|=9639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181360
|called|=58
Found 6901 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
405	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857: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

Memory statistics: total=602385.99MB, max=1633.61MB, minor=602303.78MB, major=6788.76MB, promoted=6706.56MB
    minor collections=287230  major collections=48 compactions=0


runtime: 00:04:21.152
vars: 205167, evals: 481709

|rho|=205167
|stable|=66129
|infl|=205140
|wpoint|=184
|sides|=9842
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187291
|called|=75
Found 7104 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
426	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=627340.24MB, max=1633.61MB, minor=627256.52MB, major=6944.39MB, promoted=6860.67MB
    minor collections=299129  major collections=49 compactions=0


runtime: 00:04:31.207
vars: 207818, evals: 492804

|rho|=207818
|stable|=68659
|infl|=207791
|wpoint|=184
|sides|=9923
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189780
|called|=71
Found 7185 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
464	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=651737.12MB, max=1633.61MB, minor=651652.50MB, major=7072.72MB, promoted=6988.10MB
    minor collections=310762  major collections=49 compactions=0


runtime: 00:04:41.227
vars: 211999, evals: 507889

|rho|=211999
|stable|=72587
|infl|=211969
|wpoint|=185
|sides|=10052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193703
|called|=47
Found 7314 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
492	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=676823.56MB, max=1878.66MB, minor=676738.56MB, major=7219.11MB, promoted=7134.11MB
    minor collections=322725  major collections=49 compactions=0


runtime: 00:04:51.238
vars: 214263, evals: 515708

|rho|=214263
|stable|=74572
|infl|=214236
|wpoint|=189
|sides|=10124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195823
|called|=72
Found 7386 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
520	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=698989.89MB, max=1878.66MB, minor=698904.52MB, major=7483.82MB, promoted=7398.44MB
    minor collections=333295  major collections=50 compactions=0


runtime: 00:05:01.277
vars: 216336, evals: 523076

|rho|=216336
|stable|=76856
|infl|=216303
|wpoint|=189
|sides|=10189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197768
|called|=54
Found 7451 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
547	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=720911.35MB, max=1878.66MB, minor=720825.63MB, major=7752.68MB, promoted=7666.96MB
    minor collections=343748  major collections=50 compactions=0


runtime: 00:05:11.288
vars: 217722, evals: 530428

|rho|=217722
|stable|=77663
|infl|=217695
|wpoint|=189
|sides|=10229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199072
|called|=61
Found 7491 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
574	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=743442.61MB, max=1878.66MB, minor=743356.78MB, major=8023.25MB, promoted=7937.42MB
    minor collections=354492  major collections=51 compactions=0


runtime: 00:05:21.340
vars: 222923, evals: 542895

|rho|=222923
|stable|=82720
|infl|=222895
|wpoint|=193
|sides|=10391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203950
|called|=55
Found 7653 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
592	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=765386.17MB, max=1878.66MB, minor=765299.81MB, major=8311.22MB, promoted=8224.86MB
    minor collections=364956  major collections=51 compactions=0


runtime: 00:05:31.351
vars: 224968, evals: 550365

|rho|=224968
|stable|=84757
|infl|=224939
|wpoint|=193
|sides|=10454
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205869
|called|=64
Found 7716 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
618	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=788319.83MB, max=1878.66MB, minor=788233.23MB, major=8596.07MB, promoted=8509.47MB
    minor collections=375892  major collections=52 compactions=0


runtime: 00:05:41.363
vars: 226282, evals: 557330

|rho|=226282
|stable|=85788
|infl|=226255
|wpoint|=193
|sides|=10493
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207104
|called|=68
Found 7755 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
644	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=810067.43MB, max=1878.66MB, minor=809980.59MB, major=8858.67MB, promoted=8771.83MB
    minor collections=386262  major collections=52 compactions=0


runtime: 00:05:51.375
vars: 228698, evals: 566646

|rho|=228698
|stable|=88124
|infl|=228672
|wpoint|=192
|sides|=10567
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209371
|called|=51
Found 7829 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=832434.08MB, max=1878.66MB, minor=832346.96MB, major=9148.91MB, promoted=9061.78MB
    minor collections=396928  major collections=53 compactions=0


runtime: 00:06:01.410
vars: 232826, evals: 577437

|rho|=232826
|stable|=92242
|infl|=232799
|wpoint|=200
|sides|=10705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213224
|called|=64
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=854023.54MB, max=2160.46MB, minor=853935.58MB, major=9416.05MB, promoted=9328.09MB
    minor collections=407222  major collections=53 compactions=0


runtime: 00:06:11.426
vars: 234871, evals: 584830

|rho|=234871
|stable|=94183
|infl|=234844
|wpoint|=200
|sides|=10768
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215143
|called|=77
Found 8030 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
700	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=877048.30MB, max=2160.46MB, minor=876960.15MB, major=9694.24MB, promoted=9606.08MB
    minor collections=418201  major collections=53 compactions=0


runtime: 00:06:21.436
vars: 236184, evals: 591612

|rho|=236184
|stable|=95049
|infl|=236157
|wpoint|=200
|sides|=10807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216378
|called|=75
Found 8069 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
726	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=897967.28MB, max=2160.46MB, minor=897878.83MB, major=9942.61MB, promoted=9854.16MB
    minor collections=428177  major collections=54 compactions=0


runtime: 00:06:31.455
vars: 238424, evals: 599963

|rho|=238424
|stable|=97122
|infl|=238374
|wpoint|=198
|sides|=10877
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218479
|called|=62
Found 8139 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
738	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
506	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
423	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=918932.74MB, max=2160.46MB, minor=918843.98MB, major=10211.10MB, promoted=10122.34MB
    minor collections=438174  major collections=54 compactions=0


runtime: 00:06:41.463
vars: 241448, evals: 608570

|rho|=241448
|stable|=100298
|infl|=241421
|wpoint|=205
|sides|=10974
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221308
|called|=63
Found 8236 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
762	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=940706.14MB, max=2160.46MB, minor=940616.86MB, major=10470.45MB, promoted=10381.17MB
    minor collections=448557  major collections=55 compactions=0


runtime: 00:06:51.511
vars: 243493, evals: 615632

|rho|=243493
|stable|=102130
|infl|=243466
|wpoint|=205
|sides|=11037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223227
|called|=75
Found 8299 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
788	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=962190.54MB, max=2160.46MB, minor=962100.72MB, major=10724.98MB, promoted=10635.16MB
    minor collections=458801  major collections=55 compactions=0


runtime: 00:07:01.523
vars: 244806, evals: 622464

|rho|=244806
|stable|=103049
|infl|=244779
|wpoint|=205
|sides|=11076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224462
|called|=75
Found 8338 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
814	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=984074.02MB, max=2160.46MB, minor=983984.03MB, major=10981.61MB, promoted=10891.62MB
    minor collections=469236  major collections=55 compactions=0


runtime: 00:07:11.534
vars: 247742, evals: 632271

|rho|=247742
|stable|=106113
|infl|=247703
|wpoint|=209
|sides|=11178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227197
|called|=93
Found 8440 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
821	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=1005522.93MB, max=2160.46MB, minor=1005432.31MB, major=11259.46MB, promoted=11168.84MB
    minor collections=479464  major collections=56 compactions=0


runtime: 00:07:21.566
vars: 249771, evals: 639525

|rho|=249771
|stable|=107701
|infl|=249742
|wpoint|=209
|sides|=11237
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229106
|called|=50
Found 8499 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
848	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=1028043.41MB, max=2160.46MB, minor=1027952.29MB, major=11519.59MB, promoted=11428.47MB
    minor collections=490203  major collections=56 compactions=0


runtime: 00:07:31.578
vars: 251816, evals: 646655

|rho|=251816
|stable|=109748
|infl|=251787
|wpoint|=209
|sides|=11300
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231025
|called|=51
Found 8562 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
874	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
437	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=1050530.77MB, max=2160.46MB, minor=1050439.23MB, major=11786.93MB, promoted=11695.39MB
    minor collections=500926  major collections=57 compactions=0


runtime: 00:07:41.590
vars: 253029, evals: 652989

|rho|=253029
|stable|=110751
|infl|=253002
|wpoint|=209
|sides|=11336
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232165
|called|=68
Found 8598 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
898	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
449	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=1071615.56MB, max=2160.46MB, minor=1071523.59MB, major=12032.27MB, promoted=11940.30MB
    minor collections=510980  major collections=57 compactions=0


runtime: 00:07:51.617
vars: 256476, evals: 662848

|rho|=256476
|stable|=114374
|infl|=256449
|wpoint|=214
|sides|=11452
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235380
|called|=70
Found 8714 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
912	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
456	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=1092889.43MB, max=2484.53MB, minor=1092796.90MB, major=12300.42MB, promoted=12207.90MB
    minor collections=521124  major collections=57 compactions=0


runtime: 00:08:01.629
vars: 257486, evals: 668912

|rho|=257486
|stable|=115043
|infl|=257459
|wpoint|=214
|sides|=11482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236330
|called|=71
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=1114805.13MB, max=2484.53MB, minor=1114712.27MB, major=12560.45MB, promoted=12467.59MB
    minor collections=531575  major collections=58 compactions=0


runtime: 00:08:11.665
vars: 259430, evals: 675541

|rho|=259430
|stable|=117260
|infl|=259403
|wpoint|=214
|sides|=11542
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238154
|called|=51
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=1136166.12MB, max=2484.53MB, minor=1136072.65MB, major=12817.10MB, promoted=12723.64MB
    minor collections=541760  major collections=58 compactions=0


runtime: 00:08:21.676
vars: 260743, evals: 682203

|rho|=260743
|stable|=118011
|infl|=260716
|wpoint|=214
|sides|=11581
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239389
|called|=58
Found 8843 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
982	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
491	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=1158300.68MB, max=2484.53MB, minor=1158207.03MB, major=13077.35MB, promoted=12983.70MB
    minor collections=552315  major collections=58 compactions=0


runtime: 00:08:31.688
vars: 264425, evals: 694322

|rho|=264425
|stable|=122525
|infl|=264389
|wpoint|=214
|sides|=11742
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242745
|called|=45
Found 8995 contexts for 143 functions. Top 5 functions:
1383	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
436	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=1179536.26MB, max=2484.53MB, minor=1179433.05MB, major=13344.01MB, promoted=13240.81MB
    minor collections=562439  major collections=59 compactions=0


runtime: 00:08:41.708
vars: 276793, evals: 712061

|rho|=276793
|stable|=58794
|infl|=276761
|wpoint|=219
|sides|=12276
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254061
|called|=50
Found 9453 contexts for 146 functions. Top 5 functions:
1474	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
524	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
485	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=1200803.76MB, max=2484.53MB, minor=1200696.60MB, major=13531.53MB, promoted=13424.37MB
    minor collections=572578  major collections=59 compactions=0


runtime: 00:08:51.724
vars: 284956, evals: 729358

|rho|=284956
|stable|=72077
|infl|=284943
|wpoint|=222
|sides|=12670
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261442
|called|=50
Found 9816 contexts for 147 functions. Top 5 functions:
1557	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
505	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=1223153.61MB, max=2484.53MB, minor=1223043.35MB, major=13739.16MB, promoted=13628.90MB
    minor collections=583234  major collections=59 compactions=0


runtime: 00:09:01.731
vars: 297199, evals: 747155

|rho|=297199
|stable|=83217
|infl|=297171
|wpoint|=238
|sides|=13274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272568
|called|=40
Found 10264 contexts for 156 functions. Top 5 functions:
1619	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
577	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
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=1246091.71MB, max=2484.53MB, minor=1245972.58MB, major=13923.52MB, promoted=13804.39MB
    minor collections=594169  major collections=60 compactions=0


runtime: 00:09:11.747
vars: 304316, evals: 763100

|rho|=304316
|stable|=94407
|infl|=304297
|wpoint|=248
|sides|=13703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278882
|called|=59
Found 10595 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
1000	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=1267990.36MB, max=2484.53MB, minor=1267867.45MB, major=14074.43MB, promoted=13951.53MB
    minor collections=604609  major collections=60 compactions=0


runtime: 00:09:21.759
vars: 306617, evals: 772043

|rho|=306617
|stable|=96697
|infl|=306596
|wpoint|=248
|sides|=13774
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281042
|called|=52
Found 10666 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
1031	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=1290648.54MB, max=2484.53MB, minor=1290524.32MB, major=14183.67MB, promoted=14059.45MB
    minor collections=615413  major collections=60 compactions=0


runtime: 00:09:31.778
vars: 308262, evals: 780796

|rho|=308262
|stable|=97885
|infl|=308243
|wpoint|=248
|sides|=13823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=282588
|called|=39
Found 10715 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
1064	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
532	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=1312590.88MB, max=2484.53MB, minor=1312465.54MB, major=14288.44MB, promoted=14163.09MB
    minor collections=625876  major collections=60 compactions=0


runtime: 00:09:41.802
vars: 312504, evals: 796670

|rho|=312504
|stable|=102082
|infl|=312484
|wpoint|=248
|sides|=13951
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=286575
|called|=43
Found 10843 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
1117	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
559	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=1344012.94MB, max=2484.53MB, minor=1343877.54MB, major=14474.97MB, promoted=14339.57MB
    minor collections=640855  major collections=60 compactions=0


runtime: 00:09:51.814
vars: 315905, evals: 811312

|rho|=315905
|stable|=105030
|infl|=315888
|wpoint|=248
|sides|=14051
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289774
|called|=64
Found 10943 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
1168	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
584	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=1375913.72MB, max=2484.53MB, minor=1375777.90MB, major=14728.16MB, promoted=14592.35MB
    minor collections=656066  major collections=60 compactions=0


runtime: 00:10:01.882
vars: 318104, evals: 819625

|rho|=318104
|stable|=107193
|infl|=318083
|wpoint|=248
|sides|=14119
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=291839
|called|=48
Found 11011 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
1197	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
599	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=1402724.17MB, max=2857.21MB, minor=1402588.08MB, major=15059.48MB, promoted=14923.39MB
    minor collections=668851  major collections=61 compactions=0


runtime: 00:10:11.953
vars: 319619, evals: 827583

|rho|=319619
|stable|=108222
|infl|=319597
|wpoint|=248
|sides|=14164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=293264
|called|=42
Found 11056 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
1227	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
614	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=1429103.08MB, max=2857.21MB, minor=1428966.86MB, major=15384.48MB, promoted=15248.25MB
    minor collections=681430  major collections=61 compactions=0


runtime: 00:10:21.965
vars: 321745, evals: 844103

|rho|=321745
|stable|=120143
|infl|=321732
|wpoint|=260
|sides|=14247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295217
|called|=47
Found 11138 contexts for 158 functions. Top 5 functions:
1676	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
596	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
563	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=1454367.53MB, max=2857.21MB, minor=1454230.85MB, major=15613.75MB, promoted=15477.07MB
    minor collections=693477  major collections=62 compactions=0


runtime: 00:10:31.977
vars: 323374, evals: 861166

|rho|=323374
|stable|=134644
|infl|=323361
|wpoint|=272
|sides|=14319
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=296702
|called|=64
Found 11210 contexts for 158 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=1481206.33MB, max=2857.21MB, minor=1481066.97MB, major=15882.49MB, promoted=15743.13MB
    minor collections=706274  major collections=62 compactions=0


runtime: 00:10:41.992
vars: 333501, evals: 886786

|rho|=333501
|stable|=144663
|infl|=333448
|wpoint|=313
|sides|=14933
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=305928
|called|=102
Found 11482 contexts for 160 functions. Top 5 functions:
1728	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=1509103.24MB, max=2857.21MB, minor=1508962.88MB, major=16140.27MB, promoted=15999.91MB
    minor collections=719576  major collections=62 compactions=0


runtime: 00:10:52.004
vars: 343588, evals: 914480

|rho|=343588
|stable|=163582
|infl|=343575
|wpoint|=321
|sides|=15264
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=315353
|called|=115
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=1536066.57MB, max=2857.21MB, minor=1535925.06MB, major=16390.47MB, promoted=16248.96MB
    minor collections=732433  major collections=62 compactions=0


runtime: 00:11:02.012
vars: 352007, evals: 940259

|rho|=352007
|stable|=174903
|infl|=351975
|wpoint|=336
|sides|=15689
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=322932
|called|=84
Found 12222 contexts for 160 functions. Top 5 functions:
1859	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
661	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
649	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=1568581.00MB, max=2857.21MB, minor=1568438.07MB, major=16642.63MB, promoted=16499.69MB
    minor collections=747937  major collections=63 compactions=0


runtime: 00:11:12.024
vars: 363461, evals: 963219

|rho|=363461
|stable|=180696
|infl|=363448
|wpoint|=346
|sides|=16168
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333438
|called|=81
Found 12675 contexts for 163 functions. Top 5 functions:
1909	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
712	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
625	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=1594336.86MB, max=2857.21MB, minor=1594192.39MB, major=16854.14MB, promoted=16709.67MB
    minor collections=760218  major collections=63 compactions=0


runtime: 00:11:22.103
vars: 370392, evals: 982831

|rho|=370392
|stable|=193249
|infl|=370355
|wpoint|=378
|sides|=16466
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=339781
|called|=84
Found 12956 contexts for 164 functions. Top 5 functions:
1986	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
736	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
725	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
637	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=1621599.56MB, max=3285.79MB, minor=1621453.95MB, major=17058.46MB, promoted=16912.86MB
    minor collections=773218  major collections=63 compactions=0


runtime: 00:11:32.119
vars: 380493, evals: 1005093

|rho|=380493
|stable|=205116
|infl|=380480
|wpoint|=392
|sides|=16825
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=349162
|called|=86
Found 13309 contexts for 164 functions. Top 5 functions:
2079	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
784	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
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=1651780.56MB, max=3285.79MB, minor=1651633.95MB, major=17299.12MB, promoted=17152.50MB
    minor collections=787609  major collections=63 compactions=0


runtime: 00:11:42.131
vars: 387917, evals: 1025838

|rho|=387917
|stable|=216512
|infl|=387896
|wpoint|=426
|sides|=17255
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355746
|called|=47
Found 13725 contexts for 164 functions. Top 5 functions:
2168	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
650	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=1682142.17MB, max=3285.79MB, minor=1681994.49MB, major=17561.39MB, promoted=17413.71MB
    minor collections=802087  major collections=64 compactions=0


runtime: 00:11:52.147
vars: 393274, evals: 1043302

|rho|=393274
|stable|=225226
|infl|=393232
|wpoint|=455
|sides|=17431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=360751
|called|=84
Found 13901 contexts for 164 functions. Top 5 functions:
2194	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
823	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
665	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=1712715.52MB, max=3285.79MB, minor=1712566.79MB, major=17818.58MB, promoted=17669.85MB
    minor collections=816665  major collections=64 compactions=0


runtime: 00:12:02.254
vars: 401013, evals: 1058576

|rho|=401013
|stable|=233050
|infl|=401000
|wpoint|=462
|sides|=17712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=367924
|called|=43
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=1738582.33MB, max=3285.79MB, minor=1738432.73MB, major=18171.00MB, promoted=18021.40MB
    minor collections=828999  major collections=64 compactions=0


runtime: 00:12:12.266
vars: 410244, evals: 1081634

|rho|=410244
|stable|=251475
|infl|=410215
|wpoint|=480
|sides|=18120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=376342
|called|=40
Found 14590 contexts for 164 functions. Top 5 functions:
2402	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
864	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
798	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=1764246.17MB, max=3285.79MB, minor=1764095.00MB, major=18446.56MB, promoted=18295.38MB
    minor collections=841236  major collections=64 compactions=0


runtime: 00:12:22.282
vars: 419603, evals: 1101162

|rho|=419603
|stable|=266152
|infl|=419590
|wpoint|=486
|sides|=18490
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=384960
|called|=54
Found 14960 contexts for 164 functions. Top 5 functions:
2522	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
888	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
873	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=1789672.45MB, max=3285.79MB, minor=1789514.67MB, major=18681.70MB, promoted=18523.91MB
    minor collections=853359  major collections=65 compactions=0


runtime: 00:12:32.361
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|=486
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=1813459.98MB, max=3285.79MB, minor=1813299.05MB, major=19001.78MB, promoted=18840.86MB
    minor collections=864701  major collections=65 compactions=0


runtime: 00:12:42.417
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|=965
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=1833611.55MB, max=3778.66MB, minor=1833441.03MB, major=19452.32MB, promoted=19281.80MB
    minor collections=874305  major collections=65 compactions=0


runtime: 00:12:52.425
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|=35
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=1854677.84MB, max=3778.66MB, minor=1854498.97MB, major=19928.75MB, promoted=19749.88MB
    minor collections=884347  major collections=66 compactions=0


runtime: 00:13:02.504
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|=284
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=1874789.60MB, max=3778.66MB, minor=1874604.04MB, major=20361.89MB, promoted=20176.34MB
    minor collections=893934  major collections=66 compactions=0


runtime: 00:13:12.516
vars: 426632, evals: 1126827

|rho|=426632
|stable|=287573
|infl|=426619
|wpoint|=512
|sides|=18851
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391290
|called|=25
Found 15280 contexts for 164 functions. Top 5 functions:
2608	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
923	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
916	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
804	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=1896476.86MB, max=3778.66MB, minor=1896283.30MB, major=20747.48MB, promoted=20553.92MB
    minor collections=904272  major collections=66 compactions=0


runtime: 00:13:22.524
vars: 434532, evals: 1144161

|rho|=434532
|stable|=294756
|infl|=434511
|wpoint|=559
|sides|=19299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=398301
|called|=48
Found 15725 contexts for 164 functions. Top 5 functions:
2699	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
955	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
925	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
836	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=1925015.72MB, max=3778.66MB, minor=1924821.74MB, major=21053.93MB, promoted=20859.94MB
    minor collections=917881  major collections=67 compactions=0


runtime: 00:13:32.536
vars: 441561, evals: 1160205

|rho|=441561
|stable|=302268
|infl|=441532
|wpoint|=575
|sides|=19538
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404853
|called|=38
Found 15964 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=1953362.89MB, max=3778.66MB, minor=1953168.28MB, major=21338.86MB, promoted=21144.25MB
    minor collections=931398  major collections=67 compactions=0


runtime: 00:13:42.548
vars: 448977, evals: 1174087

|rho|=448977
|stable|=308787
|infl|=448939
|wpoint|=585
|sides|=19826
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411696
|called|=50
Found 16250 contexts for 164 functions. Top 5 functions:
2798	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
988	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
977	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
854	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=1978735.07MB, max=3778.66MB, minor=1978539.65MB, major=21709.62MB, promoted=21514.20MB
    minor collections=943496  major collections=67 compactions=0


runtime: 00:13:52.559
vars: 460605, evals: 1194172

|rho|=460605
|stable|=320237
|infl|=460578
|wpoint|=587
|sides|=20229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=422514
|called|=35
Found 16653 contexts for 164 functions. Top 5 functions:
2877	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
1014	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
993	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
888	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=2007819.31MB, max=3778.66MB, minor=2007622.48MB, major=22036.63MB, promoted=21839.80MB
    minor collections=957365  major collections=68 compactions=0


runtime: 00:14:02.571
vars: 472498, evals: 1214913

|rho|=472498
|stable|=331764
|infl|=472477
|wpoint|=592
|sides|=20625
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=433618
|called|=41
Found 17049 contexts for 164 functions. Top 5 functions:
2935	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
1040	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1023	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
930	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=2036553.31MB, max=3778.66MB, minor=2036354.71MB, major=22333.07MB, promoted=22134.48MB
    minor collections=971065  major collections=68 compactions=0


runtime: 00:14:12.583
vars: 487670, evals: 1235349

|rho|=487670
|stable|=346183
|infl|=487637
|wpoint|=607
|sides|=21095
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=447851
|called|=65
Found 17519 contexts for 164 functions. Top 5 functions:
3044	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
1113	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1033	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
946	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=2065269.95MB, max=3778.66MB, minor=2065069.28MB, major=22592.95MB, promoted=22392.28MB
    minor collections=984758  major collections=68 compactions=0


runtime: 00:14:22.631
vars: 498803, evals: 1250774

|rho|=498803
|stable|=357489
|infl|=498758
|wpoint|=614
|sides|=21478
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=458217
|called|=57
Found 17902 contexts for 164 functions. Top 5 functions:
3153	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
1150	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1074	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
955	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=2090831.72MB, max=4345.46MB, minor=2090629.62MB, major=22937.53MB, promoted=22735.43MB
    minor collections=996946  major collections=68 compactions=0


runtime: 00:14:32.642
vars: 506037, evals: 1270807

|rho|=506037
|stable|=363845
|infl|=506014
|wpoint|=617
|sides|=21803
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=464800
|called|=73
Found 18227 contexts for 164 functions. Top 5 functions:
3176	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
1170	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1079	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
1020	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=2122500.58MB, max=4345.46MB, minor=2122297.28MB, major=23252.56MB, promoted=23049.25MB
    minor collections=1012047  major collections=68 compactions=0


runtime: 00:14:42.654
vars: 514451, evals: 1288768

|rho|=514451
|stable|=372805
|infl|=514419
|wpoint|=633
|sides|=22278
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=472264
|called|=44
Found 18702 contexts for 164 functions. Top 5 functions:
3262	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
1190	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1109	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
1094	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=2153112.18MB, max=4345.46MB, minor=2152907.11MB, major=23529.26MB, promoted=23324.18MB
    minor collections=1026644  major collections=69 compactions=0

