./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.154
vars: 10196, evals: 48347

|rho|=10196
|stable|=9811
|infl|=10174
|wpoint|=53
|sides|=531
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=9287
|called|=26
Found 255 contexts for 22 functions. Top 5 functions:
48	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=29642.28MB, max=87.92MB, minor=29637.51MB, major=273.48MB, promoted=268.71MB
    minor collections=14143  major collections=22 compactions=0


runtime: 00:00:20.177
vars: 14506, evals: 87272

|rho|=14506
|stable|=13073
|infl|=14492
|wpoint|=87
|sides|=644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13398
|called|=29
Found 355 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=59398.42MB, max=116.28MB, minor=59393.40MB, major=493.56MB, promoted=488.54MB
    minor collections=28335  major collections=29 compactions=0


runtime: 00:00:30.188
vars: 16400, evals: 119049

|rho|=16400
|stable|=13250
|infl|=16382
|wpoint|=105
|sides|=672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15240
|called|=45
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=89725.53MB, max=133.72MB, minor=89720.06MB, major=692.74MB, promoted=687.27MB
    minor collections=42799  major collections=34 compactions=0


runtime: 00:00:40.203
vars: 18105, evals: 149358

|rho|=18105
|stable|=13667
|infl|=18101
|wpoint|=122
|sides|=697
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16882
|called|=29
Found 399 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
29	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=120301.97MB, max=153.78MB, minor=120295.69MB, major=890.55MB, promoted=884.27MB
    minor collections=57382  major collections=39 compactions=0


runtime: 00:00:50.222
vars: 19525, evals: 177374

|rho|=19525
|stable|=14787
|infl|=19521
|wpoint|=140
|sides|=720
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18260
|called|=29
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=150341.87MB, max=153.78MB, minor=150334.95MB, major=1082.06MB, promoted=1075.14MB
    minor collections=71708  major collections=43 compactions=0


runtime: 00:01:00.237
vars: 20945, evals: 205170

|rho|=20945
|stable|=14354
|infl|=20941
|wpoint|=157
|sides|=743
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19638
|called|=24
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=180384.58MB, max=176.85MB, minor=180377.29MB, major=1272.89MB, promoted=1265.60MB
    minor collections=86036  major collections=47 compactions=0


runtime: 00:01:10.260
vars: 22219, evals: 231974

|rho|=22219
|stable|=13543
|infl|=22201
|wpoint|=176
|sides|=764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20891
|called|=30
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=210322.97MB, max=176.85MB, minor=210315.25MB, major=1461.21MB, promoted=1453.49MB
    minor collections=100313  major collections=50 compactions=0


runtime: 00:01:20.279
vars: 23223, evals: 256039

|rho|=23223
|stable|=14323
|infl|=23209
|wpoint|=195
|sides|=787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21853
|called|=28
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=239611.33MB, max=203.38MB, minor=239603.09MB, major=1641.84MB, promoted=1633.59MB
    minor collections=114281  major collections=54 compactions=0


runtime: 00:01:30.298
vars: 24035, evals: 278090

|rho|=24035
|stable|=15580
|infl|=24021
|wpoint|=212
|sides|=810
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22623
|called|=20
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=268426.18MB, max=203.38MB, minor=268417.35MB, major=1817.24MB, promoted=1808.41MB
    minor collections=128022  major collections=57 compactions=0


runtime: 00:01:40.325
vars: 25205, evals: 303368

|rho|=25205
|stable|=19867
|infl|=25201
|wpoint|=212
|sides|=812
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23772
|called|=29
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=296783.53MB, max=203.38MB, minor=296774.27MB, major=1995.02MB, promoted=1985.76MB
    minor collections=141545  major collections=59 compactions=0


runtime: 00:01:50.340
vars: 26479, evals: 328872

|rho|=26479
|stable|=13852
|infl|=26461
|wpoint|=229
|sides|=833
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25025
|called|=20
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=324851.16MB, max=233.89MB, minor=324841.54MB, major=2171.77MB, promoted=2162.15MB
    minor collections=154931  major collections=62 compactions=0


runtime: 00:02:00.351
vars: 26875, evals: 346924

|rho|=26875
|stable|=16315
|infl|=26861
|wpoint|=248
|sides|=856
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25379
|called|=20
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=352518.86MB, max=233.89MB, minor=352508.56MB, major=2334.47MB, promoted=2324.17MB
    minor collections=168125  major collections=65 compactions=0


runtime: 00:02:10.370
vars: 28045, evals: 371855

|rho|=28045
|stable|=19899
|infl|=28041
|wpoint|=247
|sides|=858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26528
|called|=23
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=380233.01MB, max=233.89MB, minor=380222.29MB, major=2508.17MB, promoted=2497.44MB
    minor collections=181342  major collections=67 compactions=0


runtime: 00:02:20.380
vars: 28938, evals: 393804

