./goblint --conf conf/examples/large-program.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --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.455
vars: 62597, evals: 94167

|rho|=62597
|stable|=55469
|infl|=62307
|wpoint|=158
|sides|=3814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54991
|called|=435
Found 2519 contexts for 181 functions. Top 5 functions:
317	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
312	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=25326.07MB, max=200.75MB, minor=25316.73MB, major=355.36MB, promoted=346.02MB
    minor collections=12080  major collections=16 compactions=0


runtime: 00:00:20.502
vars: 95667, evals: 156190

|rho|=95667
|stable|=87273
|infl|=95130
|wpoint|=307
|sides|=4807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86099
|called|=818
Found 3449 contexts for 186 functions. Top 5 functions:
353	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
346	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
155	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
140	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
139	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=48753.76MB, max=351.13MB, minor=48739.67MB, major=621.62MB, promoted=607.53MB
    minor collections=23250  major collections=18 compactions=0


runtime: 00:00:30.539
vars: 101073, evals: 195243

|rho|=101073
|stable|=92451
|infl|=100585
|wpoint|=324
|sides|=4925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91260
|called|=715
Found 3547 contexts for 187 functions. Top 5 functions:
355	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
348	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
168	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
157	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
141	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=72165.75MB, max=403.80MB, minor=72151.49MB, major=825.11MB, promoted=810.85MB
    minor collections=34415  major collections=20 compactions=0


runtime: 00:00:40.558
vars: 106092, evals: 235299

|rho|=106092
|stable|=95917
|infl|=105649
|wpoint|=351
|sides|=5028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96067
|called|=664
Found 3650 contexts for 187 functions. Top 5 functions:
355	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
348	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
197	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
157	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
141	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=95791.41MB, max=464.37MB, minor=95777.01MB, major=1033.12MB, promoted=1018.73MB
    minor collections=45682  major collections=22 compactions=0


runtime: 00:00:50.594
vars: 113915, evals: 274028

|rho|=113915
|stable|=102763
|infl|=113532
|wpoint|=382
|sides|=5179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103582
|called|=565
Found 3801 contexts for 187 functions. Top 5 functions:
357	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
350	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
245	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
159	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
143	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=119110.81MB, max=464.37MB, minor=119096.19MB, major=1242.36MB, promoted=1227.73MB
    minor collections=56802  major collections=23 compactions=0


runtime: 00:01:00.638
vars: 115836, evals: 309260

|rho|=115836
|stable|=101620
|infl|=115491
|wpoint|=405
|sides|=5193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105471
|called|=618
Found 3815 contexts for 187 functions. Top 5 functions:
357	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
350	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
254	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
159	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
143	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=142269.02MB, max=534.03MB, minor=142254.36MB, major=1429.39MB, promoted=1414.72MB
    minor collections=67845  major collections=24 compactions=0


runtime: 00:01:10.653
vars: 135739, evals: 357075

|rho|=135739
|stable|=123416
|infl|=135309
|wpoint|=474
|sides|=5744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124282
|called|=670
Found 4366 contexts for 187 functions. Top 5 functions:
378	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
370	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
329	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
181	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
163	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=165926.49MB, max=534.03MB, minor=165907.25MB, major=1664.39MB, promoted=1645.15MB
    minor collections=79125  major collections=26 compactions=0


runtime: 00:01:20.692
vars: 138544, evals: 391114

|rho|=138544
|stable|=123042
|infl|=138177
|wpoint|=492
|sides|=5770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127027
|called|=596
Found 4392 contexts for 187 functions. Top 5 functions:
378	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
370	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
343	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
181	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
164	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1

Memory statistics: total=189755.37MB, max=614.13MB, minor=189736.01MB, major=1850.53MB, promoted=1831.17MB
    minor collections=90488  major collections=26 compactions=0


runtime: 00:01:30.728
vars: 148109, evals: 429824

|rho|=148109
|stable|=133328
|infl|=147809
|wpoint|=524
|sides|=5976
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136174
|called|=461
Found 4598 contexts for 187 functions. Top 5 functions:
398	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
380	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
372	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
200	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
183	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=213132.63MB, max=706.25MB, minor=213108.77MB, major=2059.51MB, promoted=2035.65MB
    minor collections=101634  major collections=27 compactions=0


runtime: 00:01:40.751
vars: 151908, evals: 463973

|rho|=151908
|stable|=136290
|infl|=151662
|wpoint|=531
|sides|=6022
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139875
|called|=386
Found 4644 contexts for 187 functions. Top 5 functions:
418	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
380	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
372	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 ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
183	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=237077.02MB, max=706.25MB, minor=237052.98MB, major=2252.36MB, promoted=2228.32MB
    minor collections=113052  major collections=28 compactions=0


runtime: 00:01:50.819
vars: 179324, evals: 514909

|rho|=179324
|stable|=165116
|infl|=178872
|wpoint|=656
|sides|=6830
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165697
|called|=659
Found 5452 contexts for 187 functions. Top 5 functions:
502	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
412	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
402	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
247	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
234	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=261992.44MB, max=812.19MB, minor=261967.79MB, major=2489.31MB, promoted=2464.66MB
    minor collections=124933  major collections=29 compactions=0


runtime: 00:02:00.854
vars: 184687, evals: 545936

