./goblint --conf conf/examples/large-program.json --enable ana.context.widen --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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/streem/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
Option warning: ana.base.context.int implicitly disabled by ana.base.context.non-ptr
Option warning: ana.base.context.interval implicitly disabled by ana.base.context.int
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.462
vars: 20912, evals: 73082

|rho|=20912
|stable|=16068
|infl|=20834
|wpoint|=278
|sides|=1908
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17236
|called|=76
Found 886 contexts for 132 functions. Top 5 functions:
120	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
119	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
72	contexts for L:entry state of strm_cfunc_value (382) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6690:1-6698:1
70	contexts for L:entry state of strm_var_def (572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8243:1-8255:1
57	contexts for L:entry state of strm_str_intern (469) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15964:1-15982:1

Memory statistics: total=29506.60MB, max=132.00MB, minor=29499.72MB, major=316.74MB, promoted=309.86MB
    minor collections=14074  major collections=17 compactions=0


runtime: 00:00:20.484
vars: 40255, evals: 146256

|rho|=40255
|stable|=31771
|infl|=40175
|wpoint|=531
|sides|=3045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34165
|called|=106
Found 1757 contexts for 181 functions. Top 5 functions:
276	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
274	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
138	contexts for L:entry state of strm_cfunc_value (382) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6690:1-6698:1
135	contexts for L:entry state of strm_var_def (572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8243:1-8255:1
123	contexts for L:entry state of strm_str_intern (469) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15964:1-15982:1

Memory statistics: total=59924.32MB, max=200.75MB, minor=59915.25MB, major=564.93MB, promoted=555.86MB
    minor collections=28580  major collections=22 compactions=0


runtime: 00:00:30.518
vars: 55190, evals: 214787

|rho|=55190
|stable|=45000
|infl|=55111
|wpoint|=935
|sides|=3717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47750
|called|=108
Found 2393 contexts for 186 functions. Top 5 functions:
324	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
319	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
138	contexts for L:entry state of strm_cfunc_value (382) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6690:1-6698:1
135	contexts for L:entry state of strm_var_def (572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8243:1-8255:1
126	contexts for L:entry state of strm_str_intern (469) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15964:1-15982:1

Memory statistics: total=91830.84MB, max=265.50MB, minor=91820.76MB, major=840.89MB, promoted=830.80MB
    minor collections=43795  major collections=25 compactions=0


runtime: 00:00:40.569
vars: 62505, evals: 276052

|rho|=62505
|stable|=49730
|infl|=62411
|wpoint|=1210
|sides|=4060
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54374
|called|=145
Found 2688 contexts for 187 functions. Top 5 functions:
346	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
340	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
147	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
138	contexts for L:entry state of strm_cfunc_value (382) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6690:1-6698:1
135	contexts for L:entry state of strm_var_def (572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8243:1-8255:1

Memory statistics: total=123000.80MB, max=351.13MB, minor=122990.26MB, major=1117.68MB, promoted=1107.14MB
    minor collections=58660  major collections=28 compactions=0


runtime: 00:00:50.584
vars: 67766, evals: 332531

|rho|=67766
|stable|=56251
|infl|=67671
|wpoint|=1439
|sides|=4253
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59257
|called|=121
Found 2875 contexts for 187 functions. Top 5 functions:
359	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
353	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
161	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
146	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1
146	contexts for L:entry state of kh_put_sym (9675) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=152699.39MB, max=403.80MB, minor=152686.37MB, major=1382.95MB, promoted=1369.93MB
    minor collections=72822  major collections=31 compactions=0


runtime: 00:01:00.614
vars: 72876, evals: 388731

|rho|=72876
|stable|=61052
|infl|=72786
|wpoint|=1732
|sides|=4438
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63994
|called|=117
Found 3060 contexts for 187 functions. Top 5 functions:
369	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
362	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
171	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
155	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
155	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=182906.65MB, max=403.80MB, minor=182893.30MB, major=1644.61MB, promoted=1631.26MB
    minor collections=87227  major collections=33 compactions=0


runtime: 00:01:10.637
vars: 83732, evals: 450578

|rho|=83732
|stable|=69395
|infl|=83640
|wpoint|=2052
|sides|=4897
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73932
|called|=117
Found 3519 contexts for 187 functions. Top 5 functions:
403	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
394	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
207	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
187	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
187	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=214386.79MB, max=464.37MB, minor=214370.94MB, major=1915.48MB, promoted=1899.63MB
    minor collections=102238  major collections=35 compactions=0


runtime: 00:01:20.659
vars: 87382, evals: 505316

|rho|=87382
|stable|=74508
|infl|=87294
|wpoint|=2240
|sides|=5040
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77295
|called|=111
Found 3662 contexts for 187 functions. Top 5 functions:
413	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
404	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
219	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
197	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
197	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=244954.05MB, max=534.03MB, minor=244937.86MB, major=2171.91MB, promoted=2155.72MB
    minor collections=116814  major collections=36 compactions=0


runtime: 00:01:30.678
vars: 92049, evals: 560376

|rho|=92049
|stable|=78813
|infl|=91972
|wpoint|=2486
|sides|=5251
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81539
|called|=108
Found 3873 contexts for 187 functions. Top 5 functions:
430	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
420	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
235	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
213	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
213	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=275531.94MB, max=534.03MB, minor=275515.41MB, major=2422.97MB, promoted=2406.44MB
    minor collections=131396  major collections=38 compactions=0


runtime: 00:01:40.708
vars: 98250, evals: 613317

|rho|=98250
|stable|=85140
|infl|=98163
|wpoint|=2670
|sides|=5467
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87311
|called|=136
Found 4089 contexts for 187 functions. Top 5 functions:
442	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
431	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
248	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
224	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
224	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=305335.79MB, max=614.13MB, minor=305319.00MB, major=2679.85MB, promoted=2663.07MB
    minor collections=145608  major collections=39 compactions=0


runtime: 00:01:50.723
vars: 105271, evals: 670179

|rho|=105271
|stable|=91834
|infl|=105200
|wpoint|=2939
|sides|=5752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93759
|called|=102
Found 4374 contexts for 187 functions. Top 5 functions:
464	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
452	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
271	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
245	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
245	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=336427.37MB, max=614.13MB, minor=336410.28MB, major=2930.62MB, promoted=2913.53MB
    minor collections=160435  major collections=41 compactions=0


runtime: 00:02:00.765
vars: 112064, evals: 724422

|rho|=112064
|stable|=98217
|infl|=111993
|wpoint|=3203
|sides|=6023
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100010
|called|=96
Found 4645 contexts for 187 functions. Top 5 functions:
483	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
470	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
291	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
263	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
263	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=367250.84MB, max=614.13MB, minor=367233.41MB, major=3185.24MB, promoted=3167.80MB
    minor collections=175134  major collections=42 compactions=0


runtime: 00:02:10.796
vars: 119132, evals: 779875

|rho|=119132
|stable|=104400
|infl|=119063
|wpoint|=3494
|sides|=6319
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106486
|called|=94
Found 4941 contexts for 187 functions. Top 5 functions:
506	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
492	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
315	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
285	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
285	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=398119.64MB, max=706.25MB, minor=398101.91MB, major=3435.62MB, promoted=3417.88MB
    minor collections=189854  major collections=43 compactions=0


runtime: 00:02:20.823
vars: 124567, evals: 832439

|rho|=124567
|stable|=109607
|infl|=124476
|wpoint|=3660
|sides|=6522
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111517
|called|=124
Found 5144 contexts for 187 functions. Top 5 functions:
518	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
503	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
328	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
296	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
296	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=428590.25MB, max=706.25MB, minor=428572.22MB, major=3679.54MB, promoted=3661.52MB
    minor collections=204384  major collections=44 compactions=0


runtime: 00:02:30.853
vars: 131414, evals: 885376

|rho|=131414
|stable|=114982
|infl|=131336
|wpoint|=3913
|sides|=6809
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117788
|called|=97
Found 5431 contexts for 187 functions. Top 5 functions:
540	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
524	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
351	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
317	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
317	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=459215.47MB, max=812.19MB, minor=459192.95MB, major=3929.65MB, promoted=3907.12MB
    minor collections=218986  major collections=46 compactions=0


runtime: 00:02:40.872
vars: 134696, evals: 936403

|rho|=134696
|stable|=119759
|infl|=134606
|wpoint|=4098
|sides|=6946
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120800
|called|=94
Found 5568 contexts for 187 functions. Top 5 functions:
551	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
535	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
364	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
328	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
328	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=489816.84MB, max=812.19MB, minor=489793.97MB, major=4165.92MB, promoted=4143.04MB
    minor collections=233579  major collections=47 compactions=0


runtime: 00:02:50.890
vars: 139208, evals: 988251

|rho|=139208
|stable|=123059
|infl|=139139
|wpoint|=4329
|sides|=7149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124902
|called|=104
Found 5771 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=520748.36MB, max=812.19MB, minor=520725.17MB, major=4405.38MB, promoted=4382.19MB
    minor collections=248328  major collections=47 compactions=0


runtime: 00:03:00.913
vars: 143393, evals: 1031869

|rho|=143393
|stable|=128419
|infl|=143314
|wpoint|=4444
|sides|=7220
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128945
|called|=89
Found 5842 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=549747.95MB, max=812.19MB, minor=549724.48MB, major=4639.91MB, promoted=4616.44MB
    minor collections=262157  major collections=48 compactions=0


runtime: 00:03:10.931
vars: 151974, evals: 1068989

|rho|=151974
|stable|=137125
|infl|=151899
|wpoint|=4588
|sides|=7386
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137194
|called|=75
Found 6008 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=576619.28MB, max=934.02MB, minor=576591.42MB, major=4901.09MB, promoted=4873.23MB
    minor collections=274969  major collections=49 compactions=0


runtime: 00:03:20.954
vars: 160174, evals: 1104956

|rho|=160174
|stable|=145257
|infl|=160099
|wpoint|=4718
|sides|=7539
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145088
|called|=85
Found 6161 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=603647.05MB, max=934.02MB, minor=603618.93MB, major=5145.19MB, promoted=5117.07MB
    minor collections=287857  major collections=50 compactions=0


runtime: 00:03:30.969
vars: 166258, evals: 1141658

|rho|=166258
|stable|=137809
|infl|=166181
|wpoint|=4811
|sides|=7643
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150964
|called|=94
Found 6265 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=631089.49MB, max=934.02MB, minor=631061.07MB, major=5380.10MB, promoted=5351.68MB
    minor collections=300943  major collections=51 compactions=0


runtime: 00:03:40.987
vars: 171608, evals: 1178812

|rho|=171608
|stable|=144841
|infl|=171542
|wpoint|=4882
|sides|=7760
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156078
|called|=90
Found 6382 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=658568.13MB, max=934.02MB, minor=658539.61MB, major=5609.60MB, promoted=5581.08MB
    minor collections=314047  major collections=52 compactions=0


runtime: 00:03:51.042
vars: 175197, evals: 1214576

|rho|=175197
|stable|=153428
|infl|=175133
|wpoint|=4935
|sides|=7836
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159515
|called|=69
Found 6458 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=685920.98MB, max=1074.12MB, minor=685892.22MB, major=5827.09MB, promoted=5798.32MB
    minor collections=327090  major collections=52 compactions=0


runtime: 00:04:01.072
vars: 176645, evals: 1248819

|rho|=176645
|stable|=156376
|infl|=176587
|wpoint|=4957
|sides|=7864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160907
|called|=87
Found 6486 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=714065.98MB, max=1074.12MB, minor=714036.94MB, major=6024.14MB, promoted=5995.10MB
    minor collections=340511  major collections=53 compactions=0


runtime: 00:04:11.091
vars: 179090, evals: 1287607

|rho|=179090
|stable|=159019
|infl|=179034
|wpoint|=5008
|sides|=7910
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163260
|called|=107
Found 6532 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=741974.97MB, max=1074.12MB, minor=741945.78MB, major=6243.57MB, promoted=6214.37MB
    minor collections=353820  major collections=54 compactions=0


runtime: 00:04:21.130
vars: 182210, evals: 1322878

|rho|=182210
|stable|=163338
|infl|=182132
|wpoint|=5055
|sides|=7968
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166266
|called|=93
Found 6590 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=770112.70MB, max=1235.24MB, minor=770083.19MB, major=6453.56MB, promoted=6424.05MB
    minor collections=367237  major collections=54 compactions=0


runtime: 00:04:31.140
vars: 184349, evals: 1361619

|rho|=184349
|stable|=165351
|infl|=184286
|wpoint|=5092
|sides|=8018
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168303
|called|=83
Found 6640 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=798771.11MB, max=1235.24MB, minor=798741.35MB, major=6663.41MB, promoted=6633.65MB
    minor collections=380903  major collections=55 compactions=0


runtime: 00:04:41.171
vars: 186497, evals: 1399510

|rho|=186497
|stable|=169632
|infl|=186423
|wpoint|=5135
|sides|=8068
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170353
|called|=82
Found 6690 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=827121.70MB, max=1235.24MB, minor=827091.62MB, major=6871.28MB, promoted=6841.21MB
    minor collections=394422  major collections=55 compactions=0


runtime: 00:04:51.185
vars: 192722, evals: 1431287

|rho|=192722
|stable|=175101
|infl|=192645
|wpoint|=5235
|sides|=8188
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176338
|called|=94
Found 6810 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=854760.71MB, max=1235.24MB, minor=854730.18MB, major=7093.97MB, promoted=7063.44MB
    minor collections=407602  major collections=56 compactions=0


runtime: 00:05:01.200
vars: 200647, evals: 1465070

|rho|=200647
|stable|=182466
|infl|=200567
|wpoint|=5367
|sides|=8341
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183959
|called|=75
Found 6963 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1
343	contexts for L:entry state of readonly_data_p (9670) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15550:1-15566:1

Memory statistics: total=881571.72MB, max=1235.24MB, minor=881540.80MB, major=7340.02MB, promoted=7309.10MB
    minor collections=420387  major collections=57 compactions=0


runtime: 00:05:11.230
vars: 208709, evals: 1496610

|rho|=208709
|stable|=189935
|infl|=208629
|wpoint|=5499
|sides|=8494
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191713
|called|=82
Found 7116 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
365	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1

Memory statistics: total=908819.21MB, max=1420.53MB, minor=908787.78MB, major=7573.08MB, promoted=7541.64MB
    minor collections=433379  major collections=57 compactions=0


runtime: 00:05:21.244
vars: 216712, evals: 1529161

|rho|=216712
|stable|=197474
|infl|=216648
|wpoint|=5596
|sides|=8635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199432
|called|=73
Found 7257 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
396	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1

Memory statistics: total=935313.88MB, max=1420.53MB, minor=935282.28MB, major=7808.15MB, promoted=7776.56MB
    minor collections=446014  major collections=58 compactions=0


runtime: 00:05:31.283
vars: 223020, evals: 1557890

|rho|=223020
|stable|=206521
|infl|=222964
|wpoint|=5680
|sides|=8765
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205480
|called|=65
Found 7387 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
424	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
343	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1

Memory statistics: total=962238.93MB, max=1420.53MB, minor=962206.89MB, major=8023.97MB, promoted=7991.93MB
    minor collections=458852  major collections=58 compactions=0


runtime: 00:05:41.294
vars: 231590, evals: 1589007

|rho|=231590
|stable|=215708
|infl|=231523
|wpoint|=5804
|sides|=8923
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213736
|called|=65
Found 7545 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
464	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
356	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1

Memory statistics: total=989072.96MB, max=1420.53MB, minor=989040.70MB, major=8255.64MB, promoted=8223.38MB
    minor collections=471649  major collections=59 compactions=0


runtime: 00:05:51.348
vars: 238265, evals: 1618046

|rho|=238265
|stable|=222097
|infl|=238198
|wpoint|=5912
|sides|=9043
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220171
|called|=67
Found 7665 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
494	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
379	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
375	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1

Memory statistics: total=1016482.12MB, max=1633.61MB, minor=1016449.17MB, major=8471.09MB, promoted=8438.14MB
    minor collections=484718  major collections=59 compactions=0


runtime: 00:06:01.359
vars: 244242, evals: 1648218

|rho|=244242
|stable|=222964
|infl|=244186
|wpoint|=6017
|sides|=9135
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225962
|called|=67
Found 7757 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
516	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
390	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
388	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1043451.51MB, max=1633.61MB, minor=1043418.34MB, major=8691.27MB, promoted=8658.11MB
    minor collections=497579  major collections=60 compactions=0


runtime: 00:06:11.389
vars: 248806, evals: 1673674

|rho|=248806
|stable|=228763
|infl|=248740
|wpoint|=6076
|sides|=9214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230369
|called|=68
Found 7836 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
534	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
408	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
406	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1070506.83MB, max=1633.61MB, minor=1070473.06MB, major=8885.27MB, promoted=8851.50MB
    minor collections=510480  major collections=60 compactions=0


runtime: 00:06:21.432
vars: 252424, evals: 1700863

|rho|=252424
|stable|=236022
|infl|=252370
|wpoint|=6128
|sides|=9282
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233850
|called|=65
Found 7904 contexts for 187 functions. Top 5 functions:
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
550	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
424	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
422	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1097281.99MB, max=1633.61MB, minor=1097247.91MB, major=9082.85MB, promoted=9048.77MB
    minor collections=523247  major collections=60 compactions=0


runtime: 00:06:31.450
vars: 262145, evals: 1732023

|rho|=262145
|stable|=242081
|infl|=262092
|wpoint|=6237
|sides|=9526
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243080
|called|=53
Found 4003 contexts for 130 functions. Top 5 functions:
304	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
296	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
253	contexts for L:entry state of strm_str_intern (469) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15964:1-15982:1
220	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
219	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1

Memory statistics: total=1124358.72MB, max=1633.61MB, minor=1124320.02MB, major=9296.25MB, promoted=9257.55MB
    minor collections=536158  major collections=61 compactions=0


runtime: 00:06:41.481
vars: 271754, evals: 1761498

|rho|=271754
|stable|=250399
|infl|=271704
|wpoint|=6385
|sides|=9778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252186
|called|=49
Found 8400 contexts for 187 functions. Top 5 functions:
605	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
528	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
477	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1151595.93MB, max=1878.66MB, minor=1151551.84MB, major=9501.29MB, promoted=9457.20MB
    minor collections=549144  major collections=61 compactions=0


runtime: 00:06:51.495
vars: 283865, evals: 1794814

|rho|=283865
|stable|=262367
|infl|=283819
|wpoint|=6543
|sides|=10093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263667
|called|=64
Found 8715 contexts for 187 functions. Top 5 functions:
633	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
581	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
505	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1178137.25MB, max=1878.66MB, minor=1178084.50MB, major=9726.01MB, promoted=9673.25MB
    minor collections=561798  major collections=61 compactions=0


runtime: 00:07:01.510
vars: 292622, evals: 1822801

|rho|=292622
|stable|=269417
|infl|=292570
|wpoint|=6666
|sides|=10268
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272074
|called|=63
Found 8890 contexts for 187 functions. Top 5 functions:
663	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
641	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
550	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
535	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1205912.86MB, max=1878.66MB, minor=1205859.12MB, major=9927.82MB, promoted=9874.08MB
    minor collections=575042  major collections=62 compactions=0


runtime: 00:07:11.544
vars: 302055, evals: 1851159

|rho|=302055
|stable|=281724
|infl|=301996
|wpoint|=6762
|sides|=10469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281108
|called|=62
Found 9091 contexts for 187 functions. Top 5 functions:
710	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
700	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
572	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
571	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
567	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1233858.13MB, max=1878.66MB, minor=1233803.34MB, major=10133.77MB, promoted=10078.98MB
    minor collections=588367  major collections=62 compactions=0


runtime: 00:07:21.555
vars: 311452, evals: 1882527

|rho|=311452
|stable|=291650
|infl|=311403
|wpoint|=6915
|sides|=10677
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=290090
|called|=61
Found 9299 contexts for 187 functions. Top 5 functions:
767	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
734	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
605	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
604	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
568	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1261497.58MB, max=1878.66MB, minor=1261442.56MB, major=10345.39MB, promoted=10290.36MB
    minor collections=601547  major collections=62 compactions=0


runtime: 00:07:31.565
vars: 317009, evals: 1923634

|rho|=317009
|stable|=295809
|infl|=316929
|wpoint|=7084
|sides|=10898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295207
|called|=102
Found 9520 contexts for 187 functions. Top 5 functions:
771	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
740	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
608	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
608	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
583	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1293533.44MB, max=1878.66MB, minor=1293477.44MB, major=10532.98MB, promoted=10476.99MB
    minor collections=616823  major collections=63 compactions=0


runtime: 00:07:41.628
vars: 326383, evals: 1975829

|rho|=326383
|stable|=303720
|infl|=326299
|wpoint|=7323
|sides|=11293
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=303791
|called|=111
Found 9915 contexts for 187 functions. Top 5 functions:
774	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
744	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
612	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
610	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
610	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=1324685.58MB, max=2160.46MB, minor=1324621.86MB, major=10768.80MB, promoted=10705.07MB
    minor collections=631674  major collections=63 compactions=0


runtime: 00:07:51.634
vars: 335503, evals: 2041439

|rho|=335503
|stable|=311862
|infl|=335426
|wpoint|=7684
|sides|=11664
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=312167
|called|=97
Found 10286 contexts for 187 functions. Top 5 functions:
777	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
750	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
640	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
618	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
614	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1354804.04MB, max=2160.46MB, minor=1354739.65MB, major=11053.94MB, promoted=10989.54MB
    minor collections=646036  major collections=64 compactions=0


runtime: 00:08:01.680
vars: 341769, evals: 2101082

|rho|=341769
|stable|=317615
|infl|=341682
|wpoint|=7942
|sides|=11904
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=317957
|called|=108
Found 10526 contexts for 187 functions. Top 5 functions:
785	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
761	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
655	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
633	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
622	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1382902.03MB, max=2160.46MB, minor=1382837.03MB, major=11325.68MB, promoted=11260.69MB
    minor collections=659435  major collections=64 compactions=0


runtime: 00:08:11.742
vars: 349130, evals: 2163377

|rho|=349130
|stable|=324747
|infl|=349040
|wpoint|=8254
|sides|=12183
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324759
|called|=93
Found 10805 contexts for 187 functions. Top 5 functions:
792	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
771	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
674	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
651	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
629	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1412225.52MB, max=2484.53MB, minor=1412159.92MB, major=11604.91MB, promoted=11539.31MB
    minor collections=673417  major collections=64 compactions=0


runtime: 00:08:21.753
vars: 357157, evals: 2227266

|rho|=357157
|stable|=331441
|infl|=357073
|wpoint|=8551
|sides|=12507
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=332135
|called|=102
Found 11129 contexts for 187 functions. Top 5 functions:
795	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
775	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
697	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
672	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
632	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1441932.42MB, max=2484.53MB, minor=1441866.37MB, major=11885.06MB, promoted=11819.01MB
    minor collections=687583  major collections=65 compactions=0


runtime: 00:08:31.807
vars: 364294, evals: 2289209

|rho|=364294
|stable|=337428
|infl|=364217
|wpoint|=8881
|sides|=12811
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=338664
|called|=129
Found 11433 contexts for 187 functions. Top 5 functions:
798	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
779	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
720	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
694	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
635	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1471033.36MB, max=2484.53MB, minor=1470966.92MB, major=12154.33MB, promoted=12087.88MB
    minor collections=701460  major collections=65 compactions=0


runtime: 00:08:41.826
vars: 370539, evals: 2349837

|rho|=370539
|stable|=345404
|infl|=370465
|wpoint|=9099
|sides|=13034
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=344465
|called|=84
Found 11656 contexts for 187 functions. Top 5 functions:
807	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
791	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
734	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
708	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
643	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1500171.57MB, max=2484.53MB, minor=1500104.82MB, major=12437.08MB, promoted=12370.32MB
    minor collections=715354  major collections=65 compactions=0


runtime: 00:08:51.832
vars: 380694, evals: 2415908

|rho|=380694
|stable|=354203
|infl|=380614
|wpoint|=9430
|sides|=13454
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=353781
|called|=96
Found 12076 contexts for 187 functions. Top 5 functions:
809	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
796	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
767	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
739	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
646	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1529999.64MB, max=2484.53MB, minor=1529932.54MB, major=12711.48MB, promoted=12644.38MB
    minor collections=729578  major collections=66 compactions=0


runtime: 00:09:01.882
vars: 386218, evals: 2475983

|rho|=386218
|stable|=359808
|infl|=386151
|wpoint|=9742
|sides|=13670
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=358870
|called|=78
Found 12292 contexts for 187 functions. Top 5 functions:
815	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
804	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
781	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
752	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
652	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1558857.93MB, max=2484.53MB, minor=1558790.52MB, major=12980.48MB, promoted=12913.07MB
    minor collections=743338  major collections=66 compactions=0


runtime: 00:09:11.897
vars: 393198, evals: 2540337

|rho|=393198
|stable|=366988
|infl|=393125
|wpoint|=10041
|sides|=13945
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=365302
|called|=85
Found 12567 contexts for 187 functions. Top 5 functions:
820	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
812	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
800	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
770	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
657	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1588552.71MB, max=2484.53MB, minor=1588485.03MB, major=13259.18MB, promoted=13191.51MB
    minor collections=757498  major collections=66 compactions=0


runtime: 00:09:21.907
vars: 403240, evals: 2604432

|rho|=403240
|stable|=375163
|infl|=403143
|wpoint|=10280
|sides|=14353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=374531
|called|=102
Found 12975 contexts for 187 functions. Top 5 functions:
828	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
826	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
821	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
797	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
663	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1618070.72MB, max=2484.53MB, minor=1618002.75MB, major=13533.64MB, promoted=13465.66MB
    minor collections=771574  major collections=67 compactions=0


runtime: 00:09:31.958
vars: 409084, evals: 2665991

|rho|=409084
|stable|=381180
|infl|=409007
|wpoint|=10594
|sides|=14614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379851
|called|=94
Found 13236 contexts for 187 functions. Top 5 functions:
849	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
828	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
824	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
817	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
676	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1

Memory statistics: total=1646967.01MB, max=2857.21MB, minor=1646898.78MB, major=13799.46MB, promoted=13731.23MB
    minor collections=785353  major collections=67 compactions=0


runtime: 00:09:41.968
vars: 413888, evals: 2726406

|rho|=413888
|stable|=387067
|infl|=413812
|wpoint|=10869
|sides|=14780
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=384323
|called|=77
Found 13402 contexts for 187 functions. Top 5 functions:
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
833	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
832	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
828	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
687	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1

Memory statistics: total=1676209.81MB, max=2857.21MB, minor=1676141.38MB, major=14071.14MB, promoted=14002.71MB
    minor collections=799297  major collections=67 compactions=0


runtime: 00:09:51.982
vars: 426016, evals: 2772895

|rho|=426016
|stable|=399127
|infl|=425960
|wpoint|=11066
|sides|=15005
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=395996
|called|=57
Found 13627 contexts for 187 functions. Top 5 functions:
888	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
871	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
828	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
708	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1700476.84MB, max=2857.21MB, minor=1700408.17MB, major=14375.10MB, promoted=14306.44MB
    minor collections=810869  major collections=68 compactions=0


runtime: 00:10:02.025
vars: 438165, evals: 2819800

|rho|=438165
|stable|=410264
|infl|=438090
|wpoint|=11255
|sides|=15229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=407699
|called|=95
Found 13851 contexts for 187 functions. Top 5 functions:
944	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
907	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
828	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
744	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1724738.58MB, max=2857.21MB, minor=1724669.71MB, major=14678.03MB, promoted=14609.16MB
    minor collections=822438  major collections=68 compactions=0


runtime: 00:10:12.043
vars: 451011, evals: 2866418

|rho|=451011
|stable|=422496
|infl|=450951
|wpoint|=11454
|sides|=15477
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=420047
|called|=63
Found 14099 contexts for 187 functions. Top 5 functions:
1006	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
951	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
828	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
788	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1749410.85MB, max=2857.21MB, minor=1749341.82MB, major=14989.87MB, promoted=14920.85MB
    minor collections=834204  major collections=69 compactions=0


runtime: 00:10:22.053
vars: 463714, evals: 2911904

|rho|=463714
|stable|=434370
|infl|=463648
|wpoint|=11650
|sides|=15713
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=432280
|called|=77
Found 14335 contexts for 187 functions. Top 5 functions:
1065	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
990	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
828	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
827	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1773225.76MB, max=2857.21MB, minor=1773156.56MB, major=15291.57MB, promoted=15222.36MB
    minor collections=845560  major collections=69 compactions=0


runtime: 00:10:32.104
vars: 478423, evals: 2959735

|rho|=478423
|stable|=421742
|infl|=478346
|wpoint|=11849
|sides|=15981
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=446453
|called|=118
Found 14603 contexts for 187 functions. Top 5 functions:
1123	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1034	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
867	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
867	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1797229.19MB, max=2857.21MB, minor=1797159.83MB, major=15599.05MB, promoted=15529.68MB
    minor collections=857006  major collections=69 compactions=0


runtime: 00:10:42.114
vars: 488550, evals: 3007043

|rho|=488550
|stable|=433104
|infl|=488479
|wpoint|=11964
|sides|=16214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=456114
|called|=90
Found 14836 contexts for 187 functions. Top 5 functions:
1156	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1067	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
900	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
900	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1822614.15MB, max=2857.21MB, minor=1822544.66MB, major=15879.25MB, promoted=15809.76MB
    minor collections=869110  major collections=69 compactions=0


runtime: 00:10:52.120
vars: 501421, evals: 3054239

|rho|=501421
|stable|=450674
|infl|=501353
|wpoint|=12118
|sides|=16521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=468368
|called|=61
Found 15143 contexts for 187 functions. Top 5 functions:
1192	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1130	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
936	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
936	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1846456.90MB, max=2857.21MB, minor=1846386.98MB, major=16161.12MB, promoted=16091.20MB
    minor collections=880480  major collections=70 compactions=0


runtime: 00:11:02.199
vars: 509797, evals: 3098192

|rho|=509797
|stable|=462391
|infl|=509741
|wpoint|=12277
|sides|=16741
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476305
|called|=63
Found 15363 contexts for 187 functions. Top 5 functions:
1216	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1177	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
960	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
960	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1870380.68MB, max=3285.79MB, minor=1870310.64MB, major=16404.03MB, promoted=16333.98MB
    minor collections=891888  major collections=70 compactions=0


runtime: 00:11:12.217
vars: 518631, evals: 3147948

|rho|=518631
|stable|=463810
|infl|=518579
|wpoint|=12377
|sides|=16961
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=484698
|called|=47
Found 15583 contexts for 187 functions. Top 5 functions:
1241	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1219	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
985	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
984	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1896548.87MB, max=3285.79MB, minor=1896478.72MB, major=16666.23MB, promoted=16596.08MB
    minor collections=904366  major collections=70 compactions=0


runtime: 00:11:22.223
vars: 526741, evals: 3195968

|rho|=526741
|stable|=470524
|infl|=526683
|wpoint|=12533
|sides|=17169
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492392
|called|=52
Found 15791 contexts for 187 functions. Top 5 functions:
1260	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1243	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1004	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1004	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1921416.50MB, max=3285.79MB, minor=1921329.43MB, major=16939.05MB, promoted=16851.98MB
    minor collections=916218  major collections=71 compactions=0


runtime: 00:11:32.233
vars: 536328, evals: 3239816

|rho|=536328
|stable|=487266
|infl|=536279
|wpoint|=12687
|sides|=17375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501566
|called|=64
Found 15997 contexts for 187 functions. Top 5 functions:
1308	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1297	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1041	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1041	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
861	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1945143.33MB, max=3285.79MB, minor=1945056.12MB, major=17193.70MB, promoted=17106.49MB
    minor collections=927532  major collections=71 compactions=0


runtime: 00:11:42.368
vars: 549399, evals: 3285650

|rho|=549399
|stable|=505593
|infl|=549348
|wpoint|=12850
|sides|=17666
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514057
|called|=91
Found 16288 contexts for 187 functions. Top 5 functions:
1390	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1352	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1096	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1096	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
866	contexts for L:entry state of pattern_match (9334) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1969021.19MB, max=3285.79MB, minor=1968933.80MB, major=17473.12MB, promoted=17385.72MB
    minor collections=938918  major collections=71 compactions=0


runtime: 00:11:52.382
vars: 561533, evals: 3329937

|rho|=561533
|stable|=527393
|infl|=561493
|wpoint|=12993
|sides|=17902
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525717
|called|=43
Found 16524 contexts for 187 functions. Top 5 functions:
1460	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1398	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1142	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1142	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
866	contexts for L:entry state of pattern_match (9334) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1991987.13MB, max=3285.79MB, minor=1991882.83MB, major=17761.67MB, promoted=17657.36MB
    minor collections=949864  major collections=71 compactions=0


runtime: 00:12:02.392
vars: 574306, evals: 3393734

|rho|=574306
|stable|=541886
|infl|=574210
|wpoint|=13269
|sides|=18378
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=537547
|called|=98
Found 17000 contexts for 187 functions. Top 5 functions:
1484	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1414	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1158	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1158	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
891	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2021057.14MB, max=3285.79MB, minor=2020952.64MB, major=18032.32MB, promoted=17927.82MB
    minor collections=963726  major collections=72 compactions=0


runtime: 00:12:12.402
vars: 585325, evals: 3457477

|rho|=585325
|stable|=550823
|infl|=585248
|wpoint|=13614
|sides|=18842
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=547633
|called|=90
Found 17464 contexts for 187 functions. Top 5 functions:
1488	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1419	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1162	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1162	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
925	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2050259.73MB, max=3285.79MB, minor=2050154.98MB, major=18303.49MB, promoted=18198.74MB
    minor collections=977651  major collections=72 compactions=0


runtime: 00:12:22.541
vars: 592072, evals: 3517707

|rho|=592072
|stable|=556910
|infl|=591995
|wpoint|=13904
|sides|=19111
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=553842
|called|=103
Found 17733 contexts for 187 functions. Top 5 functions:
1492	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1425	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1166	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1166	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
944	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2078686.74MB, max=3778.66MB, minor=2078581.73MB, major=18575.27MB, promoted=18470.25MB
    minor collections=991206  major collections=72 compactions=0


runtime: 00:12:32.563
vars: 599753, evals: 3579847

|rho|=599753
|stable|=563683
|infl|=599678
|wpoint|=14202
|sides|=19411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=560923
|called|=95
Found 18033 contexts for 187 functions. Top 5 functions:
1498	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1435	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1172	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1172	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
965	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2108104.33MB, max=3778.66MB, minor=2107999.12MB, major=18853.03MB, promoted=18747.82MB
    minor collections=1005234  major collections=72 compactions=0


runtime: 00:12:42.574
vars: 606790, evals: 3639817

|rho|=606790
|stable|=570304
|infl|=606694
|wpoint|=14476
|sides|=19674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=567435
|called|=118
Found 18296 contexts for 187 functions. Top 5 functions:
1506	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1444	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1180	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1180	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
982	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2136771.01MB, max=3778.66MB, minor=2136665.56MB, major=19123.82MB, promoted=19018.36MB
    minor collections=1018904  major collections=73 compactions=0


runtime: 00:12:52.588
vars: 613919, evals: 3697172

|rho|=613919
|stable|=576421
|infl|=613837
|wpoint|=14791
|sides|=19977
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=573957
|called|=98
Found 18599 contexts for 187 functions. Top 5 functions:
1508	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1448	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1182	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1182	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
1005	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2164148.93MB, max=3778.66MB, minor=2164043.22MB, major=19379.79MB, promoted=19274.08MB
    minor collections=1031959  major collections=73 compactions=0


runtime: 00:13:02.627
vars: 620175, evals: 3756182

|rho|=620175
|stable|=582095
|infl|=620098
|wpoint|=15036
|sides|=20240
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=579687
|called|=118
Found 18862 contexts for 187 functions. Top 5 functions:
1511	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1453	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1185	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1185	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
1024	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2192584.85MB, max=3778.66MB, minor=2192478.84MB, major=19640.09MB, promoted=19534.08MB
    minor collections=1045518  major collections=73 compactions=0


runtime: 00:13:12.728
vars: 622702, evals: 3810949

|rho|=622702
|stable|=586891
|infl|=622624
|wpoint|=15193
|sides|=20316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=582063
|called|=79
Found 18938 contexts for 187 functions. Top 5 functions:
1517	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1462	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1191	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1191	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
1028	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2220135.30MB, max=4345.46MB, minor=2220029.06MB, major=19899.55MB, promoted=19793.31MB
    minor collections=1058655  major collections=73 compactions=0


runtime: 00:13:22.739
vars: 633812, evals: 3874015

|rho|=633812
|stable|=595742
|infl|=633743
|wpoint|=15510
|sides|=20776
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=592252
|called|=81
Found 19398 contexts for 187 functions. Top 5 functions:
1521	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1470	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1195	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1195	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
1062	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2249289.95MB, max=4345.46MB, minor=2249183.53MB, major=20169.56MB, promoted=20063.14MB
    minor collections=1072558  major collections=73 compactions=0


runtime: 00:13:32.749
vars: 640208, evals: 3936680

|rho|=640208
|stable|=601322
|infl|=640127
|wpoint|=15807
|sides|=21037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=598128
|called|=119
Found 19659 contexts for 187 functions. Top 5 functions:
1525	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1476	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1199	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1198	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
1081	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2278899.40MB, max=4345.46MB, minor=2278792.75MB, major=20445.92MB, promoted=20339.27MB
    minor collections=1086677  major collections=74 compactions=0


runtime: 00:13:42.760
vars: 646238, evals: 3994741

|rho|=646238
|stable|=607802
|infl|=646155
|wpoint|=16012
|sides|=21271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=603690
|called|=109
Found 19893 contexts for 187 functions. Top 5 functions:
1530	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1484	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
1204	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
1204	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
1097	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=2306610.62MB, max=4345.46MB, minor=2306503.74MB, major=20705.16MB, promoted=20598.28MB
    minor collections=1099891  major collections=74 compactions=0

