./goblint --conf conf/svcomp.json --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.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:819:3-831:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1205:3-1211:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1269:3-1276:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1305:3-1324:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1404:5-1431:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1433:5-1445:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1448:3-1458:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1460:3-1470:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1507:3-1513:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1550:3-1579:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:2347:3-2354:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:2699:5-2709:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:2779:7-2789:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:2816:7-2833:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:2934:5-2961:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3036:3-3041:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3250:13-3261:13 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3295:11-3305:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3309:11-3316:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3331:11-3394:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3539:3-3566:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3576:5-3579:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3722:5-3778:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3781:5-3808:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3817:7-3842:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3928:3-3952:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4095:5-4098:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4153:5-4160:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4324:11-4327:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4340:13-4343:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4367:7-4386:7 with factor 3
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4524:17-4527:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4693:11-4696:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4709:13-4712:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4744:9-4747:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4752:7-4755:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4819:3-4834:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4842:3-4856:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5180:5-5184:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5229:5-5239:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5351:3-5354:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5370:3-5373:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5376:3-5396:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5410:3-5433:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5447:3-5470:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5490:3-5497:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5499:3-5505:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5548:7-5553:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5555:7-5557:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5584:5-5605:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5649:7-5665:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5676:5-5693:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5730:3-5764:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5766:3-5769:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5850:3-5908:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5987:3-6020:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6039:3-6049:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6179:3-6208:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6223:3-6232:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6252:5-6266:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6272:5-6278:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6415:5-6446:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6528:5-6554:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6790:7-6799:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6842:9-6845:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6831:5-6862:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6905:5-6911:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6932:3-6936:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:7352:5-7374:5 with factor 2
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 152
functionCalls: 1418
loops: 119
loopBreaks: 0
controlFlowStatements: 4123
expressions: 29092
instructions: 4610
integralVars: (10,503)
arrayVars: (13,5)
pointerVars: (20,387)

Complexity estimates:
File: 92731187
function binary_search is recursive, disable interval and interval_set contexts
function search_dir is recursive, disable interval and interval_set contexts
malloc wrapper: ag_malloc
Total: 92731187
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.297
vars: 8090, evals: 17695

|rho|=8090
|stable|=4623
|infl|=8016
|wpoint|=27
|sides|=673
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=7022
|called|=105
Found 373 contexts for 30 functions. Top 5 functions:
96	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
47	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
43	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
34	contexts for L:entry state of is_fnmatch (1005) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=25783.05MB, max=114.78MB, minor=25772.96MB, major=425.75MB, promoted=415.65MB
    minor collections=12304  major collections=27 compactions=0


runtime: 00:00:20.308
vars: 10215, evals: 36034

|rho|=10215
|stable|=6141
|infl|=10195
|wpoint|=34
|sides|=944
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8804
|called|=65
Found 442 contexts for 39 functions. Top 5 functions:
109	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
52	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
50	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
37	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
34	contexts for L:entry state of is_fnmatch (1005) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=50005.25MB, max=151.80MB, minor=49994.64MB, major=796.89MB, promoted=786.28MB
    minor collections=23859  major collections=36 compactions=0


runtime: 00:00:30.367
vars: 21043, evals: 64649

|rho|=21043
|stable|=13412
|infl|=21009
|wpoint|=111
|sides|=1998
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18047
|called|=44
Found 969 contexts for 60 functions. Top 5 functions:
163	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
83	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
67	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
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
56	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=71476.92MB, max=305.32MB, minor=71464.81MB, major=1120.68MB, promoted=1108.57MB
    minor collections=34099  major collections=41 compactions=0


runtime: 00:00:40.406
vars: 27035, evals: 92315

|rho|=27035
|stable|=22696
|infl|=26962
|wpoint|=141
|sides|=2437
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23195
|called|=108
Found 1183 contexts for 64 functions. Top 5 functions:
192	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
100	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
78	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
69	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
67	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=98611.61MB, max=351.13MB, minor=98598.89MB, major=1423.49MB, promoted=1410.77MB
    minor collections=47039  major collections=44 compactions=0


runtime: 00:00:50.421
vars: 34208, evals: 123586

|rho|=34208
|stable|=28952
|infl|=34134
|wpoint|=197
|sides|=2798
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29676
|called|=96
Found 1479 contexts for 68 functions. Top 5 functions:
239	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
130	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
98	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
95	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
93	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=127555.11MB, max=351.13MB, minor=127541.01MB, major=1671.31MB, promoted=1657.20MB
    minor collections=60841  major collections=46 compactions=0


runtime: 00:01:00.440
vars: 39305, evals: 153453

|rho|=39305
|stable|=26123
|infl|=39271
|wpoint|=245
|sides|=3032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34310
|called|=71
Found 1696 contexts for 68 functions. Top 5 functions:
270	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
152	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
117	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
117	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
110	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=155847.63MB, max=403.80MB, minor=155832.09MB, major=1912.83MB, promoted=1897.28MB
    minor collections=74333  major collections=48 compactions=0


runtime: 00:01:10.452
vars: 41373, evals: 181146

