./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/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.279
vars: 10524, evals: 21962

|rho|=10524
|stable|=9497
|infl|=10491
|wpoint|=2
|sides|=1172
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8684
|called|=44
Found 619 contexts for 64 functions. Top 5 functions:
117	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
61	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=24921.52MB, max=114.78MB, minor=24912.38MB, major=438.04MB, promoted=428.90MB
    minor collections=11896  major collections=32 compactions=0


runtime: 00:00:20.326
vars: 32652, evals: 68640

|rho|=32652
|stable|=29741
|infl|=32611
|wpoint|=7
|sides|=2676
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27748
|called|=95
Found 1924 contexts for 72 functions. Top 5 functions:
337	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
193	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
140	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
127	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
98	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=51458.52MB, max=174.57MB, minor=51448.02MB, major=705.99MB, promoted=695.48MB
    minor collections=24552  major collections=38 compactions=0


runtime: 00:00:30.362
vars: 46422, evals: 107015

|rho|=46422
|stable|=24098
|infl|=46368
|wpoint|=9
|sides|=3529
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39829
|called|=100
Found 2753 contexts for 72 functions. Top 5 functions:
484	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
277	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
213	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
193	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
131	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=78043.36MB, max=230.87MB, minor=78030.56MB, major=990.61MB, promoted=977.81MB
    minor collections=37231  major collections=43 compactions=0


runtime: 00:00:40.413
vars: 70188, evals: 151597

|rho|=70188
|stable|=49924
|infl|=70142
|wpoint|=9
|sides|=5009
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60636
|called|=98
Found 4233 contexts for 72 functions. Top 5 functions:
724	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
434	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
347	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
313	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=105049.53MB, max=305.32MB, minor=105034.14MB, major=1261.70MB, promoted=1246.32MB
    minor collections=50109  major collections=46 compactions=0


runtime: 00:00:50.468
vars: 93090, evals: 194854

|rho|=93090
|stable|=72842
|infl|=93045
|wpoint|=7
|sides|=6392
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80778
|called|=65
Found 5616 contexts for 72 functions. Top 5 functions:
958	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
577	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
465	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
419	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
284	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=132310.91MB, max=403.80MB, minor=132292.94MB, major=1537.05MB, promoted=1519.08MB
    minor collections=63108  major collections=48 compactions=0


runtime: 00:01:00.500
vars: 98778, evals: 234476

|rho|=98778
|stable|=23676
|infl|=98737
|wpoint|=9
|sides|=6823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85610
|called|=58
Found 5935 contexts for 80 functions. Top 5 functions:
1021	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
612	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
294	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=159086.50MB, max=464.37MB, minor=159067.94MB, major=1760.87MB, promoted=1742.31MB
    minor collections=75877  major collections=50 compactions=0


runtime: 00:01:10.523
vars: 130397, evals: 262467

|rho|=130397
|stable|=55295
|infl|=126723
|wpoint|=11
|sides|=9550
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113586
|called|=3706
Found 8646 contexts for 82 functions. Top 5 functions:
2707	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=174108.01MB, max=464.37MB, minor=174088.64MB, major=1942.23MB, promoted=1922.87MB
    minor collections=83040  major collections=51 compactions=0


runtime: 00:01:20.558
vars: 148046, evals: 278099

|rho|=148046
|stable|=72944
|infl|=142354
|wpoint|=11
|sides|=11063
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129218
|called|=5724
Found 10159 contexts for 82 functions. Top 5 functions:
4220	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=182903.16MB, max=534.03MB, minor=182879.03MB, major=2050.03MB, promoted=2025.90MB
    minor collections=87232  major collections=52 compactions=0


runtime: 00:01:30.602
vars: 162072, evals: 290522

|rho|=162072
|stable|=86970
|infl|=154779
|wpoint|=11
|sides|=12265
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141641
|called|=7325
Found 11361 contexts for 82 functions. Top 5 functions:
5422	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=190159.16MB, max=534.03MB, minor=190132.46MB, major=2135.42MB, promoted=2108.72MB
    minor collections=90691  major collections=52 compactions=0


runtime: 00:01:40.617
vars: 174016, evals: 301101

|rho|=174016
|stable|=98914
|infl|=165359
|wpoint|=11
|sides|=13289
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152220
|called|=8689
Found 12385 contexts for 82 functions. Top 5 functions:
6446	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=196506.66MB, max=534.03MB, minor=196479.39MB, major=2206.49MB, promoted=2179.22MB
    minor collections=93718  major collections=53 compactions=0


runtime: 00:01:50.685
vars: 184590, evals: 310466

|rho|=184590
|stable|=109488
|infl|=174724
|wpoint|=11
|sides|=14196
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161585
|called|=9898
Found 13292 contexts for 82 functions. Top 5 functions:
7353	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=202254.87MB, max=614.13MB, minor=202227.19MB, major=2269.48MB, promoted=2241.80MB
    minor collections=96459  major collections=53 compactions=0


runtime: 00:02:00.732
vars: 194124, evals: 318910

|rho|=194124
|stable|=119022
|infl|=183171
|wpoint|=11
|sides|=15013
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170029
|called|=10985
Found 14109 contexts for 82 functions. Top 5 functions:
8170	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=207542.14MB, max=706.25MB, minor=207514.07MB, major=2327.45MB, promoted=2299.38MB
    minor collections=98980  major collections=53 compactions=0


runtime: 00:02:10.755
vars: 202987, evals: 326761

|rho|=202987
|stable|=127885
|infl|=191017
|wpoint|=11
|sides|=15772
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177880
|called|=12002
Found 14868 contexts for 82 functions. Top 5 functions:
8929	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=212547.70MB, max=706.25MB, minor=212519.25MB, major=2381.14MB, promoted=2352.69MB
    minor collections=101367  major collections=53 compactions=0

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

runtime: 00:02:17.467
vars: 208456, evals: 331605

|rho|=208456
|stable|=133354
|infl|=195859
|wpoint|=11
|sides|=16241
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182724
|called|=12629
Found 15337 contexts for 82 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
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=215702.35MB, max=706.24MB, minor=215671.31MB, major=2417.54MB, promoted=2386.50MB
    minor collections=102870  major collections=53 compactions=0


Fatal error: exception Stack overflow
