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


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


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

runtime: 00:00:10.636
vars: 25450, evals: 40131

|rho|=25450
|stable|=22162
|infl|=25407
|wpoint|=7
|sides|=2345
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21237
|called|=138
Found 1850 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
91	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
60	contexts for L:entry state of yyalloc (7679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=22662.13MB, max=351.13MB, minor=22655.24MB, major=531.62MB, promoted=524.73MB
    minor collections=10810  major collections=17 compactions=0


runtime: 00:00:20.719
vars: 45935, evals: 73033

|rho|=45935
|stable|=42647
|infl|=45906
|wpoint|=8
|sides|=3886
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38644
|called|=167
Found 3387 contexts for 84 functions. Top 5 functions:
509	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
253	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
110	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=45309.15MB, max=614.13MB, minor=45299.63MB, major=979.67MB, promoted=970.15MB
    minor collections=21609  major collections=20 compactions=0


runtime: 00:00:30.810
vars: 61054, evals: 102417

|rho|=61054
|stable|=58151
|infl|=60157
|wpoint|=1
|sides|=4871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51909
|called|=900
Found 4364 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
140	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=68875.79MB, max=934.02MB, minor=68865.64MB, major=1442.93MB, promoted=1432.79MB
    minor collections=32847  major collections=21 compactions=0


runtime: 00:00:40.885
vars: 69610, evals: 126451

|rho|=69610
|stable|=66707
|infl|=66505
|wpoint|=1
|sides|=5147
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60189
|called|=3106
Found 4640 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
388	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=86685.00MB, max=1235.24MB, minor=86671.35MB, major=1900.33MB, promoted=1886.68MB
    minor collections=41339  major collections=23 compactions=0


runtime: 00:00:50.987
vars: 75764, evals: 143692

|rho|=75764
|stable|=72861
|infl|=71063
|wpoint|=0
|sides|=5346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66144
|called|=4700
Found 4839 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
587	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=100018.32MB, max=1420.53MB, minor=100003.30MB, major=2231.99MB, promoted=2216.97MB
    minor collections=47696  major collections=23 compactions=0


runtime: 00:01:01.018
vars: 80925, evals: 158169

|rho|=80925
|stable|=78019
|infl|=74900
|wpoint|=1
|sides|=5512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71139
|called|=6030
Found 5005 contexts for 87 functions. Top 5 functions:
753	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=111457.39MB, max=1420.53MB, minor=111442.19MB, major=2507.66MB, promoted=2492.46MB
    minor collections=53151  major collections=24 compactions=0


runtime: 00:01:11.105
vars: 85234, evals: 170283

|rho|=85234
|stable|=82329
|infl|=78097
|wpoint|=2
|sides|=5651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75309
|called|=7143
Found 5144 contexts for 87 functions. Top 5 functions:
892	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=121424.49MB, max=1633.61MB, minor=121409.08MB, major=2740.72MB, promoted=2725.31MB
    minor collections=57904  major collections=24 compactions=0


runtime: 00:01:21.119
vars: 89326, evals: 181755

|rho|=89326
|stable|=86423
|infl|=81133
|wpoint|=2
|sides|=5783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79269
|called|=8196
Found 5276 contexts for 87 functions. Top 5 functions:
1024	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=130612.76MB, max=1633.61MB, minor=130597.11MB, major=2960.79MB, promoted=2945.15MB
    minor collections=62286  major collections=25 compactions=0


runtime: 00:01:31.190
vars: 92785, evals: 191463

|rho|=92785
|stable|=89882
|infl|=83694
|wpoint|=1
|sides|=5895
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82616
|called|=9091
Found 5388 contexts for 87 functions. Top 5 functions:
1136	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=138991.41MB, max=1878.66MB, minor=138975.57MB, major=3150.78MB, promoted=3134.95MB
    minor collections=66281  major collections=25 compactions=0


runtime: 00:01:41.284
vars: 95898, evals: 200227

|rho|=95898
|stable|=92995
|infl|=86009
|wpoint|=2
|sides|=5995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85629
|called|=9893
Found 5488 contexts for 87 functions. Top 5 functions:
1236	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=146693.41MB, max=1878.66MB, minor=146677.38MB, major=3322.14MB, promoted=3306.12MB
    minor collections=69953  major collections=25 compactions=0


runtime: 00:01:51.307
vars: 99140, evals: 209292

|rho|=99140
|stable|=96237
|infl|=88406
|wpoint|=1
|sides|=6100
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88766
|called|=10734
Found 5593 contexts for 87 functions. Top 5 functions:
1341	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=154031.04MB, max=2160.46MB, minor=154014.97MB, major=3494.91MB, promoted=3478.84MB
    minor collections=73452  major collections=25 compactions=0


runtime: 00:02:01.318
vars: 102067, evals: 217506

|rho|=102067
|stable|=99164
|infl|=90586
|wpoint|=2
|sides|=6194
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91599
|called|=11487
Found 5687 contexts for 87 functions. Top 5 functions:
1435	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=161159.55MB, max=2160.46MB, minor=161143.38MB, major=3654.96MB, promoted=3638.78MB
    minor collections=76852  major collections=26 compactions=0


runtime: 00:02:11.349
vars: 104640, evals: 224750

|rho|=104640
|stable|=101729
|infl|=92495
|wpoint|=1
|sides|=6277
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94089
|called|=12145
Found 5770 contexts for 87 functions. Top 5 functions:
1518	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=167765.30MB, max=2160.46MB, minor=167748.98MB, major=3798.21MB, promoted=3781.89MB
    minor collections=80002  major collections=26 compactions=0


runtime: 00:02:21.427
vars: 107089, evals: 231612

|rho|=107089
|stable|=104186
|infl|=94312
|wpoint|=1
|sides|=6356
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96459
|called|=12779
Found 5849 contexts for 87 functions. Top 5 functions:
1597	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=174259.16MB, max=2160.46MB, minor=174242.66MB, major=3934.15MB, promoted=3917.66MB
    minor collections=83098  major collections=26 compactions=0


runtime: 00:02:31.474
vars: 109532, evals: 238455

|rho|=109531
|stable|=106628
|infl|=96121
|wpoint|=0
|sides|=6435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98822
|called|=13410
Found 5928 contexts for 87 functions. Top 5 functions:
1676	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=180351.76MB, max=2484.53MB, minor=180335.14MB, major=4068.37MB, promoted=4051.76MB
    minor collections=86003  major collections=26 compactions=0


runtime: 00:02:41.489
vars: 111927, evals: 245207

|rho|=111927
|stable|=109023
|infl|=97900
|wpoint|=0
|sides|=6512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101140
|called|=14026
Found 6005 contexts for 87 functions. Top 5 functions:
1753	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=186050.31MB, max=2484.53MB, minor=186033.66MB, major=4200.83MB, promoted=4184.19MB
    minor collections=88721  major collections=26 compactions=0


runtime: 00:02:51.499
vars: 114189, evals: 251557

|rho|=114189
|stable|=111286
|infl|=99579
|wpoint|=0
|sides|=6585
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103329
|called|=14610
Found 6078 contexts for 87 functions. Top 5 functions:
1826	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=191717.00MB, max=2484.53MB, minor=191700.29MB, major=4324.33MB, promoted=4307.62MB
    minor collections=91423  major collections=26 compactions=0


runtime: 00:03:01.514
vars: 116293, evals: 257425

|rho|=116293
|stable|=113390
|infl|=101135
|wpoint|=0
|sides|=6653
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105366
|called|=15158
Found 6146 contexts for 87 functions. Top 5 functions:
1894	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=197188.33MB, max=2484.53MB, minor=197171.52MB, major=4441.35MB, promoted=4424.55MB
    minor collections=94032  major collections=27 compactions=0


runtime: 00:03:11.533
vars: 118236, evals: 262893

|rho|=118236
|stable|=115333
|infl|=102577
|wpoint|=1
|sides|=6716
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107246
|called|=15661
Found 6209 contexts for 87 functions. Top 5 functions:
1957	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=202455.82MB, max=2484.53MB, minor=202438.89MB, major=4550.78MB, promoted=4533.85MB
    minor collections=96544  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:17.791
vars: 119436, evals: 266269

|rho|=119436
|stable|=116533
|infl|=103466
|wpoint|=0
|sides|=6754
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108408
|called|=15970
Found 6247 contexts for 87 functions. Top 5 functions:
1995	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=205776.83MB, max=2484.52MB, minor=205759.74MB, major=4619.59MB, promoted=4602.49MB
    minor collections=98127  major collections=27 compactions=0


Fatal error: exception Stack overflow
