./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.171
vars: 9774, evals: 45782

|rho|=9774
|stable|=9423
|infl|=9748
|wpoint|=51
|sides|=523
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8882
|called|=28
Found 247 contexts for 22 functions. Top 5 functions:
42	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=28163.88MB, max=87.92MB, minor=28159.13MB, major=260.64MB, promoted=255.89MB
    minor collections=13438  major collections=22 compactions=0


runtime: 00:00:20.198
vars: 14260, evals: 83798

|rho|=14260
|stable|=12957
|infl|=14246
|wpoint|=89
|sides|=642
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13156
|called|=46
Found 353 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=56250.68MB, max=116.28MB, minor=56245.68MB, major=473.14MB, promoted=468.14MB
    minor collections=26834  major collections=28 compactions=0


runtime: 00:00:30.214
vars: 16109, evals: 114038

|rho|=16109
|stable|=13310
|infl|=16091
|wpoint|=104
|sides|=672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14949
|called|=22
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=85104.14MB, max=133.72MB, minor=85098.95MB, major=661.58MB, promoted=656.39MB
    minor collections=40595  major collections=33 compactions=0


runtime: 00:00:40.238
vars: 17744, evals: 143528

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

Memory statistics: total=114545.28MB, max=153.78MB, minor=114539.05MB, major=852.86MB, promoted=846.63MB
    minor collections=54636  major collections=38 compactions=0


runtime: 00:00:50.269
vars: 19191, evals: 171115

|rho|=19191
|stable|=13589
|infl|=19177
|wpoint|=143
|sides|=718
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17947
|called|=44
Found 417 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
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=143389.03MB, max=153.78MB, minor=143382.21MB, major=1036.88MB, promoted=1030.06MB
    minor collections=68392  major collections=42 compactions=0


runtime: 00:01:00.297
vars: 20508, evals: 197517

|rho|=20508
|stable|=13769
|infl|=20490
|wpoint|=160
|sides|=741
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19222
|called|=26
Found 436 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
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=172505.38MB, max=176.85MB, minor=172498.16MB, major=1219.97MB, promoted=1212.75MB
    minor collections=82278  major collections=46 compactions=0


runtime: 00:01:10.324
vars: 21651, evals: 222600

|rho|=21651
|stable|=14298
|infl|=21637
|wpoint|=179
|sides|=764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20323
|called|=46
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=201479.40MB, max=176.85MB, minor=201471.71MB, major=1401.40MB, promoted=1393.72MB
    minor collections=96096  major collections=49 compactions=0


runtime: 00:01:20.336
vars: 22615, evals: 245712

|rho|=22615
|stable|=15172
|infl|=22601
|wpoint|=195
|sides|=787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21245
|called|=24
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=230101.28MB, max=203.38MB, minor=230093.08MB, major=1578.18MB, promoted=1569.98MB
    minor collections=109745  major collections=52 compactions=0


runtime: 00:01:30.356
vars: 23785, evals: 270843

|rho|=23785
|stable|=19497
|infl|=23781
|wpoint|=195
|sides|=789
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22394
|called|=29
Found 475 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
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=257716.08MB, max=203.38MB, minor=257707.46MB, major=1752.71MB, promoted=1744.09MB
    minor collections=122915  major collections=55 compactions=0


runtime: 00:01:40.367
vars: 25185, evals: 296955

|rho|=25185
|stable|=13866
|infl|=25171
|wpoint|=213
|sides|=812
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23770
|called|=20
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=285485.71MB, max=203.38MB, minor=285476.79MB, major=1928.98MB, promoted=1920.06MB
    minor collections=136158  major collections=58 compactions=0


runtime: 00:01:50.387
vars: 25719, evals: 315956

|rho|=25719
|stable|=15267
|infl|=25701
|wpoint|=230
|sides|=833
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24265
|called|=25
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=312790.56MB, max=203.38MB, minor=312781.00MB, major=2092.37MB, promoted=2082.81MB
    minor collections=149180  major collections=61 compactions=0


runtime: 00:02:00.407
vars: 26625, evals: 338274

|rho|=26625
|stable|=21139
|infl|=26621
|wpoint|=230
|sides|=835
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25150
|called|=17
Found 513 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
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=339412.69MB, max=233.89MB, minor=339402.66MB, major=2256.73MB, promoted=2246.69MB
    minor collections=161875  major collections=63 compactions=0


runtime: 00:02:10.430
vars: 27836, evals: 362899

|rho|=27836
|stable|=14083
|infl|=27818
|wpoint|=249
|sides|=856
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26340
|called|=28
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=366861.13MB, max=233.89MB, minor=366850.74MB, major=2428.89MB, promoted=2418.49MB
    minor collections=174965  major collections=66 compactions=0


