./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 --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.628
vars: 21990, evals: 38809

|rho|=21990
|stable|=16744
|infl|=21960
|wpoint|=5
|sides|=1997
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18293
|called|=30
Found 1498 contexts for 46 functions. Top 5 functions:
210	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
123	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
123	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=20537.37MB, max=174.57MB, minor=20526.29MB, major=270.82MB, promoted=259.73MB
    minor collections=9795  major collections=14 compactions=0


runtime: 00:00:20.676
vars: 38557, evals: 76949

|rho|=38557
|stable|=22285
|infl|=38535
|wpoint|=5
|sides|=3072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32715
|called|=30
Found 2569 contexts for 46 functions. Top 5 functions:
333	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
232	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
232	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=40636.67MB, max=230.87MB, minor=40624.26MB, major=450.98MB, promoted=438.57MB
    minor collections=19380  major collections=17 compactions=0


runtime: 00:00:30.723
vars: 59008, evals: 111217

|rho|=59008
|stable|=33993
|infl|=58958
|wpoint|=10
|sides|=4700
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49974
|called|=62
Found 3962 contexts for 71 functions. Top 5 functions:
528	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
286	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=61346.91MB, max=305.32MB, minor=61333.03MB, major=648.03MB, promoted=634.16MB
    minor collections=29256  major collections=19 compactions=0


runtime: 00:00:40.787
vars: 81935, evals: 143470

|rho|=81935
|stable|=56705
|infl|=81841
|wpoint|=10
|sides|=6389
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69188
|called|=105
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=82182.22MB, max=403.80MB, minor=82164.64MB, major=871.40MB, promoted=853.82MB
    minor collections=39190  major collections=20 compactions=0


runtime: 00:00:50.867
vars: 104117, evals: 174609

|rho|=104117
|stable|=78823
|infl|=104020
|wpoint|=9
|sides|=7897
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88356
|called|=109
Found 7014 contexts for 92 functions. Top 5 functions:
928	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=103723.88MB, max=534.03MB, minor=103704.68MB, major=1088.69MB, promoted=1069.50MB
    minor collections=49462  major collections=22 compactions=0


runtime: 00:01:00.926
vars: 125361, evals: 204740

|rho|=125361
|stable|=100035
|infl|=125204
|wpoint|=13
|sides|=9359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106681
|called|=174
Found 8476 contexts for 92 functions. Top 5 functions:
1118	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
699	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
699	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
582	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
582	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=125739.13MB, max=614.13MB, minor=125719.16MB, major=1295.64MB, promoted=1275.67MB
    minor collections=59960  major collections=23 compactions=0


runtime: 00:01:10.974
vars: 145116, evals: 232478

|rho|=145116
|stable|=119751
|infl|=144970
|wpoint|=12
|sides|=10717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123723
|called|=162
Found 9834 contexts for 92 functions. Top 5 functions:
1302	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
804	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
804	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=147839.64MB, max=706.25MB, minor=147814.85MB, major=1501.60MB, promoted=1476.81MB
    minor collections=70497  major collections=24 compactions=0


runtime: 00:01:21.049
vars: 165526, evals: 262485

|rho|=165526
|stable|=139940
|infl|=165392
|wpoint|=17
|sides|=12093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141368
|called|=180
Found 11146 contexts for 101 functions. Top 5 functions:
1468	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
756	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
756	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=170779.24MB, max=812.19MB, minor=170749.60MB, major=1700.75MB, promoted=1671.11MB
    minor collections=81433  major collections=24 compactions=0


runtime: 00:01:31.164
vars: 183546, evals: 286774

