./goblint --conf conf/examples/large-program.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c


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


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

runtime: 00:00:10.500
vars: 62597, evals: 94305

|rho|=62597
|stable|=55509
|infl|=62307
|wpoint|=156
|sides|=3814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54991
|called|=436
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=25415.75MB, max=200.75MB, minor=25406.41MB, major=356.52MB, promoted=347.18MB
    minor collections=12122  major collections=17 compactions=0


runtime: 00:00:20.555
vars: 95667, evals: 155994

|rho|=95667
|stable|=87020
|infl|=95130
|wpoint|=314
|sides|=4807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86099
|called|=852
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=48617.51MB, max=351.13MB, minor=48603.42MB, major=620.58MB, promoted=606.48MB
    minor collections=23185  major collections=20 compactions=0


runtime: 00:00:30.611
vars: 101073, evals: 194380

|rho|=101073
|stable|=91541
|infl|=100585
|wpoint|=332
|sides|=4925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91260
|called|=757
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=71662.46MB, max=403.80MB, minor=71648.21MB, major=821.09MB, promoted=806.83MB
    minor collections=34174  major collections=21 compactions=0


runtime: 00:00:40.638
vars: 105743, evals: 232974

|rho|=105743
|stable|=95334
|infl|=105287
|wpoint|=345
|sides|=5022
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95732
|called|=694
Found 3644 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
195	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=94649.76MB, max=464.37MB, minor=94635.37MB, major=1022.02MB, promoted=1007.64MB
    minor collections=45137  major collections=23 compactions=0


runtime: 00:00:50.690
vars: 113915, evals: 273017

|rho|=113915
|stable|=101795
|infl|=113532
|wpoint|=392
|sides|=5179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103582
|called|=621
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=118609.44MB, max=464.37MB, minor=118594.82MB, major=1236.67MB, promoted=1222.04MB
    minor collections=56562  major collections=24 compactions=0


runtime: 00:01:00.733
vars: 115836, evals: 309012

|rho|=115836
|stable|=101315
|infl|=115491
|wpoint|=406
|sides|=5193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105471
|called|=635
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=142292.88MB, max=534.03MB, minor=142278.21MB, major=1427.85MB, promoted=1413.18MB
    minor collections=67856  major collections=25 compactions=0


runtime: 00:01:10.748
vars: 135739, evals: 356809

|rho|=135739
|stable|=123097
|infl|=135309
|wpoint|=480
|sides|=5744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124282
|called|=690
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=166045.06MB, max=534.03MB, minor=166025.78MB, major=1662.41MB, promoted=1643.13MB
    minor collections=79181  major collections=27 compactions=0


runtime: 00:01:20.768
vars: 138544, evals: 391090

|rho|=138544
|stable|=122961
|infl|=138177
|wpoint|=490
|sides|=5770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127027
|called|=575
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=190077.29MB, max=614.13MB, minor=190057.91MB, major=1849.64MB, promoted=1830.26MB
    minor collections=90641  major collections=28 compactions=0


runtime: 00:01:30.815
vars: 148109, evals: 430658

|rho|=148109
|stable|=134081
|infl|=147809
|wpoint|=522
|sides|=5976
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136174
|called|=450
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=214173.84MB, max=706.25MB, minor=214149.96MB, major=2063.39MB, promoted=2039.51MB
    minor collections=102131  major collections=29 compactions=0


runtime: 00:01:40.832
vars: 152712, evals: 466277

|rho|=152712
|stable|=138318
|infl|=152451
|wpoint|=531
|sides|=6041
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140643
|called|=385
Found 4663 contexts for 187 functions. Top 5 functions:
423	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
209	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=238789.16MB, max=706.25MB, minor=238765.12MB, major=2264.00MB, promoted=2239.95MB
    minor collections=113869  major collections=30 compactions=0


runtime: 00:01:50.860
vars: 179835, evals: 516281

|rho|=179835
|stable|=165194
|infl|=179385
|wpoint|=663
|sides|=6842
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166184
|called|=697
Found 5464 contexts for 187 functions. Top 5 functions:
506	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
250	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=263355.22MB, max=812.19MB, minor=263330.52MB, major=2498.13MB, promoted=2473.43MB
    minor collections=125583  major collections=31 compactions=0


runtime: 00:02:00.885
vars: 184687, evals: 547224

|rho|=184687
|stable|=170044
|infl|=184284
|wpoint|=669
|sides|=6928
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170858
|called|=595
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=287786.32MB, max=812.19MB, minor=287761.39MB, major=2679.85MB, promoted=2654.92MB
    minor collections=137233  major collections=31 compactions=0


runtime: 00:02:10.929
vars: 186899, evals: 576864