|rho|=41373
|stable|=36430
|infl|=41312
|wpoint|=254
|sides|=3136
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36177
|called|=75
Found 1791 contexts for 68 functions. Top 5 functions:
295	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
167	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
126	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
117	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
110	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=182975.67MB, max=464.37MB, minor=182959.84MB, major=2180.04MB, promoted=2164.21MB
    minor collections=87270  major collections=50 compactions=0


runtime: 00:01:20.487
vars: 46730, evals: 209628

|rho|=46730
|stable|=41787
|infl|=46692
|wpoint|=303
|sides|=3348
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41108
|called|=49
Found 2003 contexts for 68 functions. Top 5 functions:
319	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
181	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
135	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
135	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=211460.65MB, max=464.37MB, minor=211444.46MB, major=2410.25MB, promoted=2394.06MB
    minor collections=100854  major collections=52 compactions=0


runtime: 00:01:30.506
vars: 54164, evals: 237843

|rho|=54164
|stable|=49220
|infl|=54115
|wpoint|=361
|sides|=3669
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47901
|called|=61
Found 2324 contexts for 68 functions. Top 5 functions:
374	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
220	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
166	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
165	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
153	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=238601.16MB, max=464.37MB, minor=238584.52MB, major=2643.33MB, promoted=2626.68MB
    minor collections=113796  major collections=54 compactions=0


runtime: 00:01:40.537
vars: 58147, evals: 267256

|rho|=58147
|stable|=46931
|infl|=58092
|wpoint|=388
|sides|=3860
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51521
|called|=121
Found 2498 contexts for 68 functions. Top 5 functions:
404	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
237	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
183	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
175	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
169	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=265075.27MB, max=534.03MB, minor=265058.09MB, major=2859.80MB, promoted=2842.63MB
    minor collections=126421  major collections=55 compactions=0


runtime: 00:01:50.552
vars: 62574, evals: 293374

|rho|=62574
|stable|=50384
|infl|=62533
|wpoint|=438
|sides|=4048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55572
|called|=161
Found 2685 contexts for 68 functions. Top 5 functions:
423	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
249	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
206	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
190	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
184	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=293112.31MB, max=534.03MB, minor=293094.84MB, major=3082.92MB, promoted=3065.45MB
    minor collections=139791  major collections=56 compactions=0


runtime: 00:02:00.575
vars: 68455, evals: 318947

|rho|=68455
|stable|=56277
|infl|=68402
|wpoint|=481
|sides|=4312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60930
|called|=166
Found 2945 contexts for 68 functions. Top 5 functions:
469	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
279	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
226	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
208	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
202	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=319981.72MB, max=534.03MB, minor=319961.72MB, major=3302.79MB, promoted=3282.79MB
    minor collections=152603  major collections=58 compactions=0


runtime: 00:02:10.598
vars: 71606, evals: 345115

|rho|=71606
|stable|=44033
|infl|=71583
|wpoint|=512
|sides|=4441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63820
|called|=63
Found 3074 contexts for 68 functions. Top 5 functions:
488	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
292	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
236	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
217	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
215	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=346002.28MB, max=614.13MB, minor=345981.75MB, major=3514.78MB, promoted=3494.25MB
    minor collections=165011  major collections=59 compactions=0


runtime: 00:02:20.645
vars: 72064, evals: 372330

|rho|=72064
|stable|=65365
|infl|=72041
|wpoint|=515
|sides|=4463
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64236
|called|=110
Found 3096 contexts for 68 functions. Top 5 functions:
498	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
296	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
236	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
217	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
215	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=370272.03MB, max=614.13MB, minor=370249.81MB, major=3705.64MB, promoted=3683.42MB
    minor collections=176584  major collections=60 compactions=0


runtime: 00:02:30.668
vars: 73766, evals: 403819

|rho|=73766
|stable|=15143
|infl|=73737
|wpoint|=521
|sides|=4595
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65703
|called|=32
Found 3159 contexts for 72 functions. Top 5 functions:
511	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
299	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
236	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
217	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
215	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=394945.87MB, max=614.13MB, minor=394921.83MB, major=3889.11MB, promoted=3865.07MB
    minor collections=188349  major collections=61 compactions=0


runtime: 00:02:40.687
vars: 82337, evals: 427724

|rho|=82337
|stable|=23367
|infl|=82283
|wpoint|=611
|sides|=5282
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73012
|called|=73
Found 3623 contexts for 80 functions. Top 5 functions:
672	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
439	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
236	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
217	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
216	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=422625.41MB, max=706.25MB, minor=422597.90MB, major=4121.16MB, promoted=4093.64MB
    minor collections=201547  major collections=62 compactions=0


runtime: 00:02:50.694
vars: 88358, evals: 449162

|rho|=88358
|stable|=29612
|infl|=88319
|wpoint|=701
|sides|=5652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78322
|called|=42
Found 3959 contexts for 80 functions. Top 5 functions:
778	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
526	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
236	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
217	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
216	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=449811.95MB, max=706.25MB, minor=449783.58MB, major=4327.52MB, promoted=4299.16MB
    minor collections=214511  major collections=63 compactions=0


runtime: 00:03:00.718
vars: 93330, evals: 471049

