./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.329
vars: 4974, evals: 31911

|rho|=4974
|stable|=2861
|infl|=4963
|wpoint|=11
|sides|=739
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=3992
|called|=89
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=24492.98MB, max=114.78MB, minor=24486.74MB, major=358.50MB, promoted=352.25MB
    minor collections=11686  major collections=21 compactions=0


runtime: 00:00:20.380
vars: 19046, evals: 64973

|rho|=19046
|stable|=14874
|infl|=19012
|wpoint|=43
|sides|=2049
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16007
|called|=36
Found 747 contexts for 74 functions. Top 5 functions:
173	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
64	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
44	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
30	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=49966.34MB, max=230.87MB, minor=49958.43MB, major=694.34MB, promoted=686.43MB
    minor collections=23835  major collections=27 compactions=0


runtime: 00:00:30.447
vars: 30839, evals: 96328

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

Memory statistics: total=75517.90MB, max=305.32MB, minor=75508.84MB, major=1009.19MB, promoted=1000.13MB
    minor collections=36021  major collections=31 compactions=0


runtime: 00:00:40.519
vars: 40646, evals: 120158

|rho|=40646
|stable|=33145
|infl|=40624
|wpoint|=99
|sides|=2973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35726
|called|=145
Found 1624 contexts for 75 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=98910.78MB, max=464.37MB, minor=98898.99MB, major=1367.61MB, promoted=1355.82MB
    minor collections=47176  major collections=34 compactions=0


runtime: 00:00:50.578
vars: 60292, evals: 151298

|rho|=60292
|stable|=49650
|infl|=60248
|wpoint|=103
|sides|=4107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53437
|called|=52
Found 2300 contexts for 94 functions. Top 5 functions:
527	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
182	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
143	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=123403.06MB, max=614.13MB, minor=123389.68MB, major=1697.35MB, promoted=1683.96MB
    minor collections=58855  major collections=35 compactions=0


runtime: 00:01:00.638
vars: 78908, evals: 183525

|rho|=78908
|stable|=29746
|infl|=78890
|wpoint|=124
|sides|=5093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70287
|called|=68
Found 2864 contexts for 111 functions. Top 5 functions:
639	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
201	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
197	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=147873.05MB, max=706.25MB, minor=147854.80MB, major=1982.37MB, promoted=1964.11MB
    minor collections=70522  major collections=37 compactions=0


runtime: 00:01:10.709
vars: 97343, evals: 209533

|rho|=97343
|stable|=49244
|infl|=97321
|wpoint|=135
|sides|=5739
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87439
|called|=75
Found 3495 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
137	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=171006.52MB, max=812.19MB, minor=170986.10MB, major=2308.61MB, promoted=2288.19MB
    minor collections=81553  major collections=38 compactions=0


runtime: 00:01:20.733
vars: 105556, evals: 236725

|rho|=105556
|stable|=57650
|infl|=105542
|wpoint|=134
|sides|=6238
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94682
|called|=26
Found 3924 contexts for 115 functions. Top 5 functions:
836	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
239	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
218	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=197246.11MB, max=934.02MB, minor=197224.48MB, major=2561.14MB, promoted=2539.51MB
    minor collections=94065  major collections=39 compactions=0


runtime: 00:01:30.800
vars: 121521, evals: 259738

|rho|=121521
|stable|=73619
|infl|=121489
|wpoint|=135
|sides|=6903
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109315
|called|=48
Found 4573 contexts for 116 functions. Top 5 functions:
1029	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
350	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
307	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
288	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
267	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=219448.63MB, max=1074.12MB, minor=219423.34MB, major=2836.89MB, promoted=2811.60MB
    minor collections=104651  major collections=40 compactions=0


runtime: 00:01:40.864
vars: 136501, evals: 282372

|rho|=136501
|stable|=88391
|infl|=136475
|wpoint|=138
|sides|=7465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123194
|called|=42
Found 5071 contexts for 124 functions. Top 5 functions:
1128	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
345	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=241670.19MB, max=1235.24MB, minor=241638.31MB, major=3113.24MB, promoted=3081.36MB
    minor collections=115244  major collections=40 compactions=0


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

|rho|=142267
|stable|=94960
|infl|=141977
|wpoint|=141
|sides|=7612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128681
|called|=305
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=262438.15MB, max=1420.53MB, minor=262402.15MB, major=3499.34MB, promoted=3463.34MB
    minor collections=125146  major collections=41 compactions=0


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

