./goblint --conf conf/examples/large-program.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --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.456
vars: 60927, evals: 91375

|rho|=60927
|stable|=53965
|infl|=60648
|wpoint|=150
|sides|=3756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53434
|called|=398
Found 2461 contexts for 181 functions. Top 5 functions:
316	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
312	contexts for L:entry state of str_intern (10048) 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=24557.00MB, max=200.75MB, minor=24547.69MB, major=346.62MB, promoted=337.31MB
    minor collections=11713  major collections=16 compactions=0


runtime: 00:00:20.528
vars: 95667, evals: 154641

|rho|=95667
|stable|=87063
|infl|=95130
|wpoint|=314
|sides|=4807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86099
|called|=859
Found 3449 contexts for 186 functions. Top 5 functions:
353	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
346	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
155	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
140	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
139	contexts for L:entry state of kh_put_sym (10044) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=47648.33MB, max=305.32MB, minor=47634.24MB, major=613.12MB, promoted=599.03MB
    minor collections=22723  major collections=19 compactions=0


runtime: 00:00:30.580
vars: 100961, evals: 191934

|rho|=100961
|stable|=92668
|infl|=100471
|wpoint|=328
|sides|=4925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91148
|called|=733
Found 3547 contexts for 187 functions. Top 5 functions:
355	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
348	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
168	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
157	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
141	contexts for L:entry state of kh_put_sym (10044) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=70330.44MB, max=403.80MB, minor=70316.19MB, major=808.71MB, promoted=794.45MB
    minor collections=33540  major collections=20 compactions=0


runtime: 00:00:40.611
vars: 105067, evals: 228866

|rho|=105067
|stable|=93833
|infl|=104604
|wpoint|=335
|sides|=5005
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95090
|called|=729
Found 3627 contexts for 187 functions. Top 5 functions:
355	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
348	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
193	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
157	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
141	contexts for L:entry state of kh_put_sym (10044) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=92881.67MB, max=464.37MB, minor=92867.32MB, major=1001.95MB, promoted=987.60MB
    minor collections=44294  major collections=22 compactions=0


runtime: 00:00:50.651
vars: 112938, evals: 268172

|rho|=112938
|stable|=101501
|infl|=112540
|wpoint|=393
|sides|=5166
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102633
|called|=645
Found 3788 contexts for 187 functions. Top 5 functions:
357	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
350	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
240	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
159	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
143	contexts for L:entry state of kh_put_sym (10044) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=116164.87MB, max=464.37MB, minor=116150.27MB, major=1209.79MB, promoted=1195.19MB
    minor collections=55397  major collections=23 compactions=0


runtime: 00:01:00.703
vars: 115512, evals: 303221

|rho|=115512
|stable|=101478
|infl|=115166
|wpoint|=405
|sides|=5191
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105151
|called|=618
Found 3813 contexts for 187 functions. Top 5 functions:
357	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
350	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
254	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
159	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
143	contexts for L:entry state of kh_put_sym (10044) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=138969.47MB, max=534.03MB, minor=138954.80MB, major=1399.02MB, promoted=1384.35MB
    minor collections=66272  major collections=24 compactions=0


runtime: 00:01:10.722
vars: 133839, evals: 349822

|rho|=133839
|stable|=122371
|infl|=133385
|wpoint|=476
|sides|=5703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122466
|called|=694
Found 4325 contexts for 187 functions. Top 5 functions:
376	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
368	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
320	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
179	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
161	contexts for L:entry state of kh_put_sym (10044) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15745:1-15834:1

Memory statistics: total=161992.76MB, max=534.03MB, minor=161973.57MB, major=1622.21MB, promoted=1603.01MB
    minor collections=77249  major collections=26 compactions=0


runtime: 00:01:20.754
vars: 138110, evals: 383632

|rho|=138110
|stable|=123165
|infl|=137739
|wpoint|=491
|sides|=5766
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126601
|called|=609
Found 4388 contexts for 187 functions. Top 5 functions:
378	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
370	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
339	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
181	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1
164	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1

Memory statistics: total=184830.03MB, max=614.13MB, minor=184810.67MB, major=1808.97MB, promoted=1789.61MB
    minor collections=88140  major collections=27 compactions=0


runtime: 00:01:30.837
vars: 145016, evals: 419650

|rho|=145016
|stable|=131412
|infl|=144698
|wpoint|=510
|sides|=5914
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=133207
|called|=480
Found 4536 contexts for 187 functions. Top 5 functions:
382	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
378	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
370	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
191	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
181	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1

Memory statistics: total=207540.12MB, max=706.25MB, minor=207516.35MB, major=2001.98MB, promoted=1978.21MB
    minor collections=98967  major collections=27 compactions=0


runtime: 00:01:40.872
vars: 151290, evals: 453427

|rho|=151290
|stable|=134369
|infl|=151040
|wpoint|=537
|sides|=6018
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139265
|called|=433
Found 4640 contexts for 187 functions. Top 5 functions:
416	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
380	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
372	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
207	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
183	contexts for L:entry state of sym_hash (10040) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15567:1-15594:1

Memory statistics: total=230201.60MB, max=706.25MB, minor=230177.59MB, major=2192.64MB, promoted=2168.64MB
    minor collections=109773  major collections=28 compactions=0


runtime: 00:01:50.924
vars: 176726, evals: 502911