runtime: 00:02:20.442
vars: 28045, evals: 378908

|rho|=28045
|stable|=26879
|infl|=28041
|wpoint|=248
|sides|=858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26528
|called|=14
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=393089.84MB, max=233.89MB, minor=393078.72MB, major=2580.28MB, promoted=2569.16MB
    minor collections=187473  major collections=68 compactions=0


runtime: 00:02:30.462
vars: 29464, evals: 404552

|rho|=29464
|stable|=16292
|infl|=29461
|wpoint|=267
|sides|=881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27905
|called|=48
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=419892.27MB, max=233.89MB, minor=419880.94MB, major=2752.10MB, promoted=2740.77MB
    minor collections=200255  major collections=70 compactions=0


runtime: 00:02:40.481
vars: 29548, evals: 419102

|rho|=29548
|stable|=17645
|infl|=29536
|wpoint|=268
|sides|=883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27986
|called|=22
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=445421.51MB, max=268.97MB, minor=445409.36MB, major=2897.46MB, promoted=2885.31MB
    minor collections=212429  major collections=72 compactions=0


runtime: 00:02:50.497
vars: 29551, evals: 430800

|rho|=29551
|stable|=28935
|infl|=29548
|wpoint|=267
|sides|=883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27988
|called|=5
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=471117.62MB, max=268.97MB, minor=471105.42MB, major=3041.81MB, promoted=3029.61MB
    minor collections=224683  major collections=74 compactions=0


runtime: 00:03:00.513
vars: 36654, evals: 453580

|rho|=36654
|stable|=19491
|infl|=36610
|wpoint|=291
|sides|=1522
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34011
|called|=53
Found 886 contexts for 56 functions. Top 5 functions:
209	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
87	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
68	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398: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

Memory statistics: total=496284.72MB, max=268.97MB, minor=496270.41MB, major=3252.44MB, promoted=3238.13MB
    minor collections=236684  major collections=76 compactions=0


runtime: 00:03:10.540
vars: 44108, evals: 476450

|rho|=44108
|stable|=26886
|infl|=44065
|wpoint|=312
|sides|=1834
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40839
|called|=60
Found 1196 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
163	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
135	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
71	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=520727.13MB, max=355.71MB, minor=520712.25MB, major=3470.66MB, promoted=3455.79MB
    minor collections=248341  major collections=79 compactions=0


runtime: 00:03:20.584
vars: 50907, evals: 496374

|rho|=50907
|stable|=33554
|infl|=50878
|wpoint|=331
|sides|=2197
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46948
|called|=42
Found 1518 contexts for 59 functions. Top 5 functions:
247	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
177	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
87	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
65	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=544228.12MB, max=409.07MB, minor=544212.05MB, major=3670.34MB, promoted=3654.27MB
    minor collections=259547  major collections=80 compactions=0


runtime: 00:03:30.612
vars: 57054, evals: 515275

|rho|=57054
|stable|=39550
|infl|=57015
|wpoint|=351
|sides|=2484
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52564
|called|=58
Found 1752 contexts for 65 functions. Top 5 functions:
315	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
217	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898: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
103	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
81	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=567473.45MB, max=409.07MB, minor=567456.72MB, major=3860.56MB, promoted=3843.84MB
    minor collections=270632  major collections=82 compactions=0


runtime: 00:03:40.651
vars: 62574, evals: 532560

|rho|=62574
|stable|=45032
|infl|=62528
|wpoint|=366
|sides|=2726
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57600
|called|=50
Found 1994 contexts for 67 functions. Top 5 functions:
391	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
249	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
119	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
101	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=590483.29MB, max=470.43MB, minor=590465.80MB, major=4036.00MB, promoted=4018.51MB
    minor collections=281604  major collections=83 compactions=0


runtime: 00:03:50.702
vars: 67974, evals: 548920

|rho|=67974
|stable|=50364
|infl|=67929
|wpoint|=379
|sides|=3013
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62494
|called|=54
Found 2197 contexts for 72 functions. Top 5 functions:
448	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
287	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
131	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=613051.36MB, max=541.00MB, minor=613031.06MB, major=4210.38MB, promoted=4190.08MB
    minor collections=292365  major collections=84 compactions=0


runtime: 00:04:00.738
vars: 72030, evals: 564201

|rho|=72030
|stable|=43149
|infl|=72023
|wpoint|=394
|sides|=3229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66108
|called|=35
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=635495.09MB, max=541.00MB, minor=635473.17MB, major=4365.87MB, promoted=4343.95MB
    minor collections=303067  major collections=85 compactions=0


runtime: 00:04:10.761
vars: 72154, evals: 580996