|rho|=184687
|stable|=168823
|infl|=184284
|wpoint|=683
|sides|=6928
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170858
|called|=649
Found 5550 contexts for 187 functions. Top 5 functions:
530	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
414	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
264	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
234	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=286367.88MB, max=812.19MB, minor=286342.96MB, major=2672.26MB, promoted=2647.33MB
    minor collections=136557  major collections=30 compactions=0


runtime: 00:02:10.873
vars: 186444, evals: 575829

|rho|=186444
|stable|=171028
|infl|=186066
|wpoint|=671
|sides|=6942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172585
|called|=563
Found 5564 contexts for 187 functions. Top 5 functions:
539	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
414	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
264	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
234	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=310895.73MB, max=812.19MB, minor=310870.77MB, major=2844.42MB, promoted=2819.45MB
    minor collections=148254  major collections=31 compactions=0


runtime: 00:02:20.921
vars: 194911, evals: 610153

|rho|=194911
|stable|=176851
|infl|=194620
|wpoint|=715
|sides|=7114
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180698
|called|=436
Found 5736 contexts for 187 functions. Top 5 functions:
583	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
418	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
408	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
289	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
240	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=335938.35MB, max=934.02MB, minor=335913.05MB, major=3041.58MB, promoted=3016.28MB
    minor collections=160195  major collections=31 compactions=0


runtime: 00:02:30.937
vars: 202469, evals: 644172

|rho|=202469
|stable|=185306
|infl|=202181
|wpoint|=716
|sides|=7340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187809
|called|=405
Found 5962 contexts for 187 functions. Top 5 functions:
609	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
429	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
419	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
305	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
252	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=361633.18MB, max=934.02MB, minor=361607.57MB, major=3228.41MB, promoted=3202.80MB
    minor collections=172448  major collections=32 compactions=0


runtime: 00:02:40.960
vars: 217150, evals: 682196

|rho|=217150
|stable|=198701
|infl|=216835
|wpoint|=813
|sides|=7701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201767
|called|=507
Found 6323 contexts for 187 functions. Top 5 functions:
673	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
437	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
426	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
340	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
282	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=386564.30MB, max=934.02MB, minor=386538.21MB, major=3435.11MB, promoted=3409.03MB
    minor collections=184336  major collections=33 compactions=0


runtime: 00:02:51.016
vars: 219769, evals: 709816

|rho|=219769
|stable|=199715
|infl|=219504
|wpoint|=821
|sides|=7726
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204330
|called|=472
Found 6348 contexts for 187 functions. Top 5 functions:
686	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
437	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
426	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
343	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
282	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=411058.53MB, max=1074.12MB, minor=411032.27MB, major=3601.37MB, promoted=3575.12MB
    minor collections=196016  major collections=33 compactions=0


runtime: 00:03:01.031
vars: 227019, evals: 743108

|rho|=227019
|stable|=207292
|infl|=226803
|wpoint|=855
|sides|=7889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211250
|called|=339
Found 6511 contexts for 187 functions. Top 5 functions:
724	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
441	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
430	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
366	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
291	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=436196.53MB, max=1074.12MB, minor=436170.00MB, major=3790.56MB, promoted=3764.04MB
    minor collections=208004  major collections=34 compactions=0


runtime: 00:03:11.072
vars: 230389, evals: 773181

|rho|=230389
|stable|=212189
|infl|=230223
|wpoint|=855
|sides|=7936
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214520
|called|=226
Found 6558 contexts for 187 functions. Top 5 functions:
747	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
441	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
430	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
373	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
297	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=461320.58MB, max=1235.24MB, minor=461293.83MB, major=3964.03MB, promoted=3937.28MB
    minor collections=219984  major collections=34 compactions=0


runtime: 00:03:21.084
vars: 258280, evals: 822269

|rho|=258280
|stable|=239463
|infl|=257878
|wpoint|=955
|sides|=8861
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240590
|called|=588
Found 7483 contexts for 187 functions. Top 5 functions:
808	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
488	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
474	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
402	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
342	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=487935.18MB, max=1235.24MB, minor=487907.52MB, major=4187.56MB, promoted=4159.90MB
    minor collections=232675  major collections=35 compactions=0


runtime: 00:03:31.139
vars: 269659, evals: 853554

|rho|=269659
|stable|=249843
|infl|=269250
|wpoint|=1021
|sides|=9111
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251467
|called|=606
Found 7733 contexts for 187 functions. Top 5 functions:
859	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
494	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
480	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
432	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
354	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=512170.43MB, max=1235.24MB, minor=512133.80MB, major=4380.44MB, promoted=4343.81MB
    minor collections=244230  major collections=35 compactions=0


runtime: 00:03:41.155
vars: 272030, evals: 878848

|rho|=272030
|stable|=248751
|infl|=271680
|wpoint|=1035
|sides|=9133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253786
|called|=531
Found 7755 contexts for 187 functions. Top 5 functions:
869	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
494	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
480	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
435	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
354	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=536815.95MB, max=1235.24MB, minor=536779.16MB, major=4535.90MB, promoted=4499.11MB
    minor collections=255982  major collections=36 compactions=0


runtime: 00:03:51.198
vars: 276324, evals: 905281

|rho|=276324
|stable|=255318
|infl|=275998
|wpoint|=1029
|sides|=9228
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=257889
|called|=480
Found 7850 contexts for 187 functions. Top 5 functions:
893	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
494	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
480	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
451	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
366	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=561619.71MB, max=1420.53MB, minor=561582.62MB, major=4694.62MB, promoted=4657.53MB
    minor collections=267810  major collections=36 compactions=0