|rho|=28938
|stable|=14981
|infl|=28922
|wpoint|=266
|sides|=879
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27400
|called|=22
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=407884.25MB, max=233.89MB, minor=407873.05MB, major=2676.85MB, promoted=2665.64MB
    minor collections=194528  major collections=69 compactions=0


runtime: 00:02:30.391
vars: 29464, evals: 412591

|rho|=29464
|stable|=24404
|infl|=29461
|wpoint|=267
|sides|=881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27905
|called|=29
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=434622.33MB, max=233.89MB, minor=434610.55MB, major=2836.43MB, promoted=2824.65MB
    minor collections=207279  major collections=72 compactions=0


runtime: 00:02:40.418
vars: 29551, evals: 426378

|rho|=29551
|stable|=24586
|infl|=29548
|wpoint|=266
|sides|=883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27988
|called|=25
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=461447.20MB, max=268.97MB, minor=461435.04MB, major=2989.92MB, promoted=2977.76MB
    minor collections=220072  major collections=74 compactions=0


runtime: 00:02:50.429
vars: 33870, evals: 445379

|rho|=33870
|stable|=18010
|infl|=33860
|wpoint|=282
|sides|=1344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31527
|called|=21
Found 779 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
68	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=488016.28MB, max=268.97MB, minor=488002.69MB, major=3178.30MB, promoted=3164.72MB
    minor collections=232741  major collections=76 compactions=0


runtime: 00:03:00.448
vars: 41744, evals: 469884

|rho|=41744
|stable|=24451
|infl|=41716
|wpoint|=306
|sides|=1748
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38645
|called|=45
Found 1110 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
137	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
118	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
64	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=513822.09MB, max=309.31MB, minor=513807.39MB, major=3407.49MB, promoted=3392.79MB
    minor collections=245047  major collections=78 compactions=0


runtime: 00:03:10.490
vars: 49219, evals: 491411

|rho|=49219
|stable|=31871
|infl|=49176
|wpoint|=328
|sides|=2119
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=45418
|called|=51
Found 1440 contexts for 59 functions. Top 5 functions:
220	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
167	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
83	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=538770.87MB, max=409.07MB, minor=538755.48MB, major=3624.00MB, promoted=3608.61MB
    minor collections=256945  major collections=80 compactions=0


runtime: 00:03:20.505
vars: 55744, evals: 511569

|rho|=55744
|stable|=38242
|infl|=55717
|wpoint|=348
|sides|=2444
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51333
|called|=29
Found 1712 contexts for 65 functions. Top 5 functions:
304	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
207	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
99	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
80	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=563321.96MB, max=409.07MB, minor=563305.36MB, major=3823.58MB, promoted=3806.98MB
    minor collections=268652  major collections=82 compactions=0


runtime: 00:03:30.532
vars: 61635, evals: 529659

|rho|=61635
|stable|=44067
|infl|=61596
|wpoint|=363
|sides|=2675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56762
|called|=57
Found 1943 contexts for 67 functions. Top 5 functions:
372	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
247	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
115	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=586838.27MB, max=470.43MB, minor=586820.92MB, major=4008.79MB, promoted=3991.44MB
    minor collections=279866  major collections=83 compactions=0


runtime: 00:03:40.551
vars: 66971, evals: 546654

|rho|=66971
|stable|=49367
|infl|=66946
|wpoint|=377
|sides|=2990
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61535
|called|=26
Found 2174 contexts for 72 functions. Top 5 functions:
443	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
278	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
130	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
116	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=610390.04MB, max=541.00MB, minor=610369.94MB, major=4184.87MB, promoted=4164.76MB
    minor collections=291096  major collections=84 compactions=0


runtime: 00:03:50.574
vars: 72029, evals: 563086

|rho|=72029
|stable|=42106
|infl|=72020
|wpoint|=396
|sides|=3229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66108
|called|=59
Found 2412 contexts for 72 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=634112.91MB, max=541.00MB, minor=634091.01MB, major=4358.21MB, promoted=4336.31MB
    minor collections=302408  major collections=85 compactions=0


runtime: 00:04:00.601
vars: 72154, evals: 580706

|rho|=72154
|stable|=44517
|infl|=72149
|wpoint|=395
|sides|=3256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66190
|called|=42
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=658018.74MB, max=622.15MB, minor=657996.06MB, major=4511.88MB, promoted=4489.20MB
    minor collections=313807  major collections=86 compactions=0


runtime: 00:04:10.620
vars: 74238, evals: 596882

|rho|=74238
|stable|=57724
|infl|=74204
|wpoint|=402
|sides|=3339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=68116
|called|=87
Found 2497 contexts for 74 functions. Top 5 functions:
544	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
324	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
151	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
136	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=681668.45MB, max=622.15MB, minor=681645.41MB, major=4666.53MB, promoted=4643.49MB
    minor collections=325085  major collections=87 compactions=0


runtime: 00:04:20.639
vars: 79938, evals: 613733