|rho|=176726
|stable|=162810
|infl|=176250
|wpoint|=616
|sides|=6778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163205
|called|=703
Found 5400 contexts for 187 functions. Top 5 functions:
482	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
412	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
402	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
238	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
228	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=253892.15MB, max=812.19MB, minor=253867.66MB, major=2422.07MB, promoted=2397.58MB
    minor collections=121070  major collections=29 compactions=0


runtime: 00:02:00.956
vars: 183274, evals: 533534

|rho|=183274
|stable|=168944
|infl|=182833
|wpoint|=670
|sides|=6912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169481
|called|=632
Found 5534 contexts for 187 functions. Top 5 functions:
524	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
414	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
404	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
261	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
234	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=276657.62MB, max=812.19MB, minor=276632.72MB, major=2599.13MB, promoted=2574.23MB
    minor collections=131926  major collections=30 compactions=0


runtime: 00:02:10.979
vars: 185815, evals: 561931

|rho|=185815
|stable|=167618
|infl|=185433
|wpoint|=691
|sides|=6937
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171966
|called|=653
Found 5559 contexts for 187 functions. Top 5 functions:
537	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
414	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
404	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
264	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
234	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=299811.84MB, max=812.19MB, minor=299786.86MB, major=2765.72MB, promoted=2740.74MB
    minor collections=142968  major collections=31 compactions=0


runtime: 00:02:21.039
vars: 192632, evals: 594519

|rho|=192632
|stable|=177076
|infl|=192296
|wpoint|=698
|sides|=7085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178483
|called|=483
Found 5707 contexts for 187 functions. Top 5 functions:
572	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
418	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
408	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
283	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
240	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=323686.93MB, max=934.02MB, minor=323661.74MB, major=2949.43MB, promoted=2924.23MB
    minor collections=154352  major collections=31 compactions=0


runtime: 00:02:31.051
vars: 196039, evals: 623219

|rho|=196039
|stable|=176354
|infl|=195769
|wpoint|=711
|sides|=7123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181806
|called|=388
Found 5745 contexts for 187 functions. Top 5 functions:
590	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
418	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
408	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
289	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
240	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=347675.65MB, max=934.02MB, minor=347650.28MB, major=3119.41MB, promoted=3094.04MB
    minor collections=165792  major collections=32 compactions=0


runtime: 00:02:41.070
vars: 213062, evals: 663456

|rho|=213062
|stable|=195615
|infl|=212718
|wpoint|=766
|sides|=7615
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197853
|called|=495
Found 6237 contexts for 187 functions. Top 5 functions:
650	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
435	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
424	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
325	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
282	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=372368.00MB, max=934.02MB, minor=372342.19MB, major=3324.14MB, promoted=3298.33MB
    minor collections=177566  major collections=32 compactions=0


runtime: 00:02:51.102
vars: 218492, evals: 691607

|rho|=218492
|stable|=199749
|infl|=218203
|wpoint|=811
|sides|=7717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203074
|called|=470
Found 6339 contexts for 187 functions. Top 5 functions:
679	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
437	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
426	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
343	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
282	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=395295.95MB, max=1074.12MB, minor=395269.73MB, major=3493.32MB, promoted=3467.10MB
    minor collections=188499  major collections=33 compactions=0


runtime: 00:03:01.133
vars: 220398, evals: 718804

|rho|=220398
|stable|=199611
|infl|=220137
|wpoint|=823
|sides|=7731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204949
|called|=493
Found 6353 contexts for 187 functions. Top 5 functions:
688	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
437	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
426	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
343	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
282	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=418865.68MB, max=1074.12MB, minor=418839.41MB, major=3652.33MB, promoted=3626.06MB
    minor collections=199738  major collections=33 compactions=0


runtime: 00:03:11.181
vars: 228558, evals: 751238

|rho|=228558
|stable|=209658
|infl|=228358
|wpoint|=863
|sides|=7912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212741
|called|=322
Found 6534 contexts for 187 functions. Top 5 functions:
734	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
441	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
430	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
370	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
294	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=442563.09MB, max=1074.12MB, minor=442536.36MB, major=3836.91MB, promoted=3810.18MB
    minor collections=211039  major collections=34 compactions=0


runtime: 00:03:21.205
vars: 231167, evals: 780112

|rho|=231167
|stable|=210842
|infl|=231005
|wpoint|=876
|sides|=7949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215272
|called|=316
Found 6571 contexts for 187 functions. Top 5 functions:
757	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
441	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
430	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
373	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
297	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=466910.37MB, max=1074.12MB, minor=466883.53MB, major=4001.72MB, promoted=3974.88MB
    minor collections=222649  major collections=34 compactions=0


runtime: 00:03:31.260
vars: 263016, evals: 828880

|rho|=263016
|stable|=243935
|infl|=262582
|wpoint|=974
|sides|=8982
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245085
|called|=660
Found 7604 contexts for 187 functions. Top 5 functions:
825	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
492	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
478	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
411	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
348	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=491585.95MB, max=1235.24MB, minor=491549.59MB, major=4229.83MB, promoted=4193.47MB
    minor collections=234413  major collections=35 compactions=0


runtime: 00:03:41.276
vars: 269845, evals: 857378

|rho|=269845
|stable|=249088
|infl|=269449
|wpoint|=1052
|sides|=9112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251649
|called|=664
Found 7734 contexts for 187 functions. Top 5 functions:
860	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
494	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
480	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
432	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
354	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=515546.60MB, max=1235.24MB, minor=515509.86MB, major=4400.62MB, promoted=4363.88MB
    minor collections=245839  major collections=36 compactions=0


runtime: 00:03:51.295
vars: 272030, evals: 880608