|rho|=186899
|stable|=171700
|infl|=186532
|wpoint|=666
|sides|=6964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172995
|called|=547
Found 5586 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
416	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
406	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=311913.19MB, max=934.02MB, minor=311888.19MB, major=2850.14MB, promoted=2825.13MB
    minor collections=148738  major collections=32 compactions=0


runtime: 00:02:20.948
vars: 194911, evals: 611044

|rho|=194911
|stable|=177685
|infl|=194620
|wpoint|=727
|sides|=7114
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180698
|called|=497
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=336977.03MB, max=934.02MB, minor=336951.74MB, major=3046.59MB, promoted=3021.29MB
    minor collections=160690  major collections=33 compactions=0


runtime: 00:02:30.976
vars: 204253, evals: 646690

|rho|=204253
|stable|=186894
|infl|=203936
|wpoint|=730
|sides|=7404
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189468
|called|=473
Found 6026 contexts for 187 functions. Top 5 functions:
611	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
431	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
420	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
306	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
258	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=362793.19MB, max=934.02MB, minor=362767.66MB, major=3237.87MB, promoted=3212.34MB
    minor collections=173000  major collections=33 compactions=0


runtime: 00:02:40.999
vars: 217181, evals: 682897

|rho|=217181
|stable|=199304
|infl|=216866
|wpoint|=803
|sides|=7701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201798
|called|=454
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=388049.64MB, max=1074.12MB, minor=388023.53MB, major=3440.19MB, promoted=3414.08MB
    minor collections=185044  major collections=34 compactions=0


runtime: 00:02:51.043
vars: 219769, evals: 711302

|rho|=219769
|stable|=200943
|infl|=219504
|wpoint|=803
|sides|=7726
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204330
|called|=394
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=413119.67MB, max=1074.12MB, minor=413093.45MB, major=3611.38MB, promoted=3585.17MB
    minor collections=196999  major collections=34 compactions=0


runtime: 00:03:01.082
vars: 227019, evals: 744539

|rho|=227019
|stable|=208211
|infl|=226803
|wpoint|=857
|sides|=7889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211250
|called|=334
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=438441.76MB, max=1074.12MB, minor=438415.14MB, major=3799.26MB, promoted=3772.64MB
    minor collections=209074  major collections=35 compactions=0


runtime: 00:03:11.117
vars: 230713, evals: 775803

|rho|=230713
|stable|=210964
|infl|=230550
|wpoint|=870
|sides|=7942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214832
|called|=293
Found 6564 contexts for 187 functions. Top 5 functions:
752	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=464423.71MB, max=1074.12MB, minor=464396.93MB, major=3980.17MB, promoted=3953.39MB
    minor collections=221464  major collections=36 compactions=0


runtime: 00:03:21.157
vars: 261519, evals: 826542

|rho|=261519
|stable|=242491
|infl|=261071
|wpoint|=974
|sides|=8940
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243674
|called|=655
Found 7562 contexts for 187 functions. Top 5 functions:
820	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
490	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
476	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
409	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
348	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=491024.79MB, max=1235.24MB, minor=490996.98MB, major=4210.74MB, promoted=4182.92MB
    minor collections=234148  major collections=36 compactions=0


runtime: 00:03:31.177
vars: 269670, evals: 855955

|rho|=269670
|stable|=249644
|infl|=269271
|wpoint|=1038
|sides|=9111
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251477
|called|=615
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=515171.10MB, max=1235.24MB, minor=515134.41MB, major=4394.82MB, promoted=4358.13MB
    minor collections=245659  major collections=37 compactions=0


runtime: 00:03:41.240
vars: 272030, evals: 880718

|rho|=272030
|stable|=250432
|infl|=271680
|wpoint|=1052
|sides|=9133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253786
|called|=605
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=539911.02MB, max=1235.24MB, minor=539874.12MB, major=4548.43MB, promoted=4511.53MB
    minor collections=257457  major collections=37 compactions=0


runtime: 00:03:51.271
vars: 277223, evals: 909398

|rho|=277223
|stable|=255718
|infl|=276914
|wpoint|=1054
|sides|=9238
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258765
|called|=479
Found 7860 contexts for 187 functions. Top 5 functions:
897	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
452	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=565470.01MB, max=1235.24MB, minor=565432.95MB, major=4717.88MB, promoted=4680.82MB
    minor collections=269644  major collections=37 compactions=0


runtime: 00:04:01.287
vars: 282666, evals: 936778

|rho|=282666
|stable|=259874
|infl|=282405
|wpoint|=1093
|sides|=9340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263999
|called|=463
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=590896.35MB, max=1420.53MB, minor=590854.74MB, major=4893.36MB, promoted=4851.75MB
    minor collections=281768  major collections=38 compactions=0


