./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.292
vars: 2440, evals: 4057

|rho|=2440
|called|=107
|stable|=1420
|infl|=2300
|wpoint|=5
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2120
Found 90 contexts for 26 functions. Top 5 functions:
22	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
13	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_strdup (3017) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5315:1-5328:1

Memory statistics: total=21522.99MB, max=57.06MB, minor=21513.75MB, major=207.90MB, promoted=198.66MB
    minor collections=10269  major collections=19 compactions=0


runtime: 00:00:20.319
vars: 5706, evals: 15656

|rho|=5706
|called|=97
|stable|=3656
|infl|=5598
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5069
Found 258 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=43200.33MB, max=99.81MB, minor=43190.34MB, major=426.04MB, promoted=416.05MB
    minor collections=20609  major collections=28 compactions=0


runtime: 00:00:30.334
vars: 7696, evals: 28732

|rho|=7696
|called|=112
|stable|=4559
|infl|=7645
|wpoint|=43
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=6786
Found 325 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=65172.38MB, max=132.00MB, minor=65162.11MB, major=664.66MB, promoted=654.39MB
    minor collections=31090  major collections=35 compactions=0


runtime: 00:00:40.357
vars: 12713, evals: 46911

|rho|=12713
|called|=70
|stable|=6707
|infl|=12636
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=11012
Found 596 contexts for 59 functions. Top 5 functions:
105	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
49	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
45	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
39	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
36	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

Memory statistics: total=86412.61MB, max=174.57MB, minor=86401.37MB, major=955.97MB, promoted=944.72MB
    minor collections=41221  major collections=41 compactions=0


runtime: 00:00:50.400
vars: 18279, evals: 65536

|rho|=18279
|called|=98
|stable|=11508
|infl|=18220
|wpoint|=106
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=16316
Found 845 contexts for 60 functions. Top 5 functions:
127	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
64	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=106155.53MB, max=305.32MB, minor=106143.15MB, major=1244.49MB, promoted=1232.11MB
    minor collections=50637  major collections=45 compactions=0


runtime: 00:01:00.427
vars: 22973, evals: 85068

|rho|=22973
|called|=167
|stable|=19719
|infl|=22874
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20578
Found 1035 contexts for 64 functions. Top 5 functions:
155	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
85	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
83	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
81	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
77	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=129792.21MB, max=305.32MB, minor=129778.86MB, major=1509.22MB, promoted=1495.86MB
    minor collections=61909  major collections=48 compactions=0


runtime: 00:01:10.442
vars: 27571, evals: 107640

|rho|=27571
|called|=73
|stable|=23594
|infl|=27484
|wpoint|=153
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24954
Found 1248 contexts for 64 functions. Top 5 functions:
181	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
109	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
105	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
97	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
95	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=157371.76MB, max=351.13MB, minor=157358.12MB, major=1760.22MB, promoted=1746.58MB
    minor collections=75061  major collections=51 compactions=0


runtime: 00:01:20.469
vars: 34041, evals: 131131

|rho|=34041
|called|=105
|stable|=28484
|infl|=33942
|wpoint|=198
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31048
Found 1561 contexts for 68 functions. Top 5 functions:
235	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
134	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
131	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
128	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
113	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=184194.51MB, max=351.13MB, minor=184179.31MB, major=2020.44MB, promoted=2005.24MB
    minor collections=87852  major collections=53 compactions=0


runtime: 00:01:30.500
vars: 37795, evals: 151273

|rho|=37795
|called|=110
|stable|=34021
|infl|=37719
|wpoint|=237
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34594
Found 1759 contexts for 68 functions. Top 5 functions:
267	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
153	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
150	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
143	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=210777.48MB, max=403.80MB, minor=210760.93MB, major=2263.83MB, promoted=2247.28MB
    minor collections=100528  major collections=55 compactions=0


runtime: 00:01:40.515
vars: 37952, evals: 179457

|rho|=37952
|called|=112
|stable|=32659
|infl|=37886
|wpoint|=238
|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=238311.63MB, max=403.80MB, minor=238294.99MB, major=2498.11MB, promoted=2481.48MB
    minor collections=113659  major collections=57 compactions=0


runtime: 00:01:50.534
vars: 44149, evals: 202615