|rho|=72154
|stable|=44734
|infl|=72149
|wpoint|=396
|sides|=3256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66190
|called|=29
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=658129.15MB, max=541.00MB, minor=658106.47MB, major=4512.88MB, promoted=4490.20MB
    minor collections=313860  major collections=86 compactions=0


runtime: 00:04:20.789
vars: 73933, evals: 596131

|rho|=73933
|stable|=57431
|infl|=73895
|wpoint|=402
|sides|=3334
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67821
|called|=88
Found 2492 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
319	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=680368.47MB, max=622.15MB, minor=680345.45MB, major=4655.71MB, promoted=4632.70MB
    minor collections=324465  major collections=87 compactions=0


runtime: 00:04:30.809
vars: 79110, evals: 611729

|rho|=79110
|stable|=62557
|infl|=79081
|wpoint|=421
|sides|=3577
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72517
|called|=75
Found 2732 contexts for 74 functions. Top 5 functions:
618	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
354	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
215	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1
164	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
156	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=702461.91MB, max=622.15MB, minor=702438.06MB, major=4820.80MB, promoted=4796.95MB
    minor collections=335000  major collections=87 compactions=0


runtime: 00:04:40.832
vars: 83547, evals: 624770

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

Memory statistics: total=723727.20MB, max=622.15MB, minor=723701.71MB, major=4971.27MB, promoted=4945.77MB
    minor collections=345140  major collections=88 compactions=0


runtime: 00:04:50.848
vars: 87823, evals: 637846

|rho|=87823
|stable|=71301
|infl|=87790
|wpoint|=441
|sides|=3931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80523
|called|=77
Found 3086 contexts for 74 functions. Top 5 functions:
726	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
413	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
195	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
183	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=744811.54MB, max=622.15MB, minor=744785.48MB, major=5117.72MB, promoted=5091.66MB
    minor collections=355194  major collections=89 compactions=0


runtime: 00:05:00.884
vars: 91517, evals: 649676

|rho|=91517
|stable|=74797
|infl|=91485
|wpoint|=458
|sides|=4119
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83840
|called|=76
Found 3274 contexts for 74 functions. Top 5 functions:
770	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
434	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
204	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
196	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1

Memory statistics: total=766057.08MB, max=715.47MB, minor=766030.52MB, major=5258.42MB, promoted=5231.85MB
    minor collections=365325  major collections=90 compactions=0


runtime: 00:05:10.939
vars: 95396, evals: 661011

|rho|=95396
|stable|=78742
|infl|=95353
|wpoint|=468
|sides|=4264
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87431
|called|=101
Found 3419 contexts for 74 functions. Top 5 functions:
815	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
461	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
215	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
206	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=786237.91MB, max=715.47MB, minor=786210.64MB, major=5392.65MB, promoted=5365.39MB
    minor collections=374948  major collections=90 compactions=0


runtime: 00:05:20.955
vars: 99053, evals: 673082

|rho|=99053
|stable|=82269
|infl|=99025
|wpoint|=476
|sides|=4458
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90734
|called|=82
Found 3577 contexts for 74 functions. Top 5 functions:
861	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
483	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
223	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 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=806808.78MB, max=715.47MB, minor=806780.97MB, major=5526.64MB, promoted=5498.83MB
    minor collections=384758  major collections=91 compactions=0


runtime: 00:05:31.019
vars: 102464, evals: 683871

|rho|=102464
|stable|=85621
|infl|=102435
|wpoint|=488
|sides|=4604
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93850
|called|=73
Found 3723 contexts for 74 functions. Top 5 functions:
905	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
504	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
234	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
231	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
219	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=827250.98MB, max=822.80MB, minor=827222.43MB, major=5653.91MB, promoted=5625.36MB
    minor collections=394505  major collections=91 compactions=0


runtime: 00:05:41.030
vars: 106202, evals: 695100

|rho|=106202
|stable|=89358
|infl|=106160
|wpoint|=499
|sides|=4745
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97311
|called|=93
Found 3864 contexts for 74 functions. Top 5 functions:
948	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
530	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
243	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877: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
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=847910.12MB, max=822.80MB, minor=847880.90MB, major=5785.81MB, promoted=5756.59MB
    minor collections=404357  major collections=92 compactions=0


runtime: 00:05:51.086
vars: 109834, evals: 706397

|rho|=109834
|stable|=92926
|infl|=109796
|wpoint|=506
|sides|=4900
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100631
|called|=82
Found 4019 contexts for 74 functions. Top 5 functions:
993	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
553	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
254	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=868839.00MB, max=822.80MB, minor=868808.97MB, major=5917.72MB, promoted=5887.69MB
    minor collections=414336  major collections=92 compactions=0


runtime: 00:06:01.102
vars: 113085, evals: 716381