|rho|=79938
|stable|=63483
|infl|=79894
|wpoint|=421
|sides|=3603
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73295
|called|=99
Found 2758 contexts for 74 functions. Top 5 functions:
625	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
360	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
167	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=705826.36MB, max=622.15MB, minor=705802.58MB, major=4844.99MB, promoted=4821.21MB
    minor collections=336605  major collections=88 compactions=0


runtime: 00:04:30.662
vars: 84656, evals: 628470

|rho|=84656
|stable|=68132
|infl|=84613
|wpoint|=434
|sides|=3799
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77621
|called|=98
Found 2954 contexts for 74 functions. Top 5 functions:
682	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
392	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
187	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=729014.63MB, max=622.15MB, minor=728989.26MB, major=5009.81MB, promoted=4984.43MB
    minor collections=347662  major collections=89 compactions=0


runtime: 00:04:40.693
vars: 89207, evals: 641990

|rho|=89207
|stable|=72658
|infl|=89167
|wpoint|=446
|sides|=3977
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81815
|called|=94
Found 3132 contexts for 74 functions. Top 5 functions:
739	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
423	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
199	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=751721.81MB, max=715.47MB, minor=751695.84MB, major=5166.09MB, promoted=5140.13MB
    minor collections=358489  major collections=89 compactions=0


runtime: 00:04:50.720
vars: 93033, evals: 654534

|rho|=93033
|stable|=76381
|infl|=93010
|wpoint|=461
|sides|=4178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85237
|called|=71
Found 3333 contexts for 74 functions. Top 5 functions:
789	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
444	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
208	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
201	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=775153.12MB, max=715.47MB, minor=775126.34MB, major=5317.79MB, promoted=5291.01MB
    minor collections=369663  major collections=90 compactions=0


runtime: 00:05:00.735
vars: 97413, evals: 668305

|rho|=97413
|stable|=80619
|infl|=97374
|wpoint|=472
|sides|=4380
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89251
|called|=90
Found 3499 contexts for 74 functions. Top 5 functions:
834	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
473	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
219	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877: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
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=797942.38MB, max=715.47MB, minor=797914.96MB, major=5472.30MB, promoted=5444.88MB
    minor collections=380530  major collections=91 compactions=0


runtime: 00:05:10.757
vars: 101502, evals: 680301

|rho|=101502
|stable|=84720
|infl|=101456
|wpoint|=484
|sides|=4552
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92997
|called|=96
Found 3671 contexts for 74 functions. Top 5 functions:
891	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
498	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
231	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
226	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=820526.18MB, max=822.80MB, minor=820498.05MB, major=5614.88MB, promoted=5586.75MB
    minor collections=391298  major collections=91 compactions=0


runtime: 00:05:20.788
vars: 105325, evals: 692532

|rho|=105325
|stable|=88412
|infl|=105291
|wpoint|=497
|sides|=4719
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96484
|called|=85
Found 3838 contexts for 74 functions. Top 5 functions:
941	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
524	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
241	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
240	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=843414.03MB, max=822.80MB, minor=843384.91MB, major=5759.15MB, promoted=5730.03MB
    minor collections=402212  major collections=92 compactions=0


runtime: 00:05:30.815
vars: 109217, evals: 704678

|rho|=109217
|stable|=92309
|infl|=109162
|wpoint|=505
|sides|=4877
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100062
|called|=99
Found 3996 contexts for 74 functions. Top 5 functions:
986	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
546	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
251	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=865701.24MB, max=822.80MB, minor=865671.56MB, major=5898.20MB, promoted=5868.52MB
    minor collections=412840  major collections=92 compactions=0


runtime: 00:05:40.842
vars: 112839, evals: 715527

|rho|=112839
|stable|=95930
|infl|=112806
|wpoint|=518
|sides|=5021
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103394
|called|=78
Found 4140 contexts for 74 functions. Top 5 functions:
1032	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
573	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
265	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
259	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=888112.90MB, max=822.80MB, minor=888082.08MB, major=6038.15MB, promoted=6007.32MB
    minor collections=423527  major collections=93 compactions=0


runtime: 00:05:50.853
vars: 115858, evals: 728001

|rho|=115858
|stable|=98752
|infl|=115831
|wpoint|=529
|sides|=5193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106066
|called|=80
Found 4312 contexts for 74 functions. Top 5 functions:
1083	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
222	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=911676.99MB, max=946.22MB, minor=911645.69MB, major=6179.85MB, promoted=6148.55MB
    minor collections=434763  major collections=94 compactions=0


runtime: 00:06:00.884
vars: 117422, evals: 741558

|rho|=117422
|stable|=99836
|infl|=117406
|wpoint|=529
|sides|=5253
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107508
|called|=69
Found 4372 contexts for 74 functions. Top 5 functions:
1088	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
226	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=935447.71MB, max=946.22MB, minor=935415.81MB, major=6310.05MB, promoted=6278.15MB
    minor collections=446098  major collections=94 compactions=0