|rho|=272030
|stable|=250379
|infl|=271680
|wpoint|=1050
|sides|=9133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253786
|called|=586
Found 7755 contexts for 187 functions. Top 5 functions:
869	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
494	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
480	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
435	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
354	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=539015.18MB, max=1235.24MB, minor=538978.26MB, major=4545.44MB, promoted=4508.51MB
    minor collections=257029  major collections=36 compactions=0


runtime: 00:04:01.346
vars: 276547, evals: 906813

|rho|=276547
|stable|=254955
|infl|=276225
|wpoint|=1056
|sides|=9231
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258105
|called|=499
Found 7853 contexts for 187 functions. Top 5 functions:
894	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
494	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
480	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
451	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
366	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=562939.06MB, max=1235.24MB, minor=562901.99MB, major=4701.48MB, promoted=4664.41MB
    minor collections=268437  major collections=36 compactions=0


runtime: 00:04:11.358
vars: 282651, evals: 933091

|rho|=282651
|stable|=258825
|infl|=282380
|wpoint|=1087
|sides|=9340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263985
|called|=445
Found 7962 contexts for 187 functions. Top 5 functions:
926	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
496	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
482	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
470	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
372	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=586392.86MB, max=1235.24MB, minor=586351.27MB, major=4870.29MB, promoted=4828.70MB
    minor collections=279621  major collections=37 compactions=0


runtime: 00:04:21.450
vars: 283969, evals: 956435

|rho|=283969
|stable|=260413
|infl|=283732
|wpoint|=1094
|sides|=9350
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265279
|called|=396
Found 7972 contexts for 187 functions. Top 5 functions:
934	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
496	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
482	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
470	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
372	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=609848.07MB, max=1420.53MB, minor=609806.31MB, major=5013.42MB, promoted=4971.66MB
    minor collections=290805  major collections=37 compactions=0


runtime: 00:04:31.481
vars: 298497, evals: 990683

|rho|=298497
|stable|=276707
|infl|=298182
|wpoint|=1151
|sides|=9776
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278963
|called|=504
Found 8398 contexts for 187 functions. Top 5 functions:
970	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
515	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
500	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
487	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
390	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=634238.33MB, max=1420.53MB, minor=634192.03MB, major=5195.65MB, promoted=5149.35MB
    minor collections=302434  major collections=37 compactions=0


runtime: 00:04:41.497
vars: 304264, evals: 1015488

|rho|=304264
|stable|=280876
|infl|=303988
|wpoint|=1185
|sides|=9880
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284518
|called|=485
Found 8502 contexts for 187 functions. Top 5 functions:
1000	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
517	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
505	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
502	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
398	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=658167.76MB, max=1420.53MB, minor=658121.01MB, major=5354.86MB, promoted=5308.12MB
    minor collections=313845  major collections=38 compactions=0


runtime: 00:04:51.554
vars: 305556, evals: 1037586

|rho|=305556
|stable|=282428
|infl|=305314
|wpoint|=1172
|sides|=9889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=285788
|called|=364
Found 8511 contexts for 187 functions. Top 5 functions:
1007	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
517	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
505	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
502	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
398	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=682205.68MB, max=1633.61MB, minor=682158.75MB, major=5492.90MB, promoted=5445.97MB
    minor collections=325307  major collections=38 compactions=0


runtime: 00:05:01.590
vars: 312685, evals: 1065339

|rho|=312685
|stable|=288650
|infl|=312463
|wpoint|=1219
|sides|=10052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=292591
|called|=325
Found 8674 contexts for 187 functions. Top 5 functions:
1047	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
535	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
519	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
504	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
423	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=707141.33MB, max=1633.61MB, minor=707094.07MB, major=5660.36MB, promoted=5613.10MB
    minor collections=337198  major collections=38 compactions=0


runtime: 00:05:11.601
vars: 315263, evals: 1088345

|rho|=315263
|stable|=289452
|infl|=315102
|wpoint|=1242
|sides|=10076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295113
|called|=320
Found 8698 contexts for 187 functions. Top 5 functions:
1059	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
538	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
519	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
504	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
425	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=731399.26MB, max=1633.61MB, minor=731351.79MB, major=5803.01MB, promoted=5755.54MB
    minor collections=348765  major collections=39 compactions=0


runtime: 00:05:21.649
vars: 326024, evals: 1118366

|rho|=326024
|stable|=301954
|infl|=325757
|wpoint|=1261
|sides|=10401
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=305237
|called|=383
Found 9023 contexts for 187 functions. Top 5 functions:
1085	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
550	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
534	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
518	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
434	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=756349.95MB, max=1633.61MB, minor=756301.97MB, major=5967.27MB, promoted=5919.28MB
    minor collections=360663  major collections=39 compactions=0


runtime: 00:05:31.684
vars: 343430, evals: 1152150

|rho|=343430
|stable|=317940
|infl|=343094
|wpoint|=1352
|sides|=10891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=321670
|called|=526
Found 9513 contexts for 187 functions. Top 5 functions:
1139	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
583	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
553	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
536	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
460	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=781293.34MB, max=1633.61MB, minor=781244.71MB, major=6152.82MB, promoted=6104.20MB
    minor collections=372557  major collections=39 compactions=0


runtime: 00:05:41.704
vars: 345709, evals: 1172636