|rho|=183546
|stable|=157908
|infl|=183382
|wpoint|=20
|sides|=13369
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156839
|called|=216
Found 12422 contexts for 101 functions. Top 5 functions:
1643	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
997	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
997	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
838	contexts for L:entry state of ic (13786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
835	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=193916.21MB, max=934.02MB, minor=193885.73MB, major=1895.77MB, promoted=1865.29MB
    minor collections=92466  major collections=25 compactions=0


runtime: 00:01:41.184
vars: 201150, evals: 314011

|rho|=201150
|stable|=174933
|infl|=200933
|wpoint|=18
|sides|=14491
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172215
|called|=267
Found 13532 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=217487.46MB, max=934.02MB, minor=217456.27MB, major=2078.68MB, promoted=2047.49MB
    minor collections=103706  major collections=26 compactions=0


runtime: 00:01:51.279
vars: 218557, evals: 338802

|rho|=218557
|stable|=192308
|infl|=218325
|wpoint|=17
|sides|=15663
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187280
|called|=280
Found 14704 contexts for 102 functions. Top 5 functions:
1934	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1166	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1166	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
992	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
992	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=240570.68MB, max=1074.12MB, minor=240538.68MB, major=2266.85MB, promoted=2234.85MB
    minor collections=114713  major collections=26 compactions=0


runtime: 00:02:01.291
vars: 236591, evals: 366173

|rho|=236591
|stable|=210301
|infl|=236336
|wpoint|=25
|sides|=16801
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203037
|called|=344
Found 15842 contexts for 102 functions. Top 5 functions:
2077	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1228	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1228	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1056	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1056	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=264919.49MB, max=1074.12MB, minor=264886.35MB, major=2452.72MB, promoted=2419.58MB
    minor collections=126324  major collections=27 compactions=0


runtime: 00:02:11.390
vars: 247239, evals: 383889

|rho|=247239
|stable|=102736
|infl|=246946
|wpoint|=25
|sides|=17674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211970
|called|=376
Found 16480 contexts for 120 functions. Top 5 functions:
2141	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=288534.86MB, max=1235.24MB, minor=288500.97MB, major=2593.26MB, promoted=2559.37MB
    minor collections=137584  major collections=27 compactions=0


runtime: 00:02:21.426
vars: 262735, evals: 404998

|rho|=262735
|stable|=118200
|infl|=262430
|wpoint|=25
|sides|=18763
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225291
|called|=388
Found 17569 contexts for 120 functions. Top 5 functions:
2291	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1356	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1356	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=310944.22MB, max=1235.24MB, minor=310901.37MB, major=2792.94MB, promoted=2750.09MB
    minor collections=148268  major collections=28 compactions=0


runtime: 00:02:31.497
vars: 278399, evals: 427326

|rho|=278399
|stable|=133798
|infl|=278029
|wpoint|=36
|sides|=19832
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238822
|called|=485
Found 18638 contexts for 120 functions. Top 5 functions:
2429	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1440	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1440	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=334600.45MB, max=1420.53MB, minor=334556.59MB, major=2979.43MB, promoted=2935.57MB
    minor collections=159548  major collections=28 compactions=0


runtime: 00:02:41.557
vars: 294671, evals: 451689

|rho|=294671
|stable|=150031
|infl|=294312
|wpoint|=36
|sides|=20855
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253048
|called|=488
Found 19661 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=359856.49MB, max=1420.53MB, minor=359811.90MB, major=3175.23MB, promoted=3130.64MB
    minor collections=171591  major collections=28 compactions=0


runtime: 00:02:51.577
vars: 307293, evals: 470800

|rho|=307293
|stable|=162256
|infl|=306907
|wpoint|=35
|sides|=21711
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263960
|called|=507
Found 20490 contexts for 122 functions. Top 5 functions:
2656	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1542	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1542	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1382	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1382	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=384648.34MB, max=1420.53MB, minor=384598.72MB, major=3347.38MB, promoted=3297.76MB
    minor collections=183412  major collections=29 compactions=0


runtime: 00:03:01.640
vars: 321820, evals: 490805

|rho|=321820
|stable|=176725
|infl|=321424
|wpoint|=41
|sides|=22726
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=276455
|called|=528
Found 21505 contexts for 122 functions. Top 5 functions:
2788	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1630	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1630	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1457	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1457	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=408918.05MB, max=1633.61MB, minor=408867.28MB, major=3524.65MB, promoted=3473.88MB
    minor collections=194984  major collections=29 compactions=0


runtime: 00:03:11.684
vars: 336791, evals: 512519

|rho|=336791
|stable|=191683
|infl|=336368
|wpoint|=39
|sides|=23747
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289389
|called|=554
Found 22526 contexts for 122 functions. Top 5 functions:
2923	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1710	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1710	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1535	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1535	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=433657.49MB, max=1633.61MB, minor=433606.03MB, major=3699.24MB, promoted=3647.78MB
    minor collections=206781  major collections=29 compactions=0


runtime: 00:03:21.695
vars: 351334, evals: 533221

|rho|=351334
|stable|=206201
|infl|=350909
|wpoint|=37
|sides|=24728
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301969
|called|=550
Found 23507 contexts for 122 functions. Top 5 functions:
3056	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1787	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1787	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1598	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1598	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=459408.38MB, max=1633.61MB, minor=459355.88MB, major=3883.01MB, promoted=3830.50MB
    minor collections=219060  major collections=30 compactions=0


runtime: 00:03:31.751
vars: 363112, evals: 549804

|rho|=363112
|stable|=217884
|infl|=362666
|wpoint|=43
|sides|=25580
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=312048
|called|=598
Found 24359 contexts for 122 functions. Top 5 functions:
3164	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1863	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1863	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1667	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1667	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=483091.98MB, max=1878.66MB, minor=483038.42MB, major=4047.10MB, promoted=3993.54MB
    minor collections=230353  major collections=30 compactions=0


runtime: 00:03:41.827
vars: 376546, evals: 568756

|rho|=376546
|stable|=231349
|infl|=376049
|wpoint|=42
|sides|=26469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323707
|called|=631
Found 25248 contexts for 122 functions. Top 5 functions:
3283	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1925	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1925	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1727	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1727	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=507446.94MB, max=1878.66MB, minor=507392.59MB, major=4214.53MB, promoted=4160.18MB
    minor collections=241966  major collections=30 compactions=0


runtime: 00:03:51.838
vars: 387712, evals: 585978

|rho|=387712
|stable|=241937
|infl|=387257
|wpoint|=41
|sides|=27223
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333359
|called|=588
Found 26002 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=532996.50MB, max=1878.66MB, minor=532941.51MB, major=4369.94MB, promoted=4314.95MB
    minor collections=254149  major collections=30 compactions=0


runtime: 00:04:01.850
vars: 400209, evals: 605303

|rho|=400209
|stable|=254394
|infl|=399730
|wpoint|=44
|sides|=27984
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=344338
|called|=638
Found 26763 contexts for 122 functions. Top 5 functions:
3467	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2016	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2016	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1816	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1816	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=559368.15MB, max=1878.66MB, minor=559312.14MB, major=4546.40MB, promoted=4490.39MB
    minor collections=266725  major collections=31 compactions=0


runtime: 00:04:11.889
vars: 412610, evals: 622927

|rho|=412610
|stable|=266440
|infl|=411985
|wpoint|=64
|sides|=28760
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355230
|called|=834
Found 27430 contexts for 135 functions. Top 5 functions:
3530	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2048	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2048	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1863	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1859	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=584204.26MB, max=2160.46MB, minor=584142.97MB, major=4697.76MB, promoted=4636.47MB
    minor collections=278566  major collections=31 compactions=0


runtime: 00:04:21.973
vars: 425661, evals: 641669

|rho|=425661
|stable|=279533
|infl|=425034
|wpoint|=59
|sides|=29639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=366525
|called|=804
Found 28309 contexts for 135 functions. Top 5 functions:
3646	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2120	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2120	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=609615.33MB, max=2160.46MB, minor=609552.99MB, major=4861.58MB, promoted=4799.24MB
    minor collections=290683  major collections=31 compactions=0


runtime: 00:04:32.004
vars: 437362, evals: 657926

|rho|=437362
|stable|=291141
|infl|=436722
|wpoint|=61
|sides|=30472
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=376563
|called|=822
Found 29142 contexts for 135 functions. Top 5 functions:
3757	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2189	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2189	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1981	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1977	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=633765.45MB, max=2160.46MB, minor=633702.59MB, major=5022.44MB, promoted=4959.58MB
    minor collections=302199  major collections=31 compactions=0


runtime: 00:04:42.015
vars: 448535, evals: 673932

|rho|=448535
|stable|=302375
|infl|=447855
|wpoint|=64
|sides|=31226
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=386232
|called|=866
Found 29896 contexts for 135 functions. Top 5 functions:
3856	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2240	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2240	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2033	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2029	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=658392.30MB, max=2160.46MB, minor=658328.54MB, major=5169.46MB, promoted=5105.70MB
    minor collections=313942  major collections=31 compactions=0


runtime: 00:04:52.027
vars: 459538, evals: 689315

|rho|=459538
|stable|=313346
|infl|=458862
|wpoint|=59
|sides|=31971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=395745
|called|=853
Found 30641 contexts for 135 functions. Top 5 functions:
3952	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
2088	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2084	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=682282.02MB, max=2160.46MB, minor=682217.07MB, major=5316.50MB, promoted=5251.55MB
    minor collections=325333  major collections=32 compactions=0


runtime: 00:05:02.115
vars: 468933, evals: 705158

|rho|=468933
|stable|=322660
|infl|=468242
|wpoint|=70
|sides|=32521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404039
|called|=920
Found 31191 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=707467.30MB, max=2484.53MB, minor=707401.26MB, major=5446.00MB, promoted=5379.96MB
    minor collections=337342  major collections=32 compactions=0


runtime: 00:05:12.170
vars: 475907, evals: 716149

|rho|=475907
|stable|=329642
|infl|=475192
|wpoint|=67
|sides|=32975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=410115
|called|=927
Found 31645 contexts for 135 functions. Top 5 functions:
4067	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2359	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2359	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2150	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2146	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=731506.70MB, max=2484.53MB, minor=731439.08MB, major=5573.44MB, promoted=5505.82MB
    minor collections=348805  major collections=32 compactions=0


runtime: 00:05:22.230
vars: 485966, evals: 730393

|rho|=485966
|stable|=339641
|infl|=485245
|wpoint|=70
|sides|=33678
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=418766
|called|=940
Found 32348 contexts for 135 functions. Top 5 functions:
4157	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2423	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2423	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=755048.13MB, max=2484.53MB, minor=754980.11MB, major=5723.79MB, promoted=5655.76MB
    minor collections=360030  major collections=32 compactions=0


runtime: 00:05:32.242
vars: 495435, evals: 744027

|rho|=495435
|stable|=349138
|infl|=494691
|wpoint|=69
|sides|=34298
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=426997
|called|=959
Found 32968 contexts for 135 functions. Top 5 functions:
4243	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2463	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2463	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=778520.97MB, max=2484.53MB, minor=778452.40MB, major=5859.10MB, promoted=5790.53MB
    minor collections=371223  major collections=32 compactions=0


runtime: 00:05:42.253
vars: 505307, evals: 757644

|rho|=505307
|stable|=358952
|infl|=504523
|wpoint|=75
|sides|=34998
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=435475
|called|=1011
Found 33668 contexts for 135 functions. Top 5 functions:
4331	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2525	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2525	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=802680.82MB, max=2484.53MB, minor=802611.27MB, major=6007.21MB, promoted=5937.66MB
    minor collections=382743  major collections=33 compactions=0


runtime: 00:05:52.273
vars: 515553, evals: 772491

|rho|=515553
|stable|=369215
|infl|=514803
|wpoint|=73
|sides|=35641
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=444429
|called|=1012
Found 34311 contexts for 135 functions. Top 5 functions:
4415	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2555	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2555	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2326	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2322	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=827112.29MB, max=2484.53MB, minor=827041.56MB, major=6152.08MB, promoted=6081.35MB
    minor collections=394393  major collections=33 compactions=0


runtime: 00:06:02.317
vars: 522889, evals: 783953

|rho|=522889
|stable|=376402
|infl|=522110
|wpoint|=82
|sides|=36128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450797
|called|=1042
Found 34798 contexts for 135 functions. Top 5 functions:
4471	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2579	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2579	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2356	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2352	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=851429.73MB, max=2484.53MB, minor=851358.03MB, major=6273.23MB, promoted=6201.53MB
    minor collections=405988  major collections=33 compactions=0


runtime: 00:06:12.392
vars: 528375, evals: 793067

|rho|=528375
|stable|=381973
|infl|=527600
|wpoint|=77
|sides|=36447
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=455647
|called|=1024
Found 35117 contexts for 135 functions. Top 5 functions:
4502	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=874339.58MB, max=2857.21MB, minor=874250.32MB, major=6391.37MB, promoted=6302.10MB
    minor collections=416906  major collections=33 compactions=0


runtime: 00:06:22.472
vars: 538957, evals: 807518

|rho|=538957
|stable|=392523
|infl|=538159
|wpoint|=76
|sides|=37191
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=464748
|called|=1046
Found 35861 contexts for 135 functions. Top 5 functions:
4604	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2654	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2654	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=898923.58MB, max=2857.21MB, minor=898833.24MB, major=6543.57MB, promoted=6453.24MB
    minor collections=428628  major collections=33 compactions=0


runtime: 00:06:32.491
vars: 549628, evals: 822090

|rho|=549628
|stable|=403136
|infl|=548803
|wpoint|=85
|sides|=37947
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473907
|called|=1088
Found 36617 contexts for 135 functions. Top 5 functions:
4703	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2717	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2717	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2487	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2483	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=923221.53MB, max=2857.21MB, minor=923130.61MB, major=6695.89MB, promoted=6604.98MB
    minor collections=440214  major collections=33 compactions=0


runtime: 00:06:42.503
vars: 559467, evals: 836081

|rho|=559467
|stable|=412967
|infl|=558665
|wpoint|=85
|sides|=38625
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=482385
|called|=1078
Found 37295 contexts for 135 functions. Top 5 functions:
4792	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2778	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2778	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2541	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2537	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=948127.35MB, max=2857.21MB, minor=948035.50MB, major=6834.99MB, promoted=6743.14MB
    minor collections=452090  major collections=33 compactions=0


runtime: 00:06:52.519
vars: 569329, evals: 850680

|rho|=569329
|stable|=422804
|infl|=568476
|wpoint|=84
|sides|=39294
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=490915
|called|=1116
Found 37964 contexts for 135 functions. Top 5 functions:
4876	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2831	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2831	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2598	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2593	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=972860.83MB, max=2857.21MB, minor=972767.85MB, major=6982.06MB, promoted=6889.08MB
    minor collections=463884  major collections=34 compactions=0


runtime: 00:07:02.531
vars: 578471, evals: 864803

|rho|=578471
|stable|=431941
|infl|=577646
|wpoint|=79
|sides|=39894
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=498852
|called|=1078
Found 38564 contexts for 135 functions. Top 5 functions:
4951	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2886	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2886	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2643	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2639	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=998487.33MB, max=2857.21MB, minor=998393.16MB, major=7120.03MB, promoted=7025.87MB
    minor collections=476104  major collections=34 compactions=0


runtime: 00:07:12.586
vars: 586570, evals: 879042

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

Memory statistics: total=1025473.89MB, max=2857.21MB, minor=1025378.54MB, major=7261.11MB, promoted=7165.76MB
    minor collections=488971  major collections=34 compactions=0


runtime: 00:07:22.670
vars: 594169, evals: 891317

|rho|=594169
|stable|=447575
|infl|=593326
|wpoint|=85
|sides|=40820
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=512701
|called|=1102
Found 39489 contexts for 135 functions. Top 5 functions:
5053	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2936	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2936	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2714	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2710	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=1050618.58MB, max=3285.79MB, minor=1050521.99MB, major=7393.22MB, promoted=7296.64MB
    minor collections=500961  major collections=34 compactions=0


runtime: 00:07:32.749
vars: 604131, evals: 905045

|rho|=604131
|stable|=457479
|infl|=603236
|wpoint|=94
|sides|=41527
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=521255
|called|=1170
Found 40196 contexts for 135 functions. Top 5 functions:
5142	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2998	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2998	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2769	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2765	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=1075075.25MB, max=3285.79MB, minor=1074977.57MB, major=7537.20MB, promoted=7439.53MB
    minor collections=512623  major collections=34 compactions=0


runtime: 00:07:42.777
vars: 614005, evals: 918977

|rho|=614005
|stable|=467347
|infl|=613134
|wpoint|=90
|sides|=42215
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=529752
|called|=1137
Found 40884 contexts for 135 functions. Top 5 functions:
5233	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3058	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3058	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2820	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2816	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=1099217.01MB, max=3285.79MB, minor=1099110.55MB, major=7693.63MB, promoted=7587.17MB
    minor collections=524131  major collections=34 compactions=0


runtime: 00:07:52.797
vars: 623866, evals: 932919

|rho|=623866
|stable|=477208
|infl|=623001
|wpoint|=85
|sides|=42889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=538259
|called|=1124
Found 41558 contexts for 135 functions. Top 5 functions:
5321	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3118	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3118	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2874	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2870	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=1124486.62MB, max=3285.79MB, minor=1124379.31MB, major=7831.37MB, promoted=7724.06MB
    minor collections=536180  major collections=34 compactions=0


runtime: 00:08:02.816
vars: 633588, evals: 947341

|rho|=633588
|stable|=486857
|infl|=632688
|wpoint|=94
|sides|=43555
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=546656
|called|=1189
Found 42224 contexts for 135 functions. Top 5 functions:
5405	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3172	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3172	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2928	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2924	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=1149315.77MB, max=3285.79MB, minor=1149207.38MB, major=7976.88MB, promoted=7868.49MB
    minor collections=548020  major collections=34 compactions=0


runtime: 00:08:12.828
vars: 643071, evals: 960782

|rho|=643071
|stable|=496381
|infl|=642167
|wpoint|=89
|sides|=44184
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=554884
|called|=1170
Found 42853 contexts for 135 functions. Top 5 functions:
5493	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3215	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3215	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2961	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2957	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=1174704.01MB, max=3285.79MB, minor=1174594.37MB, major=8119.63MB, promoted=8009.98MB
    minor collections=560126  major collections=35 compactions=0


runtime: 00:08:22.848
vars: 652038, evals: 973262

|rho|=652038
|stable|=505290
|infl|=651133
|wpoint|=90
|sides|=44814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=562593
|called|=1175
Found 43483 contexts for 135 functions. Top 5 functions:
5575	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3271	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3271	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3006	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3002	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=1199344.14MB, max=3285.79MB, minor=1199233.12MB, major=8260.94MB, promoted=8149.91MB
    minor collections=571875  major collections=35 compactions=0


runtime: 00:08:32.907
vars: 660054, evals: 984574

|rho|=660054
|stable|=513332
|infl|=659170
|wpoint|=86
|sides|=45351
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=569528
|called|=1146
Found 44020 contexts for 135 functions. Top 5 functions:
5648	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3313	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3313	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3051	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3047	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=1224026.55MB, max=3285.79MB, minor=1223914.22MB, major=8386.95MB, promoted=8274.62MB
    minor collections=583644  major collections=35 compactions=0


runtime: 00:08:42.987
vars: 668805, evals: 997199

|rho|=668805
|stable|=522025
|infl|=667843
|wpoint|=96
|sides|=45960
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=577070
|called|=1243
Found 44629 contexts for 135 functions. Top 5 functions:
5724	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3359	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3359	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3097	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3093	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=1248071.75MB, max=3778.66MB, minor=1247957.94MB, major=8525.00MB, promoted=8411.19MB
    minor collections=595109  major collections=35 compactions=0


runtime: 00:08:53.095
vars: 681269, evals: 1016484

|rho|=681269
|stable|=534457
|infl|=680332
|wpoint|=96
|sides|=46756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=587937
|called|=1217
Found 45425 contexts for 135 functions. Top 5 functions:
5812	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3426	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3426	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3164	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3159	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=1266643.76MB, max=3778.66MB, minor=1266511.28MB, major=8692.28MB, promoted=8559.80MB
    minor collections=603957  major collections=35 compactions=0


runtime: 00:09:03.114
vars: 701119, evals: 1044275

|rho|=701119
|stable|=554269
|infl|=700064
|wpoint|=97
|sides|=48093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=605131
|called|=1330
Found 46762 contexts for 135 functions. Top 5 functions:
5979	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3520	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3520	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=1284111.34MB, max=3778.66MB, minor=1283978.40MB, major=8886.55MB, promoted=8753.61MB
    minor collections=612286  major collections=35 compactions=0


runtime: 00:09:13.126
vars: 718004, evals: 1067832

|rho|=718004
|stable|=571122
|infl|=716940
|wpoint|=102
|sides|=49270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=619659
|called|=1346
Found 47939 contexts for 135 functions. Top 5 functions:
6134	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3619	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3619	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3340	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3333	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=1301645.13MB, max=3778.66MB, minor=1301511.79MB, major=9064.57MB, promoted=8931.23MB
    minor collections=620647  major collections=35 compactions=0


runtime: 00:09:23.138
vars: 737398, evals: 1096743

|rho|=737398
|stable|=590464
|infl|=736299
|wpoint|=109
|sides|=50479
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=636641
|called|=1468
Found 49148 contexts for 135 functions. Top 5 functions:
6281	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3710	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3710	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=1319485.08MB, max=3778.66MB, minor=1319351.31MB, major=9253.80MB, promoted=9120.04MB
    minor collections=629154  major collections=36 compactions=0


runtime: 00:09:33.153
vars: 746776, evals: 1112555

|rho|=746776
|stable|=599789
|infl|=745683
|wpoint|=104
|sides|=51104
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=644767
|called|=1403
Found 49773 contexts for 135 functions. Top 5 functions:
6347	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3754	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3754	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=1338452.98MB, max=3778.66MB, minor=1338318.87MB, major=9378.07MB, promoted=9243.96MB
    minor collections=638198  major collections=36 compactions=0


runtime: 00:09:43.165
vars: 760377, evals: 1132072

|rho|=760377
|stable|=613358
|infl|=759259
|wpoint|=105
|sides|=52051
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=656483
|called|=1429
Found 50720 contexts for 135 functions. Top 5 functions:
6476	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3825	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3825	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3540	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3533	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=1356514.11MB, max=3778.66MB, minor=1356379.65MB, major=9551.44MB, promoted=9416.98MB
    minor collections=646811  major collections=36 compactions=0


runtime: 00:09:53.245
vars: 773080, evals: 1150290

|rho|=773080
|stable|=626061
|infl|=771926
|wpoint|=106
|sides|=52882
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=667526
|called|=1468
Found 51551 contexts for 135 functions. Top 5 functions:
6585	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3887	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3887	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=1373933.41MB, max=3778.66MB, minor=1373798.57MB, major=9700.87MB, promoted=9566.03MB
    minor collections=655117  major collections=36 compactions=0


runtime: 00:10:03.336
vars: 787447, evals: 1170139

|rho|=787447
|stable|=640396
|infl|=786304
|wpoint|=109
|sides|=53879
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=679897
|called|=1461
Found 52548 contexts for 135 functions. Top 5 functions:
6721	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=1392120.19MB, max=4345.46MB, minor=1391984.99MB, major=9872.87MB, promoted=9737.68MB
    minor collections=663789  major collections=36 compactions=0


runtime: 00:10:13.392
vars: 797699, evals: 1186416

|rho|=797699
|stable|=650575
|infl|=796521
|wpoint|=115
|sides|=54522
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=688869
|called|=1528
Found 53191 contexts for 135 functions. Top 5 functions:
6792	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3983	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3983	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=1411618.30MB, max=4345.46MB, minor=1411482.76MB, major=9999.37MB, promoted=9863.83MB
    minor collections=673086  major collections=36 compactions=0


runtime: 00:10:23.427
vars: 811337, evals: 1206383

|rho|=811337
|stable|=664113
|infl|=810125
|wpoint|=121
|sides|=55442
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=700675
|called|=1586
Found 54111 contexts for 135 functions. Top 5 functions:
6906	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4044	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4044	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3759	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3752	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=1430736.62MB, max=4345.46MB, minor=1430600.80MB, major=10166.56MB, promoted=10030.74MB
    minor collections=682203  major collections=36 compactions=0


runtime: 00:10:33.443
vars: 828708, evals: 1230366

|rho|=828708
|stable|=681520
|infl|=827504
|wpoint|=117
|sides|=56640
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=715648
|called|=1554
Found 55309 contexts for 135 functions. Top 5 functions:
7064	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4147	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4147	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3844	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3837	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=1447870.16MB, max=4345.46MB, minor=1447734.00MB, major=10350.34MB, promoted=10214.19MB
    minor collections=690373  major collections=36 compactions=0


runtime: 00:10:43.455
vars: 845504, evals: 1254496

|rho|=845504
|stable|=698284
|infl|=844266
|wpoint|=119
|sides|=57767
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=730196
|called|=1596
Found 56436 contexts for 135 functions. Top 5 functions:
7212	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4239	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4239	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3927	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3920	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=1464778.26MB, max=4345.46MB, minor=1464641.76MB, major=10524.39MB, promoted=10387.89MB
    minor collections=698435  major collections=36 compactions=0


runtime: 00:10:53.466
vars: 859352, evals: 1277737

|rho|=859352
|stable|=712068
|infl|=858124
|wpoint|=122
|sides|=58608
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=742355
|called|=1586
Found 57277 contexts for 135 functions. Top 5 functions:
7299	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4308	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4308	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4005	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3998	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=1483834.79MB, max=4345.46MB, minor=1483698.08MB, major=10695.16MB, promoted=10558.45MB
    minor collections=707523  major collections=37 compactions=0


runtime: 00:11:03.478
vars: 873787, evals: 1300009

|rho|=873787
|stable|=726413
|infl|=872485
|wpoint|=133
|sides|=59563
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=754892
|called|=1677
Found 58232 contexts for 135 functions. Top 5 functions:
7417	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4370	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4370	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4075	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4068	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=1501566.49MB, max=4345.46MB, minor=1501429.54MB, major=10869.84MB, promoted=10732.89MB
    minor collections=715978  major collections=37 compactions=0


runtime: 00:11:13.502
vars: 891749, evals: 1324934

|rho|=891749
|stable|=744367
|infl|=890487
|wpoint|=127
|sides|=60815
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=770349
|called|=1627
Found 59484 contexts for 135 functions. Top 5 functions:
7582	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4477	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4477	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4160	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4153	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=1517855.01MB, max=4345.46MB, minor=1517717.78MB, major=11057.06MB, promoted=10919.83MB
    minor collections=723745  major collections=37 compactions=0


runtime: 00:11:23.597
vars: 907637, evals: 1348352

|rho|=907637
|stable|=760165
|infl|=906329
|wpoint|=132
|sides|=61897
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=784074
|called|=1697
Found 60566 contexts for 135 functions. Top 5 functions:
7720	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=1532734.26MB, max=4345.46MB, minor=1532596.75MB, major=11222.73MB, promoted=11085.22MB
    minor collections=730840  major collections=37 compactions=0


runtime: 00:11:33.697
vars: 923250, evals: 1370677

|rho|=923250
|stable|=775780
|infl|=921943
|wpoint|=128
|sides|=62968
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=797548
|called|=1678
Found 61637 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
4654	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4654	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=1548912.24MB, max=4997.28MB, minor=1548774.43MB, major=11398.71MB, promoted=11260.90MB
    minor collections=738554  major collections=37 compactions=0


runtime: 00:11:43.773
vars: 937951, evals: 1391395

|rho|=937951
|stable|=790506
|infl|=936586
|wpoint|=130
|sides|=63957
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=810273
|called|=1736
Found 62627 contexts for 135 functions. Top 5 functions:
7994	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4726	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4726	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4396	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4389	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=1566081.39MB, max=4997.28MB, minor=1565943.21MB, major=11560.68MB, promoted=11422.51MB
    minor collections=746741  major collections=37 compactions=0


runtime: 00:11:53.784
vars: 951519, evals: 1411564

|rho|=951519
|stable|=804011
|infl|=950179
|wpoint|=128
|sides|=64869
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=822014
|called|=1708
Found 63538 contexts for 135 functions. Top 5 functions:
8110	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4808	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4808	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4464	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4457	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=1583380.26MB, max=4997.28MB, minor=1583241.77MB, major=11716.05MB, promoted=11577.56MB
    minor collections=754990  major collections=37 compactions=0


runtime: 00:12:03.796
vars: 963538, evals: 1429493

|rho|=963538
|stable|=815966
|infl|=962198
|wpoint|=134
|sides|=65696
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=832382
|called|=1719
Found 64361 contexts for 135 functions. Top 5 functions:
8204	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4876	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4876	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4542	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4535	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=1601240.36MB, max=4997.28MB, minor=1601100.52MB, major=11867.90MB, promoted=11728.06MB
    minor collections=763506  major collections=37 compactions=0


runtime: 00:12:13.808
vars: 984070, evals: 1458516

|rho|=984070
|stable|=836374
|infl|=982705
|wpoint|=138
|sides|=67115
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=850080
|called|=1764
Found 65780 contexts for 135 functions. Top 5 functions:
8393	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4992	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4992	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4641	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4634	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=1617261.36MB, max=4997.28MB, minor=1617121.09MB, major=12086.43MB, promoted=11946.16MB
    minor collections=771145  major collections=37 compactions=0


runtime: 00:12:23.823
vars: 999557, evals: 1480401

|rho|=999557
|stable|=851895
|infl|=998134
|wpoint|=138
|sides|=68151
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=863359
|called|=1809
Found 66816 contexts for 135 functions. Top 5 functions:
8529	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5070	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5070	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4719	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4712	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=1632988.46MB, max=4997.28MB, minor=1632847.86MB, major=12387.08MB, promoted=12246.49MB
    minor collections=778645  major collections=38 compactions=0


runtime: 00:12:33.911
vars: 1010512, evals: 1496051

|rho|=1010512
|stable|=862734
|infl|=1009104
|wpoint|=139
|sides|=68897
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=872822
|called|=1800
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=1647969.55MB, max=4997.28MB, minor=1647828.73MB, major=12704.53MB, promoted=12563.71MB
    minor collections=785789  major collections=38 compactions=0


runtime: 00:12:44.042
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=1663708.63MB, max=5746.87MB, minor=1663567.56MB, major=13048.11MB, promoted=12907.04MB
    minor collections=793294  major collections=38 compactions=0


runtime: 00:12:54.154
vars: 1034071, evals: 1529578

|rho|=1034071
|stable|=886306
|infl|=1032645
|wpoint|=135
|sides|=70495
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=893185
|called|=1812
Found 69160 contexts for 135 functions. Top 5 functions:
8844	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5254	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5254	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4882	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4875	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=1679889.05MB, max=5746.87MB, minor=1679747.75MB, major=13386.91MB, promoted=13245.60MB
    minor collections=801009  major collections=38 compactions=0


runtime: 00:13:04.166
vars: 1044943, evals: 1545109

|rho|=1044943
|stable|=897177
|infl|=1043508
|wpoint|=135
|sides|=71234
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=902581
|called|=1827
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=1695452.14MB, max=5746.87MB, minor=1695310.62MB, major=13718.67MB, promoted=13577.15MB
    minor collections=808430  major collections=38 compactions=0


runtime: 00:13:14.185
vars: 1054863, evals: 1558821

|rho|=1054863
|stable|=907079
|infl|=1053390
|wpoint|=142
|sides|=71940
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=911095
|called|=1868
Found 70605 contexts for 135 functions. Top 5 functions:
9034	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5369	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5369	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
4980	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
4973	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=1708910.29MB, max=5746.87MB, minor=1708735.01MB, major=14052.28MB, promoted=13877.01MB
    minor collections=814833  major collections=38 compactions=0


runtime: 00:13:24.193
vars: 1063136, evals: 1574495

|rho|=1063136
|stable|=858053
|infl|=1061685
|wpoint|=135
|sides|=72507
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=918236
|called|=1908
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=1724934.08MB, max=5746.87MB, minor=1724758.62MB, major=14340.12MB, promoted=14164.65MB
    minor collections=822475  major collections=39 compactions=0


runtime: 00:13:34.220
vars: 1063236, evals: 1594019

|rho|=1063236
|stable|=857024
|infl|=1061790
|wpoint|=138
|sides|=72535
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=918293
|called|=1869
Found 71153 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=1739618.26MB, max=5746.87MB, minor=1739442.75MB, major=14501.08MB, promoted=14325.58MB
    minor collections=829477  major collections=39 compactions=0


runtime: 00:13:44.308
vars: 1068335, evals: 1613124

|rho|=1068335
|stable|=864794
|infl|=1066834
|wpoint|=137
|sides|=72882
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=922707
|called|=1883
Found 71496 contexts for 137 functions. Top 5 functions:
9150	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5430	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5430	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5036	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5029	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=1754937.96MB, max=5746.87MB, minor=1754762.33MB, major=14747.15MB, promoted=14571.52MB
    minor collections=836782  major collections=39 compactions=0


runtime: 00:13:54.472
vars: 1079113, evals: 1628739

|rho|=1079113
|stable|=875540
|infl|=1077621
|wpoint|=138
|sides|=73602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=932043
|called|=1877
Found 72216 contexts for 137 functions. Top 5 functions:
9247	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=1770784.09MB, max=6608.90MB, minor=1770608.25MB, major=15079.76MB, promoted=14903.92MB
    minor collections=844338  major collections=39 compactions=0


runtime: 00:14:04.563
vars: 1090092, evals: 1643595

|rho|=1090092
|stable|=886487
|infl|=1088565
|wpoint|=137
|sides|=74383
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=941470
|called|=1909
Found 72997 contexts for 137 functions. Top 5 functions:
9354	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5548	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5548	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5133	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5126	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=1786131.70MB, max=6608.90MB, minor=1785955.65MB, major=15422.72MB, promoted=15246.67MB
    minor collections=851656  major collections=39 compactions=0


runtime: 00:14:14.579
vars: 1099960, evals: 1658082

|rho|=1099960
|stable|=896355
|infl|=1098427
|wpoint|=140
|sides|=75024
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=950049
|called|=1921
Found 73638 contexts for 137 functions. Top 5 functions:
9437	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5595	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5595	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5185	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5178	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=1801423.83MB, max=6608.90MB, minor=1801247.59MB, major=15728.70MB, promoted=15552.46MB
    minor collections=858948  major collections=39 compactions=0


runtime: 00:14:24.590
vars: 1110536, evals: 1672739

|rho|=1110536
|stable|=906873
|infl|=1108983
|wpoint|=142
|sides|=75781
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=959118
|called|=1945
Found 74395 contexts for 137 functions. Top 5 functions:
9537	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5659	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5659	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5240	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5233	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=1816549.29MB, max=6608.90MB, minor=1816372.86MB, major=16067.51MB, promoted=15891.08MB
    minor collections=866161  major collections=39 compactions=0


runtime: 00:14:34.602
vars: 1120863, evals: 1687606

|rho|=1120863
|stable|=917194
|infl|=1119307
|wpoint|=142
|sides|=76474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=968059
|called|=1948
Found 75088 contexts for 137 functions. Top 5 functions:
9634	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5709	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5709	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5281	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5274	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=1832249.21MB, max=6608.90MB, minor=1832072.59MB, major=16402.84MB, promoted=16226.22MB
    minor collections=873648  major collections=40 compactions=0


runtime: 00:14:44.618
vars: 1130629, evals: 1700946

|rho|=1130629
|stable|=926934
|infl|=1129072
|wpoint|=142
|sides|=77159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=976456
|called|=1950
Found 75773 contexts for 137 functions. Top 5 functions:
9722	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
5766	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
5766	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
5328	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
5321	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=1846941.73MB, max=6608.90MB, minor=1846764.92MB, major=16713.82MB, promoted=16537.00MB
    minor collections=880654  major collections=40 compactions=0


runtime: 00:14:54.773
vars: 1140684, evals: 1716684

|rho|=1140684
|stable|=936945
|infl|=1139110
|wpoint|=150
|sides|=77745
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=985337
|called|=2003
Found 76359 contexts for 137 functions. Top 5 functions:
9791	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=1863562.90MB, max=6608.90MB, minor=1863385.89MB, major=17007.96MB, promoted=16830.95MB
    minor collections=888579  major collections=40 compactions=0