|rho|=145428
|stable|=98121
|infl|=144692
|wpoint|=142
|sides|=7750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131621
|called|=751
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=282333.20MB, max=1420.53MB, minor=282286.29MB, major=3938.72MB, promoted=3891.82MB
    minor collections=134628  major collections=42 compactions=0


runtime: 00:02:10.978
vars: 145516, evals: 296687

|rho|=145516
|stable|=98209
|infl|=145468
|wpoint|=142
|sides|=7754
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131702
|called|=63
Found 5248 contexts for 127 functions. Top 5 functions:
1163	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=302024.34MB, max=1420.53MB, minor=301968.14MB, major=4394.46MB, promoted=4338.27MB
    minor collections=144014  major collections=43 compactions=0


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

|rho|=148480
|stable|=101173
|infl|=148184
|wpoint|=143
|sides|=7806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134561
|called|=311
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=321725.05MB, max=1420.53MB, minor=321662.54MB, major=4814.33MB, promoted=4751.82MB
    minor collections=153406  major collections=44 compactions=0


runtime: 00:02:31.001
vars: 150855, evals: 304350

|rho|=150855
|stable|=103534
|infl|=150826
|wpoint|=144
|sides|=7909
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136737
|called|=46
Found 5391 contexts for 128 functions. Top 5 functions:
1206	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
425	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
369	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
315	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=340883.82MB, max=1420.53MB, minor=340812.02MB, major=5233.34MB, promoted=5161.54MB
    minor collections=162538  major collections=45 compactions=0


runtime: 00:02:41.013
vars: 159198, evals: 322602

|rho|=159198
|stable|=104491
|infl|=159168
|wpoint|=151
|sides|=8292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144371
|called|=76
Found 5640 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=365268.01MB, max=1420.53MB, minor=365195.08MB, major=5402.81MB, promoted=5329.88MB
    minor collections=174165  major collections=46 compactions=0


runtime: 00:02:51.024
vars: 162854, evals: 337987

|rho|=162854
|stable|=107764
|infl|=162824
|wpoint|=150
|sides|=8413
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147785
|called|=55
Found 5750 contexts for 140 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
433	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
379	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
331	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=389753.83MB, max=1420.53MB, minor=389679.95MB, major=5550.47MB, promoted=5476.59MB
    minor collections=185841  major collections=46 compactions=0


runtime: 00:03:01.048
vars: 167642, evals: 352855

|rho|=167642
|stable|=112059
|infl|=167615
|wpoint|=157
|sides|=8618
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152207
|called|=70
Found 5899 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=414361.69MB, max=1420.53MB, minor=414287.00MB, major=5697.92MB, promoted=5623.22MB
    minor collections=197574  major collections=46 compactions=0


runtime: 00:03:11.059
vars: 171125, evals: 367489

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

Memory statistics: total=438983.57MB, max=1420.53MB, minor=438907.87MB, major=5840.99MB, promoted=5765.29MB
    minor collections=209315  major collections=47 compactions=0


runtime: 00:03:21.079
vars: 175531, evals: 384230

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

Memory statistics: total=462048.75MB, max=1420.53MB, minor=461971.70MB, major=5984.16MB, promoted=5907.12MB
    minor collections=220313  major collections=47 compactions=0


runtime: 00:03:31.134
vars: 178283, evals: 395917

|rho|=178283
|stable|=40635
|infl|=178256
|wpoint|=167
|sides|=8964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162158
|called|=68
Found 6233 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=486172.35MB, max=1633.61MB, minor=486094.85MB, major=6113.91MB, promoted=6036.42MB
    minor collections=231816  major collections=47 compactions=0


runtime: 00:03:41.146
vars: 183214, evals: 411576

|rho|=183214
|stable|=45373
|infl|=183164
|wpoint|=167
|sides|=9133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166757
|called|=62
Found 6395 contexts for 142 functions. Top 5 functions:
1270	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
455	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
392	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
385	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=510495.72MB, max=1633.61MB, minor=510417.15MB, major=6260.63MB, promoted=6182.05MB
    minor collections=243414  major collections=47 compactions=0


runtime: 00:03:51.157
vars: 187670, evals: 425648

|rho|=187670
|stable|=49507
|infl|=187646
|wpoint|=171
|sides|=9281
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170916
|called|=69
Found 6543 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=535129.92MB, max=1633.61MB, minor=535050.00MB, major=6405.39MB, promoted=6325.47MB
    minor collections=255161  major collections=48 compactions=0


runtime: 00:04:01.185
vars: 191199, evals: 440204