runtime: 00:04:01.218
vars: 282651, evals: 934206

|rho|=282651
|stable|=259850
|infl|=282380
|wpoint|=1090
|sides|=9340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263985
|called|=453
Found 7962 contexts for 187 functions. Top 5 functions:
926	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
496	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
482	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
470	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
372	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=586970.76MB, max=1420.53MB, minor=586929.21MB, major=4877.22MB, promoted=4835.67MB
    minor collections=279897  major collections=36 compactions=0


runtime: 00:04:11.229
vars: 284274, evals: 959292

|rho|=284274
|stable|=259071
|infl|=284040
|wpoint|=1098
|sides|=9353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265578
|called|=430
Found 7975 contexts for 187 functions. Top 5 functions:
936	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
496	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
482	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
470	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
372	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=611988.82MB, max=1420.53MB, minor=611947.12MB, major=5032.11MB, promoted=4990.40MB
    minor collections=291827  major collections=37 compactions=0


runtime: 00:04:21.304
vars: 299576, evals: 995341

|rho|=299576
|stable|=277144
|infl|=299266
|wpoint|=1159
|sides|=9794
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=280006
|called|=468
Found 8416 contexts for 187 functions. Top 5 functions:
976	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
515	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
500	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
491	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 pattern_match (9334) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=638062.91MB, max=1420.53MB, minor=638016.54MB, major=5224.93MB, promoted=5178.56MB
    minor collections=304259  major collections=37 compactions=0


runtime: 00:04:31.316
vars: 304428, evals: 1021293

|rho|=304428
|stable|=281636
|infl|=304165
|wpoint|=1175
|sides|=9880
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284680
|called|=402
Found 8502 contexts for 187 functions. Top 5 functions:
1000	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
517	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
505	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
502	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
398	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=663739.01MB, max=1420.53MB, minor=663692.32MB, major=5387.72MB, promoted=5341.03MB
    minor collections=316503  major collections=38 compactions=0


runtime: 00:04:41.344
vars: 308152, evals: 1046253

|rho|=308152
|stable|=281596
|infl|=307914
|wpoint|=1178
|sides|=9952
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288258
|called|=387
Found 8574 contexts for 187 functions. Top 5 functions:
1023	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
518	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
517	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
502	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
410	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=689154.57MB, max=1420.53MB, minor=689107.56MB, major=5543.73MB, promoted=5496.72MB
    minor collections=328622  major collections=38 compactions=0


runtime: 00:04:51.387
vars: 314198, evals: 1074160

|rho|=314198
|stable|=289167
|infl|=314005
|wpoint|=1234
|sides|=10069
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294066
|called|=322
Found 8691 contexts for 187 functions. Top 5 functions:
1054	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
538	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
519	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
504	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
425	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=714911.29MB, max=1633.61MB, minor=714863.88MB, major=5714.21MB, promoted=5666.79MB
    minor collections=340904  major collections=38 compactions=0


runtime: 00:05:01.402
vars: 316007, evals: 1099477

|rho|=316007
|stable|=292305
|infl|=315850
|wpoint|=1221
|sides|=10083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295843
|called|=222
Found 8705 contexts for 187 functions. Top 5 functions:
1063	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
538	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
519	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
504	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
425	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=741322.14MB, max=1633.61MB, minor=741274.61MB, major=5869.98MB, promoted=5822.44MB
    minor collections=353499  major collections=39 compactions=0


runtime: 00:05:11.438
vars: 339793, evals: 1139739

|rho|=339793
|stable|=315374
|infl|=339450
|wpoint|=1305
|sides|=10816
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=318183
|called|=533
Found 9438 contexts for 187 functions. Top 5 functions:
1120	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
571	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
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
534	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
456	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=768334.54MB, max=1633.61MB, minor=768285.99MB, major=6072.21MB, promoted=6023.66MB
    minor collections=366379  major collections=39 compactions=0


runtime: 00:05:21.465
vars: 345266, evals: 1164985

|rho|=345266
|stable|=320933
|infl|=344959
|wpoint|=1354
|sides|=10918
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323448
|called|=453
Found 9540 contexts for 187 functions. Top 5 functions:
1149	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
589	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
553	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
536	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 strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=794563.11MB, max=1633.61MB, minor=794514.17MB, major=6236.06MB, promoted=6187.12MB
    minor collections=378886  major collections=39 compactions=0


runtime: 00:05:31.476
vars: 346837, evals: 1187554

|rho|=346837
|stable|=319972
|infl|=346567
|wpoint|=1380
|sides|=10929
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324993
|called|=505
Found 9551 contexts for 187 functions. Top 5 functions:
1157	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
589	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
553	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
536	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 strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=820645.54MB, max=1633.61MB, minor=820596.44MB, major=6383.41MB, promoted=6334.32MB
    minor collections=391323  major collections=40 compactions=0


runtime: 00:05:41.492
vars: 352519, evals: 1212554

|rho|=352519
|stable|=327183
|infl|=352276
|wpoint|=1380
|sides|=11053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=330425
|called|=342
Found 9675 contexts for 187 functions. Top 5 functions:
1183	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
604	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
557	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
540	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
475	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=846325.69MB, max=1633.61MB, minor=846276.16MB, major=6541.64MB, promoted=6492.11MB
    minor collections=403569  major collections=40 compactions=0


runtime: 00:05:51.535
vars: 355106, evals: 1234591

