./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/the_silver_searcher/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.216
vars: 10937, evals: 24026

|rho|=10937
|stable|=9503
|infl|=10914
|wpoint|=2
|sides|=1158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=9080
|called|=310
Found 648 contexts for 57 functions. Top 5 functions:
125	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
62	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
50	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
35	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
32	contexts for L:entry state of print_path (1522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=25741.68MB, max=99.81MB, minor=25732.65MB, major=454.29MB, promoted=445.26MB
    minor collections=12287  major collections=33 compactions=0


runtime: 00:00:20.251
vars: 38146, evals: 49446

|rho|=38146
|stable|=30776
|infl|=35183
|wpoint|=8
|sides|=3553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32926
|called|=2994
Found 2909 contexts for 68 functions. Top 5 functions:
2174	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=40696.27MB, max=174.57MB, minor=40683.77MB, major=662.04MB, promoted=649.54MB
    minor collections=19419  major collections=38 compactions=0


runtime: 00:00:30.279
vars: 55990, evals: 65251

|rho|=55990
|stable|=48620
|infl|=50990
|wpoint|=8
|sides|=5082
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48731
|called|=5031
Found 4439 contexts for 68 functions. Top 5 functions:
3704	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=48458.74MB, max=230.87MB, minor=48445.28MB, major=764.35MB, promoted=750.89MB
    minor collections=23121  major collections=40 compactions=0


runtime: 00:00:40.314
vars: 69025, evals: 76796

|rho|=69025
|stable|=61656
|infl|=62532
|wpoint|=8
|sides|=6200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60276
|called|=6525
Found 5556 contexts for 68 functions. Top 5 functions:
4821	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=54338.74MB, max=265.50MB, minor=54323.96MB, major=840.94MB, promoted=826.16MB
    minor collections=25924  major collections=40 compactions=0


runtime: 00:00:50.365
vars: 81535, evals: 87876

|rho|=81535
|stable|=74165
|infl|=73616
|wpoint|=8
|sides|=7272
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71356
|called|=7950
Found 6628 contexts for 68 functions. Top 5 functions:
5893	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=60153.07MB, max=351.13MB, minor=60134.86MB, major=916.61MB, promoted=898.41MB
    minor collections=28696  major collections=41 compactions=0


runtime: 00:01:00.397
vars: 93555, evals: 98522

|rho|=93555
|stable|=86186
|infl|=84261
|wpoint|=8
|sides|=8303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82002
|called|=9325
Found 7659 contexts for 68 functions. Top 5 functions:
6924	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=65897.70MB, max=351.13MB, minor=65878.93MB, major=988.38MB, promoted=969.61MB
    minor collections=31435  major collections=42 compactions=0


runtime: 00:01:10.456
vars: 104127, evals: 107887

|rho|=104127
|stable|=96758
|infl|=93625
|wpoint|=8
|sides|=9209
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91367
|called|=10534
Found 8565 contexts for 68 functions. Top 5 functions:
7830	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=71073.41MB, max=403.80MB, minor=71054.36MB, major=1050.79MB, promoted=1031.75MB
    minor collections=33903  major collections=42 compactions=0


runtime: 00:01:20.475
vars: 113496, evals: 116184

|rho|=113496
|stable|=106126
|infl|=101924
|wpoint|=8
|sides|=10012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99664
|called|=11603
Found 9368 contexts for 68 functions. Top 5 functions:
8633	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=75755.84MB, max=403.80MB, minor=75736.52MB, major=1106.19MB, promoted=1086.88MB
    minor collections=36137  major collections=43 compactions=0


runtime: 00:01:30.515
vars: 121898, evals: 123627

|rho|=121898
|stable|=114529
|infl|=109364
|wpoint|=8
|sides|=10732
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107107
|called|=12566
Found 10088 contexts for 68 functions. Top 5 functions:
9353	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=80044.84MB, max=464.37MB, minor=80025.26MB, major=1156.10MB, promoted=1136.52MB
    minor collections=38182  major collections=43 compactions=0

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

runtime: 00:01:31.156
vars: 122384, evals: 124058

|rho|=122384
|stable|=115015
|infl|=109794
|wpoint|=8
|sides|=10773
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107538
|called|=12622
Found 10129 contexts for 68 functions. Top 5 functions:
9394	contexts for L:entry state of binary_search (1014) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
150	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
75	contexts for L:entry state of log_debug (966) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
58	contexts for L:entry state of die (1357) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
36	contexts for L:entry state of ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=80332.70MB, max=464.36MB, minor=80312.84MB, major=1160.07MB, promoted=1140.22MB
    minor collections=38319  major collections=43 compactions=0


Fatal error: exception Stack overflow
