./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.302
vars: 8030, evals: 16850

|rho|=8030
|stable|=4110
|infl|=7956
|wpoint|=21
|sides|=672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=6964
|called|=104
Found 372 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=25362.70MB, max=114.78MB, minor=25352.61MB, major=419.96MB, promoted=409.87MB
    minor collections=12104  major collections=27 compactions=0


runtime: 00:00:20.322
vars: 10155, evals: 34071

|rho|=10155
|stable|=4654
|infl|=10135
|wpoint|=35
|sides|=943
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8746
|called|=101
Found 441 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=48912.37MB, max=151.80MB, minor=48901.77MB, major=784.75MB, promoted=774.15MB
    minor collections=23337  major collections=36 compactions=0


runtime: 00:00:30.354
vars: 20110, evals: 61810

|rho|=20110
|stable|=12483
|infl|=20091
|wpoint|=105
|sides|=1961
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17187
|called|=41
Found 932 contexts for 60 functions. Top 5 functions:
159	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
80	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
63	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=69319.38MB, max=265.50MB, minor=69307.35MB, major=1087.81MB, promoted=1075.78MB
    minor collections=33070  major collections=41 compactions=0


runtime: 00:00:40.402
vars: 26043, evals: 87645

|rho|=26043
|stable|=21734
|infl|=25984
|wpoint|=136
|sides|=2393
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22291
|called|=110
Found 1140 contexts for 64 functions. Top 5 functions:
188	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
98	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
77	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
66	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
64	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=94101.50MB, max=351.13MB, minor=94088.85MB, major=1383.78MB, promoted=1371.13MB
    minor collections=44889  major collections=44 compactions=0


runtime: 00:00:50.450
vars: 33643, evals: 118505

|rho|=33643
|stable|=28314
|infl|=33578
|wpoint|=187
|sides|=2772
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29163
|called|=163
Found 1453 contexts for 68 functions. Top 5 functions:
235	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
128	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
97	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
92	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=121799.19MB, max=351.13MB, minor=121785.11MB, major=1621.27MB, promoted=1607.20MB
    minor collections=58097  major collections=46 compactions=0


runtime: 00:01:00.465
vars: 39074, evals: 145735

|rho|=39074
|stable|=33748
|infl|=39021
|wpoint|=245
|sides|=3013
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34116
|called|=106
Found 1684 contexts for 68 functions. Top 5 functions:
267	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
150	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
116	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
109	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=148902.05MB, max=403.80MB, minor=148886.58MB, major=1852.28MB, promoted=1836.81MB
    minor collections=71021  major collections=48 compactions=0


runtime: 00:01:10.505
vars: 39339, evals: 170306

|rho|=39339
|stable|=28809
|infl|=39307
|wpoint|=247
|sides|=3035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34336
|called|=89
Found 1698 contexts for 68 functions. Top 5 functions:
271	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=174464.43MB, max=464.37MB, minor=174448.72MB, major=2102.99MB, promoted=2087.28MB
    minor collections=83211  major collections=50 compactions=0


runtime: 00:01:20.525
vars: 44757, evals: 198812