runtime: 00:06:10.907
vars: 119073, evals: 756106

|rho|=119073
|stable|=100891
|infl|=119050
|wpoint|=538
|sides|=5333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109000
|called|=75
Found 4452 contexts for 74 functions. Top 5 functions:
1098	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
231	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=959730.54MB, max=946.22MB, minor=959698.43MB, major=6448.30MB, promoted=6416.19MB
    minor collections=457677  major collections=94 compactions=0


runtime: 00:06:20.918
vars: 120929, evals: 770229

|rho|=120929
|stable|=102392
|infl|=120899
|wpoint|=545
|sides|=5414
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110695
|called|=91
Found 4533 contexts for 74 functions. Top 5 functions:
1107	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
236	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=983379.64MB, max=946.22MB, minor=983347.16MB, major=6580.80MB, promoted=6548.31MB
    minor collections=468955  major collections=95 compactions=0


runtime: 00:06:30.937
vars: 122329, evals: 782336

|rho|=122329
|stable|=103750
|infl|=122295
|wpoint|=546
|sides|=5475
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111976
|called|=76
Found 4593 contexts for 74 functions. Top 5 functions:
1115	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
280	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
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=1008033.68MB, max=946.22MB, minor=1008000.94MB, major=6715.51MB, promoted=6682.77MB
    minor collections=480711  major collections=95 compactions=0


runtime: 00:06:40.948
vars: 126078, evals: 793046

|rho|=126078
|stable|=107496
|infl|=126054
|wpoint|=554
|sides|=5621
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115432
|called|=74
Found 4739 contexts for 74 functions. Top 5 functions:
1161	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
613	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
288	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
285	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=1030194.39MB, max=946.22MB, minor=1030160.88MB, major=6852.64MB, promoted=6819.14MB
    minor collections=491278  major collections=96 compactions=0


runtime: 00:06:50.967
vars: 128314, evals: 803731

|rho|=128314
|stable|=109420
|infl|=128297
|wpoint|=563
|sides|=5712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117482
|called|=61
Found 4830 contexts for 74 functions. Top 5 functions:
1188	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
241	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=1051835.86MB, max=946.22MB, minor=1051801.86MB, major=6969.85MB, promoted=6935.86MB
    minor collections=501597  major collections=96 compactions=0


runtime: 00:07:00.978
vars: 130656, evals: 813498

|rho|=130656
|stable|=114201
|infl|=130622
|wpoint|=568
|sides|=5802
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119646
|called|=82
Found 4920 contexts for 74 functions. Top 5 functions:
1213	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
638	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
300	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_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=1075753.08MB, max=946.22MB, minor=1075718.60MB, major=7106.20MB, promoted=7071.71MB
    minor collections=513003  major collections=97 compactions=0


runtime: 00:07:11.021
vars: 133849, evals: 824936

|rho|=133849
|stable|=117125
|infl|=133844
|wpoint|=578
|sides|=5955
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122526
|called|=31
Found 5073 contexts for 74 functions. Top 5 functions:
1265	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=1098059.38MB, max=1088.15MB, minor=1098019.69MB, major=7243.86MB, promoted=7204.17MB
    minor collections=523637  major collections=97 compactions=0


runtime: 00:07:21.032
vars: 135186, evals: 838404

|rho|=135186
|stable|=115394
|infl|=135173
|wpoint|=581
|sides|=6011
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123758
|called|=17
Found 5129 contexts for 74 functions. Top 5 functions:
1270	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=1121995.46MB, max=1088.15MB, minor=1121955.57MB, major=7375.11MB, promoted=7335.22MB
    minor collections=535051  major collections=98 compactions=0


runtime: 00:07:31.047
vars: 136601, evals: 850965

|rho|=136601
|stable|=116364
|infl|=136564
|wpoint|=583
|sides|=6066
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125064
|called|=38
Found 5184 contexts for 74 functions. Top 5 functions:
1275	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
251	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=1145362.39MB, max=1088.15MB, minor=1145322.00MB, major=7502.58MB, promoted=7462.20MB
    minor collections=546193  major collections=98 compactions=0


runtime: 00:07:41.067
vars: 138158, evals: 865021

|rho|=138158
|stable|=116942
|infl|=138143
|wpoint|=585
|sides|=6125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126502
|called|=20
Found 5243 contexts for 74 functions. Top 5 functions:
1280	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
255	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=1168951.62MB, max=1088.15MB, minor=1168911.02MB, major=7629.75MB, promoted=7589.15MB
    minor collections=557442  major collections=98 compactions=0


runtime: 00:07:51.082
vars: 139801, evals: 879278

|rho|=139801
|stable|=117466
|infl|=139772
|wpoint|=585
|sides|=6187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128021
|called|=45
Found 5305 contexts for 74 functions. Top 5 functions:
1286	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
260	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=1192090.86MB, max=1088.15MB, minor=1192049.94MB, major=7757.98MB, promoted=7717.06MB
    minor collections=568476  major collections=99 compactions=0