|rho|=345709
|stable|=320173
|infl|=345418
|wpoint|=1368
|sides|=10920
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323885
|called|=482
Found 9542 contexts for 187 functions. Top 5 functions:
1150	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
589	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
553	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
536	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
464	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=805517.77MB, max=1633.61MB, minor=805468.87MB, major=6290.60MB, promoted=6241.70MB
    minor collections=384108  major collections=40 compactions=0


runtime: 00:05:51.715
vars: 347142, evals: 1192698

|rho|=347142
|stable|=320890
|infl|=346875
|wpoint|=1361
|sides|=10932
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=325292
|called|=424
Found 9554 contexts for 187 functions. Top 5 functions:
1159	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
589	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
553	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
536	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
464	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=829301.16MB, max=1633.61MB, minor=829252.09MB, major=6423.43MB, promoted=6374.37MB
    minor collections=395449  major collections=40 compactions=0


runtime: 00:06:01.815
vars: 352714, evals: 1216971

|rho|=352714
|stable|=326869
|infl|=352485
|wpoint|=1402
|sides|=11054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=330616
|called|=353
Found 9676 contexts for 187 functions. Top 5 functions:
1184	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
604	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
557	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
540	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
475	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=853967.15MB, max=1878.66MB, minor=853917.65MB, major=6575.08MB, promoted=6525.58MB
    minor collections=407211  major collections=40 compactions=0


runtime: 00:06:11.826
vars: 355333, evals: 1239179

|rho|=355333
|stable|=328613
|infl|=355154
|wpoint|=1401
|sides|=11079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333179
|called|=283
Found 9701 contexts for 187 functions. Top 5 functions:
1197	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
607	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
557	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
540	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
477	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=878851.87MB, max=1878.66MB, minor=878802.26MB, major=6721.65MB, promoted=6672.04MB
    minor collections=419077  major collections=40 compactions=0


runtime: 00:06:21.842
vars: 369962, evals: 1270498

|rho|=369962
|stable|=342554
|infl|=369718
|wpoint|=1457
|sides|=11518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=346938
|called|=365
Found 10140 contexts for 187 functions. Top 5 functions:
1239	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
635	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
574	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
556	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
501	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=904428.81MB, max=1878.66MB, minor=904378.46MB, major=6893.30MB, promoted=6842.94MB
    minor collections=431273  major collections=41 compactions=0


runtime: 00:06:31.878
vars: 375161, evals: 1291942

|rho|=375161
|stable|=347444
|infl|=374953
|wpoint|=1482
|sides|=11616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=351937
|called|=318
Found 10238 contexts for 187 functions. Top 5 functions:
1267	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
652	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
576	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
558	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
513	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=929065.40MB, max=1878.66MB, minor=929014.43MB, major=7040.52MB, promoted=6989.56MB
    minor collections=443021  major collections=41 compactions=0


runtime: 00:06:41.920
vars: 376678, evals: 1311469

|rho|=376678
|stable|=348910
|infl|=376506
|wpoint|=1475
|sides|=11628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=353426
|called|=237
Found 10250 contexts for 187 functions. Top 5 functions:
1276	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
652	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
576	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
558	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
513	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=953528.89MB, max=1878.66MB, minor=953477.82MB, major=7171.60MB, promoted=7120.53MB
    minor collections=454686  major collections=41 compactions=0


runtime: 00:06:51.936
vars: 382519, evals: 1336511

|rho|=382519
|stable|=353814
|infl|=382385
|wpoint|=1531
|sides|=11750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=359019
|called|=223
Found 10372 contexts for 187 functions. Top 5 functions:
1301	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
667	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
580	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
562	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
524	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=978552.02MB, max=1878.66MB, minor=978500.66MB, major=7325.35MB, promoted=7274.00MB
    minor collections=466618  major collections=41 compactions=0


runtime: 00:07:01.951
vars: 384502, evals: 1356253

|rho|=384502
|stable|=355612
|infl|=384406
|wpoint|=1535
|sides|=11775
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=360947
|called|=190
Found 10397 contexts for 187 functions. Top 5 functions:
1313	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
671	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
580	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
562	contexts for L:entry state of str_intern (10048) 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=1001169.86MB, max=1878.66MB, minor=1001118.28MB, major=7456.04MB, promoted=7404.46MB
    minor collections=477404  major collections=42 compactions=0


runtime: 00:07:11.962
vars: 401568, evals: 1389086

|rho|=401568
|stable|=373492
|infl|=401309
|wpoint|=1573
|sides|=12340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=376901
|called|=355
Found 10962 contexts for 187 functions. Top 5 functions:
1343	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
683	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
610	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
590	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
539	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=1027023.26MB, max=1878.66MB, minor=1026970.85MB, major=7621.15MB, promoted=7568.74MB
    minor collections=489732  major collections=42 compactions=0


runtime: 00:07:22.026
vars: 428762, evals: 1428331

|rho|=428762
|stable|=400151
|infl|=428272
|wpoint|=1679
|sides|=13144
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=402507
|called|=739
Found 11766 contexts for 187 functions. Top 5 functions:
1416	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
711	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
645	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
623	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
582	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=1051994.95MB, max=2160.46MB, minor=1051941.63MB, major=7815.68MB, promoted=7762.37MB
    minor collections=501639  major collections=42 compactions=0


runtime: 00:07:32.038
vars: 431413, evals: 1447760

|rho|=431413
|stable|=400779
|infl|=430944
|wpoint|=1743
|sides|=13197
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=405050
|called|=685
Found 11819 contexts for 187 functions. Top 5 functions:
1433	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
727	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
645	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
623	contexts for L:entry state of str_intern (10048) 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=1075069.33MB, max=2160.46MB, minor=1075015.59MB, major=7937.34MB, promoted=7883.60MB
    minor collections=512642  major collections=42 compactions=0


