./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --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.627
vars: 21863, evals: 38664

|rho|=21863
|stable|=16615
|infl|=21840
|wpoint|=10
|sides|=1987
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18184
|called|=31
Found 1488 contexts for 46 functions. Top 5 functions:
209	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
121	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
121	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
95	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
92	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=20439.17MB, max=174.57MB, minor=20428.09MB, major=270.34MB, promoted=259.27MB
    minor collections=9748  major collections=14 compactions=0


runtime: 00:00:20.659
vars: 38002, evals: 76197

|rho|=38002
|stable|=21720
|infl|=37973
|wpoint|=9
|sides|=3050
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32202
|called|=58
Found 2547 contexts for 46 functions. Top 5 functions:
329	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
229	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
229	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
190	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
167	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=40369.73MB, max=230.87MB, minor=40357.33MB, major=448.16MB, promoted=435.76MB
    minor collections=19253  major collections=16 compactions=0


runtime: 00:00:30.711
vars: 58382, evals: 110463

|rho|=58382
|stable|=33367
|infl|=58352
|wpoint|=8
|sides|=4647
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49449
|called|=36
Found 3913 contexts for 71 functions. Top 5 functions:
518	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
337	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
337	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
284	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
251	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=60769.01MB, max=305.32MB, minor=60755.15MB, major=641.39MB, promoted=627.53MB
    minor collections=28980  major collections=18 compactions=0


runtime: 00:00:40.774
vars: 81934, evals: 143326

|rho|=81934
|stable|=56612
|infl|=81835
|wpoint|=16
|sides|=6389
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69187
|called|=133
Found 5506 contexts for 92 functions. Top 5 functions:
726	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
462	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
462	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
377	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
372	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=82056.86MB, max=403.80MB, minor=82039.28MB, major=870.40MB, promoted=852.82MB
    minor collections=39131  major collections=20 compactions=0


runtime: 00:00:50.810
vars: 104030, evals: 174528

|rho|=104030
|stable|=78736
|infl|=103927
|wpoint|=8
|sides|=7891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88283
|called|=111
Found 7008 contexts for 92 functions. Top 5 functions:
926	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
584	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
584	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
483	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
469	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=103648.06MB, max=464.37MB, minor=103628.89MB, major=1087.90MB, promoted=1068.72MB
    minor collections=49427  major collections=22 compactions=0


runtime: 00:01:00.885
vars: 125050, evals: 204328

|rho|=125050
|stable|=99724
|infl|=124911
|wpoint|=10
|sides|=9339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106411
|called|=153
Found 8456 contexts for 92 functions. Top 5 functions:
1117	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
697	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
697	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
576	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
576	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=125342.95MB, max=614.13MB, minor=125323.00MB, major=1292.00MB, promoted=1272.06MB
    minor collections=59772  major collections=23 compactions=0


runtime: 00:01:10.945
vars: 145037, evals: 232319

|rho|=145037
|stable|=119679
|infl|=144879
|wpoint|=14
|sides|=10712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123654
|called|=176
Found 9829 contexts for 92 functions. Top 5 functions:
1301	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
803	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
803	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
667	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
664	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=147602.70MB, max=706.25MB, minor=147577.93MB, major=1498.50MB, promoted=1473.73MB
    minor collections=70385  major collections=24 compactions=0


runtime: 00:01:21.008
vars: 165044, evals: 261135

|rho|=165044
|stable|=139465
|infl|=164893
|wpoint|=14
|sides|=12086
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140907
|called|=194
Found 11139 contexts for 101 functions. Top 5 functions:
1467	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
906	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
906	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
755	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
755	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=169792.57MB, max=812.19MB, minor=169762.94MB, major=1692.64MB, promoted=1663.01MB
    minor collections=80964  major collections=24 compactions=0


runtime: 00:01:31.068
vars: 183120, evals: 286248

|rho|=183120
|stable|=157509
|infl|=182959
|wpoint|=13
|sides|=13339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156478
|called|=201
Found 12392 contexts for 101 functions. Top 5 functions:
1640	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
994	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
994	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
837	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
829	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=193403.63MB, max=934.02MB, minor=193373.14MB, major=1888.94MB, promoted=1858.45MB
    minor collections=92223  major collections=25 compactions=0


runtime: 00:01:41.112
vars: 201047, evals: 313878

|rho|=201047
|stable|=174830
|infl|=200832
|wpoint|=16
|sides|=14479
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172133
|called|=261
Found 13520 contexts for 102 functions. Top 5 functions:
1777	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1070	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1070	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
915	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
915	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=217260.79MB, max=934.02MB, minor=217229.63MB, major=2074.89MB, promoted=2043.73MB
    minor collections=103599  major collections=26 compactions=0


runtime: 00:01:51.195
vars: 217104, evals: 336672

|rho|=217104
|stable|=190819
|infl|=216857
|wpoint|=26
|sides|=15589
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185973
|called|=325
Found 14630 contexts for 102 functions. Top 5 functions:
1923	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1156	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1156	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
991	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
991	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=239292.05MB, max=1074.12MB, minor=239259.99MB, major=2252.77MB, promoted=2220.70MB
    minor collections=114104  major collections=26 compactions=0


runtime: 00:02:01.243
vars: 236231, evals: 364982