runtime: 00:08:01.125
vars: 141390, evals: 893499

|rho|=141390
|stable|=118328
|infl|=141366
|wpoint|=587
|sides|=6249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129486
|called|=27
Found 5367 contexts for 74 functions. Top 5 functions:
1292	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
265	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=1215132.60MB, max=1088.15MB, minor=1215091.34MB, major=7883.46MB, promoted=7842.20MB
    minor collections=579463  major collections=99 compactions=0


runtime: 00:08:11.136
vars: 142077, evals: 902772

|rho|=142077
|stable|=123746
|infl|=142072
|wpoint|=591
|sides|=6271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130122
|called|=71
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=1239526.41MB, max=1088.15MB, minor=1239484.91MB, major=8009.91MB, promoted=7968.42MB
    minor collections=591095  major collections=99 compactions=0


runtime: 00:08:21.147
vars: 143782, evals: 912870

|rho|=143782
|stable|=127138
|infl|=143723
|wpoint|=598
|sides|=6327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131717
|called|=66
Found 5445 contexts for 74 functions. Top 5 functions:
1310	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
670	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
316	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
313	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=1263982.50MB, max=1088.15MB, minor=1263938.31MB, major=8158.43MB, promoted=8114.24MB
    minor collections=602756  major collections=100 compactions=0


runtime: 00:08:31.158
vars: 148587, evals: 929214

|rho|=148587
|stable|=127402
|infl|=148558
|wpoint|=611
|sides|=6533
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136116
|called|=39
Found 5651 contexts for 74 functions. Top 5 functions:
1372	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
700	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
331	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
325	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=1287406.51MB, max=1088.15MB, minor=1287361.57MB, major=8324.65MB, promoted=8279.71MB
    minor collections=613926  major collections=100 compactions=0


runtime: 00:08:41.173
vars: 153517, evals: 944542

|rho|=153517
|stable|=132334
|infl|=153473
|wpoint|=622
|sides|=6746
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140622
|called|=45
Found 5864 contexts for 74 functions. Top 5 functions:
1436	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
730	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
348	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
346	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
276	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=1310649.11MB, max=1088.15MB, minor=1310600.72MB, major=8491.41MB, promoted=8443.02MB
    minor collections=625008  major collections=101 compactions=0


runtime: 00:08:51.196
vars: 158235, evals: 959022

|rho|=158235
|stable|=136924
|infl|=158218
|wpoint|=638
|sides|=6972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144882
|called|=18
Found 6090 contexts for 74 functions. Top 5 functions:
1488	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
760	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
361	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
359	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
288	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=1333642.24MB, max=1088.15MB, minor=1333592.99MB, major=8651.54MB, promoted=8602.29MB
    minor collections=635971  major collections=101 compactions=0


runtime: 00:09:01.207
vars: 162907, evals: 972506

|rho|=162907
|stable|=141595
|infl|=162861
|wpoint|=651
|sides|=7165
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149174
|called|=51
Found 6283 contexts for 74 functions. Top 5 functions:
1550	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
790	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
376	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
372	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
300	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=1356193.57MB, max=1088.15MB, minor=1356143.25MB, major=8806.24MB, promoted=8755.92MB
    minor collections=646725  major collections=102 compactions=0


runtime: 00:09:11.242
vars: 167167, evals: 985772

|rho|=167167
|stable|=145726
|infl|=167126
|wpoint|=662
|sides|=7339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153084
|called|=42
Found 6457 contexts for 74 functions. Top 5 functions:
1600	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
819	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
391	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
381	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
312	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=1378280.30MB, max=1251.38MB, minor=1378228.73MB, major=8954.45MB, promoted=8902.88MB
    minor collections=657256  major collections=102 compactions=0


runtime: 00:09:21.253
vars: 171646, evals: 999853

|rho|=171646
|stable|=150139
|infl|=171618
|wpoint|=670
|sides|=7520
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157201
|called|=31
Found 6638 contexts for 74 functions. Top 5 functions:
1653	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
849	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
405	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
392	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
324	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=1401477.29MB, max=1251.38MB, minor=1401425.14MB, major=9111.01MB, promoted=9058.86MB
    minor collections=668317  major collections=102 compactions=0


runtime: 00:09:31.269
vars: 175479, evals: 1011326

|rho|=175479
|stable|=153974
|infl|=175425
|wpoint|=682
|sides|=7672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160732
|called|=55
Found 6790 contexts for 74 functions. Top 5 functions:
1702	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
873	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
416	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
404	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
332	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=1423281.95MB, max=1251.38MB, minor=1423228.38MB, major=9248.68MB, promoted=9195.11MB
    minor collections=678715  major collections=103 compactions=0


runtime: 00:09:41.316
vars: 179431, evals: 1023865

