./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/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: 10230, evals: 21364

|rho|=10230
|stable|=9134
|infl|=10201
|wpoint|=2
|sides|=1072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8522
|called|=43
Found 607 contexts for 61 functions. Top 5 functions:
115	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
59	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
46	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
32	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
26	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1

Memory statistics: total=24631.26MB, max=114.78MB, minor=24622.24MB, major=433.94MB, promoted=424.92MB
    minor collections=11757  major collections=32 compactions=0


runtime: 00:00:20.250
vars: 34283, evals: 71414

|rho|=34283
|stable|=31382
|infl|=34234
|wpoint|=6
|sides|=2785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29162
|called|=86
Found 2033 contexts for 72 functions. Top 5 functions:
359	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
206	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
145	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
132	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
104	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=53045.43MB, max=174.57MB, minor=53033.96MB, major=723.49MB, promoted=712.02MB
    minor collections=25309  major collections=39 compactions=0


runtime: 00:00:30.278
vars: 48195, evals: 110341

|rho|=48195
|stable|=25876
|infl|=48141
|wpoint|=10
|sides|=3642
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41376
|called|=103
Found 2866 contexts for 72 functions. Top 5 functions:
500	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
288	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
224	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
203	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
137	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=80012.19MB, max=230.87MB, minor=79999.47MB, major=1009.86MB, promoted=997.15MB
    minor collections=38170  major collections=43 compactions=0


runtime: 00:00:40.305
vars: 70602, evals: 152456

|rho|=70602
|stable|=50350
|infl|=70550
|wpoint|=8
|sides|=5033
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61001
|called|=81
Found 4257 contexts for 72 functions. Top 5 functions:
727	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
436	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
348	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
314	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
212	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=105633.95MB, max=305.32MB, minor=105618.67MB, major=1265.85MB, promoted=1250.57MB
    minor collections=50388  major collections=46 compactions=0


runtime: 00:00:50.337
vars: 92051, evals: 193017

|rho|=92051
|stable|=71736
|infl|=92005
|wpoint|=9
|sides|=6328
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79867
|called|=99
Found 5552 contexts for 72 functions. Top 5 functions:
946	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
568	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
463	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
417	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
278	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=131071.00MB, max=403.80MB, minor=131053.18MB, major=1523.13MB, promoted=1505.32MB
    minor collections=62517  major collections=48 compactions=0


runtime: 00:01:00.365
vars: 97241, evals: 228089

|rho|=97241
|stable|=47500
|infl|=97218
|wpoint|=8
|sides|=6643
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=84426
|called|=63
Found 5866 contexts for 72 functions. Top 5 functions:
1002	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
603	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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
293	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=154668.53MB, max=464.37MB, minor=154650.54MB, major=1724.65MB, promoted=1706.66MB
    minor collections=73770  major collections=50 compactions=0


runtime: 00:01:10.404
vars: 127155, evals: 259595

|rho|=127155
|stable|=52053
|infl|=123851
|wpoint|=11
|sides|=9273
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110714
|called|=3336
Found 8369 contexts for 82 functions. Top 5 functions:
2430	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=172372.99MB, max=464.37MB, minor=172353.84MB, major=1923.36MB, promoted=1904.21MB
    minor collections=82213  major collections=51 compactions=0


runtime: 00:01:20.456
vars: 146440, evals: 276676

|rho|=146440
|stable|=71338
|infl|=140934
|wpoint|=11
|sides|=10926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127795
|called|=5538
Found 10022 contexts for 82 functions. Top 5 functions:
4083	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=181865.84MB, max=534.03MB, minor=181841.89MB, major=2039.98MB, promoted=2016.02MB
    minor collections=86738  major collections=52 compactions=0


runtime: 00:01:30.503
vars: 161845, evals: 290320

|rho|=161845
|stable|=86743
|infl|=154574
|wpoint|=11
|sides|=12246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141439
|called|=7303
Found 11342 contexts for 82 functions. Top 5 functions:
5403	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=189753.14MB, max=534.03MB, minor=189726.57MB, major=2133.35MB, promoted=2106.78MB
    minor collections=90498  major collections=53 compactions=0


runtime: 00:01:40.563
vars: 174331, evals: 301380

|rho|=174331
|stable|=99229
|infl|=165636
|wpoint|=11
|sides|=13316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152499
|called|=8727
Found 12412 contexts for 82 functions. Top 5 functions:
6473	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=196338.76MB, max=614.13MB, minor=196311.60MB, major=2208.09MB, promoted=2180.92MB
    minor collections=93638  major collections=53 compactions=0


runtime: 00:01:50.610
vars: 185675, evals: 311427

|rho|=185675
|stable|=110573
|infl|=175684
|wpoint|=11
|sides|=14289
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162546
|called|=10023
Found 13385 contexts for 82 functions. Top 5 functions:
7446	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=202454.39MB, max=706.25MB, minor=202426.78MB, major=2276.31MB, promoted=2248.70MB
    minor collections=96554  major collections=53 compactions=0


runtime: 00:02:00.621
vars: 195647, evals: 320259

|rho|=195647
|stable|=120545
|infl|=184517
|wpoint|=11
|sides|=15143
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171378
|called|=11161
Found 14240 contexts for 82 functions. Top 5 functions:
8301	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=207959.10MB, max=706.25MB, minor=207931.10MB, major=2336.31MB, promoted=2308.31MB
    minor collections=99179  major collections=53 compactions=0


runtime: 00:02:10.649
vars: 204538, evals: 328133

|rho|=204538
|stable|=129436
|infl|=192392
|wpoint|=11
|sides|=15906
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179252
|called|=12178
Found 15002 contexts for 82 functions. Top 5 functions:
9063	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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=212961.85MB, max=706.25MB, minor=212933.47MB, major=2391.04MB, promoted=2362.65MB
    minor collections=101565  major collections=54 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:02:15.139
vars: 208412, evals: 331566

|rho|=208412
|stable|=133310
|infl|=195822
|wpoint|=11
|sides|=16237
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182685
|called|=12622
Found 15333 contexts for 82 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
1022	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
613	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
491	contexts for L:entry state of normalize_path (1570) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
442	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=215202.49MB, max=706.24MB, minor=215171.57MB, major=2417.67MB, promoted=2386.75MB
    minor collections=102632  major collections=54 compactions=0


Fatal error: exception Stack overflow