|rho|=236231
|stable|=209941
|infl|=235964
|wpoint|=22
|sides|=16788
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202707
|called|=350
Found 15829 contexts for 102 functions. Top 5 functions:
2076	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1227	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1227	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1053	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1053	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=263336.11MB, max=1074.12MB, minor=263303.01MB, major=2441.60MB, promoted=2408.51MB
    minor collections=125570  major collections=27 compactions=0


runtime: 00:02:11.315
vars: 246498, evals: 383021

|rho|=246498
|stable|=101995
|infl|=246218
|wpoint|=26
|sides|=17617
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211340
|called|=365
Found 16423 contexts for 120 functions. Top 5 functions:
2133	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1271	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1271	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1120	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1120	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=287123.64MB, max=1235.24MB, minor=287089.85MB, major=2579.97MB, promoted=2546.17MB
    minor collections=136913  major collections=27 compactions=0


runtime: 00:02:21.362
vars: 262390, evals: 404622

|rho|=262390
|stable|=117855
|infl|=262091
|wpoint|=25
|sides|=18729
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225010
|called|=382
Found 17535 contexts for 120 functions. Top 5 functions:
2286	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1355	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1355	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1190	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1190	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=310401.29MB, max=1235.24MB, minor=310362.61MB, major=2781.06MB, promoted=2742.38MB
    minor collections=148011  major collections=27 compactions=0


runtime: 00:02:31.394
vars: 278452, evals: 427601

|rho|=278452
|stable|=133877
|infl|=278094
|wpoint|=32
|sides|=19837
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238865
|called|=465
Found 18643 contexts for 120 functions. Top 5 functions:
2430	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1441	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1441	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1275	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1275	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=334855.18MB, max=1420.53MB, minor=334811.38MB, major=2978.88MB, promoted=2935.07MB
    minor collections=159671  major collections=28 compactions=0


runtime: 00:02:41.449
vars: 294702, evals: 451812

|rho|=294702
|stable|=150051
|infl|=294344
|wpoint|=36
|sides|=20859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253071
|called|=512
Found 19665 contexts for 120 functions. Top 5 functions:
2559	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1485	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1485	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1318	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1318	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=359970.90MB, max=1420.53MB, minor=359926.20MB, major=3172.31MB, promoted=3127.61MB
    minor collections=171647  major collections=28 compactions=0


runtime: 00:02:51.461
vars: 307855, evals: 471602

|rho|=307855
|stable|=162747
|infl|=307479
|wpoint|=37
|sides|=21752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264437
|called|=507
Found 20531 contexts for 122 functions. Top 5 functions:
2661	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1546	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1546	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1387	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1387	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=385072.19MB, max=1420.53MB, minor=385022.59MB, major=3349.91MB, promoted=3300.31MB
    minor collections=183616  major collections=29 compactions=0


runtime: 00:03:01.517
vars: 322829, evals: 492107

|rho|=322829
|stable|=177728
|infl|=322439
|wpoint|=36
|sides|=22812
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277296
|called|=512
Found 21591 contexts for 122 functions. Top 5 functions:
2802	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1632	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1632	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1458	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1458	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=409865.96MB, max=1633.61MB, minor=409815.24MB, major=3532.19MB, promoted=3481.47MB
    minor collections=195438  major collections=29 compactions=0


runtime: 00:03:11.600
vars: 337682, evals: 513806

|rho|=337682
|stable|=192581
|infl|=337252
|wpoint|=36
|sides|=23812
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=290152
|called|=554
Found 22591 contexts for 122 functions. Top 5 functions:
2932	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1717	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1717	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1542	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1542	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=435152.44MB, max=1633.61MB, minor=435100.84MB, major=3708.70MB, promoted=3657.10MB
    minor collections=207495  major collections=29 compactions=0


runtime: 00:03:21.616
vars: 352358, evals: 534427

|rho|=352358
|stable|=207199
|infl|=351898
|wpoint|=43
|sides|=24816
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=302823
|called|=596
Found 23595 contexts for 122 functions. Top 5 functions:
3066	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1794	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1794	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1605	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1605	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=460436.04MB, max=1633.61MB, minor=460383.57MB, major=3893.57MB, promoted=3841.10MB
    minor collections=219551  major collections=29 compactions=0


runtime: 00:03:31.644
vars: 365081, evals: 552400

