./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --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.602
vars: 25746, evals: 40622

|rho|=25746
|stable|=22528
|infl|=25720
|wpoint|=9
|sides|=2366
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21490
|called|=131
Found 1871 contexts for 83 functions. Top 5 functions:
278	contexts for L:entry state of lex_return (10109) 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
95	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
62	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=22934.15MB, max=351.13MB, minor=22927.26MB, major=538.59MB, promoted=531.69MB
    minor collections=10940  major collections=17 compactions=0


runtime: 00:00:20.685
vars: 46524, evals: 73604

|rho|=46524
|stable|=43306
|infl|=46475
|wpoint|=8
|sides|=3942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39125
|called|=142
Found 3443 contexts for 84 functions. Top 5 functions:
552	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
254	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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
110	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=45855.45MB, max=614.13MB, minor=45845.91MB, major=988.79MB, promoted=979.25MB
    minor collections=21870  major collections=20 compactions=0


runtime: 00:00:30.765
vars: 61271, evals: 103026

|rho|=61271
|stable|=58368
|infl|=60318
|wpoint|=1
|sides|=4878
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52119
|called|=953
Found 4371 contexts for 87 functions. Top 5 functions:
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
140	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=69198.52MB, max=934.02MB, minor=69188.37MB, major=1448.60MB, promoted=1438.45MB
    minor collections=33001  major collections=21 compactions=0


runtime: 00:00:40.840
vars: 69641, evals: 126522

|rho|=69641
|stable|=66736
|infl|=66528
|wpoint|=2
|sides|=5148
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60219
|called|=3117
Found 4641 contexts for 87 functions. Top 5 functions:
647	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
389	contexts for L:entry state of dump_node (9995) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=86545.62MB, max=1235.24MB, minor=86531.97MB, major=1888.86MB, promoted=1875.20MB
    minor collections=41272  major collections=23 compactions=0


runtime: 00:00:50.932
vars: 75779, evals: 143733

|rho|=75779
|stable|=72876
|infl|=71082
|wpoint|=2
|sides|=5346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66159
|called|=4700
Found 4839 contexts for 87 functions. Top 5 functions:
647	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
587	contexts for L:entry state of dump_node (9995) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=99836.13MB, max=1420.53MB, minor=99821.12MB, major=2217.44MB, promoted=2202.43MB
    minor collections=47609  major collections=23 compactions=0


runtime: 00:01:00.987
vars: 80850, evals: 157968

|rho|=80850
|stable|=77947
|infl|=74839
|wpoint|=1
|sides|=5510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71066
|called|=6013
Found 5003 contexts for 87 functions. Top 5 functions:
751	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=111066.03MB, max=1420.53MB, minor=111050.84MB, major=2488.90MB, promoted=2473.71MB
    minor collections=52965  major collections=24 compactions=0


runtime: 00:01:11.075
vars: 84899, evals: 169348

|rho|=84899
|stable|=81996
|infl|=77844
|wpoint|=0
|sides|=5640
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74985
|called|=7055
Found 5133 contexts for 87 functions. Top 5 functions:
881	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=120449.03MB, max=1633.61MB, minor=120433.63MB, major=2711.55MB, promoted=2696.15MB
    minor collections=57439  major collections=24 compactions=0


runtime: 00:01:21.087
vars: 88755, evals: 180156

|rho|=88755
|stable|=85852
|infl|=80704
|wpoint|=1
|sides|=5765
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78716
|called|=8052
Found 5258 contexts for 87 functions. Top 5 functions:
1006	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=129027.13MB, max=1633.61MB, minor=129011.64MB, major=2918.91MB, promoted=2903.42MB
    minor collections=61529  major collections=24 compactions=0


runtime: 00:01:31.118
vars: 92023, evals: 189330

|rho|=92023
|stable|=89120
|infl|=83134
|wpoint|=2
|sides|=5870
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81879
|called|=8893
Found 5363 contexts for 87 functions. Top 5 functions:
1111	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=136836.48MB, max=1878.66MB, minor=136820.70MB, major=3096.75MB, promoted=3080.97MB
    minor collections=65253  major collections=25 compactions=0


runtime: 00:01:41.193
vars: 94968, evals: 197617

|rho|=94968
|stable|=92065
|infl|=85319
|wpoint|=2
|sides|=5965
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=84729
|called|=9653
Found 5458 contexts for 87 functions. Top 5 functions:
1206	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=144225.91MB, max=1878.66MB, minor=144209.93MB, major=3258.77MB, promoted=3242.79MB
    minor collections=68777  major collections=25 compactions=0


runtime: 00:01:51.240
vars: 97900, evals: 205820

