./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --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/kona/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.653
vars: 22836, evals: 39851

|rho|=22836
|stable|=17521
|infl|=22806
|wpoint|=11
|sides|=2043
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19044
|called|=53
Found 1544 contexts for 46 functions. Top 5 functions:
216	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
128	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
128	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
97	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
97	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=20866.91MB, max=174.57MB, minor=20856.02MB, major=274.30MB, promoted=263.41MB
    minor collections=9952  major collections=15 compactions=0


runtime: 00:00:20.676
vars: 39702, evals: 78501

|rho|=39702
|stable|=23610
|infl|=39681
|wpoint|=5
|sides|=3144
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33710
|called|=21
Found 2640 contexts for 47 functions. Top 5 functions:
344	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
237	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
237	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
198	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
170	contexts for L:entry state of ci (3091) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=41321.48MB, max=230.87MB, minor=41308.74MB, major=458.18MB, promoted=445.44MB
    minor collections=19706  major collections=17 compactions=0


runtime: 00:00:30.719
vars: 60237, evals: 113039

|rho|=60237
|stable|=35221
|infl|=60179
|wpoint|=11
|sides|=4791
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51019
|called|=73
Found 4053 contexts for 71 functions. Top 5 functions:
537	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
346	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
346	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
290	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
264	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=62717.82MB, max=305.32MB, minor=62704.12MB, major=663.41MB, promoted=649.70MB
    minor collections=29909  major collections=19 compactions=0


runtime: 00:00:40.802
vars: 84348, evals: 146561

|rho|=84348
|stable|=59086
|infl|=84256
|wpoint|=8
|sides|=6541
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71298
|called|=100
Found 5658 contexts for 92 functions. Top 5 functions:
749	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
474	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
474	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
385	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
377	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=83918.42MB, max=403.80MB, minor=83900.98MB, major=891.44MB, promoted=874.00MB
    minor collections=40018  major collections=21 compactions=0


runtime: 00:00:50.842
vars: 106547, evals: 178025

|rho|=106547
|stable|=81227
|infl|=106420
|wpoint|=16
|sides|=8093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90398
|called|=149
Found 7210 contexts for 92 functions. Top 5 functions:
950	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
601	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
600	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
497	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
489	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=106400.44MB, max=534.03MB, minor=106381.38MB, major=1114.22MB, promoted=1095.16MB
    minor collections=50738  major collections=23 compactions=0


runtime: 00:01:00.886
vars: 128379, evals: 209451

|rho|=128379
|stable|=103053
|infl|=128257
|wpoint|=14
|sides|=9532
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109348
|called|=169
Found 8649 contexts for 92 functions. Top 5 functions:
1140	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
717	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
717	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
591	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
591	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=128826.97MB, max=614.13MB, minor=128807.13MB, major=1322.50MB, promoted=1302.67MB
    minor collections=61433  major collections=24 compactions=0


runtime: 00:01:10.953
vars: 149823, evals: 239542

|rho|=149823
|stable|=124308
|infl|=149673
|wpoint|=16
|sides|=11010
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127818
|called|=211
Found 10097 contexts for 99 functions. Top 5 functions:
1335	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
818	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
818	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
684	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
681	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=152021.04MB, max=706.25MB, minor=151996.34MB, major=1535.92MB, promoted=1511.23MB
    minor collections=72491  major collections=25 compactions=0


runtime: 00:01:21.038
vars: 169183, evals: 267373

|rho|=169183
|stable|=143530
|infl|=169034
|wpoint|=19
|sides|=12369
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144477
|called|=225
Found 11422 contexts for 101 functions. Top 5 functions:
1511	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
918	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
918	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
770	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
770	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=175830.04MB, max=812.19MB, minor=175800.43MB, major=1745.46MB, promoted=1715.85MB
    minor collections=83842  major collections=25 compactions=0


runtime: 00:01:31.113
vars: 188262, evals: 294396