|rho|=179431
|stable|=157862
|infl|=179396
|wpoint|=694
|sides|=7840
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164346
|called|=36
Found 6958 contexts for 74 functions. Top 5 functions:
1751	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
899	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
431	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
412	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
344	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=1445471.33MB, max=1439.09MB, minor=1445416.68MB, major=9392.29MB, promoted=9337.64MB
    minor collections=689295  major collections=103 compactions=0


runtime: 00:09:51.331
vars: 183265, evals: 1035493

|rho|=183265
|stable|=161832
|infl|=183258
|wpoint|=706
|sides|=8029
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167795
|called|=18
Found 7147 contexts for 74 functions. Top 5 functions:
1812	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
920	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
441	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
427	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
352	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=1467711.03MB, max=1439.09MB, minor=1467655.83MB, major=9529.52MB, promoted=9474.32MB
    minor collections=699900  major collections=103 compactions=0


runtime: 00:10:01.346
vars: 187156, evals: 1046588

|rho|=187156
|stable|=166017
|infl|=187143
|wpoint|=723
|sides|=8203
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171341
|called|=69
Found 7321 contexts for 74 functions. Top 5 functions:
1867	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
947	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
456	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
439	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
364	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=1489348.34MB, max=1439.09MB, minor=1489291.49MB, major=9669.20MB, promoted=9612.36MB
    minor collections=710217  major collections=104 compactions=0


runtime: 00:10:11.421
vars: 190515, evals: 1057876

|rho|=190515
|stable|=168907
|infl|=190501
|wpoint|=733
|sides|=8357
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174394
|called|=65
Found 7475 contexts for 74 functions. Top 5 functions:
1913	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
966	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
466	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
447	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
372	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=1510902.63MB, max=1439.09MB, minor=1510844.38MB, major=9800.97MB, promoted=9742.72MB
    minor collections=720495  major collections=104 compactions=0


runtime: 00:10:21.432
vars: 193543, evals: 1069118

|rho|=193543
|stable|=171730
|infl|=193514
|wpoint|=739
|sides|=8478
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177183
|called|=88
Found 7596 contexts for 74 functions. Top 5 functions:
1946	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
985	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
475	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
454	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=1532304.08MB, max=1439.09MB, minor=1532245.33MB, major=9930.91MB, promoted=9872.16MB
    minor collections=730700  major collections=104 compactions=0


runtime: 00:10:31.443
vars: 195812, evals: 1078605

|rho|=195812
|stable|=173876
|infl|=195794
|wpoint|=749
|sides|=8574
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179259
|called|=62
Found 7692 contexts for 74 functions. Top 5 functions:
1972	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
996	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
481	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
461	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
384	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=1552982.20MB, max=1439.09MB, minor=1552922.60MB, major=10041.50MB, promoted=9981.90MB
    minor collections=740560  major collections=105 compactions=0


runtime: 00:10:41.454
vars: 198256, evals: 1088340

|rho|=198256
|stable|=176191
|infl|=198215
|wpoint|=755
|sides|=8675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181503
|called|=85
Found 7793 contexts for 74 functions. Top 5 functions:
1998	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1006	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
486	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
466	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=1573628.52MB, max=1439.09MB, minor=1573567.78MB, major=10151.89MB, promoted=10091.15MB
    minor collections=750405  major collections=105 compactions=0


runtime: 00:10:51.517
vars: 200521, evals: 1097348

|rho|=200521
|stable|=178381
|infl|=200471
|wpoint|=764
|sides|=8780
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183559
|called|=94
Found 7898 contexts for 74 functions. Top 5 functions:
2028	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1018	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
471	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=1594742.40MB, max=1654.95MB, minor=1594680.81MB, major=10266.51MB, promoted=10204.91MB
    minor collections=760472  major collections=105 compactions=0


runtime: 00:11:01.532
vars: 203348, evals: 1108027

|rho|=203348
|stable|=181053
|infl|=203321
|wpoint|=773
|sides|=8900
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186143
|called|=72
Found 8018 contexts for 74 functions. Top 5 functions:
2063	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1036	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
482	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=1615885.25MB, max=1654.95MB, minor=1615823.33MB, major=10388.98MB, promoted=10327.06MB
    minor collections=770554  major collections=105 compactions=0


runtime: 00:11:11.543
vars: 205584, evals: 1118335

|rho|=205584
|stable|=183073
|infl|=205558
|wpoint|=781
|sides|=8999
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188181
|called|=80
Found 8117 contexts for 74 functions. Top 5 functions:
2083	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1046	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
506	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
486	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
404	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=1637450.01MB, max=1654.95MB, minor=1637387.47MB, major=10507.18MB, promoted=10444.64MB
    minor collections=780837  major collections=106 compactions=0


runtime: 00:11:21.550
vars: 208275, evals: 1127661

|rho|=208275
|stable|=185743
|infl|=208242
|wpoint|=786
|sides|=9095
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190681
|called|=77
Found 8213 contexts for 74 functions. Top 5 functions:
2108	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1065	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
491	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=1657927.23MB, max=1654.95MB, minor=1657863.49MB, major=10623.71MB, promoted=10559.97MB
    minor collections=790601  major collections=106 compactions=0