|rho|=113085
|stable|=96105
|infl|=113049
|wpoint|=518
|sides|=5032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103618
|called|=81
Found 4151 contexts for 74 functions. Top 5 functions:
1036	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
574	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
266	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
260	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=889276.72MB, max=822.80MB, minor=889246.06MB, major=6040.72MB, promoted=6010.07MB
    minor collections=424082  major collections=93 compactions=0


runtime: 00:06:11.169
vars: 115739, evals: 726823

|rho|=115739
|stable|=98756
|infl|=115725
|wpoint|=529
|sides|=5186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105959
|called|=62
Found 4305 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
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
270	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
221	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=910628.93MB, max=946.22MB, minor=910597.43MB, major=6166.93MB, promoted=6135.43MB
    minor collections=434263  major collections=93 compactions=0


runtime: 00:06:21.185
vars: 117300, evals: 740475

|rho|=117300
|stable|=99558
|infl|=117271
|wpoint|=530
|sides|=5252
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107389
|called|=83
Found 4371 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=932755.61MB, max=946.22MB, minor=932723.78MB, major=6291.48MB, promoted=6259.65MB
    minor collections=444815  major collections=94 compactions=0


runtime: 00:06:31.228
vars: 118781, evals: 753325

|rho|=118781
|stable|=100884
|infl|=118755
|wpoint|=538
|sides|=5318
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108739
|called|=72
Found 4437 contexts for 74 functions. Top 5 functions:
1096	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
584	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
275	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
271	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
230	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=955014.28MB, max=946.22MB, minor=954982.04MB, major=6416.17MB, promoted=6383.93MB
    minor collections=455428  major collections=94 compactions=0


runtime: 00:06:41.256
vars: 120355, evals: 766266

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

Memory statistics: total=977520.71MB, max=946.22MB, minor=977488.29MB, major=6538.81MB, promoted=6506.40MB
    minor collections=466160  major collections=94 compactions=0


runtime: 00:06:51.271
vars: 121901, evals: 779193

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

Memory statistics: total=999446.11MB, max=946.22MB, minor=999413.32MB, major=6661.55MB, promoted=6628.76MB
    minor collections=476616  major collections=95 compactions=0


runtime: 00:07:01.295
vars: 124448, evals: 788514

|rho|=124448
|stable|=105847
|infl|=124415
|wpoint|=552
|sides|=5543
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113959
|called|=77
Found 4661 contexts for 74 functions. Top 5 functions:
1134	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
603	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
284	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
276	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=1020298.00MB, max=946.22MB, minor=1020264.83MB, major=6787.28MB, promoted=6754.10MB
    minor collections=486559  major collections=95 compactions=0


runtime: 00:07:11.311
vars: 127723, evals: 798137

|rho|=127723
|stable|=109019
|infl|=127695
|wpoint|=564
|sides|=5690
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116939
|called|=81
Found 4808 contexts for 74 functions. Top 5 functions:
1184	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
623	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
293	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
291	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
239	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1040948.73MB, max=946.22MB, minor=1040914.85MB, major=6908.77MB, promoted=6874.89MB
    minor collections=496406  major collections=96 compactions=0


runtime: 00:07:21.342
vars: 128581, evals: 807560

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

Memory statistics: total=1062130.40MB, max=946.22MB, minor=1062096.17MB, major=7013.43MB, promoted=6979.20MB
    minor collections=506506  major collections=96 compactions=0


runtime: 00:07:31.362
vars: 132115, evals: 817520

|rho|=132115
|stable|=115663
|infl|=132081
|wpoint|=573
|sides|=5862
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120985
|called|=75
Found 4980 contexts for 74 functions. Top 5 functions:
1232	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
650	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
304	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
301	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=1083114.19MB, max=946.22MB, minor=1083075.27MB, major=7150.15MB, promoted=7111.23MB
    minor collections=516510  major collections=96 compactions=0


runtime: 00:07:41.377
vars: 134121, evals: 828540

|rho|=134121
|stable|=115159
|infl|=134093
|wpoint|=583
|sides|=5972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122772
|called|=42
Found 5090 contexts for 74 functions. Top 5 functions:
1266	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=1103998.36MB, max=946.22MB, minor=1103958.77MB, major=7265.39MB, promoted=7225.80MB
    minor collections=526469  major collections=97 compactions=0


runtime: 00:07:51.421
vars: 135375, evals: 840611

|rho|=135375
|stable|=115251
|infl|=135354
|wpoint|=583
|sides|=6021
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123927
|called|=38
Found 5139 contexts for 74 functions. Top 5 functions:
1271	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=1125232.97MB, max=1088.15MB, minor=1125193.00MB, major=7382.50MB, promoted=7342.53MB
    minor collections=536595  major collections=97 compactions=0