runtime: 00:04:11.349
vars: 284334, evals: 962148

|rho|=284334
|stable|=261848
|infl|=284098
|wpoint|=1083
|sides|=9353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265638
|called|=348
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=616299.47MB, max=1420.53MB, minor=616257.74MB, major=5049.81MB, promoted=5008.08MB
    minor collections=293881  major collections=38 compactions=0


runtime: 00:04:21.360
vars: 301048, evals: 998876

|rho|=301048
|stable|=278970
|infl|=300725
|wpoint|=1165
|sides|=9828
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281412
|called|=493
Found 8450 contexts for 187 functions. Top 5 functions:
986	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
498	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
393	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=642197.95MB, max=1420.53MB, minor=642151.50MB, major=5247.14MB, promoted=5200.69MB
    minor collections=306230  major collections=39 compactions=0


runtime: 00:04:31.380
vars: 304629, evals: 1022960

|rho|=304629
|stable|=282119
|infl|=304368
|wpoint|=1173
|sides|=9881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284879
|called|=401
Found 8503 contexts for 187 functions. Top 5 functions:
1001	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=667195.97MB, max=1420.53MB, minor=667149.20MB, major=5402.26MB, promoted=5355.49MB
    minor collections=318150  major collections=39 compactions=0


runtime: 00:04:41.415
vars: 308152, evals: 1048421

|rho|=308152
|stable|=283707
|infl|=307914
|wpoint|=1178
|sides|=9952
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288258
|called|=396
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=692997.41MB, max=1633.61MB, minor=692950.47MB, major=5559.01MB, promoted=5512.07MB
    minor collections=330454  major collections=39 compactions=0


runtime: 00:04:51.431
vars: 314213, evals: 1076568

|rho|=314213
|stable|=289181
|infl|=314030
|wpoint|=1239
|sides|=10069
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294080
|called|=337
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=718991.87MB, max=1633.61MB, minor=718944.47MB, major=5730.71MB, promoted=5683.31MB
    minor collections=342849  major collections=40 compactions=0


runtime: 00:05:01.456
vars: 316119, evals: 1100898

|rho|=316119
|stable|=289248
|infl|=315964
|wpoint|=1239
|sides|=10083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295955
|called|=308
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=744784.05MB, max=1633.61MB, minor=744736.48MB, major=5882.74MB, promoted=5835.18MB
    minor collections=355148  major collections=40 compactions=0


runtime: 00:05:11.487
vars: 340132, evals: 1142060

|rho|=340132
|stable|=315909
|infl|=339790
|wpoint|=1325
|sides|=10818
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=318518
|called|=526
Found 9440 contexts for 187 functions. Top 5 functions:
1121	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=771619.11MB, max=1633.61MB, minor=771570.84MB, major=6087.65MB, promoted=6039.38MB
    minor collections=367944  major collections=40 compactions=0


runtime: 00:05:21.498
vars: 345545, evals: 1166003

|rho|=345545
|stable|=318787
|infl|=345241
|wpoint|=1363
|sides|=10920
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323723
|called|=480
Found 9542 contexts for 187 functions. Top 5 functions:
1150	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=797161.58MB, max=1633.61MB, minor=797112.82MB, major=6247.68MB, promoted=6198.93MB
    minor collections=380124  major collections=41 compactions=0


runtime: 00:05:31.514
vars: 346837, evals: 1187073

|rho|=346837
|stable|=319439
|infl|=346567
|wpoint|=1379
|sides|=10929
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324993
|called|=500
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=822242.47MB, max=1633.61MB, minor=822193.51MB, major=6385.59MB, promoted=6336.63MB
    minor collections=392084  major collections=41 compactions=0


runtime: 00:05:41.585
vars: 352483, evals: 1212523

|rho|=352483
|stable|=327114
|infl|=352239
|wpoint|=1381
|sides|=11053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=330389
|called|=344
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=848214.44MB, max=1878.66MB, minor=848165.25MB, major=6545.96MB, promoted=6496.77MB
    minor collections=404468  major collections=41 compactions=0


runtime: 00:05:51.597
vars: 355106, evals: 1235602

|rho|=355106
|stable|=328723
|infl|=354925
|wpoint|=1397
|sides|=11077
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=332956
|called|=266
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=874393.21MB, max=1878.66MB, minor=874343.84MB, major=6695.83MB, promoted=6646.45MB
    minor collections=416951  major collections=41 compactions=0


runtime: 00:06:01.608
vars: 368823, evals: 1267897