runtime: 00:11:31.617
vars: 210596, evals: 1136282

|rho|=210596
|stable|=187918
|infl|=210563
|wpoint|=796
|sides|=9201
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192790
|called|=89
Found 8319 contexts for 74 functions. Top 5 functions:
2140	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
496	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=1677873.04MB, max=1654.95MB, minor=1677808.44MB, major=10728.33MB, promoted=10663.73MB
    minor collections=800112  major collections=106 compactions=0


runtime: 00:11:41.633
vars: 212940, evals: 1146369

|rho|=212940
|stable|=190102
|infl|=212915
|wpoint|=803
|sides|=9316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194903
|called|=75
Found 8434 contexts for 74 functions. Top 5 functions:
2173	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1086	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
526	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
504	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
420	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=1700091.21MB, max=1654.95MB, minor=1700026.32MB, major=10849.72MB, promoted=10784.83MB
    minor collections=810706  major collections=106 compactions=0


runtime: 00:11:51.644
vars: 214993, evals: 1156062

|rho|=214993
|stable|=192023
|infl|=214979
|wpoint|=808
|sides|=9411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196766
|called|=68
Found 8529 contexts for 74 functions. Top 5 functions:
2193	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
512	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=1721888.09MB, max=1654.95MB, minor=1721822.60MB, major=10968.49MB, promoted=10903.00MB
    minor collections=821100  major collections=107 compactions=0


runtime: 00:12:01.655
vars: 217817, evals: 1165898

|rho|=217817
|stable|=194750
|infl|=217775
|wpoint|=815
|sides|=9512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199391
|called|=97
Found 8630 contexts for 74 functions. Top 5 functions:
2218	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1115	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
517	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=1742507.19MB, max=1654.95MB, minor=1742440.60MB, major=11086.62MB, promoted=11020.04MB
    minor collections=830932  major collections=107 compactions=0


runtime: 00:12:11.686
vars: 220018, evals: 1174601

|rho|=220018
|stable|=196819
|infl|=219991
|wpoint|=822
|sides|=9614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201386
|called|=82
Found 8732 contexts for 74 functions. Top 5 functions:
2250	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1126	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
522	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=1763017.44MB, max=1654.95MB, minor=1762949.61MB, major=11193.15MB, promoted=11125.31MB
    minor collections=840712  major collections=107 compactions=0


runtime: 00:12:21.749
vars: 222192, evals: 1183621

|rho|=222192
|stable|=198954
|infl|=222171
|wpoint|=826
|sides|=9702
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203382
|called|=68
Found 8820 contexts for 74 functions. Top 5 functions:
2273	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
528	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=1783887.48MB, max=1654.95MB, minor=1783819.37MB, major=11299.76MB, promoted=11231.65MB
    minor collections=850663  major collections=107 compactions=0


runtime: 00:12:31.760
vars: 224636, evals: 1193869

|rho|=224636
|stable|=201254
|infl|=224591
|wpoint|=834
|sides|=9824
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205586
|called|=90
Found 8942 contexts for 74 functions. Top 5 functions:
2307	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1146	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
556	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
539	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
444	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=1806315.76MB, max=1654.95MB, minor=1806247.12MB, major=11425.08MB, promoted=11356.45MB
    minor collections=861358  major collections=107 compactions=0


runtime: 00:12:41.775
vars: 227042, evals: 1202447

|rho|=227042
|stable|=203504
|infl|=227002
|wpoint|=839
|sides|=9913
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207812
|called|=90
Found 9031 contexts for 74 functions. Top 5 functions:
2326	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1165	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
543	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=1827669.40MB, max=1654.95MB, minor=1827599.84MB, major=11546.88MB, promoted=11477.32MB
    minor collections=871540  major collections=108 compactions=0


runtime: 00:12:51.790
vars: 229269, evals: 1211175

|rho|=229269
|stable|=205529
|infl|=229242
|wpoint|=848
|sides|=10018
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209828
|called|=73
Found 9136 contexts for 74 functions. Top 5 functions:
2357	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1176	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
571	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
548	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
456	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=1847971.37MB, max=1654.95MB, minor=1847900.69MB, major=11652.46MB, promoted=11581.78MB
    minor collections=881221  major collections=108 compactions=0


runtime: 00:13:01.857
vars: 231695, evals: 1220611

|rho|=231695
|stable|=207926
|infl|=231643
|wpoint|=852
|sides|=10120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212052
|called|=99
Found 9238 contexts for 74 functions. Top 5 functions:
2383	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1187	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
576	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
555	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
460	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=1868980.08MB, max=1654.95MB, minor=1868908.39MB, major=11764.01MB, promoted=11692.32MB
    minor collections=891238  major collections=108 compactions=0


runtime: 00:13:11.868
vars: 233059, evals: 1227651