|rho|=93330
|stable|=34095
|infl|=93276
|wpoint|=744
|sides|=5870
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82863
|called|=89
Found 4173 contexts for 80 functions. Top 5 functions:
806	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
545	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
255	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
234	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
234	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=477623.91MB, max=706.25MB, minor=477595.09MB, major=4562.95MB, promoted=4534.12MB
    minor collections=227773  major collections=64 compactions=0


runtime: 00:03:10.765
vars: 98333, evals: 493322

|rho|=98333
|stable|=38383
|infl|=98279
|wpoint|=781
|sides|=6078
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87454
|called|=93
Found 4377 contexts for 80 functions. Top 5 functions:
842	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
567	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
274	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
251	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
243	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=505369.19MB, max=812.19MB, minor=505340.12MB, major=4792.74MB, promoted=4763.67MB
    minor collections=241004  major collections=65 compactions=0


runtime: 00:03:20.796
vars: 103685, evals: 514715

|rho|=103685
|stable|=43600
|infl|=103643
|wpoint|=828
|sides|=6303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92355
|called|=64
Found 4602 contexts for 80 functions. Top 5 functions:
873	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
589	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
293	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
268	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
265	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=532771.80MB, max=812.19MB, minor=532742.31MB, major=5030.85MB, promoted=5001.36MB
    minor collections=254071  major collections=66 compactions=0


runtime: 00:03:30.823
vars: 109830, evals: 535868

|rho|=109830
|stable|=26260
|infl|=109781
|wpoint|=886
|sides|=6646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97821
|called|=72
Found 4925 contexts for 80 functions. Top 5 functions:
977	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
670	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
295	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
270	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
266	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=559901.88MB, max=934.02MB, minor=559871.04MB, major=5246.30MB, promoted=5215.46MB
    minor collections=267008  major collections=67 compactions=0


runtime: 00:03:40.847
vars: 116922, evals: 555693

|rho|=116922
|stable|=33273
|infl|=116872
|wpoint|=976
|sides|=7055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104096
|called|=76
Found 5334 contexts for 80 functions. Top 5 functions:
1111	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
785	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
305	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
295	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
270	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=585882.96MB, max=934.02MB, minor=585850.96MB, major=5444.89MB, promoted=5412.89MB
    minor collections=279397  major collections=67 compactions=0


runtime: 00:03:50.863
vars: 122027, evals: 575398

|rho|=122027
|stable|=38651
|infl|=121971
|wpoint|=1029
|sides|=7302
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108708
|called|=76
Found 5581 contexts for 80 functions. Top 5 functions:
1172	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
833	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
330	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
305	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
279	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=612802.69MB, max=934.02MB, minor=612769.80MB, major=5654.27MB, promoted=5621.38MB
    minor collections=292233  major collections=68 compactions=0


runtime: 00:04:00.896
vars: 126064, evals: 595552

|rho|=126064
|stable|=42688
|infl|=126017
|wpoint|=1065
|sides|=7462
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112423
|called|=58
Found 5741 contexts for 80 functions. Top 5 functions:
1193	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
846	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
330	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
323	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
295	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=640448.67MB, max=934.02MB, minor=640415.39MB, major=5868.60MB, promoted=5835.31MB
    minor collections=305417  major collections=69 compactions=0


runtime: 00:04:10.956
vars: 131611, evals: 615606

|rho|=131611
|stable|=48110
|infl|=131552
|wpoint|=1106
|sides|=7704
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117488
|called|=85
Found 5983 contexts for 80 functions. Top 5 functions:
1233	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
874	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
343	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
330	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
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

Memory statistics: total=666977.68MB, max=1074.12MB, minor=666939.75MB, major=6095.08MB, promoted=6057.15MB
    minor collections=318065  major collections=69 compactions=0


runtime: 00:04:20.968
vars: 135475, evals: 634450

|rho|=135475
|stable|=51509
|infl|=135435
|wpoint|=1137
|sides|=7874
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121010
|called|=82
Found 6153 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=693682.75MB, max=1074.12MB, minor=693644.26MB, major=6313.00MB, promoted=6274.51MB
    minor collections=330799  major collections=70 compactions=0


runtime: 00:04:31.001
vars: 138553, evals: 659286

|rho|=138553
|stable|=52024
|infl|=138434
|wpoint|=1152
|sides|=7887
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124075
|called|=261
Found 6166 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=718808.51MB, max=1074.12MB, minor=718768.82MB, major=6506.73MB, promoted=6467.04MB
    minor collections=342780  major collections=70 compactions=0


runtime: 00:04:41.033
vars: 141569, evals: 683031

|rho|=141569
|stable|=52272
|infl|=141385
|wpoint|=1164
|sides|=7900
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127078
|called|=429
Found 6179 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=743129.99MB, max=1235.24MB, minor=743088.83MB, major=6693.26MB, promoted=6652.11MB
    minor collections=354377  major collections=71 compactions=0


runtime: 00:04:51.045
vars: 144523, evals: 706353

|rho|=144523
|stable|=52486
|infl|=144288
|wpoint|=1177
|sides|=7913
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130019
|called|=593
Found 6192 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=766884.33MB, max=1235.24MB, minor=766842.10MB, major=6877.30MB, promoted=6835.07MB
    minor collections=365704  major collections=71 compactions=0


runtime: 00:05:01.069
vars: 147359, evals: 728681