|rho|=368823
|stable|=341845
|infl|=368568
|wpoint|=1449
|sides|=11494
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=345847
|called|=366
Found 10116 contexts for 187 functions. Top 5 functions:
1233	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=901603.87MB, max=1878.66MB, minor=901553.69MB, major=6873.47MB, promoted=6823.29MB
    minor collections=429927  major collections=42 compactions=0


runtime: 00:06:11.662
vars: 375161, evals: 1291261

|rho|=375161
|stable|=346776
|infl|=374953
|wpoint|=1491
|sides|=11616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=351937
|called|=352
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=927778.78MB, max=1878.66MB, minor=927727.89MB, major=7033.69MB, promoted=6982.80MB
    minor collections=442408  major collections=42 compactions=0


runtime: 00:06:21.693
vars: 376758, evals: 1313073

|rho|=376758
|stable|=347153
|infl|=376587
|wpoint|=1495
|sides|=11628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=353506
|called|=327
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=954624.70MB, max=1878.66MB, minor=954573.74MB, major=7177.57MB, promoted=7126.60MB
    minor collections=455209  major collections=42 compactions=0


runtime: 00:06:31.705
vars: 383210, evals: 1339815

|rho|=383210
|stable|=354119
|infl|=383080
|wpoint|=1530
|sides|=11766
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=359677
|called|=220
Found 10388 contexts for 187 functions. Top 5 functions:
1306	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=981453.46MB, max=1878.66MB, minor=981402.07MB, major=7346.30MB, promoted=7294.90MB
    minor collections=468003  major collections=43 compactions=0


runtime: 00:06:41.716
vars: 384896, evals: 1361720

|rho|=384896
|stable|=357750
|infl|=384794
|wpoint|=1517
|sides|=11778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361334
|called|=124
Found 10400 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=1007347.16MB, max=1878.66MB, minor=1007295.56MB, major=7488.04MB, promoted=7436.43MB
    minor collections=480350  major collections=43 compactions=0


runtime: 00:06:51.780
vars: 412577, evals: 1404987

|rho|=412577
|stable|=384445
|infl|=412209
|wpoint|=1623
|sides|=12679
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=387243
|called|=526
Found 11301 contexts for 187 functions. Top 5 functions:
1365	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
692	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
626	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
605	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
553	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=1036010.90MB, max=2160.46MB, minor=1035958.19MB, major=7693.50MB, promoted=7640.80MB
    minor collections=494018  major collections=43 compactions=0


runtime: 00:07:01.795
vars: 430172, evals: 1438227

|rho|=430172
|stable|=401483
|infl|=429697
|wpoint|=1725
|sides|=13170
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=403863
|called|=690
Found 11792 contexts for 187 functions. Top 5 functions:
1424	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
720	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=1062509.48MB, max=2160.46MB, minor=1062456.12MB, major=7873.22MB, promoted=7819.85MB
    minor collections=506653  major collections=43 compactions=0


runtime: 00:07:11.801
vars: 434638, evals: 1458858

|rho|=434638
|stable|=404433
|infl|=434153
|wpoint|=1758
|sides|=13273
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=408126
|called|=734
Found 11895 contexts for 187 functions. Top 5 functions:
1452	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
737	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=1087462.87MB, max=2160.46MB, minor=1087408.93MB, major=8010.21MB, promoted=7956.27MB
    minor collections=518552  major collections=44 compactions=0


runtime: 00:07:21.812
vars: 437358, evals: 1477238

|rho|=437358
|stable|=406027
|infl|=436929
|wpoint|=1768
|sides|=13326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410733
|called|=714
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=1111837.68MB, max=2160.46MB, minor=1111783.41MB, major=8134.19MB, promoted=8079.92MB
    minor collections=530175  major collections=44 compactions=0


runtime: 00:07:31.888
vars: 438216, evals: 1495622

|rho|=438216
|stable|=406953
|infl|=437817
|wpoint|=1763
|sides|=13331
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411577
|called|=640
Found 11953 contexts for 187 functions. Top 5 functions:
1481	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=1136713.26MB, max=2160.46MB, minor=1136658.81MB, major=8255.68MB, promoted=8201.24MB
    minor collections=542037  major collections=44 compactions=0


runtime: 00:07:41.939
vars: 441457, evals: 1516502

|rho|=441457
|stable|=407273
|infl|=441066
|wpoint|=1769
|sides|=13405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=414670
|called|=665
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=1162017.82MB, max=2160.46MB, minor=1161963.25MB, major=8392.19MB, promoted=8337.62MB
    minor collections=554103  major collections=44 compactions=0


runtime: 00:07:51.955
vars: 446439, evals: 1538898