|rho|=355106
|stable|=327769
|infl|=354925
|wpoint|=1413
|sides|=11077
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=332956
|called|=333
Found 9699 contexts for 187 functions. Top 5 functions:
1195	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
607	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
557	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
540	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929: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=871978.12MB, max=1878.66MB, minor=871928.34MB, major=6687.93MB, promoted=6638.16MB
    minor collections=415801  major collections=40 compactions=0


runtime: 00:06:01.550
vars: 368566, evals: 1267299

|rho|=368566
|stable|=341415
|infl|=368319
|wpoint|=1451
|sides|=11492
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=345594
|called|=380
Found 10114 contexts for 187 functions. Top 5 functions:
1232	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
630	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
574	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
556	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
497	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=899234.70MB, max=1878.66MB, minor=899184.48MB, major=6866.57MB, promoted=6816.35MB
    minor collections=428798  major collections=40 compactions=0


runtime: 00:06:11.558
vars: 375161, evals: 1291122

|rho|=375161
|stable|=346714
|infl|=374953
|wpoint|=1491
|sides|=11616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=351937
|called|=356
Found 10238 contexts for 187 functions. Top 5 functions:
1267	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
652	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
576	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
558	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
513	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=925103.66MB, max=1878.66MB, minor=925052.83MB, major=7028.82MB, promoted=6977.99MB
    minor collections=441133  major collections=41 compactions=0


runtime: 00:06:21.601
vars: 376758, evals: 1311571

|rho|=376758
|stable|=345723
|infl|=376587
|wpoint|=1475
|sides|=11628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=353506
|called|=237
Found 10250 contexts for 187 functions. Top 5 functions:
1276	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
652	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
576	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
558	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
513	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=950926.06MB, max=1878.66MB, minor=950874.99MB, major=7167.71MB, promoted=7116.64MB
    minor collections=453447  major collections=41 compactions=0


runtime: 00:06:31.656
vars: 382519, evals: 1337803

|rho|=382519
|stable|=354669
|infl|=382385
|wpoint|=1528
|sides|=11750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=359019
|called|=209
Found 10372 contexts for 187 functions. Top 5 functions:
1301	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
667	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
580	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
562	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
524	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=977281.84MB, max=1878.66MB, minor=977230.54MB, major=7329.85MB, promoted=7278.56MB
    minor collections=466014  major collections=41 compactions=0


runtime: 00:06:41.668
vars: 384983, evals: 1361871

|rho|=384983
|stable|=357870
|infl|=384889
|wpoint|=1517
|sides|=11780
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361417
|called|=116
Found 10402 contexts for 187 functions. Top 5 functions:
1315	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
671	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
580	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
562	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
527	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=1004385.42MB, max=1878.66MB, minor=1004333.98MB, major=7485.86MB, promoted=7434.43MB
    minor collections=478938  major collections=41 compactions=0


runtime: 00:06:51.679
vars: 411269, evals: 1403180