|rho|=188262
|stable|=162651
|infl|=188082
|wpoint|=19
|sides|=13656
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160984
|called|=260
Found 12709 contexts for 101 functions. Top 5 functions:
1680	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1015	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1015	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
859	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
859	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=200474.80MB, max=934.02MB, minor=200444.31MB, major=1943.05MB, promoted=1912.55MB
    minor collections=95594  major collections=26 compactions=0


runtime: 00:01:41.153
vars: 207915, evals: 323631

|rho|=207915
|stable|=181698
|infl|=207719
|wpoint|=21
|sides|=14916
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178122
|called|=276
Found 13957 contexts for 102 functions. Top 5 functions:
1831	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1110	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1110	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
945	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
945	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=225235.13MB, max=934.02MB, minor=225203.87MB, major=2143.13MB, promoted=2111.87MB
    minor collections=107401  major collections=27 compactions=0


runtime: 00:01:51.240
vars: 225387, evals: 347740

|rho|=225387
|stable|=199138
|infl|=225180
|wpoint|=17
|sides|=16149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193130
|called|=254
Found 15190 contexts for 102 functions. Top 5 functions:
2000	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1197	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1197	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1018	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1018	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=249667.77MB, max=1074.12MB, minor=249635.52MB, major=2339.90MB, promoted=2307.66MB
    minor collections=119052  major collections=27 compactions=0


runtime: 00:02:01.260
vars: 241310, evals: 374165

|rho|=241310
|stable|=96773
|infl|=241014
|wpoint|=33
|sides|=17122
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207116
|called|=405
Found 16140 contexts for 104 functions. Top 5 functions:
2105	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1250	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1250	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1089	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1089	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=274446.27MB, max=1235.24MB, minor=274413.08MB, major=2510.78MB, promoted=2477.59MB
    minor collections=130867  major collections=27 compactions=0


runtime: 00:02:11.303
vars: 254782, evals: 394227

|rho|=254782
|stable|=110131
|infl|=254485
|wpoint|=29
|sides|=18215
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218431
|called|=390
Found 17021 contexts for 120 functions. Top 5 functions:
2217	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1313	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1313	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1160	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1160	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=299807.49MB, max=1235.24MB, minor=299773.43MB, major=2693.20MB, promoted=2659.15MB
    minor collections=142960  major collections=28 compactions=0


runtime: 00:02:21.355
vars: 272152, evals: 418935

|rho|=272152
|stable|=127617
|infl|=271808
|wpoint|=26
|sides|=19376
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233485
|called|=430
Found 18182 contexts for 120 functions. Top 5 functions:
2369	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1404	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1404	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1241	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1241	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=324737.89MB, max=1420.53MB, minor=324694.70MB, major=2904.29MB, promoted=2861.09MB
    minor collections=154846  major collections=28 compactions=0


runtime: 00:02:31.391
vars: 290038, evals: 444616

|rho|=290038
|stable|=145430
|infl|=289690
|wpoint|=32
|sides|=20553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249015
|called|=483
Found 19359 contexts for 120 functions. Top 5 functions:
2522	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1473	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1473	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1301	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1301	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=350967.54MB, max=1420.53MB, minor=350923.24MB, major=3108.37MB, promoted=3064.07MB
    minor collections=167353  major collections=29 compactions=0


runtime: 00:02:41.466
vars: 304014, evals: 465872

|rho|=304014
|stable|=158977
|infl|=303619
|wpoint|=35
|sides|=21496
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261111
|called|=515
Found 20275 contexts for 122 functions. Top 5 functions:
2631	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1518	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1518	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1361	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1361	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=377957.09MB, max=1420.53MB, minor=377912.07MB, major=3296.51MB, promoted=3251.50MB
    minor collections=180223  major collections=29 compactions=0


runtime: 00:02:51.478
vars: 319571, evals: 487699

|rho|=319571
|stable|=174500
|infl|=319188
|wpoint|=37
|sides|=22589
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=274481
|called|=511
Found 21368 contexts for 122 functions. Top 5 functions:
2773	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1614	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1614	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1445	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1445	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=403968.88MB, max=1420.53MB, minor=403918.71MB, major=3492.61MB, promoted=3442.44MB
    minor collections=192625  major collections=30 compactions=0