runtime: 00:08:01.432
vars: 136720, evals: 852672

|rho|=136720
|stable|=115914
|infl|=136696
|wpoint|=584
|sides|=6070
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125174
|called|=37
Found 5188 contexts for 74 functions. Top 5 functions:
1276	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=1147099.18MB, max=1088.15MB, minor=1147058.95MB, major=7503.26MB, promoted=7463.03MB
    minor collections=547022  major collections=98 compactions=0


runtime: 00:08:11.452
vars: 138153, evals: 864854

|rho|=138153
|stable|=116992
|infl|=138125
|wpoint|=588
|sides|=6124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126500
|called|=45
Found 5242 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=1168171.05MB, max=1088.15MB, minor=1168130.44MB, major=7616.46MB, promoted=7575.85MB
    minor collections=557070  major collections=98 compactions=0


runtime: 00:08:21.500
vars: 139708, evals: 877979

|rho|=139708
|stable|=117665
|infl|=139672
|wpoint|=586
|sides|=6183
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127937
|called|=47
Found 5301 contexts for 74 functions. Top 5 functions:
1285	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=1189925.74MB, max=1088.15MB, minor=1189884.93MB, major=7735.26MB, promoted=7694.46MB
    minor collections=567443  major collections=98 compactions=0


runtime: 00:08:31.511
vars: 141180, evals: 891600

|rho|=141180
|stable|=118230
|infl|=141157
|wpoint|=588
|sides|=6239
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129296
|called|=30
Found 5357 contexts for 74 functions. Top 5 functions:
1291	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
264	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=1211645.29MB, max=1088.15MB, minor=1211604.24MB, major=7854.98MB, promoted=7813.93MB
    minor collections=577801  major collections=99 compactions=0


runtime: 00:08:41.527
vars: 142077, evals: 900836

|rho|=142077
|stable|=121737
|infl|=142072
|wpoint|=592
|sides|=6271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130122
|called|=66
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=1232743.07MB, max=1088.15MB, minor=1232701.55MB, major=7966.19MB, promoted=7924.66MB
    minor collections=587861  major collections=99 compactions=0


runtime: 00:08:51.538
vars: 142293, evals: 908160

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

Memory statistics: total=1255442.48MB, max=1088.15MB, minor=1255400.76MB, major=8087.55MB, promoted=8045.83MB
    minor collections=598685  major collections=99 compactions=0


runtime: 00:09:01.550
vars: 146571, evals: 922802

|rho|=146571
|stable|=125455
|infl|=146527
|wpoint|=605
|sides|=6443
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134282
|called|=60
Found 5561 contexts for 74 functions. Top 5 functions:
1341	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
688	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
321	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
320	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
267	contexts for L:entry state of choices_search (625) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1808:1-1865:1

Memory statistics: total=1277362.44MB, max=1088.15MB, minor=1277317.66MB, major=8243.46MB, promoted=8198.69MB
    minor collections=609136  major collections=100 compactions=0


runtime: 00:09:11.577
vars: 151439, evals: 937137

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

Memory statistics: total=1298730.88MB, max=1088.15MB, minor=1298685.18MB, major=8398.39MB, promoted=8352.69MB
    minor collections=619325  major collections=100 compactions=0


runtime: 00:09:21.589
vars: 155788, evals: 950988

|rho|=155788
|stable|=134605
|infl|=155751
|wpoint|=627
|sides|=6823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142738
|called|=38
Found 5941 contexts for 74 functions. Top 5 functions:
1459	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
749	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
352	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
352	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
281	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=1319740.69MB, max=1088.15MB, minor=1319691.97MB, major=8550.62MB, promoted=8501.91MB
    minor collections=629343  major collections=101 compactions=0


runtime: 00:09:31.617
vars: 159638, evals: 963193

|rho|=159638
|stable|=138214
|infl|=159614
|wpoint|=643
|sides|=7029
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146174
|called|=39
Found 6147 contexts for 74 functions. Top 5 functions:
1505	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
770	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
366	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
362	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
292	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=1340162.18MB, max=1251.38MB, minor=1340112.11MB, major=8686.74MB, promoted=8636.67MB
    minor collections=639080  major collections=101 compactions=0


runtime: 00:09:41.632
vars: 164060, evals: 976092

|rho|=164060
|stable|=142668
|infl|=164032
|wpoint|=656
|sides|=7205
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150245
|called|=37
Found 6323 contexts for 74 functions. Top 5 functions:
1562	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
800	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
381	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
373	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
304	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1361366.43MB, max=1251.38MB, minor=1361315.89MB, major=8833.02MB, promoted=8782.48MB
    minor collections=649191  major collections=101 compactions=0


runtime: 00:09:51.656
vars: 167663, evals: 987618

