./goblint --conf conf/examples/large-program.json --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c


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


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

runtime: 00:00:10.488
vars: 62597, evals: 94265

|rho|=62597
|stable|=55526
|infl|=62307
|wpoint|=155
|sides|=3814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54991
|called|=424
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=25388.88MB, max=200.75MB, minor=25379.54MB, major=355.04MB, promoted=345.70MB
    minor collections=12109  major collections=17 compactions=0


runtime: 00:00:20.564
vars: 95667, evals: 156870

|rho|=95667
|stable|=86751
|infl|=95130
|wpoint|=305
|sides|=4807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86099
|called|=818
Found 3449 contexts for 186 functions. Top 5 functions:
353	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
346	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
155	contexts for L:entry state of sym_hash (9671) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
140	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
139	contexts for L:entry state of sym_eq (9672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15595:1-15609:1

Memory statistics: total=49261.09MB, max=351.13MB, minor=49246.99MB, major=624.10MB, promoted=610.00MB
    minor collections=23492  major collections=20 compactions=0


runtime: 00:00:30.615
vars: 101162, evals: 195984

|rho|=101162
|stable|=93143
|infl|=100674
|wpoint|=324
|sides|=4926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91347
|called|=714
Found 3548 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
169	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=72638.67MB, max=403.80MB, minor=72624.41MB, major=829.04MB, promoted=814.79MB
    minor collections=34640  major collections=21 compactions=0


runtime: 00:00:40.630
vars: 106468, evals: 236237

|rho|=106468
|stable|=96093
|infl|=106026
|wpoint|=349
|sides|=5032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96435
|called|=667
Found 3654 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
199	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=96289.27MB, max=464.37MB, minor=96274.86MB, major=1037.43MB, promoted=1023.02MB
    minor collections=45918  major collections=23 compactions=0


runtime: 00:00:50.664
vars: 113930, evals: 275473

|rho|=113930
|stable|=101099
|infl|=113557
|wpoint|=402
|sides|=5179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103596
|called|=648
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=120094.15MB, max=464.37MB, minor=120079.52MB, major=1249.05MB, promoted=1234.42MB
    minor collections=57270  major collections=24 compactions=0


runtime: 00:01:00.695
vars: 115836, evals: 311332

|rho|=115836
|stable|=103693
|infl|=115491
|wpoint|=379
|sides|=5193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105471
|called|=499
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=143810.03MB, max=534.03MB, minor=143795.36MB, major=1439.06MB, promoted=1424.39MB
    minor collections=68580  major collections=26 compactions=0


runtime: 00:01:10.730
vars: 135750, evals: 359943

|rho|=135750
|stable|=123584
|infl|=135330
|wpoint|=489
|sides|=5744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124292
|called|=663
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=168093.60MB, max=534.03MB, minor=168074.30MB, major=1679.07MB, promoted=1659.76MB
    minor collections=80158  major collections=27 compactions=0


runtime: 00:01:20.793
vars: 138544, evals: 395028

|rho|=138544
|stable|=126114
|infl|=138177
|wpoint|=482
|sides|=5770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127027
|called|=544
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=192612.09MB, max=614.13MB, minor=192592.71MB, major=1870.12MB, promoted=1850.73MB
    minor collections=91850  major collections=28 compactions=0


runtime: 00:01:30.828
vars: 149395, evals: 435222

|rho|=149395
|stable|=136154
|infl|=149105
|wpoint|=514
|sides|=5995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137420
|called|=419
Found 4617 contexts for 187 functions. Top 5 functions:
404	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
204	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=217108.95MB, max=706.25MB, minor=217085.03MB, major=2090.61MB, promoted=2066.68MB
    minor collections=103530  major collections=29 compactions=0


runtime: 00:01:40.855
vars: 158832, evals: 475982

|rho|=158832
|stable|=144663
|infl|=158511
|wpoint|=546
|sides|=6267
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146320
|called|=455
Found 4889 contexts for 187 functions. Top 5 functions:
429	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
393	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
384	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
212	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
197	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=242457.36MB, max=706.25MB, minor=242433.20MB, major=2300.63MB, promoted=2276.46MB
    minor collections=115618  major collections=30 compactions=0


runtime: 00:01:50.886
vars: 182408, evals: 522667

|rho|=182408
|stable|=166683
|infl|=181960
|wpoint|=668
|sides|=6899
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168643
|called|=697
Found 5521 contexts for 187 functions. Top 5 functions:
519	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
258	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=267334.41MB, max=812.19MB, minor=267309.61MB, major=2534.03MB, promoted=2509.23MB
    minor collections=127481  major collections=31 compactions=0


runtime: 00:02:00.910
vars: 185208, evals: 552797

|rho|=185208
|stable|=169613
|infl|=184819
|wpoint|=666
|sides|=6932
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171370
|called|=558
Found 5554 contexts for 187 functions. Top 5 functions:
532	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=292219.89MB, max=812.19MB, minor=292194.95MB, major=2711.93MB, promoted=2686.99MB
    minor collections=139348  major collections=32 compactions=0


runtime: 00:02:10.957
vars: 189548, evals: 585462

|rho|=189548
|stable|=173610
|infl|=189208
|wpoint|=693
|sides|=7016
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175537
|called|=516
Found 5638 contexts for 187 functions. Top 5 functions:
555	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
272	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=317287.97MB, max=934.02MB, minor=317262.91MB, major=2894.96MB, promoted=2869.89MB
    minor collections=151301  major collections=32 compactions=0


runtime: 00:02:20.968
vars: 195605, evals: 617708

|rho|=195605
|stable|=176776
|infl|=195331
|wpoint|=711
|sides|=7119
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181380
|called|=405
Found 5741 contexts for 187 functions. Top 5 functions:
586	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=342507.22MB, max=934.02MB, minor=342481.89MB, major=3085.12MB, promoted=3059.79MB
    minor collections=163327  major collections=33 compactions=0


runtime: 00:02:30.995
vars: 211231, evals: 658741

|rho|=211231
|stable|=193834
|infl|=210873
|wpoint|=774
|sides|=7576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196102
|called|=534
Found 6198 contexts for 187 functions. Top 5 functions:
636	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
435	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
424	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
318	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
276	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=368564.31MB, max=934.02MB, minor=368538.60MB, major=3294.01MB, promoted=3268.30MB
    minor collections=175753  major collections=34 compactions=0


runtime: 00:02:41.054
vars: 218477, evals: 689246

|rho|=218477
|stable|=199969
|infl|=218178
|wpoint|=806
|sides|=7717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203060
|called|=454
Found 6339 contexts for 187 functions. Top 5 functions:
679	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=393491.71MB, max=1074.12MB, minor=393465.55MB, major=3479.04MB, promoted=3452.88MB
    minor collections=187639  major collections=34 compactions=0


runtime: 00:02:51.069
vars: 220398, evals: 717959

|rho|=220398
|stable|=198766
|infl|=220137
|wpoint|=814
|sides|=7731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204949
|called|=444
Found 6353 contexts for 187 functions. Top 5 functions:
688	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=418871.63MB, max=1074.12MB, minor=418845.40MB, major=3647.79MB, promoted=3621.57MB
    minor collections=199742  major collections=35 compactions=0


runtime: 00:03:01.120
vars: 228571, evals: 752074

|rho|=228571
|stable|=210290
|infl|=228381
|wpoint|=855
|sides|=7912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212753
|called|=272
Found 6534 contexts for 187 functions. Top 5 functions:
734	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
370	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
294	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=444262.65MB, max=1074.12MB, minor=444235.99MB, major=3842.78MB, promoted=3816.12MB
    minor collections=211849  major collections=35 compactions=0


runtime: 00:03:11.135
vars: 231557, evals: 782750

|rho|=231557
|stable|=213269
|infl|=231384
|wpoint|=861
|sides|=7962
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215638
|called|=253
Found 6584 contexts for 187 functions. Top 5 functions:
759	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
375	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
298	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=470252.44MB, max=1074.12MB, minor=470225.62MB, major=4016.63MB, promoted=3989.82MB
    minor collections=224243  major collections=36 compactions=0


runtime: 00:03:21.162
vars: 265230, evals: 835167

|rho|=265230
|stable|=246042
|infl|=264808
|wpoint|=1009
|sides|=9023
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247215
|called|=659
Found 7645 contexts for 187 functions. Top 5 functions:
835	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
492	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
478	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
417	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=496602.41MB, max=1235.24MB, minor=496566.06MB, major=4264.22MB, promoted=4227.87MB
    minor collections=236805  major collections=36 compactions=0


runtime: 00:03:31.172
vars: 270833, evals: 862409

|rho|=270833
|stable|=251360
|infl|=270452
|wpoint|=1032
|sides|=9126
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252607
|called|=568
Found 7748 contexts for 187 functions. Top 5 functions:
865	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=521248.49MB, max=1235.24MB, minor=521211.73MB, major=4433.59MB, promoted=4396.83MB
    minor collections=248558  major collections=37 compactions=0


runtime: 00:03:41.219
vars: 272464, evals: 887577

|rho|=272464
|stable|=249441
|infl|=272118
|wpoint|=1058
|sides|=9137
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254212
|called|=613
Found 7759 contexts for 187 functions. Top 5 functions:
873	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=546114.20MB, max=1235.24MB, minor=546077.27MB, major=4589.08MB, promoted=4552.15MB
    minor collections=260415  major collections=37 compactions=0


runtime: 00:03:51.231
vars: 279664, evals: 917629

|rho|=279664
|stable|=258359
|infl|=279348
|wpoint|=1071
|sides|=9292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261100
|called|=473
Found 7914 contexts for 187 functions. Top 5 functions:
913	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
464	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
368	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=571885.30MB, max=1235.24MB, minor=571848.12MB, major=4766.06MB, promoted=4728.88MB
    minor collections=272704  major collections=38 compactions=0


runtime: 00:04:01.270
vars: 283194, evals: 943298

|rho|=283194
|stable|=261708
|infl|=282939
|wpoint|=1078
|sides|=9344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264518
|called|=372
Found 7966 contexts for 187 functions. Top 5 functions:
928	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=597061.52MB, max=1420.53MB, minor=597019.88MB, major=4934.35MB, promoted=4892.72MB
    minor collections=284708  major collections=38 compactions=0


runtime: 00:04:11.337
vars: 287176, evals: 970922

|rho|=287176
|stable|=265098
|infl|=286928
|wpoint|=1080
|sides|=9434
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=268320
|called|=355
Found 8056 contexts for 187 functions. Top 5 functions:
943	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
500	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
486	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
473	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
374	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=622831.28MB, max=1420.53MB, minor=622785.33MB, major=5102.13MB, promoted=5056.17MB
    minor collections=296995  major collections=38 compactions=0


runtime: 00:04:21.352
vars: 302762, evals: 1006449

|rho|=302762
|stable|=279025
|infl|=302467
|wpoint|=1174
|sides|=9863
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=283053
|called|=449
Found 8485 contexts for 187 functions. Top 5 functions:
993	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
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
502	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
396	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=648896.31MB, max=1420.53MB, minor=648849.68MB, major=5296.80MB, promoted=5250.18MB
    minor collections=309424  major collections=39 compactions=0


runtime: 00:04:31.391
vars: 305122, evals: 1029719

|rho|=305122
|stable|=281821
|infl|=304876
|wpoint|=1178
|sides|=9885
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=285362
|called|=388
Found 8507 contexts for 187 functions. Top 5 functions:
1003	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=673961.72MB, max=1420.53MB, minor=673914.89MB, major=5443.56MB, promoted=5396.73MB
    minor collections=321377  major collections=39 compactions=0


runtime: 00:04:41.411
vars: 311248, evals: 1058175

|rho|=311248
|stable|=286635
|infl|=311014
|wpoint|=1212
|sides|=10018
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=291222
|called|=344
Found 8640 contexts for 187 functions. Top 5 functions:
1041	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
531	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
420	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=700282.50MB, max=1633.61MB, minor=700235.38MB, major=5614.36MB, promoted=5567.23MB
    minor collections=333927  major collections=39 compactions=0


runtime: 00:04:51.422
vars: 314881, evals: 1083088

|rho|=314881
|stable|=288887
|infl|=314715
|wpoint|=1238
|sides|=10073
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294738
|called|=310
Found 8695 contexts for 187 functions. Top 5 functions:
1056	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=725425.96MB, max=1633.61MB, minor=725378.53MB, major=5770.62MB, promoted=5723.19MB
    minor collections=345917  major collections=40 compactions=0


runtime: 00:05:01.465
vars: 321846, evals: 1110948

|rho|=321846
|stable|=297295
|infl|=321613
|wpoint|=1240
|sides|=10300
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301258
|called|=328
Found 8922 contexts for 187 functions. Top 5 functions:
1072	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
543	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
532	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
516	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
429	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=751005.93MB, max=1633.61MB, minor=750958.14MB, major=5928.51MB, promoted=5880.72MB
    minor collections=358115  major collections=40 compactions=0


runtime: 00:05:11.480
vars: 342344, evals: 1148768

|rho|=342344
|stable|=317022
|infl|=341993
|wpoint|=1352
|sides|=10868
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=320632
|called|=543
Found 9490 contexts for 187 functions. Top 5 functions:
1136	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
582	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
459	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=777738.56MB, max=1633.61MB, minor=777690.09MB, major=6128.71MB, promoted=6080.25MB
    minor collections=370862  major collections=40 compactions=0


runtime: 00:05:21.491
vars: 345560, evals: 1170566

|rho|=345560
|stable|=320676
|infl|=345266
|wpoint|=1358
|sides|=10920
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323737
|called|=448
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=802469.34MB, max=1633.61MB, minor=802420.53MB, major=6275.37MB, promoted=6226.57MB
    minor collections=382655  major collections=41 compactions=0


runtime: 00:05:31.539
vars: 347142, evals: 1191799

|rho|=347142
|stable|=319991
|infl|=346875
|wpoint|=1377
|sides|=10932
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=325292
|called|=508
Found 9554 contexts for 187 functions. Top 5 functions:
1159	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=827529.73MB, max=1633.61MB, minor=827480.72MB, major=6415.76MB, promoted=6366.75MB
    minor collections=394605  major collections=41 compactions=0


runtime: 00:05:41.578
vars: 352714, evals: 1217024

|rho|=352714
|stable|=326922
|infl|=352485
|wpoint|=1401
|sides|=11054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=330616
|called|=349
Found 9676 contexts for 187 functions. Top 5 functions:
1184	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=852927.82MB, max=1878.66MB, minor=852878.59MB, major=6572.91MB, promoted=6523.68MB
    minor collections=406716  major collections=41 compactions=0


runtime: 00:05:51.593
vars: 355599, evals: 1240535

|rho|=355599
|stable|=329588
|infl|=355417
|wpoint|=1393
|sides|=11087
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333431
|called|=251
Found 9709 contexts for 187 functions. Top 5 functions:
1199	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
609	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
478	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=879380.98MB, max=1878.66MB, minor=879331.56MB, major=6728.48MB, promoted=6679.06MB
    minor collections=419330  major collections=41 compactions=0


runtime: 00:06:01.603
vars: 370473, evals: 1272643

|rho|=370473
|stable|=343051
|infl|=370231
|wpoint|=1470
|sides|=11530
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=347425
|called|=364
Found 10152 contexts for 187 functions. Top 5 functions:
1243	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
638	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
503	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=906119.28MB, max=1878.66MB, minor=906068.89MB, major=6905.16MB, promoted=6854.77MB
    minor collections=432080  major collections=42 compactions=0


runtime: 00:06:11.706
vars: 375325, evals: 1295180

|rho|=375325
|stable|=346303
|infl|=375130
|wpoint|=1496
|sides|=11616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=352099
|called|=358
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=932571.89MB, max=1878.66MB, minor=932520.99MB, major=7058.65MB, promoted=7007.75MB
    minor collections=444693  major collections=42 compactions=0


runtime: 00:06:21.717
vars: 377082, evals: 1316899

|rho|=377082
|stable|=346793
|infl|=376912
|wpoint|=1492
|sides|=11630
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=353826
|called|=323
Found 10252 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=959181.32MB, max=1878.66MB, minor=959130.35MB, major=7202.59MB, promoted=7151.62MB
    minor collections=457382  major collections=42 compactions=0


runtime: 00:06:31.728
vars: 383374, evals: 1343506

|rho|=383374
|stable|=354145
|infl|=383257
|wpoint|=1531
|sides|=11766
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=359839
|called|=204
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=985647.58MB, max=1878.66MB, minor=985596.14MB, major=7369.62MB, promoted=7318.18MB
    minor collections=470003  major collections=43 compactions=0


runtime: 00:06:41.747
vars: 387431, evals: 1368178

|rho|=387431
|stable|=359401
|infl|=387315
|wpoint|=1520
|sides|=11863
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=363703
|called|=141
Found 10485 contexts for 187 functions. Top 5 functions:
1318	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
672	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
586	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
568	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
528	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1012590.45MB, max=1878.66MB, minor=1012538.72MB, major=7522.87MB, promoted=7471.15MB
    minor collections=482850  major collections=43 compactions=0


runtime: 00:06:51.823
vars: 419713, evals: 1414433

|rho|=419713
|stable|=391467
|infl|=419269
|wpoint|=1648
|sides|=12928
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=393889
|called|=642
Found 11550 contexts for 187 functions. Top 5 functions:
1382	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
699	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
641	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
619	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
565	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=1040898.31MB, max=2160.46MB, minor=1040845.48MB, major=7738.69MB, promoted=7685.86MB
    minor collections=496348  major collections=43 compactions=0


runtime: 00:07:01.834
vars: 430244, evals: 1441358

|rho|=430244
|stable|=400815
|infl|=429771
|wpoint|=1742
|sides|=13170
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=403935
|called|=717
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=1066626.03MB, max=2160.46MB, minor=1066572.58MB, major=7895.40MB, promoted=7841.95MB
    minor collections=508616  major collections=43 compactions=0


runtime: 00:07:11.846
vars: 435525, evals: 1462258

|rho|=435525
|stable|=405311
|infl|=435069
|wpoint|=1761
|sides|=13299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=408957
|called|=712
Found 11921 contexts for 187 functions. Top 5 functions:
1462	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
742	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
589	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=1091480.99MB, max=2160.46MB, minor=1091426.92MB, major=8034.86MB, promoted=7980.79MB
    minor collections=520468  major collections=44 compactions=0


runtime: 00:07:21.857
vars: 437373, evals: 1480298

|rho|=437373
|stable|=405945
|infl|=436954
|wpoint|=1772
|sides|=13326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410747
|called|=725
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=1115838.19MB, max=2160.46MB, minor=1115783.86MB, major=8157.56MB, promoted=8103.23MB
    minor collections=532083  major collections=44 compactions=0


runtime: 00:07:31.908
vars: 438423, evals: 1498524

|rho|=438423
|stable|=406559
|infl|=438026
|wpoint|=1769
|sides|=13333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411780
|called|=668
Found 11955 contexts for 187 functions. Top 5 functions:
1483	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
746	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
592	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1140474.87MB, max=2160.46MB, minor=1140420.37MB, major=8279.64MB, promoted=8225.14MB
    minor collections=543830  major collections=44 compactions=0


runtime: 00:07:41.935
vars: 441457, evals: 1519696

|rho|=441457
|stable|=410509
|infl|=441066
|wpoint|=1748
|sides|=13405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=414670
|called|=564
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=1166087.11MB, max=2160.46MB, minor=1166032.54MB, major=8416.70MB, promoted=8362.13MB
    minor collections=556043  major collections=44 compactions=0


runtime: 00:07:51.951
vars: 447548, evals: 1543762

|rho|=447548
|stable|=416062
|infl|=447190
|wpoint|=1800
|sides|=13530
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=420508
|called|=506
Found 12152 contexts for 187 functions. Top 5 functions:
1535	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
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
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
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=1192128.83MB, max=2160.46MB, minor=1192073.88MB, major=8570.12MB, promoted=8515.17MB
    minor collections=568461  major collections=44 compactions=0


runtime: 00:08:01.962
vars: 451402, evals: 1563092

|rho|=451402
|stable|=418028
|infl|=451092
|wpoint|=1816
|sides|=13613
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424191
|called|=512
Found 12235 contexts for 187 functions. Top 5 functions:
1569	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=1217234.22MB, max=2160.46MB, minor=1217178.93MB, major=8700.84MB, promoted=8645.55MB
    minor collections=580433  major collections=45 compactions=0


runtime: 00:08:11.977
vars: 452493, evals: 1581299

|rho|=452493
|stable|=416929
|infl|=452215
|wpoint|=1821
|sides|=13621
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=425262
|called|=471
Found 12243 contexts for 187 functions. Top 5 functions:
1575	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=1241894.75MB, max=2160.46MB, minor=1241839.25MB, major=8822.78MB, promoted=8767.28MB
    minor collections=592192  major collections=45 compactions=0


runtime: 00:08:22.028
vars: 454095, evals: 1601388

|rho|=454095
|stable|=420448
|infl|=453827
|wpoint|=1817
|sides|=13656
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=426794
|called|=380
Found 12278 contexts for 187 functions. Top 5 functions:
1581	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
801	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
651	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
634	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
629	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1267957.94MB, max=2160.46MB, minor=1267902.19MB, major=8952.71MB, promoted=8896.96MB
    minor collections=604620  major collections=45 compactions=0


runtime: 00:08:32.070
vars: 470443, evals: 1632623

|rho|=470443
|stable|=437725
|infl|=470055
|wpoint|=1910
|sides|=14116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=442236
|called|=560
Found 12738 contexts for 187 functions. Top 5 functions:
1637	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
829	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
668	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
656	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
645	contexts for L:entry state of str_intern (9679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1294211.12MB, max=2484.53MB, minor=1294154.81MB, major=9123.12MB, promoted=9066.81MB
    minor collections=617139  major collections=45 compactions=0


runtime: 00:08:42.082
vars: 476213, evals: 1653935

|rho|=476213
|stable|=442619
|infl|=475852
|wpoint|=1935
|sides|=14252
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=447730
|called|=550
Found 12874 contexts for 187 functions. Top 5 functions:
1679	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
852	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
675	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
670	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
664	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=1320355.74MB, max=2484.53MB, minor=1320298.88MB, major=9265.49MB, promoted=9208.62MB
    minor collections=629605  major collections=45 compactions=0


runtime: 00:08:52.097
vars: 477931, evals: 1671630

|rho|=477931
|stable|=444431
|infl|=477607
|wpoint|=1932
|sides|=14274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449400
|called|=475
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=1345909.18MB, max=2484.53MB, minor=1345852.11MB, major=9385.48MB, promoted=9328.40MB
    minor collections=641791  major collections=46 compactions=0


runtime: 00:09:02.108
vars: 479059, evals: 1689774

|rho|=479059
|stable|=444952
|infl|=478756
|wpoint|=1933
|sides|=14283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450508
|called|=438
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=1371142.97MB, max=2484.53MB, minor=1371085.68MB, major=9509.82MB, promoted=9452.53MB
    minor collections=653823  major collections=46 compactions=0


runtime: 00:09:12.123
vars: 484306, evals: 1711189

|rho|=484306
|stable|=449465
|infl|=484042
|wpoint|=1943
|sides|=14401
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=455515
|called|=375
Found 13023 contexts for 187 functions. Top 5 functions:
1723	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
876	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
694	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
680	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
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=1397676.26MB, max=2484.53MB, minor=1397618.21MB, major=9649.75MB, promoted=9591.70MB
    minor collections=666475  major collections=46 compactions=0


runtime: 00:09:22.195
vars: 488453, evals: 1729638

|rho|=488453
|stable|=452567
|infl|=488242
|wpoint|=1949
|sides|=14485
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=459488
|called|=334
Found 13107 contexts for 187 functions. Top 5 functions:
1756	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
891	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
707	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
692	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=1423851.00MB, max=2484.53MB, minor=1423792.43MB, major=9781.35MB, promoted=9722.79MB
    minor collections=678956  major collections=46 compactions=0


runtime: 00:09:32.210
vars: 490415, evals: 1749275

|rho|=490415
|stable|=455013
|infl|=490221
|wpoint|=1951
|sides|=14510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=461398
|called|=261
Found 13132 contexts for 187 functions. Top 5 functions:
1769	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
894	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
710	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=1450646.06MB, max=2484.53MB, minor=1450587.41MB, major=9918.98MB, promoted=9860.32MB
    minor collections=691733  major collections=46 compactions=0


runtime: 00:09:42.221
vars: 510023, evals: 1782795

|rho|=510023
|stable|=475460
|infl|=509614
|wpoint|=2035
|sides|=15129
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=479792
|called|=589
Found 13751 contexts for 187 functions. Top 5 functions:
1810	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
911	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
727	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
709	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
701	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=1478625.84MB, max=2484.53MB, minor=1478566.46MB, major=10093.32MB, promoted=10033.94MB
    minor collections=705075  major collections=46 compactions=0


runtime: 00:09:52.233
vars: 518352, evals: 1804429

|rho|=518352
|stable|=482483
|infl|=517952
|wpoint|=2115
|sides|=15323
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=487731
|called|=610
Found 13945 contexts for 187 functions. Top 5 functions:
1853	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
939	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
748	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
730	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=1504228.46MB, max=2484.53MB, minor=1504168.08MB, major=10234.38MB, promoted=10174.00MB
    minor collections=717284  major collections=47 compactions=0


runtime: 00:10:02.248
vars: 522319, evals: 1821587

|rho|=522319
|stable|=486492
|infl|=521951
|wpoint|=2108
|sides|=15416
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=491508
|called|=541
Found 14038 contexts for 187 functions. Top 5 functions:
1884	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
952	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
759	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
741	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1529529.83MB, max=2484.53MB, minor=1529468.89MB, major=10358.58MB, promoted=10297.63MB
    minor collections=729348  major collections=47 compactions=0


runtime: 00:10:12.303
vars: 523641, evals: 1837200

|rho|=523641
|stable|=488046
|infl|=523310
|wpoint|=2108
|sides|=15433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492792
|called|=490
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=1555392.02MB, max=2484.53MB, minor=1555330.77MB, major=10473.80MB, promoted=10412.55MB
    minor collections=741680  major collections=47 compactions=0


runtime: 00:10:22.350
vars: 524763, evals: 1853224

|rho|=524763
|stable|=487075
|infl|=524452
|wpoint|=2127
|sides|=15442
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=493894
|called|=531
Found 14064 contexts for 187 functions. Top 5 functions:
1899	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
762	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
742	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1579714.25MB, max=2857.21MB, minor=1579636.09MB, major=10605.85MB, promoted=10527.69MB
    minor collections=753272  major collections=47 compactions=0


runtime: 00:10:32.365
vars: 527283, evals: 1872385

|rho|=527283
|stable|=490222
|infl|=526995
|wpoint|=2143
|sides|=15497
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=496302
|called|=415
Found 14119 contexts for 187 functions. Top 5 functions:
1908	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
962	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
765	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
745	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
708	contexts for L:entry state of str_new (9678) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1606076.22MB, max=2857.21MB, minor=1605997.98MB, major=10731.54MB, promoted=10653.30MB
    minor collections=765842  major collections=47 compactions=0


runtime: 00:10:42.377
vars: 533004, evals: 1892087

|rho|=533004
|stable|=495494
|infl|=532754
|wpoint|=2155
|sides|=15624
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501766
|called|=374
Found 14246 contexts for 187 functions. Top 5 functions:
1948	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=1632463.34MB, max=2857.21MB, minor=1632384.77MB, major=10868.54MB, promoted=10789.97MB
    minor collections=778425  major collections=47 compactions=0


runtime: 00:10:52.388
vars: 534883, evals: 1908996

|rho|=534883
|stable|=496067
|infl|=534669
|wpoint|=2169
|sides|=15646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=503596
|called|=375
Found 14268 contexts for 187 functions. Top 5 functions:
1959	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=1658485.11MB, max=2857.21MB, minor=1658406.32MB, major=10990.92MB, promoted=10912.13MB
    minor collections=790834  major collections=48 compactions=0


runtime: 00:11:02.403
vars: 537856, evals: 1926390

|rho|=537856
|stable|=497871
|infl|=537650
|wpoint|=2173
|sides|=15712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=506437
|called|=391
Found 14334 contexts for 187 functions. Top 5 functions:
1979	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
999	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
796	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
773	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
714	contexts for L:entry state of pattern_match (9334) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1684145.91MB, max=2857.21MB, minor=1684066.78MB, major=11113.58MB, promoted=11034.45MB
    minor collections=803070  major collections=48 compactions=0


runtime: 00:11:12.415
vars: 551106, evals: 1952707

|rho|=551106
|stable|=512109
|infl|=550823
|wpoint|=2239
|sides|=16114
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=518891
|called|=410
Found 14736 contexts for 187 functions. Top 5 functions:
2013	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1020	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
812	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
788	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=1711498.10MB, max=2857.21MB, minor=1711417.76MB, major=11263.65MB, promoted=11183.31MB
    minor collections=816112  major collections=48 compactions=0


runtime: 00:11:22.474
vars: 556489, evals: 1970451

|rho|=556489
|stable|=517375
|infl|=556227
|wpoint|=2248
|sides|=16242
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=524016
|called|=366
Found 14864 contexts for 187 functions. Top 5 functions:
2053	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1041	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
829	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
805	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	contexts for L:entry state of pattern_match (9334) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1737535.10MB, max=2857.21MB, minor=1737453.95MB, major=11393.20MB, promoted=11312.05MB
    minor collections=828527  major collections=48 compactions=0


runtime: 00:11:32.497
vars: 558172, evals: 1985940

|rho|=558172
|stable|=518942
|infl|=557946
|wpoint|=2251
|sides|=16263
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525653
|called|=328
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=1763108.26MB, max=2857.21MB, minor=1763018.68MB, major=11514.86MB, promoted=11425.28MB
    minor collections=840718  major collections=48 compactions=0


runtime: 00:11:42.512
vars: 559596, evals: 2002529

|rho|=559596
|stable|=520030
|infl|=559391
|wpoint|=2247
|sides|=16275
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=527051
|called|=278
Found 14897 contexts for 187 functions. Top 5 functions:
2072	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1045	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
832	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
806	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	contexts for L:entry state of pattern_match (9334) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1789204.46MB, max=2857.21MB, minor=1789114.82MB, major=11636.79MB, promoted=11547.15MB
    minor collections=853162  major collections=48 compactions=0


runtime: 00:11:52.524
vars: 563835, evals: 2021678

|rho|=563835
|stable|=522960
|infl|=563656
|wpoint|=2283
|sides|=16377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=531087
|called|=251
Found 14999 contexts for 187 functions. Top 5 functions:
2093	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1060	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
843	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
816	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=1816078.68MB, max=2857.21MB, minor=1815988.76MB, major=11763.72MB, promoted=11673.79MB
    minor collections=865977  major collections=48 compactions=0


runtime: 00:12:02.543
vars: 567361, evals: 2039340

|rho|=567361
|stable|=526080
|infl|=567221
|wpoint|=2318
|sides|=16446
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=534468
|called|=264
Found 15068 contexts for 187 functions. Top 5 functions:
2115	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1071	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
851	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=1841643.65MB, max=2857.21MB, minor=1841544.63MB, major=11897.54MB, promoted=11798.52MB
    minor collections=878164  major collections=49 compactions=0


runtime: 00:12:12.554
vars: 568906, evals: 2055229

|rho|=568906
|stable|=527745
|infl|=568798
|wpoint|=2311
|sides|=16468
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535965
|called|=174
Found 15090 contexts for 187 functions. Top 5 functions:
2126	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=1867147.90MB, max=2857.21MB, minor=1867048.63MB, major=12009.60MB, promoted=11910.33MB
    minor collections=890326  major collections=49 compactions=0


runtime: 00:12:22.570
vars: 574508, evals: 2075958

|rho|=574508
|stable|=533819
|infl|=574383
|wpoint|=2319
|sides|=16640
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=541225
|called|=168
Found 15262 contexts for 187 functions. Top 5 functions:
2143	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1078	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
856	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
827	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
762	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=1894608.57MB, max=2857.21MB, minor=1894508.81MB, major=12140.77MB, promoted=12041.02MB
    minor collections=903420  major collections=49 compactions=0


runtime: 00:12:32.633
vars: 596695, evals: 2108464

|rho|=596695
|stable|=555246
|infl|=596353
|wpoint|=2407
|sides|=17382
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=561953
|called|=518
Found 16004 contexts for 187 functions. Top 5 functions:
2189	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1105	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
876	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
845	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
808	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=1923077.45MB, max=2857.21MB, minor=1922976.20MB, major=12309.80MB, promoted=12208.54MB
    minor collections=916995  major collections=49 compactions=0


runtime: 00:12:42.652
vars: 605817, evals: 2130087

|rho|=605817
|stable|=563407
|infl|=605448
|wpoint|=2474
|sides|=17585
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=570671
|called|=557
Found 16207 contexts for 187 functions. Top 5 functions:
2228	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1127	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
892	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
860	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=1948824.30MB, max=2857.21MB, minor=1948722.67MB, major=12451.26MB, promoted=12349.63MB
    minor collections=929272  major collections=49 compactions=0


runtime: 00:12:52.663
vars: 609140, evals: 2146741

|rho|=609140
|stable|=565087
|infl|=608801
|wpoint|=2481
|sides|=17649
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=573862
|called|=501
Found 16271 contexts for 187 functions. Top 5 functions:
2244	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=1974232.86MB, max=2857.21MB, minor=1974130.92MB, major=12572.46MB, promoted=12470.52MB
    minor collections=941388  major collections=49 compactions=0


runtime: 00:13:02.679
vars: 610509, evals: 2162130

|rho|=610509
|stable|=565065
|infl|=610200
|wpoint|=2481
|sides|=17664
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=575198
|called|=460
Found 16286 contexts for 187 functions. Top 5 functions:
2251	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=1999790.59MB, max=2857.21MB, minor=1999688.45MB, major=12686.23MB, promoted=12584.10MB
    minor collections=953575  major collections=49 compactions=0


runtime: 00:13:12.694
vars: 611865, evals: 2177987

|rho|=611865
|stable|=565334
|infl|=611566
|wpoint|=2484
|sides|=17686
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=576509
|called|=449
Found 16308 contexts for 187 functions. Top 5 functions:
2261	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1143	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
904	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
870	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=2025532.83MB, max=2857.21MB, minor=2025430.44MB, major=12800.80MB, promoted=12698.40MB
    minor collections=965850  major collections=50 compactions=0


runtime: 00:13:22.705
vars: 615635, evals: 2194707

|rho|=615635
|stable|=572484
|infl|=615362
|wpoint|=2498
|sides|=17767
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=580113
|called|=392
Found 16389 contexts for 187 functions. Top 5 functions:
2279	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1156	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
917	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
882	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=2051337.33MB, max=2857.21MB, minor=2051234.38MB, major=12917.32MB, promoted=12814.37MB
    minor collections=978155  major collections=50 compactions=0


runtime: 00:13:32.721
vars: 619573, evals: 2210878

|rho|=619573
|stable|=575099
|infl|=619328
|wpoint|=2534
|sides|=17847
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=583889
|called|=406
Found 16469 contexts for 187 functions. Top 5 functions:
2300	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1169	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
927	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=2077274.59MB, max=2857.21MB, minor=2077170.93MB, major=13039.18MB, promoted=12935.51MB
    minor collections=990522  major collections=50 compactions=0


runtime: 00:13:42.768
vars: 620729, evals: 2224634

|rho|=620729
|stable|=576862
|infl|=620514
|wpoint|=2529
|sides|=17859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=585017
|called|=340
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=2103163.76MB, max=3285.79MB, minor=2103059.80MB, major=13145.09MB, promoted=13041.13MB
    minor collections=1002867  major collections=50 compactions=0


runtime: 00:13:52.843
vars: 621883, evals: 2239719

|rho|=621883
|stable|=576131
|infl|=621689
|wpoint|=2543
|sides|=17869
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=586149
|called|=347
Found 16491 contexts for 187 functions. Top 5 functions:
2314	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=2129354.08MB, max=3285.79MB, minor=2129249.89MB, major=13259.00MB, promoted=13154.81MB
    minor collections=1015356  major collections=50 compactions=0


runtime: 00:14:02.855
vars: 628961, evals: 2260169

|rho|=628961
|stable|=584388
|infl|=628731
|wpoint|=2549
|sides|=18083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=592804
|called|=332
Found 16705 contexts for 187 functions. Top 5 functions:
2337	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1186	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
938	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
901	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
838	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=2156543.74MB, max=3285.79MB, minor=2156439.42MB, major=13389.37MB, promoted=13285.04MB
    minor collections=1028321  major collections=50 compactions=0


runtime: 00:14:12.866
vars: 639577, evals: 2282758

|rho|=639577
|stable|=595297
|infl|=639280
|wpoint|=2621
|sides|=18366
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=602861
|called|=434
Found 16988 contexts for 187 functions. Top 5 functions:
2374	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1208	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
954	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
916	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=2183101.77MB, max=3285.79MB, minor=2182996.87MB, major=13529.96MB, promoted=13425.06MB
    minor collections=1040985  major collections=50 compactions=0


runtime: 00:14:22.882
vars: 643031, evals: 2298863

|rho|=643031
|stable|=598572
|infl|=642771
|wpoint|=2633
|sides|=18432
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=606179
|called|=389
Found 17054 contexts for 187 functions. Top 5 functions:
2391	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
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=2208943.31MB, max=3285.79MB, minor=2208838.04MB, major=13649.35MB, promoted=13544.08MB
    minor collections=1053307  major collections=50 compactions=0


runtime: 00:14:32.893
vars: 644194, evals: 2313418

|rho|=644194
|stable|=597729
|infl|=643967
|wpoint|=2650
|sides|=18440
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=607322
|called|=404
Found 17062 contexts for 187 functions. Top 5 functions:
2396	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=2234550.94MB, max=3285.79MB, minor=2234445.43MB, major=13758.12MB, promoted=13652.61MB
    minor collections=1065518  major collections=51 compactions=0


runtime: 00:14:42.908
vars: 646601, evals: 2328580

|rho|=646601
|stable|=601076
|infl|=646375
|wpoint|=2631
|sides|=18498
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=609615
|called|=324
Found 17120 contexts for 187 functions. Top 5 functions:
2413	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1230	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
973	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
931	contexts for L:entry state of lambda_call (9338) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
865	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=2260183.99MB, max=3285.79MB, minor=2260078.05MB, major=13869.05MB, promoted=13763.12MB
    minor collections=1077741  major collections=51 compactions=0


runtime: 00:14:52.924
vars: 650084, evals: 2344848

|rho|=650084
|stable|=604247
|infl|=649912
|wpoint|=2642
|sides|=18559
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=612968
|called|=238
Found 17181 contexts for 187 functions. Top 5 functions:
2425	contexts for L:entry state of exec_call (9340) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1235	contexts for L:entry state of ary_get (9333) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
978	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
937	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=2285202.59MB, max=3285.79MB, minor=2285095.93MB, major=13987.08MB, promoted=13880.42MB
    minor collections=1089671  major collections=51 compactions=0