|rho|=446439
|stable|=414940
|infl|=446064
|wpoint|=1805
|sides|=13508
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=419445
|called|=543
Found 12130 contexts for 187 functions. Top 5 functions:
1531	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=1186963.71MB, max=2160.46MB, minor=1186908.83MB, major=8531.14MB, promoted=8476.27MB
    minor collections=565998  major collections=44 compactions=0


runtime: 00:08:01.966
vars: 450556, evals: 1559298

|rho|=450556
|stable|=417738
|infl|=450243
|wpoint|=1814
|sides|=13597
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=423377
|called|=519
Found 12219 contexts for 187 functions. Top 5 functions:
1562	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
794	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
630	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=1212574.35MB, max=2160.46MB, minor=1212519.14MB, major=8668.95MB, promoted=8613.74MB
    minor collections=578211  major collections=45 compactions=0


runtime: 00:08:11.978
vars: 452111, evals: 1577371

|rho|=452111
|stable|=418781
|infl|=451828
|wpoint|=1807
|sides|=13618
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424887
|called|=440
Found 12240 contexts for 187 functions. Top 5 functions:
1572	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=1236987.34MB, max=2160.46MB, minor=1236931.91MB, major=8792.97MB, promoted=8737.55MB
    minor collections=589852  major collections=45 compactions=0


runtime: 00:08:22.013
vars: 453338, evals: 1596670

|rho|=453338
|stable|=417945
|infl|=453066
|wpoint|=1830
|sides|=13627
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=426095
|called|=507
Found 12249 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
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=1262547.02MB, max=2160.46MB, minor=1262491.41MB, major=8920.95MB, promoted=8865.35MB
    minor collections=602040  major collections=45 compactions=0


runtime: 00:08:32.093
vars: 469503, evals: 1627748

|rho|=469503
|stable|=436940
|infl|=469094
|wpoint|=1900
|sides|=14104
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=441323
|called|=590
Found 12726 contexts for 187 functions. Top 5 functions:
1632	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
826	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
655	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=1288559.30MB, max=2484.53MB, minor=1288503.05MB, major=9087.95MB, promoted=9031.70MB
    minor collections=614444  major collections=45 compactions=0


runtime: 00:08:42.104
vars: 475789, evals: 1649583

|rho|=475789
|stable|=442199
|infl|=475415
|wpoint|=1931
|sides|=14243
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=447326
|called|=538
Found 12865 contexts for 187 functions. Top 5 functions:
1673	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
851	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
674	contexts for L:entry state of 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
663	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=1314282.25MB, max=2484.53MB, minor=1314225.42MB, major=9233.48MB, promoted=9176.66MB
    minor collections=626709  major collections=45 compactions=0


runtime: 00:08:52.120
vars: 477782, evals: 1667564

|rho|=477782
|stable|=443229
|infl|=477455
|wpoint|=1946
|sides|=14274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449252
|called|=546
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=1339863.45MB, max=2484.53MB, minor=1339806.37MB, major=9356.63MB, promoted=9299.55MB
    minor collections=638908  major collections=46 compactions=0


runtime: 00:09:02.131
vars: 479059, evals: 1685215

|rho|=479059
|stable|=441296
|infl|=478756
|wpoint|=1941
|sides|=14283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450508
|called|=464
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=1364794.58MB, max=2484.53MB, minor=1364737.33MB, major=9476.36MB, promoted=9419.11MB
    minor collections=650796  major collections=46 compactions=0


runtime: 00:09:12.146
vars: 482812, evals: 1704551

|rho|=482812
|stable|=448284
|infl|=482530
|wpoint|=1930
|sides|=14370
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=454086
|called|=422
Found 12992 contexts for 187 functions. Top 5 functions:
1717	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
872	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
692	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
678	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712: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

Memory statistics: total=1390430.94MB, max=2484.53MB, minor=1390373.24MB, major=9605.71MB, promoted=9548.00MB
    minor collections=663021  major collections=46 compactions=0


runtime: 00:09:22.190
vars: 488155, evals: 1725086

|rho|=488155
|stable|=451966
|infl|=487931
|wpoint|=1954
|sides|=14481
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=459200
|called|=377
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=1416853.22MB, max=2484.53MB, minor=1416794.63MB, major=9746.37MB, promoted=9687.79MB
    minor collections=675619  major collections=46 compactions=0


runtime: 00:09:32.225
vars: 489875, evals: 1743974

|rho|=489875
|stable|=453646
|infl|=489685
|wpoint|=1948
|sides|=14503
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=460872
|called|=280
Found 13125 contexts for 187 functions. Top 5 functions:
1766	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=1443587.34MB, max=2484.53MB, minor=1443528.69MB, major=9879.77MB, promoted=9821.13MB
    minor collections=688367  major collections=46 compactions=0