|rho|=44149
|called|=147
|stable|=38913
|infl|=44062
|wpoint|=278
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40616
Found 2075 contexts for 68 functions. Top 5 functions:
321	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
186	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
176	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
167	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
147	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=265601.78MB, max=464.37MB, minor=265584.82MB, major=2752.78MB, promoted=2735.81MB
    minor collections=126673  major collections=59 compactions=0


runtime: 00:02:00.553
vars: 49472, evals: 224283

|rho|=49472
|called|=103
|stable|=44370
|infl|=49385
|wpoint|=316
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=45692
Found 2322 contexts for 68 functions. Top 5 functions:
361	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
210	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
200	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
189	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
165	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=292453.82MB, max=464.37MB, minor=292436.57MB, major=2993.07MB, promoted=2975.82MB
    minor collections=139478  major collections=61 compactions=0


runtime: 00:02:10.584
vars: 55668, evals: 246044

|rho|=55668
|called|=79
|stable|=50480
|infl|=55593
|wpoint|=355
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51585
Found 2625 contexts for 68 functions. Top 5 functions:
410	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
244	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
224	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
211	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
183	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=318924.46MB, max=534.03MB, minor=318906.85MB, major=3241.73MB, promoted=3224.11MB
    minor collections=152101  major collections=62 compactions=0


runtime: 00:02:20.599
vars: 59067, evals: 272633

|rho|=59067
|called|=178
|stable|=42284
|infl|=58978
|wpoint|=380
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54795
Found 2793 contexts for 68 functions. Top 5 functions:
445	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
236	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
222	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
189	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=346043.01MB, max=534.03MB, minor=346025.11MB, major=3485.76MB, promoted=3467.85MB
    minor collections=165033  major collections=64 compactions=0


runtime: 00:02:30.622
vars: 62359, evals: 290943

|rho|=62359
|called|=65
|stable|=45894
|infl|=62272
|wpoint|=408
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57904
Found 2976 contexts for 68 functions. Top 5 functions:
467	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
278	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
255	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
240	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
208	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=372552.87MB, max=534.03MB, minor=372534.78MB, major=3717.84MB, promoted=3699.75MB
    minor collections=177675  major collections=65 compactions=0


runtime: 00:02:40.633
vars: 68029, evals: 312490

|rho|=68029
|called|=75
|stable|=50675
|infl|=67945
|wpoint|=447
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63309
Found 3236 contexts for 68 functions. Top 5 functions:
509	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
303	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=399396.33MB, max=614.13MB, minor=399375.90MB, major=3961.52MB, promoted=3941.10MB
    minor collections=190475  major collections=66 compactions=0


runtime: 00:02:50.644
vars: 73875, evals: 333730

|rho|=73875
|called|=84
|stable|=56392
|infl|=73800
|wpoint|=486
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=68866
Found 3525 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
303	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
284	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
243	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=426246.58MB, max=614.13MB, minor=426224.80MB, major=4211.58MB, promoted=4189.80MB
    minor collections=203279  major collections=68 compactions=0


runtime: 00:03:00.671
vars: 74235, evals: 355865

|rho|=74235
|called|=62
|stable|=45474
|infl|=74178
|wpoint|=497
|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=452616.76MB, max=614.13MB, minor=452594.89MB, major=4439.50MB, promoted=4417.63MB
    minor collections=215854  major collections=69 compactions=0


runtime: 00:03:10.690
vars: 74547, evals: 382234

|rho|=74547
|called|=81
|stable|=54104
|infl|=74490
|wpoint|=499
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=69508
Found 3555 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=479114.68MB, max=706.25MB, minor=479092.71MB, major=4667.56MB, promoted=4645.59MB
    minor collections=228490  major collections=70 compactions=0


runtime: 00:03:20.705
vars: 78270, evals: 407430

|rho|=78270
|called|=54
|stable|=14933
|infl|=78186
|wpoint|=531
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=72779
Found 3735 contexts for 80 functions. Top 5 functions:
621	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
385	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=505954.93MB, max=706.25MB, minor=505932.79MB, major=4900.91MB, promoted=4878.77MB
    minor collections=241289  major collections=71 compactions=0


runtime: 00:03:30.729
vars: 83498, evals: 424643

|rho|=83498
|called|=40
|stable|=20083
|infl|=83430
|wpoint|=605
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=77671
Found 4046 contexts for 80 functions. Top 5 functions:
726	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
478	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=530924.42MB, max=706.25MB, minor=530901.98MB, major=5177.13MB, promoted=5154.68MB
    minor collections=253196  major collections=73 compactions=0