|rho|=147359
|stable|=52743
|infl|=147046
|wpoint|=1188
|sides|=7925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132843
|called|=755
Found 6204 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=789906.64MB, max=1235.24MB, minor=789860.85MB, major=7056.14MB, promoted=7010.35MB
    minor collections=376681  major collections=72 compactions=0


runtime: 00:05:11.105
vars: 150310, evals: 751641

|rho|=150310
|stable|=53121
|infl|=149954
|wpoint|=1201
|sides|=7937
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135782
|called|=913
Found 6216 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=813346.86MB, max=1235.24MB, minor=813299.97MB, major=7235.99MB, promoted=7189.10MB
    minor collections=387858  major collections=72 compactions=0


runtime: 00:05:21.118
vars: 153094, evals: 773713

|rho|=153094
|stable|=53372
|infl|=152678
|wpoint|=1213
|sides|=7949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138554
|called|=1054
Found 6228 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=836224.43MB, max=1235.24MB, minor=836176.16MB, major=7412.58MB, promoted=7364.32MB
    minor collections=398767  major collections=73 compactions=0


runtime: 00:05:31.154
vars: 155812, evals: 795465

|rho|=155812
|stable|=53503
|infl|=155336
|wpoint|=1224
|sides|=7961
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141260
|called|=1207
Found 6240 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=858775.88MB, max=1420.53MB, minor=858726.46MB, major=7586.28MB, promoted=7536.86MB
    minor collections=409520  major collections=73 compactions=0


runtime: 00:05:41.166
vars: 158495, evals: 816828

|rho|=158495
|stable|=53722
|infl|=157942
|wpoint|=1236
|sides|=7973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143931
|called|=1378
Found 6252 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=881080.04MB, max=1420.53MB, minor=881029.43MB, major=7758.08MB, promoted=7707.46MB
    minor collections=420156  major collections=74 compactions=0


runtime: 00:05:51.210
vars: 161057, evals: 837352

|rho|=161057
|stable|=53938
|infl|=160453
|wpoint|=1248
|sides|=7984
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146482
|called|=1522
Found 6263 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=902571.95MB, max=1420.53MB, minor=902519.96MB, major=7922.41MB, promoted=7870.41MB
    minor collections=430403  major collections=74 compactions=0


runtime: 00:06:01.222
vars: 163779, evals: 858397

|rho|=163779
|stable|=53938
|infl|=163129
|wpoint|=1260
|sides|=7996
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149192
|called|=1699
Found 6275 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=924435.53MB, max=1420.53MB, minor=924382.59MB, major=8091.31MB, promoted=8038.37MB
    minor collections=440829  major collections=74 compactions=0


runtime: 00:06:11.234
vars: 166331, evals: 878593

|rho|=166331
|stable|=54158
|infl|=165626
|wpoint|=1271
|sides|=8007
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151733
|called|=1841
Found 6286 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=945727.74MB, max=1420.53MB, minor=945673.50MB, major=8255.33MB, promoted=8201.09MB
    minor collections=450982  major collections=75 compactions=0


runtime: 00:06:21.270
vars: 168714, evals: 898006

|rho|=168714
|stable|=54643
|infl|=167948
|wpoint|=1280
|sides|=8017
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154106
|called|=1937
Found 6296 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=966282.35MB, max=1420.53MB, minor=966226.96MB, major=8411.89MB, promoted=8356.49MB
    minor collections=460782  major collections=75 compactions=0


runtime: 00:06:31.282
vars: 171343, evals: 918395

|rho|=171343
|stable|=54891
|infl|=170530
|wpoint|=1292
|sides|=8028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156724
|called|=2090
Found 6307 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=987801.25MB, max=1420.53MB, minor=987744.80MB, major=8575.82MB, promoted=8519.37MB
    minor collections=471044  major collections=76 compactions=0


runtime: 00:06:41.298
vars: 173755, evals: 937629

|rho|=173755
|stable|=54946
|infl|=172890
|wpoint|=1302
|sides|=8039
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159125
|called|=2227
Found 6318 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1008283.74MB, max=1420.53MB, minor=1008226.02MB, major=8732.76MB, promoted=8675.04MB
    minor collections=480810  major collections=76 compactions=0


runtime: 00:06:51.338
vars: 176137, evals: 956483

|rho|=176137
|stable|=55251
|infl|=175208
|wpoint|=1313
|sides|=8049
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161497
|called|=2365
Found 6328 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1028269.95MB, max=1633.61MB, minor=1028211.11MB, major=8885.60MB, promoted=8826.77MB
    minor collections=490340  major collections=76 compactions=0


runtime: 00:07:01.354
vars: 178614, evals: 975638

|rho|=178614
|stable|=55566
|infl|=177648
|wpoint|=1323
|sides|=8059
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163964
|called|=2501
Found 6338 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1048579.92MB, max=1633.61MB, minor=1048520.13MB, major=9040.64MB, promoted=8980.86MB
    minor collections=500025  major collections=77 compactions=0


runtime: 00:07:11.370
vars: 180868, evals: 993789