|rho|=167663
|stable|=146222
|infl|=167618
|wpoint|=664
|sides|=7359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153542
|called|=47
Found 6477 contexts for 74 functions. Top 5 functions:
1607	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
820	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
384	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=1380868.62MB, max=1251.38MB, minor=1380817.07MB, major=8959.44MB, promoted=8907.90MB
    minor collections=658491  major collections=102 compactions=0


runtime: 00:10:01.747
vars: 171380, evals: 999257

|rho|=171380
|stable|=149875
|infl|=171338
|wpoint|=673
|sides|=7500
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156977
|called|=48
Found 6618 contexts for 74 functions. Top 5 functions:
1645	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
848	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
401	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
320	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=1401011.82MB, max=1251.38MB, minor=1400958.95MB, major=9092.84MB, promoted=9039.98MB
    minor collections=668095  major collections=102 compactions=0


runtime: 00:10:11.759
vars: 175392, evals: 1011215

|rho|=175392
|stable|=153887
|infl|=175351
|wpoint|=683
|sides|=7670
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160648
|called|=42
Found 6788 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
871	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=1421857.53MB, max=1251.38MB, minor=1421804.26MB, major=9228.70MB, promoted=9175.43MB
    minor collections=678035  major collections=102 compactions=0


runtime: 00:10:21.771
vars: 178985, evals: 1022545

|rho|=178985
|stable|=157403
|infl|=178937
|wpoint|=693
|sides|=7811
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163960
|called|=57
Found 6929 contexts for 74 functions. Top 5 functions:
1740	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
896	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
426	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
340	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=1442216.75MB, max=1251.38MB, minor=1442162.43MB, major=9358.78MB, promoted=9304.46MB
    minor collections=687744  major collections=103 compactions=0


runtime: 00:10:31.826
vars: 182340, evals: 1032427

|rho|=182340
|stable|=160745
|infl|=182307
|wpoint|=700
|sides|=7951
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167033
|called|=38
Found 7069 contexts for 74 functions. Top 5 functions:
1786	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
919	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
440	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
420	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=1462074.70MB, max=1439.09MB, minor=1462018.77MB, major=9482.44MB, promoted=9426.50MB
    minor collections=697212  major collections=103 compactions=0


runtime: 00:10:41.858
vars: 186053, evals: 1043437

|rho|=186053
|stable|=164933
|infl|=186023
|wpoint|=718
|sides|=8161
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170323
|called|=75
Found 7279 contexts for 74 functions. Top 5 functions:
1855	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
938	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
451	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
436	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
360	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=1483049.74MB, max=1439.09MB, minor=1482993.40MB, major=9614.50MB, promoted=9558.16MB
    minor collections=707214  major collections=103 compactions=0


runtime: 00:10:51.874
vars: 190030, evals: 1055116

|rho|=190030
|stable|=168419
|infl|=189998
|wpoint|=729
|sides|=8336
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173954
|called|=77
Found 7454 contexts for 74 functions. Top 5 functions:
1906	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
965	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
465	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
444	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=1504204.12MB, max=1439.09MB, minor=1504146.62MB, major=9754.09MB, promoted=9696.59MB
    minor collections=717301  major collections=104 compactions=0


runtime: 00:11:01.889
vars: 192195, evals: 1064285

|rho|=192195
|stable|=170416
|infl|=192173
|wpoint|=739
|sides|=8428
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175934
|called|=71
Found 7546 contexts for 74 functions. Top 5 functions:
1933	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
976	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
471	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
453	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
376	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1523746.24MB, max=1439.09MB, minor=1523687.71MB, major=9858.86MB, promoted=9800.34MB
    minor collections=726619  major collections=104 compactions=0


runtime: 00:11:11.968
vars: 194432, evals: 1074425

|rho|=194432
|stable|=172495
|infl|=194404
|wpoint|=746
|sides|=8525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177978
|called|=72
Found 7643 contexts for 74 functions. Top 5 functions:
1958	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
986	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
476	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
458	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=1543962.33MB, max=1439.09MB, minor=1543902.84MB, major=9971.67MB, promoted=9912.19MB
    minor collections=736259  major collections=104 compactions=0


runtime: 00:11:21.984
vars: 197391, evals: 1084174

|rho|=197391
|stable|=175265
|infl|=197355
|wpoint|=757
|sides|=8639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180710
|called|=92
Found 7757 contexts for 74 functions. Top 5 functions:
1990	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
463	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=1563393.79MB, max=1439.09MB, minor=1563333.95MB, major=10087.82MB, promoted=10027.98MB
    minor collections=745524  major collections=104 compactions=0


runtime: 00:11:31.995
vars: 199494, evals: 1092685