runtime: 00:03:01.561
vars: 335577, evals: 510867

|rho|=335577
|stable|=190476
|infl|=335164
|wpoint|=37
|sides|=23646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288374
|called|=538
Found 22425 contexts for 122 functions. Top 5 functions:
2909	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1703	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1703	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1528	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1528	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=430971.11MB, max=1633.61MB, minor=430919.65MB, major=3679.23MB, promoted=3627.77MB
    minor collections=205501  major collections=30 compactions=0


runtime: 00:03:11.629
vars: 351102, evals: 532995

|rho|=351102
|stable|=205969
|infl|=350676
|wpoint|=36
|sides|=24711
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301771
|called|=550
Found 23490 contexts for 122 functions. Top 5 functions:
3051	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1787	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1787	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1598	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1598	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=457705.82MB, max=1878.66MB, minor=457653.61MB, major=3875.03MB, promoted=3822.82MB
    minor collections=218249  major collections=30 compactions=0


runtime: 00:03:21.644
vars: 365255, evals: 552578

|rho|=365255
|stable|=220090
|infl|=364831
|wpoint|=36
|sides|=25699
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=313949
|called|=548
Found 24478 contexts for 122 functions. Top 5 functions:
3183	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1871	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1871	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1668	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1668	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=484232.74MB, max=1878.66MB, minor=484179.51MB, major=4063.37MB, promoted=4010.14MB
    minor collections=230898  major collections=31 compactions=0


runtime: 00:03:31.707
vars: 378356, evals: 571489

|rho|=378356
|stable|=233133
|infl|=377869
|wpoint|=45
|sides|=26609
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=325236
|called|=628
Found 25388 contexts for 122 functions. Top 5 functions:
3299	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1940	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1940	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1744	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1744	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=510737.77MB, max=1878.66MB, minor=510683.35MB, major=4240.32MB, promoted=4185.90MB
    minor collections=243536  major collections=31 compactions=0


runtime: 00:03:41.802
vars: 390166, evals: 589976

|rho|=390166
|stable|=244391
|infl|=389706
|wpoint|=41
|sides|=27356
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=335546
|called|=596
Found 26135 contexts for 122 functions. Top 5 functions:
3384	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2001	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2001	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1802	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1802	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=538081.97MB, max=2160.46MB, minor=538026.61MB, major=4405.07MB, promoted=4349.71MB
    minor collections=256575  major collections=31 compactions=0


runtime: 00:03:51.814
vars: 404553, evals: 612146

|rho|=404553
|stable|=258738
|infl|=404044
|wpoint|=49
|sides|=28201
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=348252
|called|=685
Found 26980 contexts for 122 functions. Top 5 functions:
3493	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2023	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2023	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1826	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1826	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=565709.80MB, max=2160.46MB, minor=565653.80MB, major=4594.42MB, promoted=4538.43MB
    minor collections=269749  major collections=31 compactions=0


runtime: 00:04:01.834
vars: 418332, evals: 631060

|rho|=418332
|stable|=272162
|infl|=417686
|wpoint|=67
|sides|=29174
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=360128
|called|=859
Found 27844 contexts for 135 functions. Top 5 functions:
3582	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2085	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2085	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1896	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1892	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=593265.09MB, max=2160.46MB, minor=593203.78MB, major=4767.26MB, promoted=4705.96MB
    minor collections=282887  major collections=32 compactions=0


runtime: 00:04:11.881
vars: 431822, evals: 649936

|rho|=431822
|stable|=285662
|infl|=431172
|wpoint|=60
|sides|=30084
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=371803
|called|=828
Found 28754 contexts for 135 functions. Top 5 functions:
3707	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2152	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2152	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1945	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1941	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=620562.55MB, max=2160.46MB, minor=620499.89MB, major=4942.38MB, promoted=4879.72MB
    minor collections=295904  major collections=32 compactions=0