|rho|=191199
|stable|=52600
|infl|=191177
|wpoint|=170
|sides|=9387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174232
|called|=61
Found 6649 contexts for 142 functions. Top 5 functions:
1281	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
462	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
395	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
390	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
340	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=559221.81MB, max=1633.61MB, minor=559140.63MB, major=6545.10MB, promoted=6463.91MB
    minor collections=266649  major collections=48 compactions=0


runtime: 00:04:11.201
vars: 197098, evals: 455078

|rho|=197098
|stable|=58638
|infl|=197071
|wpoint|=176
|sides|=9586
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179734
|called|=72
Found 6848 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
370	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=583966.41MB, max=1633.61MB, minor=583884.64MB, major=6695.76MB, promoted=6613.98MB
    minor collections=278448  major collections=48 compactions=0


runtime: 00:04:21.212
vars: 200007, evals: 468200

|rho|=200007
|stable|=61105
|infl|=199952
|wpoint|=174
|sides|=9676
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182464
|called|=67
Found 6938 contexts for 142 functions. Top 5 functions:
1306	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
479	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
410	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
405	contexts for L:entry state of get_size (4874) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:4979:1-4999:1
402	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=608737.63MB, max=1633.61MB, minor=608655.30MB, major=6832.06MB, promoted=6749.73MB
    minor collections=290260  major collections=49 compactions=0


runtime: 00:04:31.228
vars: 205571, evals: 484248

|rho|=205571
|stable|=66494
|infl|=205544
|wpoint|=184
|sides|=9854
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187671
|called|=68
Found 7116 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
434	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=633188.70MB, max=1633.61MB, minor=633104.86MB, major=6979.07MB, promoted=6895.23MB
    minor collections=301919  major collections=49 compactions=0


runtime: 00:04:41.323
vars: 208486, evals: 495821

|rho|=208486
|stable|=68978
|infl|=208455
|wpoint|=184
|sides|=9944
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190407
|called|=70
Found 7206 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
478	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=657443.89MB, max=1878.66MB, minor=657359.31MB, major=7107.33MB, promoted=7022.75MB
    minor collections=313484  major collections=49 compactions=0


runtime: 00:04:51.335
vars: 213407, evals: 510503

|rho|=213407
|stable|=73910
|infl|=213376
|wpoint|=189
|sides|=10099
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195019
|called|=71
Found 7361 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
503	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=681314.95MB, max=1878.66MB, minor=681229.86MB, major=7275.32MB, promoted=7190.22MB
    minor collections=324867  major collections=49 compactions=0


runtime: 00:05:01.346
vars: 214364, evals: 516690

|rho|=214364
|stable|=74883
|infl|=214337
|wpoint|=189
|sides|=10127
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195918
|called|=50
Found 7389 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
522	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=702881.30MB, max=1878.66MB, minor=702795.95MB, major=7535.14MB, promoted=7449.79MB
    minor collections=335151  major collections=50 compactions=0


runtime: 00:05:11.398
vars: 216610, evals: 524491

|rho|=216610
|stable|=76675
|infl|=216581
|wpoint|=189
|sides|=10196
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198027
|called|=81
Found 7458 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
552	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=724559.47MB, max=1878.66MB, minor=724473.77MB, major=7798.29MB, promoted=7712.59MB
    minor collections=345488  major collections=50 compactions=0


runtime: 00:05:21.409
vars: 218435, evals: 532266

|rho|=218435
|stable|=78513
|infl|=218355
|wpoint|=187
|sides|=10250
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199744
|called|=92
Found 7512 contexts for 142 functions. Top 5 functions:
1325	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
490	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 xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175: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

Memory statistics: total=746096.28MB, max=1878.66MB, minor=746010.42MB, major=8071.20MB, promoted=7985.35MB
    minor collections=355758  major collections=51 compactions=0


runtime: 00:05:31.445
vars: 223025, evals: 543611

|rho|=223025
|stable|=82912
|infl|=222998
|wpoint|=193
|sides|=10394
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204045
|called|=71
Found 7656 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
594	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=767767.40MB, max=1878.66MB, minor=767681.09MB, major=8340.71MB, promoted=8254.40MB
    minor collections=366092  major collections=51 compactions=0


runtime: 00:05:41.461
vars: 225070, evals: 550967

|rho|=225070
|stable|=84890
|infl|=225043
|wpoint|=193
|sides|=10457
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205964
|called|=73
Found 7719 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
620	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=790046.85MB, max=1878.66MB, minor=789960.28MB, major=8614.31MB, promoted=8527.73MB
    minor collections=376716  major collections=52 compactions=0


runtime: 00:05:51.472
vars: 226383, evals: 557814