runtime: 00:07:42.049
vars: 436206, evals: 1468014

|rho|=436206
|stable|=406194
|infl|=435754
|wpoint|=1755
|sides|=13309
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=409617
|called|=698
Found 11931 contexts for 187 functions. Top 5 functions:
1470	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
742	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (10048) 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=1098803.53MB, max=2160.46MB, minor=1098749.34MB, major=8069.56MB, promoted=8015.38MB
    minor collections=523960  major collections=43 compactions=0


runtime: 00:07:52.060
vars: 437522, evals: 1484816

|rho|=437522
|stable|=407066
|infl|=437106
|wpoint|=1758
|sides|=13326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410895
|called|=647
Found 11948 contexts for 187 functions. Top 5 functions:
1478	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
746	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (10048) 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=1121417.34MB, max=2160.46MB, minor=1121362.94MB, major=8182.34MB, promoted=8127.95MB
    minor collections=534743  major collections=43 compactions=0


runtime: 00:08:02.104
vars: 438650, evals: 1502919

|rho|=438650
|stable|=405582
|infl|=438255
|wpoint|=1775
|sides|=13335
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=412003
|called|=689
Found 11957 contexts for 187 functions. Top 5 functions:
1485	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
746	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (10048) 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=1144739.29MB, max=2160.46MB, minor=1144684.69MB, major=8302.62MB, promoted=8248.02MB
    minor collections=545864  major collections=43 compactions=0


runtime: 00:08:12.155
vars: 442890, evals: 1522626

|rho|=442890
|stable|=411732
|infl|=442519
|wpoint|=1749
|sides|=13434
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=416043
|called|=556
Found 12056 contexts for 187 functions. Top 5 functions:
1508	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
765	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
647	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
625	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
608	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1

Memory statistics: total=1168260.21MB, max=2160.46MB, minor=1168205.35MB, major=8429.66MB, promoted=8374.81MB
    minor collections=557079  major collections=43 compactions=0


runtime: 00:08:22.171
vars: 447771, evals: 1544065