runtime: 00:04:21.961
vars: 443777, evals: 666402

|rho|=443777
|stable|=297517
|infl|=443122
|wpoint|=69
|sides|=30917
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=382087
|called|=869
Found 29587 contexts for 135 functions. Top 5 functions:
3818	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2220	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2220	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2009	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2005	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=647244.50MB, max=2484.53MB, minor=647180.67MB, major=5102.41MB, promoted=5038.57MB
    minor collections=308626  major collections=32 compactions=0


runtime: 00:04:31.976
vars: 456626, evals: 685179

|rho|=456626
|stable|=310434
|infl|=455939
|wpoint|=61
|sides|=31785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=393208
|called|=868
Found 30455 contexts for 135 functions. Top 5 functions:
3930	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2290	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2290	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2074	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2070	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=673799.78MB, max=2484.53MB, minor=673735.43MB, major=5272.68MB, promoted=5208.34MB
    minor collections=321289  major collections=32 compactions=0


runtime: 00:04:41.988
vars: 468425, evals: 704210

|rho|=468425
|stable|=322134
|infl|=467731
|wpoint|=72
|sides|=32486
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=403602
|called|=916
Found 31156 contexts for 135 functions. Top 5 functions:
4005	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2333	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2333	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2117	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2113	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=701408.13MB, max=2484.53MB, minor=701342.84MB, major=5425.24MB, promoted=5359.95MB
    minor collections=334453  major collections=32 compactions=0


runtime: 00:04:52.001
vars: 476192, evals: 716496

|rho|=476192
|stable|=329901
|infl|=475439
|wpoint|=76
|sides|=32995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410361
|called|=980
Found 31665 contexts for 135 functions. Top 5 functions:
4068	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2361	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2360	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2156	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2152	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=727765.01MB, max=2484.53MB, minor=727698.21MB, major=5565.85MB, promoted=5499.05MB
    minor collections=347021  major collections=33 compactions=0


runtime: 00:05:02.059
vars: 486157, evals: 730701

|rho|=486157
|stable|=339860
|infl|=485443
|wpoint|=67
|sides|=33693
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=418927
|called|=925
Found 32363 contexts for 135 functions. Top 5 functions:
4159	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2426	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2426	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2212	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2208	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=753950.94MB, max=2484.53MB, minor=753882.87MB, major=5723.73MB, promoted=5655.66MB
    minor collections=359507  major collections=33 compactions=0


runtime: 00:05:12.119
vars: 495690, evals: 744275

|rho|=495690
|stable|=349393
|infl|=494935
|wpoint|=67
|sides|=34320
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=427211
|called|=968
Found 32990 contexts for 135 functions. Top 5 functions:
4245	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2465	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2465	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2250	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2246	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=779759.06MB, max=2484.53MB, minor=779689.68MB, major=5864.78MB, promoted=5795.40MB
    minor collections=371813  major collections=33 compactions=0


runtime: 00:05:22.166
vars: 506495, evals: 759584

|rho|=506495
|stable|=360166
|infl|=505742
|wpoint|=69
|sides|=35090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=436478
|called|=970
Found 33760 contexts for 135 functions. Top 5 functions:
4342	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2534	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2534	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2312	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2308	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=805563.52MB, max=2857.21MB, minor=805493.70MB, major=6027.18MB, promoted=5957.36MB
    minor collections=384118  major collections=33 compactions=0


runtime: 00:05:32.178
vars: 518404, evals: 777084

|rho|=518404
|stable|=372034
|infl|=517660
|wpoint|=76
|sides|=35823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=446916
|called|=1023
Found 34493 contexts for 135 functions. Top 5 functions:
4438	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2562	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2562	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2334	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2330	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=831904.90MB, max=2857.21MB, minor=831834.37MB, major=6186.13MB, promoted=6115.59MB
    minor collections=396678  major collections=33 compactions=0


runtime: 00:05:42.193
vars: 525054, evals: 787912