|rho|=233059
|stable|=210946
|infl|=233054
|wpoint|=859
|sides|=10186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213274
|called|=77
Found 9304 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=1891256.93MB, max=1654.95MB, minor=1891184.92MB, major=11878.10MB, promoted=11806.09MB
    minor collections=901861  major collections=108 compactions=0


runtime: 00:13:21.883
vars: 234828, evals: 1235794

|rho|=234828
|stable|=211012
|infl|=234804
|wpoint|=863
|sides|=10260
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214901
|called|=70
Found 9378 contexts for 74 functions. Top 5 functions:
2422	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1206	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
586	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
564	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
468	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=1912902.24MB, max=1654.95MB, minor=1912829.72MB, major=11989.48MB, promoted=11916.96MB
    minor collections=912182  major collections=109 compactions=0


runtime: 00:13:31.890
vars: 237233, evals: 1244879

|rho|=237233
|stable|=213373
|infl|=237197
|wpoint|=870
|sides|=10347
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217135
|called|=94
Found 9465 contexts for 74 functions. Top 5 functions:
2447	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1221	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
591	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
569	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=1933389.71MB, max=1654.95MB, minor=1933316.43MB, major=12096.91MB, promoted=12023.64MB
    minor collections=921951  major collections=109 compactions=0


runtime: 00:13:41.905
vars: 239373, evals: 1253061

|rho|=239373
|stable|=215451
|infl|=239348
|wpoint|=872
|sides|=10436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219094
|called|=82
Found 9554 contexts for 74 functions. Top 5 functions:
2475	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1235	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
600	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
573	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=1953655.41MB, max=1654.95MB, minor=1953581.09MB, major=12201.11MB, promoted=12126.80MB
    minor collections=931615  major collections=109 compactions=0


runtime: 00:13:51.960
vars: 239935, evals: 1258154

|rho|=239935
|stable|=218911
|infl|=239917
|wpoint|=875
|sides|=10470
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219586
|called|=56
Found 9588 contexts for 74 functions. Top 5 functions:
2486	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=1975728.94MB, max=1903.19MB, minor=1975654.11MB, major=12302.06MB, promoted=12227.23MB
    minor collections=942140  major collections=109 compactions=0


runtime: 00:14:01.972
vars: 243555, evals: 1267727

|rho|=243555
|stable|=222511
|infl|=243536
|wpoint|=888
|sides|=10617
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222913
|called|=61
Found 9735 contexts for 74 functions. Top 5 functions:
2532	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1263	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
615	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
585	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
492	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=1996876.86MB, max=1903.19MB, minor=1996801.48MB, major=12427.45MB, promoted=12352.06MB
    minor collections=952224  major collections=109 compactions=0


runtime: 00:14:11.983
vars: 245006, evals: 1276413

|rho|=245006
|stable|=223991
|infl|=245001
|wpoint|=891
|sides|=10690
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224213
|called|=33
Found 9808 contexts for 74 functions. Top 5 functions:
2557	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=2018286.14MB, max=1903.19MB, minor=2018210.41MB, major=12530.72MB, promoted=12454.98MB
    minor collections=962433  major collections=109 compactions=0


runtime: 00:14:21.994
vars: 246183, evals: 1287015

|rho|=246183
|stable|=221477
|infl|=246153
|wpoint|=894
|sides|=10742
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225294
|called|=34
Found 9860 contexts for 74 functions. Top 5 functions:
2561	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=2039656.96MB, max=1903.19MB, minor=2039580.65MB, major=12639.35MB, promoted=12563.04MB
    minor collections=972624  major collections=110 compactions=0


runtime: 00:14:32.005
vars: 247299, evals: 1297327

|rho|=247299
|stable|=222139
|infl|=247284
|wpoint|=896
|sides|=10784
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226325
|called|=21
Found 9902 contexts for 74 functions. Top 5 functions:
2565	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=2060472.84MB, max=1903.19MB, minor=2060395.78MB, major=12742.49MB, promoted=12665.43MB
    minor collections=982549  major collections=110 compactions=0


runtime: 00:14:42.056
vars: 248313, evals: 1307078

|rho|=248313
|stable|=222408
|infl|=248291
|wpoint|=896
|sides|=10822
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227263
|called|=24
Found 9940 contexts for 74 functions. Top 5 functions:
2569	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=2080912.55MB, max=1903.19MB, minor=2080834.76MB, major=12843.74MB, promoted=12765.95MB
    minor collections=992296  major collections=110 compactions=0


runtime: 00:14:52.079
vars: 249511, evals: 1317146

|rho|=249511
|stable|=223065
|infl|=249480
|wpoint|=900
|sides|=10868
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228370
|called|=55
Found 9986 contexts for 74 functions. Top 5 functions:
2573	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=2102036.60MB, max=1903.19MB, minor=2101958.70MB, major=12948.26MB, promoted=12870.36MB
    minor collections=1002368  major collections=110 compactions=0