|rho|=180868
|stable|=55699
|infl|=179852
|wpoint|=1332
|sides|=8069
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166208
|called|=2609
Found 6348 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1068210.85MB, max=1633.61MB, minor=1068149.83MB, major=9190.74MB, promoted=9129.72MB
    minor collections=509385  major collections=77 compactions=0


runtime: 00:07:21.422
vars: 183097, evals: 1011652

|rho|=183097
|stable|=55829
|infl|=182018
|wpoint|=1343
|sides|=8079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168427
|called|=2756
Found 6358 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1087341.85MB, max=1633.61MB, minor=1087279.65MB, major=9337.22MB, promoted=9275.02MB
    minor collections=518507  major collections=77 compactions=0


runtime: 00:07:31.438
vars: 185442, evals: 1030222

|rho|=185442
|stable|=56107
|infl|=184315
|wpoint|=1352
|sides|=8089
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170762
|called|=2874
Found 6368 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1107261.82MB, max=1633.61MB, minor=1107198.75MB, major=9488.62MB, promoted=9425.55MB
    minor collections=528006  major collections=77 compactions=0


runtime: 00:07:41.450
vars: 187727, evals: 1048105

|rho|=187727
|stable|=56271
|infl|=186544
|wpoint|=1362
|sides|=8099
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173037
|called|=3011
Found 6378 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1126623.61MB, max=1633.61MB, minor=1126559.37MB, major=9636.67MB, promoted=9572.44MB
    minor collections=537238  major collections=78 compactions=0


runtime: 00:07:51.482
vars: 189982, evals: 1065602

|rho|=189982
|stable|=56546
|infl|=188771
|wpoint|=1372
|sides|=8108
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175283
|called|=3139
Found 6387 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1145611.27MB, max=1633.61MB, minor=1145545.69MB, major=9780.26MB, promoted=9714.68MB
    minor collections=546292  major collections=78 compactions=0


runtime: 00:08:01.530
vars: 192145, evals: 1083440

|rho|=192145
|stable|=56661
|infl|=190871
|wpoint|=1382
|sides|=8118
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177436
|called|=3261
Found 6397 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1164829.19MB, max=1633.61MB, minor=1164762.80MB, major=9927.62MB, promoted=9861.23MB
    minor collections=555455  major collections=78 compactions=0


runtime: 00:08:11.542
vars: 194403, evals: 1101060

|rho|=194403
|stable|=56753
|infl|=193093
|wpoint|=1391
|sides|=8128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179684
|called|=3383
Found 6407 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1183969.70MB, max=1633.61MB, minor=1183902.36MB, major=10073.74MB, promoted=10006.39MB
    minor collections=564583  major collections=79 compactions=0


runtime: 00:08:21.554
vars: 196532, evals: 1117826

|rho|=196532
|stable|=57004
|infl|=195159
|wpoint|=1400
|sides|=8137
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181804
|called|=3511
Found 6416 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1202332.24MB, max=1633.61MB, minor=1202263.65MB, major=10213.02MB, promoted=10144.43MB
    minor collections=573338  major collections=79 compactions=0


runtime: 00:08:31.610
vars: 198620, evals: 1134341

|rho|=198620
|stable|=57175
|infl|=197202
|wpoint|=1409
|sides|=8146
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183883
|called|=3626
Found 6425 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1220459.75MB, max=1878.66MB, minor=1220389.90MB, major=10350.26MB, promoted=10280.41MB
    minor collections=581982  major collections=79 compactions=0


runtime: 00:08:41.621
vars: 200729, evals: 1151319

|rho|=200729
|stable|=57369
|infl|=199270
|wpoint|=1419
|sides|=8155
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185983
|called|=3743
Found 6434 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1238839.00MB, max=1878.66MB, minor=1238768.44MB, major=10489.48MB, promoted=10418.92MB
    minor collections=590745  major collections=79 compactions=0


runtime: 00:08:51.629
vars: 202838, evals: 1167918

|rho|=202838
|stable|=57603
|infl|=201338
|wpoint|=1427
|sides|=8164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188083
|called|=3847
Found 6443 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1257121.38MB, max=1878.66MB, minor=1257049.88MB, major=10627.06MB, promoted=10555.56MB
    minor collections=599463  major collections=80 compactions=0


runtime: 00:09:01.641
vars: 204895, evals: 1183975

|rho|=204895
|stable|=57669
|infl|=203342
|wpoint|=1436
|sides|=8173
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190131
|called|=3975
Found 6452 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1274874.50MB, max=1878.66MB, minor=1274801.80MB, major=10761.53MB, promoted=10688.84MB
    minor collections=607928  major collections=80 compactions=0


runtime: 00:09:11.725
vars: 206852, evals: 1199405

|rho|=206852
|stable|=57923
|infl|=205276
|wpoint|=1444
|sides|=8181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192080
|called|=4065
Found 6460 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1292017.78MB, max=1878.66MB, minor=1291943.76MB, major=10889.95MB, promoted=10815.93MB
    minor collections=616102  major collections=80 compactions=0


runtime: 00:09:21.748
vars: 208849, evals: 1215471

|rho|=208849
|stable|=58072
|infl|=207215
|wpoint|=1454
|sides|=8190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194068
|called|=4198
Found 6469 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
330	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
323	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=1309619.39MB, max=1878.66MB, minor=1309544.70MB, major=11024.73MB, promoted=10950.04MB
    minor collections=624495  major collections=80 compactions=0