|rho|=226383
|stable|=85822
|infl|=226356
|wpoint|=193
|sides|=10496
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207199
|called|=70
Found 7758 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
646	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=811320.29MB, max=1878.66MB, minor=811233.51MB, major=8870.47MB, promoted=8783.68MB
    minor collections=386860  major collections=52 compactions=0


runtime: 00:06:01.480
vars: 228827, evals: 567138

|rho|=228827
|stable|=87987
|infl|=228790
|wpoint|=192
|sides|=10571
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209493
|called|=53
Found 7833 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=833080.57MB, max=1878.66MB, minor=832993.46MB, major=9153.20MB, promoted=9066.10MB
    minor collections=397237  major collections=53 compactions=0


runtime: 00:06:11.519
vars: 232879, evals: 577568

|rho|=232879
|stable|=92108
|infl|=232848
|wpoint|=200
|sides|=10707
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213275
|called|=67
Found 7969 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
675	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=854293.37MB, max=2160.46MB, minor=854205.42MB, major=9413.10MB, promoted=9325.15MB
    minor collections=407351  major collections=53 compactions=0


runtime: 00:06:21.539
vars: 234871, evals: 584764

|rho|=234871
|stable|=94117
|infl|=234844
|wpoint|=200
|sides|=10768
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215143
|called|=80
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=876593.16MB, max=2160.46MB, minor=876505.00MB, major=9685.01MB, promoted=9596.86MB
    minor collections=417985  major collections=53 compactions=0


runtime: 00:06:31.551
vars: 236183, evals: 591454

|rho|=236183
|stable|=94910
|infl|=236154
|wpoint|=201
|sides|=10807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216378
|called|=77
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=897208.78MB, max=2160.46MB, minor=897120.34MB, major=9929.00MB, promoted=9840.56MB
    minor collections=427816  major collections=54 compactions=0


runtime: 00:06:41.578
vars: 238302, evals: 599347

|rho|=238302
|stable|=97036
|infl|=238269
|wpoint|=198
|sides|=10873
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218364
|called|=50
Found 8135 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=917874.15MB, max=2160.46MB, minor=917785.43MB, major=10195.96MB, promoted=10107.23MB
    minor collections=437670  major collections=54 compactions=0


runtime: 00:06:51.589
vars: 241448, evals: 608400

|rho|=241448
|stable|=100128
|infl|=241421
|wpoint|=205
|sides|=10974
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221308
|called|=80
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=939584.95MB, max=2160.46MB, minor=939495.69MB, major=10453.42MB, promoted=10364.16MB
    minor collections=448023  major collections=55 compactions=0


runtime: 00:07:01.629
vars: 243392, evals: 615151

|rho|=243392
|stable|=102174
|infl|=243365
|wpoint|=205
|sides|=11034
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223132
|called|=73
Found 8296 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
786	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=960719.30MB, max=2160.46MB, minor=960629.51MB, major=10705.61MB, promoted=10615.81MB
    minor collections=458100  major collections=55 compactions=0


runtime: 00:07:11.648
vars: 244705, evals: 621984

|rho|=244705
|stable|=103093
|infl|=244678
|wpoint|=205
|sides|=11073
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224367
|called|=64
Found 8335 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
812	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=982623.60MB, max=2160.46MB, minor=982533.65MB, major=10963.38MB, promoted=10873.43MB
    minor collections=468545  major collections=55 compactions=0


runtime: 00:07:21.660
vars: 247060, evals: 631016

|rho|=247060
|stable|=105389
|infl|=247034
|wpoint|=204
|sides|=11145
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226577
|called|=63
Found 8407 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
820	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
511	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
427	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=1003496.23MB, max=2160.46MB, minor=1003405.80MB, major=11231.80MB, promoted=11141.37MB
    minor collections=478498  major collections=56 compactions=0


runtime: 00:07:31.699
vars: 249670, evals: 638798

|rho|=249670
|stable|=107626
|infl|=249641
|wpoint|=209
|sides|=11234
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229011
|called|=55
Found 8496 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
846	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=1025089.59MB, max=2160.46MB, minor=1024998.52MB, major=11483.34MB, promoted=11392.27MB
    minor collections=488795  major collections=56 compactions=0


runtime: 00:07:41.711
vars: 251615, evals: 645623

|rho|=251615
|stable|=109859
|infl|=251588
|wpoint|=209
|sides|=11294
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230835
|called|=67
Found 8556 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
870	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
435	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=1047058.61MB, max=2160.46MB, minor=1046967.16MB, major=11746.08MB, promoted=11654.63MB
    minor collections=499271  major collections=57 compactions=0