|rho|=365081
|stable|=219916
|infl|=364647
|wpoint|=36
|sides|=25687
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=313801
|called|=558
Found 24466 contexts for 122 functions. Top 5 functions:
3179	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 (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=485128.82MB, max=1878.66MB, minor=485075.28MB, major=4063.38MB, promoted=4009.84MB
    minor collections=231326  major collections=30 compactions=0


runtime: 00:03:41.744
vars: 377138, evals: 569752

|rho|=377138
|stable|=231941
|infl|=376653
|wpoint|=42
|sides|=26512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324213
|called|=619
Found 25291 contexts for 122 functions. Top 5 functions:
3289	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1931	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1931	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1734	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1734	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=509303.72MB, max=1878.66MB, minor=509249.02MB, major=4224.43MB, promoted=4169.73MB
    minor collections=242853  major collections=30 compactions=0


runtime: 00:03:51.791
vars: 388785, evals: 587832

|rho|=388785
|stable|=243011
|infl|=388316
|wpoint|=39
|sides|=27271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=334335
|called|=602
Found 26050 contexts for 122 functions. Top 5 functions:
3376	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1996	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1996	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1793	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1793	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=535012.45MB, max=1878.66MB, minor=534957.28MB, major=4383.92MB, promoted=4328.75MB
    minor collections=255112  major collections=30 compactions=0


runtime: 00:04:01.803
vars: 402723, evals: 608968

|rho|=402723
|stable|=256908
|infl|=402246
|wpoint|=47
|sides|=28083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=346655
|called|=641
Found 26862 contexts for 122 functions. Top 5 functions:
3478	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2019	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2019	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1822	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1822	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=561805.35MB, max=1878.66MB, minor=561749.31MB, major=4563.24MB, promoted=4507.19MB
    minor collections=267888  major collections=31 compactions=0


runtime: 00:04:11.839
vars: 414186, evals: 625209

|rho|=414186
|stable|=268090
|infl|=413546
|wpoint|=58
|sides|=28866
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=356598
|called|=814
Found 27536 contexts for 135 functions. Top 5 functions:
3543	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2059	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2059	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1870	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1866	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=586187.06MB, max=2160.46MB, minor=586125.78MB, major=4715.00MB, promoted=4653.73MB
    minor collections=279514  major collections=31 compactions=0


runtime: 00:04:21.942
vars: 426903, evals: 643096

|rho|=426903
|stable|=280775
|infl|=426256
|wpoint|=58
|sides|=29735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=367579
|called|=821
Found 28405 contexts for 135 functions. Top 5 functions:
3663	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2121	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2121	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1919	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1915	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=611662.99MB, max=2160.46MB, minor=611600.40MB, major=4877.94MB, promoted=4815.36MB
    minor collections=291661  major collections=31 compactions=0


runtime: 00:04:32.022
vars: 438258, evals: 659082

|rho|=438258
|stable|=292072
|infl|=437575
|wpoint|=66
|sides|=30546
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=377315
|called|=871
Found 29216 contexts for 135 functions. Top 5 functions:
3764	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2195	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2194	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1988	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1984	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=635591.72MB, max=2160.46MB, minor=635528.56MB, major=5034.47MB, promoted=4971.31MB
    minor collections=303071  major collections=31 compactions=0


runtime: 00:04:42.038
vars: 449074, evals: 674908

|rho|=449074
|stable|=302914
|infl|=448387
|wpoint|=59
|sides|=31265
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=386693
|called|=864
Found 29935 contexts for 135 functions. Top 5 functions:
3861	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2245	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2245	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2040	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2036	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=659594.32MB, max=2160.46MB, minor=659530.51MB, major=5179.93MB, promoted=5116.12MB
    minor collections=314516  major collections=31 compactions=0


runtime: 00:04:52.053
vars: 460457, evals: 691480

|rho|=460457
|stable|=314264
|infl|=459783
|wpoint|=61
|sides|=31991
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=396623
|called|=855
Found 30661 contexts for 135 functions. Top 5 functions:
3953	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2310	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2310	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2089	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2085	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=684667.77MB, max=2160.46MB, minor=684602.90MB, major=5332.63MB, promoted=5267.75MB
    minor collections=326473  major collections=32 compactions=0


runtime: 00:05:02.069
vars: 469871, evals: 706816

|rho|=469871
|stable|=323606
|infl|=469175
|wpoint|=65
|sides|=32567
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404884
|called|=909
Found 31237 contexts for 135 functions. Top 5 functions:
4010	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2338	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2338	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2122	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2118	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=709282.39MB, max=2160.46MB, minor=709216.41MB, major=5458.45MB, promoted=5392.46MB
    minor collections=338209  major collections=32 compactions=0


runtime: 00:05:12.165
vars: 476656, evals: 717468

|rho|=476656
|stable|=330391
|infl|=475933
|wpoint|=68
|sides|=33026
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410761
|called|=935
Found 31696 contexts for 135 functions. Top 5 functions:
4073	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2365	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2365	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2160	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2156	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=732967.20MB, max=2484.53MB, minor=732899.73MB, major=5586.37MB, promoted=5518.90MB
    minor collections=349503  major collections=32 compactions=0


runtime: 00:05:22.248
vars: 486020, evals: 730518

|rho|=486020
|stable|=339715
|infl|=485312
|wpoint|=69
|sides|=33683
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=418809
|called|=931
Found 32353 contexts for 135 functions. Top 5 functions:
4158	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2424	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2424	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2211	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2207	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=756645.01MB, max=2484.53MB, minor=756576.35MB, major=5729.23MB, promoted=5660.57MB
    minor collections=360793  major collections=32 compactions=0


runtime: 00:05:32.288
vars: 495770, evals: 744389

|rho|=495770
|stable|=349473
|infl|=495023
|wpoint|=68
|sides|=34328
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=427273
|called|=961
Found 32998 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 (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=779435.30MB, max=2484.53MB, minor=779366.37MB, major=5865.51MB, promoted=5796.58MB
    minor collections=371660  major collections=32 compactions=0


runtime: 00:05:42.304
vars: 505464, evals: 758109

|rho|=505464
|stable|=359135
|infl|=504701
|wpoint|=69
|sides|=35008
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=435610
|called|=979
Found 33678 contexts for 135 functions. Top 5 functions:
4333	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2527	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2527	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2305	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2301	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=802954.92MB, max=2484.53MB, minor=802885.38MB, major=6011.43MB, promoted=5941.89MB
    minor collections=382875  major collections=32 compactions=0


runtime: 00:05:52.320
vars: 516905, evals: 774649

|rho|=516905
|stable|=370541
|infl|=516124
|wpoint|=80
|sides|=35716
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=445632
|called|=1056
Found 34386 contexts for 135 functions. Top 5 functions:
4423	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2558	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2557	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2331	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2327	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=827940.32MB, max=2484.53MB, minor=827869.71MB, major=6160.60MB, promoted=6089.99MB
    minor collections=394789  major collections=33 compactions=0


runtime: 00:06:02.335
vars: 523098, evals: 784465

|rho|=523098
|stable|=376696
|infl|=522323
|wpoint|=74
|sides|=36139
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450984
|called|=1021
Found 34809 contexts for 135 functions. Top 5 functions:
4472	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2580	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2580	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2359	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2355	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=852197.24MB, max=2484.53MB, minor=852125.80MB, major=6278.09MB, promoted=6206.66MB
    minor collections=406356  major collections=33 compactions=0


runtime: 00:06:12.371
vars: 529413, evals: 794217

|rho|=529413
|stable|=383011
|infl|=528641
|wpoint|=77
|sides|=36522
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=456534
|called|=1021
Found 35192 contexts for 135 functions. Top 5 functions:
4517	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2597	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2597	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2384	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2380	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=874825.02MB, max=2857.21MB, minor=874735.91MB, major=6402.48MB, promoted=6313.38MB
    minor collections=417140  major collections=33 compactions=0


runtime: 00:06:22.471
vars: 539577, evals: 808138

|rho|=539577
|stable|=393143
|infl|=538773
|wpoint|=77
|sides|=37247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=465258
|called|=1054
Found 35917 contexts for 135 functions. Top 5 functions:
4612	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2656	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2656	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2432	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2428	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=899548.47MB, max=2857.21MB, minor=899457.95MB, major=6550.56MB, promoted=6460.04MB
    minor collections=428928  major collections=33 compactions=0


runtime: 00:06:32.570
vars: 549807, evals: 822587

|rho|=549807
|stable|=403341
|infl|=548996
|wpoint|=80
|sides|=37959
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=474062
|called|=1065
Found 36629 contexts for 135 functions. Top 5 functions:
4705	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2718	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2718	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2490	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2485	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=924675.26MB, max=2857.21MB, minor=924583.84MB, major=6703.22MB, promoted=6611.80MB
    minor collections=440909  major collections=33 compactions=0


runtime: 00:06:42.586
vars: 560438, evals: 837538

|rho|=560438
|stable|=413946
|infl|=559648
|wpoint|=82
|sides|=38677
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=483250
|called|=1049
Found 37347 contexts for 135 functions. Top 5 functions:
4799	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2784	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2784	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2551	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2547	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=949924.80MB, max=2857.21MB, minor=949832.72MB, major=6845.10MB, promoted=6753.02MB
    minor collections=452949  major collections=33 compactions=0


runtime: 00:06:52.602
vars: 570925, evals: 852930

|rho|=570925
|stable|=424427
|infl|=570101
|wpoint|=78
|sides|=39378
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492340
|called|=1079
Found 38048 contexts for 135 functions. Top 5 functions:
4887	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2841	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2841	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2599	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2595	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=975179.49MB, max=2857.21MB, minor=975086.42MB, major=6999.30MB, promoted=6906.23MB
    minor collections=464991  major collections=33 compactions=0


runtime: 00:07:02.617
vars: 579916, evals: 867376

|rho|=579916
|stable|=433386
|infl|=579098
|wpoint|=79
|sides|=39965
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=500153
|called|=1075
Found 38635 contexts for 135 functions. Top 5 functions:
4952	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2887	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2887	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2646	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2642	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1001764.25MB, max=2857.21MB, minor=1001670.03MB, major=7143.48MB, promoted=7049.26MB
    minor collections=477668  major collections=34 compactions=0


runtime: 00:07:12.633
vars: 588095, evals: 881433

|rho|=588095
|stable|=441475
|infl|=587243
|wpoint|=92
|sides|=40449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=507365
|called|=1126
Found 39118 contexts for 135 functions. Top 5 functions:
5005	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2922	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2922	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2692	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2688	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1028507.30MB, max=2857.21MB, minor=1028411.96MB, major=7281.17MB, promoted=7185.83MB
    minor collections=490420  major collections=34 compactions=0


runtime: 00:07:22.665
vars: 595712, evals: 893716

|rho|=595712
|stable|=449118
|infl|=594859
|wpoint|=85
|sides|=40938
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514010
|called|=1112
Found 39607 contexts for 135 functions. Top 5 functions:
5066	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2949	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2949	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2728	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2724	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1054012.47MB, max=3285.79MB, minor=1053915.96MB, major=7420.60MB, promoted=7324.09MB
    minor collections=502582  major collections=34 compactions=0


runtime: 00:07:32.745
vars: 605441, evals: 907137

|rho|=605441
|stable|=458815
|infl|=604572
|wpoint|=89
|sides|=41629
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=522359
|called|=1134
Found 40298 contexts for 135 functions. Top 5 functions:
5154	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3008	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3008	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2779	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2775	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1078745.89MB, max=3285.79MB, minor=1078647.96MB, major=7560.03MB, promoted=7462.10MB
    minor collections=514375  major collections=34 compactions=0


runtime: 00:07:42.812
vars: 614886, evals: 920295

|rho|=614886
|stable|=468228
|infl|=614035
|wpoint|=88
|sides|=42286
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=530490
|called|=1115
Found 40955 contexts for 135 functions. Top 5 functions:
5241	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3064	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3064	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2824	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2820	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1102576.70MB, max=3285.79MB, minor=1102469.44MB, major=7711.30MB, promoted=7604.04MB
    minor collections=525735  major collections=34 compactions=0


runtime: 00:07:52.835
vars: 625866, evals: 936459

|rho|=625866
|stable|=479208
|infl|=624994
|wpoint|=86
|sides|=42986
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=540067
|called|=1134
Found 41655 contexts for 135 functions. Top 5 functions:
5331	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3123	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3123	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 (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1128143.98MB, max=3285.79MB, minor=1128036.20MB, major=7855.17MB, promoted=7747.40MB
    minor collections=537927  major collections=34 compactions=0


runtime: 00:08:02.847
vars: 636318, evals: 950683

|rho|=636318
|stable|=489600
|infl|=635387
|wpoint|=95
|sides|=43733
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=549033
|called|=1208
Found 42402 contexts for 135 functions. Top 5 functions:
5429	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3185	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3185	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2936	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2932	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1153508.32MB, max=3285.79MB, minor=1153399.66MB, major=8006.82MB, promoted=7898.16MB
    minor collections=550021  major collections=34 compactions=0


runtime: 00:08:12.859
vars: 644460, evals: 962784

|rho|=644460
|stable|=497670
|infl|=643551
|wpoint|=97
|sides|=44294
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=556052
|called|=1217
Found 42963 contexts for 135 functions. Top 5 functions:
5506	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3226	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3226	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2972	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2968	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1177477.51MB, max=3285.79MB, minor=1177367.87MB, major=8142.65MB, promoted=8033.01MB
    minor collections=561450  major collections=34 compactions=0


runtime: 00:08:22.875
vars: 653591, evals: 975460

|rho|=653591
|stable|=506843
|infl|=652677
|wpoint|=92
|sides|=44934
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=563905
|called|=1187
Found 43603 contexts for 135 functions. Top 5 functions:
5589	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3283	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3283	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3020	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3016	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1202395.31MB, max=3285.79MB, minor=1202284.40MB, major=8283.77MB, promoted=8172.86MB
    minor collections=573332  major collections=35 compactions=0


runtime: 00:08:32.886
vars: 662487, evals: 988058

|rho|=662487
|stable|=515739
|infl|=661517
|wpoint|=97
|sides|=45506
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=571660
|called|=1252
Found 44175 contexts for 135 functions. Top 5 functions:
5666	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3317	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3317	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3057	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3053	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1226525.20MB, max=3285.79MB, minor=1226412.99MB, major=8412.14MB, promoted=8299.93MB
    minor collections=584838  major collections=35 compactions=0


runtime: 00:08:42.930
vars: 670920, evals: 1000040

|rho|=670920
|stable|=524166
|infl|=669990
|wpoint|=88
|sides|=46084
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=578935
|called|=1196
Found 44753 contexts for 135 functions. Top 5 functions:
5744	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3370	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3370	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3099	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3095	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1250836.37MB, max=3285.79MB, minor=1250722.74MB, major=8549.06MB, promoted=8435.43MB
    minor collections=596430  major collections=35 compactions=0


runtime: 00:08:53.026
vars: 680830, evals: 1016034

|rho|=680830
|stable|=534044
|infl|=679900
|wpoint|=89
|sides|=46723
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=587561
|called|=1197
Found 45392 contexts for 135 functions. Top 5 functions:
5810	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3422	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3422	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3159	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3155	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1271134.86MB, max=3778.66MB, minor=1271002.45MB, major=8703.91MB, promoted=8571.50MB
    minor collections=606102  major collections=35 compactions=0


runtime: 00:09:03.113
vars: 700267, evals: 1043403

|rho|=700267
|stable|=553416
|infl|=699229
|wpoint|=100
|sides|=48019
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=604422
|called|=1317
Found 46688 contexts for 135 functions. Top 5 functions:
5967	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3518	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3518	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3247	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3240	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1288135.60MB, max=3778.66MB, minor=1288002.74MB, major=8890.58MB, promoted=8757.71MB
    minor collections=614208  major collections=35 compactions=0


runtime: 00:09:13.137
vars: 717450, evals: 1066869

|rho|=717450
|stable|=570568
|infl|=716387
|wpoint|=102
|sides|=49231
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=619183
|called|=1345
Found 47900 contexts for 135 functions. Top 5 functions:
6129	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3614	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3614	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3333	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3326	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1305117.36MB, max=3778.66MB, minor=1304984.11MB, major=9070.44MB, promoted=8937.19MB
    minor collections=622306  major collections=35 compactions=0


runtime: 00:09:23.149
vars: 734390, evals: 1092291

|rho|=734390
|stable|=587476
|infl|=733302
|wpoint|=98
|sides|=50330
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=633930
|called|=1366
Found 48999 contexts for 135 functions. Top 5 functions:
6268	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3708	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3708	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3417	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3410	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1322651.58MB, max=3778.66MB, minor=1322517.94MB, major=9247.06MB, promoted=9113.42MB
    minor collections=630667  major collections=35 compactions=0


runtime: 00:09:33.160
vars: 746658, evals: 1112126

|rho|=746658
|stable|=599644
|infl|=745535
|wpoint|=112
|sides|=51096
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=644665
|called|=1446
Found 49766 contexts for 135 functions. Top 5 functions:
6345	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3753	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3753	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3475	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3468	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1341955.25MB, max=3778.66MB, minor=1341821.20MB, major=9385.38MB, promoted=9251.33MB
    minor collections=639871  major collections=35 compactions=0


runtime: 00:09:43.176
vars: 759830, evals: 1131162

|rho|=759830
|stable|=612798
|infl|=758693
|wpoint|=110
|sides|=52010
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=656020
|called|=1467
Found 50679 contexts for 135 functions. Top 5 functions:
6471	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3820	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3820	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3536	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3529	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1360245.52MB, max=3778.66MB, minor=1360111.14MB, major=9555.57MB, promoted=9421.19MB
    minor collections=648593  major collections=36 compactions=0


runtime: 00:09:53.188
vars: 771954, evals: 1148860

|rho|=771954
|stable|=624935
|infl|=770801
|wpoint|=106
|sides|=52831
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=666502
|called|=1467
Found 51500 contexts for 135 functions. Top 5 functions:
6579	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3880	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3880	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3599	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3592	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1378072.16MB, max=3778.66MB, minor=1377937.40MB, major=9703.91MB, promoted=9569.15MB
    minor collections=657094  major collections=36 compactions=0


runtime: 00:10:03.256
vars: 786922, evals: 1169531

|rho|=786922
|stable|=639871
|infl|=785777
|wpoint|=106
|sides|=53847
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=679437
|called|=1459
Found 52516 contexts for 135 functions. Top 5 functions:
6718	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3951	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3951	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3654	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3647	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1396347.84MB, max=3778.66MB, minor=1396212.71MB, major=9879.20MB, promoted=9744.07MB
    minor collections=665808  major collections=36 compactions=0


runtime: 00:10:13.359
vars: 797621, evals: 1186081

|rho|=797621
|stable|=650471
|infl|=796426
|wpoint|=121
|sides|=54515
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=688805
|called|=1556
Found 53184 contexts for 135 functions. Top 5 functions:
6790	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3982	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3982	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3694	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3687	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1415225.01MB, max=4345.46MB, minor=1415089.53MB, major=10006.69MB, promoted=9871.20MB
    minor collections=674810  major collections=36 compactions=0


runtime: 00:10:23.474
vars: 808255, evals: 1201885

|rho|=808255
|stable|=661104
|infl|=807050
|wpoint|=121
|sides|=55198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=698077
|called|=1564
Found 53868 contexts for 135 functions. Top 5 functions:
6874	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4025	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4025	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3738	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3731	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1432334.08MB, max=4345.46MB, minor=1432198.34MB, major=10142.42MB, promoted=10006.67MB
    minor collections=682968  major collections=36 compactions=0


runtime: 00:10:33.546
vars: 825029, evals: 1225274

|rho|=825029
|stable|=677815
|infl|=823805
|wpoint|=123
|sides|=56394
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=712464
|called|=1589
Found 55063 contexts for 135 functions. Top 5 functions:
7030	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4124	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4124	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3827	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3820	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1449440.52MB, max=4345.46MB, minor=1449304.45MB, major=10326.12MB, promoted=10190.05MB
    minor collections=691125  major collections=36 compactions=0


runtime: 00:10:43.558
vars: 841955, evals: 1249705

|rho|=841955
|stable|=694733
|infl|=840715
|wpoint|=119
|sides|=57527
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=727127
|called|=1598
Found 56196 contexts for 135 functions. Top 5 functions:
7179	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4219	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4219	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3912	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3905	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1466570.68MB, max=4345.46MB, minor=1466434.25MB, major=10502.61MB, promoted=10366.19MB
    minor collections=699293  major collections=36 compactions=0


runtime: 00:10:53.569
vars: 857234, evals: 1274695

|rho|=857234
|stable|=709982
|infl|=855996
|wpoint|=123
|sides|=58461
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=740531
|called|=1598
Found 57130 contexts for 135 functions. Top 5 functions:
7283	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4292	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4292	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3986	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3979	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1485674.22MB, max=4345.46MB, minor=1485537.52MB, major=10684.22MB, promoted=10547.52MB
    minor collections=708403  major collections=36 compactions=0


runtime: 00:11:03.581
vars: 870632, evals: 1295797

|rho|=870632
|stable|=723290
|infl|=869336
|wpoint|=132
|sides|=59352
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=752157
|called|=1670
Found 58021 contexts for 135 functions. Top 5 functions:
7388	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4352	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4352	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4063	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4056	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1504429.00MB, max=4345.46MB, minor=1504292.07MB, major=10853.80MB, promoted=10716.87MB
    minor collections=717346  major collections=37 compactions=0


runtime: 00:11:13.593
vars: 888936, evals: 1321356

|rho|=888936
|stable|=741551
|infl|=887679
|wpoint|=127
|sides|=60628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=767908
|called|=1623
Found 59297 contexts for 135 functions. Top 5 functions:
7556	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4462	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4462	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4152	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4145	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1520915.56MB, max=4345.46MB, minor=1520778.36MB, major=11046.40MB, promoted=10909.20MB
    minor collections=725208  major collections=37 compactions=0


runtime: 00:11:23.616
vars: 907612, evals: 1348196

|rho|=907612
|stable|=760174
|infl|=906296
|wpoint|=131
|sides|=61895
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=784054
|called|=1690
Found 60564 contexts for 135 functions. Top 5 functions:
7719	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4570	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4570	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4256	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4249	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1537677.80MB, max=4345.46MB, minor=1537540.29MB, major=11235.67MB, promoted=11098.16MB
    minor collections=733201  major collections=37 compactions=0


runtime: 00:11:33.740
vars: 923315, evals: 1370780

|rho|=923315
|stable|=775871
|infl|=921995
|wpoint|=125
|sides|=62972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=797607
|called|=1683
Found 61641 contexts for 135 functions. Top 5 functions:
7864	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4655	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4655	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4326	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4319	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1554140.66MB, max=4345.46MB, minor=1554002.84MB, major=11414.04MB, promoted=11276.23MB
    minor collections=741051  major collections=37 compactions=0


runtime: 00:11:43.872
vars: 937364, evals: 1390651

|rho|=937364
|stable|=789862
|infl|=936030
|wpoint|=128
|sides|=63906
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=809785
|called|=1705
Found 62575 contexts for 135 functions. Top 5 functions:
7990	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4723	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4723	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4393	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4386	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1570636.82MB, max=4997.28MB, minor=1570498.64MB, major=11567.19MB, promoted=11429.02MB
    minor collections=748917  major collections=37 compactions=0


runtime: 00:11:53.979
vars: 951309, evals: 1411171

|rho|=951309
|stable|=803794
|infl|=949962
|wpoint|=132
|sides|=64858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=821826
|called|=1721
Found 63527 contexts for 135 functions. Top 5 functions:
8109	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4807	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4807	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4461	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4454	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1587505.82MB, max=4997.28MB, minor=1587367.32MB, major=11725.24MB, promoted=11586.73MB
    minor collections=756961  major collections=37 compactions=0


runtime: 00:12:04.023
vars: 962774, evals: 1428375

|rho|=962774
|stable|=815202
|infl|=961423
|wpoint|=133
|sides|=65631
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=831747
|called|=1727
Found 64296 contexts for 135 functions. Top 5 functions:
8196	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4870	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4870	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4541	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4534	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1605695.48MB, max=4997.28MB, minor=1605555.65MB, major=11872.02MB, promoted=11732.19MB
    minor collections=765634  major collections=37 compactions=0


runtime: 00:12:14.035
vars: 983053, evals: 1457046

|rho|=983053
|stable|=835449
|infl|=981693
|wpoint|=130
|sides|=67031
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=849230
|called|=1729
Found 65696 contexts for 135 functions. Top 5 functions:
8383	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4985	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4985	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4634	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4627	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1621463.19MB, max=4997.28MB, minor=1621322.94MB, major=12086.55MB, promoted=11946.29MB
    minor collections=773152  major collections=37 compactions=0


runtime: 00:12:24.050
vars: 999264, evals: 1480011

|rho|=999264
|stable|=851628
|infl|=997863
|wpoint|=134
|sides|=68129
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=863108
|called|=1779
Found 66794 contexts for 135 functions. Top 5 functions:
8527	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5067	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5067	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4715	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4708	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1637583.05MB, max=4997.28MB, minor=1637442.45MB, major=12391.27MB, promoted=12250.67MB
    minor collections=780839  major collections=37 compactions=0


runtime: 00:12:34.062
vars: 1010513, evals: 1496272

|rho|=1010513
|stable|=862877
|infl|=1009108
|wpoint|=132
|sides|=68897
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=872823
|called|=1780
Found 67562 contexts for 135 functions. Top 5 functions:
8632	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5125	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5125	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4763	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4756	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1653378.35MB, max=4997.28MB, minor=1653237.52MB, major=12723.23MB, promoted=12582.40MB
    minor collections=788371  major collections=38 compactions=0


runtime: 00:12:44.137
vars: 1022609, evals: 1512673

|rho|=1022609
|stable|=874941
|infl|=1021224
|wpoint|=130
|sides|=69724
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=883262
|called|=1757
Found 68389 contexts for 135 functions. Top 5 functions:
8742	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5193	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5193	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4815	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4808	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1668793.12MB, max=4997.28MB, minor=1668652.05MB, major=13062.38MB, promoted=12921.31MB
    minor collections=795722  major collections=38 compactions=0


runtime: 00:12:54.265
vars: 1033666, evals: 1528918

|rho|=1033666
|stable|=885966
|infl|=1032219
|wpoint|=135
|sides|=70467
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=892840
|called|=1827
Found 69132 contexts for 135 functions. Top 5 functions:
8840	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5250	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5250	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4878	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4871	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1684334.92MB, max=5746.87MB, minor=1684193.61MB, major=13386.54MB, promoted=13245.23MB
    minor collections=803133  major collections=38 compactions=0


runtime: 00:13:04.332
vars: 1044943, evals: 1545188

|rho|=1044943
|stable|=897235
|infl|=1043508
|wpoint|=135
|sides|=71234
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=902581
|called|=1828
Found 69899 contexts for 135 functions. Top 5 functions:
8945	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5308	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5308	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4926	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4919	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1700647.25MB, max=5746.87MB, minor=1700505.72MB, major=13734.65MB, promoted=13593.12MB
    minor collections=810911  major collections=38 compactions=0


runtime: 00:13:14.356
vars: 1055063, evals: 1559133

|rho|=1055063
|stable|=907305
|infl|=1053605
|wpoint|=138
|sides|=71956
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=911262
|called|=1845
Found 70621 contexts for 135 functions. Top 5 functions:
9037	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5372	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5372	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4981	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4974	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1714450.65MB, max=5746.87MB, minor=1714275.36MB, major=14076.42MB, promoted=13901.13MB
    minor collections=817479  major collections=38 compactions=0


runtime: 00:13:24.368
vars: 1063136, evals: 1574854

|rho|=1063136
|stable|=858412
|infl|=1061685
|wpoint|=135
|sides|=72507
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=918236
|called|=1896
Found 71147 contexts for 136 functions. Top 5 functions:
9110	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5405	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5405	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5015	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5008	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1730289.19MB, max=5746.87MB, minor=1730113.71MB, major=14359.74MB, promoted=14184.26MB
    minor collections=825032  major collections=39 compactions=0


runtime: 00:13:34.379
vars: 1063240, evals: 1595945

|rho|=1063240
|stable|=858946
|infl|=1061794
|wpoint|=137
|sides|=72536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=918295
|called|=1879
Found 71154 contexts for 136 functions. Top 5 functions:
9110	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5405	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5405	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5015	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5008	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1746206.12MB, max=5746.87MB, minor=1746030.60MB, major=14533.30MB, promoted=14357.79MB
    minor collections=832622  major collections=39 compactions=0


runtime: 00:13:44.391
vars: 1069488, evals: 1614704

|rho|=1069488
|stable|=865915
|infl|=1067990
|wpoint|=137
|sides|=72951
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=923720
|called|=1880
Found 71565 contexts for 137 functions. Top 5 functions:
9161	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5435	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5435	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5041	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5034	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1761195.92MB, max=5746.87MB, minor=1761020.26MB, major=14790.91MB, promoted=14615.25MB
    minor collections=839770  major collections=39 compactions=0


runtime: 00:13:54.506
vars: 1079982, evals: 1629717

|rho|=1079982
|stable|=876409
|infl|=1078486
|wpoint|=138
|sides|=73665
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=932786
|called|=1881
Found 72279 contexts for 137 functions. Top 5 functions:
9259	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5489	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5489	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5085	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5078	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1776739.19MB, max=6608.90MB, minor=1776563.33MB, major=15118.93MB, promoted=14943.07MB
    minor collections=847181  major collections=39 compactions=0


runtime: 00:14:04.638
vars: 1090533, evals: 1644153

|rho|=1090533
|stable|=886894
|infl|=1089002
|wpoint|=146
|sides|=74418
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=941838
|called|=1939
Found 73032 contexts for 137 functions. Top 5 functions:
9357	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5551	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5551	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5139	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5132	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1791761.72MB, max=6608.90MB, minor=1791585.65MB, major=15453.46MB, promoted=15277.39MB
    minor collections=854345  major collections=39 compactions=0


runtime: 00:14:14.721
vars: 1101166, evals: 1659440

|rho|=1101166
|stable|=897535
|infl|=1099591
|wpoint|=148
|sides|=75123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=951062
|called|=1977
Found 73737 contexts for 137 functions. Top 5 functions:
9451	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5599	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5599	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5191	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5184	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1807861.95MB, max=6608.90MB, minor=1807685.68MB, major=15781.40MB, promoted=15605.13MB
    minor collections=862022  major collections=39 compactions=0


runtime: 00:14:24.733
vars: 1111116, evals: 1673743

|rho|=1111116
|stable|=907463
|infl|=1109574
|wpoint|=142
|sides|=75820
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=959616
|called|=1955
Found 74434 contexts for 137 functions. Top 5 functions:
9542	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5664	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5664	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5247	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5240	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1822723.22MB, max=6608.90MB, minor=1822546.76MB, major=16107.55MB, promoted=15931.09MB
    minor collections=869108  major collections=39 compactions=0


runtime: 00:14:34.744
vars: 1121719, evals: 1688647

|rho|=1121719
|stable|=917932
|infl|=1120145
|wpoint|=150
|sides|=76543
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=968779
|called|=1994
Found 75157 contexts for 137 functions. Top 5 functions:
9641	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5716	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5716	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5288	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5281	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1838310.94MB, max=6608.90MB, minor=1838134.29MB, major=16446.08MB, promoted=16269.43MB
    minor collections=876541  major collections=39 compactions=0


runtime: 00:14:44.756
vars: 1131879, evals: 1702362

|rho|=1131879
|stable|=928158
|infl|=1130306
|wpoint|=149
|sides|=77245
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=977530
|called|=1978
Found 75859 contexts for 137 functions. Top 5 functions:
9734	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5769	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5769	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5334	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5327	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1853340.25MB, max=6608.90MB, minor=1853163.40MB, major=16765.54MB, promoted=16588.70MB
    minor collections=883708  major collections=40 compactions=0


runtime: 00:14:54.772
vars: 1140714, evals: 1716736

|rho|=1140714
|stable|=936941
|infl|=1139153
|wpoint|=152
|sides|=77747
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=985361
|called|=2010
Found 76361 contexts for 137 functions. Top 5 functions:
9792	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5797	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5797	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5368	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5361	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1868691.02MB, max=6608.90MB, minor=1868514.00MB, major=17026.15MB, promoted=16849.12MB
    minor collections=891028  major collections=40 compactions=0