runtime: 00:03:40.744
vars: 90105, evals: 444429

|rho|=90105
|called|=114
|stable|=23036
|infl|=90017
|wpoint|=678
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=83896
Found 4396 contexts for 80 functions. Top 5 functions:
827	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
560	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
312	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
292	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
247	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=555833.67MB, max=706.25MB, minor=555810.90MB, major=5451.14MB, promoted=5428.38MB
    minor collections=265075  major collections=74 compactions=0


runtime: 00:03:50.786
vars: 93289, evals: 460648

|rho|=93289
|called|=135
|stable|=26575
|infl|=93201
|wpoint|=708
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=86908
Found 4568 contexts for 80 functions. Top 5 functions:
848	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
330	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
309	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
264	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=581567.09MB, max=706.25MB, minor=581544.15MB, major=5683.57MB, promoted=5660.63MB
    minor collections=277346  major collections=75 compactions=0


runtime: 00:04:00.818
vars: 98548, evals: 479298

|rho|=98548
|called|=145
|stable|=30959
|infl|=98460
|wpoint|=738
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=91921
Found 4809 contexts for 80 functions. Top 5 functions:
888	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
597	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
353	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
330	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
280	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=606632.18MB, max=812.19MB, minor=606609.05MB, major=5917.43MB, promoted=5894.30MB
    minor collections=289299  major collections=76 compactions=0


runtime: 00:04:10.833
vars: 101476, evals: 494199

|rho|=101476
|called|=67
|stable|=34019
|infl|=101388
|wpoint|=767
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=94702
Found 4956 contexts for 80 functions. Top 5 functions:
908	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
610	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
367	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
343	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
292	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=631096.67MB, max=812.19MB, minor=631068.90MB, major=6142.46MB, promoted=6114.69MB
    minor collections=300963  major collections=77 compactions=0


runtime: 00:04:20.872
vars: 105050, evals: 511107

|rho|=105050
|called|=66
|stable|=40513
|infl|=104987
|wpoint|=805
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=98100
Found 5132 contexts for 80 functions. Top 5 functions:
939	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
632	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
380	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
355	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=656037.27MB, max=812.19MB, minor=656008.98MB, major=6387.25MB, promoted=6358.96MB
    minor collections=312856  major collections=78 compactions=0


runtime: 00:04:30.903
vars: 111586, evals: 530412

|rho|=111586
|called|=78
|stable|=22428
|infl|=111499
|wpoint|=879
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=104245
Found 5501 contexts for 80 functions. Top 5 functions:
1060	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
731	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=681439.27MB, max=934.02MB, minor=681410.36MB, major=6668.47MB, promoted=6639.55MB
    minor collections=324969  major collections=79 compactions=0


runtime: 00:04:40.926
vars: 117268, evals: 547516

|rho|=117268
|called|=83
|stable|=28113
|infl|=117192
|wpoint|=960
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=109584
Found 5844 contexts for 80 functions. Top 5 functions:
1179	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
837	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=706550.72MB, max=934.02MB, minor=706521.28MB, major=6953.97MB, promoted=6924.53MB
    minor collections=336944  major collections=80 compactions=0


runtime: 00:04:50.937
vars: 121240, evals: 563820

|rho|=121240
|called|=73
|stable|=32114
|infl|=121150
|wpoint|=995
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=113360
Found 6040 contexts for 80 functions. Top 5 functions:
1213	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
857	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=732000.66MB, max=934.02MB, minor=731970.83MB, major=7209.44MB, promoted=7179.61MB
    minor collections=349079  major collections=80 compactions=0


runtime: 00:05:00.968
vars: 125455, evals: 579863

|rho|=125455
|called|=85
|stable|=36201
|infl|=125374
|wpoint|=1020
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=117379
Found 6236 contexts for 80 functions. Top 5 functions:
1237	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
417	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
389	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
327	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=756525.12MB, max=1074.12MB, minor=756495.02MB, major=7429.77MB, promoted=7399.67MB
    minor collections=360774  major collections=81 compactions=0


runtime: 00:05:10.987
vars: 129564, evals: 596261

|rho|=129564
|called|=79
|stable|=40439
|infl|=129464
|wpoint|=1053
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=121289
Found 6435 contexts for 80 functions. Top 5 functions:
1274	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
895	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
431	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
402	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
339	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=781624.16MB, max=1074.12MB, minor=781593.54MB, major=7664.99MB, promoted=7634.37MB
    minor collections=372743  major collections=82 compactions=0


