./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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/minimap2/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
/mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:13258: Warning: Body of function ks_ksmall_heap falls-through and cannot find an appropriate return value
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.317
vars: 5253, evals: 33172

|rho|=5253
|stable|=3798
|infl|=5250
|wpoint|=87
|sides|=303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4758
|called|=93
Found 184 contexts for 13 functions. Top 5 functions:
60	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
28	contexts for L:entry state of atoi (7420) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:778:1-787:1
23	contexts for L:entry state of ketopt (7523) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11834:1-12013:1
23	contexts for L:entry state of mm_mapopt_max_intron_len (4513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:15305:1-15322:1
13	contexts for L:entry state of mm_parse_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:12130:1-12138:1

Memory statistics: total=26420.38MB, max=86.79MB, minor=26416.27MB, major=260.56MB, promoted=256.45MB
    minor collections=12604  major collections=17 compactions=0


runtime: 00:00:20.333
vars: 5542, evals: 63035

|rho|=5542
|stable|=4089
|infl|=5539
|wpoint|=87
|sides|=340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4993
|called|=93
Found 201 contexts for 13 functions. Top 5 functions:
63	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
31	contexts for L:entry state of mm_mapopt_max_intron_len (4513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:15305:1-15322:1
30	contexts for L:entry state of atoi (7420) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:778:1-787:1
24	contexts for L:entry state of ketopt (7523) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11834:1-12013:1
14	contexts for L:entry state of mm_parse_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:12130:1-12138:1

Memory statistics: total=52668.33MB, max=99.81MB, minor=52664.20MB, major=464.89MB, promoted=460.76MB
    minor collections=25124  major collections=24 compactions=0


runtime: 00:00:30.352
vars: 6327, evals: 92713

|rho|=6327
|stable|=4874
|infl|=6324
|wpoint|=48
|sides|=387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=5690
|called|=51
Found 242 contexts for 13 functions. Top 5 functions:
75	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
38	contexts for L:entry state of atoi (7420) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:778:1-787:1
36	contexts for L:entry state of mm_mapopt_max_intron_len (4513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:15305:1-15322:1
28	contexts for L:entry state of ketopt (7523) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11834:1-12013:1
18	contexts for L:entry state of mm_parse_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:12130:1-12138:1

Memory statistics: total=79036.67MB, max=99.81MB, minor=79032.45MB, major=654.79MB, promoted=650.58MB
    minor collections=37701  major collections=31 compactions=0


runtime: 00:00:40.365
vars: 6919, evals: 120316

|rho|=6919
|stable|=5391
|infl|=6916
|wpoint|=34
|sides|=423
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=6215
|called|=93
Found 273 contexts for 13 functions. Top 5 functions:
84	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
44	contexts for L:entry state of atoi (7420) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:778:1-787:1
40	contexts for L:entry state of mm_mapopt_max_intron_len (4513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:15305:1-15322:1
31	contexts for L:entry state of ketopt (7523) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11834:1-12013:1
21	contexts for L:entry state of mm_parse_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:12130:1-12138:1

Memory statistics: total=104717.43MB, max=99.81MB, minor=104713.20MB, major=833.40MB, promoted=829.16MB
    minor collections=49950  major collections=37 compactions=0


runtime: 00:00:50.377
vars: 13038, evals: 151536

|rho|=13038
|stable|=11186
|infl|=13005
|wpoint|=9
|sides|=1015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=11409
|called|=55
Found 486 contexts for 52 functions. Top 5 functions:
90	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
48	contexts for L:entry state of atoi (7420) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:778:1-787:1
42	contexts for L:entry state of mm_mapopt_max_intron_len (4513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:15305:1-15322:1
33	contexts for L:entry state of ketopt (7523) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11834:1-12013:1
29	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1

Memory statistics: total=129969.54MB, max=114.78MB, minor=129962.59MB, major=1032.52MB, promoted=1025.57MB
    minor collections=61993  major collections=43 compactions=0


runtime: 00:01:00.408
vars: 33353, evals: 201303

|rho|=33353
|stable|=27621
|infl|=33321
|wpoint|=25
|sides|=1808
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30167
|called|=84
Found 1159 contexts for 57 functions. Top 5 functions:
158	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
146	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1
125	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
90	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
65	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1

Memory statistics: total=159047.27MB, max=200.75MB, minor=159009.95MB, major=1339.43MB, promoted=1302.11MB
    minor collections=75847  major collections=49 compactions=0


runtime: 00:01:10.424
vars: 43532, evals: 242236

|rho|=43532
|stable|=29794
|infl|=43464
|wpoint|=32
|sides|=2165
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39626
|called|=88
Found 1409 contexts for 69 functions. Top 5 functions:
183	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1
171	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
125	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
90	contexts for L:entry state of ketopt_permute (7522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:11818:1-11833:1
74	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1

Memory statistics: total=187892.50MB, max=230.87MB, minor=187817.78MB, major=1612.91MB, promoted=1538.19MB
    minor collections=89587  major collections=54 compactions=0


runtime: 00:01:20.468
vars: 54896, evals: 284155

|rho|=54896
|stable|=36885
|infl|=54877
|wpoint|=29
|sides|=2441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50438
|called|=51
Found 1678 contexts for 69 functions. Top 5 functions:
209	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1
180	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
151	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1
125	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
90	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=215461.41MB, max=265.50MB, minor=215381.73MB, major=1846.22MB, promoted=1766.55MB
    minor collections=102732  major collections=57 compactions=0


runtime: 00:01:30.499
vars: 68036, evals: 325017

|rho|=68036
|stable|=49558
|infl|=68019
|wpoint|=32
|sides|=3114
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62233
|called|=38
Found 2069 contexts for 95 functions. Top 5 functions:
255	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1
219	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1
198	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
125	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
93	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1

Memory statistics: total=243877.30MB, max=351.13MB, minor=243772.45MB, major=2124.37MB, promoted=2019.52MB
    minor collections=116272  major collections=60 compactions=0


runtime: 00:01:40.523
vars: 95681, evals: 374919

|rho|=95681
|stable|=71852
|infl|=95560
|wpoint|=46
|sides|=4511
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87038
|called|=185
Found 3236 contexts for 122 functions. Top 5 functions:
388	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
328	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
314	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
271	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1
265	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1

Memory statistics: total=273471.13MB, max=403.80MB, minor=273361.74MB, major=2392.38MB, promoted=2282.99MB
    minor collections=130383  major collections=62 compactions=0


runtime: 00:01:50.566
vars: 116812, evals: 416979

|rho|=116812
|stable|=90928
|infl|=116713
|wpoint|=47
|sides|=5718
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105694
|called|=130
Found 4058 contexts for 155 functions. Top 5 functions:
582	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
493	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
420	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
395	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
281	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1

Memory statistics: total=301455.05MB, max=464.37MB, minor=301342.94MB, major=2635.55MB, promoted=2523.44MB
    minor collections=143726  major collections=63 compactions=0


runtime: 00:02:00.622
vars: 132427, evals: 457553

|rho|=132427
|stable|=105841
|infl|=132358
|wpoint|=50
|sides|=6361
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120009
|called|=107
Found 4574 contexts for 164 functions. Top 5 functions:
676	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
585	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
494	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
440	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
281	contexts for L:entry state of krealloc (862) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9696:1-9731:1

Memory statistics: total=329519.10MB, max=534.03MB, minor=329393.78MB, major=2873.84MB, promoted=2748.52MB
    minor collections=157104  major collections=65 compactions=0


runtime: 00:02:10.681
vars: 146208, evals: 490476

|rho|=146208
|stable|=117016
|infl|=146122
|wpoint|=60
|sides|=7305
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131868
|called|=145
Found 5045 contexts for 201 functions. Top 5 functions:
761	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
668	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
568	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
475	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
300	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=358219.87MB, max=614.13MB, minor=358021.45MB, major=3205.74MB, promoted=3007.33MB
    minor collections=170756  major collections=67 compactions=0


runtime: 00:02:20.737
vars: 159683, evals: 519146

|rho|=159683
|stable|=130103
|infl|=159551
|wpoint|=58
|sides|=7882
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144222
|called|=201
Found 5510 contexts for 205 functions. Top 5 functions:
847	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
756	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
644	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
513	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
300	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=387012.49MB, max=706.25MB, minor=386758.96MB, major=3549.49MB, promoted=3295.97MB
    minor collections=184460  major collections=68 compactions=0


runtime: 00:02:30.769
vars: 175045, evals: 547571

|rho|=175045
|stable|=144893
|infl|=174948
|wpoint|=59
|sides|=8536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158275
|called|=157
Found 6120 contexts for 210 functions. Top 5 functions:
969	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
876	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
750	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
563	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
300	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=414934.91MB, max=812.19MB, minor=414634.68MB, major=3860.93MB, promoted=3560.70MB
    minor collections=197753  major collections=69 compactions=0


runtime: 00:02:40.790
vars: 187353, evals: 578524

|rho|=187353
|stable|=153626
|infl|=187239
|wpoint|=67
|sides|=9044
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169577
|called|=216
Found 6570 contexts for 213 functions. Top 5 functions:
1075	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
969	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
825	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
609	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
330	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=443775.97MB, max=812.19MB, minor=443402.93MB, major=4177.39MB, promoted=3804.35MB
    minor collections=211472  major collections=71 compactions=0


runtime: 00:02:50.821
vars: 207964, evals: 612201

|rho|=207964
|stable|=173880
|infl|=207854
|wpoint|=60
|sides|=9992
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188290
|called|=147
Found 7518 contexts for 213 functions. Top 5 functions:
1362	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1196	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1031	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
724	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
330	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=471301.63MB, max=934.02MB, minor=470927.24MB, major=4380.43MB, promoted=4006.04MB
    minor collections=224597  major collections=71 compactions=0


runtime: 00:03:00.849
vars: 224500, evals: 645038

|rho|=224500
|stable|=189968
|infl|=224395
|wpoint|=57
|sides|=10619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203576
|called|=138
Found 8142 contexts for 213 functions. Top 5 functions:
1485	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1322	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1144	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
777	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
331	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=499728.01MB, max=934.02MB, minor=499351.03MB, major=4592.14MB, promoted=4215.17MB
    minor collections=238151  major collections=72 compactions=0


runtime: 00:03:10.869
vars: 238334, evals: 680735

|rho|=238334
|stable|=203566
|infl|=238249
|wpoint|=68
|sides|=11072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216509
|called|=191
Found 8595 contexts for 213 functions. Top 5 functions:
1563	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1394	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1204	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
815	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
420	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=529626.97MB, max=934.02MB, minor=529241.50MB, major=4810.39MB, promoted=4424.92MB
    minor collections=252405  major collections=73 compactions=0


runtime: 00:03:20.940
vars: 251617, evals: 708181

|rho|=251617
|stable|=216321
|infl|=251484
|wpoint|=58
|sides|=11617
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228696
|called|=202
Found 9112 contexts for 214 functions. Top 5 functions:
1667	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1493	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1291	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
859	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
420	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=558169.63MB, max=1074.12MB, minor=557745.99MB, major=5076.77MB, promoted=4653.13MB
    minor collections=265998  major collections=74 compactions=0


runtime: 00:03:30.980
vars: 263092, evals: 730977

|rho|=263092
|stable|=227448
|infl|=262977
|wpoint|=55
|sides|=12013
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239378
|called|=154
Found 9508 contexts for 214 functions. Top 5 functions:
1736	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1566	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1354	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
889	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
420	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=585584.63MB, max=1235.24MB, minor=585121.12MB, major=5353.71MB, promoted=4890.20MB
    minor collections=279053  major collections=74 compactions=0


runtime: 00:03:41.007
vars: 275825, evals: 753113

|rho|=275825
|stable|=239667
|infl|=275749
|wpoint|=56
|sides|=12518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251102
|called|=123
Found 10013 contexts for 214 functions. Top 5 functions:
1834	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1667	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1444	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
929	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
420	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=613202.50MB, max=1235.24MB, minor=612715.96MB, major=5597.85MB, promoted=5111.31MB
    minor collections=292212  major collections=75 compactions=0


runtime: 00:03:51.043
vars: 287212, evals: 783477

|rho|=287212
|stable|=250833
|infl|=287133
|wpoint|=61
|sides|=12912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261691
|called|=127
Found 10391 contexts for 215 functions. Top 5 functions:
1896	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1732	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1499	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
954	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
469	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=643200.08MB, max=1235.24MB, minor=642650.09MB, major=5887.73MB, promoted=5337.73MB
    minor collections=306487  major collections=76 compactions=0


runtime: 00:04:01.087
vars: 301011, evals: 814382

|rho|=301011
|stable|=264181
|infl|=300937
|wpoint|=57
|sides|=13396
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=274521
|called|=130
Found 10873 contexts for 215 functions. Top 5 functions:
1979	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1815	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1573	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
989	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
480	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=672962.83MB, max=1420.53MB, minor=672400.27MB, major=6113.74MB, promoted=5551.18MB
    minor collections=320675  major collections=76 compactions=0


runtime: 00:04:11.102
vars: 316083, evals: 840715

|rho|=316083
|stable|=274095
|infl|=315998
|wpoint|=58
|sides|=14004
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288377
|called|=140
Found 11481 contexts for 215 functions. Top 5 functions:
2101	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
1936	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1681	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1040	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
480	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=702428.90MB, max=1420.53MB, minor=701852.65MB, major=6363.89MB, promoted=5787.64MB
    minor collections=334720  major collections=77 compactions=0


runtime: 00:04:21.138
vars: 330057, evals: 867062

|rho|=330057
|stable|=287529
|infl|=329970
|wpoint|=57
|sides|=14553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301253
|called|=148
Found 12030 contexts for 215 functions. Top 5 functions:
2211	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2047	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1779	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1085	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
480	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=732091.86MB, max=1420.53MB, minor=731501.16MB, major=6612.62MB, promoted=6021.93MB
    minor collections=348858  major collections=77 compactions=0


runtime: 00:04:31.153
vars: 340606, evals: 894170

|rho|=340606
|stable|=297845
|infl|=340528
|wpoint|=62
|sides|=14892
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=311129
|called|=118
Found 12369 contexts for 215 functions. Top 5 functions:
2267	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2098	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1824	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1109	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
502	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=762720.19MB, max=1420.53MB, minor=762102.16MB, major=6863.38MB, promoted=6245.34MB
    minor collections=363451  major collections=78 compactions=0


runtime: 00:04:41.201
vars: 354682, evals: 924727

|rho|=354682
|stable|=311425
|infl|=354552
|wpoint|=59
|sides|=15417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324149
|called|=196
Found 12894 contexts for 215 functions. Top 5 functions:
2369	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2196	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1912	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1152	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
525	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=793764.19MB, max=1633.61MB, minor=793143.40MB, major=7072.57MB, promoted=6451.78MB
    minor collections=378252  major collections=78 compactions=0


runtime: 00:04:51.210
vars: 366436, evals: 948552

|rho|=366436
|stable|=322859
|infl|=366293
|wpoint|=56
|sides|=15798
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=335143
|called|=185
Found 13275 contexts for 215 functions. Top 5 functions:
2431	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2264	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
1970	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1179	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
525	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=824195.99MB, max=1633.61MB, minor=823558.85MB, major=7335.64MB, promoted=6698.50MB
    minor collections=392757  major collections=79 compactions=0


runtime: 00:05:01.302
vars: 379698, evals: 971727

|rho|=379698
|stable|=335603
|infl|=379613
|wpoint|=61
|sides|=16329
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=347342
|called|=149
Found 13806 contexts for 215 functions. Top 5 functions:
2536	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2370	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2065	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1222	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
525	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=853007.22MB, max=1633.61MB, minor=852358.29MB, major=7565.48MB, promoted=6916.55MB
    minor collections=406489  major collections=79 compactions=0


runtime: 00:05:11.313
vars: 390179, evals: 999615

|rho|=390179
|stable|=345779
|infl|=390104
|wpoint|=62
|sides|=16730
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=357028
|called|=112
Found 14152 contexts for 220 functions. Top 5 functions:
2602	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2428	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2116	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1251	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
565	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=884237.51MB, max=1633.61MB, minor=883542.44MB, major=7817.99MB, promoted=7122.92MB
    minor collections=421360  major collections=80 compactions=0


runtime: 00:05:21.412
vars: 400221, evals: 1018882

|rho|=400221
|stable|=358641
|infl|=400129
|wpoint|=58
|sides|=17236
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=366074
|called|=130
Found 14612 contexts for 221 functions. Top 5 functions:
2739	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2539	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2211	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1308	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
570	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=911316.34MB, max=1878.66MB, minor=910530.20MB, major=8116.83MB, promoted=7330.68MB
    minor collections=434229  major collections=80 compactions=0


runtime: 00:05:31.428
vars: 415375, evals: 1041753

|rho|=415375
|stable|=373509
|infl|=415289
|wpoint|=59
|sides|=17950
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379799
|called|=129
Found 15326 contexts for 221 functions. Top 5 functions:
2966	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2715	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2368	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1400	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
570	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=938478.13MB, max=1878.66MB, minor=937691.19MB, major=8275.02MB, promoted=7488.07MB
    minor collections=447181  major collections=80 compactions=0


runtime: 00:05:41.455
vars: 427343, evals: 1066176

|rho|=427343
|stable|=385172
|infl|=427263
|wpoint|=58
|sides|=18414
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=390838
|called|=155
Found 15790 contexts for 221 functions. Top 5 functions:
3050	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2808	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2454	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1433	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
570	contexts for L:entry state of rs_sort_64 (5406) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14834:1-14926:1

Memory statistics: total=967933.70MB, max=1878.66MB, minor=967144.58MB, major=8453.88MB, promoted=7664.75MB
    minor collections=461226  major collections=81 compactions=0


runtime: 00:05:51.516
vars: 438684, evals: 1092991

|rho|=438684
|stable|=396300
|infl|=438617
|wpoint|=58
|sides|=18787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=401435
|called|=102
Found 16163 contexts for 221 functions. Top 5 functions:
3128	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2872	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2506	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1472	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
630	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=998871.25MB, max=1878.66MB, minor=998078.31MB, major=8628.61MB, promoted=7835.67MB
    minor collections=475977  major collections=81 compactions=0


runtime: 00:06:01.528
vars: 448690, evals: 1119275

|rho|=448690
|stable|=406098
|infl|=448612
|wpoint|=68
|sides|=19119
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410784
|called|=176
Found 16495 contexts for 221 functions. Top 5 functions:
3178	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
2927	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2552	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1495	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
675	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1030226.29MB, max=1878.66MB, minor=1029424.18MB, major=8822.33MB, promoted=8020.22MB
    minor collections=490924  major collections=81 compactions=0


runtime: 00:06:11.540
vars: 458753, evals: 1139652

|rho|=458753
|stable|=415775
|infl|=458614
|wpoint|=59
|sides|=19514
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=420051
|called|=194
Found 16890 contexts for 221 functions. Top 5 functions:
3255	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3001	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2617	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1528	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
675	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1059795.17MB, max=1878.66MB, minor=1058962.52MB, major=9044.27MB, promoted=8211.62MB
    minor collections=505010  major collections=82 compactions=0


runtime: 00:06:21.579
vars: 468051, evals: 1156776

|rho|=468051
|stable|=424745
|infl|=467966
|wpoint|=58
|sides|=19851
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=428676
|called|=131
Found 17227 contexts for 221 functions. Top 5 functions:
3315	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3066	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2674	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1554	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
675	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1088152.03MB, max=2160.46MB, minor=1087299.35MB, major=9263.20MB, promoted=8410.52MB
    minor collections=518522  major collections=82 compactions=0


runtime: 00:06:31.591
vars: 477840, evals: 1175075

|rho|=477840
|stable|=434190
|infl|=477676
|wpoint|=60
|sides|=20233
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=437704
|called|=225
Found 17609 contexts for 221 functions. Top 5 functions:
3392	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3141	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2739	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1586	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
675	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1116086.24MB, max=2160.46MB, minor=1115198.95MB, major=9494.49MB, promoted=8607.20MB
    minor collections=531826  major collections=82 compactions=0


runtime: 00:06:41.607
vars: 486309, evals: 1191993

|rho|=486309
|stable|=442358
|infl|=486249
|wpoint|=57
|sides|=20554
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=445526
|called|=92
Found 17930 contexts for 221 functions. Top 5 functions:
3455	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3200	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2792	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1612	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
675	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1144044.35MB, max=2160.46MB, minor=1143138.38MB, major=9698.88MB, promoted=8792.90MB
    minor collections=545149  major collections=83 compactions=0


runtime: 00:06:51.726
vars: 495449, evals: 1214608

|rho|=495449
|stable|=451287
|infl|=495355
|wpoint|=64
|sides|=20859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=454057
|called|=165
Found 18235 contexts for 221 functions. Top 5 functions:
3515	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3251	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2837	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1639	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
705	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1174327.07MB, max=2160.46MB, minor=1173376.87MB, major=9926.22MB, promoted=8976.01MB
    minor collections=559568  major collections=83 compactions=0


runtime: 00:07:01.758
vars: 508461, evals: 1233748

|rho|=508461
|stable|=464083
|infl|=508373
|wpoint|=61
|sides|=21474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=465837
|called|=134
Found 18850 contexts for 221 functions. Top 5 functions:
3706	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3411	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
2974	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1716	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
705	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1200367.40MB, max=2160.46MB, minor=1199416.73MB, major=10064.84MB, promoted=9114.16MB
    minor collections=571985  major collections=83 compactions=0


runtime: 00:07:11.776
vars: 519705, evals: 1253583

|rho|=519705
|stable|=475180
|infl|=519595
|wpoint|=61
|sides|=21979
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476073
|called|=149
Found 19355 contexts for 221 functions. Top 5 functions:
3854	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3529	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3080	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1775	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
720	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1228170.53MB, max=2160.46MB, minor=1227218.34MB, major=10209.98MB, promoted=9257.78MB
    minor collections=585242  major collections=83 compactions=0


runtime: 00:07:21.789
vars: 530176, evals: 1273470

|rho|=530176
|stable|=485371
|infl|=530070
|wpoint|=58
|sides|=22397
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=485710
|called|=137
Found 19773 contexts for 221 functions. Top 5 functions:
3934	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3613	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3159	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1807	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
737	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1256774.07MB, max=2484.53MB, minor=1255803.31MB, major=10386.51MB, promoted=9415.75MB
    minor collections=598875  major collections=84 compactions=0


runtime: 00:07:31.808
vars: 540165, evals: 1296399

|rho|=540165
|stable|=495165
|infl|=540084
|wpoint|=59
|sides|=22728
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=495037
|called|=114
Found 20104 contexts for 221 functions. Top 5 functions:
4005	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3672	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3207	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1843	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
800	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1287987.45MB, max=2484.53MB, minor=1287013.18MB, major=10545.78MB, promoted=9571.51MB
    minor collections=613758  major collections=84 compactions=0


runtime: 00:07:41.855
vars: 548734, evals: 1318804

|rho|=548734
|stable|=503566
|infl|=548672
|wpoint|=55
|sides|=23014
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=503030
|called|=87
Found 20390 contexts for 221 functions. Top 5 functions:
4049	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3718	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3244	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1864	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
855	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1318884.09MB, max=2484.53MB, minor=1317902.75MB, major=10717.35MB, promoted=9736.02MB
    minor collections=628487  major collections=84 compactions=0


runtime: 00:07:51.875
vars: 557738, evals: 1339857

|rho|=557738
|stable|=512262
|infl|=557611
|wpoint|=61
|sides|=23339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511392
|called|=209
Found 20715 contexts for 221 functions. Top 5 functions:
4108	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3780	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3297	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1888	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
855	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1349795.77MB, max=2484.53MB, minor=1348784.39MB, major=10931.37MB, promoted=9919.99MB
    minor collections=643213  major collections=84 compactions=0


runtime: 00:08:01.891
vars: 567402, evals: 1355654

|rho|=567402
|stable|=521470
|infl|=567316
|wpoint|=57
|sides|=23755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=520219
|called|=144
Found 21131 contexts for 221 functions. Top 5 functions:
4196	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3865	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3375	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1925	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
855	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1377624.32MB, max=2484.53MB, minor=1376603.56MB, major=11099.31MB, promoted=10078.55MB
    minor collections=656479  major collections=85 compactions=0


runtime: 00:08:11.926
vars: 573193, evals: 1369464

|rho|=573193
|stable|=527192
|infl|=573050
|wpoint|=56
|sides|=23898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525725
|called|=182
Found 21274 contexts for 221 functions. Top 5 functions:
4209	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3884	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3389	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1932	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
855	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1404222.85MB, max=2484.53MB, minor=1403155.33MB, major=11332.53MB, promoted=10265.01MB
    minor collections=669142  major collections=85 compactions=0


runtime: 00:08:22.017
vars: 582426, evals: 1385186

|rho|=582426
|stable|=536041
|infl|=582287
|wpoint|=62
|sides|=24289
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=534177
|called|=221
Found 21665 contexts for 221 functions. Top 5 functions:
4296	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
3967	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3463	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1968	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
855	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1432349.07MB, max=2484.53MB, minor=1431256.66MB, major=11524.73MB, promoted=10432.32MB
    minor collections=682542  major collections=85 compactions=0


runtime: 00:08:32.037
vars: 590088, evals: 1401393

|rho|=590088
|stable|=543460
|infl|=590004
|wpoint|=64
|sides|=24569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=541284
|called|=130
Found 21945 contexts for 221 functions. Top 5 functions:
4343	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4014	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3505	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
1987	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
863	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1461516.72MB, max=2484.53MB, minor=1460399.13MB, major=11733.96MB, promoted=10616.37MB
    minor collections=696439  major collections=85 compactions=0


runtime: 00:08:42.049
vars: 598493, evals: 1423838

|rho|=598493
|stable|=551671
|infl|=598404
|wpoint|=60
|sides|=24839
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=549142
|called|=141
Found 22215 contexts for 221 functions. Top 5 functions:
4388	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4065	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3548	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2005	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
900	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1494483.08MB, max=2484.53MB, minor=1493326.57MB, major=11952.14MB, promoted=10795.64MB
    minor collections=712141  major collections=86 compactions=0


runtime: 00:08:52.057
vars: 607758, evals: 1446541

|rho|=607758
|stable|=560686
|infl|=607640
|wpoint|=64
|sides|=25154
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=557782
|called|=209
Found 22530 contexts for 221 functions. Top 5 functions:
4439	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4118	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3594	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2026	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
915	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1526923.81MB, max=2484.53MB, minor=1525762.66MB, major=12121.93MB, promoted=10960.78MB
    minor collections=727608  major collections=86 compactions=0


runtime: 00:09:02.428
vars: 617121, evals: 1464706

|rho|=617121
|stable|=569720
|infl|=617019
|wpoint|=57
|sides|=25491
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=566465
|called|=144
Found 22867 contexts for 221 functions. Top 5 functions:
4501	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4180	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3649	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2053	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
915	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1557064.05MB, max=2857.21MB, minor=1555898.82MB, major=12314.84MB, promoted=11149.60MB
    minor collections=741978  major collections=86 compactions=0


runtime: 00:09:12.444
vars: 627846, evals: 1482780

|rho|=627846
|stable|=579961
|infl|=627773
|wpoint|=58
|sides|=25942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=576289
|called|=125
Found 23318 contexts for 221 functions. Top 5 functions:
4593	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4269	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3730	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2091	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
915	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1586544.71MB, max=2857.21MB, minor=1585369.04MB, major=12505.97MB, promoted=11330.30MB
    minor collections=756031  major collections=86 compactions=0


runtime: 00:09:22.459
vars: 637035, evals: 1500504

|rho|=637035
|stable|=588822
|infl|=636962
|wpoint|=60
|sides|=26293
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=584776
|called|=126
Found 23669 contexts for 221 functions. Top 5 functions:
4660	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4336	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3789	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2118	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
915	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1617041.71MB, max=2857.21MB, minor=1615853.79MB, major=12703.50MB, promoted=11515.58MB
    minor collections=770568  major collections=86 compactions=0


runtime: 00:09:32.475
vars: 645184, evals: 1515976

|rho|=645184
|stable|=596677
|infl|=645111
|wpoint|=60
|sides|=26601
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=592309
|called|=132
Found 23977 contexts for 221 functions. Top 5 functions:
4722	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4398	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3844	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2144	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
915	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1645490.97MB, max=2857.21MB, minor=1644299.23MB, major=12879.01MB, promoted=11687.27MB
    minor collections=784132  major collections=87 compactions=0


runtime: 00:09:51.495
vars: 652531, evals: 1536572

|rho|=652531
|stable|=603891
|infl|=652452
|wpoint|=61
|sides|=26836
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=599189
|called|=119
Found 24212 contexts for 221 functions. Top 5 functions:
4759	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4431	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3873	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2160	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
942	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1677475.69MB, max=2857.21MB, minor=1676256.12MB, major=13073.53MB, promoted=11853.97MB
    minor collections=799371  major collections=87 compactions=0


runtime: 00:10:28.109
vars: 661413, evals: 1557297

|rho|=661413
|stable|=612471
|infl|=661317
|wpoint|=60
|sides|=27149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=607442
|called|=156
Found 24525 contexts for 221 functions. Top 5 functions:
4815	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4489	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3925	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2183	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
945	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1709107.73MB, max=2857.21MB, minor=1707885.37MB, major=13232.33MB, promoted=12009.96MB
    minor collections=814453  major collections=87 compactions=0


runtime: 00:10:38.127
vars: 671903, evals: 1575639

|rho|=671903
|stable|=622556
|infl|=671829
|wpoint|=58
|sides|=27569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=617090
|called|=130
Found 24945 contexts for 221 functions. Top 5 functions:
4899	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4571	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
3998	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2219	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
945	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1739579.20MB, max=2857.21MB, minor=1738356.40MB, major=13412.22MB, promoted=12189.42MB
    minor collections=828983  major collections=87 compactions=0


runtime: 00:10:48.139
vars: 679796, evals: 1593044

|rho|=679796
|stable|=630266
|infl|=679721
|wpoint|=59
|sides|=27805
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=624512
|called|=134
Found 25181 contexts for 221 functions. Top 5 functions:
4936	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4611	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4031	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2235	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
945	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1771155.04MB, max=2857.21MB, minor=1769912.99MB, major=13641.02MB, promoted=12398.96MB
    minor collections=844031  major collections=87 compactions=0


runtime: 00:10:58.150
vars: 689567, evals: 1608951

|rho|=689567
|stable|=639597
|infl|=689449
|wpoint|=63
|sides|=28228
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=633441
|called|=210
Found 25604 contexts for 221 functions. Top 5 functions:
5024	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4700	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4112	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2271	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
945	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1800354.67MB, max=2857.21MB, minor=1799103.14MB, major=13807.53MB, promoted=12556.00MB
    minor collections=857950  major collections=88 compactions=0


runtime: 00:11:08.170
vars: 696106, evals: 1626190

|rho|=696106
|stable|=646025
|infl|=696036
|wpoint|=65
|sides|=28421
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=639592
|called|=160
Found 25797 contexts for 221 functions. Top 5 functions:
5055	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4726	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4135	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2284	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1830840.34MB, max=2857.21MB, minor=1829574.07MB, major=13997.06MB, promoted=12730.79MB
    minor collections=872480  major collections=88 compactions=0


runtime: 00:11:18.264
vars: 702663, evals: 1643092

|rho|=702663
|stable|=505388
|infl|=702632
|wpoint|=54
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=55
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1859238.38MB, max=3285.79MB, minor=1857940.53MB, major=14169.08MB, promoted=12871.23MB
    minor collections=886007  major collections=88 compactions=0


runtime: 00:11:28.292
vars: 702663, evals: 1658936

|rho|=702663
|stable|=236771
|infl|=702632
|wpoint|=63
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=133
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1873757.60MB, max=3285.79MB, minor=1872457.48MB, major=14266.68MB, promoted=12966.56MB
    minor collections=892929  major collections=88 compactions=0


runtime: 00:11:38.308
vars: 702663, evals: 1677281

|rho|=702663
|stable|=254800
|infl|=702632
|wpoint|=55
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=103
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1897758.73MB, max=3285.79MB, minor=1896414.50MB, major=14487.84MB, promoted=13143.61MB
    minor collections=904353  major collections=88 compactions=0


runtime: 00:11:48.323
vars: 702663, evals: 1695694

|rho|=702663
|stable|=272712
|infl|=702632
|wpoint|=57
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=139
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1923320.13MB, max=3285.79MB, minor=1921943.29MB, major=14683.80MB, promoted=13306.96MB
    minor collections=916527  major collections=89 compactions=0


runtime: 00:11:58.335
vars: 702663, evals: 1712018

|rho|=702663
|stable|=288648
|infl|=702632
|wpoint|=59
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=130
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1950319.94MB, max=3285.79MB, minor=1948907.81MB, major=14896.77MB, promoted=13484.64MB
    minor collections=929385  major collections=89 compactions=0


runtime: 00:12:08.350
vars: 702663, evals: 1730423

|rho|=702663
|stable|=306694
|infl|=702632
|wpoint|=58
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=122
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=1978669.39MB, max=3285.79MB, minor=1977248.05MB, major=15046.02MB, promoted=13624.68MB
    minor collections=942899  major collections=89 compactions=0


runtime: 00:12:18.449
vars: 702663, evals: 1743630

|rho|=702663
|stable|=319170
|infl|=702632
|wpoint|=56
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=86
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2006865.03MB, max=3285.79MB, minor=2005392.75MB, major=15269.02MB, promoted=13796.74MB
    minor collections=956320  major collections=89 compactions=0


runtime: 00:12:28.465
vars: 702663, evals: 1761092

|rho|=702663
|stable|=336454
|infl|=702632
|wpoint|=60
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=147
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2037939.68MB, max=3285.79MB, minor=2036459.70MB, major=15418.06MB, promoted=13938.09MB
    minor collections=971134  major collections=89 compactions=0


runtime: 00:12:38.481
vars: 702663, evals: 1773142

|rho|=702663
|stable|=347764
|infl|=702632
|wpoint|=55
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=87
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2067340.15MB, max=3285.79MB, minor=2065808.27MB, major=15639.40MB, promoted=14107.52MB
    minor collections=985129  major collections=89 compactions=0


runtime: 00:12:48.496
vars: 702663, evals: 1787662

|rho|=702663
|stable|=361677
|infl|=702632
|wpoint|=63
|sides|=28651
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645683
|called|=128
Found 26026 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2099466.70MB, max=3285.79MB, minor=2097905.96MB, major=15832.53MB, promoted=14271.80MB
    minor collections=1000435  major collections=90 compactions=0


runtime: 00:12:58.512
vars: 702677, evals: 1806799

|rho|=702677
|stable|=238689
|infl|=702646
|wpoint|=65
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=138
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2118952.90MB, max=3285.79MB, minor=2117383.99MB, major=15957.17MB, promoted=14388.26MB
    minor collections=1009723  major collections=90 compactions=0


runtime: 00:13:08.528
vars: 702677, evals: 1823730

|rho|=702677
|stable|=255513
|infl|=702646
|wpoint|=56
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=109
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2141444.61MB, max=3285.79MB, minor=2139836.54MB, major=16152.22MB, promoted=14544.15MB
    minor collections=1020429  major collections=90 compactions=0


runtime: 00:13:18.539
vars: 702677, evals: 1840894

|rho|=702677
|stable|=272599
|infl|=702646
|wpoint|=60
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=177
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2165190.34MB, max=3285.79MB, minor=2163552.20MB, major=16325.57MB, promoted=14687.42MB
    minor collections=1031738  major collections=90 compactions=0


runtime: 00:13:28.551
vars: 702677, evals: 1857720

|rho|=702677
|stable|=289167
|infl|=702646
|wpoint|=58
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=112
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2192683.73MB, max=3285.79MB, minor=2191011.59MB, major=16532.69MB, promoted=14860.55MB
    minor collections=1044832  major collections=90 compactions=0


runtime: 00:13:38.567
vars: 702677, evals: 1877158

|rho|=702677
|stable|=308594
|infl|=702646
|wpoint|=69
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=177
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2222243.45MB, max=3285.79MB, minor=2220563.02MB, major=16677.80MB, promoted=14997.37MB
    minor collections=1058924  major collections=90 compactions=0


runtime: 00:13:48.582
vars: 702677, evals: 1889577

|rho|=702677
|stable|=320845
|infl|=702646
|wpoint|=60
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=159
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2248819.91MB, max=3285.79MB, minor=2247096.24MB, major=16874.45MB, promoted=15150.79MB
    minor collections=1071576  major collections=91 compactions=0


runtime: 00:13:58.591
vars: 702677, evals: 1905821

|rho|=702677
|stable|=337006
|infl|=702646
|wpoint|=57
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=94
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2278254.10MB, max=3285.79MB, minor=2276525.24MB, major=17004.08MB, promoted=15275.21MB
    minor collections=1085609  major collections=91 compactions=0


runtime: 00:14:08.603
vars: 702677, evals: 1916873

|rho|=702677
|stable|=347962
|infl|=702646
|wpoint|=56
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=93
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2305198.31MB, max=3285.79MB, minor=2303427.40MB, major=17193.43MB, promoted=15422.52MB
    minor collections=1098438  major collections=91 compactions=0


runtime: 00:14:18.614
vars: 702677, evals: 1930805

|rho|=702677
|stable|=361726
|infl|=702646
|wpoint|=64
|sides|=28652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=645696
|called|=126
Found 26027 contexts for 221 functions. Top 5 functions:
5109	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4761	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4165	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2310	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2335633.84MB, max=3285.79MB, minor=2333841.08MB, major=17363.80MB, promoted=15571.04MB
    minor collections=1112940  major collections=91 compactions=0


runtime: 00:14:28.630
vars: 715281, evals: 1950686

|rho|=715281
|stable|=375382
|infl|=715171
|wpoint|=63
|sides|=29248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=657117
|called|=181
Found 26622 contexts for 221 functions. Top 5 functions:
5287	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
4912	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4298	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2382	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2365190.56MB, max=3285.79MB, minor=2363396.93MB, major=17514.75MB, promoted=15721.11MB
    minor collections=1127034  major collections=91 compactions=0


runtime: 00:14:38.642
vars: 727150, evals: 1969364

|rho|=727150
|stable|=387086
|infl|=727063
|wpoint|=59
|sides|=29806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=667869
|called|=120
Found 27178 contexts for 221 functions. Top 5 functions:
5461	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
5052	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4420	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2452	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
960	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2394802.37MB, max=3285.79MB, minor=2393008.25MB, major=17659.70MB, promoted=15865.58MB
    minor collections=1141154  major collections=91 compactions=0


runtime: 00:14:48.657
vars: 736822, evals: 1990361

|rho|=736822
|stable|=395234
|infl|=736742
|wpoint|=61
|sides|=30192
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=676784
|called|=173
Found 27548 contexts for 221 functions. Top 5 functions:
5529	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
5131	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4492	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2479	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
990	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2427876.49MB, max=3285.79MB, minor=2426081.78MB, major=17823.10MB, promoted=16028.39MB
    minor collections=1156926  major collections=92 compactions=0


runtime: 00:14:58.668
vars: 744326, evals: 2009176

|rho|=744326
|stable|=402333
|infl|=744198
|wpoint|=68
|sides|=30485
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=683718
|called|=199
Found 27828 contexts for 221 functions. Top 5 functions:
5589	contexts for L:entry state of panic (7504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9473:1-9481:1
5183	contexts for L:entry state of kmalloc (855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9621:1-9672:1
4537	contexts for L:entry state of morecore (7505) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9531:1-9554:1
2507	contexts for L:entry state of kfree (867) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:9555:1-9620:1
1020	contexts for L:entry state of rs_sort_128x (5372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:14698:1-14790:1

Memory statistics: total=2460436.79MB, max=3285.79MB, minor=2458641.29MB, major=17976.42MB, promoted=16180.91MB
    minor collections=1172451  major collections=92 compactions=0

