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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.531
vars: 26102, evals: 41193

|rho|=26102
|stable|=22871
|infl|=26076
|wpoint|=11
|sides|=2391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21796
|called|=146
Found 1896 contexts for 83 functions. Top 5 functions:
278	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
138	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
101	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
65	contexts for L:entry state of yyrealloc (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=23457.21MB, max=351.13MB, minor=23450.31MB, major=548.05MB, promoted=541.15MB
    minor collections=11189  major collections=17 compactions=0


runtime: 00:00:20.652
vars: 47150, evals: 75171

|rho|=47150
|stable|=43947
|infl|=47115
|wpoint|=10
|sides|=3969
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39693
|called|=100
Found 3470 contexts for 84 functions. Top 5 functions:
555	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
256	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
173	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
116	contexts for L:entry state of yytnamerr (9710) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=47048.82MB, max=706.25MB, minor=47039.26MB, major=1013.05MB, promoted=1003.48MB
    minor collections=22439  major collections=20 compactions=0


runtime: 00:00:30.751
vars: 62139, evals: 105462

|rho|=62139
|stable|=59236
|infl|=60962
|wpoint|=2
|sides|=4906
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52959
|called|=1181
Found 4399 contexts for 87 functions. Top 5 functions:
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
147	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=71128.46MB, max=934.02MB, minor=71118.25MB, major=1498.93MB, promoted=1488.73MB
    minor collections=33922  major collections=22 compactions=0


runtime: 00:00:40.849
vars: 70602, evals: 129213

|rho|=70602
|stable|=67699
|infl|=67241
|wpoint|=1
|sides|=5179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61149
|called|=3364
Found 4672 contexts for 87 functions. Top 5 functions:
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
420	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=88829.55MB, max=1235.24MB, minor=88815.85MB, major=1949.68MB, promoted=1935.99MB
    minor collections=42361  major collections=23 compactions=0


runtime: 00:00:50.943
vars: 76864, evals: 146804

|rho|=76864
|stable|=73959
|infl|=71887
|wpoint|=2
|sides|=5381
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67209
|called|=4981
Found 4874 contexts for 87 functions. Top 5 functions:
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
622	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=102396.12MB, max=1420.53MB, minor=102381.08MB, major=2286.16MB, promoted=2271.12MB
    minor collections=48830  major collections=23 compactions=0


runtime: 00:01:01.002
vars: 81885, evals: 160857

|rho|=81885
|stable|=78982
|infl|=75608
|wpoint|=1
|sides|=5543
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72068
|called|=6278
Found 5036 contexts for 87 functions. Top 5 functions:
784	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=113780.88MB, max=1633.61MB, minor=113765.62MB, major=2554.19MB, promoted=2538.92MB
    minor collections=54259  major collections=24 compactions=0


runtime: 00:01:11.068
vars: 86255, evals: 173123

|rho|=86255
|stable|=83352
|infl|=78850
|wpoint|=1
|sides|=5684
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76297
|called|=7405
Found 5177 contexts for 87 functions. Top 5 functions:
925	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=123636.19MB, max=1633.61MB, minor=123620.76MB, major=2789.07MB, promoted=2773.65MB
    minor collections=58958  major collections=24 compactions=0


runtime: 00:01:21.083
vars: 90225, evals: 184281

|rho|=90225
|stable|=87322
|infl|=81800
|wpoint|=2
|sides|=5812
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80139
|called|=8430
Found 5305 contexts for 87 functions. Top 5 functions:
1053	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=132800.21MB, max=1633.61MB, minor=132784.51MB, major=3002.88MB, promoted=2987.19MB
    minor collections=63329  major collections=25 compactions=0


runtime: 00:01:31.129
vars: 93589, evals: 193716

|rho|=93588
|stable|=90685
|infl|=84288
|wpoint|=0
|sides|=5921
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83393
|called|=9300
Found 5414 contexts for 87 functions. Top 5 functions:
1162	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=141068.96MB, max=1878.66MB, minor=141053.05MB, major=3185.35MB, promoted=3169.45MB
    minor collections=67271  major collections=25 compactions=0


runtime: 00:01:41.212
vars: 96797, evals: 202730

|rho|=96797
|stable|=93888
|infl|=86676
|wpoint|=1
|sides|=6024
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86499
|called|=10123
Found 5517 contexts for 87 functions. Top 5 functions:
1265	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=148664.63MB, max=2160.46MB, minor=148648.60MB, major=3360.40MB, promoted=3344.38MB
    minor collections=70893  major collections=25 compactions=0


runtime: 00:01:51.223
vars: 99897, evals: 211439

|rho|=99897
|stable|=96994
|infl|=88976
|wpoint|=2
|sides|=6124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89499
|called|=10925
Found 5617 contexts for 87 functions. Top 5 functions:
1365	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=155892.23MB, max=2160.46MB, minor=155876.14MB, major=3528.95MB, promoted=3512.86MB
    minor collections=74340  major collections=25 compactions=0


runtime: 00:02:01.241
vars: 102696, evals: 219289

|rho|=102696
|stable|=99793
|infl|=91048
|wpoint|=0
|sides|=6214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92208
|called|=11647
Found 5707 contexts for 87 functions. Top 5 functions:
1455	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=162853.01MB, max=2160.46MB, minor=162836.79MB, major=3681.82MB, promoted=3665.61MB
    minor collections=77659  major collections=26 compactions=0


runtime: 00:02:11.276
vars: 105278, evals: 226527

|rho|=105278
|stable|=102375
|infl|=92963
|wpoint|=1
|sides|=6298
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94706
|called|=12315
Found 5791 contexts for 87 functions. Top 5 functions:
1539	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=169506.70MB, max=2160.46MB, minor=169490.32MB, major=3826.31MB, promoted=3809.93MB
    minor collections=80832  major collections=26 compactions=0


runtime: 00:02:21.326
vars: 107671, evals: 233235

|rho|=107671
|stable|=104768
|infl|=94741
|wpoint|=0
|sides|=6375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97022
|called|=12930
Found 5868 contexts for 87 functions. Top 5 functions:
1616	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=175946.27MB, max=2160.46MB, minor=175929.72MB, major=3959.34MB, promoted=3942.79MB
    minor collections=83903  major collections=26 compactions=0


runtime: 00:02:31.377
vars: 110144, evals: 240175

|rho|=110144
|stable|=107240
|infl|=96571
|wpoint|=0
|sides|=6455
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99414
|called|=13572
Found 5948 contexts for 87 functions. Top 5 functions:
1696	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=181780.41MB, max=2484.53MB, minor=181763.80MB, major=4094.14MB, promoted=4077.53MB
    minor collections=86685  major collections=26 compactions=0


runtime: 00:02:41.391
vars: 112500, evals: 246787

|rho|=112500
|stable|=109596
|infl|=98319
|wpoint|=0
|sides|=6531
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101694
|called|=14180
Found 6024 contexts for 87 functions. Top 5 functions:
1772	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=187475.67MB, max=2484.53MB, minor=187459.01MB, major=4222.31MB, promoted=4205.65MB
    minor collections=89400  major collections=26 compactions=0


runtime: 00:02:51.406
vars: 114715, evals: 253033

|rho|=114715
|stable|=111812
|infl|=99970
|wpoint|=2
|sides|=6602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103839
|called|=14750
Found 6095 contexts for 87 functions. Top 5 functions:
1843	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=193155.44MB, max=2484.53MB, minor=193138.71MB, major=4344.25MB, promoted=4327.52MB
    minor collections=92109  major collections=26 compactions=0


runtime: 00:03:01.425
vars: 116792, evals: 258837

|rho|=116792
|stable|=113886
|infl|=101511
|wpoint|=2
|sides|=6669
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105849
|called|=15284
Found 6162 contexts for 87 functions. Top 5 functions:
1910	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=198648.89MB, max=2484.53MB, minor=198632.05MB, major=4459.92MB, promoted=4443.08MB
    minor collections=94729  major collections=27 compactions=0


runtime: 00:03:11.447
vars: 118761, evals: 264361

|rho|=118761
|stable|=115858
|infl|=102965
|wpoint|=0
|sides|=6733
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107754
|called|=15796
Found 6226 contexts for 87 functions. Top 5 functions:
1974	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=204004.63MB, max=2484.53MB, minor=203987.66MB, major=4570.18MB, promoted=4553.21MB
    minor collections=97282  major collections=27 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13221:3-13221:10!

runtime: 00:03:15.180
vars: 119467, evals: 266356

|rho|=119467
|stable|=116564
|infl|=103489
|wpoint|=0
|sides|=6755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108438
|called|=15978
Found 6248 contexts for 87 functions. Top 5 functions:
1996	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
322	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
202	contexts for L:entry state of yy_fatal_error (9729) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=206001.93MB, max=2484.52MB, minor=205984.83MB, major=4611.12MB, promoted=4594.01MB
    minor collections=98235  major collections=27 compactions=0


Fatal error: exception Stack overflow
