./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/fzy/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:459:3-471:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:573:5-576:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:582:5-594:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:751:3-761:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:774:3-779:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:807:3-816:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:818:3-827:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:867:3-895:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:945:5-950:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:951:5-956:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1007:7-1010:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1020:3-1028:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1034:7-1063:7 with factor 2
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/fzy/main.c:1526:3-1528:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1531:3-1542:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1550:3-1569:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1710:3-1732:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1733:3-1739:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1740:3-1746:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1778:5-1786:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1790:3-1804:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1836:3-1852:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2124:3-2136:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2167:3-2177:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2194:3-2207:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2253:3-2262:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2269:3-2272:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2334:3-2343:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2360:3-2370:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2371:3-2381:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2436:5-2445:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2459:5-2465:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2495:3-2505:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2516:3-2526:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2669:3-2682:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2705:3-2711:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2729:7-2735:7 with factor 8
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: 125
functionCalls: 570
loops: 50
loopBreaks: 0
controlFlowStatements: 1510
expressions: 9761
instructions: 1767
integralVars: (5,225)
arrayVars: (20,6)
pointerVars: (5,204)

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

runtime: 00:00:10.162
vars: 9839, evals: 47223

|rho|=9839
|stable|=9488
|infl|=9815
|wpoint|=53
|sides|=525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8943
|called|=26
Found 249 contexts for 22 functions. Top 5 functions:
44	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
36	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
36	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
18	contexts for L:entry state of has_match (686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:744:1-764:1
12	contexts for L:entry state of safe_realloc (3305) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1493:1-1506:1

Memory statistics: total=29018.92MB, max=87.92MB, minor=29014.17MB, major=267.11MB, promoted=262.36MB
    minor collections=13846  major collections=22 compactions=0


runtime: 00:00:20.193
vars: 14421, evals: 86014

|rho|=14421
|stable|=12989
|infl|=14407
|wpoint|=87
|sides|=643
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13315
|called|=25
Found 354 contexts for 22 functions. Top 5 functions:
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
25	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
24	contexts for L:entry state of has_match (686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:744:1-764:1

Memory statistics: total=58241.11MB, max=116.28MB, minor=58236.09MB, major=486.46MB, promoted=481.44MB
    minor collections=27784  major collections=29 compactions=0


runtime: 00:00:30.215
vars: 16311, evals: 117601

|rho|=16311
|stable|=13318
|infl|=16293
|wpoint|=104
|sides|=672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15151
|called|=18
Found 379 contexts for 22 functions. Top 5 functions:
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
43	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
27	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=88379.03MB, max=133.72MB, minor=88373.83MB, major=683.89MB, promoted=678.69MB
    minor collections=42157  major collections=34 compactions=0


runtime: 00:00:40.234
vars: 17999, evals: 148113

|rho|=17999
|stable|=13400
|infl|=17985
|wpoint|=123
|sides|=695
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16797
|called|=20
Found 398 contexts for 22 functions. Top 5 functions:
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
61	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
28	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=118683.70MB, max=153.78MB, minor=118677.44MB, major=880.44MB, promoted=874.19MB
    minor collections=56610  major collections=39 compactions=0


runtime: 00:00:50.261
vars: 19511, evals: 176198

|rho|=19511
|stable|=13524
|infl|=19506
|wpoint|=140
|sides|=720
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18260
|called|=5
Found 418 contexts for 22 functions. Top 5 functions:
79	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
30	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=148203.04MB, max=153.78MB, minor=148196.19MB, major=1070.05MB, promoted=1063.20MB
    minor collections=70688  major collections=43 compactions=0


runtime: 00:01:00.284
vars: 20898, evals: 203671

|rho|=20898
|stable|=13578
|infl|=20880
|wpoint|=158
|sides|=743
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19609
|called|=20
Found 437 contexts for 22 functions. Top 5 functions:
97	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
31	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=178104.07MB, max=176.85MB, minor=178096.81MB, major=1259.33MB, promoted=1252.08MB
    minor collections=84948  major collections=46 compactions=0


runtime: 00:01:10.295
vars: 22054, evals: 229463

|rho|=22054
|stable|=13841
|infl|=22029
|wpoint|=176
|sides|=764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20726
|called|=31
Found 455 contexts for 22 functions. Top 5 functions:
115	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
31	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=207866.41MB, max=176.85MB, minor=207858.70MB, major=1445.48MB, promoted=1437.76MB
    minor collections=99142  major collections=50 compactions=0


runtime: 00:01:20.310
vars: 23071, evals: 253731

|rho|=23071
|stable|=14599
|infl|=23057
|wpoint|=195
|sides|=787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21701
|called|=20
Found 474 contexts for 22 functions. Top 5 functions:
133	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
32	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=237310.60MB, max=203.38MB, minor=237302.37MB, major=1627.55MB, promoted=1619.31MB
    minor collections=113183  major collections=53 compactions=0


runtime: 00:01:30.328
vars: 23883, evals: 275486

|rho|=23883
|stable|=15764
|infl|=23869
|wpoint|=213
|sides|=810
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22471
|called|=23
Found 493 contexts for 22 functions. Top 5 functions:
151	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
33	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=265895.17MB, max=203.38MB, minor=265886.35MB, major=1801.53MB, promoted=1792.71MB
    minor collections=126815  major collections=56 compactions=0


runtime: 00:01:40.343
vars: 25205, evals: 302038

|rho|=25205
|stable|=18464
|infl|=25201
|wpoint|=212
|sides|=812
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23772
|called|=23
Found 494 contexts for 22 functions. Top 5 functions:
151	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
34	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=294166.95MB, max=203.38MB, minor=294157.76MB, major=1980.31MB, promoted=1971.13MB
    minor collections=140298  major collections=59 compactions=0


runtime: 00:01:50.358
vars: 26353, evals: 326868

|rho|=26353
|stable|=14152
|infl|=26335
|wpoint|=232
|sides|=833
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24899
|called|=28
Found 512 contexts for 22 functions. Top 5 functions:
169	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
34	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=322706.78MB, max=233.89MB, minor=322697.18MB, major=2158.76MB, promoted=2149.15MB
    minor collections=153909  major collections=62 compactions=0


runtime: 00:02:00.373
vars: 26772, evals: 344860

|rho|=26772
|stable|=16402
|infl|=26754
|wpoint|=248
|sides|=856
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25276
|called|=27
Found 531 contexts for 22 functions. Top 5 functions:
187	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
35	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=350394.81MB, max=233.89MB, minor=350384.51MB, major=2322.42MB, promoted=2312.12MB
    minor collections=167112  major collections=64 compactions=0


runtime: 00:02:10.384
vars: 28045, evals: 370794

|rho|=28045
|stable|=18765
|infl|=28041
|wpoint|=248
|sides|=858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26528
|called|=35
Found 532 contexts for 22 functions. Top 5 functions:
187	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
36	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=378162.21MB, max=233.89MB, minor=378151.55MB, major=2498.06MB, promoted=2487.39MB
    minor collections=180354  major collections=67 compactions=0


runtime: 00:02:20.400
vars: 28826, evals: 391983

|rho|=28826
|stable|=15409
|infl|=28814
|wpoint|=268
|sides|=879
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27288
|called|=25
Found 550 contexts for 22 functions. Top 5 functions:
205	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
36	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=405802.27MB, max=233.89MB, minor=405791.06MB, major=2665.56MB, promoted=2654.35MB
    minor collections=193535  major collections=69 compactions=0


runtime: 00:02:30.415
vars: 29464, evals: 411444

|rho|=29464
|stable|=23184
|infl|=29461
|wpoint|=267
|sides|=881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27905
|called|=30
Found 551 contexts for 22 functions. Top 5 functions:
205	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
37	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=432104.29MB, max=233.89MB, minor=432092.55MB, major=2824.96MB, promoted=2813.23MB
    minor collections=206078  major collections=71 compactions=0


runtime: 00:02:40.434
vars: 29551, evals: 425159

|rho|=29551
|stable|=23294
|infl|=29548
|wpoint|=267
|sides|=883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27988
|called|=33
Found 553 contexts for 22 functions. Top 5 functions:
206	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
48	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
38	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=458306.03MB, max=268.97MB, minor=458293.85MB, major=2975.77MB, promoted=2963.59MB
    minor collections=218573  major collections=73 compactions=0


runtime: 00:02:50.453
vars: 33626, evals: 442966

|rho|=33626
|stable|=17765
|infl|=33565
|wpoint|=284
|sides|=1321
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31317
|called|=66
Found 770 contexts for 47 functions. Top 5 functions:
208	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
67	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
48	contexts for L:entry state of strcasechr (701) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:723:1-743:1
42	contexts for L:entry state of choices_reset_search (3307) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1584:1-1596:1

Memory statistics: total=484986.81MB, max=268.97MB, minor=484973.25MB, major=3160.03MB, promoted=3146.46MB
    minor collections=231296  major collections=75 compactions=0


runtime: 00:03:00.484
vars: 41036, evals: 467374

|rho|=41036
|stable|=23814
|infl|=40993
|wpoint|=304
|sides|=1714
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38007
|called|=60
Found 1076 contexts for 57 functions. Top 5 functions:
210	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
125	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
113	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1
63	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1

Memory statistics: total=510380.34MB, max=309.31MB, minor=510365.69MB, major=3383.62MB, promoted=3368.97MB
    minor collections=243406  major collections=78 compactions=0


runtime: 00:03:10.539
vars: 48114, evals: 488259

|rho|=48114
|stable|=30641
|infl|=48079
|wpoint|=328
|sides|=2089
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44371
|called|=46
Found 1410 contexts for 59 functions. Top 5 functions:
213	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
211	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
157	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
80	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
64	contexts for L:entry state of cmpchoice (3304) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1471:1-1492:1

Memory statistics: total=534459.56MB, max=355.71MB, minor=534444.27MB, major=3591.12MB, promoted=3575.83MB
    minor collections=254889  major collections=80 compactions=0


runtime: 00:03:20.574
vars: 54520, evals: 508388

|rho|=54520
|stable|=36998
|infl|=54498
|wpoint|=344
|sides|=2396
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50204
|called|=38
Found 1664 contexts for 65 functions. Top 5 functions:
289	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
212	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
198	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
96	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
76	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=558804.49MB, max=409.07MB, minor=558788.04MB, major=3791.03MB, promoted=3774.57MB
    minor collections=266498  major collections=81 compactions=0


runtime: 00:03:30.613
vars: 60580, evals: 527166

|rho|=60580
|stable|=43012
|infl|=60558
|wpoint|=361
|sides|=2646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55763
|called|=37
Found 1914 contexts for 67 functions. Top 5 functions:
365	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
238	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
213	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
112	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
96	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=583143.39MB, max=470.43MB, minor=583126.23MB, major=3983.15MB, promoted=3965.99MB
    minor collections=278105  major collections=83 compactions=0


runtime: 00:03:40.632
vars: 66495, evals: 544643

|rho|=66495
|stable|=48868
|infl|=66450
|wpoint|=375
|sides|=2954
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61133
|called|=50
Found 2138 contexts for 72 functions. Top 5 functions:
429	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
277	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
214	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
127	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
111	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=606640.66MB, max=470.43MB, minor=606620.63MB, major=4169.10MB, promoted=4149.07MB
    minor collections=289308  major collections=84 compactions=0


runtime: 00:03:50.666
vars: 71675, evals: 560414

|rho|=71675
|stable|=54070
|infl|=71654
|wpoint|=393
|sides|=3189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65839
|called|=25
Found 2373 contexts for 72 functions. Top 5 functions:
508	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
308	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
214	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
142	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
131	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=629909.02MB, max=541.00MB, minor=629887.22MB, major=4339.67MB, promoted=4317.87MB
    minor collections=300403  major collections=85 compactions=0


runtime: 00:04:00.737
vars: 72154, evals: 577135

|rho|=72154
|stable|=40873
|infl|=72149
|wpoint|=397
|sides|=3256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66190
|called|=22
Found 2416 contexts for 74 functions. Top 5 functions:
520	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
308	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
214	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
146	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
131	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=653534.21MB, max=541.00MB, minor=653511.61MB, major=4489.77MB, promoted=4467.17MB
    minor collections=311669  major collections=86 compactions=0


runtime: 00:04:10.776
vars: 73064, evals: 593812

|rho|=73064
|stable|=56563
|infl|=73030
|wpoint|=399
|sides|=3284
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67052
|called|=85
Found 2442 contexts for 74 functions. Top 5 functions:
525	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
317	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
214	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
147	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
131	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=677265.30MB, max=622.15MB, minor=677242.43MB, major=4637.12MB, promoted=4614.24MB
    minor collections=322985  major collections=86 compactions=0


runtime: 00:04:20.803
vars: 79004, evals: 611033

|rho|=79004
|stable|=62377
|infl|=78968
|wpoint|=420
|sides|=3576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72413
|called|=86
Found 2731 contexts for 74 functions. Top 5 functions:
618	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
353	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
215	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
164	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
156	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=701138.93MB, max=622.15MB, minor=701115.17MB, major=4818.41MB, promoted=4794.65MB
    minor collections=334369  major collections=87 compactions=0


runtime: 00:04:30.826
vars: 83555, evals: 625082

|rho|=83555
|stable|=67103
|infl|=83528
|wpoint|=432
|sides|=3754
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76607
|called|=72
Found 2909 contexts for 74 functions. Top 5 functions:
675	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
384	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
215	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
176	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
171	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=724300.67MB, max=622.15MB, minor=724275.28MB, major=4978.63MB, promoted=4953.24MB
    minor collections=345414  major collections=88 compactions=0


runtime: 00:04:40.841
vars: 88142, evals: 639085

|rho|=88142
|stable|=71546
|infl|=88111
|wpoint|=445
|sides|=3948
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80807
|called|=90
Found 3103 contexts for 74 functions. Top 5 functions:
732	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
414	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
216	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
196	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
186	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=747168.28MB, max=715.47MB, minor=747142.16MB, major=5134.59MB, promoted=5108.46MB
    minor collections=356318  major collections=89 compactions=0


runtime: 00:04:50.868
vars: 92381, evals: 652119

|rho|=92381
|stable|=75729
|infl|=92338
|wpoint|=460
|sides|=4145
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=84654
|called|=96
Found 3300 contexts for 74 functions. Top 5 functions:
777	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
440	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
217	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
207	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
196	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=770466.71MB, max=715.47MB, minor=770440.03MB, major=5291.60MB, promoted=5264.93MB
    minor collections=367428  major collections=90 compactions=0


runtime: 00:05:00.883
vars: 96418, evals: 665165

|rho|=96418
|stable|=79585
|infl|=96388
|wpoint|=473
|sides|=4354
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88304
|called|=94
Found 3473 contexts for 74 functions. Top 5 functions:
829	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
464	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
218	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
218	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
211	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=793113.65MB, max=715.47MB, minor=793086.34MB, major=5439.15MB, promoted=5411.84MB
    minor collections=378227  major collections=90 compactions=0


runtime: 00:05:10.914
vars: 100540, evals: 677540

|rho|=100540
|stable|=83729
|infl|=100513
|wpoint|=484
|sides|=4517
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92103
|called|=73
Found 3636 contexts for 74 functions. Top 5 functions:
880	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
493	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
227	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
225	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
218	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=815469.35MB, max=822.80MB, minor=815441.11MB, major=5585.98MB, promoted=5557.74MB
    minor collections=388887  major collections=91 compactions=0


runtime: 00:05:20.934
vars: 104235, evals: 689571

|rho|=104235
|stable|=87391
|infl|=104191
|wpoint|=493
|sides|=4679
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95476
|called|=88
Found 3798 contexts for 74 functions. Top 5 functions:
929	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
514	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
239	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
236	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
219	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=837612.43MB, max=822.80MB, minor=837583.70MB, major=5723.53MB, promoted=5694.81MB
    minor collections=399446  major collections=92 compactions=0


runtime: 00:05:30.969
vars: 108182, evals: 700895

|rho|=108182
|stable|=91338
|infl|=108147
|wpoint|=505
|sides|=4836
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99107
|called|=79
Found 3955 contexts for 74 functions. Top 5 functions:
979	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
543	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
251	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
248	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
219	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=859579.91MB, max=822.80MB, minor=859550.16MB, major=5864.93MB, promoted=5835.18MB
    minor collections=409921  major collections=92 compactions=0


runtime: 00:05:40.979
vars: 111642, evals: 712695

|rho|=111642
|stable|=94718
|infl|=111615
|wpoint|=516
|sides|=4975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102288
|called|=81
Found 4094 contexts for 74 functions. Top 5 functions:
1017	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
564	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
261	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
258	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
220	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=881988.84MB, max=822.80MB, minor=881958.57MB, major=6001.79MB, promoted=5971.53MB
    minor collections=420607  major collections=93 compactions=0


runtime: 00:05:51.019
vars: 115243, evals: 723153

|rho|=115243
|stable|=98792
|infl|=115236
|wpoint|=526
|sides|=5158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105517
|called|=63
Found 4277 contexts for 74 functions. Top 5 functions:
1077	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
584	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
270	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
220	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=904310.05MB, max=946.22MB, minor=904278.70MB, major=6136.84MB, promoted=6105.48MB
    minor collections=431250  major collections=93 compactions=0


runtime: 00:06:01.029
vars: 116893, evals: 737732

|rho|=116893
|stable|=99185
|infl|=116870
|wpoint|=530
|sides|=5237
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107012
|called|=77
Found 4356 contexts for 74 functions. Top 5 functions:
1087	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
584	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
272	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
225	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=928471.23MB, max=946.22MB, minor=928439.49MB, major=6275.50MB, promoted=6243.76MB
    minor collections=442772  major collections=94 compactions=0


runtime: 00:06:11.052
vars: 118422, evals: 750913

|rho|=118422
|stable|=100469
|infl|=118400
|wpoint|=537
|sides|=5303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108409
|called|=70
Found 4422 contexts for 74 functions. Top 5 functions:
1096	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
584	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
275	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
229	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=951981.91MB, max=946.22MB, minor=951949.75MB, major=6405.53MB, promoted=6373.37MB
    minor collections=453982  major collections=94 compactions=0


runtime: 00:06:21.063
vars: 120292, evals: 765556

|rho|=120292
|stable|=101932
|infl|=120268
|wpoint|=543
|sides|=5389
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110107
|called|=80
Found 4508 contexts for 74 functions. Top 5 functions:
1106	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
584	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
278	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
234	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=976055.56MB, max=946.22MB, minor=976023.17MB, major=6539.41MB, promoted=6507.02MB
    minor collections=465462  major collections=94 compactions=0


runtime: 00:06:31.074
vars: 121901, evals: 779091

|rho|=121901
|stable|=103840
|infl|=121896
|wpoint|=546
|sides|=5450
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111587
|called|=54
Found 4569 contexts for 74 functions. Top 5 functions:
1110	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
584	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
279	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
238	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=998968.72MB, max=946.22MB, minor=998935.93MB, major=6666.44MB, promoted=6633.64MB
    minor collections=476388  major collections=95 compactions=0


runtime: 00:06:41.097
vars: 124617, evals: 789140

|rho|=124617
|stable|=106037
|infl|=124596
|wpoint|=556
|sides|=5562
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114089
|called|=65
Found 4680 contexts for 74 functions. Top 5 functions:
1142	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
603	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
284	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
280	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
239	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1021874.23MB, max=946.22MB, minor=1021841.03MB, major=6802.84MB, promoted=6769.64MB
    minor collections=487310  major collections=95 compactions=0


runtime: 00:06:51.112
vars: 127844, evals: 799077

|rho|=127844
|stable|=109158
|infl|=127827
|wpoint|=563
|sides|=5692
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117055
|called|=72
Found 4810 contexts for 74 functions. Top 5 functions:
1184	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
624	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
294	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
291	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
239	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1043423.97MB, max=946.22MB, minor=1043390.00MB, major=6928.39MB, promoted=6894.43MB
    minor collections=497586  major collections=96 compactions=0


runtime: 00:07:01.123
vars: 128581, evals: 808803

|rho|=128581
|stable|=112128
|infl|=128576
|wpoint|=564
|sides|=5719
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117730
|called|=62
Found 4837 contexts for 74 functions. Top 5 functions:
1189	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
624	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
295	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
291	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
242	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1067049.24MB, max=946.22MB, minor=1067015.05MB, major=7047.04MB, promoted=7012.85MB
    minor collections=508852  major collections=96 compactions=0


runtime: 00:07:11.134
vars: 133289, evals: 820653

|rho|=133289
|stable|=116834
|infl|=133255
|wpoint|=577
|sides|=5917
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122049
|called|=86
Found 5035 contexts for 74 functions. Top 5 functions:
1251	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
657	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
308	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
306	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
244	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1089209.45MB, max=946.22MB, minor=1089170.13MB, major=7196.47MB, promoted=7157.16MB
    minor collections=519418  major collections=97 compactions=0


runtime: 00:07:21.161
vars: 134526, evals: 832551

|rho|=134526
|stable|=115371
|infl|=134515
|wpoint|=582
|sides|=5985
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123148
|called|=43
Found 5103 contexts for 74 functions. Top 5 functions:
1268	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
248	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1111799.82MB, max=1088.15MB, minor=1111759.97MB, major=7316.41MB, promoted=7276.55MB
    minor collections=530190  major collections=97 compactions=0


runtime: 00:07:31.172
vars: 136031, evals: 845328

|rho|=136031
|stable|=116559
|infl|=136014
|wpoint|=585
|sides|=6043
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124538
|called|=22
Found 5161 contexts for 74 functions. Top 5 functions:
1273	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
248	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1135204.56MB, max=1088.15MB, minor=1135164.43MB, major=7445.26MB, promoted=7405.14MB
    minor collections=541350  major collections=97 compactions=0


runtime: 00:07:41.183
vars: 137430, evals: 859244

|rho|=137430
|stable|=116396
|infl|=137417
|wpoint|=585
|sides|=6097
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125830
|called|=27
Found 5215 contexts for 74 functions. Top 5 functions:
1278	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
253	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1158133.76MB, max=1088.15MB, minor=1158093.28MB, major=7571.52MB, promoted=7531.03MB
    minor collections=552284  major collections=98 compactions=0


runtime: 00:07:51.218
vars: 139098, evals: 873335

|rho|=139098
|stable|=117415
|infl|=139072
|wpoint|=587
|sides|=6159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127375
|called|=37
Found 5277 contexts for 74 functions. Top 5 functions:
1283	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
258	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1181762.37MB, max=1088.15MB, minor=1181721.61MB, major=7702.63MB, promoted=7661.86MB
    minor collections=563551  major collections=98 compactions=0


runtime: 00:08:01.229
vars: 140686, evals: 887514

|rho|=140686
|stable|=118153
|infl|=140659
|wpoint|=590
|sides|=6218
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128845
|called|=37
Found 5336 contexts for 74 functions. Top 5 functions:
1289	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
263	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1205250.33MB, max=1088.15MB, minor=1205209.29MB, major=7829.89MB, promoted=7788.84MB
    minor collections=574752  major collections=99 compactions=0


runtime: 00:08:11.236
vars: 142077, evals: 899421

|rho|=142077
|stable|=120322
|infl|=142072
|wpoint|=592
|sides|=6271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130122
|called|=67
Found 5389 contexts for 74 functions. Top 5 functions:
1293	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
266	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1227692.72MB, max=1088.15MB, minor=1227651.22MB, major=7950.08MB, promoted=7908.58MB
    minor collections=585453  major collections=99 compactions=0


runtime: 00:08:21.255
vars: 142180, evals: 906510

|rho|=142180
|stable|=125681
|infl|=142163
|wpoint|=595
|sides|=6274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130222
|called|=61
Found 5392 contexts for 74 functions. Top 5 functions:
1293	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
660	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
311	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
311	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
266	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1251946.39MB, max=1088.15MB, minor=1251904.70MB, major=8075.76MB, promoted=8034.07MB
    minor collections=597018  major collections=99 compactions=0


runtime: 00:08:31.270
vars: 146003, evals: 921446

|rho|=146003
|stable|=124890
|infl|=145954
|wpoint|=603
|sides|=6435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=133731
|called|=50
Found 5553 contexts for 74 functions. Top 5 functions:
1341	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
680	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
321	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
320	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
267	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1275657.92MB, max=1088.15MB, minor=1275613.19MB, major=8237.45MB, promoted=8192.72MB
    minor collections=608324  major collections=100 compactions=0


runtime: 00:08:41.285
vars: 151496, evals: 937401

|rho|=151496
|stable|=130258
|infl|=151460
|wpoint|=619
|sides|=6651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138789
|called|=43
Found 5769 contexts for 74 functions. Top 5 functions:
1410	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
720	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
341	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
333	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
272	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1299071.66MB, max=1088.15MB, minor=1299026.04MB, major=8413.03MB, promoted=8367.40MB
    minor collections=619489  major collections=100 compactions=0


runtime: 00:08:51.303
vars: 156122, evals: 952087

|rho|=156122
|stable|=134870
|infl|=156090
|wpoint|=631
|sides|=6845
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143027
|called|=33
Found 5963 contexts for 74 functions. Top 5 functions:
1467	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
750	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
356	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
353	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
284	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1321653.81MB, max=1088.15MB, minor=1321604.87MB, major=8573.78MB, promoted=8524.85MB
    minor collections=630256  major collections=101 compactions=0


runtime: 00:09:01.314
vars: 160831, evals: 966015

|rho|=160831
|stable|=139515
|infl|=160802
|wpoint|=643
|sides|=7076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147274
|called|=40
Found 6194 contexts for 74 functions. Top 5 functions:
1520	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
779	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
370	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
364	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
296	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1344270.18MB, max=1251.38MB, minor=1344220.19MB, major=8731.05MB, promoted=8681.07MB
    minor collections=641040  major collections=101 compactions=0


runtime: 00:09:11.325
vars: 165111, evals: 979769

|rho|=165111
|stable|=143670
|infl|=165065
|wpoint|=656
|sides|=7247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151214
|called|=51
Found 6365 contexts for 74 functions. Top 5 functions:
1569	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
805	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
381	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
376	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
304	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1366948.17MB, max=1251.38MB, minor=1366897.35MB, major=8881.14MB, promoted=8830.32MB
    minor collections=651854  major collections=102 compactions=0


runtime: 00:09:21.372
vars: 168831, evals: 991391

|rho|=168831
|stable|=147332
|infl|=168808
|wpoint|=667
|sides|=7400
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154625
|called|=36
Found 6518 contexts for 74 functions. Top 5 functions:
1619	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
830	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
396	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
386	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
316	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1388192.02MB, max=1251.38MB, minor=1388139.66MB, major=9018.08MB, promoted=8965.72MB
    minor collections=661983  major collections=102 compactions=0


runtime: 00:09:31.403
vars: 173346, evals: 1005058

|rho|=173346
|stable|=151713
|infl|=173310
|wpoint|=681
|sides|=7590
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158762
|called|=54
Found 6708 contexts for 74 functions. Top 5 functions:
1676	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
860	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
411	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
397	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
328	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1410445.12MB, max=1251.38MB, minor=1410392.27MB, major=9170.63MB, promoted=9117.78MB
    minor collections=672594  major collections=102 compactions=0


runtime: 00:09:41.414
vars: 177258, evals: 1017535

|rho|=177258
|stable|=155686
|infl|=177206
|wpoint|=688
|sides|=7748
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162359
|called|=62
Found 6866 contexts for 74 functions. Top 5 functions:
1721	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
882	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
421	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
408	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
336	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1432659.40MB, max=1251.38MB, minor=1432605.56MB, major=9310.54MB, promoted=9256.70MB
    minor collections=683187  major collections=103 compactions=0


runtime: 00:09:51.457
vars: 180861, evals: 1028097

|rho|=180861
|stable|=159281
|infl|=180828
|wpoint|=696
|sides|=7892
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165672
|called|=43
Found 7010 contexts for 74 functions. Top 5 functions:
1767	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
909	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
435	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
416	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
348	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1453555.13MB, max=1439.09MB, minor=1453499.64MB, major=9442.27MB, promoted=9386.78MB
    minor collections=693150  major collections=103 compactions=0


runtime: 00:10:01.496
vars: 184567, evals: 1039557

|rho|=184567
|stable|=163381
|infl|=184552
|wpoint|=714
|sides|=8088
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168982
|called|=70
Found 7206 contexts for 74 functions. Top 5 functions:
1829	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
929	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
446	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
430	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
356	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1475839.19MB, max=1439.09MB, minor=1475783.33MB, major=9581.32MB, promoted=9525.46MB
    minor collections=703776  major collections=103 compactions=0


runtime: 00:10:11.511
vars: 188766, evals: 1051244

|rho|=188766
|stable|=168211
|infl|=188749
|wpoint|=729
|sides|=8281
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172797
|called|=64
Found 7399 contexts for 74 functions. Top 5 functions:
1891	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
956	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
461	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
443	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
368	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1497944.53MB, max=1439.09MB, minor=1497887.36MB, major=9723.96MB, promoted=9666.79MB
    minor collections=714317  major collections=104 compactions=0


runtime: 00:10:21.538
vars: 191903, evals: 1062269

|rho|=191903
|stable|=170224
|infl|=191866
|wpoint|=738
|sides|=8417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175665
|called|=81
Found 7535 contexts for 74 functions. Top 5 functions:
1930	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
975	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
471	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
451	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
376	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1518848.98MB, max=1439.09MB, minor=1518790.33MB, major=9847.20MB, promoted=9788.56MB
    minor collections=724284  major collections=104 compactions=0


runtime: 00:10:31.573
vars: 194161, evals: 1072616

|rho|=194161
|stable|=172325
|infl|=194150
|wpoint|=745
|sides|=8506
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177741
|called|=59
Found 7624 contexts for 74 functions. Top 5 functions:
1953	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
986	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
476	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
457	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
380	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1540254.66MB, max=1439.09MB, minor=1540195.60MB, major=9965.62MB, promoted=9906.56MB
    minor collections=734492  major collections=104 compactions=0


runtime: 00:10:41.588
vars: 197179, evals: 1083508

|rho|=197179
|stable|=175173
|infl|=197149
|wpoint|=751
|sides|=8628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180519
|called|=81
Found 7746 contexts for 74 functions. Top 5 functions:
1986	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1005	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
485	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
462	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
388	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1561725.37MB, max=1439.09MB, minor=1561665.64MB, major=10090.41MB, promoted=10030.68MB
    minor collections=744729  major collections=104 compactions=0


runtime: 00:10:51.603
vars: 199365, evals: 1092266

|rho|=199365
|stable|=177284
|infl|=199338
|wpoint|=762
|sides|=8716
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182528
|called|=82
Found 7834 contexts for 74 functions. Top 5 functions:
2010	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1016	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
491	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
469	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
392	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1582145.03MB, max=1439.09MB, minor=1582084.40MB, major=10196.15MB, promoted=10135.51MB
    minor collections=754467  major collections=105 compactions=0


runtime: 00:11:01.638
vars: 201672, evals: 1101957

|rho|=201672
|stable|=179494
|infl|=201658
|wpoint|=770
|sides|=8827
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184611
|called|=69
Found 7945 contexts for 74 functions. Top 5 functions:
2043	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1026	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
496	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
474	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
396	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1603404.65MB, max=1439.09MB, minor=1603343.23MB, major=10311.52MB, promoted=10250.10MB
    minor collections=764604  major collections=105 compactions=0


runtime: 00:11:11.705
vars: 204629, evals: 1113042

|rho|=204629
|stable|=182263
|infl|=204589
|wpoint|=778
|sides|=8944
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187338
|called|=94
Found 8062 contexts for 74 functions. Top 5 functions:
2068	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1045	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
501	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
483	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
400	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1625028.44MB, max=1654.95MB, minor=1624966.33MB, major=10441.45MB, promoted=10379.34MB
    minor collections=774915  major collections=105 compactions=0


runtime: 00:11:21.720
vars: 207001, evals: 1122982

|rho|=207001
|stable|=184483
|infl|=206980
|wpoint|=787
|sides|=9055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189486
|called|=73
Found 8173 contexts for 74 functions. Top 5 functions:
2100	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1056	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
511	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
490	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
408	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1646382.56MB, max=1654.95MB, minor=1646319.78MB, major=10555.78MB, promoted=10492.99MB
    minor collections=785097  major collections=105 compactions=0


runtime: 00:11:31.731
vars: 209457, evals: 1132916

|rho|=209457
|stable|=186861
|infl|=209404
|wpoint|=792
|sides|=9161
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191733
|called|=97
Found 8279 contexts for 74 functions. Top 5 functions:
2128	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1066	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
516	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
495	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
412	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1667832.71MB, max=1654.95MB, minor=1667768.93MB, major=10668.21MB, promoted=10604.42MB
    minor collections=795325  major collections=106 compactions=0


runtime: 00:11:41.743
vars: 211394, evals: 1141433

|rho|=211394
|stable|=188669
|infl|=211366
|wpoint|=801
|sides|=9252
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193485
|called|=78
Found 8370 contexts for 74 functions. Top 5 functions:
2153	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1076	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
521	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
500	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
416	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1688734.92MB, max=1654.95MB, minor=1688670.13MB, major=10778.01MB, promoted=10713.22MB
    minor collections=805292  major collections=106 compactions=0


runtime: 00:11:51.814
vars: 214471, evals: 1151938

|rho|=214471
|stable|=191606
|infl|=214438
|wpoint|=808
|sides|=9379
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196309
|called|=77
Found 8497 contexts for 74 functions. Top 5 functions:
2190	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1096	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
531	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
510	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
424	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1709721.13MB, max=1654.95MB, minor=1709655.57MB, major=10902.01MB, promoted=10836.45MB
    minor collections=815299  major collections=106 compactions=0


runtime: 00:12:01.825
vars: 216533, evals: 1160830

|rho|=216533
|stable|=193435
|infl|=216509
|wpoint|=813
|sides|=9473
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198182
|called|=83
Found 8591 contexts for 74 functions. Top 5 functions:
2213	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1106	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
536	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
516	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
428	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1731279.35MB, max=1654.95MB, minor=1731213.31MB, major=11016.43MB, promoted=10950.39MB
    minor collections=825579  major collections=106 compactions=0


runtime: 00:12:11.836
vars: 218666, evals: 1170962

|rho|=218666
|stable|=195549
|infl|=218639
|wpoint|=818
|sides|=9563
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200135
|called|=71
Found 8681 contexts for 74 functions. Top 5 functions:
2233	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1116	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
541	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
520	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
432	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1752569.79MB, max=1654.95MB, minor=1752502.97MB, major=11129.06MB, promoted=11062.24MB
    minor collections=835731  major collections=107 compactions=0


runtime: 00:12:21.847
vars: 221440, evals: 1180115

|rho|=221440
|stable|=198255
|infl|=221392
|wpoint|=824
|sides|=9660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202718
|called|=108
Found 8778 contexts for 74 functions. Top 5 functions:
2258	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1135	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
546	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
525	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
436	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1773189.61MB, max=1654.95MB, minor=1773121.50MB, major=11243.76MB, promoted=11175.64MB
    minor collections=845563  major collections=107 compactions=0


runtime: 00:12:31.878
vars: 223069, evals: 1187919

|rho|=223069
|stable|=199757
|infl|=223030
|wpoint|=831
|sides|=9755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204155
|called|=85
Found 8873 contexts for 74 functions. Top 5 functions:
2288	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1136	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
551	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
531	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
440	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1793951.96MB, max=1654.95MB, minor=1793882.97MB, major=11346.40MB, promoted=11277.41MB
    minor collections=855463  major collections=107 compactions=0


runtime: 00:12:41.897
vars: 225750, evals: 1197796

|rho|=225750
|stable|=202345
|infl|=225728
|wpoint|=839
|sides|=9865
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206614
|called|=74
Found 8983 contexts for 74 functions. Top 5 functions:
2319	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1156	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
561	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
542	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
448	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1814828.60MB, max=1654.95MB, minor=1814759.19MB, major=11465.07MB, promoted=11395.67MB
    minor collections=865418  major collections=107 compactions=0


runtime: 00:12:51.912
vars: 227881, evals: 1206965

|rho|=227881
|stable|=204163
|infl|=227855
|wpoint|=846
|sides|=9965
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208546
|called|=89
Found 9083 contexts for 74 functions. Top 5 functions:
2340	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1166	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
566	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
546	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
452	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1836407.98MB, max=1654.95MB, minor=1836337.97MB, major=11582.24MB, promoted=11512.23MB
    minor collections=875707  major collections=107 compactions=0


runtime: 00:13:01.931
vars: 230569, evals: 1215936

|rho|=230569
|stable|=206865
|infl|=230531
|wpoint|=848
|sides|=10072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211023
|called|=82
Found 9190 contexts for 74 functions. Top 5 functions:
2371	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1185	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
574	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
551	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
459	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1856919.92MB, max=1654.95MB, minor=1856848.67MB, major=11697.39MB, promoted=11626.15MB
    minor collections=885488  major collections=108 compactions=0


runtime: 00:13:11.942
vars: 232658, evals: 1223920

|rho|=232658
|stable|=208821
|infl|=232627
|wpoint|=856
|sides|=10158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212937
|called|=78
Found 9276 contexts for 74 functions. Top 5 functions:
2395	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1196	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
581	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
556	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
464	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1877087.91MB, max=1654.95MB, minor=1877015.47MB, major=11798.95MB, promoted=11726.51MB
    minor collections=895105  major collections=108 compactions=0


runtime: 00:13:22.021
vars: 233164, evals: 1230151

|rho|=233164
|stable|=209383
|infl|=233157
|wpoint|=860
|sides|=10195
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213367
|called|=62
Found 9313 contexts for 74 functions. Top 5 functions:
2402	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1196	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
581	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
560	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
464	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1899232.39MB, max=1903.19MB, minor=1899159.27MB, major=11908.93MB, promoted=11835.81MB
    minor collections=905664  major collections=108 compactions=0


runtime: 00:13:32.032
vars: 235981, evals: 1239427

|rho|=235981
|stable|=212182
|infl|=235957
|wpoint|=865
|sides|=10303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215969
|called|=74
Found 9421 contexts for 74 functions. Top 5 functions:
2435	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1215	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
590	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
565	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
472	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1919962.70MB, max=1903.19MB, minor=1919889.27MB, major=12023.50MB, promoted=11950.07MB
    minor collections=915549  major collections=108 compactions=0


runtime: 00:13:42.043
vars: 237969, evals: 1248016

|rho|=237969
|stable|=214103
|infl|=237954
|wpoint|=874
|sides|=10383
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217796
|called|=70
Found 9501 contexts for 74 functions. Top 5 functions:
2459	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1226	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
596	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
572	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
476	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1940809.94MB, max=1903.19MB, minor=1940736.16MB, major=12127.05MB, promoted=12053.27MB
    minor collections=925490  major collections=108 compactions=0


runtime: 00:13:52.061
vars: 239738, evals: 1255879

|rho|=239738
|stable|=216685
|infl|=239733
|wpoint|=877
|sides|=10454
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219417
|called|=54
Found 9572 contexts for 74 functions. Top 5 functions:
2481	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1236	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
601	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
576	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
480	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1961891.77MB, max=1903.19MB, minor=1961817.41MB, major=12231.91MB, promoted=12157.55MB
    minor collections=935543  major collections=109 compactions=0


runtime: 00:14:02.072
vars: 241558, evals: 1262216

|rho|=241558
|stable|=220542
|infl|=241520
|wpoint|=881
|sides|=10533
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221086
|called|=75
Found 9651 contexts for 74 functions. Top 5 functions:
2505	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1246	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
606	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
581	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
484	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1983456.99MB, max=1903.19MB, minor=1983381.92MB, major=12342.82MB, promoted=12267.75MB
    minor collections=945826  major collections=109 compactions=0


runtime: 00:14:12.123
vars: 244833, evals: 1270933

|rho|=244833
|stable|=223816
|infl|=244807
|wpoint|=888
|sides|=10674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224077
|called|=62
Found 9792 contexts for 74 functions. Top 5 functions:
2551	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1272	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
620	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
589	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
496	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=2003725.69MB, max=1903.19MB, minor=2003649.23MB, major=12461.53MB, promoted=12385.07MB
    minor collections=955490  major collections=109 compactions=0


runtime: 00:14:22.134
vars: 245336, evals: 1279812

|rho|=245336
|stable|=221050
|infl|=245311
|wpoint|=895
|sides|=10711
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224508
|called|=34
Found 9829 contexts for 74 functions. Top 5 functions:
2559	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1272	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
621	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
592	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
496	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=2025171.82MB, max=1903.19MB, minor=2025095.27MB, major=12559.34MB, promoted=12482.80MB
    minor collections=965717  major collections=109 compactions=0


runtime: 00:14:32.145
vars: 246509, evals: 1291004

|rho|=246509
|stable|=221490
|infl|=246486
|wpoint|=895
|sides|=10756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225591
|called|=33
Found 9874 contexts for 74 functions. Top 5 functions:
2563	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1272	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
621	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
592	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
496	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=2046282.66MB, max=1903.19MB, minor=2046205.86MB, major=12666.95MB, promoted=12590.14MB
    minor collections=975783  major collections=109 compactions=0


runtime: 00:14:42.156
vars: 247659, evals: 1300807

|rho|=247659
|stable|=222266
|infl|=247647
|wpoint|=897
|sides|=10796
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226659
|called|=13
Found 9914 contexts for 74 functions. Top 5 functions:
2567	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1272	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
621	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
592	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
496	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=2066917.93MB, max=1903.19MB, minor=2066840.70MB, major=12768.03MB, promoted=12690.80MB
    minor collections=985623  major collections=110 compactions=0


runtime: 00:14:52.172
vars: 248862, evals: 1310916

|rho|=248862
|stable|=222831
|infl|=248826
|wpoint|=898
|sides|=10842
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227773
|called|=42
Found 9960 contexts for 74 functions. Top 5 functions:
2570	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1272	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
621	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
592	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
496	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=2087727.19MB, max=1903.19MB, minor=2087649.43MB, major=12872.24MB, promoted=12794.48MB
    minor collections=995546  major collections=110 compactions=0

