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


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


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

runtime: 00:00:10.580
vars: 26909, evals: 42301

|rho|=26909
|stable|=23688
|infl|=26885
|wpoint|=6
|sides|=2461
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22463
|called|=113
Found 1966 contexts for 83 functions. Top 5 functions:
325	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
140	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
102	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=24198.52MB, max=351.13MB, minor=24191.60MB, major=562.60MB, promoted=555.68MB
    minor collections=11543  major collections=18 compactions=0


runtime: 00:00:20.680
vars: 48053, evals: 76618

|rho|=48053
|stable|=45044
|infl|=48019
|wpoint|=2
|sides|=4048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40439
|called|=88
Found 3549 contexts for 84 functions. Top 5 functions:
558	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
120	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=48147.67MB, max=706.25MB, minor=48138.07MB, major=1030.28MB, promoted=1020.68MB
    minor collections=22963  major collections=20 compactions=0


runtime: 00:00:30.775
vars: 62963, evals: 107748

|rho|=62963
|stable|=60050
|infl|=61578
|wpoint|=1
|sides|=4935
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53751
|called|=1386
Found 4428 contexts for 87 functions. Top 5 functions:
650	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
173	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=72750.07MB, max=934.02MB, minor=72739.83MB, major=1537.14MB, promoted=1526.90MB
    minor collections=34695  major collections=22 compactions=0


runtime: 00:00:40.863
vars: 71364, evals: 131313

|rho|=71364
|stable|=68458
|infl|=67811
|wpoint|=1
|sides|=5206
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61881
|called|=3553
Found 4699 contexts for 87 functions. Top 5 functions:
650	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
444	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=90430.85MB, max=1235.24MB, minor=90417.12MB, major=1984.63MB, promoted=1970.90MB
    minor collections=43125  major collections=23 compactions=0


runtime: 00:00:50.914
vars: 77533, evals: 148620

|rho|=77533
|stable|=74627
|infl|=72388
|wpoint|=2
|sides|=5405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67851
|called|=5148
Found 4898 contexts for 87 functions. Top 5 functions:
650	contexts for L:entry state of lex_return (9740) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
643	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=103796.44MB, max=1420.53MB, minor=103781.38MB, major=2315.64MB, promoted=2300.58MB
    minor collections=49498  major collections=23 compactions=0


runtime: 00:01:00.964
vars: 82431, evals: 162369

|rho|=82431
|stable|=79524
|infl|=76022
|wpoint|=2
|sides|=5563
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72591
|called|=6412
Found 5056 contexts for 87 functions. Top 5 functions:
801	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=115077.97MB, max=1633.61MB, minor=115062.67MB, major=2579.40MB, promoted=2564.10MB
    minor collections=54878  major collections=24 compactions=0


runtime: 00:01:11.024
vars: 86709, evals: 174355

|rho|=86709
|stable|=83803
|infl|=79192
|wpoint|=2
|sides|=5701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76731
|called|=7518
Found 5194 contexts for 87 functions. Top 5 functions:
939	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=124639.15MB, max=1633.61MB, minor=124623.73MB, major=2809.94MB, promoted=2794.51MB
    minor collections=59437  major collections=24 compactions=0


runtime: 00:01:21.036
vars: 90429, evals: 184824

|rho|=90429
|stable|=87521
|infl|=81956
|wpoint|=2
|sides|=5821
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80331
|called|=8477
Found 5314 contexts for 87 functions. Top 5 functions:
1059	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=133332.55MB, max=1633.61MB, minor=133316.85MB, major=3011.13MB, promoted=2995.43MB
    minor collections=63582  major collections=25 compactions=0


runtime: 00:01:31.095
vars: 93688, evals: 193978

|rho|=93688
|stable|=90782
|infl|=84371
|wpoint|=0
|sides|=5926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83484
|called|=9317
Found 5419 contexts for 87 functions. Top 5 functions:
1164	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=141405.91MB, max=1878.66MB, minor=141389.99MB, major=3190.25MB, promoted=3174.33MB
    minor collections=67432  major collections=25 compactions=0


runtime: 00:01:41.163
vars: 96951, evals: 203121

|rho|=96951
|stable|=94045
|infl|=86790
|wpoint|=0
|sides|=6032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86642
|called|=10161
Found 5525 contexts for 87 functions. Top 5 functions:
1270	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=149040.93MB, max=2160.46MB, minor=149024.91MB, major=3366.41MB, promoted=3350.39MB
    minor collections=71073  major collections=25 compactions=0