runtime: 00:09:31.760
vars: 210875, evals: 1231416

|rho|=210875
|stable|=58173
|infl|=209210
|wpoint|=1462
|sides|=8199
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196085
|called|=4317
Found 6478 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
331	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
330	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

Memory statistics: total=1327215.16MB, max=1878.66MB, minor=1327139.52MB, major=11158.71MB, promoted=11083.06MB
    minor collections=632885  major collections=80 compactions=0


runtime: 00:09:41.776
vars: 212793, evals: 1246611

|rho|=212793
|stable|=58441
|infl|=211074
|wpoint|=1471
|sides|=8207
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197995
|called|=4416
Found 6486 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
339	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
330	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

Memory statistics: total=1344109.52MB, max=1878.66MB, minor=1344032.77MB, major=11286.37MB, promoted=11209.62MB
    minor collections=640942  major collections=81 compactions=0


runtime: 00:09:51.791
vars: 214649, evals: 1261399

|rho|=214649
|stable|=58590
|infl|=212890
|wpoint|=1479
|sides|=8215
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199843
|called|=4528
Found 6494 contexts for 80 functions. Top 5 functions:
1263	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
891	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
354	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
347	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
330	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

Memory statistics: total=1360655.58MB, max=1878.66MB, minor=1360577.60MB, major=11411.21MB, promoted=11333.23MB
    minor collections=648831  major collections=81 compactions=0


runtime: 00:10:01.839
vars: 216557, evals: 1276273

|rho|=216557
|stable|=58814
|infl|=214763
|wpoint|=1486
|sides|=8223
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201743
|called|=4613
Found 6502 contexts for 80 functions. Top 5 functions:
1263	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
891	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
355	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1377243.15MB, max=1878.66MB, minor=1377164.23MB, major=11536.47MB, promoted=11457.55MB
    minor collections=656740  major collections=81 compactions=0


runtime: 00:10:11.855
vars: 218531, evals: 1291727

|rho|=218531
|stable|=58658
|infl|=216701
|wpoint|=1496
|sides|=8232
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203708
|called|=4744
Found 6511 contexts for 80 functions. Top 5 functions:
1263	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
891	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
364	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1394316.33MB, max=1878.66MB, minor=1394236.73MB, major=11665.76MB, promoted=11586.17MB
    minor collections=664881  major collections=81 compactions=0


runtime: 00:10:21.867
vars: 220387, evals: 1306699

|rho|=220387
|stable|=59000
|infl|=218517
|wpoint|=1503
|sides|=8240
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205556
|called|=4828
Found 6519 contexts for 80 functions. Top 5 functions:
1263	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
891	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
372	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1411137.87MB, max=1878.66MB, minor=1411057.40MB, major=11793.32MB, promoted=11712.85MB
    minor collections=672903  major collections=82 compactions=0


runtime: 00:10:31.878
vars: 222243, evals: 1321353

|rho|=222243
|stable|=59126
|infl|=220333
|wpoint|=1511
|sides|=8248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207404
|called|=4940
Found 6527 contexts for 80 functions. Top 5 functions:
1263	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
891	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
380	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1427644.64MB, max=1878.66MB, minor=1427563.06MB, major=11918.30MB, promoted=11836.73MB
    minor collections=680773  major collections=82 compactions=0


runtime: 00:10:41.898
vars: 224099, evals: 1335802

|rho|=224099
|stable|=59149
|infl|=222149
|wpoint|=1519
|sides|=8256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209252
|called|=5039
Found 6535 contexts for 80 functions. Top 5 functions:
1263	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
891	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
388	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1443994.50MB, max=1878.66MB, minor=1443911.64MB, major=12040.64MB, promoted=11957.77MB
    minor collections=688569  major collections=82 compactions=0


runtime: 00:10:51.957
vars: 225955, evals: 1350412

|rho|=225955
|stable|=59265
|infl|=223965
|wpoint|=1528
|sides|=8264
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211100
|called|=5156
Found 6543 contexts for 80 functions. Top 5 functions:
1263	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
891	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
396	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1460319.37MB, max=2160.46MB, minor=1460235.64MB, major=12164.41MB, promoted=12080.68MB
    minor collections=696353  major collections=82 compactions=0


runtime: 00:11:01.969
vars: 227811, evals: 1365133

|rho|=227811
|stable|=59458
|infl|=225781
|wpoint|=1536
|sides|=8272
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212948
|called|=5275
Found 6551 contexts for 80 functions. Top 5 functions:
1263	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
891	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
404	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1476799.66MB, max=2160.46MB, minor=1476715.26MB, major=12289.69MB, promoted=12205.29MB
    minor collections=704211  major collections=82 compactions=0


runtime: 00:11:11.981
vars: 229654, evals: 1379549

|rho|=229654
|stable|=59969
|infl|=227588
|wpoint|=1543
|sides|=8279
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214784
|called|=5357
Found 6558 contexts for 80 functions. Top 5 functions:
1263	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
891	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
411	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1493114.30MB, max=2160.46MB, minor=1493029.03MB, major=12412.41MB, promoted=12327.15MB
    minor collections=711991  major collections=83 compactions=0