runtime: 00:09:42.237
vars: 503331, evals: 1773022

|rho|=503331
|stable|=468756
|infl|=503010
|wpoint|=2002
|sides|=14924
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473500
|called|=452
Found 13546 contexts for 187 functions. Top 5 functions:
1795	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
905	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
721	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
704	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
693	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=1471080.40MB, max=2484.53MB, minor=1471021.31MB, major=10040.79MB, promoted=9981.70MB
    minor collections=701477  major collections=46 compactions=0


runtime: 00:09:52.256
vars: 516383, evals: 1798982

|rho|=516383
|stable|=480504
|infl|=515994
|wpoint|=2097
|sides|=15278
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=485850
|called|=575
Found 13900 contexts for 187 functions. Top 5 functions:
1839	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
930	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
741	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
723	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=1497036.72MB, max=2484.53MB, minor=1496976.55MB, major=10193.91MB, promoted=10133.73MB
    minor collections=713854  major collections=47 compactions=0


runtime: 00:10:02.264
vars: 521664, evals: 1816991

|rho|=521664
|stable|=486035
|infl|=521292
|wpoint|=2109
|sides|=15407
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=490872
|called|=554
Found 14029 contexts for 187 functions. Top 5 functions:
1877	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=1521684.77MB, max=2484.53MB, minor=1521623.86MB, major=10322.06MB, promoted=10261.15MB
    minor collections=725607  major collections=47 compactions=0


runtime: 00:10:12.291
vars: 523486, evals: 1832593

|rho|=523486
|stable|=486318
|infl|=523151
|wpoint|=2130
|sides|=15433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492638
|called|=604
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=1546717.71MB, max=2484.53MB, minor=1546656.48MB, major=10436.64MB, promoted=10375.42MB
    minor collections=737544  major collections=47 compactions=0


runtime: 00:10:22.343
vars: 524536, evals: 1847643

|rho|=524536
|stable|=486566
|infl|=524223
|wpoint|=2132
|sides|=15440
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=493671
|called|=556
Found 14062 contexts for 187 functions. Top 5 functions:
1897	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=1570994.36MB, max=2484.53MB, minor=1570924.57MB, major=10553.84MB, promoted=10484.05MB
    minor collections=749118  major collections=47 compactions=0


runtime: 00:10:32.358
vars: 525392, evals: 1864491

|rho|=525392
|stable|=488401
|infl|=525085
|wpoint|=2107
|sides|=15447
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494513
|called|=444
Found 14069 contexts for 187 functions. Top 5 functions:
1901	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=1596404.36MB, max=2857.21MB, minor=1596326.17MB, major=10678.34MB, promoted=10600.14MB
    minor collections=761232  major collections=47 compactions=0


runtime: 00:10:42.370
vars: 532244, evals: 1886490

|rho|=532244
|stable|=494799
|infl|=531973
|wpoint|=2158
|sides|=15616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501024
|called|=404
Found 14238 contexts for 187 functions. Top 5 functions:
1942	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=1622719.52MB, max=2857.21MB, minor=1622640.96MB, major=10823.27MB, promoted=10744.72MB
    minor collections=773780  major collections=47 compactions=0


runtime: 00:10:52.385
vars: 534195, evals: 1902924

|rho|=534195
|stable|=497318
|infl|=533965
|wpoint|=2152
|sides|=15641
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=502920
|called|=332
Found 14263 contexts for 187 functions. Top 5 functions:
1956	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=1648488.11MB, max=2857.21MB, minor=1648409.39MB, major=10941.88MB, promoted=10863.16MB
    minor collections=786067  major collections=47 compactions=0


runtime: 00:11:02.397
vars: 536064, evals: 1920061

|rho|=536064
|stable|=496413
|infl|=535857
|wpoint|=2172
|sides|=15667
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=504735
|called|=391
Found 14289 contexts for 187 functions. Top 5 functions:
1968	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
990	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
787	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
765	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
711	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=1673981.68MB, max=2857.21MB, minor=1673902.71MB, major=11065.20MB, promoted=10986.24MB
    minor collections=798224  major collections=48 compactions=0


runtime: 00:11:12.408
vars: 549220, evals: 1945256

|rho|=549220
|stable|=510674
|infl|=548932
|wpoint|=2191
|sides|=16076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=517081
|called|=411
Found 14698 contexts for 187 functions. Top 5 functions:
2002	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1011	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
806	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
782	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=1700789.04MB, max=2857.21MB, minor=1700709.18MB, major=11210.71MB, promoted=11130.85MB
    minor collections=811007  major collections=48 compactions=0