|rho|=411269
|stable|=383170
|infl|=410913
|wpoint|=1620
|sides|=12645
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=385999
|called|=514
Found 11267 contexts for 187 functions. Top 5 functions:
1360	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
690	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
625	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
604	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
549	contexts for L:entry state of strm_var_get (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8256:1-8277:1

Memory statistics: total=1032088.40MB, max=1878.66MB, minor=1032035.85MB, major=7682.72MB, promoted=7630.18MB
    minor collections=492148  major collections=42 compactions=0


runtime: 00:07:01.763
vars: 429809, evals: 1435619

|rho|=429809
|stable|=400694
|infl|=429334
|wpoint|=1721
|sides|=13160
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=403520
|called|=723
Found 11782 contexts for 187 functions. Top 5 functions:
1421	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
717	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
645	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
623	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
583	contexts for L:entry state of strm_var_get (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8256:1-8277:1

Memory statistics: total=1058086.21MB, max=2160.46MB, minor=1058032.52MB, major=7858.48MB, promoted=7804.80MB
    minor collections=504545  major collections=42 compactions=0


runtime: 00:07:11.794
vars: 434040, evals: 1457329

|rho|=434040
|stable|=403304
|infl|=433557
|wpoint|=1755
|sides|=13256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=407562
|called|=728
Found 11878 contexts for 187 functions. Top 5 functions:
1448	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
735	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
587	contexts for L:entry state of strm_var_get (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8256:1-8277:1

Memory statistics: total=1082767.83MB, max=2160.46MB, minor=1082713.90MB, major=7998.92MB, promoted=7944.99MB
    minor collections=516314  major collections=42 compactions=0


runtime: 00:07:21.811
vars: 437358, evals: 1477799

|rho|=437358
|stable|=406615
|infl|=436929
|wpoint|=1761
|sides|=13326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410733
|called|=691
Found 11948 contexts for 187 functions. Top 5 functions:
1478	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
746	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
592	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=1108118.18MB, max=2160.46MB, minor=1108063.97MB, major=8133.02MB, promoted=8078.81MB
    minor collections=528402  major collections=42 compactions=0


runtime: 00:07:31.827
vars: 438423, evals: 1497175

|rho|=438423
|stable|=405210
|infl|=438026
|wpoint|=1765
|sides|=13333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411780
|called|=647
Found 11955 contexts for 187 functions. Top 5 functions:
1483	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
746	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
592	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=1132963.72MB, max=2160.46MB, minor=1132909.35MB, major=8259.41MB, promoted=8205.04MB
    minor collections=540250  major collections=43 compactions=0


runtime: 00:07:41.842
vars: 441457, evals: 1517977

|rho|=441457
|stable|=408805
|infl|=441066
|wpoint|=1766
|sides|=13405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=414670
|called|=657
Found 12027 contexts for 187 functions. Top 5 functions:
1503	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
647	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
606	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=1158263.37MB, max=2160.46MB, minor=1158208.67MB, major=8393.70MB, promoted=8339.00MB
    minor collections=552314  major collections=43 compactions=0


runtime: 00:07:51.914
vars: 446919, evals: 1539788

|rho|=446919
|stable|=415358
|infl|=446566
|wpoint|=1800
|sides|=13511
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=419917
|called|=516
Found 12133 contexts for 187 functions. Top 5 functions:
1533	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
783	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
620	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=1183835.91MB, max=2160.46MB, minor=1183780.50MB, major=8534.18MB, promoted=8478.77MB
    minor collections=564508  major collections=43 compactions=0


runtime: 00:08:01.933
vars: 450877, evals: 1560695

|rho|=450877
|stable|=419014
|infl|=450566
|wpoint|=1802
|sides|=13605
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=423682
|called|=454
Found 12227 contexts for 187 functions. Top 5 functions:
1565	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
797	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
649	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901: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
627	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1210246.93MB, max=2160.46MB, minor=1210191.40MB, major=8674.02MB, promoted=8618.48MB
    minor collections=577102  major collections=43 compactions=0


runtime: 00:08:11.945
vars: 452286, evals: 1580219

|rho|=452286
|stable|=418777
|infl|=452006
|wpoint|=1814
|sides|=13619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=425059
|called|=434
Found 12241 contexts for 187 functions. Top 5 functions:
1573	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
798	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
649	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 strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
627	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1236279.12MB, max=2160.46MB, minor=1236223.46MB, major=8805.65MB, promoted=8749.99MB
    minor collections=589515  major collections=43 compactions=0


runtime: 00:08:21.954
vars: 453794, evals: 1600130

|rho|=453794
|stable|=420441
|infl|=453524
|wpoint|=1809
|sides|=13650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=426505
|called|=389
Found 12272 contexts for 187 functions. Top 5 functions:
1579	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
799	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
651	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 strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
629	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1262430.35MB, max=2160.46MB, minor=1262374.56MB, major=8936.29MB, promoted=8880.50MB
    minor collections=601986  major collections=44 compactions=0


runtime: 00:08:31.978
vars: 470404, evals: 1630931

|rho|=470404
|stable|=437305
|infl|=470021
|wpoint|=1912
|sides|=14114
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=442199
|called|=601
Found 12736 contexts for 187 functions. Top 5 functions:
1636	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
828	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
668	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
656	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
645	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1288841.65MB, max=2160.46MB, minor=1288784.91MB, major=9105.85MB, promoted=9049.10MB
    minor collections=614579  major collections=44 compactions=0


runtime: 00:08:42.053
vars: 475960, evals: 1651347

|rho|=475960
|stable|=441993
|infl|=475596
|wpoint|=1940
|sides|=14248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=447486
|called|=566
Found 12870 contexts for 187 functions. Top 5 functions:
1675	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
852	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
675	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
670	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
664	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=1314694.88MB, max=2484.53MB, minor=1314637.27MB, major=9243.30MB, promoted=9185.69MB
    minor collections=626907  major collections=44 compactions=0


runtime: 00:08:52.072
vars: 477931, evals: 1669446

|rho|=477931
|stable|=442269
|infl|=477607
|wpoint|=1951
|sides|=14274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449400
|called|=558
Found 12896 contexts for 187 functions. Top 5 functions:
1690	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
856	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
678	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
670	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
665	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=1340731.82MB, max=2484.53MB, minor=1340674.15MB, major=9367.58MB, promoted=9309.91MB
    minor collections=639322  major collections=44 compactions=0


runtime: 00:09:02.084
vars: 479059, evals: 1688375

|rho|=479059
|stable|=443756
|infl|=478756
|wpoint|=1944
|sides|=14283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450508
|called|=487
Found 12905 contexts for 187 functions. Top 5 functions:
1697	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
856	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
678	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
670	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
665	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=1367109.26MB, max=2484.53MB, minor=1367051.52MB, major=9495.62MB, promoted=9437.87MB
    minor collections=651900  major collections=44 compactions=0


runtime: 00:09:12.104
vars: 484122, evals: 1709810

|rho|=484122
|stable|=448688
|infl|=483840
|wpoint|=1946
|sides|=14393
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=455351
|called|=400
Found 13015 contexts for 187 functions. Top 5 functions:
1723	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
876	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
694	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
680	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
671	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=1393311.55MB, max=2484.53MB, minor=1393253.40MB, major=9633.89MB, promoted=9575.75MB
    minor collections=664395  major collections=45 compactions=0


runtime: 00:09:22.117
vars: 488207, evals: 1728083

|rho|=488207
|stable|=453332
|infl|=487994
|wpoint|=1948
|sides|=14481
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=459250
|called|=331
Found 13103 contexts for 187 functions. Top 5 functions:
1755	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
890	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
706	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
691	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
672	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=1418413.54MB, max=2484.53MB, minor=1418354.92MB, major=9763.01MB, promoted=9704.39MB
    minor collections=676365  major collections=45 compactions=0


runtime: 00:09:32.129
vars: 490180, evals: 1746746

|rho|=490180
|stable|=453121
|infl|=489993
|wpoint|=1965
|sides|=14506
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=461171
|called|=357
Found 13128 contexts for 187 functions. Top 5 functions:
1768	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
893	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
709	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
694	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
672	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=1444677.34MB, max=2484.53MB, minor=1444618.40MB, major=9894.08MB, promoted=9835.13MB
    minor collections=688888  major collections=45 compactions=0


runtime: 00:09:42.224
vars: 506301, evals: 1776672

|rho|=506301
|stable|=471715
|infl|=505943
|wpoint|=2015
|sides|=15044
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476236
|called|=511
Found 13666 contexts for 187 functions. Top 5 functions:
1799	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
907	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
723	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
706	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
700	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=1471642.07MB, max=2484.53MB, minor=1471582.49MB, major=10055.05MB, promoted=9995.47MB
    minor collections=701746  major collections=45 compactions=0


runtime: 00:09:52.236
vars: 516894, evals: 1801140

|rho|=516894
|stable|=481189
|infl|=516507
|wpoint|=2111
|sides|=15290
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=486337
|called|=590
Found 13912 contexts for 187 functions. Top 5 functions:
1843	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
933	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
743	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
725	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
704	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=1497256.33MB, max=2484.53MB, minor=1497196.13MB, major=10203.85MB, promoted=10143.65MB
    minor collections=713960  major collections=45 compactions=0


runtime: 00:10:02.251
vars: 522319, evals: 1820010

|rho|=522319
|stable|=484915
|infl|=521951
|wpoint|=2116
|sides|=15416
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=491508
|called|=576
Found 14038 contexts for 187 functions. Top 5 functions:
1884	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
952	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
759	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
741	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	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=1522815.77MB, max=2484.53MB, minor=1522755.05MB, major=10337.55MB, promoted=10276.83MB
    minor collections=726147  major collections=45 compactions=0


runtime: 00:10:12.262
vars: 523635, evals: 1835444

|rho|=523635
|stable|=486322
|infl|=523303
|wpoint|=2128
|sides|=15433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492786
|called|=574
Found 14055 contexts for 187 functions. Top 5 functions:
1892	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
762	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
742	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	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=1547544.35MB, max=2484.53MB, minor=1547483.40MB, major=10450.14MB, promoted=10389.19MB
    minor collections=737940  major collections=46 compactions=0


runtime: 00:10:22.286
vars: 524763, evals: 1849928

|rho|=524763
|stable|=484731
|infl|=524452
|wpoint|=2113
|sides|=15442
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=493894
|called|=455
Found 14064 contexts for 187 functions. Top 5 functions:
1899	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
762	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
742	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	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=1570380.43MB, max=2484.53MB, minor=1570302.51MB, major=10572.17MB, promoted=10494.26MB
    minor collections=748823  major collections=46 compactions=0


runtime: 00:10:32.297
vars: 526144, evals: 1866410

|rho|=526144
|stable|=489838
|infl|=525834
|wpoint|=2104
|sides|=15476
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=495209
|called|=446
Found 14098 contexts for 187 functions. Top 5 functions:
1902	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
762	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
742	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
708	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=1595323.64MB, max=2484.53MB, minor=1595245.56MB, major=10685.70MB, promoted=10607.62MB
    minor collections=760717  major collections=46 compactions=0


runtime: 00:10:42.397
vars: 532339, evals: 1887008

|rho|=532339
|stable|=495351
|infl|=532068
|wpoint|=2152
|sides|=15617
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501116
|called|=377
Found 14239 contexts for 187 functions. Top 5 functions:
1943	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
982	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 strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
761	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
710	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=1622101.69MB, max=2857.21MB, minor=1622022.64MB, major=10825.98MB, promoted=10746.93MB
    minor collections=773486  major collections=46 compactions=0


runtime: 00:10:52.412
vars: 534390, evals: 1903248

|rho|=534390
|stable|=497048
|infl|=534161
|wpoint|=2151
|sides|=15642
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=503113
|called|=320
Found 14264 contexts for 187 functions. Top 5 functions:
1957	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
986	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
784	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
762	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
710	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=1647671.52MB, max=2857.21MB, minor=1647592.44MB, major=10943.35MB, promoted=10864.27MB
    minor collections=785678  major collections=46 compactions=0


runtime: 00:11:02.428
vars: 536461, evals: 1920917

|rho|=536461
|stable|=497018
|infl|=536244
|wpoint|=2173
|sides|=15678
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=505111
|called|=392
Found 14300 contexts for 187 functions. Top 5 functions:
1969	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
991	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242: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
766	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
714	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=1673661.70MB, max=2857.21MB, minor=1673582.52MB, major=11067.09MB, promoted=10987.91MB
    minor collections=798072  major collections=46 compactions=0


runtime: 00:11:12.439
vars: 550428, evals: 1948185

|rho|=550428
|stable|=511928
|infl|=550141
|wpoint|=2213
|sides|=16099
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=518243
|called|=426
Found 14721 contexts for 187 functions. Top 5 functions:
2009	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1015	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
809	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
785	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
744	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=1701501.11MB, max=2857.21MB, minor=1701421.32MB, major=11223.24MB, promoted=11143.44MB
    minor collections=811347  major collections=47 compactions=0


runtime: 00:11:22.459
vars: 556216, evals: 1966679

|rho|=556216
|stable|=517108
|infl|=555940
|wpoint|=2248
|sides|=16238
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=523753
|called|=388
Found 14860 contexts for 187 functions. Top 5 functions:
2049	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1041	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
829	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
805	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	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=1726695.92MB, max=2857.21MB, minor=1726615.31MB, major=11355.50MB, promoted=11274.89MB
    minor collections=823361  major collections=47 compactions=0


runtime: 00:11:32.470
vars: 558023, evals: 1981246

|rho|=558023
|stable|=516759
|infl|=557794
|wpoint|=2261
|sides|=16263
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525505
|called|=383
Found 14885 contexts for 187 functions. Top 5 functions:
2063	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1045	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
832	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
806	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	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=1751162.95MB, max=2857.21MB, minor=1751073.63MB, major=11471.85MB, promoted=11382.54MB
    minor collections=835025  major collections=47 compactions=0


runtime: 00:11:42.514
vars: 559073, evals: 1996111

|rho|=559073
|stable|=518534
|infl|=558866
|wpoint|=2262
|sides|=16270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=526538
|called|=342
Found 14892 contexts for 187 functions. Top 5 functions:
2068	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1045	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
832	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
806	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	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=1776319.29MB, max=2857.21MB, minor=1776229.80MB, major=11580.12MB, promoted=11490.63MB
    minor collections=847021  major collections=47 compactions=0


runtime: 00:11:52.569
vars: 560191, evals: 2011692

|rho|=560191
|stable|=520602
|infl|=559992
|wpoint|=2245
|sides|=16291
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=527614
|called|=271
Found 14913 contexts for 187 functions. Top 5 functions:
2072	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1045	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
832	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
806	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	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=1801820.56MB, max=2857.21MB, minor=1801730.91MB, major=11691.19MB, promoted=11601.53MB
    minor collections=859181  major collections=47 compactions=0


runtime: 00:12:02.592
vars: 566369, evals: 2032221

|rho|=566369
|stable|=525574
|infl|=566214
|wpoint|=2301
|sides|=16430
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=533510
|called|=247
Found 15052 contexts for 187 functions. Top 5 functions:
2107	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1067	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
848	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
822	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
756	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=1827025.41MB, max=2857.21MB, minor=1826926.85MB, major=11836.79MB, promoted=11738.22MB
    minor collections=871197  major collections=47 compactions=0


runtime: 00:12:12.608
vars: 568524, evals: 2049200

|rho|=568524
|stable|=526582
|infl|=568411
|wpoint|=2315
|sides|=16465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535590
|called|=221
Found 15087 contexts for 187 functions. Top 5 functions:
2123	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1074	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
854	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
825	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
756	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=1852619.02MB, max=2857.21MB, minor=1852520.24MB, major=11955.72MB, promoted=11856.93MB
    minor collections=883401  major collections=47 compactions=0


runtime: 00:12:22.623
vars: 569970, evals: 2066500

|rho|=569970
|stable|=526529
|infl|=569868
|wpoint|=2317
|sides|=16483
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=536999
|called|=193
Found 15105 contexts for 187 functions. Top 5 functions:
2138	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1074	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
854	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
825	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
756	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=1878994.63MB, max=2857.21MB, minor=1878895.66MB, major=12075.63MB, promoted=11976.66MB
    minor collections=895978  major collections=47 compactions=0


runtime: 00:12:32.643
vars: 587971, evals: 2096189

|rho|=587971
|stable|=546823
|infl|=587681
|wpoint|=2379
|sides|=17083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=553823
|called|=422
Found 15705 contexts for 187 functions. Top 5 functions:
2171	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1094	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
868	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
837	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
798	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=1906667.76MB, max=2857.21MB, minor=1906567.63MB, major=12231.94MB, promoted=12131.81MB
    minor collections=909173  major collections=48 compactions=0


runtime: 00:12:42.658
vars: 604437, evals: 2122748

|rho|=604437
|stable|=563007
|infl|=604046
|wpoint|=2454
|sides|=17564
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=569337
|called|=572
Found 16186 contexts for 187 functions. Top 5 functions:
2220	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
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
889	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
856	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
822	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=1933279.96MB, max=2857.21MB, minor=1933178.24MB, major=12386.90MB, promoted=12285.18MB
    minor collections=921863  major collections=48 compactions=0


runtime: 00:12:52.682
vars: 608518, evals: 2139118

|rho|=608518
|stable|=566820
|infl|=608148
|wpoint|=2469
|sides|=17644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=573255
|called|=533
Found 16266 contexts for 187 functions. Top 5 functions:
2242	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1135	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
898	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
866	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
822	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=1959315.38MB, max=2857.21MB, minor=1959212.84MB, major=12511.31MB, promoted=12408.77MB
    minor collections=934277  major collections=48 compactions=0


runtime: 00:13:02.757
vars: 609841, evals: 2153176

|rho|=609841
|stable|=565419
|infl|=609515
|wpoint|=2486
|sides|=17660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=574540
|called|=500
Found 16282 contexts for 187 functions. Top 5 functions:
2249	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1139	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
901	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
822	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=1984084.69MB, max=3285.79MB, minor=1983981.91MB, major=12618.06MB, promoted=12515.28MB
    minor collections=946088  major collections=48 compactions=0


runtime: 00:13:12.769
vars: 610891, evals: 2168652

|rho|=610891
|stable|=565782
|infl|=610587
|wpoint|=2500
|sides|=17667
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=575573
|called|=517
Found 16289 contexts for 187 functions. Top 5 functions:
2254	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1139	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
901	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
822	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=2010367.10MB, max=3285.79MB, minor=2010264.30MB, major=12730.82MB, promoted=12628.02MB
    minor collections=958621  major collections=48 compactions=0


runtime: 00:13:22.784
vars: 613791, evals: 2185793

|rho|=613791
|stable|=567528
|infl|=613493
|wpoint|=2497
|sides|=17735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=578337
|called|=521
Found 16357 contexts for 187 functions. Top 5 functions:
2273	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1153	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
914	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
879	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
828	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=2036886.29MB, max=3285.79MB, minor=2036783.36MB, major=12852.61MB, promoted=12749.68MB
    minor collections=971266  major collections=48 compactions=0


runtime: 00:13:32.796
vars: 618460, evals: 2203670

|rho|=618460
|stable|=574991
|infl|=618200
|wpoint|=2519
|sides|=17823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=582826
|called|=401
Found 16445 contexts for 187 functions. Top 5 functions:
2297	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1168	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
926	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
891	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	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=2063252.37MB, max=3285.79MB, minor=2063149.06MB, major=12977.43MB, promoted=12874.12MB
    minor collections=983839  major collections=48 compactions=0


runtime: 00:13:42.811
vars: 620565, evals: 2218853

|rho|=620565
|stable|=576075
|infl|=620337
|wpoint|=2532
|sides|=17859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=584855
|called|=364
Found 16481 contexts for 187 functions. Top 5 functions:
2306	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1172	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
929	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
892	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	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=2088842.15MB, max=3285.79MB, minor=2088738.53MB, major=13093.37MB, promoted=12989.75MB
    minor collections=996041  major collections=49 compactions=0


runtime: 00:13:52.822
vars: 621449, evals: 2233009

|rho|=621449
|stable|=576345
|infl|=621251
|wpoint|=2536
|sides|=17865
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=585723
|called|=309
Found 16487 contexts for 187 functions. Top 5 functions:
2310	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1172	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
929	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
892	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	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=2113758.61MB, max=3285.79MB, minor=2113654.81MB, major=13197.27MB, promoted=13093.47MB
    minor collections=1007923  major collections=49 compactions=0


runtime: 00:14:02.842
vars: 622501, evals: 2247812

|rho|=622501
|stable|=576040
|infl|=622311
|wpoint|=2544
|sides|=17873
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=586759
|called|=354
Found 16495 contexts for 187 functions. Top 5 functions:
2316	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1172	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
929	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
892	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	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=2139237.58MB, max=3285.79MB, minor=2139133.62MB, major=13306.50MB, promoted=13202.54MB
    minor collections=1020072  major collections=49 compactions=0


runtime: 00:14:12.885
vars: 637010, evals: 2272406

|rho|=637010
|stable|=592823
|infl|=636669
|wpoint|=2592
|sides|=18326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=600380
|called|=506
Found 16948 contexts for 187 functions. Top 5 functions:
2362	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1201	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
949	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
911	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
858	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=2166040.12MB, max=3285.79MB, minor=2165934.91MB, major=13451.69MB, promoted=13346.48MB
    minor collections=1032852  major collections=49 compactions=0


runtime: 00:14:22.961
vars: 641900, evals: 2289378

|rho|=641900
|stable|=597416
|infl|=641612
|wpoint|=2623
|sides|=18417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=605082
|called|=430
Found 17039 contexts for 187 functions. Top 5 functions:
2385	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1214	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
959	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
921	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 strm_var_get (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8256:1-8277:1

Memory statistics: total=2191495.00MB, max=3285.79MB, minor=2191388.87MB, major=13573.10MB, promoted=13466.97MB
    minor collections=1044990  major collections=49 compactions=0


runtime: 00:14:32.970
vars: 643388, evals: 2304192

|rho|=643388
|stable|=598835
|infl|=643142
|wpoint|=2635
|sides|=18435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=606528
|called|=367
Found 17057 contexts for 187 functions. Top 5 functions:
2393	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1218	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
962	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
922	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
863	contexts for L:entry state of strm_var_get (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8256:1-8277:1

Memory statistics: total=2217545.33MB, max=3285.79MB, minor=2217439.17MB, major=13684.21MB, promoted=13578.04MB
    minor collections=1057412  major collections=49 compactions=0


runtime: 00:14:42.986
vars: 644628, evals: 2319527

|rho|=644628
|stable|=597184
|infl|=644405
|wpoint|=2654
|sides|=18444
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=607748
|called|=419
Found 17066 contexts for 187 functions. Top 5 functions:
2400	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1218	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
962	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
922	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
864	contexts for L:entry state of strm_var_get (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8256:1-8277:1

Memory statistics: total=2243688.25MB, max=3285.79MB, minor=2243582.03MB, major=13797.11MB, promoted=13690.89MB
    minor collections=1069878  major collections=49 compactions=0


runtime: 00:14:53.001
vars: 648322, evals: 2335889

|rho|=648322
|stable|=602814
|infl|=648122
|wpoint|=2631
|sides|=18526
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=611276
|called|=294
Found 17148 contexts for 187 functions. Top 5 functions:
2419	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1232	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
975	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
934	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
870	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=2269864.96MB, max=3285.79MB, minor=2269758.58MB, major=13913.56MB, promoted=13807.17MB
    minor collections=1082360  major collections=49 compactions=0