|rho|=44757
|stable|=39734
|infl|=44704
|wpoint|=288
|sides|=3279
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39275
|called|=103
Found 1934 contexts for 68 functions. Top 5 functions:
309	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
176	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
136	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 ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
127	contexts for L:entry state of print_path (1522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=201181.14MB, max=464.37MB, minor=201164.99MB, major=2322.32MB, promoted=2306.17MB
    minor collections=95951  major collections=51 compactions=0


runtime: 00:01:30.557
vars: 52169, evals: 226750

|rho|=52169
|stable|=47087
|infl|=52116
|wpoint|=336
|sides|=3584
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46077
|called|=99
Found 2239 contexts for 68 functions. Top 5 functions:
359	contexts for L:entry state of vplog (1174) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
209	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
164	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 ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
152	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=226824.58MB, max=464.37MB, minor=226808.05MB, major=2538.36MB, promoted=2521.83MB
    minor collections=108180  major collections=53 compactions=0


runtime: 00:01:40.589
vars: 55312, evals: 251940

|rho|=55312
|stable|=42768
|infl|=55289
|wpoint|=376
|sides|=3720
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48945
|called|=133
Found 2374 contexts for 68 functions. Top 5 functions:
378	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
222	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
175	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
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
162	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=252571.28MB, max=534.03MB, minor=252554.47MB, major=2747.72MB, promoted=2730.91MB
    minor collections=120458  major collections=54 compactions=0


runtime: 00:01:50.620
vars: 59569, evals: 277942

|rho|=59569
|stable|=48332
|infl|=59501
|wpoint|=406
|sides|=3940
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52785
|called|=79
Found 2577 contexts for 68 functions. Top 5 functions:
414	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
243	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
188	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
180	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
174	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=277014.51MB, max=534.03MB, minor=276997.23MB, major=2947.85MB, promoted=2930.57MB
    minor collections=132114  major collections=56 compactions=0


runtime: 00:02:00.652
vars: 65931, evals: 304052

|rho|=65931
|stable|=53670
|infl|=65878
|wpoint|=456
|sides|=4202
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58626
|called|=93
Found 2835 contexts for 68 functions. Top 5 functions:
454	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
268	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
216	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
199	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
193	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=303089.79MB, max=534.03MB, minor=303070.00MB, major=3163.30MB, promoted=3143.52MB
    minor collections=144548  major collections=57 compactions=0


runtime: 00:02:10.672
vars: 71217, evals: 327174

|rho|=71217
|stable|=58987
|infl|=71176
|wpoint|=498
|sides|=4422
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63471
|called|=78
Found 3055 contexts for 68 functions. Top 5 functions:
485	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
290	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
234	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
215	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=327828.46MB, max=614.13MB, minor=327808.22MB, major=3365.29MB, promoted=3345.06MB
    minor collections=156345  major collections=58 compactions=0


runtime: 00:02:20.688
vars: 71606, evals: 350658

|rho|=71606
|stable|=49053
|infl|=71583
|wpoint|=512
|sides|=4441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63820
|called|=68
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=351316.17MB, max=614.13MB, minor=351295.52MB, major=3547.93MB, promoted=3527.29MB
    minor collections=167545  major collections=59 compactions=0


runtime: 00:02:30.708
vars: 72064, evals: 376360

|rho|=72064
|stable|=54380
|infl|=72041
|wpoint|=517
|sides|=4463
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64236
|called|=79
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=372975.57MB, max=614.13MB, minor=372953.34MB, major=3716.20MB, promoted=3693.96MB
    minor collections=177873  major collections=60 compactions=0


runtime: 00:02:40.739
vars: 73864, evals: 404756

|rho|=73864
|stable|=15142
|infl|=73829
|wpoint|=523
|sides|=4602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65791
|called|=70
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=396036.50MB, max=614.13MB, minor=396012.00MB, major=3890.63MB, promoted=3866.13MB
    minor collections=188869  major collections=61 compactions=0


runtime: 00:02:50.771
vars: 81485, evals: 426125

|rho|=81485
|stable|=22556
|infl|=81432
|wpoint|=606
|sides|=5234
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72257
|called|=74
Found 3575 contexts for 80 functions. Top 5 functions:
651	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
419	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=420886.34MB, max=706.25MB, minor=420858.92MB, major=4097.84MB, promoted=4070.42MB
    minor collections=200718  major collections=62 compactions=0


runtime: 00:03:00.787
vars: 87986, evals: 446115

|rho|=87986
|stable|=28631
|infl|=87949
|wpoint|=695
|sides|=5619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78006
|called|=69
Found 3938 contexts for 80 functions. Top 5 functions:
771	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
522	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=445653.83MB, max=706.25MB, minor=445625.85MB, major=4289.82MB, promoted=4261.84MB
    minor collections=212528  major collections=63 compactions=0


runtime: 00:03:10.826
vars: 93246, evals: 467131

|rho|=93246
|stable|=34029
|infl|=93192
|wpoint|=734
|sides|=5863
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82793
|called|=75
Found 4166 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
254	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 ag_realloc (992) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
233	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=471332.08MB, max=706.25MB, minor=471303.30MB, major=4506.28MB, promoted=4477.51MB
    minor collections=224773  major collections=64 compactions=0


runtime: 00:03:20.854
vars: 98050, evals: 487611

|rho|=98050
|stable|=38023
|infl|=97996
|wpoint|=772
|sides|=6053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87221
|called|=141
Found 4352 contexts for 80 functions. Top 5 functions:
840	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
271	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
248	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=496859.20MB, max=812.19MB, minor=496830.19MB, major=4715.53MB, promoted=4686.53MB
    minor collections=236946  major collections=64 compactions=0


runtime: 00:03:30.894
vars: 100953, evals: 505539

|rho|=100953
|stable|=40840
|infl|=100915
|wpoint|=805
|sides|=6193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89842
|called|=65
Found 4492 contexts for 80 functions. Top 5 functions:
859	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
579	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
284	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
260	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
252	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=521766.78MB, max=812.19MB, minor=521737.50MB, major=4917.66MB, promoted=4888.38MB
    minor collections=248823  major collections=65 compactions=0


runtime: 00:03:40.946
vars: 105793, evals: 525076

|rho|=105793
|stable|=22599
|infl|=105753
|wpoint|=833
|sides|=6411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94252
|called|=51
Found 4690 contexts for 80 functions. Top 5 functions:
898	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
601	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=546053.88MB, max=934.02MB, minor=546023.47MB, major=5124.10MB, promoted=5093.68MB
    minor collections=260404  major collections=66 compactions=0


runtime: 00:03:50.961
vars: 113814, evals: 544371

|rho|=113814
|stable|=30220
|infl|=113763
|wpoint|=926
|sides|=6877
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101343
|called|=82
Found 5156 contexts for 80 functions. Top 5 functions:
1057	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
740	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=570697.30MB, max=934.02MB, minor=570665.85MB, major=5321.54MB, promoted=5290.09MB
    minor collections=272156  major collections=67 compactions=0


runtime: 00:04:01.005
vars: 118808, evals: 561984

|rho|=118808
|stable|=35145
|infl|=118766
|wpoint|=1002
|sides|=7159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105773
|called|=84
Found 5438 contexts for 80 functions. Top 5 functions:
1148	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
818	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
325	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=594939.05MB, max=934.02MB, minor=594906.82MB, major=5499.49MB, promoted=5467.26MB
    minor collections=283715  major collections=67 compactions=0


runtime: 00:04:11.040
vars: 124049, evals: 581019

|rho|=124049
|stable|=40523
|infl|=123990
|wpoint|=1040
|sides|=7387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110560
|called|=91
Found 5666 contexts for 80 functions. Top 5 functions:
1183	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
841	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
313	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
286	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=619706.03MB, max=934.02MB, minor=619672.86MB, major=5703.50MB, promoted=5670.33MB
    minor collections=295525  major collections=68 compactions=0


runtime: 00:04:21.072
vars: 128366, evals: 600400

|rho|=128366
|stable|=44990
|infl|=128308
|wpoint|=1075
|sides|=7556
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114538
|called|=69
Found 5835 contexts for 80 functions. Top 5 functions:
1216	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
863	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
325	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
297	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=645914.27MB, max=1074.12MB, minor=645880.85MB, major=5911.56MB, promoted=5878.13MB
    minor collections=308023  major collections=69 compactions=0


runtime: 00:04:31.136
vars: 131620, evals: 617649

|rho|=131620
|stable|=48021
|infl|=131561
|wpoint|=1108
|sides|=7705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117495
|called|=86
Found 5984 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=670850.48MB, max=1074.12MB, minor=670812.55MB, major=6116.70MB, promoted=6078.78MB
    minor collections=319911  major collections=69 compactions=0


runtime: 00:04:41.152
vars: 135628, evals: 635830

|rho|=135628
|stable|=51860
|infl|=135587
|wpoint|=1137
|sides|=7874
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121163
|called|=84
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=695230.88MB, max=1074.12MB, minor=695192.34MB, major=6316.19MB, promoted=6277.64MB
    minor collections=331537  major collections=70 compactions=0


runtime: 00:04:51.179
vars: 138478, evals: 658120

|rho|=138478
|stable|=52127
|infl|=138377
|wpoint|=1150
|sides|=7886
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124001
|called|=236
Found 6165 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=717843.99MB, max=1074.12MB, minor=717804.37MB, major=6489.85MB, promoted=6450.23MB
    minor collections=342320  major collections=70 compactions=0


runtime: 00:05:01.195
vars: 141095, evals: 679109

|rho|=141095
|stable|=52203
|infl|=140917
|wpoint|=1161
|sides|=7898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126606
|called|=403
Found 6177 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=739402.15MB, max=1074.12MB, minor=739361.31MB, major=6655.96MB, promoted=6615.11MB
    minor collections=352600  major collections=71 compactions=0


runtime: 00:05:11.279
vars: 143748, evals: 700100

|rho|=143748
|stable|=52570
|infl|=143532
|wpoint|=1172
|sides|=7909
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129248
|called|=528
Found 6188 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=760931.55MB, max=1235.24MB, minor=760889.63MB, major=6820.45MB, promoted=6778.53MB
    minor collections=362865  major collections=71 compactions=0


runtime: 00:05:21.290
vars: 146379, evals: 720868

|rho|=146379
|stable|=52575
|infl|=146104
|wpoint|=1185
|sides|=7921
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131867
|called|=726
Found 6200 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=782288.19MB, max=1235.24MB, minor=782243.02MB, major=6987.45MB, promoted=6942.29MB
    minor collections=373048  major collections=72 compactions=0


runtime: 00:05:31.338
vars: 148918, evals: 740700

|rho|=148918
|stable|=53027
|infl|=148592
|wpoint|=1195
|sides|=7931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134396
|called|=820
Found 6210 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=802824.46MB, max=1235.24MB, minor=802778.07MB, major=7145.25MB, promoted=7098.86MB
    minor collections=382840  major collections=72 compactions=0


runtime: 00:05:41.350
vars: 151483, evals: 761294

|rho|=151483
|stable|=53015
|infl|=151098
|wpoint|=1207
|sides|=7943
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136949
|called|=998
Found 6222 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=824060.32MB, max=1235.24MB, minor=824012.95MB, major=7308.80MB, promoted=7261.42MB
    minor collections=392967  major collections=73 compactions=0


runtime: 00:05:51.377
vars: 153956, evals: 780874

|rho|=153956
|stable|=53440
|infl|=153520
|wpoint|=1216
|sides|=7953
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139412
|called|=1111
Found 6232 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=844540.38MB, max=1235.24MB, minor=844491.70MB, major=7465.35MB, promoted=7416.66MB
    minor collections=402732  major collections=73 compactions=0


runtime: 00:06:01.441
vars: 156417, evals: 800675

|rho|=156417
|stable|=53571
|infl|=155913
|wpoint|=1228
|sides|=7964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141862
|called|=1254
Found 6243 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=865170.98MB, max=1420.53MB, minor=865121.28MB, major=7622.66MB, promoted=7572.97MB
    minor collections=412569  major collections=73 compactions=0


runtime: 00:06:11.449
vars: 158959, evals: 820500

|rho|=158959
|stable|=53762
|infl|=158396
|wpoint|=1238
|sides|=7975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144393
|called|=1405
Found 6254 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=885936.29MB, max=1420.53MB, minor=885885.48MB, major=7783.02MB, promoted=7732.21MB
    minor collections=422471  major collections=74 compactions=0


runtime: 00:06:21.488
vars: 161289, evals: 838923

|rho|=161289
|stable|=53915
|infl|=160680
|wpoint|=1249
|sides|=7985
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146713
|called|=1534
Found 6264 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=905353.98MB, max=1420.53MB, minor=905301.86MB, major=7931.07MB, promoted=7878.95MB
    minor collections=431730  major collections=74 compactions=0


runtime: 00:06:31.507
vars: 163687, evals: 857807

|rho|=163687
|stable|=54231
|infl|=163039
|wpoint|=1258
|sides|=7995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149101
|called|=1646
Found 6274 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=925156.59MB, max=1420.53MB, minor=925103.66MB, major=8082.30MB, promoted=8029.37MB
    minor collections=441172  major collections=74 compactions=0


runtime: 00:06:41.519
vars: 166099, evals: 876829

|rho|=166099
|stable|=54176
|infl|=165399
|wpoint|=1269
|sides|=8006
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151502
|called|=1811
Found 6285 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=945172.67MB, max=1420.53MB, minor=945118.64MB, major=8235.14MB, promoted=8181.11MB
    minor collections=450717  major collections=75 compactions=0


runtime: 00:06:51.594
vars: 168249, evals: 894040

|rho|=168249
|stable|=54552
|infl|=167490
|wpoint|=1279
|sides|=8015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153643
|called|=1923
Found 6294 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=963562.09MB, max=1420.53MB, minor=963506.77MB, major=8374.58MB, promoted=8319.26MB
    minor collections=459485  major collections=75 compactions=0


runtime: 00:07:01.610
vars: 170548, evals: 912158

|rho|=170548
|stable|=54728
|infl|=169735
|wpoint|=1288
|sides|=8025
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155932
|called|=2054
Found 6304 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=982684.37MB, max=1420.53MB, minor=982628.22MB, major=8521.60MB, promoted=8465.45MB
    minor collections=468603  major collections=75 compactions=0


runtime: 00:07:11.629
vars: 172827, evals: 929967

|rho|=172827
|stable|=54718
|infl|=171982
|wpoint|=1299
|sides|=8035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158201
|called|=2196
Found 6314 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=1001573.29MB, max=1420.53MB, minor=1001516.14MB, major=8664.34MB, promoted=8607.19MB
    minor collections=477610  major collections=76 compactions=0


runtime: 00:07:21.665
vars: 174915, evals: 946869

|rho|=174915
|stable|=55106
|infl|=174025
|wpoint|=1308
|sides|=8044
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160280
|called|=2295
Found 6323 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=1019843.13MB, max=1420.53MB, minor=1019784.74MB, major=8802.96MB, promoted=8744.57MB
    minor collections=486322  major collections=76 compactions=0


runtime: 00:07:31.705
vars: 177065, evals: 964100

|rho|=177065
|stable|=55361
|infl|=176116
|wpoint|=1317
|sides|=8053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162421
|called|=2413
Found 6332 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=1038102.10MB, max=1633.61MB, minor=1038042.89MB, major=8941.76MB, promoted=8882.54MB
    minor collections=495028  major collections=76 compactions=0


runtime: 00:07:41.720
vars: 179323, evals: 981454

|rho|=179323
|stable|=55289
|infl|=178338
|wpoint|=1326
|sides|=8063
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164669
|called|=2530
Found 6342 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=1056697.43MB, max=1633.61MB, minor=1056637.30MB, major=9083.92MB, promoted=9023.79MB
    minor collections=503895  major collections=77 compactions=0


runtime: 00:07:51.736
vars: 181411, evals: 997933

|rho|=181411
|stable|=55458
|infl|=180381
|wpoint|=1336
|sides|=8072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166748
|called|=2669
Found 6351 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=1074521.81MB, max=1633.61MB, minor=1074460.53MB, major=9218.54MB, promoted=9157.27MB
    minor collections=512394  major collections=77 compactions=0


runtime: 00:08:01.796
vars: 183486, evals: 1014291

|rho|=183486
|stable|=55994
|infl|=182415
|wpoint|=1344
|sides|=8080
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168815
|called|=2777
Found 6359 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=1092144.61MB, max=1633.61MB, minor=1092082.21MB, major=9352.17MB, promoted=9289.77MB
    minor collections=520797  major collections=77 compactions=0


runtime: 00:08:11.811
vars: 185574, evals: 1030762

|rho|=185574
|stable|=56176
|infl|=184458
|wpoint|=1353
|sides|=8089
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170894
|called|=2875
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=1109853.70MB, max=1633.61MB, minor=1109790.57MB, major=9487.69MB, promoted=9424.56MB
    minor collections=529241  major collections=77 compactions=0


runtime: 00:08:21.823
vars: 187662, evals: 1047250

|rho|=187662
|stable|=56348
|infl|=186501
|wpoint|=1362
|sides|=8098
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172973
|called|=2999
Found 6377 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=1127756.80MB, max=1633.61MB, minor=1127692.69MB, major=9624.71MB, promoted=9560.60MB
    minor collections=537778  major collections=78 compactions=0


runtime: 00:08:31.839
vars: 189593, evals: 1062967

|rho|=189593
|stable|=56407
|infl|=188374
|wpoint|=1371
|sides|=8107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174895
|called|=3120
Found 6386 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=1144994.64MB, max=1633.61MB, minor=1144929.32MB, major=9755.18MB, promoted=9689.87MB
    minor collections=545998  major collections=78 compactions=0


runtime: 00:08:41.894
vars: 191660, evals: 1079252

|rho|=191660
|stable|=56566
|infl|=190392
|wpoint|=1379
|sides|=8116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176953
|called|=3236
Found 6395 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=1162668.85MB, max=1633.61MB, minor=1162602.53MB, major=9889.21MB, promoted=9822.88MB
    minor collections=554425  major collections=78 compactions=0


runtime: 00:08:51.906
vars: 193707, evals: 1095313

|rho|=193707
|stable|=56556
|infl|=192412
|wpoint|=1388
|sides|=8125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178991
|called|=3350
Found 6404 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=1180035.48MB, max=1633.61MB, minor=1179968.45MB, major=10020.39MB, promoted=9953.35MB
    minor collections=562706  major collections=78 compactions=0


runtime: 00:09:01.922
vars: 195625, evals: 1110979

|rho|=195625
|stable|=56960
|infl|=194276
|wpoint|=1397
|sides|=8133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180901
|called|=3458
Found 6412 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=1197205.18MB, max=1633.61MB, minor=1197137.16MB, major=10149.47MB, promoted=10081.45MB
    minor collections=570893  major collections=79 compactions=0


runtime: 00:09:11.933
vars: 197651, evals: 1126453

|rho|=197651
|stable|=56858
|infl|=196271
|wpoint|=1406
|sides|=8142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182918
|called|=3580
Found 6421 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=1214184.03MB, max=1633.61MB, minor=1214114.86MB, major=10277.66MB, promoted=10208.49MB
    minor collections=578989  major collections=79 compactions=0


runtime: 00:09:22.017
vars: 199507, evals: 1141346

|rho|=199507
|stable|=57155
|infl|=198087
|wpoint|=1414
|sides|=8150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184766
|called|=3700
Found 6429 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=1230613.94MB, max=1878.66MB, minor=1230543.77MB, major=10402.05MB, promoted=10331.88MB
    minor collections=586823  major collections=79 compactions=0


runtime: 00:09:32.033
vars: 201425, evals: 1156714

|rho|=201425
|stable|=57427
|infl|=199951
|wpoint|=1422
|sides|=8158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186676
|called|=3783
Found 6437 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=1247438.22MB, max=1878.66MB, minor=1247367.34MB, major=10529.43MB, promoted=10458.55MB
    minor collections=594846  major collections=79 compactions=0


runtime: 00:09:42.044
vars: 203359, evals: 1171708

|rho|=203359
|stable|=57596
|infl|=201856
|wpoint|=1429
|sides|=8166
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188602
|called|=3879
Found 6445 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=1264044.08MB, max=1878.66MB, minor=1263972.35MB, major=10654.70MB, promoted=10582.97MB
    minor collections=602764  major collections=80 compactions=0


runtime: 00:09:52.056
vars: 205228, evals: 1186643

|rho|=205228
|stable|=57873
|infl|=203687
|wpoint|=1437
|sides|=8174
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190463
|called|=3971
Found 6453 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=1280598.50MB, max=1878.66MB, minor=1280525.70MB, major=10779.19MB, promoted=10706.39MB
    minor collections=610658  major collections=80 compactions=0


runtime: 00:10:02.124
vars: 207033, evals: 1200985

|rho|=207033
|stable|=57982
|infl|=205444
|wpoint|=1445
|sides|=8182
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192260
|called|=4080
Found 6461 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=1296702.26MB, max=1878.66MB, minor=1296628.17MB, major=10900.33MB, promoted=10826.24MB
    minor collections=618336  major collections=80 compactions=0


runtime: 00:10:12.191
vars: 208849, evals: 1215389

|rho|=208849
|stable|=58091
|infl|=207215
|wpoint|=1454
|sides|=8190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194068
|called|=4191
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=1312519.62MB, max=1878.66MB, minor=1312444.86MB, major=11021.05MB, promoted=10946.29MB
    minor collections=625878  major collections=80 compactions=0


runtime: 00:10:22.203
vars: 210666, evals: 1229655

|rho|=210666
|stable|=58223
|infl|=208991
|wpoint|=1461
|sides|=8198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195877
|called|=4294
Found 6477 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
330	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

Memory statistics: total=1328297.42MB, max=1878.66MB, minor=1328221.81MB, major=11141.72MB, promoted=11066.10MB
    minor collections=633401  major collections=80 compactions=0


runtime: 00:10:32.219
vars: 212499, evals: 1243923

|rho|=212499
|stable|=58138
|infl|=210799
|wpoint|=1470
|sides|=8206
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197702
|called|=4417
Found 6485 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
338	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=1344067.83MB, max=1878.66MB, minor=1343991.37MB, major=11259.86MB, promoted=11183.40MB
    minor collections=640922  major collections=81 compactions=0


runtime: 00:10:42.234
vars: 214175, evals: 1257485

|rho|=214175
|stable|=58539
|infl|=212422
|wpoint|=1477
|sides|=8213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199371
|called|=4497
Found 6492 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
345	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=1359353.40MB, max=1878.66MB, minor=1359275.87MB, major=11375.74MB, promoted=11298.21MB
    minor collections=648210  major collections=81 compactions=0


runtime: 00:10:52.302
vars: 215840, evals: 1270744

|rho|=215840
|stable|=58733
|infl|=214058
|wpoint|=1483
|sides|=8220
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201029
|called|=4577
Found 6499 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
352	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=1374342.57MB, max=1878.66MB, minor=1374263.87MB, major=11488.57MB, promoted=11409.87MB
    minor collections=655357  major collections=81 compactions=0


runtime: 00:11:02.354
vars: 217603, evals: 1284622

|rho|=217603
|stable|=58715
|infl|=215793
|wpoint|=1492
|sides|=8228
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202784
|called|=4718
Found 6507 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
360	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=1389716.14MB, max=1878.66MB, minor=1389636.84MB, major=11605.40MB, promoted=11526.10MB
    minor collections=662687  major collections=81 compactions=0


runtime: 00:11:12.369
vars: 219352, evals: 1298316

|rho|=219352
|stable|=59065
|infl|=217498
|wpoint|=1498
|sides|=8235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204526
|called|=4769
Found 6514 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
367	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=1405044.27MB, max=1878.66MB, minor=1404964.28MB, major=11720.93MB, promoted=11640.94MB
    minor collections=669996  major collections=81 compactions=0


runtime: 00:11:22.385
vars: 221083, evals: 1311966

|rho|=221083
|stable|=58921
|infl|=219198
|wpoint|=1506
|sides|=8243
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206249
|called|=4868
Found 6522 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
375	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=1420315.87MB, max=1878.66MB, minor=1420235.07MB, major=11836.34MB, promoted=11755.53MB
    minor collections=677279  major collections=82 compactions=0


runtime: 00:11:32.401
vars: 222707, evals: 1324912

|rho|=222707
|stable|=59155
|infl|=220787
|wpoint|=1514
|sides|=8250
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207866
|called|=4995
Found 6529 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
382	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=1434999.29MB, max=1878.66MB, minor=1434917.52MB, major=11946.73MB, promoted=11864.97MB
    minor collections=684280  major collections=82 compactions=0


runtime: 00:11:42.428
vars: 224331, evals: 1337675

|rho|=224331
|stable|=59206
|infl|=222376
|wpoint|=1521
|sides|=8257
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209483
|called|=5055
Found 6536 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
389	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=1449560.28MB, max=1878.66MB, minor=1449477.39MB, major=12054.94MB, promoted=11972.05MB
    minor collections=691223  major collections=82 compactions=0


runtime: 00:11:52.508
vars: 225955, evals: 1350517

|rho|=225955
|stable|=59336
|infl|=223965
|wpoint|=1527
|sides|=8264
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211100
|called|=5142
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=1464053.67MB, max=2160.46MB, minor=1463969.87MB, major=12163.44MB, promoted=12079.65MB
    minor collections=698134  major collections=82 compactions=0


runtime: 00:12:02.524
vars: 227609, evals: 1363697

|rho|=227609
|stable|=59690
|infl|=225565
|wpoint|=1534
|sides|=8271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212747
|called|=5247
Found 6550 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
403	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=1478906.95MB, max=2160.46MB, minor=1478822.54MB, major=12275.99MB, promoted=12191.58MB
    minor collections=705216  major collections=82 compactions=0


runtime: 00:12:12.539
vars: 229265, evals: 1377037

|rho|=229265
|stable|=59830
|infl|=227191
|wpoint|=1542
|sides|=8278
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214396
|called|=5342
Found 6557 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
410	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=1493997.14MB, max=2160.46MB, minor=1493912.04MB, major=12388.72MB, promoted=12303.62MB
    minor collections=712411  major collections=82 compactions=0


runtime: 00:12:22.555
vars: 230879, evals: 1389615

|rho|=230879
|stable|=59917
|infl|=228766
|wpoint|=1548
|sides|=8285
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216003
|called|=5436
Found 6564 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
417	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=1508324.13MB, max=2160.46MB, minor=1508238.18MB, major=12496.41MB, promoted=12410.45MB
    minor collections=719243  major collections=83 compactions=0


runtime: 00:12:32.571
vars: 232451, evals: 1402126

|rho|=232451
|stable|=59995
|infl|=230321
|wpoint|=1555
|sides|=8292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217568
|called|=5506
Found 6571 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
424	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=1522653.49MB, max=2160.46MB, minor=1522566.57MB, major=12604.66MB, promoted=12517.74MB
    minor collections=726076  major collections=83 compactions=0


runtime: 00:12:42.598
vars: 234075, evals: 1414671

|rho|=234075
|stable|=59998
|infl|=231910
|wpoint|=1563
|sides|=8299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219185
|called|=5613
Found 6578 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
431	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=1537054.38MB, max=2160.46MB, minor=1536966.29MB, major=12711.17MB, promoted=12623.08MB
    minor collections=732942  major collections=83 compactions=0


runtime: 00:12:52.662
vars: 235607, evals: 1426869

|rho|=235607
|stable|=60480
|infl|=233403
|wpoint|=1569
|sides|=8305
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220711
|called|=5684
Found 6584 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
437	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=1551129.88MB, max=2160.46MB, minor=1551040.94MB, major=12815.80MB, promoted=12726.86MB
    minor collections=739654  major collections=83 compactions=0


runtime: 00:13:02.674
vars: 237153, evals: 1439380

|rho|=237153
|stable|=60530
|infl|=234909
|wpoint|=1576
|sides|=8312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222250
|called|=5789
Found 6591 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
444	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=1565233.50MB, max=2160.46MB, minor=1565144.03MB, major=12921.28MB, promoted=12831.80MB
    minor collections=746379  major collections=83 compactions=0


runtime: 00:13:12.689
vars: 238745, evals: 1451831

|rho|=238745
|stable|=60580
|infl|=236462
|wpoint|=1582
|sides|=8319
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223835
|called|=5875
Found 6598 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
451	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=1579482.42MB, max=2160.46MB, minor=1579392.27MB, major=13028.17MB, promoted=12938.01MB
    minor collections=753173  major collections=83 compactions=0


runtime: 00:13:22.704
vars: 240263, evals: 1463882

|rho|=240263
|stable|=60896
|infl|=237965
|wpoint|=1588
|sides|=8325
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225347
|called|=5933
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=1593323.80MB, max=2160.46MB, minor=1593232.91MB, major=13129.96MB, promoted=13039.06MB
    minor collections=759773  major collections=84 compactions=0


runtime: 00:13:32.720
vars: 241731, evals: 1475532

|rho|=241731
|stable|=60795
|infl|=239401
|wpoint|=1596
|sides|=8332
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226808
|called|=6058
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=1606751.60MB, max=2160.46MB, minor=1606659.83MB, major=13230.23MB, promoted=13138.47MB
    minor collections=766176  major collections=84 compactions=0


runtime: 00:13:42.740
vars: 243175, evals: 1486915

|rho|=243175
|stable|=60969
|infl|=240797
|wpoint|=1601
|sides|=8338
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228246
|called|=6123
Found 6617 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
470	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=1619990.22MB, max=2160.46MB, minor=1619897.37MB, major=13328.28MB, promoted=13235.42MB
    minor collections=772488  major collections=84 compactions=0


runtime: 00:13:52.795
vars: 244655, evals: 1498625

|rho|=244655
|stable|=61260
|infl|=242264
|wpoint|=1607
|sides|=8344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229720
|called|=6182
Found 6623 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
476	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=1633689.86MB, max=2160.46MB, minor=1633595.87MB, major=13429.46MB, promoted=13335.46MB
    minor collections=779020  major collections=84 compactions=0


runtime: 00:14:02.815
vars: 246201, evals: 1511003

|rho|=246201
|stable|=61305
|infl|=243762
|wpoint|=1615
|sides|=8351
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231259
|called|=6287
Found 6630 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
483	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=1647798.26MB, max=2160.46MB, minor=1647703.72MB, major=13535.46MB, promoted=13440.93MB
    minor collections=785748  major collections=84 compactions=0


runtime: 00:14:12.826
vars: 247763, evals: 1523313

|rho|=247763
|stable|=61326
|infl|=245303
|wpoint|=1621
|sides|=8358
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232814
|called|=6369
Found 6637 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
490	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=1661935.57MB, max=2160.46MB, minor=1661840.52MB, major=13641.14MB, promoted=13546.10MB
    minor collections=792489  major collections=84 compactions=0


runtime: 00:14:22.838
vars: 249295, evals: 1535241

|rho|=249295
|stable|=61561
|infl|=246802
|wpoint|=1627
|sides|=8364
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=234340
|called|=6445
Found 6643 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
496	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=1675845.59MB, max=2160.46MB, minor=1675749.83MB, major=13743.19MB, promoted=13647.43MB
    minor collections=799121  major collections=84 compactions=0


runtime: 00:14:32.849
vars: 250779, evals: 1547170

|rho|=250779
|stable|=61575
|infl|=248254
|wpoint|=1635
|sides|=8371
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235817
|called|=6558
Found 6650 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
503	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=1689677.76MB, max=2160.46MB, minor=1689581.21MB, major=13846.31MB, promoted=13749.75MB
    minor collections=805717  major collections=85 compactions=0


runtime: 00:14:42.865
vars: 252233, evals: 1558721

|rho|=252233
|stable|=61831
|infl|=249664
|wpoint|=1641
|sides|=8377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237265
|called|=6625
Found 6656 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
509	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=1703208.31MB, max=2160.46MB, minor=1703110.74MB, major=13945.55MB, promoted=13847.98MB
    minor collections=812169  major collections=85 compactions=0


runtime: 00:14:52.876
vars: 253676, evals: 1570032

|rho|=253676
|stable|=62013
|infl|=251082
|wpoint|=1646
|sides|=8383
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238702
|called|=6693
Found 6662 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
515	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=1716544.08MB, max=2160.46MB, minor=1716445.47MB, major=14044.15MB, promoted=13945.53MB
    minor collections=818528  major collections=85 compactions=0

