./goblint --conf conf/svcomp24.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.335
vars: 8090, evals: 17993

|rho|=8090
|stable|=4921
|infl|=8016
|wpoint|=28
|sides|=672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=7022
|called|=97
Found 373 contexts for 30 functions. Top 5 functions:
96	contexts for L:entry state of vplog (1172) 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 (964) 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 (1355) 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 (990) 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 (1003) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=23727.66MB, max=114.78MB, minor=23717.43MB, major=425.12MB, promoted=414.89MB
    minor collections=11323  major collections=27 compactions=0


runtime: 00:00:20.362
vars: 10215, evals: 35922

|rho|=10215
|stable|=6029
|infl|=10195
|wpoint|=34
|sides|=943
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8804
|called|=91
Found 442 contexts for 39 functions. Top 5 functions:
109	contexts for L:entry state of vplog (1172) 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 (1355) 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 (964) 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 (990) 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 (1003) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=46561.48MB, max=132.00MB, minor=46550.74MB, major=789.86MB, promoted=779.12MB
    minor collections=22216  major collections=36 compactions=0


runtime: 00:00:30.453
vars: 21271, evals: 65225

|rho|=21271
|stable|=13506
|infl|=21238
|wpoint|=110
|sides|=2000
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18269
|called|=43
Found 972 contexts for 60 functions. Top 5 functions:
164	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
83	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
67	contexts for L:entry state of ag_realloc (990) 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 (1355) 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 (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1

Memory statistics: total=67959.04MB, max=265.50MB, minor=67946.73MB, major=1111.49MB, promoted=1099.18MB
    minor collections=32421  major collections=41 compactions=0


runtime: 00:00:40.501
vars: 27087, evals: 92513

|rho|=27087
|stable|=22703
|infl|=27016
|wpoint|=143
|sides|=2441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23236
|called|=113
Found 1188 contexts for 64 functions. Top 5 functions:
193	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
101	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
79	contexts for L:entry state of ag_realloc (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
69	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
67	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=94063.37MB, max=351.13MB, minor=94050.36MB, major=1405.25MB, promoted=1392.25MB
    minor collections=44870  major collections=44 compactions=0


runtime: 00:00:50.540
vars: 34647, evals: 124972

|rho|=34647
|stable|=29384
|infl|=34576
|wpoint|=201
|sides|=2815
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30078
|called|=125
Found 1497 contexts for 68 functions. Top 5 functions:
242	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
132	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
98	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
97	contexts for L:entry state of ag_realloc (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
93	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=123149.14MB, max=351.13MB, minor=123134.68MB, major=1658.92MB, promoted=1644.45MB
    minor collections=58740  major collections=46 compactions=0


runtime: 00:01:00.567
vars: 39306, evals: 155975

|rho|=39306
|stable|=28545
|infl|=39272
|wpoint|=245
|sides|=3032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34310
|called|=65
Found 1696 contexts for 68 functions. Top 5 functions:
270	contexts for L:entry state of vplog (1172) 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 (964) 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 (990) 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 (1568) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=152037.18MB, max=403.80MB, minor=152021.31MB, major=1909.50MB, promoted=1893.64MB
    minor collections=72515  major collections=48 compactions=0


runtime: 00:01:10.586
vars: 44872, evals: 186840

|rho|=44872
|stable|=39773
|infl|=44835
|wpoint|=289
|sides|=3286
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39373
|called|=75
Found 1941 contexts for 68 functions. Top 5 functions:
311	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
177	contexts for L:entry state of log_debug (964) 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 (1568) 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 (990) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=181034.21MB, max=464.37MB, minor=181017.91MB, major=2152.25MB, promoted=2135.95MB
    minor collections=86343  major collections=50 compactions=0


runtime: 00:01:20.605
vars: 52254, evals: 217718

|rho|=52254
|stable|=47152
|infl|=52201
|wpoint|=346
|sides|=3591
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46147
|called|=100
Found 2246 contexts for 68 functions. Top 5 functions:
359	contexts for L:entry state of vplog (1172) 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 (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
165	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
153	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
153	contexts for L:entry state of ag_realloc (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=209555.38MB, max=464.37MB, minor=209538.70MB, major=2396.51MB, promoted=2379.83MB
    minor collections=99945  major collections=52 compactions=0


runtime: 00:01:30.640
vars: 56442, evals: 249136

|rho|=56442
|stable|=45419
|infl|=56370
|wpoint|=377
|sides|=3788
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49956
|called|=83
Found 2428 contexts for 68 functions. Top 5 functions:
394	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
230	contexts for L:entry state of log_debug (964) 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 (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
167	contexts for L:entry state of ag_realloc (990) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=237789.91MB, max=534.03MB, minor=237772.87MB, major=2636.03MB, promoted=2618.98MB
    minor collections=113408  major collections=53 compactions=0


runtime: 00:01:40.667
vars: 62575, evals: 277967

|rho|=62575
|stable|=50373
|infl|=62534
|wpoint|=430
|sides|=4048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55572
|called|=153
Found 2685 contexts for 68 functions. Top 5 functions:
423	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
249	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
206	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
190	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
184	contexts for L:entry state of ag_realloc (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=266507.49MB, max=534.03MB, minor=266490.12MB, major=2876.07MB, promoted=2858.71MB
    minor collections=127103  major collections=55 compactions=0


runtime: 00:01:50.683
vars: 68561, evals: 305472

|rho|=68561
|stable|=56329
|infl|=68524
|wpoint|=480
|sides|=4318
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61021
|called|=72
Found 2951 contexts for 68 functions. Top 5 functions:
471	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
280	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
226	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
208	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
202	contexts for L:entry state of ag_realloc (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=294777.06MB, max=614.13MB, minor=294757.20MB, major=3113.14MB, promoted=3093.28MB
    minor collections=140583  major collections=56 compactions=0


runtime: 00:02:00.706
vars: 71607, evals: 334898

|rho|=71607
|stable|=48355
|infl|=71584
|wpoint|=509
|sides|=4441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63820
|called|=54
Found 3074 contexts for 68 functions. Top 5 functions:
488	contexts for L:entry state of vplog (1172) 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 (964) 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 (1568) 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 (1520) 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 (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=323176.82MB, max=614.13MB, minor=323156.61MB, major=3348.83MB, promoted=3328.62MB
    minor collections=154126  major collections=58 compactions=0


runtime: 00:02:10.733
vars: 71929, evals: 365778

|rho|=71929
|stable|=61495
|infl|=71906
|wpoint|=511
|sides|=4453
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64120
|called|=105
Found 3086 contexts for 68 functions. Top 5 functions:
493	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
294	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1520) 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 (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=350071.23MB, max=614.13MB, minor=350050.62MB, major=3560.06MB, promoted=3539.45MB
    minor collections=166951  major collections=59 compactions=0


runtime: 00:02:20.744
vars: 77913, evals: 390519

|rho|=77913
|stable|=19863
|infl|=77863
|wpoint|=567
|sides|=5021
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69098
|called|=60
Found 3372 contexts for 80 functions. Top 5 functions:
587	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
370	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1520) 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 (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=376756.18MB, max=614.13MB, minor=376730.55MB, major=3780.16MB, promoted=3754.53MB
    minor collections=179674  major collections=60 compactions=0


runtime: 00:02:30.759
vars: 86633, evals: 414297

|rho|=86633
|stable|=28418
|infl|=86585
|wpoint|=684
|sides|=5558
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76771
|called|=75
Found 3877 contexts for 80 functions. Top 5 functions:
754	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
514	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1520) 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 (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=404218.41MB, max=706.25MB, minor=404192.02MB, major=4002.14MB, promoted=3975.75MB
    minor collections=192769  major collections=61 compactions=0


runtime: 00:02:40.782
vars: 92201, evals: 436885

|rho|=92201
|stable|=33862
|infl|=92147
|wpoint|=727
|sides|=5810
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81847
|called|=149
Found 4113 contexts for 80 functions. Top 5 functions:
793	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
541	contexts for L:entry state of log_debug (964) 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 (1568) 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 (990) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=431412.22MB, max=706.25MB, minor=431385.08MB, major=4231.67MB, promoted=4204.53MB
    minor collections=205737  major collections=62 compactions=0


runtime: 00:02:50.801
vars: 97279, evals: 459734

|rho|=97279
|stable|=38069
|infl|=97225
|wpoint|=770
|sides|=6024
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86501
|called|=90
Found 4323 contexts for 80 functions. Top 5 functions:
829	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
563	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
274	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
251	contexts for L:entry state of print_path (1520) 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 (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=459538.66MB, max=812.19MB, minor=459511.27MB, major=4465.36MB, promoted=4437.97MB
    minor collections=219149  major collections=63 compactions=0


runtime: 00:03:00.832
vars: 102512, evals: 481675

|rho|=102512
|stable|=43278
|infl|=102470
|wpoint|=812
|sides|=6239
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91303
|called|=72
Found 4538 contexts for 80 functions. Top 5 functions:
860	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
585	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
291	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
266	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
265	contexts for L:entry state of ag_realloc (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=486977.17MB, max=812.19MB, minor=486949.37MB, major=4704.94MB, promoted=4677.14MB
    minor collections=232234  major collections=64 compactions=0


runtime: 00:03:10.851
vars: 108715, evals: 503867

|rho|=108715
|stable|=25915
|infl|=108664
|wpoint|=871
|sides|=6588
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96815
|called|=72
Found 4867 contexts for 80 functions. Top 5 functions:
964	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
666	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1520) 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 (990) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1

Memory statistics: total=514669.18MB, max=812.19MB, minor=514640.08MB, major=4929.52MB, promoted=4900.43MB
    minor collections=245438  major collections=65 compactions=0


runtime: 00:03:20.891
vars: 115328, evals: 524618

|rho|=115328
|stable|=32578
|infl|=115280
|wpoint|=965
|sides|=6970
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102666
|called|=78
Found 5249 contexts for 80 functions. Top 5 functions:
1085	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
769	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
300	contexts for L:entry state of binary_search (1012) 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 (1568) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=541816.31MB, max=934.02MB, minor=541786.36MB, major=5133.67MB, promoted=5103.72MB
    minor collections=258383  major collections=65 compactions=0


runtime: 00:03:30.954
vars: 120982, evals: 545163

|rho|=120982
|stable|=38481
|infl|=120926
|wpoint|=1021
|sides|=7249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107762
|called|=73
Found 5528 contexts for 80 functions. Top 5 functions:
1159	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
829	contexts for L:entry state of log_debug (964) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
305	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
279	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=568294.39MB, max=934.02MB, minor=568263.52MB, major=5345.57MB, promoted=5314.70MB
    minor collections=271009  major collections=66 compactions=0


runtime: 00:03:40.973
vars: 125963, evals: 566758

|rho|=125963
|stable|=43455
|infl|=125895
|wpoint|=1059
|sides|=7447
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112347
|called|=88
Found 5726 contexts for 80 functions. Top 5 functions:
1192	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
850	contexts for L:entry state of log_debug (964) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
323	contexts for L:entry state of normalize_path (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
295	contexts for L:entry state of print_path (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=595694.22MB, max=934.02MB, minor=595663.04MB, major=5568.36MB, promoted=5537.19MB
    minor collections=284075  major collections=67 compactions=0


runtime: 00:03:51.024
vars: 130575, evals: 587793

|rho|=130575
|stable|=48077
|infl|=130516
|wpoint|=1100
|sides|=7652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116549
|called|=103
Found 5931 contexts for 80 functions. Top 5 functions:
1220	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
870	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=623683.28MB, max=1074.12MB, minor=623651.74MB, major=5800.55MB, promoted=5769.02MB
    minor collections=297422  major collections=68 compactions=0


runtime: 00:04:01.051
vars: 134946, evals: 608596

|rho|=134946
|stable|=51632
|infl|=134878
|wpoint|=1132
|sides|=7823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120578
|called|=116
Found 6102 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=649352.53MB, max=1074.12MB, minor=649316.20MB, major=6019.25MB, promoted=5982.92MB
    minor collections=309660  major collections=68 compactions=0


runtime: 00:04:11.066
vars: 138183, evals: 634149

|rho|=138183
|stable|=51869
|infl|=138045
|wpoint|=1145
|sides|=7837
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123801
|called|=301
Found 6116 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=674591.99MB, max=1074.12MB, minor=674554.37MB, major=6215.81MB, promoted=6178.19MB
    minor collections=321695  major collections=69 compactions=0


runtime: 00:04:21.089
vars: 141390, evals: 659294

|rho|=141390
|stable|=51931
|infl|=141200
|wpoint|=1160
|sides|=7851
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126994
|called|=476
Found 6130 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=699468.41MB, max=1235.24MB, minor=699429.59MB, major=6410.52MB, promoted=6371.71MB
    minor collections=333557  major collections=69 compactions=0


runtime: 00:04:31.100
vars: 144401, evals: 683050

|rho|=144401
|stable|=52568
|infl|=144143
|wpoint|=1172
|sides|=7864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129992
|called|=629
Found 6143 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=723302.65MB, max=1235.24MB, minor=723262.44MB, major=6596.87MB, promoted=6556.66MB
    minor collections=344922  major collections=70 compactions=0


runtime: 00:04:41.143
vars: 147330, evals: 706388

|rho|=147330
|stable|=52793
|infl|=147006
|wpoint|=1184
|sides|=7876
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132909
|called|=791
Found 6155 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=746694.16MB, max=1235.24MB, minor=746650.70MB, major=6782.32MB, promoted=6738.86MB
    minor collections=356075  major collections=70 compactions=0


runtime: 00:04:51.155
vars: 150268, evals: 730055

|rho|=150268
|stable|=52903
|infl|=149874
|wpoint|=1198
|sides|=7889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135834
|called|=976
Found 6168 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=770488.73MB, max=1235.24MB, minor=770443.93MB, major=6967.93MB, promoted=6923.13MB
    minor collections=367421  major collections=71 compactions=0


runtime: 00:05:01.186
vars: 153222, evals: 753320

|rho|=153222
|stable|=53171
|infl|=152777
|wpoint|=1211
|sides|=7902
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138775
|called|=1130
Found 6181 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=793889.89MB, max=1235.24MB, minor=793843.88MB, major=7151.58MB, promoted=7105.58MB
    minor collections=378580  major collections=71 compactions=0


runtime: 00:05:11.197
vars: 156068, evals: 775853

|rho|=156068
|stable|=53412
|infl|=155549
|wpoint|=1223
|sides|=7914
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141609
|called|=1301
Found 6193 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=816671.40MB, max=1235.24MB, minor=816624.21MB, major=7328.37MB, promoted=7281.17MB
    minor collections=389443  major collections=72 compactions=0


runtime: 00:05:21.268
vars: 158879, evals: 798107

|rho|=158879
|stable|=53742
|infl|=158304
|wpoint|=1234
|sides|=7926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144408
|called|=1442
Found 6205 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=839274.52MB, max=1420.53MB, minor=839226.10MB, major=7504.24MB, promoted=7455.82MB
    minor collections=400221  major collections=72 compactions=0


runtime: 00:05:31.279
vars: 161793, evals: 820658

|rho|=161793
|stable|=54048
|infl|=161167
|wpoint|=1247
|sides|=7938
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147310
|called|=1598
Found 6217 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=862138.21MB, max=1420.53MB, minor=862088.70MB, major=7681.53MB, promoted=7632.03MB
    minor collections=411123  major collections=73 compactions=0


runtime: 00:05:41.310
vars: 164388, evals: 841568

|rho|=164388
|stable|=54163
|infl|=163686
|wpoint|=1258
|sides|=7950
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149893
|called|=1761
Found 6229 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=883583.03MB, max=1420.53MB, minor=883532.13MB, major=7849.41MB, promoted=7798.51MB
    minor collections=421348  major collections=73 compactions=0


runtime: 00:05:51.325
vars: 167142, evals: 863295

|rho|=167142
|stable|=54288
|infl|=166397
|wpoint|=1271
|sides|=7962
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152635
|called|=1927
Found 6241 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=905655.08MB, max=1420.53MB, minor=905603.26MB, major=8021.67MB, promoted=7969.85MB
    minor collections=431873  major collections=73 compactions=0


runtime: 00:06:01.336
vars: 169746, evals: 883996

|rho|=169746
|stable|=54632
|infl|=168928
|wpoint|=1281
|sides|=7973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155228
|called|=2063
Found 6252 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=926997.78MB, max=1420.53MB, minor=926944.68MB, major=8187.49MB, promoted=8134.39MB
    minor collections=442050  major collections=74 compactions=0


runtime: 00:06:11.387
vars: 172308, evals: 904308

|rho|=172308
|stable|=54858
|infl|=171439
|wpoint|=1293
|sides|=7984
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157779
|called|=2203
Found 6263 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=947957.86MB, max=1420.53MB, minor=947903.54MB, major=8350.93MB, promoted=8296.61MB
    minor collections=452044  major collections=74 compactions=0


runtime: 00:06:21.398
vars: 174943, evals: 925017

|rho|=174943
|stable|=55178
|infl|=174029
|wpoint|=1303
|sides|=7995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160403
|called|=2333
Found 6274 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=969275.17MB, max=1420.53MB, minor=969219.88MB, major=8516.60MB, promoted=8461.31MB
    minor collections=462209  major collections=74 compactions=0


runtime: 00:06:31.409
vars: 177391, evals: 944427

|rho|=177391
|stable|=55243
|infl|=176408
|wpoint|=1314
|sides|=8006
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162840
|called|=2495
Found 6285 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=989505.76MB, max=1420.53MB, minor=989449.25MB, major=8674.12MB, promoted=8617.60MB
    minor collections=471856  major collections=75 compactions=0


runtime: 00:06:41.456
vars: 179889, evals: 963836

|rho|=179889
|stable|=55594
|infl|=178873
|wpoint|=1325
|sides|=8016
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165328
|called|=2630
Found 6295 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1009499.31MB, max=1633.61MB, minor=1009441.70MB, major=8827.97MB, promoted=8770.36MB
    minor collections=481389  major collections=75 compactions=0


runtime: 00:06:51.467
vars: 182284, evals: 983432

|rho|=182284
|stable|=55672
|infl|=181200
|wpoint|=1336
|sides|=8027
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167712
|called|=2769
Found 6306 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1029943.39MB, max=1633.61MB, minor=1029884.83MB, major=8987.57MB, promoted=8929.01MB
    minor collections=491137  major collections=75 compactions=0


runtime: 00:07:01.478
vars: 184682, evals: 1002073

|rho|=184682
|stable|=55967
|infl|=183559
|wpoint|=1345
|sides|=8037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170100
|called|=2882
Found 6316 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1049476.49MB, max=1633.61MB, minor=1049416.76MB, major=9139.83MB, promoted=9080.09MB
    minor collections=500452  major collections=76 compactions=0


runtime: 00:07:11.533
vars: 187002, evals: 1020363

|rho|=187002
|stable|=56097
|infl|=185829
|wpoint|=1355
|sides|=8047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172410
|called|=3022
Found 6326 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1068684.03MB, max=1633.61MB, minor=1068623.11MB, major=9289.86MB, promoted=9228.94MB
    minor collections=509610  major collections=76 compactions=0


runtime: 00:07:21.548
vars: 189401, evals: 1039225

|rho|=189401
|stable|=56438
|infl|=188180
|wpoint|=1366
|sides|=8057
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174799
|called|=3147
Found 6336 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1088265.70MB, max=1633.61MB, minor=1088203.95MB, major=9441.86MB, promoted=9380.11MB
    minor collections=518947  major collections=76 compactions=0


runtime: 00:07:31.559
vars: 191721, evals: 1057477

|rho|=191721
|stable|=56619
|infl|=190450
|wpoint|=1376
|sides|=8067
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177109
|called|=3295
Found 6346 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1107449.17MB, max=1633.61MB, minor=1107386.34MB, major=9590.14MB, promoted=9527.31MB
    minor collections=528095  major collections=77 compactions=0


runtime: 00:07:41.590
vars: 193874, evals: 1074940

|rho|=193874
|stable|=56712
|infl|=192536
|wpoint|=1386
|sides|=8077
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179252
|called|=3418
Found 6356 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1126079.31MB, max=1633.61MB, minor=1126015.18MB, major=9734.82MB, promoted=9670.69MB
    minor collections=536978  major collections=77 compactions=0


runtime: 00:07:51.613
vars: 196142, evals: 1092738

|rho|=196142
|stable|=56731
|infl|=194772
|wpoint|=1395
|sides|=8087
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181510
|called|=3538
Found 6366 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1144690.50MB, max=1633.61MB, minor=1144625.57MB, major=9879.19MB, promoted=9814.25MB
    minor collections=545852  major collections=77 compactions=0


runtime: 00:08:01.624
vars: 198449, evals: 1110699

|rho|=198449
|stable|=57202
|infl|=197033
|wpoint|=1405
|sides|=8096
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183808
|called|=3673
Found 6375 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1163665.89MB, max=1633.61MB, minor=1163600.02MB, major=10025.64MB, promoted=9959.77MB
    minor collections=554901  major collections=78 compactions=0


runtime: 00:08:11.639
vars: 200550, evals: 1127542

|rho|=200550
|stable|=57031
|infl|=199085
|wpoint|=1414
|sides|=8106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185899
|called|=3789
Found 6385 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1181623.48MB, max=1633.61MB, minor=1181556.48MB, major=10165.38MB, promoted=10098.38MB
    minor collections=563463  major collections=78 compactions=0


runtime: 00:08:21.670
vars: 202638, evals: 1143964

|rho|=202638
|stable|=57211
|infl|=201128
|wpoint|=1424
|sides|=8115
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187978
|called|=3908
Found 6394 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1199207.50MB, max=1878.66MB, minor=1199139.27MB, major=10301.54MB, promoted=10233.31MB
    minor collections=571848  major collections=78 compactions=0


runtime: 00:08:31.681
vars: 204767, evals: 1161100

|rho|=204767
|stable|=57628
|infl|=203194
|wpoint|=1432
|sides|=8124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190098
|called|=4031
Found 6403 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1217461.45MB, max=1878.66MB, minor=1217392.47MB, major=10444.17MB, promoted=10375.19MB
    minor collections=580552  major collections=78 compactions=0


runtime: 00:08:41.692
vars: 206876, evals: 1178040

|rho|=206876
|stable|=57784
|infl|=205262
|wpoint|=1442
|sides|=8133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192198
|called|=4147
Found 6412 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) 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 (1520) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1

Memory statistics: total=1235529.41MB, max=1878.66MB, minor=1235459.48MB, major=10584.13MB, promoted=10514.20MB
    minor collections=589167  major collections=79 compactions=0


runtime: 00:08:51.703
vars: 208943, evals: 1194097

|rho|=208943
|stable|=58013
|infl|=207279
|wpoint|=1450
|sides|=8142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194256
|called|=4262
Found 6421 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1
325	contexts for L:entry state of search_dir (1895) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:4774:1-4993:1

Memory statistics: total=1252788.20MB, max=1878.66MB, minor=1252717.15MB, major=10717.86MB, promoted=10646.81MB
    minor collections=597397  major collections=79 compactions=0


runtime: 00:09:01.746
vars: 210911, evals: 1209631

|rho|=210911
|stable|=58187
|infl|=209225
|wpoint|=1458
|sides|=8150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196216
|called|=4354
Found 6429 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
333	contexts for L:entry state of search_dir (1895) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1269535.46MB, max=1878.66MB, minor=1269463.18MB, major=10845.86MB, promoted=10773.59MB
    minor collections=605382  major collections=79 compactions=0


runtime: 00:09:11.761
vars: 212986, evals: 1225959

|rho|=212986
|stable|=58448
|infl|=211247
|wpoint|=1468
|sides|=8159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198282
|called|=4471
Found 6438 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
342	contexts for L:entry state of search_dir (1895) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1287003.98MB, max=1878.66MB, minor=1286931.03MB, major=10980.87MB, promoted=10907.92MB
    minor collections=613711  major collections=79 compactions=0


runtime: 00:09:21.769
vars: 215030, evals: 1242426

|rho|=215030
|stable|=58589
|infl|=213245
|wpoint|=1476
|sides|=8168
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200317
|called|=4588
Found 6447 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1568) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
351	contexts for L:entry state of search_dir (1895) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1304658.13MB, max=1878.66MB, minor=1304584.33MB, major=11117.32MB, promoted=11043.53MB
    minor collections=622129  major collections=79 compactions=0


runtime: 00:09:31.783
vars: 217022, evals: 1257796

|rho|=217022
|stable|=58451
|infl|=215202
|wpoint|=1486
|sides|=8177
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202300
|called|=4744
Found 6456 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1321151.84MB, max=1878.66MB, minor=1321077.04MB, major=11244.38MB, promoted=11169.58MB
    minor collections=629994  major collections=80 compactions=0


runtime: 00:09:41.804
vars: 218930, evals: 1273228

|rho|=218930
|stable|=58872
|infl|=217052
|wpoint|=1494
|sides|=8185
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204200
|called|=4824
Found 6464 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
368	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1337630.27MB, max=1878.66MB, minor=1337547.19MB, major=11381.96MB, promoted=11298.88MB
    minor collections=637848  major collections=80 compactions=0


runtime: 00:09:51.847
vars: 221198, evals: 1291117

|rho|=221198
|stable|=58948
|infl|=219288
|wpoint|=1504
|sides|=8195
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206458
|called|=4969
Found 6474 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
378	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1355318.76MB, max=1878.66MB, minor=1355234.71MB, major=11528.83MB, promoted=11444.79MB
    minor collections=646282  major collections=80 compactions=0


runtime: 00:10:01.854
vars: 223439, evals: 1308869

|rho|=223439
|stable|=59361
|infl|=221483
|wpoint|=1512
|sides|=8204
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208690
|called|=5054
Found 6483 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
387	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1373011.79MB, max=1878.66MB, minor=1372926.87MB, major=11675.29MB, promoted=11590.37MB
    minor collections=654719  major collections=80 compactions=0


runtime: 00:10:11.869
vars: 225374, evals: 1324042

|rho|=225374
|stable|=59219
|infl|=223374
|wpoint|=1522
|sides|=8213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210616
|called|=5169
Found 6492 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) 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 (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1388210.34MB, max=1878.66MB, minor=1388124.68MB, major=11802.06MB, promoted=11716.40MB
    minor collections=661967  major collections=81 compactions=0


runtime: 00:10:21.880
vars: 227503, evals: 1341054

|rho|=227503
|stable|=59614
|infl|=225440
|wpoint|=1531
|sides|=8222
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212736
|called|=5307
Found 6501 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
405	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1405363.50MB, max=1878.66MB, minor=1405276.91MB, major=11942.60MB, promoted=11856.02MB
    minor collections=670146  major collections=81 compactions=0


runtime: 00:10:31.955
vars: 229612, evals: 1357716

|rho|=229612
|stable|=59813
|infl|=227508
|wpoint|=1540
|sides|=8231
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214836
|called|=5420
Found 6510 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
414	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1422115.98MB, max=2160.46MB, minor=1422028.57MB, major=12080.57MB, promoted=11993.16MB
    minor collections=678134  major collections=81 compactions=0


runtime: 00:10:41.966
vars: 231778, evals: 1374778

|rho|=231778
|stable|=60024
|infl|=229640
|wpoint|=1549
|sides|=8240
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216993
|called|=5522
Found 6519 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
423	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1439194.74MB, max=2160.46MB, minor=1439106.58MB, major=12222.33MB, promoted=12134.16MB
    minor collections=686277  major collections=81 compactions=0


runtime: 00:10:51.981
vars: 233958, evals: 1391964

|rho|=233958
|stable|=59949
|infl|=231773
|wpoint|=1558
|sides|=8250
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219163
|called|=5675
Found 6529 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
433	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1456351.74MB, max=2160.46MB, minor=1456262.81MB, major=12364.04MB, promoted=12275.11MB
    minor collections=694459  major collections=82 compactions=0


runtime: 00:11:01.996
vars: 235967, evals: 1408006

|rho|=235967
|stable|=60434
|infl|=233741
|wpoint|=1566
|sides|=8258
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221164
|called|=5763
Found 6537 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
441	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1472631.11MB, max=2160.46MB, minor=1472541.40MB, major=12498.08MB, promoted=12408.38MB
    minor collections=702221  major collections=82 compactions=0


runtime: 00:11:12.011
vars: 237964, evals: 1423820

|rho|=237964
|stable|=60518
|infl|=235680
|wpoint|=1576
|sides|=8267
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223152
|called|=5883
Found 6546 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
450	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1488733.70MB, max=2160.46MB, minor=1488643.19MB, major=12630.49MB, promoted=12539.98MB
    minor collections=709899  major collections=82 compactions=0


runtime: 00:11:22.070
vars: 239990, evals: 1439901

|rho|=239990
|stable|=60568
|infl|=237675
|wpoint|=1584
|sides|=8276
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225169
|called|=5988
Found 6555 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
459	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1505001.44MB, max=2160.46MB, minor=1504910.25MB, major=12764.84MB, promoted=12673.64MB
    minor collections=717656  major collections=82 compactions=0


runtime: 00:11:32.081
vars: 242078, evals: 1456357

|rho|=242078
|stable|=60748
|infl|=239718
|wpoint|=1594
|sides|=8285
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227248
|called|=6135
Found 6564 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
468	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1521465.04MB, max=2160.46MB, minor=1521373.12MB, major=12901.51MB, promoted=12809.59MB
    minor collections=725506  major collections=82 compactions=0


runtime: 00:11:42.092
vars: 244166, evals: 1472546

|rho|=244166
|stable|=60729
|infl|=241761
|wpoint|=1602
|sides|=8294
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229327
|called|=6217
Found 6573 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
477	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1537768.28MB, max=2160.46MB, minor=1537675.61MB, major=13036.19MB, promoted=12943.51MB
    minor collections=733281  major collections=83 compactions=0


runtime: 00:11:52.103
vars: 246074, evals: 1487978

|rho|=246074
|stable|=61150
|infl|=243611
|wpoint|=1610
|sides|=8302
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231227
|called|=6344
Found 6581 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
485	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1553558.15MB, max=2160.46MB, minor=1553464.72MB, major=13166.66MB, promoted=13073.23MB
    minor collections=740810  major collections=83 compactions=0


runtime: 00:12:02.114
vars: 247979, evals: 1503143

|rho|=247979
|stable|=61434
|infl|=245484
|wpoint|=1618
|sides|=8310
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233124
|called|=6434
Found 6589 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
493	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1569090.01MB, max=2160.46MB, minor=1568995.88MB, major=13294.54MB, promoted=13200.40MB
    minor collections=748216  major collections=83 compactions=0


runtime: 00:12:12.169
vars: 249953, evals: 1518348

|rho|=249953
|stable|=61645
|infl|=247427
|wpoint|=1627
|sides|=8318
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235090
|called|=6540
Found 6597 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
501	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1584486.50MB, max=2160.46MB, minor=1584391.69MB, major=13423.02MB, promoted=13328.21MB
    minor collections=755557  major collections=83 compactions=0


runtime: 00:12:22.180
vars: 251874, evals: 1533932

|rho|=251874
|stable|=61704
|infl|=249286
|wpoint|=1635
|sides|=8327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237002
|called|=6670
Found 6606 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
510	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1600327.79MB, max=2160.46MB, minor=1600232.27MB, major=13554.41MB, promoted=13458.90MB
    minor collections=763111  major collections=83 compactions=0


runtime: 00:12:32.191
vars: 253910, evals: 1549647

|rho|=253910
|stable|=62013
|infl|=251293
|wpoint|=1644
|sides|=8336
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239029
|called|=6764
Found 6615 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
519	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1616228.78MB, max=2160.46MB, minor=1616132.58MB, major=13685.80MB, promoted=13589.60MB
    minor collections=770693  major collections=83 compactions=0


runtime: 00:12:42.201
vars: 255766, evals: 1564565

|rho|=255766
|stable|=61846
|infl|=253111
|wpoint|=1652
|sides|=8344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240877
|called|=6871
Found 6623 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
527	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1631556.41MB, max=2160.46MB, minor=1631459.52MB, major=13813.29MB, promoted=13716.41MB
    minor collections=778002  major collections=84 compactions=0


runtime: 00:12:52.213
vars: 257622, evals: 1579198

|rho|=257622
|stable|=61951
|infl|=254927
|wpoint|=1661
|sides|=8352
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242725
|called|=7017
Found 6631 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
535	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1646528.06MB, max=2160.46MB, minor=1646430.48MB, major=13936.30MB, promoted=13838.72MB
    minor collections=785141  major collections=84 compactions=0


runtime: 00:13:02.247
vars: 259321, evals: 1593081

|rho|=259321
|stable|=62388
|infl|=256581
|wpoint|=1667
|sides|=8359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244417
|called|=7071
Found 6638 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
542	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1660988.81MB, max=2160.46MB, minor=1660890.53MB, major=14055.27MB, promoted=13956.99MB
    minor collections=792036  major collections=84 compactions=0


runtime: 00:13:12.270
vars: 261255, evals: 1608121

|rho|=261255
|stable|=62605
|infl|=258484
|wpoint|=1675
|sides|=8367
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246343
|called|=7182
Found 6646 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
550	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1676323.08MB, max=2484.53MB, minor=1676224.18MB, major=14182.68MB, promoted=14083.78MB
    minor collections=799348  major collections=84 compactions=0


runtime: 00:13:22.285
vars: 263111, evals: 1622720

|rho|=263111
|stable|=62676
|infl|=260300
|wpoint|=1683
|sides|=8375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248191
|called|=7276
Found 6654 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
558	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1691314.26MB, max=2484.53MB, minor=1691210.51MB, major=14311.41MB, promoted=14207.67MB
    minor collections=806495  major collections=84 compactions=0


runtime: 00:13:32.296
vars: 264954, evals: 1637240

|rho|=264954
|stable|=62933
|infl|=262095
|wpoint|=1691
|sides|=8383
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250026
|called|=7382
Found 6662 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
566	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1706389.22MB, max=2484.53MB, minor=1706284.81MB, major=14436.49MB, promoted=14332.08MB
    minor collections=813684  major collections=85 compactions=0


runtime: 00:13:42.315
vars: 266711, evals: 1651284

|rho|=266711
|stable|=62940
|infl|=263803
|wpoint|=1699
|sides|=8391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251775
|called|=7503
Found 6670 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
574	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1720861.21MB, max=2484.53MB, minor=1720751.92MB, major=14560.03MB, promoted=14450.74MB
    minor collections=820583  major collections=85 compactions=0


runtime: 00:13:52.327
vars: 268513, evals: 1665263

|rho|=268513
|stable|=63260
|infl|=265587
|wpoint|=1707
|sides|=8398
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253570
|called|=7580
Found 6677 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
581	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1735261.92MB, max=2484.53MB, minor=1735152.00MB, major=14678.22MB, promoted=14568.31MB
    minor collections=827450  major collections=85 compactions=0


runtime: 00:14:02.397
vars: 270191, evals: 1678834

|rho|=270191
|stable|=63250
|infl|=267208
|wpoint|=1714
|sides|=8406
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=255240
|called|=7694
Found 6685 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
589	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1749459.89MB, max=2484.53MB, minor=1749349.29MB, major=14796.41MB, promoted=14685.81MB
    minor collections=834220  major collections=85 compactions=0


runtime: 00:14:12.412
vars: 272006, evals: 1693201

|rho|=272006
|stable|=63328
|infl|=269001
|wpoint|=1723
|sides|=8414
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=257047
|called|=7801
Found 6693 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
597	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1764182.26MB, max=2484.53MB, minor=1764071.11MB, major=14918.96MB, promoted=14807.81MB
    minor collections=841240  major collections=85 compactions=0


runtime: 00:14:22.423
vars: 273849, evals: 1707491

|rho|=273849
|stable|=63720
|infl|=270808
|wpoint|=1730
|sides|=8421
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258883
|called|=7877
Found 6700 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
604	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1778887.48MB, max=2484.53MB, minor=1778775.69MB, major=15039.92MB, promoted=14928.12MB
    minor collections=848252  major collections=85 compactions=0


runtime: 00:14:32.434
vars: 275548, evals: 1721343

|rho|=275548
|stable|=63763
|infl|=272454
|wpoint|=1738
|sides|=8429
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=260574
|called|=7999
Found 6708 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
612	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1793335.40MB, max=2484.53MB, minor=1793222.96MB, major=15159.28MB, promoted=15046.83MB
    minor collections=855141  major collections=86 compactions=0


runtime: 00:14:42.457
vars: 277191, evals: 1734459

|rho|=277191
|stable|=63934
|infl|=274065
|wpoint|=1744
|sides|=8436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262210
|called|=8072
Found 6715 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
619	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1807097.99MB, max=2484.53MB, minor=1806980.75MB, major=15276.79MB, promoted=15159.55MB
    minor collections=861703  major collections=86 compactions=0


runtime: 00:14:52.468
vars: 278953, evals: 1747804

|rho|=278953
|stable|=64142
|infl|=275802
|wpoint|=1752
|sides|=8443
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263965
|called|=8179
Found 6722 contexts for 80 functions. Top 5 functions:
1250	contexts for L:entry state of vplog (1172) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
887	contexts for L:entry state of log_debug (964) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
626	contexts for L:entry state of search_dir (1895) 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 (1568) 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 (1012) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5954:1-5977:1

Memory statistics: total=1820916.66MB, max=2484.53MB, minor=1820798.67MB, major=15390.74MB, promoted=15272.75MB
    minor collections=868292  major collections=86 compactions=0