runtime: 00:11:21.992
vars: 231353, evals: 1393560

|rho|=231353
|stable|=60009
|infl|=229234
|wpoint|=1551
|sides|=8287
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216475
|called|=5459
Found 6566 contexts for 80 functions. Top 5 functions:
1263	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
891	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
419	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1509092.10MB, max=2160.46MB, minor=1509005.78MB, major=12532.29MB, promoted=12445.97MB
    minor collections=719610  major collections=83 compactions=0


runtime: 00:11:32.004
vars: 233147, evals: 1407361

|rho|=233147
|stable|=59918
|infl|=231002
|wpoint|=1559
|sides|=8295
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218261
|called|=5558
Found 6574 contexts for 80 functions. Top 5 functions:
1263	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
891	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
427	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1524842.88MB, max=2160.46MB, minor=1524755.36MB, major=12650.89MB, promoted=12563.36MB
    minor collections=727120  major collections=83 compactions=0


runtime: 00:11:42.055
vars: 234833, evals: 1421005

|rho|=234833
|stable|=60325
|infl|=232639
|wpoint|=1566
|sides|=8302
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219940
|called|=5649
Found 6581 contexts for 80 functions. Top 5 functions:
1263	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
891	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
434	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1540446.26MB, max=2160.46MB, minor=1540357.66MB, major=12767.09MB, promoted=12678.50MB
    minor collections=734560  major collections=83 compactions=0


runtime: 00:11:52.071
vars: 236627, evals: 1435174

|rho|=236627
|stable|=60355
|infl|=234407
|wpoint|=1573
|sides|=8310
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221726
|called|=5746
Found 6589 contexts for 80 functions. Top 5 functions:
1263	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
891	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
442	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1556454.01MB, max=2160.46MB, minor=1556364.86MB, major=12888.62MB, promoted=12799.47MB
    minor collections=742193  major collections=83 compactions=0


runtime: 00:12:02.082
vars: 238404, evals: 1449087

|rho|=238404
|stable|=60629
|infl|=236148
|wpoint|=1580
|sides|=8317
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223496
|called|=5833
Found 6596 contexts for 80 functions. Top 5 functions:
1263	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
891	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
449	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1572251.25MB, max=2160.46MB, minor=1572161.32MB, major=13005.58MB, promoted=12915.65MB
    minor collections=749725  major collections=83 compactions=0


runtime: 00:12:12.098
vars: 240107, evals: 1462725

|rho|=240107
|stable|=60666
|infl|=237812
|wpoint|=1588
|sides|=8325
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225191
|called|=5944
Found 6604 contexts for 80 functions. Top 5 functions:
1263	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
891	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
457	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1587915.58MB, max=2160.46MB, minor=1587824.76MB, major=13122.56MB, promoted=13031.74MB
    minor collections=757195  major collections=84 compactions=0


runtime: 00:12:22.109
vars: 241793, evals: 1476085

|rho|=241793
|stable|=60925
|infl|=239449
|wpoint|=1596
|sides|=8332
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226870
|called|=6040
Found 6611 contexts for 80 functions. Top 5 functions:
1263	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
891	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
464	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1603287.48MB, max=2160.46MB, minor=1603195.52MB, major=13235.84MB, promoted=13143.88MB
    minor collections=764524  major collections=84 compactions=0


runtime: 00:12:32.133
vars: 243417, evals: 1488952

|rho|=243417
|stable|=61070
|infl|=241038
|wpoint|=1603
|sides|=8339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228487
|called|=6141
Found 6618 contexts for 80 functions. Top 5 functions:
1263	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
891	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
471	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1618168.45MB, max=2160.46MB, minor=1618075.24MB, major=13346.65MB, promoted=13253.44MB
    minor collections=771620  major collections=84 compactions=0


runtime: 00:12:42.204
vars: 245041, evals: 1501885

|rho|=245041
|stable|=61190
|infl|=242627
|wpoint|=1610
|sides|=8346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230104
|called|=6226
Found 6625 contexts for 80 functions. Top 5 functions:
1263	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
891	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
478	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1633008.80MB, max=2160.46MB, minor=1632914.70MB, major=13457.37MB, promoted=13363.26MB
    minor collections=778696  major collections=84 compactions=0


runtime: 00:12:52.216
vars: 246743, evals: 1515003

|rho|=246743
|stable|=61440
|infl|=244299
|wpoint|=1617
|sides|=8353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231799
|called|=6308
Found 6632 contexts for 80 functions. Top 5 functions:
1263	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
891	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
485	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1648007.89MB, max=2160.46MB, minor=1647913.22MB, major=13569.91MB, promoted=13475.25MB
    minor collections=785848  major collections=84 compactions=0


runtime: 00:13:02.227
vars: 248446, evals: 1528274

|rho|=248446
|stable|=61586
|infl|=245975
|wpoint|=1624
|sides|=8360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233495
|called|=6416
Found 6639 contexts for 80 functions. Top 5 functions:
1263	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
891	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
492	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1663157.04MB, max=2160.46MB, minor=1663061.69MB, major=13683.12MB, promoted=13587.77MB
    minor collections=793071  major collections=84 compactions=0


runtime: 00:13:12.239
vars: 250070, evals: 1541126

