./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.295
vars: 2448, evals: 4064

|rho|=2448
|called|=108
|stable|=1428
|infl|=2307
|wpoint|=5
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2127
Found 91 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
14	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
8	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
6	contexts for entry state of is_fnmatch (2685) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5938:1-5953:1
4	contexts for entry state of ag_strdup (3017) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5315:1-5328:1

Memory statistics: total=21671.12MB, max=57.06MB, minor=21661.87MB, major=208.76MB, promoted=199.52MB
    minor collections=10339  major collections=19 compactions=0


runtime: 00:00:20.310
vars: 5706, evals: 16263

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

Memory statistics: total=43626.77MB, max=99.81MB, minor=43616.77MB, major=432.07MB, promoted=422.07MB
    minor collections=20813  major collections=28 compactions=0


runtime: 00:00:30.326
vars: 7696, evals: 29474

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

Memory statistics: total=65766.37MB, max=132.00MB, minor=65756.10MB, major=672.82MB, promoted=662.55MB
    minor collections=31373  major collections=35 compactions=0


runtime: 00:00:40.350
vars: 12752, evals: 47212

|rho|=12752
|called|=69
|stable|=6750
|infl|=12675
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=11051
Found 596 contexts for 59 functions. Top 5 functions:
105	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
49	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
45	contexts for entry state of die (3037) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:6152:1-6162:1
39	contexts for entry state of ag_realloc (2672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:5287:1-5300:1
36	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1

Memory statistics: total=86708.25MB, max=174.57MB, minor=86697.00MB, major=962.53MB, promoted=951.28MB
    minor collections=41362  major collections=42 compactions=0


runtime: 00:00:50.397
vars: 18384, evals: 66696

|rho|=18384
|called|=439
|stable|=12605
|infl|=18325
|wpoint|=103
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=16393
Found 846 contexts for 61 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=107118.48MB, max=305.32MB, minor=107105.83MB, major=1257.66MB, promoted=1245.01MB
    minor collections=51096  major collections=45 compactions=0


runtime: 00:01:00.417
vars: 22997, evals: 86108

|rho|=22997
|called|=100
|stable|=19693
|infl|=22898
|wpoint|=126
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20599
Found 1038 contexts for 64 functions. Top 5 functions:
155	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
85	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
83	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
81	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
77	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=131593.00MB, max=305.32MB, minor=131579.63MB, major=1523.87MB, promoted=1510.50MB
    minor collections=62767  major collections=48 compactions=0


runtime: 00:01:10.429
vars: 27763, evals: 108833

|rho|=27763
|called|=141
|stable|=23655
|infl|=27676
|wpoint|=154
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=25128
Found 1266 contexts for 64 functions. Top 5 functions:
182	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
112	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
108	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
98	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
97	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1

Memory statistics: total=158971.13MB, max=351.13MB, minor=158957.46MB, major=1773.98MB, promoted=1760.31MB
    minor collections=75824  major collections=51 compactions=0


runtime: 00:01:20.469
vars: 34200, evals: 132339

|rho|=34200
|called|=155
|stable|=28605
|infl|=34101
|wpoint|=199
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31192
Found 1576 contexts for 68 functions. Top 5 functions:
236	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
136	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
131	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
130	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
117	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=186076.48MB, max=351.13MB, minor=186061.26MB, major=2036.18MB, promoted=2020.96MB
    minor collections=88749  major collections=53 compactions=0


runtime: 00:01:30.497
vars: 37923, evals: 153424

|rho|=37923
|called|=79
|stable|=21009
|infl|=37855
|wpoint|=237
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34710
Found 1764 contexts for 68 functions. Top 5 functions:
268	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=212688.75MB, max=403.80MB, minor=212672.18MB, major=2277.54MB, promoted=2260.97MB
    minor collections=101440  major collections=55 compactions=0


runtime: 00:01:40.509
vars: 38971, evals: 181813

|rho|=38971
|called|=82
|stable|=33869
|infl|=38874
|wpoint|=239
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35699
Found 1814 contexts for 68 functions. Top 5 functions:
284	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
162	contexts 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=240089.82MB, max=403.80MB, minor=240073.14MB, major=2514.54MB, promoted=2497.86MB
    minor collections=114507  major collections=57 compactions=0


runtime: 00:01:50.532
vars: 44149, evals: 203079

|rho|=44149
|called|=77
|stable|=38932
|infl|=44062
|wpoint|=277
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40616
Found 2075 contexts for 68 functions. Top 5 functions:
321	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
186	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
176	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
167	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
147	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=266639.17MB, max=464.37MB, minor=266622.21MB, major=2759.78MB, promoted=2742.82MB
    minor collections=127168  major collections=59 compactions=0


runtime: 00:02:00.560
vars: 50012, evals: 225232

|rho|=50012
|called|=101
|stable|=44905
|infl|=49915
|wpoint|=318
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46211
Found 2343 contexts for 68 functions. Top 5 functions:
364	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
212	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
201	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
190	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
166	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=293389.56MB, max=464.37MB, minor=293372.28MB, major=3001.42MB, promoted=2984.14MB
    minor collections=139925  major collections=61 compactions=0


runtime: 00:02:10.576
vars: 55721, evals: 246850

|rho|=55721
|called|=146
|stable|=50525
|infl|=55646
|wpoint|=359
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51634
Found 2629 contexts for 68 functions. Top 5 functions:
410	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
244	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
225	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
212	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=320151.59MB, max=534.03MB, minor=320133.97MB, major=3250.81MB, promoted=3233.20MB
    minor collections=152686  major collections=62 compactions=0


runtime: 00:02:20.588
vars: 59215, evals: 273406

|rho|=59215
|called|=101
|stable|=42462
|infl|=59128
|wpoint|=379
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54928
Found 2808 contexts for 68 functions. Top 5 functions:
446	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
265	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
238	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
224	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
192	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=347375.90MB, max=534.03MB, minor=347357.98MB, major=3498.17MB, promoted=3480.25MB
    minor collections=165669  major collections=64 compactions=0


runtime: 00:02:30.604
vars: 63046, evals: 292891

|rho|=63046
|called|=58
|stable|=45696
|infl|=62967
|wpoint|=411
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=58575
Found 2992 contexts for 68 functions. Top 5 functions:
471	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
281	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
255	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
240	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
208	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=374222.89MB, max=534.03MB, minor=374204.79MB, major=3731.24MB, promoted=3713.14MB
    minor collections=178471  major collections=65 compactions=0


runtime: 00:02:40.620
vars: 68681, evals: 314397

|rho|=68681
|called|=102
|stable|=51324
|infl|=68586
|wpoint|=451
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63935
Found 3262 contexts for 68 functions. Top 5 functions:
513	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
306	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
280	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
263	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
227	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=401015.10MB, max=614.13MB, minor=400994.63MB, major=3982.36MB, promoted=3961.89MB
    minor collections=191247  major collections=67 compactions=0


runtime: 00:02:50.635
vars: 73936, evals: 334682

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

Memory statistics: total=427794.57MB, max=614.13MB, minor=427772.79MB, major=4220.53MB, promoted=4198.75MB
    minor collections=204017  major collections=68 compactions=0


runtime: 00:03:00.655
vars: 74235, evals: 357521

|rho|=74235
|called|=73
|stable|=47045
|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=454315.07MB, max=706.25MB, minor=454293.19MB, major=4450.90MB, promoted=4429.03MB
    minor collections=216663  major collections=69 compactions=0


runtime: 00:03:10.671
vars: 74547, evals: 384341

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

Memory statistics: total=481227.87MB, max=706.25MB, minor=481205.89MB, major=4680.52MB, promoted=4658.55MB
    minor collections=229497  major collections=70 compactions=0


runtime: 00:03:20.679
vars: 79062, evals: 409280

|rho|=79062
|called|=75
|stable|=15733
|infl|=78971
|wpoint|=542
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=73519
Found 3784 contexts for 80 functions. Top 5 functions:
639	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
402	contexts 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=508185.08MB, max=706.25MB, minor=508162.89MB, major=4921.67MB, promoted=4899.48MB
    minor collections=242352  major collections=71 compactions=0


runtime: 00:03:30.691
vars: 83673, evals: 426368

|rho|=83673
|called|=82
|stable|=20067
|infl|=83604
|wpoint|=618
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=77836
Found 4049 contexts for 80 functions. Top 5 functions:
726	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
478	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
305	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
286	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
245	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=533387.66MB, max=706.25MB, minor=533365.21MB, major=5197.45MB, promoted=5174.99MB
    minor collections=254371  major collections=73 compactions=0


runtime: 00:03:40.718
vars: 90320, evals: 446150

|rho|=90320
|called|=118
|stable|=23250
|infl|=90232
|wpoint|=678
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=84090
Found 4417 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
315	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
295	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
252	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=558676.84MB, max=706.25MB, minor=558654.05MB, major=5472.43MB, promoted=5449.64MB
    minor collections=266430  major collections=74 compactions=0


runtime: 00:03:50.738
vars: 93289, evals: 461721

|rho|=93289
|called|=81
|stable|=26507
|infl|=93201
|wpoint|=709
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=86908
Found 4568 contexts for 80 functions. Top 5 functions:
848	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
573	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
330	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
309	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
264	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=584047.15MB, max=706.25MB, minor=584024.20MB, major=5696.31MB, promoted=5673.36MB
    minor collections=278529  major collections=75 compactions=0


runtime: 00:04:00.758
vars: 98609, evals: 480697

|rho|=98609
|called|=143
|stable|=31053
|infl|=98521
|wpoint|=741
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=91977
Found 4814 contexts for 80 functions. Top 5 functions:
888	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
597	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
354	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
331	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
282	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=609305.63MB, max=812.19MB, minor=609278.19MB, major=5940.91MB, promoted=5913.47MB
    minor collections=290571  major collections=76 compactions=0


runtime: 00:04:10.774
vars: 102245, evals: 496653

|rho|=102245
|called|=87
|stable|=34777
|infl|=102161
|wpoint|=774
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=95445
Found 4982 contexts for 80 functions. Top 5 functions:
913	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
613	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
367	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
343	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
292	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=633885.60MB, max=812.19MB, minor=633857.73MB, major=6170.01MB, promoted=6142.14MB
    minor collections=302293  major collections=77 compactions=0


runtime: 00:04:20.795
vars: 105230, evals: 512927

|rho|=105230
|called|=56
|stable|=41930
|infl|=105169
|wpoint|=814
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=98264
Found 5143 contexts for 80 functions. Top 5 functions:
942	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
632	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
380	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
355	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
301	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=658810.55MB, max=812.19MB, minor=658782.19MB, major=6412.84MB, promoted=6384.48MB
    minor collections=314178  major collections=78 compactions=0


runtime: 00:04:30.819
vars: 112574, evals: 532559

|rho|=112574
|called|=63
|stable|=23446
|infl|=112489
|wpoint|=888
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=105169
Found 5565 contexts for 80 functions. Top 5 functions:
1083	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
751	contexts 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=684224.25MB, max=934.02MB, minor=684195.25MB, major=6696.15MB, promoted=6667.15MB
    minor collections=326297  major collections=79 compactions=0


runtime: 00:04:40.835
vars: 117661, evals: 549238

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

Memory statistics: total=709380.47MB, max=934.02MB, minor=709350.99MB, major=6980.91MB, promoted=6951.42MB
    minor collections=338293  major collections=80 compactions=0


runtime: 00:04:50.851
vars: 121892, evals: 565746

|rho|=121892
|called|=113
|stable|=32762
|infl|=121791
|wpoint|=999
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=113986
Found 6066 contexts for 80 functions. Top 5 functions:
1217	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
860	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
394	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
368	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
311	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=734052.37MB, max=934.02MB, minor=734022.47MB, major=7235.96MB, promoted=7206.06MB
    minor collections=350058  major collections=81 compactions=0


runtime: 00:05:00.879
vars: 125516, evals: 581104

|rho|=125516
|called|=145
|stable|=36307
|infl|=125435
|wpoint|=1023
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=117435
Found 6241 contexts for 80 functions. Top 5 functions:
1237	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
872	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
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=758601.98MB, max=1074.12MB, minor=758571.86MB, major=7441.95MB, promoted=7411.83MB
    minor collections=361764  major collections=81 compactions=0


runtime: 00:05:10.915
vars: 130074, evals: 597809

|rho|=130074
|called|=110
|stable|=40943
|infl|=129973
|wpoint|=1057
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=121780
Found 6454 contexts for 80 functions. Top 5 functions:
1277	contexts for entry state of vplog (2854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1657:1-1687:1
897	contexts for entry state of log_debug (2646) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:1613:1-1623:1
431	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
402	contexts for entry state of print_path (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3095:1-3123:1
339	contexts for entry state of print_line_number (3235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3426:1-3443:1

Memory statistics: total=783187.13MB, max=1074.12MB, minor=783156.44MB, major=7687.04MB, promoted=7656.35MB
    minor collections=373488  major collections=82 compactions=0


runtime: 00:05:20.926
vars: 135052, evals: 614565

|rho|=135052
|called|=98
|stable|=45885
|infl|=134969
|wpoint|=1092
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=126516
Found 6696 contexts for 80 functions. Top 5 functions:
1319	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
451	contexts for entry state of normalize_path (3250) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c:3473:1-3494:1
420	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
351	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=807988.40MB, max=1074.12MB, minor=807953.11MB, major=7927.40MB, promoted=7892.11MB
    minor collections=385313  major collections=83 compactions=0


runtime: 00:05:30.966
vars: 137878, evals: 635844

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

Memory statistics: total=834029.72MB, max=1074.12MB, minor=833994.17MB, major=8137.40MB, promoted=8101.85MB
    minor collections=397730  major collections=83 compactions=0


runtime: 00:05:40.978
vars: 141060, evals: 662016

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

Memory statistics: total=859847.81MB, max=1074.12MB, minor=859809.85MB, major=8341.02MB, promoted=8303.06MB
    minor collections=410041  major collections=84 compactions=0


runtime: 00:05:51.013
vars: 144226, evals: 688100

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

Memory statistics: total=885658.89MB, max=1235.24MB, minor=885620.65MB, major=8542.36MB, promoted=8504.12MB
    minor collections=422349  major collections=84 compactions=0


runtime: 00:06:01.028
vars: 147194, evals: 711902

|rho|=147194
|called|=694
|stable|=47728
|infl|=146869
|wpoint|=1150
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=138533
Found 6820 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=909258.01MB, max=1235.24MB, minor=909219.49MB, major=8726.45MB, promoted=8687.93MB
    minor collections=433603  major collections=85 compactions=0


runtime: 00:06:11.040
vars: 150095, evals: 735374

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

Memory statistics: total=932663.38MB, max=1235.24MB, minor=932624.62MB, major=8909.52MB, promoted=8870.77MB
    minor collections=444763  major collections=85 compactions=0


runtime: 00:06:21.052
vars: 152739, evals: 757089

|rho|=152739
|called|=1002
|stable|=48111
|infl|=152310
|wpoint|=1174
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=144055
Found 6844 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=954282.93MB, max=1235.24MB, minor=954243.92MB, major=9077.91MB, promoted=9038.90MB
    minor collections=455073  major collections=86 compactions=0


runtime: 00:06:31.095
vars: 155291, evals: 777835

|rho|=155291
|called|=1181
|stable|=48320
|infl|=154807
|wpoint|=1186
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=146596
Found 6855 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=975013.05MB, max=1235.24MB, minor=974973.84MB, major=9238.89MB, promoted=9199.69MB
    minor collections=464958  major collections=86 compactions=0


runtime: 00:06:41.107
vars: 157673, evals: 797462

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

Memory statistics: total=994792.90MB, max=1235.24MB, minor=994753.51MB, major=9391.45MB, promoted=9352.06MB
    minor collections=474390  major collections=87 compactions=0


runtime: 00:06:51.159
vars: 159972, evals: 815796

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

Memory statistics: total=1013310.50MB, max=1420.53MB, minor=1013270.91MB, major=9535.88MB, promoted=9496.29MB
    minor collections=483220  major collections=87 compactions=0


runtime: 00:07:01.179
vars: 162172, evals: 833764

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

Memory statistics: total=1031437.53MB, max=1420.53MB, minor=1031397.80MB, major=9675.72MB, promoted=9635.98MB
    minor collections=491864  major collections=87 compactions=0


runtime: 00:07:11.190
vars: 164179, evals: 850383

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

Memory statistics: total=1048323.54MB, max=1420.53MB, minor=1048283.65MB, major=9806.59MB, promoted=9766.70MB
    minor collections=499917  major collections=88 compactions=0


runtime: 00:07:21.202
vars: 166195, evals: 866183

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

Memory statistics: total=1064259.53MB, max=1420.53MB, minor=1064219.47MB, major=9930.21MB, promoted=9890.16MB
    minor collections=507516  major collections=88 compactions=0


runtime: 00:07:31.238
vars: 167972, evals: 880839

|rho|=167972
|called|=1851
|stable|=49528
|infl|=167217
|wpoint|=1239
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159223
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=1079274.66MB, max=1420.53MB, minor=1079234.48MB, major=10045.54MB, promoted=10005.36MB
    minor collections=514675  major collections=88 compactions=0


runtime: 00:07:41.250
vars: 169727, evals: 895266

|rho|=169727
|called|=1967
|stable|=49695
|infl|=168916
|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=1093975.23MB, max=1420.53MB, minor=1093934.93MB, major=10159.36MB, promoted=10119.06MB
    minor collections=521685  major collections=88 compactions=0


runtime: 00:07:51.261
vars: 171361, evals: 908556

|rho|=171361
|called|=2053
|stable|=49796
|infl|=170518
|wpoint|=1255
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162597
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=1107548.86MB, max=1420.53MB, minor=1107508.39MB, major=10263.73MB, promoted=10223.27MB
    minor collections=528158  major collections=89 compactions=0


runtime: 00:08:01.277
vars: 172923, evals: 921145

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

Memory statistics: total=1120382.38MB, max=1420.53MB, minor=1120341.79MB, major=10362.88MB, promoted=10322.29MB
    minor collections=534278  major collections=89 compactions=0


runtime: 00:08:11.297
vars: 174377, evals: 933096

|rho|=174377
|called|=2221
|stable|=50065
|infl|=173469
|wpoint|=1268
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=165600
Found 6937 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=1132635.68MB, max=1420.53MB, minor=1132595.00MB, major=10457.41MB, promoted=10416.72MB
    minor collections=540121  major collections=89 compactions=0


runtime: 00:08:21.309
vars: 175769, evals: 944554

|rho|=175769
|called|=2295
|stable|=50200
|infl|=174831
|wpoint|=1274
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=166986
Found 6943 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=1144393.57MB, max=1420.53MB, minor=1144352.80MB, major=10548.27MB, promoted=10507.49MB
    minor collections=545728  major collections=89 compactions=0


runtime: 00:08:31.321
vars: 177151, evals: 955650

|rho|=177151
|called|=2383
|stable|=50335
|infl|=176180
|wpoint|=1279
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=168362
Found 6949 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=1155783.07MB, max=1420.53MB, minor=1155742.20MB, major=10636.45MB, promoted=10595.59MB
    minor collections=551159  major collections=90 compactions=0


runtime: 00:08:41.329
vars: 178321, evals: 965458

|rho|=178321
|called|=2439
|stable|=50436
|infl|=177328
|wpoint|=1285
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=169527
Found 6954 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=1165991.83MB, max=1420.53MB, minor=1165950.87MB, major=10714.44MB, promoted=10673.48MB
    minor collections=556027  major collections=90 compactions=0


runtime: 00:08:51.336
vars: 179559, evals: 975023

|rho|=179559
|called|=2494
|stable|=50625
|infl|=178546
|wpoint|=1289
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=170760
Found 6959 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=1175913.44MB, max=1420.53MB, minor=1175872.38MB, major=10790.69MB, promoted=10749.64MB
    minor collections=560758  major collections=90 compactions=0


runtime: 00:09:01.364
vars: 180641, evals: 984327

|rho|=180641
|called|=2579
|stable|=50635
|infl|=179598
|wpoint|=1295
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=171837
Found 6964 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=1185533.55MB, max=1420.53MB, minor=1185492.41MB, major=10864.23MB, promoted=10823.10MB
    minor collections=565345  major collections=90 compactions=0


runtime: 00:09:11.372
vars: 181801, evals: 993642

|rho|=181801
|called|=2633
|stable|=50736
|infl|=180733
|wpoint|=1300
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=172992
Found 6969 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=1195132.06MB, max=1420.53MB, minor=1195090.86MB, major=10938.09MB, promoted=10896.89MB
    minor collections=569922  major collections=90 compactions=0


runtime: 00:09:21.384
vars: 182940, evals: 1002697

|rho|=182940
|called|=2698
|stable|=50825
|infl|=181844
|wpoint|=1304
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=174126
Found 6974 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=1204412.87MB, max=1420.53MB, minor=1204371.60MB, major=11010.06MB, promoted=10968.79MB
    minor collections=574348  major collections=90 compactions=0


runtime: 00:09:31.392
vars: 183889, evals: 1010643

|rho|=183889
|called|=2750
|stable|=50910
|infl|=182776
|wpoint|=1309
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=175071
Found 6978 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=1212707.87MB, max=1420.53MB, minor=1212666.53MB, major=11073.13MB, promoted=11031.80MB
    minor collections=578303  major collections=90 compactions=0


runtime: 00:09:41.399
vars: 184895, evals: 1018510

|rho|=184895
|called|=2790
|stable|=51038
|infl|=183773
|wpoint|=1312
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=176073
Found 6982 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=1220876.47MB, max=1420.53MB, minor=1220835.06MB, major=11135.69MB, promoted=11094.28MB
    minor collections=582199  major collections=91 compactions=0


runtime: 00:09:51.411
vars: 185902, evals: 1026361

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

Memory statistics: total=1228940.30MB, max=1420.53MB, minor=1228898.82MB, major=11197.16MB, promoted=11155.68MB
    minor collections=586044  major collections=91 compactions=0


runtime: 00:10:01.427
vars: 186673, evals: 1033411

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

Memory statistics: total=1236430.94MB, max=1420.53MB, minor=1236389.40MB, major=11255.00MB, promoted=11213.46MB
    minor collections=589616  major collections=91 compactions=0


runtime: 00:10:11.451
vars: 187601, evals: 1040815

|rho|=187601
|called|=2978
|stable|=51234
|infl|=186408
|wpoint|=1325
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=178767
Found 6994 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=1244177.75MB, max=1633.61MB, minor=1244136.13MB, major=11314.62MB, promoted=11272.99MB
    minor collections=593310  major collections=91 compactions=0


runtime: 00:10:21.475
vars: 188519, evals: 1048113

|rho|=188519
|called|=3014
|stable|=51315
|infl|=187303
|wpoint|=1328
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=179681
Found 6998 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=1251791.98MB, max=1633.61MB, minor=1251750.30MB, major=11372.93MB, promoted=11331.25MB
    minor collections=596941  major collections=91 compactions=0


runtime: 00:10:31.483
vars: 189395, evals: 1055190

|rho|=189395
|called|=3087
|stable|=51260
|infl|=188176
|wpoint|=1333
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=180553
Found 7002 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=1259095.71MB, max=1633.61MB, minor=1259053.98MB, major=11428.97MB, promoted=11387.25MB
    minor collections=600424  major collections=91 compactions=0


runtime: 00:10:41.490
vars: 190153, evals: 1061572

|rho|=190153
|called|=3121
|stable|=51454
|infl|=188905
|wpoint|=1336
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=181308
Found 7005 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=1265851.26MB, max=1633.61MB, minor=1265809.49MB, major=11479.23MB, promoted=11437.46MB
    minor collections=603645  major collections=91 compactions=0


runtime: 00:10:51.498
vars: 191019, evals: 1068205

|rho|=191019
|called|=3143
|stable|=51274
|infl|=189765
|wpoint|=1339
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=182170
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=1272735.19MB, max=1633.61MB, minor=1272693.36MB, major=11532.46MB, promoted=11490.64MB
    minor collections=606927  major collections=91 compactions=0


runtime: 00:11:01.510
vars: 191767, evals: 1074530

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

Memory statistics: total=1279433.82MB, max=1633.61MB, minor=1279391.95MB, major=11583.42MB, promoted=11541.55MB
    minor collections=610122  major collections=92 compactions=0


runtime: 00:11:11.518
vars: 192473, evals: 1080341

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

Memory statistics: total=1285586.49MB, max=1633.61MB, minor=1285544.56MB, major=11630.50MB, promoted=11588.57MB
    minor collections=613056  major collections=92 compactions=0


runtime: 00:11:21.526
vars: 193169, evals: 1086103

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

Memory statistics: total=1291665.35MB, max=1633.61MB, minor=1291623.37MB, major=11676.89MB, promoted=11634.91MB
    minor collections=615955  major collections=92 compactions=0


runtime: 00:11:31.533
vars: 193865, evals: 1091765

|rho|=193865
|called|=3319
|stable|=51775
|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=1297643.48MB, max=1633.61MB, minor=1297601.44MB, major=11722.36MB, promoted=11680.32MB
    minor collections=618805  major collections=92 compactions=0


runtime: 00:11:41.545
vars: 194561, evals: 1097427

|rho|=194561
|called|=3349
|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=1303639.73MB, max=1633.61MB, minor=1303597.64MB, major=11767.86MB, promoted=11725.77MB
    minor collections=621665  major collections=92 compactions=0


runtime: 00:11:51.577
vars: 195257, evals: 1103086

|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=1309576.61MB, max=1633.61MB, minor=1309534.46MB, major=11813.42MB, promoted=11771.27MB
    minor collections=624496  major collections=92 compactions=0


runtime: 00:12:01.585
vars: 195953, evals: 1108627

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

Memory statistics: total=1315380.87MB, max=1633.61MB, minor=1315338.69MB, major=11858.68MB, promoted=11816.50MB
    minor collections=627263  major collections=92 compactions=0


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

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

Memory statistics: total=1321164.08MB, max=1633.61MB, minor=1321121.86MB, major=11903.66MB, promoted=11861.44MB
    minor collections=630021  major collections=92 compactions=0


runtime: 00:12:21.596
vars: 197283, evals: 1119393

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

Memory statistics: total=1326640.90MB, max=1633.61MB, minor=1326598.64MB, major=11946.07MB, promoted=11903.81MB
    minor collections=632633  major collections=92 compactions=0


runtime: 00:12:31.608
vars: 197809, evals: 1123940

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

Memory statistics: total=1331522.47MB, max=1633.61MB, minor=1331480.18MB, major=11982.41MB, promoted=11940.11MB
    minor collections=634960  major collections=92 compactions=0


runtime: 00:12:41.616
vars: 198495, evals: 1129255

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

Memory statistics: total=1337128.06MB, max=1633.61MB, minor=1337085.73MB, major=12025.11MB, promoted=11982.77MB
    minor collections=637633  major collections=92 compactions=0


runtime: 00:12:51.624
vars: 198969, evals: 1133422

|rho|=198969
|called|=3595
|stable|=52226
|infl|=197531
|wpoint|=1374
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190086
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=1341576.57MB, max=1633.61MB, minor=1341534.20MB, major=12058.38MB, promoted=12016.00MB
    minor collections=639755  major collections=93 compactions=0


runtime: 00:13:01.631
vars: 199665, evals: 1138717

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

Memory statistics: total=1347150.51MB, max=1633.61MB, minor=1347108.09MB, major=12101.26MB, promoted=12058.84MB
    minor collections=642413  major collections=93 compactions=0


runtime: 00:13:11.639
vars: 200129, evals: 1142835

|rho|=200129
|called|=3670
|stable|=52315
|infl|=198666
|wpoint|=1379
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=191241
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=1351544.23MB, max=1633.61MB, minor=1351501.77MB, major=12134.09MB, promoted=12091.64MB
    minor collections=644508  major collections=93 compactions=0


runtime: 00:13:21.651
vars: 200815, evals: 1148025

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

Memory statistics: total=1357005.34MB, max=1633.61MB, minor=1356962.83MB, major=12176.53MB, promoted=12134.03MB
    minor collections=647112  major collections=93 compactions=0


runtime: 00:13:31.659
vars: 201289, evals: 1152149

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

Memory statistics: total=1361414.53MB, max=1633.61MB, minor=1361371.99MB, major=12209.52MB, promoted=12166.97MB
    minor collections=649215  major collections=93 compactions=0


runtime: 00:13:41.667
vars: 201753, evals: 1156066

|rho|=201753
|called|=3752
|stable|=52466
|infl|=200255
|wpoint|=1386
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192858
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=1365629.25MB, max=1633.61MB, minor=1365586.67MB, major=12241.12MB, promoted=12198.54MB
    minor collections=651224  major collections=93 compactions=0


runtime: 00:13:51.679
vars: 202428, evals: 1161205

|rho|=202428
|called|=3791
|stable|=52505
|infl|=200912
|wpoint|=1388
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=193530
Found 7058 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=1371027.79MB, max=1633.61MB, minor=1370985.15MB, major=12283.25MB, promoted=12240.61MB
    minor collections=653799  major collections=93 compactions=0


runtime: 00:14:01.706
vars: 202913, evals: 1165236

|rho|=202913
|called|=3836
|stable|=52554
|infl|=201390
|wpoint|=1391
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194013
Found 7060 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=1375324.55MB, max=1633.61MB, minor=1375281.88MB, major=12315.57MB, promoted=12272.89MB
    minor collections=655848  major collections=93 compactions=0


runtime: 00:14:11.714
vars: 203377, evals: 1169132

|rho|=203377
|called|=3852
|stable|=52595
|infl|=201844
|wpoint|=1393
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194475
Found 7062 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=1379479.62MB, max=1633.61MB, minor=1379436.92MB, major=12346.98MB, promoted=12304.28MB
    minor collections=657829  major collections=93 compactions=0


runtime: 00:14:21.722
vars: 203841, evals: 1173027

|rho|=203841
|called|=3879
|stable|=52635
|infl|=202298
|wpoint|=1395
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194937
Found 7064 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=1383614.12MB, max=1633.61MB, minor=1383571.39MB, major=12378.12MB, promoted=12335.40MB
    minor collections=659800  major collections=93 compactions=0


runtime: 00:14:31.729
vars: 204462, evals: 1177314

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

Memory statistics: total=1388067.61MB, max=1633.61MB, minor=1388024.86MB, major=12412.02MB, promoted=12369.27MB
    minor collections=661924  major collections=93 compactions=0


runtime: 00:14:41.741
vars: 204980, evals: 1181961

|rho|=204980
|called|=3943
|stable|=52724
|infl|=203409
|wpoint|=1399
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=196071
Found 7069 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=1393088.95MB, max=1633.61MB, minor=1393046.16MB, major=12450.53MB, promoted=12407.74MB
    minor collections=664318  major collections=93 compactions=0


runtime: 00:14:51.749
vars: 205444, evals: 1185736

|rho|=205444
|called|=3960
|stable|=52765
|infl|=203863
|wpoint|=1401
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=196533
Found 7071 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=1397102.18MB, max=1633.61MB, minor=1397059.36MB, major=12481.09MB, promoted=12438.27MB
    minor collections=666232  major collections=93 compactions=0