|rho|=525054
|stable|=378652
|infl|=524289
|wpoint|=74
|sides|=36247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=452722
|called|=1013
Found 34917 contexts for 135 functions. Top 5 functions:
4478	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2586	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2586	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2369	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2365	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=858105.46MB, max=2857.21MB, minor=858017.42MB, major=6326.50MB, promoted=6238.46MB
    minor collections=409165  major collections=34 compactions=0


runtime: 00:05:52.233
vars: 534765, evals: 801650

|rho|=534765
|stable|=388331
|infl|=533980
|wpoint|=77
|sides|=36899
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=461136
|called|=1036
Found 35569 contexts for 135 functions. Top 5 functions:
4568	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2627	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2627	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2410	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2406	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=884492.06MB, max=2857.21MB, minor=884402.88MB, major=6475.35MB, promoted=6386.18MB
    minor collections=421747  major collections=34 compactions=0


runtime: 00:06:02.284
vars: 545398, evals: 816372

|rho|=545398
|stable|=398964
|infl|=544611
|wpoint|=79
|sides|=37649
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=470268
|called|=1039
Found 36319 contexts for 135 functions. Top 5 functions:
4665	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2691	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2691	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2467	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2463	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=911320.64MB, max=2857.21MB, minor=911230.00MB, major=6630.69MB, promoted=6540.05MB
    minor collections=434540  major collections=34 compactions=0


runtime: 00:06:12.344
vars: 555697, evals: 830824

|rho|=555697
|stable|=409139
|infl|=554894
|wpoint|=86
|sides|=38384
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=479101
|called|=1083
Found 37054 contexts for 135 functions. Top 5 functions:
4759	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2757	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2757	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2523	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2519	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=938049.39MB, max=2857.21MB, minor=937957.25MB, major=6784.24MB, promoted=6692.10MB
    minor collections=447284  major collections=34 compactions=0


runtime: 00:06:22.403
vars: 567732, evals: 848196

|rho|=567732
|stable|=421206
|infl|=566886
|wpoint|=85
|sides|=39172
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=489563
|called|=1110
Found 37842 contexts for 135 functions. Top 5 functions:
4862	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2819	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2819	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2583	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2579	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=964905.42MB, max=3285.79MB, minor=964812.59MB, major=6945.84MB, promoted=6853.01MB
    minor collections=460090  major collections=34 compactions=0


runtime: 00:06:32.414
vars: 577898, evals: 863810

|rho|=577898
|stable|=431368
|infl|=577067
|wpoint|=79
|sides|=39854
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=498360
|called|=1084
Found 38524 contexts for 135 functions. Top 5 functions:
4946	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2881	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2881	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2636	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2632	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=992181.02MB, max=3285.79MB, minor=992087.39MB, major=7098.43MB, promoted=7004.81MB
    minor collections=473096  major collections=34 compactions=0


runtime: 00:06:42.430
vars: 586707, evals: 879391

|rho|=586707
|stable|=440145
|infl|=585884
|wpoint|=87
|sides|=40339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=506194
|called|=1093
Found 39008 contexts for 135 functions. Top 5 functions:
4995	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2913	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2913	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2680	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2676	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1021271.32MB, max=3285.79MB, minor=1021176.68MB, major=7251.79MB, promoted=7157.14MB
    minor collections=486967  major collections=34 compactions=0


runtime: 00:06:52.442
vars: 595328, evals: 893035

|rho|=595328
|stable|=448734
|infl|=594477
|wpoint|=85
|sides|=40909
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=513683
|called|=1110
Found 39578 contexts for 135 functions. Top 5 functions:
5062	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2944	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2944	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2725	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2721	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1048985.68MB, max=3285.79MB, minor=1048889.83MB, major=7403.38MB, promoted=7307.53MB
    minor collections=500183  major collections=35 compactions=0


runtime: 00:07:02.457
vars: 605815, evals: 907721

|rho|=605815
|stable|=459098
|infl|=604949
|wpoint|=93
|sides|=41658
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=522675
|called|=1147
Found 40327 contexts for 135 functions. Top 5 functions:
5158	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3012	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3012	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2783	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2779	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1076227.58MB, max=3285.79MB, minor=1076130.26MB, major=7556.81MB, promoted=7459.49MB
    minor collections=513172  major collections=35 compactions=0


