./goblint --conf conf/svcomp23.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 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
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
Collected factors:
functions: 151
functionCalls: 1413
loops: 118
loopBreaks: 0
controlFlowStatements: 4096
expressions: 28927
instructions: 4578
integralVars: (10,497)
arrayVars: (13,5)
pointerVars: (20,383)

Complexity estimates:
File: 90725811
function binary_search is recursive, disable interval context
function search_dir is recursive, disable interval context
malloc wrapper: ag_malloc
thread created by pthread_create, called by:
  main
Total: 90725811
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.323
vars: 2265, evals: 2995

|rho|=2265
|called|=121
|stable|=1225
|infl|=2111
|wpoint|=4
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=1981
Found 85 contexts for 26 functions. Top 5 functions:
21	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
12	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
8	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
6	contexts for entry state of is_fnmatch (2685) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1
4	contexts for entry state of ag_asprintf (2714) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6137:1-6151:1

Memory statistics: total=20354.75MB, max=57.06MB, minor=20345.56MB, major=198.66MB, promoted=189.47MB
    minor collections=9711  major collections=18 compactions=0


runtime: 00:00:20.355
vars: 5647, evals: 13643

|rho|=5647
|called|=107
|stable|=2083
|infl|=5539
|wpoint|=29
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5011
Found 257 contexts for 30 functions. Top 5 functions:
65	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
31	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
30	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
27	contexts for entry state of ag_realloc (2672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
19	contexts for entry state of is_fnmatch (2685) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=41112.23MB, max=99.81MB, minor=41102.27MB, major=403.68MB, promoted=393.72MB
    minor collections=19613  major collections=27 compactions=0


runtime: 00:00:30.378
vars: 7637, evals: 26198

|rho|=7637
|called|=122
|stable|=2544
|infl|=7586
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=6728
Found 324 contexts for 39 functions. Top 5 functions:
78	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
40	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
33	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
29	contexts for entry state of ag_realloc (2672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
19	contexts for entry state of is_fnmatch (2685) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=62024.87MB, max=132.00MB, minor=62014.62MB, major=633.36MB, promoted=623.11MB
    minor collections=29589  major collections=34 compactions=0


runtime: 00:00:40.398
vars: 10699, evals: 42468

|rho|=10699
|called|=50
|stable|=4703
|infl|=10623
|wpoint|=52
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9309
Found 465 contexts for 58 functions. Top 5 functions:
98	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
45	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
43	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
38	contexts for entry state of ag_realloc (2672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
19	contexts for entry state of is_fnmatch (2685) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1

Memory statistics: total=82200.41MB, max=151.80MB, minor=82189.41MB, major=886.23MB, promoted=875.24MB
    minor collections=39212  major collections=40 compactions=0


runtime: 00:00:50.449
vars: 17537, evals: 61800

|rho|=17537
|called|=141
|stable|=10990
|infl|=17478
|wpoint|=106
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15584
Found 835 contexts for 60 functions. Top 5 functions:
126	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
72	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
71	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
67	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1
63	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1

Memory statistics: total=101965.19MB, max=265.50MB, minor=101952.90MB, major=1187.77MB, promoted=1175.49MB
    minor collections=48639  major collections=45 compactions=0


runtime: 00:01:00.469
vars: 21641, evals: 78828

|rho|=21641
|called|=103
|stable|=19065
|infl|=21533
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19328
Found 967 contexts for 64 functions. Top 5 functions:
150	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
78	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
72	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
71	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
67	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=122860.71MB, max=305.32MB, minor=122847.48MB, major=1441.34MB, promoted=1428.11MB
    minor collections=58603  major collections=47 compactions=0


runtime: 00:01:10.488
vars: 25989, evals: 100823

|rho|=25989
|called|=96
|stable|=22736
|infl|=25890
|wpoint|=139
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23435
Found 1192 contexts for 64 functions. Top 5 functions:
176	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
100	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
97	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
94	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
89	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=149032.77MB, max=351.13MB, minor=149019.19MB, major=1689.62MB, promoted=1676.04MB
    minor collections=71084  major collections=50 compactions=0


runtime: 00:01:20.512
vars: 31443, evals: 122474

|rho|=31443
|called|=151
|stable|=25785
|infl|=31344
|wpoint|=180
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28567
Found 1444 contexts for 68 functions. Top 5 functions:
216	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
125	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
120	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
118	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
109	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=174563.51MB, max=351.13MB, minor=174549.55MB, major=1923.10MB, promoted=1909.14MB
    minor collections=83260  major collections=52 compactions=0


runtime: 00:01:30.531
vars: 37449, evals: 144111

|rho|=37449
|called|=90
|stable|=31892
|infl|=37362
|wpoint|=226
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34279
Found 1728 contexts for 68 functions. Top 5 functions:
264	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
152	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
146	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
139	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
122	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=200280.58MB, max=403.80MB, minor=200264.60MB, major=2169.06MB, promoted=2153.08MB
    minor collections=95523  major collections=54 compactions=0


runtime: 00:01:40.542
vars: 37952, evals: 166476

|rho|=37952
|called|=49
|stable|=20533
|infl|=37886
|wpoint|=236
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34736
Found 1766 contexts for 68 functions. Top 5 functions:
269	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
154	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
151	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
144	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
128	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=225670.46MB, max=403.80MB, minor=225653.85MB, major=2391.25MB, promoted=2374.63MB
    minor collections=107631  major collections=56 compactions=0


runtime: 00:01:50.554
vars: 41290, evals: 191090

|rho|=41290
|called|=95
|stable|=36054
|infl|=41203
|wpoint|=256
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37898
Found 1934 contexts for 68 functions. Top 5 functions:
301	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
173	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
163	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
155	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
137	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=250990.94MB, max=403.80MB, minor=250974.10MB, major=2618.91MB, promoted=2602.06MB
    minor collections=119706  major collections=58 compactions=0


runtime: 00:02:00.581
vars: 45908, evals: 210889

|rho|=45908
|called|=74
|stable|=40651
|infl|=45833
|wpoint|=292
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42302
Found 2148 contexts for 68 functions. Top 5 functions:
327	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
189	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
188	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
178	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
156	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=276077.04MB, max=464.37MB, minor=276060.01MB, major=2839.68MB, promoted=2822.65MB
    minor collections=131668  major collections=59 compactions=0


runtime: 00:02:10.605
vars: 52262, evals: 232420

|rho|=52262
|called|=152
|stable|=47033
|infl|=52175
|wpoint|=328
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=48347
Found 2457 contexts for 68 functions. Top 5 functions:
381	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
223	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
212	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
200	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
173	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=301437.49MB, max=464.37MB, minor=301420.07MB, major=3081.70MB, promoted=3064.29MB
    minor collections=143762  major collections=61 compactions=0


runtime: 00:02:20.632
vars: 55928, evals: 252739

|rho|=55928
|called|=82
|stable|=38629
|infl|=55871
|wpoint|=364
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51828
Found 2641 contexts for 68 functions. Top 5 functions:
413	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
246	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
226	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
213	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
184	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=327188.95MB, max=534.03MB, minor=327171.30MB, major=3309.86MB, promoted=3292.21MB
    minor collections=156043  major collections=63 compactions=0


runtime: 00:02:30.656
vars: 59300, evals: 276340

|rho|=59300
|called|=174
|stable|=42505
|infl|=59213
|wpoint|=389
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55005
Found 2816 contexts for 68 functions. Top 5 functions:
446	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
265	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
239	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
225	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
194	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=352295.62MB, max=534.03MB, minor=352277.68MB, major=3538.28MB, promoted=3520.34MB
    minor collections=168015  major collections=64 compactions=0


runtime: 00:02:40.687
vars: 63975, evals: 295560

|rho|=63975
|called|=128
|stable|=46544
|infl|=63891
|wpoint|=413
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59460
Found 3036 contexts for 68 functions. Top 5 functions:
472	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
281	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
265	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
249	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
214	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=377074.71MB, max=534.03MB, minor=377056.59MB, major=3759.16MB, promoted=3741.03MB
    minor collections=179831  major collections=65 compactions=0


runtime: 00:02:50.707
vars: 69117, evals: 315421

|rho|=69117
|called|=83
|stable|=51767
|infl|=69024
|wpoint|=455
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=64337
Found 3296 contexts for 68 functions. Top 5 functions:
522	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
312	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
280	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
263	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
227	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=401933.83MB, max=614.13MB, minor=401913.34MB, major=3996.50MB, promoted=3976.02MB
    minor collections=191685  major collections=67 compactions=0


runtime: 00:03:00.730
vars: 73936, evals: 334167

|rho|=73936
|called|=170
|stable|=56504
|infl|=73861
|wpoint|=487
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=68922
Found 3530 contexts for 68 functions. Top 5 functions:
556	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
336	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
304	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
285	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=426770.10MB, max=614.13MB, minor=426748.32MB, major=4215.36MB, promoted=4193.58MB
    minor collections=203528  major collections=68 compactions=0


runtime: 00:03:10.770
vars: 74235, evals: 355029

|rho|=74235
|called|=159
|stable|=44754
|infl|=74178
|wpoint|=499
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=69208
Found 3543 contexts for 68 functions. Top 5 functions:
559	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
338	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
305	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
286	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=451258.98MB, max=614.13MB, minor=451237.12MB, major=4427.04MB, promoted=4405.18MB
    minor collections=215206  major collections=69 compactions=0


runtime: 00:03:20.797
vars: 74454, evals: 378187

|rho|=74454
|called|=66
|stable|=64318
|infl|=74395
|wpoint|=497
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=69416
Found 3554 contexts for 68 functions. Top 5 functions:
564	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
340	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
305	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
286	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=475915.91MB, max=706.25MB, minor=475893.95MB, major=4640.33MB, promoted=4618.37MB
    minor collections=226964  major collections=70 compactions=0


runtime: 00:03:30.817
vars: 75912, evals: 402645

|rho|=75912
|called|=61
|stable|=12888
|infl|=75836
|wpoint|=505
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70729
Found 3601 contexts for 72 functions. Top 5 functions:
575	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
345	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
305	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
286	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=500880.83MB, max=706.25MB, minor=500858.78MB, major=4844.35MB, promoted=4822.30MB
    minor collections=238869  major collections=71 compactions=0


runtime: 00:03:40.837
vars: 83232, evals: 421100

|rho|=83232
|called|=64
|stable|=19709
|infl|=83146
|wpoint|=598
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=77421
Found 4037 contexts for 80 functions. Top 5 functions:
724	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
476	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
305	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
286	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=524447.80MB, max=706.25MB, minor=524425.39MB, major=5103.32MB, promoted=5080.91MB
    minor collections=250107  major collections=72 compactions=0


runtime: 00:03:50.856
vars: 87177, evals: 436880

|rho|=87177
|called|=77
|stable|=23837
|infl|=87106
|wpoint|=660
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=81119
Found 4261 contexts for 80 functions. Top 5 functions:
799	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
542	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
305	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
286	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=547886.63MB, max=706.25MB, minor=547863.99MB, major=5360.29MB, promoted=5337.66MB
    minor collections=261285  major collections=73 compactions=0


runtime: 00:04:00.871
vars: 92255, evals: 454830

|rho|=92255
|called|=64
|stable|=25683
|infl|=92160
|wpoint|=697
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=85931
Found 4511 contexts for 80 functions. Top 5 functions:
846	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
573	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
318	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
298	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
255	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=571284.16MB, max=706.25MB, minor=571261.27MB, major=5597.64MB, promoted=5574.75MB
    minor collections=272442  major collections=74 compactions=0


runtime: 00:04:10.903
vars: 95048, evals: 469089

|rho|=95048
|called|=98
|stable|=27449
|infl|=94972
|wpoint|=722
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=88594
Found 4641 contexts for 80 functions. Top 5 functions:
854	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
576	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
342	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
320	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
273	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=593991.49MB, max=812.19MB, minor=593968.51MB, major=5784.59MB, promoted=5761.61MB
    minor collections=283270  major collections=75 compactions=0


runtime: 00:04:20.938
vars: 99705, evals: 485742

|rho|=99705
|called|=65
|stable|=32244
|infl|=99611
|wpoint|=753
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=93025
Found 4862 contexts for 80 functions. Top 5 functions:
894	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
601	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
355	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
332	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
283	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=616482.20MB, max=812.19MB, minor=616454.64MB, major=6018.62MB, promoted=5991.06MB
    minor collections=293993  major collections=76 compactions=0


runtime: 00:04:30.958
vars: 104466, evals: 501515

|rho|=104466
|called|=152
|stable|=36926
|infl|=104390
|wpoint|=787
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=97564
Found 5084 contexts for 80 functions. Top 5 functions:
935	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
631	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
373	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
348	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
293	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=638801.14MB, max=812.19MB, minor=638773.08MB, major=6227.47MB, promoted=6199.40MB
    minor collections=304636  major collections=77 compactions=0


runtime: 00:04:40.977
vars: 106581, evals: 516624

|rho|=106581
|called|=71
|stable|=17458
|infl|=106495
|wpoint|=816
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=99541
Found 5200 contexts for 80 functions. Top 5 functions:
958	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
641	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
381	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
356	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
301	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=662259.44MB, max=812.19MB, minor=662231.01MB, major=6445.25MB, promoted=6416.82MB
    minor collections=315823  major collections=78 compactions=0


runtime: 00:04:51.001
vars: 113183, evals: 533808

|rho|=113183
|called|=87
|stable|=24041
|infl|=113094
|wpoint|=898
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=105740
Found 5603 contexts for 80 functions. Top 5 functions:
1096	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
763	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
381	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
356	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
301	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=685675.40MB, max=934.02MB, minor=685646.37MB, major=6710.54MB, promoted=6681.51MB
    minor collections=326989  major collections=79 compactions=0


runtime: 00:05:01.016
vars: 117661, evals: 548974

|rho|=117661
|called|=75
|stable|=28325
|infl|=117585
|wpoint|=963
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=109960
Found 5861 contexts for 80 functions. Top 5 functions:
1182	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
838	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
381	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
356	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
301	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=708967.20MB, max=934.02MB, minor=708937.73MB, major=6978.34MB, promoted=6948.87MB
    minor collections=338096  major collections=80 compactions=0


runtime: 00:05:11.040
vars: 121382, evals: 564264

|rho|=121382
|called|=96
|stable|=32247
|infl|=121282
|wpoint|=997
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=113495
Found 6047 contexts for 80 functions. Top 5 functions:
1214	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
858	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
394	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
368	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
311	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=732592.32MB, max=934.02MB, minor=732562.48MB, major=7215.63MB, promoted=7185.79MB
    minor collections=349361  major collections=80 compactions=0


runtime: 00:05:21.091
vars: 125350, evals: 579096

|rho|=125350
|called|=144
|stable|=36147
|infl|=125269
|wpoint|=1021
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=117285
Found 6225 contexts for 80 functions. Top 5 functions:
1236	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
872	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
416	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
388	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
326	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=755102.44MB, max=1074.12MB, minor=755072.36MB, major=7416.28MB, promoted=7386.19MB
    minor collections=360095  major collections=81 compactions=0


runtime: 00:05:31.106
vars: 129080, evals: 594484

|rho|=129080
|called|=141
|stable|=39819
|infl|=128987
|wpoint|=1052
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=120825
Found 6415 contexts for 80 functions. Top 5 functions:
1271	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
893	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
430	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
401	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
338	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=778496.21MB, max=1074.12MB, minor=778465.64MB, major=7636.63MB, promoted=7606.06MB
    minor collections=371251  major collections=82 compactions=0


runtime: 00:05:41.158
vars: 132424, evals: 608480

|rho|=132424
|called|=78
|stable|=43296
|infl|=132334
|wpoint|=1078
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=124013
Found 6571 contexts for 80 functions. Top 5 functions:
1294	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
908	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
443	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
413	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
348	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=801170.44MB, max=1074.12MB, minor=801135.39MB, major=7849.92MB, promoted=7814.87MB
    minor collections=382061  major collections=82 compactions=0


runtime: 00:05:51.197
vars: 136561, evals: 625701

|rho|=136561
|called|=104
|stable|=46749
|infl|=136468
|wpoint|=1105
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=127947
Found 6774 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=824107.14MB, max=1074.12MB, minor=824071.72MB, major=8065.30MB, promoted=8029.88MB
    minor collections=392999  major collections=83 compactions=0


runtime: 00:06:01.209
vars: 139747, evals: 651304

|rho|=139747
|called|=310
|stable|=46980
|infl|=139598
|wpoint|=1119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=131119
Found 6788 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=849184.48MB, max=1074.12MB, minor=849146.67MB, major=8262.44MB, promoted=8224.63MB
    minor collections=404957  major collections=84 compactions=0


runtime: 00:06:11.256
vars: 142593, evals: 674859

|rho|=142593
|called|=446
|stable|=47355
|infl|=142370
|wpoint|=1131
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=133953
Found 6800 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=872585.60MB, max=1235.24MB, minor=872547.51MB, major=8443.91MB, promoted=8405.81MB
    minor collections=416115  major collections=84 compactions=0


runtime: 00:06:21.268
vars: 145547, evals: 698619

|rho|=145547
|called|=609
|stable|=47518
|infl|=145273
|wpoint|=1143
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=136894
Found 6813 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=896032.21MB, max=1235.24MB, minor=895993.86MB, major=8627.73MB, promoted=8589.38MB
    minor collections=427296  major collections=85 compactions=0


runtime: 00:06:31.311
vars: 148161, evals: 719906

|rho|=148161
|called|=748
|stable|=47836
|infl|=147818
|wpoint|=1155
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=139497
Found 6824 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=917360.40MB, max=1235.24MB, minor=917321.81MB, major=8793.28MB, promoted=8754.69MB
    minor collections=437466  major collections=85 compactions=0


runtime: 00:06:41.322
vars: 150883, evals: 741914

|rho|=150883
|called|=926
|stable|=47940
|infl|=150494
|wpoint|=1167
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=142207
Found 6836 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=939187.39MB, max=1235.24MB, minor=939148.59MB, major=8963.42MB, promoted=8924.61MB
    minor collections=447875  major collections=86 compactions=0


runtime: 00:06:51.338
vars: 153255, evals: 761178

|rho|=153255
|called|=1039
|stable|=48263
|infl|=152797
|wpoint|=1176
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=144569
Found 6846 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=958543.89MB, max=1235.24MB, minor=958504.86MB, major=9113.60MB, promoted=9074.57MB
    minor collections=457105  major collections=86 compactions=0


runtime: 00:07:01.393
vars: 155625, evals: 780594

|rho|=155625
|called|=1155
|stable|=48527
|infl|=155127
|wpoint|=1186
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=146929
Found 6856 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=978088.10MB, max=1235.24MB, minor=978048.89MB, major=9264.93MB, promoted=9225.72MB
    minor collections=466424  major collections=86 compactions=0


runtime: 00:07:11.409
vars: 157895, evals: 799029

|rho|=157895
|called|=1306
|stable|=48675
|infl|=157339
|wpoint|=1196
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=149189
Found 6866 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=996566.54MB, max=1235.24MB, minor=996527.15MB, major=9407.86MB, promoted=9368.46MB
    minor collections=475236  major collections=87 compactions=0


runtime: 00:07:21.428
vars: 159852, evals: 814853

|rho|=159852
|called|=1394
|stable|=48887
|infl|=159272
|wpoint|=1204
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=151138
Found 6874 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1012608.91MB, max=1235.24MB, minor=1012569.35MB, major=9532.28MB, promoted=9492.72MB
    minor collections=482886  major collections=87 compactions=0


runtime: 00:07:31.452
vars: 161849, evals: 831198

|rho|=161849
|called|=1520
|stable|=48985
|infl|=161211
|wpoint|=1214
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=153126
Found 6883 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1029103.39MB, max=1420.53MB, minor=1029063.69MB, major=9659.49MB, promoted=9619.78MB
    minor collections=490751  major collections=87 compactions=0


runtime: 00:07:41.467
vars: 163705, evals: 846334

|rho|=163705
|called|=1629
|stable|=49175
|infl|=163027
|wpoint|=1222
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=154974
Found 6891 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1044501.45MB, max=1420.53MB, minor=1044461.60MB, major=9778.51MB, promoted=9738.67MB
    minor collections=498094  major collections=88 compactions=0


runtime: 00:07:51.482
vars: 165319, evals: 859414

|rho|=165319
|called|=1710
|stable|=49316
|infl|=164603
|wpoint|=1228
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156581
Found 6898 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1057812.46MB, max=1420.53MB, minor=1057772.49MB, major=9881.52MB, promoted=9841.55MB
    minor collections=504441  major collections=88 compactions=0


runtime: 00:08:01.526
vars: 166721, evals: 871106

|rho|=166721
|called|=1808
|stable|=49434
|infl|=165978
|wpoint|=1235
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157977
Found 6904 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1069749.39MB, max=1420.53MB, minor=1069709.30MB, major=9973.02MB, promoted=9932.94MB
    minor collections=510133  major collections=88 compactions=0


runtime: 00:08:11.553
vars: 168345, evals: 884073

|rho|=168345
|called|=1899
|stable|=49574
|infl|=167567
|wpoint|=1242
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159594
Found 6911 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1082978.76MB, max=1420.53MB, minor=1082938.56MB, major=10075.10MB, promoted=10034.91MB
    minor collections=516442  major collections=88 compactions=0


runtime: 00:08:21.564
vars: 169969, evals: 897318

|rho|=169969
|called|=1975
|stable|=49639
|infl|=169156
|wpoint|=1249
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161211
Found 6918 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1096490.06MB, max=1420.53MB, minor=1096449.76MB, major=10179.94MB, promoted=10139.63MB
    minor collections=522885  major collections=88 compactions=0


runtime: 00:08:31.580
vars: 171531, evals: 909770

|rho|=171531
|called|=2048
|stable|=49667
|infl|=170697
|wpoint|=1255
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162766
Found 6925 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1109217.88MB, max=1420.53MB, minor=1109177.41MB, major=10279.08MB, promoted=10238.61MB
    minor collections=528954  major collections=89 compactions=0


runtime: 00:08:41.595
vars: 172923, evals: 921008

|rho|=172923
|called|=2129
|stable|=49703
|infl|=172059
|wpoint|=1261
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=164152
Found 6931 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1120703.99MB, max=1420.53MB, minor=1120663.41MB, major=10368.06MB, promoted=10327.48MB
    minor collections=534431  major collections=89 compactions=0


runtime: 00:08:51.654
vars: 174223, evals: 931598

|rho|=174223
|called|=2197
|stable|=50165
|infl|=173325
|wpoint|=1267
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=165447
Found 6936 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1131692.07MB, max=1420.53MB, minor=1131651.40MB, major=10452.01MB, promoted=10411.34MB
    minor collections=539671  major collections=89 compactions=0


runtime: 00:09:01.666
vars: 175537, evals: 942571

|rho|=175537
|called|=2292
|stable|=50195
|infl|=174604
|wpoint|=1273
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=166755
Found 6942 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1142864.22MB, max=1420.53MB, minor=1142823.47MB, major=10538.75MB, promoted=10498.00MB
    minor collections=544998  major collections=89 compactions=0


runtime: 00:09:11.673
vars: 176788, evals: 952565

|rho|=176788
|called|=2339
|stable|=50308
|infl|=175843
|wpoint|=1277
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=168001
Found 6947 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1153123.82MB, max=1420.53MB, minor=1153082.99MB, major=10617.31MB, promoted=10576.48MB
    minor collections=549891  major collections=89 compactions=0


runtime: 00:09:21.685
vars: 178027, evals: 962455

|rho|=178027
|called|=2426
|stable|=50110
|infl|=177053
|wpoint|=1284
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=169234
Found 6953 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1163328.19MB, max=1420.53MB, minor=1163287.26MB, major=10696.24MB, promoted=10655.32MB
    minor collections=554757  major collections=90 compactions=0


runtime: 00:09:31.696
vars: 179095, evals: 971243

|rho|=179095
|called|=2468
|stable|=50585
|infl|=178092
|wpoint|=1288
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=170298
Found 6957 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1172584.49MB, max=1420.53MB, minor=1172543.48MB, major=10766.92MB, promoted=10725.92MB
    minor collections=559171  major collections=90 compactions=0


runtime: 00:09:41.712
vars: 180177, evals: 980321

|rho|=180177
|called|=2547
|stable|=50605
|infl|=179144
|wpoint|=1293
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=171375
Found 6962 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1181959.66MB, max=1420.53MB, minor=1181918.56MB, major=10839.08MB, promoted=10797.99MB
    minor collections=563641  major collections=90 compactions=0


runtime: 00:09:51.743
vars: 181275, evals: 988872

|rho|=181275
|called|=2629
|stable|=50423
|infl|=180231
|wpoint|=1298
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=172468
Found 6967 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1190715.56MB, max=1633.61MB, minor=1190674.39MB, major=10906.77MB, promoted=10865.60MB
    minor collections=567816  major collections=90 compactions=0


runtime: 00:10:01.755
vars: 182255, evals: 997165

|rho|=182255
|called|=2659
|stable|=50776
|infl|=181174
|wpoint|=1301
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=173444
Found 6971 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1199404.26MB, max=1633.61MB, minor=1199363.03MB, major=10974.08MB, promoted=10932.85MB
    minor collections=571960  major collections=90 compactions=0


runtime: 00:10:11.766
vars: 183193, evals: 1004883

|rho|=183193
|called|=2719
|stable|=50785
|infl|=182095
|wpoint|=1306
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=174378
Found 6975 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1207349.63MB, max=1633.61MB, minor=1207308.35MB, major=11035.53MB, promoted=10994.24MB
    minor collections=575748  major collections=90 compactions=0


runtime: 00:10:21.777
vars: 184121, evals: 1012391

|rho|=184121
|called|=2763
|stable|=50936
|infl|=183003
|wpoint|=1310
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=175302
Found 6979 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1215169.20MB, max=1633.61MB, minor=1215127.85MB, major=11095.14MB, promoted=11053.80MB
    minor collections=579477  major collections=90 compactions=0


runtime: 00:10:31.793
vars: 185039, evals: 1019710

|rho|=185039
|called|=2816
|stable|=51016
|infl|=183897
|wpoint|=1313
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=176216
Found 6983 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1222753.71MB, max=1633.61MB, minor=1222712.30MB, major=11153.10MB, promoted=11111.69MB
    minor collections=583094  major collections=91 compactions=0


runtime: 00:10:41.804
vars: 185745, evals: 1025863

|rho|=185745
|called|=2855
|stable|=51086
|infl|=184592
|wpoint|=1317
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=176919
Found 6986 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1229244.51MB, max=1633.61MB, minor=1229203.05MB, major=11202.10MB, promoted=11160.63MB
    minor collections=586189  major collections=91 compactions=0


runtime: 00:10:51.816
vars: 186663, evals: 1033016

|rho|=186663
|called|=2926
|stable|=51154
|infl|=185487
|wpoint|=1320
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=177833
Found 6990 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1236689.51MB, max=1633.61MB, minor=1236647.98MB, major=11259.23MB, promoted=11217.70MB
    minor collections=589739  major collections=91 compactions=0


runtime: 00:11:01.831
vars: 187369, evals: 1039050

|rho|=187369
|called|=2955
|stable|=51215
|infl|=186181
|wpoint|=1324
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=178536
Found 6993 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1243078.76MB, max=1633.61MB, minor=1243037.17MB, major=11307.64MB, promoted=11266.05MB
    minor collections=592786  major collections=91 compactions=0


runtime: 00:11:11.871
vars: 188265, evals: 1045916

|rho|=188265
|called|=2997
|stable|=51275
|infl|=187053
|wpoint|=1327
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=179428
Found 6997 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1250244.73MB, max=1633.61MB, minor=1250203.07MB, major=11363.52MB, promoted=11321.85MB
    minor collections=596203  major collections=91 compactions=0


runtime: 00:11:21.882
vars: 188993, evals: 1051984

|rho|=188993
|called|=3041
|stable|=51332
|infl|=187770
|wpoint|=1331
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=180153
Found 7000 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1256587.65MB, max=1633.61MB, minor=1256545.95MB, major=11411.54MB, promoted=11369.84MB
    minor collections=599228  major collections=91 compactions=0


runtime: 00:11:31.890
vars: 189689, evals: 1057798

|rho|=189689
|called|=3095
|stable|=51414
|infl|=188451
|wpoint|=1334
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=180846
Found 7003 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1262692.82MB, max=1633.61MB, minor=1262651.08MB, major=11457.82MB, promoted=11416.08MB
    minor collections=602139  major collections=91 compactions=0


runtime: 00:11:41.901
vars: 190385, evals: 1063479

|rho|=190385
|called|=3115
|stable|=51470
|infl|=189132
|wpoint|=1337
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=181539
Found 7006 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1268685.07MB, max=1633.61MB, minor=1268643.29MB, major=11503.94MB, promoted=11462.16MB
    minor collections=604996  major collections=91 compactions=0


runtime: 00:11:51.908
vars: 191081, evals: 1069140

|rho|=191081
|called|=3153
|stable|=51530
|infl|=189813
|wpoint|=1340
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=182232
Found 7009 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1274616.55MB, max=1633.61MB, minor=1274574.73MB, major=11549.43MB, promoted=11507.61MB
    minor collections=607825  major collections=91 compactions=0


runtime: 00:12:01.920
vars: 191777, evals: 1074783

|rho|=191777
|called|=3193
|stable|=51596
|infl|=190494
|wpoint|=1343
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=182925
Found 7012 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1280567.84MB, max=1633.61MB, minor=1280525.97MB, major=11594.68MB, promoted=11552.81MB
    minor collections=610663  major collections=92 compactions=0


runtime: 00:12:11.931
vars: 192473, evals: 1080322

|rho|=192473
|called|=3241
|stable|=51655
|infl|=191175
|wpoint|=1346
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=183618
Found 7015 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1286388.38MB, max=1633.61MB, minor=1286346.46MB, major=11639.00MB, promoted=11597.08MB
    minor collections=613438  major collections=92 compactions=0


runtime: 00:12:21.939
vars: 193159, evals: 1085755

|rho|=193159
|called|=3270
|stable|=51716
|infl|=191842
|wpoint|=1348
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=184301
Found 7018 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1292144.96MB, max=1633.61MB, minor=1292102.98MB, major=11683.20MB, promoted=11641.23MB
    minor collections=616183  major collections=92 compactions=0


runtime: 00:12:31.950
vars: 193724, evals: 1090323

|rho|=193724
|called|=3287
|stable|=51775
|infl|=192414
|wpoint|=1350
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=184864
Found 7020 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1296973.14MB, max=1633.61MB, minor=1296931.13MB, major=11719.24MB, promoted=11677.22MB
    minor collections=618486  major collections=92 compactions=0


runtime: 00:12:41.962
vars: 194329, evals: 1095437

|rho|=194329
|called|=3336
|stable|=51810
|infl|=192991
|wpoint|=1354
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=185466
Found 7023 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1302383.94MB, max=1633.61MB, minor=1302341.87MB, major=11760.33MB, promoted=11718.26MB
    minor collections=621066  major collections=92 compactions=0


runtime: 00:12:51.977
vars: 194993, evals: 1100670

|rho|=194993
|called|=3382
|stable|=51810
|infl|=193636
|wpoint|=1356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=186127
Found 7026 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1307879.62MB, max=1633.61MB, minor=1307837.50MB, major=11802.72MB, promoted=11760.60MB
    minor collections=623686  major collections=92 compactions=0


runtime: 00:13:02.005
vars: 195489, evals: 1104973

|rho|=195489
|called|=3420
|stable|=51914
|infl|=194126
|wpoint|=1359
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=186621
Found 7028 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1312446.96MB, max=1633.61MB, minor=1312404.80MB, major=11836.90MB, promoted=11794.75MB
    minor collections=625864  major collections=92 compactions=0


runtime: 00:13:12.024
vars: 196164, evals: 1110161

|rho|=196164
|called|=3440
|stable|=51966
|infl|=194781
|wpoint|=1361
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187293
Found 7031 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1317881.34MB, max=1633.61MB, minor=1317839.15MB, major=11878.75MB, promoted=11836.56MB
    minor collections=628456  major collections=92 compactions=0


runtime: 00:13:22.036
vars: 196649, evals: 1114384

|rho|=196649
|called|=3465
|stable|=52000
|infl|=195261
|wpoint|=1364
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187776
Found 7033 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1322362.39MB, max=1633.61MB, minor=1322320.17MB, major=11912.39MB, promoted=11870.17MB
    minor collections=630592  major collections=92 compactions=0


runtime: 00:13:32.043
vars: 197207, evals: 1118714

|rho|=197207
|called|=3477
|stable|=52161
|infl|=195819
|wpoint|=1365
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=188332
Found 7035 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1326942.98MB, max=1633.61MB, minor=1326900.73MB, major=11947.60MB, promoted=11905.35MB
    minor collections=632777  major collections=92 compactions=0


runtime: 00:13:42.055
vars: 197799, evals: 1123594

|rho|=197799
|called|=3531
|stable|=52116
|infl|=196383
|wpoint|=1368
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=188921
Found 7038 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1332067.74MB, max=1633.61MB, minor=1332025.45MB, major=11986.94MB, promoted=11944.66MB
    minor collections=635220  major collections=92 compactions=0


runtime: 00:13:52.066
vars: 198273, evals: 1127635

|rho|=198273
|called|=3561
|stable|=52148
|infl|=196850
|wpoint|=1371
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=189393
Found 7040 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1336373.52MB, max=1633.61MB, minor=1336331.21MB, major=12019.37MB, promoted=11977.06MB
    minor collections=637274  major collections=92 compactions=0


runtime: 00:14:02.078
vars: 198894, evals: 1132064

|rho|=198894
|called|=3580
|stable|=52294
|infl|=197474
|wpoint|=1373
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190012
Found 7042 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1341017.90MB, max=1633.61MB, minor=1340975.55MB, major=12055.14MB, promoted=12012.78MB
    minor collections=639488  major collections=92 compactions=0


runtime: 00:14:12.089
vars: 199412, evals: 1136674

|rho|=199412
|called|=3621
|stable|=52245
|infl|=197961
|wpoint|=1375
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190527
Found 7045 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1345951.46MB, max=1633.61MB, minor=1345909.07MB, major=12092.66MB, promoted=12050.27MB
    minor collections=641841  major collections=93 compactions=0


runtime: 00:14:22.101
vars: 199887, evals: 1140576

|rho|=199887
|called|=3657
|stable|=52295
|infl|=198426
|wpoint|=1377
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=191000
Found 7047 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1350103.16MB, max=1633.61MB, minor=1350060.72MB, major=12124.13MB, promoted=12081.70MB
    minor collections=643821  major collections=93 compactions=0


runtime: 00:14:32.112
vars: 200361, evals: 1144479

|rho|=200361
|called|=3693
|stable|=52334
|infl|=198893
|wpoint|=1380
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=191472
Found 7049 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1354230.04MB, max=1633.61MB, minor=1354187.58MB, major=12155.83MB, promoted=12113.36MB
    minor collections=645789  major collections=93 compactions=0


runtime: 00:14:42.124
vars: 200825, evals: 1148254

|rho|=200825
|called|=3709
|stable|=52375
|infl|=199347
|wpoint|=1382
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=191934
Found 7051 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1358262.24MB, max=1633.61MB, minor=1358219.74MB, major=12186.59MB, promoted=12144.09MB
    minor collections=647712  major collections=93 compactions=0


runtime: 00:14:52.135
vars: 201289, evals: 1152029

|rho|=201289
|called|=3725
|stable|=52416
|infl|=199801
|wpoint|=1384
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192396
Found 7053 contexts for 80 functions. Top 5 functions:
1333	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
933	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
457	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
426	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
357	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=1362298.95MB, max=1633.61MB, minor=1362256.41MB, major=12217.21MB, promoted=12174.68MB
    minor collections=649636  major collections=93 compactions=0