runtime: 00:05:21.023
vars: 134422, evals: 613070

|rho|=134422
|called|=64
|stable|=45299
|infl|=134335
|wpoint|=1090
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=125916
Found 6666 contexts for 80 functions. Top 5 functions:
1318	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
927	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=806304.27MB, max=1074.12MB, minor=806269.03MB, major=7915.65MB, promoted=7880.41MB
    minor collections=384510  major collections=83 compactions=0


runtime: 00:05:31.054
vars: 137659, evals: 634321

|rho|=137659
|called|=171
|stable|=46800
|infl|=137555
|wpoint|=1110
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=129040
Found 6779 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=832454.83MB, max=1074.12MB, minor=832419.31MB, major=8128.68MB, promoted=8093.16MB
    minor collections=396979  major collections=83 compactions=0


runtime: 00:05:41.065
vars: 140959, evals: 661186

|rho|=140959
|called|=346
|stable|=47123
|infl|=140767
|wpoint|=1123
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=132326
Found 6793 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=858953.67MB, max=1074.12MB, minor=858915.73MB, major=8337.99MB, promoted=8300.04MB
    minor collections=409614  major collections=84 compactions=0


runtime: 00:05:51.104
vars: 144155, evals: 687058

|rho|=144155
|called|=537
|stable|=47261
|infl|=143911
|wpoint|=1137
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=135508
Found 6807 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=884426.47MB, max=1235.24MB, minor=884388.24MB, major=8537.39MB, promoted=8499.16MB
    minor collections=421761  major collections=84 compactions=0


runtime: 00:06:01.123
vars: 147001, evals: 710687

|rho|=147001
|called|=683
|stable|=47720
|infl|=146683
|wpoint|=1150
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=138342
Found 6819 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=907988.87MB, max=1235.24MB, minor=907950.38MB, major=8720.09MB, promoted=8681.60MB
    minor collections=432997  major collections=85 compactions=0


runtime: 00:06:11.178
vars: 149955, evals: 734196

|rho|=149955
|called|=841
|stable|=47724
|infl|=149586
|wpoint|=1162
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=141283
Found 6832 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=931268.85MB, max=1235.24MB, minor=931230.11MB, major=8903.04MB, promoted=8864.30MB
    minor collections=444098  major collections=85 compactions=0


runtime: 00:06:21.189
vars: 152569, evals: 755836

|rho|=152569
|called|=1000
|stable|=48182
|infl|=152131
|wpoint|=1174
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=143886
Found 6843 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=952979.10MB, max=1235.24MB, minor=952940.12MB, major=9071.55MB, promoted=9032.57MB
    minor collections=454451  major collections=86 compactions=0


runtime: 00:06:31.204
vars: 155121, evals: 776756

|rho|=155121
|called|=1158
|stable|=48434
|infl|=154628
|wpoint|=1185
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=146427
Found 6854 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=973932.47MB, max=1235.24MB, minor=973893.28MB, major=9234.29MB, promoted=9195.11MB
    minor collections=464442  major collections=86 compactions=0


runtime: 00:06:41.215
vars: 157652, evals: 797014

|rho|=157652
|called|=1284
|stable|=48645
|infl|=157101
|wpoint|=1195
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=148947
Found 6865 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=994221.23MB, max=1235.24MB, minor=994181.85MB, major=9392.20MB, promoted=9352.82MB
    minor collections=474117  major collections=87 compactions=0


runtime: 00:06:51.246
vars: 159931, evals: 815586

|rho|=159931
|called|=1404
|stable|=48731
|infl|=159347
|wpoint|=1205
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=151216
Found 6875 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=1012972.26MB, max=1420.53MB, minor=1012932.68MB, major=9537.65MB, promoted=9498.07MB
    minor collections=483059  major collections=87 compactions=0


runtime: 00:07:01.269
vars: 162081, evals: 833368

|rho|=162081
|called|=1528
|stable|=49036
|infl|=161438
|wpoint|=1215
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=153357
Found 6884 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=1030963.81MB, max=1420.53MB, minor=1030924.08MB, major=9676.73MB, promoted=9637.00MB
    minor collections=491638  major collections=87 compactions=0


runtime: 00:07:11.280
vars: 164169, evals: 850350