runtime: 00:07:12.513
vars: 615426, evals: 921274

|rho|=615426
|stable|=468766
|infl|=614567
|wpoint|=86
|sides|=42325
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=530951
|called|=1119
Found 40994 contexts for 135 functions. Top 5 functions:
5246	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3069	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3069	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2831	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2827	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1102299.92MB, max=3285.79MB, minor=1102192.75MB, major=7715.57MB, promoted=7608.40MB
    minor collections=525601  major collections=35 compactions=0


runtime: 00:07:22.600
vars: 626563, evals: 937178

|rho|=626563
|stable|=479905
|infl|=625676
|wpoint|=86
|sides|=43045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=540649
|called|=1149
Found 41714 contexts for 135 functions. Top 5 functions:
5342	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3124	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3124	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2881	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2877	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1129466.62MB, max=3285.79MB, minor=1129357.78MB, major=7862.44MB, promoted=7753.60MB
    minor collections=538555  major collections=35 compactions=0


runtime: 00:07:32.664
vars: 637812, evals: 953007

|rho|=637812
|stable|=491096
|infl|=636894
|wpoint|=94
|sides|=43850
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=550293
|called|=1194
Found 42519 contexts for 135 functions. Top 5 functions:
5442	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3197	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3197	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2949	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2945	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1156605.12MB, max=3285.79MB, minor=1156495.88MB, major=8026.42MB, promoted=7917.19MB
    minor collections=551495  major collections=35 compactions=0


runtime: 00:07:42.680
vars: 648030, evals: 967769

|rho|=648030
|stable|=501308
|infl|=647134
|wpoint|=89
|sides|=44531
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=559146
|called|=1162
Found 43200 contexts for 135 functions. Top 5 functions:
5538	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3247	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3247	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2990	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2986	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1183789.02MB, max=3285.79MB, minor=1183679.10MB, major=8187.41MB, promoted=8077.49MB
    minor collections=564458  major collections=35 compactions=0


runtime: 00:07:52.691
vars: 658174, evals: 981519

|rho|=658174
|stable|=511452
|infl|=657274
|wpoint|=90
|sides|=45235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=567881
|called|=1166
Found 43904 contexts for 135 functions. Top 5 functions:
5632	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3301	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3301	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3034	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3030	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1210887.66MB, max=3285.79MB, minor=1210776.63MB, major=8338.78MB, promoted=8227.76MB
    minor collections=577379  major collections=35 compactions=0


runtime: 00:08:02.703
vars: 667644, evals: 995614

|rho|=667644
|stable|=520890
|infl|=666704
|wpoint|=90
|sides|=45868
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=576093
|called|=1209
Found 44537 contexts for 135 functions. Top 5 functions:
5714	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3351	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3351	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3087	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3083	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1237872.05MB, max=3285.79MB, minor=1237759.79MB, major=8487.22MB, promoted=8374.96MB
    minor collections=590246  major collections=36 compactions=0


runtime: 00:08:12.719
vars: 676268, evals: 1008838

|rho|=676268
|stable|=529482
|infl|=675339
|wpoint|=89
|sides|=46438
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=583570
|called|=1199
Found 45107 contexts for 135 functions. Top 5 functions:
5785	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3401	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3401	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3126	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3122	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1264029.56MB, max=3285.79MB, minor=1263907.58MB, major=8633.80MB, promoted=8511.82MB
    minor collections=602716  major collections=36 compactions=0


runtime: 00:08:22.746
vars: 689128, evals: 1027349

|rho|=689128
|stable|=542310
|infl|=688083
|wpoint|=101
|sides|=47260
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=594800
|called|=1326
Found 45929 contexts for 135 functions. Top 5 functions:
5863	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3462	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3462	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3201	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3194	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1285162.32MB, max=3778.66MB, minor=1285029.96MB, major=8793.82MB, promoted=8661.45MB
    minor collections=612788  major collections=36 compactions=0