|rho|=250070
|stable|=61726
|infl|=247564
|wpoint|=1631
|sides|=8367
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235112
|called|=6505
Found 6646 contexts for 80 functions. Top 5 functions:
1263	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
891	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
499	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1678073.58MB, max=2160.46MB, minor=1677977.37MB, major=13794.07MB, promoted=13697.86MB
    minor collections=800184  major collections=85 compactions=0


runtime: 00:13:22.251
vars: 251615, evals: 1553651

|rho|=251615
|stable|=61811
|infl|=249072
|wpoint|=1638
|sides|=8374
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236650
|called|=6575
Found 6653 contexts for 80 functions. Top 5 functions:
1263	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
891	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
506	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1692856.07MB, max=2160.46MB, minor=1692758.83MB, major=13904.65MB, promoted=13807.41MB
    minor collections=807233  major collections=85 compactions=0


runtime: 00:13:32.262
vars: 253161, evals: 1566297

|rho|=253161
|stable|=61921
|infl|=250572
|wpoint|=1645
|sides|=8381
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238189
|called|=6673
Found 6660 contexts for 80 functions. Top 5 functions:
1263	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
891	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
513	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1707574.21MB, max=2160.46MB, minor=1707475.81MB, major=14014.19MB, promoted=13915.79MB
    minor collections=814251  major collections=85 compactions=0


runtime: 00:13:42.317
vars: 254753, evals: 1578550

|rho|=254753
|stable|=61995
|infl|=252125
|wpoint|=1651
|sides|=8388
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239774
|called|=6772
Found 6667 contexts for 80 functions. Top 5 functions:
1263	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
891	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
520	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1721939.53MB, max=2484.53MB, minor=1721839.93MB, major=14121.37MB, promoted=14021.78MB
    minor collections=821100  major collections=85 compactions=0


runtime: 00:13:52.329
vars: 256377, evals: 1591361

|rho|=256377
|stable|=62170
|infl|=253713
|wpoint|=1658
|sides|=8395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241391
|called|=6860
Found 6674 contexts for 80 functions. Top 5 functions:
1263	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
891	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
527	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1736615.97MB, max=2484.53MB, minor=1736515.87MB, major=14230.57MB, promoted=14130.48MB
    minor collections=828098  major collections=85 compactions=0


runtime: 00:14:02.340
vars: 257971, evals: 1604018

|rho|=257971
|stable|=62195
|infl|=255291
|wpoint|=1666
|sides|=8402
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242978
|called|=6959
Found 6681 contexts for 80 functions. Top 5 functions:
1263	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
891	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
534	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1751174.64MB, max=2484.53MB, minor=1751074.01MB, major=14338.53MB, promoted=14237.91MB
    minor collections=835040  major collections=85 compactions=0


runtime: 00:14:12.356
vars: 259595, evals: 1616631

|rho|=259595
|stable|=62198
|infl|=256880
|wpoint|=1673
|sides|=8409
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244595
|called|=7067
Found 6688 contexts for 80 functions. Top 5 functions:
1263	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
891	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
541	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1765848.08MB, max=2484.53MB, minor=1765746.69MB, major=14446.75MB, promoted=14345.36MB
    minor collections=842037  major collections=85 compactions=0


runtime: 00:14:22.367
vars: 261049, evals: 1628694

|rho|=261049
|stable|=62584
|infl|=258290
|wpoint|=1680
|sides|=8415
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246043
|called|=7123
Found 6694 contexts for 80 functions. Top 5 functions:
1263	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
891	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
547	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1780112.23MB, max=2484.53MB, minor=1780009.95MB, major=14552.22MB, promoted=14449.94MB
    minor collections=848839  major collections=86 compactions=0


runtime: 00:14:32.387
vars: 262611, evals: 1640533

|rho|=262611
|stable|=62458
|infl|=259831
|wpoint|=1686
|sides|=8422
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247598
|called|=7213
Found 6701 contexts for 80 functions. Top 5 functions:
1263	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
891	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
554	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1794084.40MB, max=2484.53MB, minor=1793976.90MB, major=14661.24MB, promoted=14553.74MB
    minor collections=855500  major collections=86 compactions=0


runtime: 00:14:42.398
vars: 264065, evals: 1652367

|rho|=264065
|stable|=62861
|infl|=261241
|wpoint|=1692
|sides|=8428
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249046
|called|=7289
Found 6707 contexts for 80 functions. Top 5 functions:
1263	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
891	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
560	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1808197.97MB, max=2484.53MB, minor=1808089.28MB, major=14765.42MB, promoted=14656.73MB
    minor collections=862229  major collections=86 compactions=0


runtime: 00:14:52.458
vars: 265535, evals: 1663701

|rho|=265535
|stable|=63060
|infl|=262686
|wpoint|=1698
|sides|=8434
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250510
|called|=7359
Found 6713 contexts for 80 functions. Top 5 functions:
1263	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
891	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
566	contexts for L:entry state of search_dir (1897) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1
354	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
330	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

Memory statistics: total=1821598.81MB, max=2484.53MB, minor=1821484.90MB, major=14868.34MB, promoted=14754.42MB
    minor collections=868618  major collections=86 compactions=0

