./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.300
vars: 2433, evals: 3978

|rho|=2433
|called|=107
|stable|=1341
|infl|=2294
|wpoint|=6
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2115
Found 89 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_asprintf (2714) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6137:1-6151:1

Memory statistics: total=21167.18MB, max=57.06MB, minor=21157.94MB, major=205.36MB, promoted=196.12MB
    minor collections=10099  major collections=19 compactions=0


runtime: 00:00:20.323
vars: 5647, evals: 14596

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

Memory statistics: total=42365.22MB, max=99.81MB, minor=42355.25MB, major=415.17MB, promoted=405.20MB
    minor collections=20211  major collections=28 compactions=0


runtime: 00:00:30.339
vars: 7637, evals: 26246

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

Memory statistics: total=63384.17MB, max=132.00MB, minor=63373.92MB, major=645.32MB, promoted=635.08MB
    minor collections=30237  major collections=34 compactions=0


runtime: 00:00:40.362
vars: 11509, evals: 44183

|rho|=11509
|called|=73
|stable|=5469
|infl|=11435
|wpoint|=72
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10005
Found 539 contexts for 58 functions. Top 5 functions:
99	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
45	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
44	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
38	contexts for entry state of ag_realloc (2672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
31	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=83788.94MB, max=151.80MB, minor=83777.82MB, major=917.88MB, promoted=906.76MB
    minor collections=39970  major collections=41 compactions=0


runtime: 00:00:50.425
vars: 17914, evals: 62963

|rho|=17914
|called|=64
|stable|=11256
|infl|=17843
|wpoint|=106
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15953
Found 843 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=103439.81MB, max=265.50MB, minor=103427.48MB, major=1210.22MB, promoted=1197.89MB
    minor collections=49342  major collections=45 compactions=0


runtime: 00:01:00.457
vars: 22533, evals: 82002

|rho|=22533
|called|=163
|stable|=19356
|infl|=22434
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20185
Found 994 contexts for 64 functions. Top 5 functions:
153	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687: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
78	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
76	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
68	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=125576.02MB, max=305.32MB, minor=125562.73MB, major=1473.83MB, promoted=1460.54MB
    minor collections=59898  major collections=48 compactions=0


runtime: 00:01:10.473
vars: 26058, evals: 103036

|rho|=26058
|called|=83
|stable|=22800
|infl|=25959
|wpoint|=147
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23498
Found 1198 contexts for 64 functions. Top 5 functions:
176	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
101	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
98	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
94	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
91	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=152835.44MB, max=351.13MB, minor=152821.85MB, major=1725.10MB, promoted=1711.51MB
    minor collections=72898  major collections=50 compactions=0


runtime: 00:01:20.484
vars: 32030, evals: 125921

|rho|=32030
|called|=88
|stable|=26514
|infl|=31921
|wpoint|=189
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29132
Found 1466 contexts for 68 functions. Top 5 functions:
219	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
126	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
121	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
120	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
110	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=179521.93MB, max=351.13MB, minor=179507.91MB, major=1971.32MB, promoted=1957.30MB
    minor collections=85624  major collections=53 compactions=0


runtime: 00:01:30.508
vars: 37710, evals: 147504

|rho|=37710
|called|=99
|stable|=32101
|infl|=37623
|wpoint|=231
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34516
Found 1752 contexts for 68 functions. Top 5 functions:
265	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
152	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
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=205512.76MB, max=403.80MB, minor=205496.75MB, major=2216.89MB, promoted=2200.88MB
    minor collections=98018  major collections=55 compactions=0


runtime: 00:01:40.528
vars: 37952, evals: 173010

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

Memory statistics: total=231813.16MB, max=403.80MB, minor=231796.54MB, major=2445.54MB, promoted=2428.92MB
    minor collections=110560  major collections=57 compactions=0


runtime: 00:01:50.547
vars: 43880, evals: 198300

|rho|=43880
|called|=95
|stable|=38740
|infl|=43793
|wpoint|=269
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40372
Found 2050 contexts for 68 functions. Top 5 functions:
320	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
172	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
163	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
141	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=258238.26MB, max=464.37MB, minor=258221.31MB, major=2695.93MB, promoted=2678.98MB
    minor collections=123162  major collections=59 compactions=0


runtime: 00:02:00.563
vars: 49203, evals: 218835

|rho|=49203
|called|=102
|stable|=44062
|infl|=49116
|wpoint|=306
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=45448
Found 2297 contexts for 68 functions. Top 5 functions:
360	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
196	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
185	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
159	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=283434.06MB, max=464.37MB, minor=283416.86MB, major=2920.98MB, promoted=2903.78MB
    minor collections=135177  major collections=60 compactions=0


runtime: 00:02:10.582
vars: 52520, evals: 236830

|rho|=52520
|called|=52
|stable|=47423
|infl|=52445
|wpoint|=339
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=48590
Found 2472 contexts for 68 functions. Top 5 functions:
383	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
224	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
213	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
201	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
175	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=308884.54MB, max=464.37MB, minor=308867.11MB, major=3142.00MB, promoted=3124.57MB
    minor collections=147314  major collections=62 compactions=0


runtime: 00:02:20.620
vars: 55928, evals: 260388

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

Memory statistics: total=334790.75MB, max=534.03MB, minor=334773.07MB, major=3377.63MB, promoted=3359.95MB
    minor collections=159667  major collections=63 compactions=0


runtime: 00:02:30.644
vars: 61277, evals: 284016

|rho|=61277
|called|=76
|stable|=44778
|infl|=61183
|wpoint|=398
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56880
Found 2918 contexts for 68 functions. Top 5 functions:
465	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
243	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
229	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
199	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=361533.38MB, max=534.03MB, minor=361515.33MB, major=3631.13MB, promoted=3613.08MB
    minor collections=172420  major collections=65 compactions=0


runtime: 00:02:40.667
vars: 66241, evals: 303927

|rho|=66241
|called|=71
|stable|=48891
|infl|=66148
|wpoint|=432
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61604
Found 3153 contexts for 68 functions. Top 5 functions:
502	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
299	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
267	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
251	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
217	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=387276.66MB, max=614.13MB, minor=387256.32MB, major=3859.88MB, promoted=3839.54MB
    minor collections=184696  major collections=66 compactions=0


runtime: 00:02:50.699
vars: 70546, evals: 322618

|rho|=70546
|called|=82
|stable|=52973
|infl|=70459
|wpoint|=466
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=65698
Found 3364 contexts for 68 functions. Top 5 functions:
527	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
315	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
292	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
274	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
236	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=412964.37MB, max=614.13MB, minor=412942.75MB, major=4085.98MB, promoted=4064.36MB
    minor collections=196945  major collections=67 compactions=0


runtime: 00:03:00.734
vars: 74235, evals: 343152

|rho|=74235
|called|=58
|stable|=61719
|infl|=74176
|wpoint|=495
|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=439205.90MB, max=614.13MB, minor=439184.07MB, major=4326.46MB, promoted=4304.63MB
    minor collections=209458  major collections=68 compactions=0


runtime: 00:03:10.754
vars: 74235, evals: 368664

|rho|=74235
|called|=105
|stable|=57513
|infl|=74178
|wpoint|=498
|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=465578.85MB, max=614.13MB, minor=465556.93MB, major=4547.35MB, promoted=4525.42MB
    minor collections=222035  major collections=70 compactions=0


runtime: 00:03:20.770
vars: 74547, evals: 394391

|rho|=74547
|called|=24
|stable|=64533
|infl|=74490
|wpoint|=501
|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=491674.80MB, max=706.25MB, minor=491652.79MB, major=4768.50MB, promoted=4746.49MB
    minor collections=234479  major collections=71 compactions=0


runtime: 00:03:30.781
vars: 80271, evals: 414679

|rho|=80271
|called|=61
|stable|=16967
|infl|=80184
|wpoint|=564
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=74644
Found 3853 contexts for 80 functions. Top 5 functions:
656	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
415	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=516744.33MB, max=706.25MB, minor=516722.05MB, major=5019.17MB, promoted=4996.90MB
    minor collections=246434  major collections=72 compactions=0


runtime: 00:03:40.793
vars: 86763, evals: 433442

|rho|=86763
|called|=74
|stable|=23428
|infl|=86687
|wpoint|=651
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=80723
Found 4243 contexts for 80 functions. Top 5 functions:
796	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
541	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=541658.85MB, max=706.25MB, minor=541636.24MB, major=5292.27MB, promoted=5269.67MB
    minor collections=258315  major collections=73 compactions=0


runtime: 00:03:50.820
vars: 90432, evals: 450234

|rho|=90432
|called|=68
|stable|=23608
|infl|=90348
|wpoint|=686
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=84192
Found 4427 contexts for 80 functions. Top 5 functions:
828	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
317	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
297	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
254	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=566368.01MB, max=706.25MB, minor=566345.21MB, major=5539.16MB, promoted=5516.36MB
    minor collections=270098  major collections=74 compactions=0


runtime: 00:04:00.836
vars: 94987, evals: 467298

|rho|=94987
|called|=113
|stable|=27398
|infl|=94911
|wpoint|=714
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=88538
Found 4636 contexts for 80 functions. Top 5 functions:
854	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
576	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
341	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
319	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
271	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=590904.66MB, max=812.19MB, minor=590881.67MB, major=5761.96MB, promoted=5738.97MB
    minor collections=281798  major collections=75 compactions=0


runtime: 00:04:10.867
vars: 99572, evals: 484891

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

Memory statistics: total=615561.55MB, max=812.19MB, minor=615533.97MB, major=6007.11MB, promoted=5979.54MB
    minor collections=293554  major collections=76 compactions=0


runtime: 00:04:20.882
vars: 104605, evals: 502101

|rho|=104605
|called|=65
|stable|=37085
|infl|=104529
|wpoint|=786
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=97689
Found 5098 contexts for 80 functions. Top 5 functions:
936	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
631	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
375	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
350	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
295	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=639856.65MB, max=812.19MB, minor=639828.54MB, major=6239.13MB, promoted=6211.03MB
    minor collections=305140  major collections=77 compactions=0


runtime: 00:04:30.894
vars: 107435, evals: 518713

|rho|=107435
|called|=69
|stable|=18307
|infl|=107343
|wpoint|=826
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=100345
Found 5250 contexts for 80 functions. Top 5 functions:
970	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
650	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=664493.44MB, max=934.02MB, minor=664464.90MB, major=6466.88MB, promoted=6438.34MB
    minor collections=316888  major collections=78 compactions=0


runtime: 00:04:40.922
vars: 113865, evals: 535906

|rho|=113865
|called|=87
|stable|=24494
|infl|=113776
|wpoint|=904
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=106388
Found 5637 contexts for 80 functions. Top 5 functions:
1107	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
772	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=689162.67MB, max=934.02MB, minor=689133.55MB, major=6755.21MB, promoted=6726.09MB
    minor collections=328652  major collections=79 compactions=0


runtime: 00:04:50.941
vars: 117726, evals: 551482

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

Memory statistics: total=714194.63MB, max=934.02MB, minor=714165.10MB, major=7036.66MB, promoted=7007.13MB
    minor collections=340588  major collections=80 compactions=0


runtime: 00:05:00.952
vars: 123488, evals: 569581

|rho|=123488
|called|=109
|stable|=34322
|infl|=123395
|wpoint|=1006
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=115505
Found 6143 contexts for 80 functions. Top 5 functions:
1230	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
869	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
402	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
375	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
314	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=738917.48MB, max=934.02MB, minor=738887.47MB, major=7283.97MB, promoted=7253.96MB
    minor collections=352378  major collections=81 compactions=0


runtime: 00:05:10.984
vars: 126705, evals: 584813

|rho|=126705
|called|=97
|stable|=37569
|infl|=126605
|wpoint|=1034
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=118571
Found 6294 contexts for 80 functions. Top 5 functions:
1254	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
882	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
418	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
390	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
329	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=764152.93MB, max=1074.12MB, minor=764122.68MB, major=7492.82MB, promoted=7462.58MB
    minor collections=364411  major collections=81 compactions=0


runtime: 00:05:21.003
vars: 131678, evals: 601920

|rho|=131678
|called|=85
|stable|=42521
|infl|=131585
|wpoint|=1063
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=123306
Found 6532 contexts for 80 functions. Top 5 functions:
1290	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
906	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
439	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
409	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
343	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=788254.46MB, max=1074.12MB, minor=788219.46MB, major=7743.49MB, promoted=7708.49MB
    minor collections=375902  major collections=82 compactions=0


runtime: 00:05:31.015
vars: 135268, evals: 616961

|rho|=135268
|called|=72
|stable|=46013
|infl|=135187
|wpoint|=1092
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=126711
Found 6717 contexts for 80 functions. Top 5 functions:
1320	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
454	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
423	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
355	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=812560.94MB, max=1074.12MB, minor=812525.61MB, major=7968.31MB, promoted=7932.99MB
    minor collections=387493  major collections=83 compactions=0


runtime: 00:05:41.042
vars: 138495, evals: 641006

|rho|=138495
|called|=193
|stable|=47085
|infl|=138367
|wpoint|=1113
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=129873
Found 6782 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=839230.76MB, max=1074.12MB, minor=839195.15MB, major=8181.11MB, promoted=8145.50MB
    minor collections=400211  major collections=84 compactions=0


runtime: 00:05:51.073
vars: 141603, evals: 666468

|rho|=141603
|called|=386
|stable|=47140
|infl|=141414
|wpoint|=1127
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=132967
Found 6796 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=864248.72MB, max=1235.24MB, minor=864210.70MB, major=8379.18MB, promoted=8341.16MB
    minor collections=412140  major collections=84 compactions=0


runtime: 00:06:01.081
vars: 144759, evals: 692059

|rho|=144759
|called|=548
|stable|=47578
|infl|=144502
|wpoint|=1140
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=136110
Found 6809 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=889589.94MB, max=1235.24MB, minor=889551.64MB, major=8577.35MB, promoted=8539.06MB
    minor collections=424224  major collections=85 compactions=0


runtime: 00:06:11.108
vars: 147635, evals: 715336

|rho|=147635
|called|=710
|stable|=47534
|infl|=147316
|wpoint|=1152
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=138973
Found 6822 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=912617.66MB, max=1235.24MB, minor=912579.10MB, major=8757.42MB, promoted=8718.86MB
    minor collections=435205  major collections=85 compactions=0


runtime: 00:06:21.119
vars: 150460, evals: 738479

|rho|=150460
|called|=883
|stable|=47987
|infl|=150063
|wpoint|=1164
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=141786
Found 6834 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=935665.94MB, max=1235.24MB, minor=935627.15MB, major=8936.54MB, promoted=8897.75MB
    minor collections=446195  major collections=86 compactions=0


runtime: 00:06:31.135
vars: 153033, evals: 759532

|rho|=153033
|called|=1035
|stable|=48255
|infl|=152585
|wpoint|=1176
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=144348
Found 6845 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=956706.13MB, max=1235.24MB, minor=956667.10MB, major=9099.32MB, promoted=9060.28MB
    minor collections=456228  major collections=86 compactions=0


runtime: 00:06:41.162
vars: 155585, evals: 780288

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

Memory statistics: total=977467.99MB, max=1235.24MB, minor=977428.76MB, major=9260.68MB, promoted=9221.46MB
    minor collections=466129  major collections=86 compactions=0


runtime: 00:06:51.173
vars: 157905, evals: 799412

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

Memory statistics: total=996722.97MB, max=1235.24MB, minor=996683.55MB, major=9409.12MB, promoted=9369.71MB
    minor collections=475311  major collections=87 compactions=0


runtime: 00:07:01.197
vars: 160163, evals: 817547

|rho|=160163
|called|=1407
|stable|=48825
|infl|=159574
|wpoint|=1206
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=151447
Found 6876 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=1014986.39MB, max=1420.53MB, minor=1014946.79MB, major=9551.08MB, promoted=9511.48MB
    minor collections=484019  major collections=87 compactions=0


runtime: 00:07:11.212
vars: 162313, evals: 835081

|rho|=162313
|called|=1545
|stable|=49013
|infl|=161665
|wpoint|=1216
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=153588
Found 6885 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=1032680.33MB, max=1420.53MB, minor=1032640.58MB, major=9687.49MB, promoted=9647.75MB
    minor collections=492457  major collections=87 compactions=0


runtime: 00:07:21.224
vars: 164339, evals: 851121

|rho|=164339
|called|=1677
|stable|=48963
|infl|=163660
|wpoint|=1225
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155605
Found 6894 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=1048840.90MB, max=1420.53MB, minor=1048800.99MB, major=9813.25MB, promoted=9773.35MB
    minor collections=500163  major collections=88 compactions=0


runtime: 00:07:31.251
vars: 166195, evals: 866121

|rho|=166195
|called|=1745
|stable|=49061
|infl|=165476
|wpoint|=1232
|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=1064127.89MB, max=1420.53MB, minor=1064087.83MB, major=9931.49MB, promoted=9891.43MB
    minor collections=507453  major collections=88 compactions=0


runtime: 00:07:41.262
vars: 168038, evals: 881113

|rho|=168038
|called|=1848
|stable|=49631
|infl|=167283
|wpoint|=1240
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159289
Found 6909 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=1079398.60MB, max=1420.53MB, minor=1079358.42MB, major=10049.70MB, promoted=10009.52MB
    minor collections=514734  major collections=88 compactions=0


runtime: 00:07:51.273
vars: 169727, evals: 895227

|rho|=169727
|called|=1962
|stable|=49656
|infl|=168915
|wpoint|=1247
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160970
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=1093811.10MB, max=1420.53MB, minor=1093770.80MB, major=10160.62MB, promoted=10120.32MB
    minor collections=521607  major collections=89 compactions=0


runtime: 00:08:01.285
vars: 171299, evals: 908049

|rho|=171299
|called|=2041
|stable|=49711
|infl|=170470
|wpoint|=1254
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162535
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=1106893.02MB, max=1420.53MB, minor=1106852.56MB, major=10261.83MB, promoted=10221.37MB
    minor collections=527845  major collections=89 compactions=0


runtime: 00:08:11.308
vars: 172753, evals: 919928

|rho|=172753
|called|=2126
|stable|=49956
|infl|=171880
|wpoint|=1261
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=163983
Found 6930 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=1119083.21MB, max=1420.53MB, minor=1119042.63MB, major=10355.18MB, promoted=10314.60MB
    minor collections=533658  major collections=89 compactions=0


runtime: 00:08:21.335
vars: 174145, evals: 931491

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

Memory statistics: total=1130913.97MB, max=1420.53MB, minor=1130873.30MB, major=10446.12MB, promoted=10405.45MB
    minor collections=539300  major collections=89 compactions=0


runtime: 00:08:31.343
vars: 175537, evals: 942814

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

Memory statistics: total=1142485.90MB, max=1420.53MB, minor=1142445.15MB, major=10535.80MB, promoted=10495.05MB
    minor collections=544818  major collections=89 compactions=0


runtime: 00:08:41.354
vars: 176919, evals: 953763

|rho|=176919
|called|=2371
|stable|=50315
|infl|=175953
|wpoint|=1278
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=168131
Found 6948 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=1153689.46MB, max=1420.53MB, minor=1153648.60MB, major=10623.08MB, promoted=10582.23MB
    minor collections=550161  major collections=90 compactions=0


runtime: 00:08:51.365
vars: 178089, evals: 963449

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

Memory statistics: total=1163753.46MB, max=1420.53MB, minor=1163712.51MB, major=10699.62MB, promoted=10658.68MB
    minor collections=554960  major collections=90 compactions=0


runtime: 00:09:01.376
vars: 179249, evals: 972903

|rho|=179249
|called|=2490
|stable|=50510
|infl|=178236
|wpoint|=1289
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=170451
Found 6958 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=1173549.13MB, max=1420.53MB, minor=1173508.10MB, major=10774.61MB, promoted=10733.57MB
    minor collections=559631  major collections=90 compactions=0


runtime: 00:09:11.415
vars: 180409, evals: 982209

|rho|=180409
|called|=2556
|stable|=50626
|infl|=179371
|wpoint|=1294
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=171606
Found 6963 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=1183153.16MB, max=1420.53MB, minor=1183112.04MB, major=10848.76MB, promoted=10807.64MB
    minor collections=564210  major collections=90 compactions=0


runtime: 00:09:21.427
vars: 181559, evals: 991405

|rho|=181559
|called|=2621
|stable|=50716
|infl|=180492
|wpoint|=1298
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=172751
Found 6968 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=1192599.84MB, max=1420.53MB, minor=1192558.66MB, major=10921.66MB, promoted=10880.48MB
    minor collections=568715  major collections=90 compactions=0


runtime: 00:09:31.434
vars: 182575, evals: 999554

|rho|=182575
|called|=2663
|stable|=50885
|infl|=181497
|wpoint|=1302
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=173763
Found 6972 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=1201078.09MB, max=1420.53MB, minor=1201036.85MB, major=10986.39MB, promoted=10945.15MB
    minor collections=572758  major collections=90 compactions=0


runtime: 00:09:41.441
vars: 183647, evals: 1008388

|rho|=183647
|called|=2738
|stable|=50896
|infl|=182535
|wpoint|=1307
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=174830
Found 6977 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=1210142.30MB, max=1420.53MB, minor=1210100.98MB, major=11056.93MB, promoted=11015.61MB
    minor collections=577080  major collections=91 compactions=0


runtime: 00:09:51.452
vars: 184575, evals: 1015998

|rho|=184575
|called|=2794
|stable|=50939
|infl|=183443
|wpoint|=1311
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=175754
Found 6981 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=1218026.59MB, max=1420.53MB, minor=1217985.20MB, major=11117.12MB, promoted=11075.73MB
    minor collections=580840  major collections=91 compactions=0


runtime: 00:10:01.460
vars: 185503, evals: 1023484

|rho|=185503
|called|=2842
|stable|=51056
|infl|=184351
|wpoint|=1315
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=176678
Found 6985 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=1225812.17MB, max=1420.53MB, minor=1225770.71MB, major=11176.89MB, promoted=11135.43MB
    minor collections=584552  major collections=91 compactions=0


runtime: 00:10:11.471
vars: 186420, evals: 1030907

|rho|=186420
|called|=2894
|stable|=51126
|infl|=185247
|wpoint|=1319
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=177591
Found 6989 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=1233565.17MB, max=1420.53MB, minor=1233523.63MB, major=11236.60MB, promoted=11195.06MB
    minor collections=588249  major collections=91 compactions=0


runtime: 00:10:21.498
vars: 187137, evals: 1037174

|rho|=187137
|called|=2932
|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=1240196.11MB, max=1633.61MB, minor=1240154.51MB, major=11286.82MB, promoted=11245.22MB
    minor collections=591411  major collections=91 compactions=0


runtime: 00:10:31.514
vars: 188065, evals: 1044470

|rho|=188065
|called|=2984
|stable|=51276
|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=1247783.52MB, max=1633.61MB, minor=1247741.87MB, major=11345.60MB, promoted=11303.95MB
    minor collections=595029  major collections=91 compactions=0


runtime: 00:10:41.521
vars: 188931, evals: 1051211

|rho|=188931
|called|=3060
|stable|=51083
|infl|=187722
|wpoint|=1331
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=180091
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=1254704.75MB, max=1633.61MB, minor=1254663.05MB, major=11398.74MB, promoted=11357.04MB
    minor collections=598330  major collections=91 compactions=0


runtime: 00:10:51.532
vars: 189689, evals: 1057677

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

Memory statistics: total=1261554.15MB, max=1633.61MB, minor=1261512.40MB, major=11450.55MB, promoted=11408.81MB
    minor collections=601596  major collections=91 compactions=0


runtime: 00:11:01.543
vars: 190385, evals: 1063556

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

Memory statistics: total=1267776.51MB, max=1633.61MB, minor=1267734.72MB, major=11497.63MB, promoted=11455.84MB
    minor collections=604563  major collections=91 compactions=0


runtime: 00:11:11.551
vars: 191081, evals: 1069264

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

Memory statistics: total=1273761.69MB, max=1633.61MB, minor=1273719.86MB, major=11543.51MB, promoted=11501.68MB
    minor collections=607417  major collections=92 compactions=0


runtime: 00:11:21.558
vars: 191947, evals: 1075913

|rho|=191947
|called|=3206
|stable|=51480
|infl|=190673
|wpoint|=1344
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=183094
Found 7013 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=1280672.39MB, max=1633.61MB, minor=1280630.49MB, major=11596.40MB, promoted=11554.51MB
    minor collections=610713  major collections=92 compactions=0


runtime: 00:11:31.569
vars: 192643, evals: 1081608

|rho|=192643
|called|=3243
|stable|=51540
|infl|=191354
|wpoint|=1347
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=183787
Found 7016 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=1286680.65MB, max=1633.61MB, minor=1286638.71MB, major=11642.20MB, promoted=11600.26MB
    minor collections=613578  major collections=92 compactions=0


runtime: 00:11:41.581
vars: 193339, evals: 1087030

|rho|=193339
|called|=3310
|stable|=51463
|infl|=192035
|wpoint|=1350
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=184480
Found 7019 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=1292363.36MB, max=1633.61MB, minor=1292321.36MB, major=11685.16MB, promoted=11643.16MB
    minor collections=616287  major collections=92 compactions=0


runtime: 00:11:51.592
vars: 193865, evals: 1091908

|rho|=193865
|called|=3309
|stable|=51786
|infl|=192537
|wpoint|=1352
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=185004
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=1297645.41MB, max=1633.61MB, minor=1297603.37MB, major=11724.72MB, promoted=11682.68MB
    minor collections=618806  major collections=92 compactions=0


runtime: 00:12:01.615
vars: 194561, evals: 1097427

|rho|=194561
|called|=3348
|stable|=51836
|infl|=193218
|wpoint|=1355
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=185697
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=1303457.95MB, max=1633.61MB, minor=1303415.85MB, major=11769.42MB, promoted=11727.32MB
    minor collections=621578  major collections=92 compactions=0


runtime: 00:12:11.642
vars: 195257, evals: 1102965

|rho|=195257
|called|=3407
|stable|=51894
|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=1309197.68MB, max=1633.61MB, minor=1309155.54MB, major=11813.60MB, promoted=11771.45MB
    minor collections=624315  major collections=92 compactions=0


runtime: 00:12:21.653
vars: 195932, evals: 1108368

|rho|=195932
|called|=3436
|stable|=51944
|infl|=194556
|wpoint|=1360
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187062
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=1314856.33MB, max=1633.61MB, minor=1314814.15MB, major=11857.00MB, promoted=11814.82MB
    minor collections=627013  major collections=92 compactions=0


runtime: 00:12:31.661
vars: 196417, evals: 1112664

|rho|=196417
|called|=3456
|stable|=52005
|infl|=195034
|wpoint|=1363
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187545
Found 7032 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=1319414.24MB, max=1633.61MB, minor=1319372.03MB, major=11891.29MB, promoted=11849.08MB
    minor collections=629186  major collections=92 compactions=0


runtime: 00:12:41.668
vars: 197113, evals: 1118081

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

Memory statistics: total=1325085.74MB, max=1633.61MB, minor=1325043.49MB, major=11935.24MB, promoted=11893.00MB
    minor collections=631891  major collections=92 compactions=0


runtime: 00:12:51.679
vars: 197788, evals: 1123464

|rho|=197788
|called|=3540
|stable|=52104
|infl|=196372
|wpoint|=1368
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=188910
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=1330718.57MB, max=1633.61MB, minor=1330676.28MB, major=11978.49MB, promoted=11936.19MB
    minor collections=634577  major collections=92 compactions=0


runtime: 00:13:01.686
vars: 198273, evals: 1127714

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

Memory statistics: total=1335272.26MB, max=1633.61MB, minor=1335229.93MB, major=12012.78MB, promoted=11970.46MB
    minor collections=636748  major collections=92 compactions=0


runtime: 00:13:11.698
vars: 198959, evals: 1133027

|rho|=198959
|called|=3615
|stable|=52214
|infl|=197518
|wpoint|=1373
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190076
Found 7043 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=1340839.58MB, max=1633.61MB, minor=1340797.21MB, major=12055.38MB, promoted=12013.01MB
    minor collections=639404  major collections=93 compactions=0


runtime: 00:13:21.701
vars: 199433, evals: 1137174

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

Memory statistics: total=1345298.50MB, max=1633.61MB, minor=1345256.09MB, major=12089.03MB, promoted=12046.62MB
    minor collections=641530  major collections=93 compactions=0


runtime: 00:13:31.712
vars: 200108, evals: 1142334

|rho|=200108
|called|=3670
|stable|=52304
|infl|=198642
|wpoint|=1378
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=191220
Found 7048 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=1350709.63MB, max=1633.61MB, minor=1350667.17MB, major=12131.12MB, promoted=12088.65MB
    minor collections=644110  major collections=93 compactions=0


runtime: 00:13:41.715
vars: 200593, evals: 1146427

|rho|=200593
|called|=3691
|stable|=52304
|infl|=199120
|wpoint|=1381
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=191703
Found 7050 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=1355082.59MB, max=1633.61MB, minor=1355040.09MB, major=12164.09MB, promoted=12121.59MB
    minor collections=646195  major collections=93 compactions=0


runtime: 00:13:51.727
vars: 201057, evals: 1150384

|rho|=201057
|called|=3712
|stable|=52396
|infl|=199574
|wpoint|=1383
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192165
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=1359323.66MB, max=1633.61MB, minor=1359281.12MB, major=12195.73MB, promoted=12153.19MB
    minor collections=648218  major collections=93 compactions=0


runtime: 00:14:01.734
vars: 201721, evals: 1155368

|rho|=201721
|called|=3753
|stable|=52365
|infl|=200219
|wpoint|=1385
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192826
Found 7055 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=1364562.66MB, max=1633.61MB, minor=1364520.07MB, major=12236.86MB, promoted=12194.27MB
    minor collections=650716  major collections=93 compactions=0


runtime: 00:14:11.757
vars: 202207, evals: 1159447

|rho|=202207
|called|=3777
|stable|=52496
|infl|=200696
|wpoint|=1387
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=193310
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=1368913.48MB, max=1633.61MB, minor=1368870.85MB, major=12269.40MB, promoted=12226.77MB
    minor collections=652790  major collections=93 compactions=0


runtime: 00:14:21.784
vars: 202681, evals: 1163446

|rho|=202681
|called|=3803
|stable|=52520
|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=1373171.78MB, max=1633.61MB, minor=1373129.12MB, major=12301.65MB, promoted=12258.99MB
    minor collections=654821  major collections=93 compactions=0


runtime: 00:14:31.792
vars: 203145, evals: 1167365

|rho|=203145
|called|=3849
|stable|=52574
|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=1377331.09MB, max=1633.61MB, minor=1377288.41MB, major=12333.03MB, promoted=12290.35MB
    minor collections=656804  major collections=93 compactions=0


runtime: 00:14:41.803
vars: 203609, evals: 1171151

|rho|=203609
|called|=3855
|stable|=52626
|infl|=202071
|wpoint|=1394
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194706
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=1381370.78MB, max=1633.61MB, minor=1381328.08MB, major=12363.74MB, promoted=12321.04MB
    minor collections=658731  major collections=93 compactions=0


runtime: 00:14:51.807
vars: 204164, evals: 1175260

|rho|=204164
|called|=3874
|stable|=52697
|infl|=202629
|wpoint|=1395
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=195259
Found 7065 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=1385686.97MB, max=1633.61MB, minor=1385644.24MB, major=12396.98MB, promoted=12354.24MB
    minor collections=660789  major collections=93 compactions=0