runtime: 00:08:32.850
vars: 709278, evals: 1056010

|rho|=709278
|stable|=562396
|infl|=708228
|wpoint|=97
|sides|=48649
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=612177
|called|=1325
Found 47318 contexts for 135 functions. Top 5 functions:
6049	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3575	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3575	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3294	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3287	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1302891.91MB, max=3778.66MB, minor=1302759.12MB, major=8997.76MB, promoted=8864.97MB
    minor collections=621242  major collections=36 compactions=0


runtime: 00:08:42.937
vars: 726845, evals: 1081014

|rho|=726845
|stable|=579857
|infl|=725763
|wpoint|=104
|sides|=49858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=627327
|called|=1395
Found 48527 contexts for 135 functions. Top 5 functions:
6210	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3666	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3666	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3387	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3380	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1321225.31MB, max=3778.66MB, minor=1321092.09MB, major=9181.48MB, promoted=9048.26MB
    minor collections=629984  major collections=36 compactions=0


runtime: 00:08:52.949
vars: 743012, evals: 1106293

|rho|=743012
|stable|=596025
|infl|=741915
|wpoint|=105
|sides|=50864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=641483
|called|=1409
Found 49533 contexts for 135 functions. Top 5 functions:
6325	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3736	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3736	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3450	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3443	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1340645.78MB, max=3778.66MB, minor=1340512.15MB, major=9347.74MB, promoted=9214.12MB
    minor collections=639244  major collections=36 compactions=0


runtime: 00:09:02.960
vars: 755233, evals: 1124656

|rho|=755233
|stable|=608122
|infl|=754098
|wpoint|=116
|sides|=51690
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=652062
|called|=1478
Found 50359 contexts for 135 functions. Top 5 functions:
6430	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3792	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3792	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3511	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3504	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1360342.29MB, max=3778.66MB, minor=1360208.29MB, major=9513.24MB, promoted=9379.24MB
    minor collections=648636  major collections=36 compactions=0


runtime: 00:09:12.972
vars: 769139, evals: 1144706

|rho|=769139
|stable|=622120
|infl|=767993
|wpoint|=107
|sides|=52609
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=664128
|called|=1469
Found 51278 contexts for 135 functions. Top 5 functions:
6551	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3861	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3861	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3578	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3571	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1380223.60MB, max=3778.66MB, minor=1380089.17MB, major=9675.36MB, promoted=9540.93MB
    minor collections=658116  major collections=36 compactions=0


runtime: 00:09:22.984
vars: 784848, evals: 1167007

|rho|=784848
|stable|=637797
|infl|=783681
|wpoint|=106
|sides|=53688
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=677683
|called|=1481
Found 52357 contexts for 135 functions. Top 5 functions:
6697	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3945	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3945	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3648	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3641	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1399458.80MB, max=3778.66MB, minor=1399323.99MB, major=9860.57MB, promoted=9725.76MB
    minor collections=667289  major collections=37 compactions=0


runtime: 00:09:32.999
vars: 797125, evals: 1185422

|rho|=797125
|stable|=650001
|infl|=795938
|wpoint|=116
|sides|=54482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=688376
|called|=1539
Found 53151 contexts for 135 functions. Top 5 functions:
6787	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3978	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3978	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3687	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3680	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1419754.15MB, max=3778.66MB, minor=1419618.96MB, major=10011.39MB, promoted=9876.20MB
    minor collections=676967  major collections=37 compactions=0


runtime: 00:09:43.071
vars: 809707, evals: 1203744

|rho|=809707
|stable|=662518
|infl|=808479
|wpoint|=124
|sides|=55316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=699298
|called|=1597
Found 53985 contexts for 135 functions. Top 5 functions:
6891	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4031	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4031	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3745	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3738	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1439499.36MB, max=4345.46MB, minor=1439363.85MB, major=10170.22MB, promoted=10034.70MB
    minor collections=686382  major collections=37 compactions=0

