./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 --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.235
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|=356
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=25416.53MB, max=114.78MB, minor=25407.38MB, major=447.60MB, promoted=438.45MB
    minor collections=12132  major collections=33 compactions=0


runtime: 00:00:20.249
vars: 36069, evals: 47607

|rho|=36069
|stable|=28700
|infl|=33347
|wpoint|=8
|sides|=3375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31087
|called|=2754
Found 2731 contexts for 68 functions. Top 5 functions:
1996	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=39867.90MB, max=151.80MB, minor=39855.84MB, major=651.20MB, promoted=639.14MB
    minor collections=19024  major collections=38 compactions=0


runtime: 00:00:30.315
vars: 53177, evals: 62760

|rho|=53177
|stable|=45808
|infl|=48500
|wpoint|=8
|sides|=4841
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46240
|called|=4709
Found 4197 contexts for 68 functions. Top 5 functions:
3462	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=47285.64MB, max=230.87MB, minor=47272.11MB, major=749.67MB, promoted=736.15MB
    minor collections=22561  major collections=39 compactions=0


runtime: 00:00:40.350
vars: 65675, evals: 73830

|rho|=65675
|stable|=58306
|infl|=59569
|wpoint|=8
|sides|=5912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57310
|called|=6138
Found 5268 contexts for 68 functions. Top 5 functions:
4533	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=52901.87MB, max=265.50MB, minor=52887.05MB, major=823.10MB, promoted=808.28MB
    minor collections=25239  major collections=40 compactions=0


runtime: 00:00:50.384
vars: 77064, evals: 83916

|rho|=77064
|stable|=69695
|infl|=69655
|wpoint|=8
|sides|=6889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67396
|called|=7440
Found 6245 contexts for 68 functions. Top 5 functions:
5510	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=58162.57MB, max=305.32MB, minor=58144.35MB, major=891.88MB, promoted=873.67MB
    minor collections=27747  major collections=41 compactions=0


runtime: 00:01:00.410
vars: 88699, evals: 94222

|rho|=88698
|stable|=81329
|infl|=79959
|wpoint|=8
|sides|=7886
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77702
|called|=8771
Found 7242 contexts for 68 functions. Top 5 functions:
6507	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=63678.81MB, max=351.13MB, minor=63660.19MB, major=960.15MB, promoted=941.53MB
    minor collections=30377  major collections=41 compactions=0


runtime: 00:01:10.457
vars: 99214, evals: 103536

|rho|=99214
|stable|=91845
|infl|=89274
|wpoint|=8
|sides|=8787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87016
|called|=9972
Found 8143 contexts for 68 functions. Top 5 functions:
7408	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=68784.47MB, max=351.13MB, minor=68765.43MB, major=1022.64MB, promoted=1003.61MB
    minor collections=32812  major collections=42 compactions=0


runtime: 00:01:20.511
vars: 108617, evals: 111864

|rho|=108617
|stable|=101248
|infl|=97605
|wpoint|=8
|sides|=9593
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95344
|called|=11044
Found 8949 contexts for 68 functions. Top 5 functions:
8214	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=73453.33MB, max=403.80MB, minor=73434.04MB, major=1078.46MB, promoted=1059.17MB
    minor collections=35038  major collections=42 compactions=0


runtime: 00:01:30.527
vars: 117147, evals: 119419

|rho|=117147
|stable|=109778
|infl|=105155
|wpoint|=8
|sides|=10325
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102899
|called|=12024
Found 9681 contexts for 68 functions. Top 5 functions:
8946	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=77772.68MB, max=403.80MB, minor=77753.14MB, major=1128.92MB, promoted=1109.38MB
    minor collections=37098  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:37.233
vars: 122428, evals: 124097

|rho|=122428
|stable|=115059
|infl|=109832
|wpoint|=8
|sides|=10777
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107577
|called|=12628
Found 10133 contexts for 68 functions. Top 5 functions:
9398	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=80497.19MB, max=464.36MB, minor=80477.22MB, major=1161.30MB, promoted=1141.33MB
    minor collections=38397  major collections=43 compactions=0


Fatal error: exception Stack overflow