|rho|=199494
|stable|=177295
|infl|=199465
|wpoint|=761
|sides|=8724
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182641
|called|=89
Found 7842 contexts for 74 functions. Top 5 functions:
2013	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1016	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
491	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
469	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
392	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1582969.86MB, max=1439.09MB, minor=1582909.33MB, major=10189.17MB, promoted=10128.64MB
    minor collections=754859  major collections=105 compactions=0


runtime: 00:11:42.007
vars: 201672, evals: 1101933

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

Memory statistics: total=1602976.35MB, max=1439.09MB, minor=1602915.19MB, major=10299.44MB, promoted=10238.28MB
    minor collections=764399  major collections=105 compactions=0


runtime: 00:11:52.067
vars: 203669, evals: 1110863

|rho|=203669
|stable|=181261
|infl|=203655
|wpoint|=776
|sides|=8922
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186420
|called|=70
Found 8040 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=1621706.29MB, max=1654.95MB, minor=1621644.30MB, major=10403.43MB, promoted=10341.44MB
    minor collections=773330  major collections=105 compactions=0


runtime: 00:12:02.086
vars: 206702, evals: 1121178

|rho|=206702
|stable|=184228
|infl|=206672
|wpoint|=782
|sides|=9042
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189214
|called|=87
Found 8160 contexts for 74 functions. Top 5 functions:
2096	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1055	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
510	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
487	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=1641810.54MB, max=1654.95MB, minor=1641747.97MB, major=10523.19MB, promoted=10460.62MB
    minor collections=782916  major collections=105 compactions=0


runtime: 00:12:12.102
vars: 208709, evals: 1129550

|rho|=208709
|stable|=186133
|infl|=208686
|wpoint|=791
|sides|=9126
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191052
|called|=73
Found 8244 contexts for 74 functions. Top 5 functions:
2120	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1066	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
516	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
493	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
412	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1661046.13MB, max=1654.95MB, minor=1660982.76MB, major=10623.32MB, promoted=10559.94MB
    minor collections=792088  major collections=105 compactions=0


runtime: 00:12:22.121
vars: 210768, evals: 1137554

|rho|=210768
|stable|=188072
|infl|=210741
|wpoint|=797
|sides|=9211
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192941
|called|=80
Found 8329 contexts for 74 functions. Top 5 functions:
2143	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
498	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=1679827.30MB, max=1654.95MB, minor=1679763.00MB, major=10719.36MB, promoted=10655.07MB
    minor collections=801044  major collections=106 compactions=0


runtime: 00:12:32.133
vars: 212948, evals: 1146636

|rho|=212948
|stable|=190125
|infl|=212923
|wpoint|=805
|sides|=9316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194911
|called|=77
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=1699972.95MB, max=1654.95MB, minor=1699907.83MB, major=10830.26MB, promoted=10765.14MB
    minor collections=810650  major collections=106 compactions=0


runtime: 00:12:42.184
vars: 214987, evals: 1155882

|rho|=214987
|stable|=192063
|infl|=214960
|wpoint|=809
|sides|=9409
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196764
|called|=71
Found 8527 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=1720532.18MB, max=1654.95MB, minor=1720466.32MB, major=10943.57MB, promoted=10877.71MB
    minor collections=820453  major collections=106 compactions=0


runtime: 00:12:52.200
vars: 217703, evals: 1165700

|rho|=217703
|stable|=194649
|infl|=217661
|wpoint|=816
|sides|=9510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199281
|called|=92
Found 8628 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
1113	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=1740713.51MB, max=1654.95MB, minor=1740647.04MB, major=11059.48MB, promoted=10993.01MB
    minor collections=830076  major collections=106 compactions=0


runtime: 00:13:02.216
vars: 219969, evals: 1174268

|rho|=219969
|stable|=196782
|infl|=219935
|wpoint|=823
|sides|=9614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201337
|called|=89
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=1760188.12MB, max=1654.95MB, minor=1760120.76MB, major=11163.54MB, promoted=11096.18MB
    minor collections=839363  major collections=107 compactions=0


runtime: 00:13:12.227
vars: 221935, evals: 1182157

|rho|=221935
|stable|=198631
|infl|=221906
|wpoint|=826
|sides|=9691
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203148
|called|=89
Found 8809 contexts for 74 functions. Top 5 functions:
2270	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
527	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=1779020.31MB, max=1654.95MB, minor=1778952.02MB, major=11259.14MB, promoted=11190.85MB
    minor collections=848342  major collections=107 compactions=0


runtime: 00:13:22.259
vars: 223852, evals: 1190085

|rho|=223852
|stable|=200527
|infl|=223823
|wpoint|=831
|sides|=9783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204881
|called|=86
Found 8901 contexts for 74 functions. Top 5 functions:
2296	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1145	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
555	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
531	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
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=1798311.45MB, max=1654.95MB, minor=1798242.33MB, major=11362.79MB, promoted=11293.67MB
    minor collections=857541  major collections=107 compactions=0