|rho|=447771
|stable|=416267
|infl|=447410
|wpoint|=1802
|sides|=13536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=420720
|called|=520
Found 12158 contexts for 187 functions. Top 5 functions:
1537	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
785	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
649	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
627	contexts for L:entry state of str_intern (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1
621	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=1191905.61MB, max=2160.46MB, minor=1191850.50MB, major=8567.29MB, promoted=8512.17MB
    minor collections=568354  major collections=43 compactions=0


runtime: 00:08:32.182
vars: 451402, evals: 1562133

|rho|=451402
|stable|=417139
|infl|=451092
|wpoint|=1814
|sides|=13613
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424191
|called|=506
Found 12235 contexts for 187 functions. Top 5 functions:
1569	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
798	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
649	contexts for L:entry state of str_new (10047) 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 (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1215611.44MB, max=2160.46MB, minor=1215556.05MB, major=8690.37MB, promoted=8634.99MB
    minor collections=579658  major collections=43 compactions=0


runtime: 00:08:42.198
vars: 452286, evals: 1579215

|rho|=452286
|stable|=417773
|infl|=452006
|wpoint|=1829
|sides|=13619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=425059
|called|=505
Found 12241 contexts for 187 functions. Top 5 functions:
1573	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
798	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
649	contexts for L:entry state of str_new (10047) 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 (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1238834.24MB, max=2160.46MB, minor=1238778.70MB, major=8804.33MB, promoted=8748.80MB
    minor collections=590732  major collections=44 compactions=0


runtime: 00:08:52.209
vars: 453338, evals: 1596565

|rho|=453338
|stable|=417897
|infl|=453066
|wpoint|=1829
|sides|=13627
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=426095
|called|=503
Found 12249 contexts for 187 functions. Top 5 functions:
1579	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
798	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
649	contexts for L:entry state of str_new (10047) 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 (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1262136.02MB, max=2160.46MB, minor=1262080.35MB, major=8919.44MB, promoted=8863.76MB
    minor collections=601844  major collections=44 compactions=0


runtime: 00:09:02.288
vars: 469005, evals: 1624877

|rho|=469005
|stable|=436367
|infl|=468604
|wpoint|=1874
|sides|=14094
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=440843
|called|=585
Found 12716 contexts for 187 functions. Top 5 functions:
1629	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
823	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
668	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
654	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 (10048) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15902:1-15929:1

Memory statistics: total=1286679.93MB, max=2484.53MB, minor=1286623.28MB, major=9074.97MB, promoted=9018.32MB
    minor collections=613547  major collections=44 compactions=0


runtime: 00:09:12.320
vars: 474551, evals: 1646496

|rho|=474551
|stable|=439688
|infl|=474177
|wpoint|=1939
|sides|=14206
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=446162
|called|=575
Found 12828 contexts for 187 functions. Top 5 functions:
1661	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
845	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
670	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
668	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
657	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=1310887.73MB, max=2484.53MB, minor=1310830.78MB, major=9213.58MB, promoted=9156.63MB
    minor collections=625090  major collections=44 compactions=0


runtime: 00:09:22.335
vars: 477767, evals: 1664297

|rho|=477767
|stable|=442804
|infl|=477430
|wpoint|=1946
|sides|=14274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449238
|called|=563
Found 12896 contexts for 187 functions. Top 5 functions:
1690	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
856	contexts for L:entry state of ary_get (9702) 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 (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
665	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=1335408.05MB, max=2484.53MB, minor=1335350.83MB, major=9334.94MB, promoted=9277.73MB
    minor collections=636782  major collections=44 compactions=0


runtime: 00:09:32.347
vars: 478813, evals: 1681087

|rho|=478813
|stable|=444430
|infl|=478508
|wpoint|=1935
|sides|=14281
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450266
|called|=442
Found 12903 contexts for 187 functions. Top 5 functions:
1695	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
856	contexts for L:entry state of ary_get (9702) 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 (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1
665	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1

Memory statistics: total=1359364.11MB, max=2484.53MB, minor=1359306.75MB, major=9448.99MB, promoted=9391.63MB
    minor collections=648206  major collections=45 compactions=0


runtime: 00:09:42.359
vars: 481732, evals: 1698953

|rho|=481732
|stable|=443918
|infl|=481433
|wpoint|=1949
|sides|=14349
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=453049
|called|=524
Found 12971 contexts for 187 functions. Top 5 functions:
1714	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
870	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
691	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
677	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
670	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1383314.09MB, max=2484.53MB, minor=1383256.38MB, major=9569.10MB, promoted=9511.39MB
    minor collections=659627  major collections=45 compactions=0


runtime: 00:09:52.370
vars: 486786, evals: 1718758

|rho|=486786
|stable|=451238
|infl|=486539
|wpoint|=1950
|sides|=14458
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=457879
|called|=387
Found 13080 contexts for 187 functions. Top 5 functions:
1745	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
885	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
702	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
688	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
672	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1407919.68MB, max=2484.53MB, minor=1407861.22MB, major=9699.04MB, promoted=9640.57MB
    minor collections=671359  major collections=45 compactions=0


runtime: 00:10:02.433
vars: 489266, evals: 1735266

|rho|=489266
|stable|=451945
|infl|=489069
|wpoint|=1959
|sides|=14498
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=460274
|called|=351
Found 13120 contexts for 187 functions. Top 5 functions:
1761	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
893	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
709	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
694	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
672	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1432031.66MB, max=2484.53MB, minor=1431972.75MB, major=9818.62MB, promoted=9759.71MB
    minor collections=682857  major collections=45 compactions=0


runtime: 00:10:12.457
vars: 491370, evals: 1754136

|rho|=491370
|stable|=455589
|infl|=491169
|wpoint|=1957
|sides|=14528
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=462319
|called|=282
Found 13150 contexts for 187 functions. Top 5 functions:
1774	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
896	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
712	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
696	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
672	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1457706.48MB, max=2484.53MB, minor=1457647.53MB, major=9947.02MB, promoted=9888.06MB
    minor collections=695100  major collections=45 compactions=0


runtime: 00:10:22.472
vars: 513819, evals: 1788264

|rho|=513819
|stable|=479238
|infl|=513403
|wpoint|=2041
|sides|=15230
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=483385
|called|=590
Found 13852 contexts for 187 functions. Top 5 functions:
1825	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
918	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
733	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
715	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
704	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1483949.77MB, max=2484.53MB, minor=1483889.97MB, major=10119.79MB, promoted=10059.99MB
    minor collections=707613  major collections=45 compactions=0


runtime: 00:10:32.484
vars: 518982, evals: 1806126

|rho|=518982
|stable|=483643
|infl|=518592
|wpoint|=2104
|sides|=15331
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=488344
|called|=563
Found 13953 contexts for 187 functions. Top 5 functions:
1856	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
941	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
749	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
731	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
704	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1507112.29MB, max=2484.53MB, minor=1507051.74MB, major=10241.73MB, promoted=10181.18MB
    minor collections=718658  major collections=46 compactions=0


runtime: 00:10:42.500
vars: 522319, evals: 1821708

|rho|=522319
|stable|=486613
|infl|=521951
|wpoint|=2107
|sides|=15416
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=491508
|called|=538
Found 14038 contexts for 187 functions. Top 5 functions:
1884	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
952	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1530271.00MB, max=2484.53MB, minor=1530209.96MB, major=10353.67MB, promoted=10292.63MB
    minor collections=729701  major collections=46 compactions=0


runtime: 00:10:52.511
vars: 523635, evals: 1835716

|rho|=523635
|stable|=486594
|infl|=523303
|wpoint|=2122
|sides|=15433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492786
|called|=543
Found 14055 contexts for 187 functions. Top 5 functions:
1892	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1553302.77MB, max=2484.53MB, minor=1553241.46MB, major=10456.76MB, promoted=10395.44MB
    minor collections=740684  major collections=46 compactions=0


runtime: 00:11:02.555
vars: 524601, evals: 1849420

|rho|=524601
|stable|=488390
|infl|=524289
|wpoint|=2108
|sides|=15441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=493734
|called|=442
Found 14063 contexts for 187 functions. Top 5 functions:
1898	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1575756.90MB, max=2484.53MB, minor=1575678.61MB, major=10573.68MB, promoted=10495.39MB
    minor collections=751385  major collections=46 compactions=0


runtime: 00:11:12.630
vars: 525392, evals: 1864614

|rho|=525392
|stable|=488581
|infl|=525085
|wpoint|=2105
|sides|=15447
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494513
|called|=434
Found 14069 contexts for 187 functions. Top 5 functions:
1901	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
956	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
706	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1599402.68MB, max=2857.21MB, minor=1599324.25MB, major=10680.44MB, promoted=10602.01MB
    minor collections=762660  major collections=46 compactions=0


runtime: 00:11:22.642
vars: 532244, evals: 1885731

|rho|=532244
|stable|=494097
|infl|=531973
|wpoint|=2160
|sides|=15616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501024
|called|=419
Found 14238 contexts for 187 functions. Top 5 functions:
1942	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
982	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
710	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1623853.81MB, max=2857.21MB, minor=1623775.14MB, major=10818.79MB, promoted=10740.12MB
    minor collections=774319  major collections=46 compactions=0


runtime: 00:11:32.653
vars: 534189, evals: 1901082

|rho|=534189
|stable|=495585
|infl|=533958
|wpoint|=2173
|sides|=15641
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=502914
|called|=422
Found 14263 contexts for 187 functions. Top 5 functions:
1956	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
986	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
710	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1647450.29MB, max=2857.21MB, minor=1647371.49MB, major=10929.43MB, promoted=10850.63MB
    minor collections=785571  major collections=46 compactions=0


runtime: 00:11:42.669
vars: 535317, evals: 1916938

|rho|=535317
|stable|=497400
|infl|=535107
|wpoint|=2155
|sides|=15650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=504022
|called|=303
Found 14272 contexts for 187 functions. Top 5 functions:
1963	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
986	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
710	contexts for L:entry state of str_new (10047) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15837:1-15901:1

Memory statistics: total=1671507.45MB, max=2857.21MB, minor=1671428.54MB, major=11042.19MB, promoted=10963.28MB
    minor collections=797043  major collections=47 compactions=0


runtime: 00:11:52.680
vars: 544487, evals: 1938572

|rho|=544487
|stable|=506277
|infl|=544224
|wpoint|=2168
|sides|=15957
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=512589
|called|=361
Found 14579 contexts for 187 functions. Top 5 functions:
1986	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1004	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
800	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
776	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
732	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1696275.03MB, max=2857.21MB, minor=1696195.51MB, major=11170.03MB, promoted=11090.51MB
    minor collections=808853  major collections=47 compactions=0


runtime: 00:12:02.692
vars: 553821, evals: 1959374

|rho|=553821
|stable|=514858
|infl|=553540
|wpoint|=2253
|sides|=16168
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=521498
|called|=403
Found 14790 contexts for 187 functions. Top 5 functions:
2031	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1031	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
820	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
796	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
744	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1720154.61MB, max=2857.21MB, minor=1720074.02MB, major=11305.39MB, promoted=11224.80MB
    minor collections=820239  major collections=47 compactions=0


runtime: 00:12:12.759
vars: 556987, evals: 1974561

|rho|=556987
|stable|=517575
|infl|=556742
|wpoint|=2253
|sides|=16246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=524505
|called|=369
Found 14868 contexts for 187 functions. Top 5 functions:
2055	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1041	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1744430.08MB, max=2857.21MB, minor=1744340.64MB, major=11425.10MB, promoted=11335.66MB
    minor collections=831812  major collections=47 compactions=0


runtime: 00:12:22.842
vars: 558691, evals: 1989567

|rho|=558691
|stable|=517192
|infl|=558479
|wpoint|=2268
|sides|=16267
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=526163
|called|=399
Found 14889 contexts for 187 functions. Top 5 functions:
2065	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1045	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1769047.31MB, max=2857.21MB, minor=1768957.64MB, major=11537.24MB, promoted=11447.58MB
    minor collections=843551  major collections=47 compactions=0


runtime: 00:12:32.854
vars: 559605, evals: 2005065

|rho|=559605
|stable|=518913
|infl|=559403
|wpoint|=2255
|sides|=16275
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=527060
|called|=314
Found 14897 contexts for 187 functions. Top 5 functions:
2072	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1045	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
750	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1794221.06MB, max=2857.21MB, minor=1794131.34MB, major=11649.35MB, promoted=11559.63MB
    minor collections=855554  major collections=47 compactions=0


runtime: 00:12:42.866
vars: 564349, evals: 2023155

|rho|=564349
|stable|=524299
|infl|=564162
|wpoint|=2288
|sides|=16388
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=531578
|called|=268
Found 15010 contexts for 187 functions. Top 5 functions:
2097	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1061	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
844	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
818	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
756	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1818448.55MB, max=2857.21MB, minor=1818349.90MB, major=11777.28MB, promoted=11678.64MB
    minor collections=867104  major collections=47 compactions=0


runtime: 00:12:52.877
vars: 567361, evals: 2039821

|rho|=567361
|stable|=526501
|infl|=567221
|wpoint|=2312
|sides|=16446
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=534468
|called|=235
Found 15068 contexts for 187 functions. Top 5 functions:
2115	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1071	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
756	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1843021.59MB, max=2857.21MB, minor=1842922.53MB, major=11896.77MB, promoted=11797.70MB
    minor collections=878822  major collections=48 compactions=0


runtime: 00:13:02.889
vars: 568906, evals: 2054847

|rho|=568906
|stable|=527363
|infl|=568798
|wpoint|=2315
|sides|=16468
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535965
|called|=189
Found 15090 contexts for 187 functions. Top 5 functions:
2126	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1074	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
756	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1866822.76MB, max=2857.21MB, minor=1866723.45MB, major=12002.57MB, promoted=11903.25MB
    minor collections=890172  major collections=48 compactions=0


runtime: 00:13:12.900
vars: 571161, evals: 2071001

|rho|=571161
|stable|=530415
|infl|=571021
|wpoint|=2315
|sides|=16512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=538138
|called|=188
Found 15134 contexts for 187 functions. Top 5 functions:
2143	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1078	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
761	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1891126.12MB, max=2857.21MB, minor=1891026.55MB, major=12114.11MB, promoted=12014.54MB
    minor collections=901761  major collections=48 compactions=0


runtime: 00:13:22.915
vars: 592052, evals: 2101947

|rho|=592052
|stable|=550855
|infl|=591741
|wpoint|=2385
|sides|=17210
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=557652
|called|=440
Found 15832 contexts for 187 functions. Top 5 functions:
2185	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1103	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
874	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
843	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
798	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1918315.20MB, max=2857.21MB, minor=1918213.92MB, major=12275.29MB, promoted=12174.01MB
    minor collections=914725  major collections=48 compactions=0


runtime: 00:13:32.975
vars: 605077, evals: 2125005

|rho|=605077
|stable|=563116
|infl|=604704
|wpoint|=2459
|sides|=17569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=569963
|called|=589
Found 16191 contexts for 187 functions. Top 5 functions:
2223	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1123	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
889	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
857	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
822	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1943007.25MB, max=2857.21MB, minor=1942904.97MB, major=12414.84MB, promoted=12312.57MB
    minor collections=926499  major collections=48 compactions=0


runtime: 00:13:42.987
vars: 608804, evals: 2141240

|rho|=608804
|stable|=566543
|infl|=608441
|wpoint|=2473
|sides|=17648
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=573531
|called|=534
Found 16270 contexts for 187 functions. Top 5 functions:
2243	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1136	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
822	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1966917.57MB, max=2857.21MB, minor=1966815.13MB, major=12532.24MB, promoted=12429.80MB
    minor collections=937900  major collections=48 compactions=0


runtime: 00:13:53.002
vars: 609841, evals: 2155293

|rho|=609841
|stable|=567536
|infl|=609515
|wpoint|=2486
|sides|=17660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=574540
|called|=500
Found 16282 contexts for 187 functions. Top 5 functions:
2249	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1139	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
822	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=1990496.27MB, max=2857.21MB, minor=1990393.70MB, major=12634.47MB, promoted=12531.90MB
    minor collections=949143  major collections=48 compactions=0


runtime: 00:14:03.017
vars: 610891, evals: 2169224

|rho|=610891
|stable|=566354
|infl|=610587
|wpoint|=2509
|sides|=17667
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=575573
|called|=561
Found 16289 contexts for 187 functions. Top 5 functions:
2254	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1139	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
822	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=2013572.62MB, max=2857.21MB, minor=2013469.95MB, major=12736.46MB, promoted=12633.79MB
    minor collections=960147  major collections=48 compactions=0


runtime: 00:14:13.028
vars: 613791, evals: 2185086

|rho|=613791
|stable|=566821
|infl|=613493
|wpoint|=2484
|sides|=17735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=578337
|called|=443
Found 16357 contexts for 187 functions. Top 5 functions:
2273	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1153	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
914	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
879	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
828	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=2038418.72MB, max=2857.21MB, minor=2038315.75MB, major=12851.05MB, promoted=12748.08MB
    minor collections=971995  major collections=49 compactions=0


runtime: 00:14:23.048
vars: 617008, evals: 2200464

|rho|=617008
|stable|=573620
|infl|=616743
|wpoint|=2513
|sides|=17795
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=581430
|called|=381
Found 16417 contexts for 187 functions. Top 5 functions:
2289	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1163	contexts for L:entry state of ary_get (9702) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1193:1-1242:1
922	contexts for L:entry state of strm_funcall (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1732:1-1773:1
887	contexts for L:entry state of lambda_call (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=2062237.75MB, max=2857.21MB, minor=2062134.29MB, major=12958.44MB, promoted=12854.98MB
    minor collections=983353  major collections=49 compactions=0


runtime: 00:14:33.063
vars: 619879, evals: 2214717

|rho|=619879
|stable|=574997
|infl|=619648
|wpoint|=2538
|sides|=17848
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=584191
|called|=392
Found 16470 contexts for 187 functions. Top 5 functions:
2301	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1169	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=2085437.66MB, max=2857.21MB, minor=2085333.79MB, major=13065.50MB, promoted=12961.63MB
    minor collections=994416  major collections=49 compactions=0


runtime: 00:14:43.079
vars: 621220, evals: 2227854

|rho|=621220
|stable|=577231
|infl|=621010
|wpoint|=2525
|sides|=17863
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=585500
|called|=308
Found 16485 contexts for 187 functions. Top 5 functions:
2308	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1172	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=2108939.20MB, max=2857.21MB, minor=2108835.07MB, major=13168.07MB, promoted=13063.95MB
    minor collections=1005622  major collections=49 compactions=0


runtime: 00:14:53.154
vars: 622050, evals: 2241657

|rho|=622050
|stable|=577704
|infl|=621857
|wpoint|=2527
|sides|=17871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=586312
|called|=272
Found 16493 contexts for 187 functions. Top 5 functions:
2315	contexts for L:entry state of exec_call (9709) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1774:1-1818:1
1172	contexts for L:entry state of ary_get (9702) 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 (9707) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1610:1-1712:1
834	contexts for L:entry state of pattern_match (9703) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1532:1-1609:1

Memory statistics: total=2133291.85MB, max=3285.79MB, minor=2133187.46MB, major=13271.49MB, promoted=13167.10MB
    minor collections=1017234  major collections=49 compactions=0