|rho|=97900
|stable|=94996
|infl|=87489
|wpoint|=1
|sides|=6060
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87566
|called|=10413
Found 5553 contexts for 87 functions. Top 5 functions:
1301	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=150830.53MB, max=2160.46MB, minor=150814.49MB, major=3416.89MB, promoted=3400.86MB
    minor collections=71926  major collections=25 compactions=0


runtime: 00:02:01.256
vars: 100628, evals: 213477

|rho|=100628
|stable|=97725
|infl|=89513
|wpoint|=1
|sides|=6148
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90206
|called|=11115
Found 5641 contexts for 87 functions. Top 5 functions:
1389	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=157345.71MB, max=2160.46MB, minor=157329.60MB, major=3564.10MB, promoted=3547.99MB
    minor collections=75033  major collections=25 compactions=0


runtime: 00:02:11.275
vars: 103139, evals: 220524

|rho|=103139
|stable|=100236
|infl|=91376
|wpoint|=1
|sides|=6229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92636
|called|=11764
Found 5722 contexts for 87 functions. Top 5 functions:
1470	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=163639.76MB, max=2160.46MB, minor=163623.53MB, major=3704.87MB, promoted=3688.64MB
    minor collections=78035  major collections=26 compactions=0


runtime: 00:02:21.323
vars: 105384, evals: 226838

|rho|=105384
|stable|=102481
|infl|=93047
|wpoint|=1
|sides|=6301
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94809
|called|=12338
Found 5794 contexts for 87 functions. Top 5 functions:
1542	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=169502.13MB, max=2160.46MB, minor=169485.76MB, major=3830.40MB, promoted=3814.03MB
    minor collections=80830  major collections=26 compactions=0


runtime: 00:02:31.434
vars: 107585, evals: 232997

|rho|=107585
|stable|=104681
|infl|=94680
|wpoint|=2
|sides|=6372
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96939
|called|=12910
Found 5865 contexts for 87 functions. Top 5 functions:
1613	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=175381.11MB, max=2160.46MB, minor=175364.57MB, major=3952.75MB, promoted=3936.21MB
    minor collections=83633  major collections=26 compactions=0


runtime: 00:02:41.493
vars: 109804, evals: 239229

|rho|=109804
|stable|=106901
|infl|=96321
|wpoint|=1
|sides|=6444
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99086
|called|=13484
Found 5937 contexts for 87 functions. Top 5 functions:
1685	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=180717.91MB, max=2484.53MB, minor=180701.30MB, major=4072.96MB, promoted=4056.35MB
    minor collections=86178  major collections=26 compactions=0


runtime: 00:02:51.509
vars: 111987, evals: 245364

|rho|=111987
|stable|=109082
|infl|=97946
|wpoint|=2
|sides|=6514
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101199
|called|=14047
Found 6007 contexts for 87 functions. Top 5 functions:
1755	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=185924.62MB, max=2484.53MB, minor=185907.98MB, major=4192.09MB, promoted=4175.45MB
    minor collections=88661  major collections=26 compactions=0


runtime: 00:03:01.520
vars: 114064, evals: 251187

|rho|=114064
|stable|=111161
|infl|=99487
|wpoint|=2
|sides|=6581
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103209
|called|=14581
Found 6074 contexts for 87 functions. Top 5 functions:
1822	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=191156.98MB, max=2484.53MB, minor=191140.27MB, major=4307.89MB, promoted=4291.19MB
    minor collections=91156  major collections=26 compactions=0


runtime: 00:03:11.540
vars: 116035, evals: 256710

|rho|=116035
|stable|=113132
|infl|=100944
|wpoint|=1
|sides|=6645
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105116
|called|=15094
Found 6138 contexts for 87 functions. Top 5 functions:
1886	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=196296.49MB, max=2484.53MB, minor=196279.69MB, major=4417.08MB, promoted=4400.29MB
    minor collections=93607  major collections=27 compactions=0


runtime: 00:03:21.559
vars: 117877, evals: 261868

|rho|=117877
|stable|=114974
|infl|=102314
|wpoint|=1
|sides|=6704
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106899
|called|=15563
Found 6197 contexts for 87 functions. Top 5 functions:
1945	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=201226.67MB, max=2484.53MB, minor=201209.76MB, major=4520.88MB, promoted=4503.97MB
    minor collections=95958  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:30.629
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 (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
647	contexts for L:entry state of lex_return (10109) 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 (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=205575.43MB, max=2484.52MB, minor=205558.34MB, major=4609.12MB, promoted=4592.03MB
    minor collections=98031  major collections=27 compactions=0


Fatal error: exception Stack overflow