runtime: 00:11:22.476
vars: 555537, evals: 1965219

|rho|=555537
|stable|=515783
|infl|=555255
|wpoint|=2258
|sides|=16218
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=523116
|called|=427
Found 14840 contexts for 187 functions. Top 5 functions:
2041	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1037	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
825	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
801	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=1727355.47MB, max=2857.21MB, minor=1727274.49MB, major=11350.07MB, promoted=11269.09MB
    minor collections=823674  major collections=48 compactions=0


runtime: 00:11:32.531
vars: 558008, evals: 1980500

|rho|=558008
|stable|=518395
|infl|=557769
|wpoint|=2254
|sides|=16263
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525491
|called|=360
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=1752587.52MB, max=2857.21MB, minor=1752497.94MB, major=11471.95MB, promoted=11382.37MB
    minor collections=835703  major collections=48 compactions=0


runtime: 00:11:42.539
vars: 559073, evals: 1996466

|rho|=559073
|stable|=518832
|infl|=558866
|wpoint|=2256
|sides|=16270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=526538
|called|=314
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=1778893.01MB, max=2857.21MB, minor=1778803.38MB, major=11586.25MB, promoted=11496.63MB
    minor collections=848247  major collections=48 compactions=0


runtime: 00:11:52.555
vars: 561082, evals: 2014591

|rho|=561082
|stable|=521492
|infl|=560894
|wpoint|=2265
|sides|=16311
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=528463
|called|=257
Found 14933 contexts for 187 functions. Top 5 functions:
2075	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=1805768.59MB, max=2857.21MB, minor=1805678.89MB, major=11709.45MB, promoted=11619.74MB
    minor collections=861062  major collections=48 compactions=0


runtime: 00:12:02.570
vars: 566423, evals: 2033915

|rho|=566423
|stable|=525142
|infl|=566277
|wpoint|=2311
|sides|=16431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=533561
|called|=257
Found 15053 contexts for 187 functions. Top 5 functions:
2108	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=1832018.12MB, max=2857.21MB, minor=1831919.25MB, major=11852.37MB, promoted=11753.50MB
    minor collections=873576  major collections=49 compactions=0


runtime: 00:12:12.584
vars: 568570, evals: 2050303

|rho|=568570
|stable|=527583
|infl|=568457
|wpoint|=2301
|sides|=16465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535635
|called|=146
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=1857962.55MB, max=2857.21MB, minor=1857863.36MB, major=11970.28MB, promoted=11871.09MB
    minor collections=885948  major collections=49 compactions=0


runtime: 00:12:22.595
vars: 569970, evals: 2067144

|rho|=569970
|stable|=527116
|infl|=569868
|wpoint|=2325
|sides|=16483
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=536999
|called|=227
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=1884382.34MB, max=2857.21MB, minor=1884282.91MB, major=12087.60MB, promoted=11988.17MB
    minor collections=898546  major collections=49 compactions=0


runtime: 00:12:32.635
vars: 588456, evals: 2097060

|rho|=588456
|stable|=547338
|infl|=588187
|wpoint|=2376
|sides|=17095
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=554279
|called|=387
Found 15717 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=1912659.87MB, max=2857.21MB, minor=1912558.99MB, major=12246.79MB, promoted=12145.91MB
    minor collections=912029  major collections=49 compactions=0


runtime: 00:12:42.666
vars: 604937, evals: 2124629

|rho|=604937
|stable|=563494
|infl|=604562
|wpoint|=2450
|sides|=17569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=569823
|called|=547
Found 16191 contexts for 187 functions. Top 5 functions:
2223	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
857	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=1939268.71MB, max=2857.21MB, minor=1939167.16MB, major=12406.97MB, promoted=12305.41MB
    minor collections=924717  major collections=49 compactions=0


runtime: 00:12:52.686
vars: 608832, evals: 2142004

|rho|=608832
|stable|=566651
|infl|=608479
|wpoint|=2479
|sides|=17648
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=573558
|called|=525
Found 16270 contexts for 187 functions. Top 5 functions:
2243	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1136	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
899	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=1964633.11MB, max=2857.21MB, minor=1964531.19MB, major=12532.87MB, promoted=12430.96MB
    minor collections=936812  major collections=49 compactions=0


runtime: 00:13:02.701
vars: 609990, evals: 2156818

|rho|=609990
|stable|=566121
|infl|=609667
|wpoint|=2504
|sides|=17660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=574688
|called|=565
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=1989610.80MB, max=2857.21MB, minor=1989508.70MB, major=12641.02MB, promoted=12538.93MB
    minor collections=948722  major collections=49 compactions=0


runtime: 00:13:12.712
vars: 611118, evals: 2172340