runtime: 00:07:51.722
vars: 252927, evals: 652129

|rho|=252927
|stable|=110470
|infl|=252898
|wpoint|=209
|sides|=11333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232070
|called|=58
Found 8595 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
896	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
448	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=1068096.96MB, max=2160.46MB, minor=1068005.04MB, major=11991.20MB, promoted=11899.29MB
    minor collections=509303  major collections=57 compactions=0


runtime: 00:08:01.746
vars: 255452, evals: 660889

|rho|=255452
|stable|=113350
|infl|=255419
|wpoint|=214
|sides|=11420
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=234423
|called|=84
Found 8682 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
903	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
452	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=1088736.03MB, max=2484.53MB, minor=1088643.71MB, major=12256.87MB, promoted=12164.55MB
    minor collections=519144  major collections=57 compactions=0


runtime: 00:08:11.758
vars: 257284, evals: 667674

|rho|=257284
|stable|=115147
|infl|=257257
|wpoint|=214
|sides|=11476
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236140
|called|=49
Found 8738 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
928	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
464	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=1110372.13MB, max=2484.53MB, minor=1110279.37MB, major=12507.63MB, promoted=12414.87MB
    minor collections=529461  major collections=58 compactions=0


runtime: 00:08:21.801
vars: 259328, evals: 674401

|rho|=259328
|stable|=116737
|infl|=259299
|wpoint|=214
|sides|=11539
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238059
|called|=54
Found 8801 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
954	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
477	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=1131283.01MB, max=2484.53MB, minor=1131189.65MB, major=12755.09MB, promoted=12661.72MB
    minor collections=539432  major collections=58 compactions=0


runtime: 00:08:31.840
vars: 260541, evals: 680841

|rho|=260541
|stable|=117808
|infl|=260514
|wpoint|=214
|sides|=11575
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239199
|called|=64
Found 8837 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
978	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
489	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=1152855.47MB, max=2484.53MB, minor=1152761.92MB, major=13008.61MB, promoted=12915.06MB
    minor collections=549719  major collections=58 compactions=0


runtime: 00:08:41.856
vars: 263176, evals: 690033

|rho|=263176
|stable|=120483
|infl|=263155
|wpoint|=214
|sides|=11656
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241670
|called|=41
Found 8918 contexts for 142 functions. Top 5 functions:
1372	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
519	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
492	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
433	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1

Memory statistics: total=1173668.93MB, max=2484.53MB, minor=1173566.39MB, major=13285.16MB, promoted=13182.62MB
    minor collections=559642  major collections=59 compactions=0


runtime: 00:08:51.867
vars: 273323, evals: 707211