runtime: 00:13:32.310
vars: 225964, evals: 1198485

|rho|=225964
|stable|=202582
|infl|=225953
|wpoint|=838
|sides|=9884
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206788
|called|=78
Found 9002 contexts for 74 functions. Top 5 functions:
2321	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1156	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
561	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
542	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
448	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1818312.73MB, max=1654.95MB, minor=1818243.06MB, major=11470.90MB, promoted=11401.23MB
    minor collections=867078  major collections=107 compactions=0


runtime: 00:13:42.326
vars: 228330, evals: 1208207

|rho|=228330
|stable|=204690
|infl|=228279
|wpoint|=844
|sides|=9981
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208965
|called|=95
Found 9099 contexts for 74 functions. Top 5 functions:
2345	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1168	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
566	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
547	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
452	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1839186.41MB, max=1654.95MB, minor=1839116.14MB, major=11587.67MB, promoted=11517.40MB
    minor collections=877032  major collections=107 compactions=0


runtime: 00:13:52.342
vars: 230767, evals: 1216607

|rho|=230767
|stable|=206882
|infl|=230733
|wpoint|=852
|sides|=10085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211192
|called|=83
Found 9203 contexts for 74 functions. Top 5 functions:
2376	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1185	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
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
552	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=1858711.63MB, max=1654.95MB, minor=1858640.30MB, major=11696.24MB, promoted=11624.91MB
    minor collections=886342  major collections=108 compactions=0


runtime: 00:14:02.357
vars: 232686, evals: 1224239

|rho|=232686
|stable|=208815
|infl|=232659
|wpoint|=857
|sides|=10160
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212960
|called|=87
Found 9278 contexts for 74 functions. Top 5 functions:
2395	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1196	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
581	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
558	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=1877688.98MB, max=1654.95MB, minor=1877616.65MB, major=11792.24MB, promoted=11719.92MB
    minor collections=895391  major collections=108 compactions=0


runtime: 00:14:12.373
vars: 233296, evals: 1230329

|rho|=233296
|stable|=209561
|infl|=233266
|wpoint|=860
|sides|=10205
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213480
|called|=72
Found 9323 contexts for 74 functions. Top 5 functions:
2407	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
561	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=1899306.11MB, max=1654.95MB, minor=1899233.06MB, major=11899.38MB, promoted=11826.34MB
    minor collections=905699  major collections=108 compactions=0


runtime: 00:14:22.412
vars: 235821, evals: 1238995

|rho|=235821
|stable|=212025
|infl|=235788
|wpoint|=866
|sides|=10284
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215848
|called|=77
Found 9402 contexts for 74 functions. Top 5 functions:
2427	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1215	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
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
565	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
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=1918562.21MB, max=1903.19MB, minor=1918488.57MB, major=12006.81MB, promoted=11933.17MB
    minor collections=914880  major collections=108 compactions=0


runtime: 00:14:32.428
vars: 237931, evals: 1247267

|rho|=237931
|stable|=214003
|infl|=237906
|wpoint|=873
|sides|=10381
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217763
|called|=74
Found 9499 contexts for 74 functions. Top 5 functions:
2459	contexts for L:entry state of tty_printf (971) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1388:1-1398:1
1226	contexts for L:entry state of match_row (3300) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:832:1-898:1
596	contexts for L:entry state of tty_sgr (3302) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1285:1-1293:1
570	contexts for L:entry state of choices_get (630) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1866:1-1877:1
476	contexts for L:entry state of tty_setfg (935) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1294:1-1305:1

Memory statistics: total=1938154.43MB, max=1903.19MB, minor=1938080.47MB, major=12106.89MB, promoted=12032.93MB
    minor collections=924223  major collections=108 compactions=0


runtime: 00:14:42.440
vars: 239665, evals: 1254893

|rho|=239665
|stable|=215706
|infl|=239650
|wpoint|=878
|sides|=10449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219359
|called|=65
Found 9567 contexts for 74 functions. Top 5 functions:
2479	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=1957530.51MB, max=1903.19MB, minor=1957456.16MB, major=12202.11MB, promoted=12127.76MB
    minor collections=933462  major collections=108 compactions=0


runtime: 00:14:52.463
vars: 240810, evals: 1260385

|rho|=240810
|stable|=219783
|infl|=240779
|wpoint|=877
|sides|=10484
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220435
|called|=73
Found 9602 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
1245	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
577	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=1978332.37MB, max=1903.19MB, minor=1978257.61MB, major=12309.57MB, promoted=12234.81MB
    minor collections=943382  major collections=109 compactions=0