|rho|=164169
|called|=1655
|stable|=49215
|infl|=163481
|wpoint|=1224
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155436
Found 6893 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=1048157.93MB, max=1420.53MB, minor=1048118.05MB, major=9809.17MB, promoted=9769.29MB
    minor collections=499837  major collections=88 compactions=0


runtime: 00:07:21.291
vars: 166195, evals: 866285

|rho|=166195
|called|=1777
|stable|=49123
|infl|=165476
|wpoint|=1233
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157453
Found 6902 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=1064256.11MB, max=1420.53MB, minor=1064216.06MB, major=9934.16MB, promoted=9894.11MB
    minor collections=507514  major collections=88 compactions=0


runtime: 00:07:31.314
vars: 168051, evals: 881279

|rho|=168051
|called|=1900
|stable|=49283
|infl|=167292
|wpoint|=1241
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159301
Found 6910 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=1079528.41MB, max=1420.53MB, minor=1079488.24MB, major=10052.09MB, promoted=10011.92MB
    minor collections=514796  major collections=88 compactions=0


runtime: 00:07:41.325
vars: 169737, evals: 895660

|rho|=169737
|called|=1957
|stable|=49706
|infl|=168929
|wpoint|=1248
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160980
Found 6917 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=1094311.54MB, max=1420.53MB, minor=1094271.24MB, major=10165.91MB, promoted=10125.61MB
    minor collections=521845  major collections=88 compactions=0


runtime: 00:07:51.336
vars: 171452, evals: 909155

|rho|=171452
|called|=2037
|stable|=49839
|infl|=170622
|wpoint|=1254
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162688
Found 6924 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=1108062.55MB, max=1420.53MB, minor=1108022.09MB, major=10272.61MB, promoted=10232.14MB
    minor collections=528403  major collections=89 compactions=0


runtime: 00:08:01.347
vars: 172985, evals: 921815

|rho|=172985
|called|=2139
|stable|=49976
|infl|=172107
|wpoint|=1262
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=164214
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=1121024.70MB, max=1420.53MB, minor=1120984.10MB, major=10372.87MB, promoted=10332.28MB
    minor collections=534584  major collections=89 compactions=0


runtime: 00:08:11.370
vars: 174547, evals: 934149

|rho|=174547
|called|=2237
|stable|=49843
|infl|=173648
|wpoint|=1269
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=165769
Found 6938 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=1133536.23MB, max=1420.53MB, minor=1133495.53MB, major=10470.25MB, promoted=10429.56MB
    minor collections=540550  major collections=89 compactions=0


runtime: 00:08:21.381
vars: 175980, evals: 946049

|rho|=175980
|called|=2315
|stable|=50187
|infl|=175033
|wpoint|=1274
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=167196
Found 6944 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=1145760.41MB, max=1420.53MB, minor=1145719.62MB, major=10564.77MB, promoted=10523.99MB
    minor collections=546379  major collections=89 compactions=0


runtime: 00:08:31.396
vars: 177331, evals: 956968

|rho|=177331
|called|=2389
|stable|=50190
|infl|=176372
|wpoint|=1280
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=168541
Found 6950 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=1156976.62MB, max=1420.53MB, minor=1156935.74MB, major=10651.12MB, promoted=10610.24MB
    minor collections=551728  major collections=90 compactions=0


runtime: 00:08:41.407
vars: 178553, evals: 967137

|rho|=178553
|called|=2455
|stable|=50379
|infl|=177555
|wpoint|=1286
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=169758
Found 6955 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=1167571.46MB, max=1420.53MB, minor=1167530.48MB, major=10731.65MB, promoted=10690.67MB
    minor collections=556780  major collections=90 compactions=0


runtime: 00:08:51.418
vars: 179791, evals: 976910

|rho|=179791
|called|=2507
|stable|=50645
|infl|=178773
|wpoint|=1290
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=170991
Found 6960 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=1177754.07MB, max=1420.53MB, minor=1177713.00MB, major=10809.33MB, promoted=10768.26MB
    minor collections=561635  major collections=90 compactions=0


runtime: 00:09:01.469
vars: 181043, evals: 986985

|rho|=181043
|called|=2622
|stable|=50403
|infl|=180004
|wpoint|=1297
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=172237
Found 6966 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=1188007.30MB, max=1633.61MB, minor=1187966.13MB, major=10889.21MB, promoted=10848.04MB
    minor collections=566525  major collections=90 compactions=0