|rho|=611118
|stable|=565086
|infl|=610816
|wpoint|=2492
|sides|=17669
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=575796
|called|=478
Found 16291 contexts for 187 functions. Top 5 functions:
2256	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=2015109.70MB, max=2857.21MB, minor=2015007.42MB, major=12754.26MB, promoted=12651.98MB
    minor collections=960882  major collections=50 compactions=0


runtime: 00:13:22.723
vars: 613791, evals: 2188249

|rho|=613791
|stable|=569927
|infl|=613493
|wpoint|=2486
|sides|=17735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=578337
|called|=448
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=2040388.05MB, max=2857.21MB, minor=2040285.40MB, major=12867.84MB, promoted=12765.18MB
    minor collections=972935  major collections=50 compactions=0


runtime: 00:13:32.738
vars: 619129, evals: 2205479

|rho|=619129
|stable|=574543
|infl|=618870
|wpoint|=2526
|sides|=17841
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=583459
|called|=417
Found 16463 contexts for 187 functions. Top 5 functions:
2298	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=2065796.92MB, max=2857.21MB, minor=2065693.43MB, major=12990.83MB, promoted=12887.34MB
    minor collections=985051  major collections=50 compactions=0


runtime: 00:13:42.762
vars: 620580, evals: 2219798

|rho|=620580
|stable|=574654
|infl|=620362
|wpoint|=2533
|sides|=17859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=584869
|called|=358
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=2091947.85MB, max=2857.21MB, minor=2091843.92MB, major=13103.44MB, promoted=12999.52MB
    minor collections=997521  major collections=50 compactions=0


runtime: 00:13:52.837
vars: 621656, evals: 2233922

|rho|=621656
|stable|=574700
|infl|=621460
|wpoint|=2536
|sides|=17867
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=585926
|called|=315
Found 16489 contexts for 187 functions. Top 5 functions:
2312	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=2117772.54MB, max=3285.79MB, minor=2117668.37MB, major=13211.55MB, promoted=13107.38MB
    minor collections=1009835  major collections=50 compactions=0


runtime: 00:14:02.877
vars: 622501, evals: 2249142

|rho|=622501
|stable|=577313
|infl|=622311
|wpoint|=2528
|sides|=17873
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=586759
|called|=285
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=2144231.28MB, max=3285.79MB, minor=2144127.04MB, major=13322.32MB, promoted=13218.09MB
    minor collections=1022452  major collections=50 compactions=0


runtime: 00:14:12.888
vars: 638034, evals: 2276395

|rho|=638034
|stable|=593862
|infl|=637717
|wpoint|=2609
|sides|=18341
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=601371
|called|=460
Found 16963 contexts for 187 functions. Top 5 functions:
2365	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1202	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
950	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
912	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=2171447.69MB, max=3285.79MB, minor=2171342.96MB, major=13478.35MB, promoted=13373.62MB
    minor collections=1035429  major collections=50 compactions=0


runtime: 00:14:22.898
vars: 642344, evals: 2293209

|rho|=642344
|stable|=596786
|infl|=642070
|wpoint|=2643
|sides|=18423
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=605512
|called|=451
Found 17045 contexts for 187 functions. Top 5 functions:
2387	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1215	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
960	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
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
862	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=2197128.35MB, max=3285.79MB, minor=2197023.15MB, major=13601.74MB, promoted=13496.54MB
    minor collections=1047675  major collections=50 compactions=0


runtime: 00:14:32.918
vars: 643701, evals: 2307324

|rho|=643701
|stable|=599410
|infl|=643459
|wpoint|=2631
|sides|=18436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=606839
|called|=354
Found 17058 contexts for 187 functions. Top 5 functions:
2394	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=2222544.92MB, max=3285.79MB, minor=2222439.51MB, major=13708.15MB, promoted=13602.74MB
    minor collections=1059795  major collections=50 compactions=0


runtime: 00:14:42.929
vars: 644628, evals: 2321908

|rho|=644628
|stable|=599146
|infl|=644405
|wpoint|=2635
|sides|=18444
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=607748
|called|=334
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=2247666.52MB, max=3285.79MB, minor=2247560.88MB, major=13816.62MB, promoted=13710.97MB
    minor collections=1071774  major collections=51 compactions=0


runtime: 00:14:52.945
vars: 648367, evals: 2338046

|rho|=648367
|stable|=602482
|infl|=648168
|wpoint|=2644
|sides|=18526
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=611321
|called|=295
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=2272986.86MB, max=3285.79MB, minor=2272880.54MB, major=13928.82MB, promoted=13822.50MB
    minor collections=1083848  major collections=51 compactions=0