|rho|=273323
|stable|=55217
|infl|=273293
|wpoint|=219
|sides|=12178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250788
|called|=50
Found 9355 contexts for 146 functions. Top 5 functions:
1466	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
984	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
523	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
492	contexts for L:entry state of reventrycmp (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3858:1-3872:1
474	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=1194955.86MB, max=2484.53MB, minor=1194849.96MB, major=13470.31MB, promoted=13364.41MB
    minor collections=569791  major collections=59 compactions=0


runtime: 00:09:01.899
vars: 284926, evals: 724196

|rho|=284926
|stable|=66906
|infl|=284913
|wpoint|=221
|sides|=12665
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261421
|called|=38
Found 9813 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=1216614.30MB, max=2484.53MB, minor=1216504.96MB, major=13679.61MB, promoted=13570.28MB
    minor collections=580117  major collections=59 compactions=0


runtime: 00:09:11.910
vars: 294316, evals: 741742

|rho|=294316
|stable|=80782
|infl|=294303
|wpoint|=226
|sides|=13023
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270102
|called|=103
Found 10121 contexts for 153 functions. Top 5 functions:
1603	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
570	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=1238169.29MB, max=2484.53MB, minor=1238051.47MB, major=13872.48MB, promoted=13754.66MB
    minor collections=590393  major collections=60 compactions=0


runtime: 00:09:21.930
vars: 302439, evals: 758942

|rho|=302439
|stable|=92532
|infl|=302396
|wpoint|=246
|sides|=13627
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277151
|called|=83
Found 10525 contexts for 158 functions. Top 5 functions:
1651	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
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
519	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=1260219.81MB, max=2484.53MB, minor=1260097.75MB, major=14026.20MB, promoted=13904.15MB
    minor collections=600905  major collections=60 compactions=0


runtime: 00:09:31.942
vars: 305024, evals: 768030

|rho|=305024
|stable|=95166
|infl|=305007
|wpoint|=248
|sides|=13724
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279547
|called|=47
Found 10616 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
1014	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=1282250.42MB, max=2484.53MB, minor=1282126.90MB, major=14136.89MB, promoted=14013.38MB
    minor collections=611410  major collections=60 compactions=0


runtime: 00:09:41.957
vars: 307627, evals: 777323

|rho|=307627
|stable|=97365
|infl|=307606
|wpoint|=249
|sides|=13804
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281992
|called|=62
Found 10696 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
1051	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
526	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=1303658.97MB, max=2484.53MB, minor=1303533.94MB, major=14242.93MB, promoted=14117.90MB
    minor collections=621618  major collections=60 compactions=0


runtime: 00:09:52.017
vars: 310515, evals: 789780

|rho|=310515
|stable|=99979
|infl|=310498
|wpoint|=248
|sides|=13889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284708
|called|=70
Found 10781 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
1092	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
546	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=1329853.40MB, max=2484.53MB, minor=1329718.51MB, major=14391.63MB, promoted=14256.74MB
    minor collections=634104  major collections=60 compactions=0


runtime: 00:10:02.028
vars: 314236, evals: 806630

|rho|=314236
|stable|=103562
|infl|=314214
|wpoint|=248
|sides|=14003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288203
|called|=75
Found 10895 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
1149	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
575	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=1363441.57MB, max=2484.53MB, minor=1363306.26MB, major=14581.65MB, promoted=14446.33MB
    minor collections=650120  major collections=60 compactions=0


runtime: 00:10:12.044
vars: 316410, evals: 815021

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

Memory statistics: total=1390154.66MB, max=2484.53MB, minor=1390019.07MB, major=14905.26MB, promoted=14769.67MB
    minor collections=662858  major collections=61 compactions=0


runtime: 00:10:22.175
vars: 318859, evals: 823626

|rho|=318859
|stable|=107629
|infl|=318842
|wpoint|=248
|sides|=14141
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=292548
|called|=70
Found 11033 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
1212	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
606	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=1415526.42MB, max=2857.21MB, minor=1415390.54MB, major=15213.61MB, promoted=15077.73MB
    minor collections=674957  major collections=61 compactions=0


runtime: 00:10:32.211
vars: 320115, evals: 832311

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

Memory statistics: total=1439151.68MB, max=2857.21MB, minor=1439015.63MB, major=15501.55MB, promoted=15365.51MB
    minor collections=686222  major collections=61 compactions=0


runtime: 00:10:42.223
vars: 323374, evals: 854423

|rho|=323374
|stable|=127901
|infl|=323361
|wpoint|=271
|sides|=14319
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=296702
|called|=45
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=1467065.52MB, max=2857.21MB, minor=1466928.78MB, major=15695.34MB, promoted=15558.60MB
    minor collections=699533  major collections=62 compactions=0


runtime: 00:10:52.238
vars: 327495, evals: 870445

|rho|=327495
|stable|=130837
|infl|=327480
|wpoint|=287
|sides|=14658
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=300387
|called|=28
Found 11293 contexts for 160 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=1493341.95MB, max=2857.21MB, minor=1493202.49MB, major=15992.16MB, promoted=15852.69MB
    minor collections=712061  major collections=62 compactions=0


runtime: 00:11:02.250
vars: 337330, evals: 897565

|rho|=337330
|stable|=152343
|infl|=337296
|wpoint|=315
|sides|=15101
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=309425
|called|=84
Found 11647 contexts for 160 functions. Top 5 functions:
1768	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 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
613	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=1519671.23MB, max=2857.21MB, minor=1519530.58MB, major=16232.58MB, promoted=16091.94MB
    minor collections=724616  major collections=62 compactions=0


runtime: 00:11:12.261
vars: 346216, evals: 924470

|rho|=346216
|stable|=168849
|infl|=346194
|wpoint|=325
|sides|=15384
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=317744
|called|=156
Found 11927 contexts for 160 functions. Top 5 functions:
1815	contexts for L:entry state of xstrsncpy (4772) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1150:1-1166:1
1230	contexts for L:entry state of entrycmp (4853) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:3778:1-3857:1
650	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
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=1547550.14MB, max=2857.21MB, minor=1547408.32MB, major=16486.12MB, promoted=16344.30MB
    minor collections=737910  major collections=63 compactions=0


runtime: 00:11:22.273
vars: 358533, evals: 949686

|rho|=358533
|stable|=181453
|infl|=358496
|wpoint|=342
|sides|=15950
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=328938
|called|=87
Found 12481 contexts for 160 functions. Top 5 functions:
1880	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
695	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
690	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=1578632.98MB, max=2857.21MB, minor=1578489.39MB, major=16713.82MB, promoted=16570.23MB
    minor collections=752731  major collections=63 compactions=0


runtime: 00:11:32.289
vars: 364153, evals: 968231

|rho|=364153
|stable|=184569
|infl|=364140
|wpoint|=361
|sides|=16194
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=334078
|called|=87
Found 12701 contexts for 163 functions. Top 5 functions:
1914	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
713	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
628	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=1601518.65MB, max=2857.21MB, minor=1601374.03MB, major=16893.64MB, promoted=16749.02MB
    minor collections=763643  major collections=63 compactions=0


runtime: 00:11:42.412
vars: 375555, evals: 989947

|rho|=375555
|stable|=198414
|infl|=375524
|wpoint|=383
|sides|=16639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=344600
|called|=78
Found 13129 contexts for 164 functions. Top 5 functions:
2032	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
760	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
730	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
641	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=1629678.86MB, max=3285.79MB, minor=1629532.95MB, major=17116.72MB, promoted=16970.81MB
    minor collections=777071  major collections=63 compactions=0


runtime: 00:11:52.424
vars: 380966, evals: 1010500

|rho|=380966
|stable|=209728
|infl|=380947
|wpoint|=391
|sides|=16868
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=349552
|called|=64
Found 13352 contexts for 164 functions. Top 5 functions:
2081	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
790	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
740	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=1659517.83MB, max=3285.79MB, minor=1659371.24MB, major=17346.99MB, promoted=17200.40MB
    minor collections=791299  major collections=63 compactions=0


runtime: 00:12:02.439
vars: 388675, evals: 1028987

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

Memory statistics: total=1688543.52MB, max=3285.79MB, minor=1688395.74MB, major=17624.49MB, promoted=17476.71MB
    minor collections=805140  major collections=64 compactions=0


runtime: 00:12:12.531
vars: 394517, evals: 1046188

|rho|=394517
|stable|=226732
|infl|=394494
|wpoint|=457
|sides|=17473
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361910
|called|=32
Found 13943 contexts for 164 functions. Top 5 functions:
2200	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
825	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
763	contexts for L:entry state of printmsg (4793) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1618:1-1628:1
668	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1

Memory statistics: total=1717936.76MB, max=3285.79MB, minor=1717787.84MB, major=17877.77MB, promoted=17728.85MB
    minor collections=819155  major collections=64 compactions=0


runtime: 00:12:22.647
vars: 401501, evals: 1062385

|rho|=401501
|stable|=236633
|infl|=401460
|wpoint|=465
|sides|=17732
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=368374
|called|=56
Found 14202 contexts for 164 functions. Top 5 functions:
2271	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
839	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
718	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=1741794.06MB, max=3285.79MB, minor=1741644.45MB, major=18220.14MB, promoted=18070.53MB
    minor collections=830531  major collections=64 compactions=0


runtime: 00:12:32.662
vars: 411992, evals: 1084178

|rho|=411992
|stable|=253223
|infl|=411957
|wpoint|=480
|sides|=18186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=377958
|called|=46
Found 14656 contexts for 164 functions. Top 5 functions:
2423	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
868	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
812	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
776	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=1767212.68MB, max=3285.79MB, minor=1767061.19MB, major=18465.41MB, promoted=18313.92MB
    minor collections=842651  major collections=64 compactions=0


runtime: 00:12:42.673
vars: 419605, evals: 1102822

|rho|=419605
|stable|=267603
|infl|=419592
|wpoint|=486
|sides|=18490
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=384960
|called|=57
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=1791495.06MB, max=3285.79MB, minor=1791337.22MB, major=18697.77MB, promoted=18539.93MB
    minor collections=854228  major collections=65 compactions=0


runtime: 00:12:52.729
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|=442
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=1814220.91MB, max=3778.66MB, minor=1814059.65MB, major=19014.95MB, promoted=18853.69MB
    minor collections=865063  major collections=65 compactions=0


runtime: 00:13:02.776
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|=966
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=1833317.47MB, max=3778.66MB, minor=1833146.97MB, major=19441.62MB, promoted=19271.13MB
    minor collections=874165  major collections=65 compactions=0


runtime: 00:13:12.788
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|=68
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=1853224.86MB, max=3778.66MB, minor=1853046.83MB, major=19890.46MB, promoted=19712.42MB
    minor collections=883655  major collections=66 compactions=0


runtime: 00:13:22.891
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|=366
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=1872242.82MB, max=3778.66MB, minor=1872057.96MB, major=20299.49MB, promoted=20114.63MB
    minor collections=892720  major collections=66 compactions=0


runtime: 00:13:32.911
vars: 424308, evals: 1122897

|rho|=424308
|stable|=284968
|infl|=424288
|wpoint|=508
|sides|=18750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=389169
|called|=40
Found 15179 contexts for 164 functions. Top 5 functions:
2571	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
909	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
902	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081: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=1891672.02MB, max=3778.66MB, minor=1891478.60MB, major=20697.10MB, promoted=20503.68MB
    minor collections=901981  major collections=66 compactions=0


runtime: 00:13:42.923
vars: 433348, evals: 1140982

|rho|=433348
|stable|=293652
|infl|=433327
|wpoint|=547
|sides|=19194
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=397327
|called|=61
Found 15620 contexts for 164 functions. Top 5 functions:
2662	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
950	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=1918454.49MB, max=3778.66MB, minor=1918260.63MB, major=20981.48MB, promoted=20787.63MB
    minor collections=914752  major collections=67 compactions=0


runtime: 00:13:52.938
vars: 439862, evals: 1157243

|rho|=439862
|stable|=300217
|infl|=439822
|wpoint|=574
|sides|=19477
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=403275
|called|=81
Found 15903 contexts for 164 functions. Top 5 functions:
2725	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
961	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
940	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
838	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=1947111.05MB, max=3778.66MB, minor=1946916.65MB, major=21236.43MB, promoted=21042.04MB
    minor collections=928417  major collections=67 compactions=0


runtime: 00:14:02.957
vars: 447446, evals: 1171051

|rho|=447446
|stable|=308153
|infl|=447423
|wpoint|=578
|sides|=19754
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410305
|called|=39
Found 16180 contexts for 164 functions. Top 5 functions:
2797	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
976	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
842	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=1971581.93MB, max=3778.66MB, minor=1971386.70MB, major=21587.31MB, promoted=21392.08MB
    minor collections=940085  major collections=67 compactions=0


runtime: 00:14:12.969
vars: 457753, evals: 1189477

|rho|=457753
|stable|=317385
|infl|=457720
|wpoint|=585
|sides|=20116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=419891
|called|=44
Found 16540 contexts for 164 functions. Top 5 functions:
2851	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
1002	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
988	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
879	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=1999632.77MB, max=3778.66MB, minor=1999436.39MB, major=21914.57MB, promoted=21718.19MB
    minor collections=953461  major collections=67 compactions=0


runtime: 00:14:22.984
vars: 469805, evals: 1209699

|rho|=469805
|stable|=329071
|infl|=469762
|wpoint|=591
|sides|=20526
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=431126
|called|=58
Found 16950 contexts for 164 functions. Top 5 functions:
2921	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
1031	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1022	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
915	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=2027504.28MB, max=3778.66MB, minor=2027306.15MB, major=22202.20MB, promoted=22004.07MB
    minor collections=966751  major collections=68 compactions=0


runtime: 00:14:32.996
vars: 481600, evals: 1227158

|rho|=481600
|stable|=340150
|infl|=481562
|wpoint|=600
|sides|=20911
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=442152
|called|=54
Found 17335 contexts for 164 functions. Top 5 functions:
2994	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
1086	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1029	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
943	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=2053503.23MB, max=3778.66MB, minor=2053303.44MB, major=22490.91MB, promoted=22291.12MB
    minor collections=979147  major collections=68 compactions=0


runtime: 00:14:43.048
vars: 494141, evals: 1244186

|rho|=494141
|stable|=352788
|infl|=494128
|wpoint|=613
|sides|=21299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=453911
|called|=37
Found 17723 contexts for 164 functions. Top 5 functions:
3098	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
1140	contexts for L:entry state of xstrlen (4773) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1167:1-1175:1
1037	contexts for L:entry state of xitoa (4765) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/nnn/main.c:1054:1-1081:1
952	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=2081129.08MB, max=4345.46MB, minor=2080927.68MB, major=22809.57MB, promoted=22608.17MB
    minor collections=992320  major collections=68 compactions=0


runtime: 00:14:53.059
vars: 503865, evals: 1262630

|rho|=503865
|stable|=362156
|infl|=503843
|wpoint|=618
|sides|=21717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=462799
|called|=69
Found 18141 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
998	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=2109130.28MB, max=4345.46MB, minor=2108927.44MB, major=23118.84MB, promoted=22916.00MB
    minor collections=1005672  major collections=68 compactions=0