runtime: 00:09:11.476
vars: 182190, evals: 996201

|rho|=182190
|called|=2640
|stable|=50855
|infl|=181130
|wpoint|=1301
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=173380
Found 6970 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=1197589.48MB, max=1633.61MB, minor=1197548.25MB, major=10963.30MB, promoted=10922.07MB
    minor collections=571094  major collections=90 compactions=0


runtime: 00:09:21.491
vars: 183193, evals: 1004982

|rho|=183193
|called|=2711
|stable|=50850
|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=1206675.94MB, max=1633.61MB, minor=1206634.66MB, major=11033.22MB, promoted=10991.93MB
    minor collections=575427  major collections=90 compactions=0


runtime: 00:09:31.502
vars: 184332, evals: 1014018

|rho|=184332
|called|=2786
|stable|=50944
|infl|=183206
|wpoint|=1310
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=175512
Found 6980 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=1216011.96MB, max=1633.61MB, minor=1215970.60MB, major=11104.77MB, promoted=11063.41MB
    minor collections=579879  major collections=91 compactions=0


runtime: 00:09:41.517
vars: 185281, evals: 1021887

|rho|=185281
|called|=2832
|stable|=50986
|infl|=184138
|wpoint|=1315
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=176457
Found 6984 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=1224194.36MB, max=1633.61MB, minor=1224152.93MB, major=11167.52MB, promoted=11126.09MB
    minor collections=583781  major collections=91 compactions=0


runtime: 00:09:51.528
vars: 186209, evals: 1029614

|rho|=186209
|called|=2900
|stable|=51114
|infl|=185046
|wpoint|=1319
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=177381
Found 6988 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=1232274.34MB, max=1633.61MB, minor=1232232.84MB, major=11229.20MB, promoted=11187.70MB
    minor collections=587634  major collections=91 compactions=0


runtime: 00:10:01.535
vars: 187137, evals: 1037185

|rho|=187137
|called|=2933
|stable|=51206
|infl|=185954
|wpoint|=1323
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=178305
Found 6992 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=1240244.72MB, max=1633.61MB, minor=1240203.14MB, major=11290.07MB, promoted=11248.48MB
    minor collections=591434  major collections=91 compactions=0


runtime: 00:10:11.570
vars: 188065, evals: 1044722

|rho|=188065
|called|=2985
|stable|=51286
|infl|=186862
|wpoint|=1327
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=179229
Found 6996 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=1248138.41MB, max=1633.61MB, minor=1248096.75MB, major=11350.62MB, promoted=11308.96MB
    minor collections=595198  major collections=91 compactions=0


runtime: 00:10:21.577
vars: 188993, evals: 1052258

|rho|=188993
|called|=3056
|stable|=51354
|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=1255961.37MB, max=1633.61MB, minor=1255919.66MB, major=11410.58MB, promoted=11368.87MB
    minor collections=598929  major collections=91 compactions=0


runtime: 00:10:31.588
vars: 189911, evals: 1059436

|rho|=189911
|called|=3088
|stable|=51436
|infl|=188665
|wpoint|=1334
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=181067
Found 7004 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=1263461.40MB, max=1633.61MB, minor=1263419.64MB, major=11468.82MB, promoted=11427.06MB
    minor collections=602505  major collections=91 compactions=0


runtime: 00:10:41.603
vars: 190787, evals: 1066239

|rho|=190787
|called|=3171
|stable|=51243
|infl|=189538
|wpoint|=1339
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=181939
Found 7008 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=1270479.94MB, max=1633.61MB, minor=1270438.14MB, major=11522.80MB, promoted=11480.99MB
    minor collections=605852  major collections=91 compactions=0


runtime: 00:10:51.614
vars: 191545, evals: 1072773

|rho|=191545
|called|=3199
|stable|=51574
|infl|=190267
|wpoint|=1342
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=182694
Found 7011 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=1277423.69MB, max=1633.61MB, minor=1277381.83MB, major=11575.26MB, promoted=11533.40MB
    minor collections=609163  major collections=92 compactions=0


runtime: 00:11:01.621
vars: 192241, evals: 1078677

|rho|=192241
|called|=3229
|stable|=51635
|infl|=190948
|wpoint|=1345
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=183387
Found 7014 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=1283684.33MB, max=1633.61MB, minor=1283642.42MB, major=11623.01MB, promoted=11581.10MB
    minor collections=612149  major collections=92 compactions=0