runtime: 00:01:51.174
vars: 100003, evals: 211672

|rho|=100003
|stable|=97096
|infl|=89055
|wpoint|=0
|sides|=6130
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89595
|called|=10947
Found 5623 contexts for 87 functions. Top 5 functions:
1368	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=156205.27MB, max=2160.46MB, minor=156189.17MB, major=3532.99MB, promoted=3516.89MB
    minor collections=74489  major collections=25 compactions=0


runtime: 00:02:01.202
vars: 102791, evals: 219501

|rho|=102791
|stable|=99885
|infl|=91124
|wpoint|=0
|sides|=6220
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92294
|called|=11667
Found 5713 contexts for 87 functions. Top 5 functions:
1458	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=163181.32MB, max=2160.46MB, minor=163165.09MB, major=3685.38MB, promoted=3669.16MB
    minor collections=77816  major collections=26 compactions=0


runtime: 00:02:11.265
vars: 105371, evals: 226752

|rho|=105371
|stable|=102465
|infl|=93042
|wpoint|=2
|sides|=6303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94791
|called|=12333
Found 5796 contexts for 87 functions. Top 5 functions:
1541	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=169875.46MB, max=2160.46MB, minor=169859.08MB, major=3828.06MB, promoted=3811.67MB
    minor collections=81008  major collections=26 compactions=0


runtime: 00:02:39.520
vars: 107674, evals: 233221

|rho|=107674
|stable|=104768
|infl|=94746
|wpoint|=0
|sides|=6377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97020
|called|=12928
Found 5870 contexts for 87 functions. Top 5 functions:
1615	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=176124.06MB, max=2160.46MB, minor=176107.50MB, major=3958.70MB, promoted=3942.13MB
    minor collections=83987  major collections=26 compactions=0


runtime: 00:03:04.902
vars: 110114, evals: 240040

|rho|=110114
|stable|=107208
|infl|=96557
|wpoint|=2
|sides|=6456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99381
|called|=13558
Found 5949 contexts for 87 functions. Top 5 functions:
1694	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=181805.96MB, max=2484.53MB, minor=181789.34MB, major=4090.47MB, promoted=4073.86MB
    minor collections=86697  major collections=26 compactions=0


runtime: 00:03:14.922
vars: 112377, evals: 246411

|rho|=112377
|stable|=109471
|infl|=98240
|wpoint|=2
|sides|=6529
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101571
|called|=14140
Found 6022 contexts for 87 functions. Top 5 functions:
1767	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=187306.21MB, max=2484.53MB, minor=187289.55MB, major=4215.99MB, promoted=4199.33MB
    minor collections=89320  major collections=26 compactions=0


runtime: 00:03:24.946
vars: 114485, evals: 252327

|rho|=114485
|stable|=111579
|infl|=99804
|wpoint|=2
|sides|=6597
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103611
|called|=14685
Found 6090 contexts for 87 functions. Top 5 functions:
1835	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=192696.16MB, max=2484.53MB, minor=192679.43MB, major=4331.71MB, promoted=4314.98MB
    minor collections=91890  major collections=26 compactions=0


runtime: 00:03:34.978
vars: 116425, evals: 257766

|rho|=116425
|stable|=113519
|infl|=101238
|wpoint|=1
|sides|=6660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105488
|called|=15188
Found 6153 contexts for 87 functions. Top 5 functions:
1898	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=197846.00MB, max=2484.53MB, minor=197829.17MB, major=4440.90MB, promoted=4424.07MB
    minor collections=94346  major collections=27 compactions=0


runtime: 00:03:49.721
vars: 118329, evals: 263129

|rho|=118329
|stable|=115423
|infl|=102656
|wpoint|=1
|sides|=6721
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107331
|called|=15674
Found 6214 contexts for 87 functions. Top 5 functions:
1959	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=203074.49MB, max=2484.53MB, minor=203057.55MB, major=4548.35MB, promoted=4531.40MB
    minor collections=96839  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:04:16.950
vars: 119500, evals: 266394

|rho|=119500
|stable|=116594
|infl|=103519
|wpoint|=0
|sides|=6759
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108464
|called|=15981
Found 6252 contexts for 87 functions. Top 5 functions:
1997	contexts for L:entry state of dump_node (9626) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
650	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=206307.09MB, max=2484.52MB, minor=206289.98MB, major=4614.00MB, promoted=4596.89MB
    minor collections=98380  major collections=27 compactions=0


Fatal error: exception Stack overflow