runtime: 00:11:11.628
vars: 193107, evals: 1085427

|rho|=193107
|called|=3258
|stable|=51591
|infl|=191808
|wpoint|=1348
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=184249
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=1290763.48MB, max=1633.61MB, minor=1290721.50MB, major=11677.54MB, promoted=11635.57MB
    minor collections=615524  major collections=92 compactions=0


runtime: 00:11:21.639
vars: 193855, evals: 1091416

|rho|=193855
|called|=3310
|stable|=51776
|infl|=192523
|wpoint|=1351
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=184994
Found 7021 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=1297092.26MB, max=1633.61MB, minor=1297050.23MB, major=11725.59MB, promoted=11683.56MB
    minor collections=618542  major collections=92 compactions=0


runtime: 00:11:31.650
vars: 194551, evals: 1097175

|rho|=194551
|called|=3359
|stable|=51835
|infl|=193205
|wpoint|=1354
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=185687
Found 7024 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=1303171.33MB, max=1633.61MB, minor=1303129.25MB, major=11771.52MB, promoted=11729.43MB
    minor collections=621441  major collections=92 compactions=0


runtime: 00:11:41.673
vars: 195257, evals: 1102899

|rho|=195257
|called|=3393
|stable|=51838
|infl|=193899
|wpoint|=1358
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=186390
Found 7027 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=1309198.13MB, max=1633.61MB, minor=1309155.99MB, major=11817.89MB, promoted=11775.75MB
    minor collections=624315  major collections=92 compactions=0


runtime: 00:11:51.684
vars: 195953, evals: 1108626

|rho|=195953
|called|=3446
|stable|=51954
|infl|=194580
|wpoint|=1361
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187083
Found 7030 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=1315205.60MB, max=1633.61MB, minor=1315163.42MB, major=11863.34MB, promoted=11821.16MB
    minor collections=627179  major collections=92 compactions=0


runtime: 00:12:01.691
vars: 196639, evals: 1114158

|rho|=196639
|called|=3475
|stable|=52015
|infl|=195248
|wpoint|=1363
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187766
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=1321010.57MB, max=1633.61MB, minor=1320968.35MB, major=11907.89MB, promoted=11865.67MB
    minor collections=629947  major collections=92 compactions=0


runtime: 00:12:11.702
vars: 197324, evals: 1119596

|rho|=197324
|called|=3505
|stable|=52066
|infl|=195916
|wpoint|=1366
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=188448
Found 7036 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=1326714.75MB, max=1633.61MB, minor=1326672.49MB, major=11951.32MB, promoted=11909.06MB
    minor collections=632667  major collections=92 compactions=0


runtime: 00:12:21.713
vars: 197809, evals: 1123987

|rho|=197809
|called|=3531
|stable|=52126
|infl|=196396
|wpoint|=1369
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=188931
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=1331419.03MB, max=1633.61MB, minor=1331376.74MB, major=11986.72MB, promoted=11944.43MB
    minor collections=634911  major collections=92 compactions=0


runtime: 00:12:31.724
vars: 198505, evals: 1129524

|rho|=198505
|called|=3569
|stable|=52170
|infl|=197077
|wpoint|=1372
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=189624
Found 7041 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=1337267.91MB, max=1633.61MB, minor=1337225.58MB, major=12031.68MB, promoted=11989.34MB
    minor collections=637700  major collections=92 compactions=0


runtime: 00:12:41.735
vars: 199201, evals: 1134944

|rho|=199201
|called|=3608
|stable|=52230
|infl|=197758
|wpoint|=1375
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190317
Found 7044 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=1342970.69MB, max=1633.61MB, minor=1342928.31MB, major=12075.58MB, promoted=12033.20MB
    minor collections=640419  major collections=93 compactions=0


runtime: 00:12:51.747
vars: 199756, evals: 1139378

|rho|=199756
|called|=3626
|stable|=52288
|infl|=198316
|wpoint|=1376
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190870
Found 7046 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=1347689.79MB, max=1633.61MB, minor=1347647.36MB, major=12110.75MB, promoted=12068.32MB
    minor collections=642670  major collections=93 compactions=0


runtime: 00:13:01.757
vars: 200361, evals: 1144480

|rho|=200361
|called|=3684
|stable|=52335
|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=1353077.98MB, max=1633.61MB, minor=1353035.51MB, major=12151.99MB, promoted=12109.52MB
    minor collections=645239  major collections=93 compactions=0


runtime: 00:13:11.768
vars: 200995, evals: 1149233

|rho|=200995
|called|=3726
|stable|=52123
|infl|=199526
|wpoint|=1383
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192103
Found 7052 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=1358052.03MB, max=1633.61MB, minor=1358009.52MB, major=12189.86MB, promoted=12147.35MB
    minor collections=647611  major collections=93 compactions=0


runtime: 00:13:21.775
vars: 201521, evals: 1153926

|rho|=201521
|called|=3739
|stable|=52446
|infl|=200028
|wpoint|=1385
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192627
Found 7054 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=1363120.34MB, max=1633.61MB, minor=1363077.78MB, major=12228.40MB, promoted=12185.84MB
    minor collections=650028  major collections=93 compactions=0


runtime: 00:13:31.787
vars: 202155, evals: 1158702

|rho|=202155
|called|=3781
|stable|=52223
|infl|=200661
|wpoint|=1388
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=193258
Found 7057 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=1368117.20MB, max=1633.61MB, minor=1368074.60MB, major=12266.77MB, promoted=12224.16MB
    minor collections=652410  major collections=93 compactions=0


runtime: 00:13:41.818
vars: 202681, evals: 1163249

|rho|=202681
|called|=3803
|stable|=52530
|infl|=201163
|wpoint|=1390
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=193782
Found 7059 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=1373022.65MB, max=1633.61MB, minor=1372980.00MB, major=12303.96MB, promoted=12261.30MB
    minor collections=654750  major collections=93 compactions=0


runtime: 00:13:51.861
vars: 203145, evals: 1167246

|rho|=203145
|called|=3829
|stable|=52576
|infl|=201617
|wpoint|=1392
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194244
Found 7061 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=1377321.08MB, max=1633.61MB, minor=1377278.39MB, major=12335.80MB, promoted=12293.10MB
    minor collections=656799  major collections=93 compactions=0


runtime: 00:14:01.868
vars: 203700, evals: 1171523

|rho|=203700
|called|=3854
|stable|=52694
|infl|=202175
|wpoint|=1393
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194797
Found 7063 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=1381819.97MB, max=1633.61MB, minor=1381777.25MB, major=12370.15MB, promoted=12327.43MB
    minor collections=658944  major collections=93 compactions=0


runtime: 00:14:11.874
vars: 204295, evals: 1176429

|rho|=204295
|called|=3904
|stable|=52675
|infl|=202739
|wpoint|=1396
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=195389
Found 7066 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=1387010.95MB, max=1633.61MB, minor=1386968.20MB, major=12409.78MB, promoted=12367.03MB
    minor collections=661420  major collections=93 compactions=0


runtime: 00:14:21.885
vars: 204769, evals: 1180334

|rho|=204769
|called|=3920
|stable|=52716
|infl|=203206
|wpoint|=1399
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=195861
Found 7068 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=1391207.07MB, max=1633.61MB, minor=1391164.29MB, major=12441.11MB, promoted=12398.34MB
    minor collections=663421  major collections=93 compactions=0


runtime: 00:14:31.900
vars: 205233, evals: 1184126

|rho|=205233
|called|=3946
|stable|=52750
|infl|=203660
|wpoint|=1401
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=196323
Found 7070 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=1395246.31MB, max=1633.61MB, minor=1395203.50MB, major=12472.29MB, promoted=12429.48MB
    minor collections=665347  major collections=93 compactions=0


runtime: 00:14:41.907
vars: 205697, evals: 1188123

|rho|=205697
|called|=3982
|stable|=52795
|infl|=204114
|wpoint|=1403
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=196785
Found 7072 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=1399506.36MB, max=1633.61MB, minor=1399463.53MB, major=12504.37MB, promoted=12461.54MB
    minor collections=667378  major collections=93 compactions=0


runtime: 00:14:51.914
vars: 206331, evals: 1192561

|rho|=206331
|called|=3998
|stable|=52965
|infl|=204742
|wpoint|=1405
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=197416
Found 7075 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=1404139.85MB, max=1633.61MB, minor=1404096.98MB, major=12539.76MB, promoted=12496.89MB
    minor collections=669588  major collections=93 compactions=0

