./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/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.599
vars: 23356, evals: 41384

|rho|=23356
|stable|=10506
|infl|=23343
|wpoint|=5
|sides|=2055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19184
|called|=50
Found 1555 contexts for 46 functions. Top 5 functions:
217	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
129	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
129	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
98	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
97	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=22067.50MB, max=174.57MB, minor=22056.35MB, major=294.50MB, promoted=283.35MB
    minor collections=10524  major collections=14 compactions=0


runtime: 00:00:20.630
vars: 40969, evals: 80853

|rho|=40969
|stable|=18161
|infl|=40963
|wpoint|=5
|sides|=3220
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34456
|called|=44
Found 2707 contexts for 50 functions. Top 5 functions:
355	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
240	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
240	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
201	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
170	contexts for L:entry state of ci (3091) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=43318.38MB, max=265.50MB, minor=43305.14MB, major=498.80MB, promoted=485.55MB
    minor collections=20658  major collections=17 compactions=0


runtime: 00:00:30.674
vars: 62390, evals: 116563

|rho|=62390
|stable|=37011
|infl|=62342
|wpoint|=6
|sides|=4916
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52580
|called|=53
Found 4178 contexts for 71 functions. Top 5 functions:
553	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
360	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
360	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
298	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
272	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=65676.80MB, max=305.32MB, minor=65662.45MB, major=721.62MB, promoted=707.27MB
    minor collections=31320  major collections=20 compactions=0


runtime: 00:00:40.733
vars: 86675, evals: 150966

|rho|=86675
|stable|=60605
|infl|=86574
|wpoint|=11
|sides|=6722
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73263
|called|=117
Found 5839 contexts for 92 functions. Top 5 functions:
770	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
492	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
492	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
398	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
398	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=87982.24MB, max=464.37MB, minor=87964.08MB, major=962.06MB, promoted=943.90MB
    minor collections=41955  major collections=21 compactions=0


runtime: 00:00:50.781
vars: 109874, evals: 183211

|rho|=109874
|stable|=83798
|infl|=109781
|wpoint|=7
|sides|=8304
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93299
|called|=101
Found 7421 contexts for 92 functions. Top 5 functions:
982	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
614	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
614	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
511	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
494	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=111043.51MB, max=534.03MB, minor=111023.48MB, major=1195.56MB, promoted=1175.54MB
    minor collections=52952  major collections=23 compactions=0


runtime: 00:01:00.832
vars: 131388, evals: 214193

|rho|=131388
|stable|=105254
|infl|=131203
|wpoint|=17
|sides|=9762
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111906
|called|=211
Found 8879 contexts for 92 functions. Top 5 functions:
1177	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
723	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
722	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
605	contexts for L:entry state of ic (13417) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
598	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=134045.95MB, max=614.13MB, minor=134021.02MB, major=1414.49MB, promoted=1389.56MB
    minor collections=63920  major collections=24 compactions=0


runtime: 00:01:10.888
vars: 153322, evals: 245593

|rho|=153322
|stable|=125381
|infl|=153161
|wpoint|=16
|sides|=11278
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130796
|called|=208
Found 10331 contexts for 101 functions. Top 5 functions:
1364	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
830	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
830	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
699	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
699	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=157538.78MB, max=706.25MB, minor=157513.10MB, major=1626.88MB, promoted=1601.20MB
    minor collections=75123  major collections=25 compactions=0


runtime: 00:01:20.960
vars: 172294, evals: 272533

|rho|=172294
|stable|=144289
|infl|=172144
|wpoint|=12
|sides|=12574
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147179
|called|=191
Found 11627 contexts for 101 functions. Top 5 functions:
1539	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
936	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
936	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
782	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
782	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=181126.53MB, max=812.19MB, minor=181095.90MB, major=1838.20MB, promoted=1807.56MB
    minor collections=86368  major collections=25 compactions=0


runtime: 00:01:31.023
vars: 191444, evals: 300617

|rho|=191444
|stable|=163430
|infl|=191241
|wpoint|=19
|sides|=13804
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163874
|called|=303
Found 12856 contexts for 101 functions. Top 5 functions:
1692	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1017	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1017	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
859	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
859	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=205949.29MB, max=934.02MB, minor=205917.72MB, major=2033.60MB, promoted=2002.02MB
    minor collections=98205  major collections=26 compactions=0


runtime: 00:01:41.059
vars: 209690, evals: 327211

|rho|=209690
|stable|=180178
|infl|=209466
|wpoint|=15
|sides|=15045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179645
|called|=270
Found 14086 contexts for 102 functions. Top 5 functions:
1853	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1110	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1110	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
945	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
945	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=230143.41MB, max=1074.12MB, minor=230111.06MB, major=2232.08MB, promoted=2199.74MB
    minor collections=109742  major collections=27 compactions=0


runtime: 00:01:51.151
vars: 227350, evals: 351580

|rho|=227350
|stable|=197799
|infl|=227119
|wpoint|=20
|sides|=16290
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194814
|called|=287
Found 15331 contexts for 102 functions. Top 5 functions:
2020	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1211	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1211	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1038	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1038	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=254909.03MB, max=1235.24MB, minor=254875.58MB, major=2430.25MB, promoted=2396.80MB
    minor collections=121551  major collections=27 compactions=0


runtime: 00:02:01.182
vars: 243639, evals: 378533

|rho|=243639
|stable|=99075
|infl|=243342
|wpoint|=32
|sides|=17420
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208888
|called|=397
Found 16256 contexts for 118 functions. Top 5 functions:
2110	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1254	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1254	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1098	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1098	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=280443.91MB, max=1235.24MB, minor=280409.54MB, major=2608.04MB, promoted=2573.66MB
    minor collections=133727  major collections=27 compactions=0


runtime: 00:02:11.237
vars: 257695, evals: 398990

|rho|=257695
|stable|=113151
|infl|=257398
|wpoint|=24
|sides|=18410
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220956
|called|=380
Found 17216 contexts for 120 functions. Top 5 functions:
2245	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1328	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1328	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1168	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1168	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=305450.79MB, max=1235.24MB, minor=305415.51MB, major=2797.14MB, promoted=2761.86MB
    minor collections=145651  major collections=28 compactions=0


runtime: 00:02:21.269
vars: 274229, evals: 422679

|rho|=274229
|stable|=129653
|infl|=273873
|wpoint|=29
|sides|=19540
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235235
|called|=448
Found 18346 contexts for 120 functions. Top 5 functions:
2392	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1415	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1415	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1256	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1256	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=330087.62MB, max=1420.53MB, minor=330043.20MB, major=3006.85MB, promoted=2962.44MB
    minor collections=157397  major collections=28 compactions=0


runtime: 00:02:31.300
vars: 291663, evals: 448329

|rho|=291663
|stable|=147046
|infl|=291316
|wpoint|=32
|sides|=20658
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250433
|called|=468
Found 19464 contexts for 120 functions. Top 5 functions:
2536	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1476	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1476	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1304	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1304	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=356456.46MB, max=1420.53MB, minor=356410.95MB, major=3213.38MB, promoted=3167.87MB
    minor collections=169971  major collections=29 compactions=0


runtime: 00:02:41.380
vars: 305121, evals: 468488

|rho|=305121
|stable|=159086
|infl|=304728
|wpoint|=37
|sides|=21575
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262057
|called|=518
Found 20354 contexts for 122 functions. Top 5 functions:
2641	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1527	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1527	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1375	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1375	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=382592.71MB, max=1633.61MB, minor=382546.44MB, major=3394.22MB, promoted=3347.95MB
    minor collections=182433  major collections=29 compactions=0


runtime: 00:02:51.392
vars: 321369, evals: 491154

|rho|=321369
|stable|=175302
|infl|=320986
|wpoint|=34
|sides|=22693
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=276072
|called|=504
Found 21472 contexts for 122 functions. Top 5 functions:
2786	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1626	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1626	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1452	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1452	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=408785.54MB, max=1633.61MB, minor=408734.08MB, major=3599.39MB, promoted=3547.93MB
    minor collections=194922  major collections=30 compactions=0


runtime: 00:03:01.455
vars: 336965, evals: 513578

|rho|=336965
|stable|=190866
|infl|=336529
|wpoint|=40
|sides|=23758
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289541
|called|=567
Found 22537 contexts for 122 functions. Top 5 functions:
2925	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1711	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1711	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1538	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1538	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=435758.35MB, max=1633.61MB, minor=435705.60MB, major=3786.95MB, promoted=3734.20MB
    minor collections=207783  major collections=30 compactions=0


runtime: 00:03:11.551
vars: 352234, evals: 535121

|rho|=352234
|stable|=206075
|infl|=351786
|wpoint|=44
|sides|=24807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=302715
|called|=590
Found 23586 contexts for 122 functions. Top 5 functions:
3066	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1792	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1792	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1604	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1604	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=462184.85MB, max=1878.66MB, minor=462131.22MB, major=3983.95MB, promoted=3930.32MB
    minor collections=220384  major collections=30 compactions=0


runtime: 00:03:21.562
vars: 366476, evals: 554825

|rho|=366476
|stable|=220313
|infl|=366057
|wpoint|=35
|sides|=25792
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=314982
|called|=543
Found 24571 contexts for 122 functions. Top 5 functions:
3198	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1874	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1874	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1671	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1671	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=488934.18MB, max=1878.66MB, minor=488879.56MB, major=4175.99MB, promoted=4121.38MB
    minor collections=233140  major collections=31 compactions=0


runtime: 00:03:31.598
vars: 379105, evals: 573574

|rho|=379105
|stable|=232910
|infl|=378627
|wpoint|=36
|sides|=26646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=325913
|called|=605
Found 25425 contexts for 122 functions. Top 5 functions:
3307	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
1945	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
1945	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1745	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1745	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=514842.87MB, max=1878.66MB, minor=514787.10MB, major=4347.78MB, promoted=4292.01MB
    minor collections=245494  major collections=31 compactions=0


runtime: 00:03:41.678
vars: 390084, evals: 590682

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

Memory statistics: total=541699.54MB, max=2160.46MB, minor=541642.56MB, major=4506.28MB, promoted=4449.30MB
    minor collections=258300  major collections=31 compactions=0


runtime: 00:03:51.701
vars: 404085, evals: 612242

|rho|=404085
|stable|=256054
|infl|=403579
|wpoint|=48
|sides|=28192
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=347808
|called|=676
Found 26971 contexts for 122 functions. Top 5 functions:
3494	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2023	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2023	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1826	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1826	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=568328.14MB, max=2160.46MB, minor=568270.62MB, major=4695.29MB, promoted=4637.78MB
    minor collections=270997  major collections=31 compactions=0


runtime: 00:04:01.713
vars: 417136, evals: 630810

|rho|=417136
|stable|=267927
|infl|=416495
|wpoint|=62
|sides|=29076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=359125
|called|=826
Found 27746 contexts for 135 functions. Top 5 functions:
3571	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2075	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2075	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1888	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1884	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=594869.33MB, max=2160.46MB, minor=594806.66MB, major=4864.12MB, promoted=4801.46MB
    minor collections=283653  major collections=32 compactions=0


runtime: 00:04:11.745
vars: 429325, evals: 648388

|rho|=429325
|stable|=280119
|infl|=428682
|wpoint|=57
|sides|=29921
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=369629
|called|=817
Found 28591 contexts for 135 functions. Top 5 functions:
3684	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2141	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2141	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1940	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1936	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=621043.05MB, max=2160.46MB, minor=620979.18MB, major=5032.37MB, promoted=4968.50MB
    minor collections=296133  major collections=32 compactions=0


runtime: 00:04:21.844
vars: 441198, evals: 664418

|rho|=441198
|stable|=291960
|infl|=440539
|wpoint|=62
|sides|=30736
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379874
|called|=841
Found 29406 contexts for 135 functions. Top 5 functions:
3793	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2206	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2206	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
1992	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1988	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=645688.13MB, max=2484.53MB, minor=645622.88MB, major=5190.11MB, promoted=5124.86MB
    minor collections=307884  major collections=32 compactions=0


runtime: 00:04:31.900
vars: 452212, evals: 680536

|rho|=452212
|stable|=302900
|infl|=451515
|wpoint|=68
|sides|=31477
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=389409
|called|=915
Found 30147 contexts for 135 functions. Top 5 functions:
3891	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2263	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2263	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2052	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2048	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=670029.49MB, max=2484.53MB, minor=669963.57MB, major=5337.95MB, promoted=5272.03MB
    minor collections=319491  major collections=32 compactions=0


runtime: 00:04:41.911
vars: 465360, evals: 700456

|rho|=465360
|stable|=316049
|infl|=464667
|wpoint|=62
|sides|=32266
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=400980
|called|=900
Found 30936 contexts for 135 functions. Top 5 functions:
3985	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2317	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2317	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2094	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2090	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=696290.51MB, max=2484.53MB, minor=696223.82MB, major=5499.01MB, promoted=5432.32MB
    minor collections=332013  major collections=32 compactions=0


runtime: 00:04:51.922
vars: 472704, evals: 712927

|rho|=472704
|stable|=323319
|infl|=472013
|wpoint|=73
|sides|=32762
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=407328
|called|=940
Found 31432 contexts for 135 functions. Top 5 functions:
4033	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2356	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2356	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2147	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2143	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=722533.24MB, max=2484.53MB, minor=722465.77MB, major=5625.96MB, promoted=5558.48MB
    minor collections=344527  major collections=33 compactions=0


runtime: 00:05:01.933
vars: 481810, evals: 726417

|rho|=481810
|stable|=332435
|infl|=481097
|wpoint|=65
|sides|=33390
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=415186
|called|=923
Found 32060 contexts for 135 functions. Top 5 functions:
4121	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2400	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2400	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2190	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2186	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=748286.75MB, max=2484.53MB, minor=748217.66MB, major=5785.15MB, promoted=5716.06MB
    minor collections=356807  major collections=33 compactions=0


runtime: 00:05:12.013
vars: 491746, evals: 739706

|rho|=491746
|stable|=342363
|infl|=491034
|wpoint|=71
|sides|=34078
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=423743
|called|=943
Found 32748 contexts for 135 functions. Top 5 functions:
4213	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2451	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2451	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2233	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2229	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=773640.15MB, max=2484.53MB, minor=773569.71MB, major=5936.14MB, promoted=5865.70MB
    minor collections=368896  major collections=33 compactions=0


runtime: 00:05:22.084
vars: 501031, evals: 753279

|rho|=501031
|stable|=351598
|infl|=500264
|wpoint|=73
|sides|=34700
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=431793
|called|=992
Found 33370 contexts for 135 functions. Top 5 functions:
4294	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2500	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2500	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2283	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2279	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=798083.93MB, max=2857.21MB, minor=798012.27MB, major=6077.18MB, promoted=6005.52MB
    minor collections=380551  major collections=33 compactions=0


runtime: 00:05:32.127
vars: 511686, evals: 768605

|rho|=511686
|stable|=362279
|infl|=510935
|wpoint|=66
|sides|=35415
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=441016
|called|=964
Found 34085 contexts for 135 functions. Top 5 functions:
4391	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2550	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2550	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2323	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2319	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=823540.32MB, max=2857.21MB, minor=823468.30MB, major=6234.81MB, promoted=6162.79MB
    minor collections=392690  major collections=33 compactions=0


runtime: 00:05:42.139
vars: 521775, evals: 784175

|rho|=521775
|stable|=372295
|infl|=521012
|wpoint|=76
|sides|=36040
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449857
|called|=1016
Found 34710 contexts for 135 functions. Top 5 functions:
4463	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2571	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2571	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2348	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2344	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=849557.75MB, max=2857.21MB, minor=849485.09MB, major=6379.56MB, promoted=6306.90MB
    minor collections=405096  major collections=33 compactions=0


runtime: 00:05:52.149
vars: 528641, evals: 794933

|rho|=528641
|stable|=379161
|infl|=527875
|wpoint|=75
|sides|=36466
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=455873
|called|=1014
Found 35136 contexts for 135 functions. Top 5 functions:
4506	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 (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=874886.68MB, max=2857.21MB, minor=874796.58MB, major=6513.78MB, promoted=6423.68MB
    minor collections=417168  major collections=34 compactions=0


runtime: 00:06:02.161
vars: 539137, evals: 809251

|rho|=539137
|stable|=389625
|infl|=538353
|wpoint|=75
|sides|=37201
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=464904
|called|=1032
Found 35871 contexts for 135 functions. Top 5 functions:
4609	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 (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=899940.77MB, max=2857.21MB, minor=899849.35MB, major=6669.08MB, promoted=6577.65MB
    minor collections=429115  major collections=34 compactions=0


runtime: 00:06:12.205
vars: 549714, evals: 823794

|rho|=549714
|stable|=400046
|infl|=548909
|wpoint|=85
|sides|=37955
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473976
|called|=1084
Found 36625 contexts for 135 functions. Top 5 functions:
4706	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2718	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2718	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
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 (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=926393.66MB, max=2857.21MB, minor=926300.78MB, major=6829.08MB, promoted=6736.19MB
    minor collections=441728  major collections=34 compactions=0


runtime: 00:06:22.296
vars: 559684, evals: 838081

|rho|=559684
|stable|=410140
|infl|=558884
|wpoint|=77
|sides|=38637
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=482578
|called|=1052
Found 37307 contexts for 135 functions. Top 5 functions:
4794	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2779	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2779	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2544	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2540	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=953457.44MB, max=2857.21MB, minor=953363.08MB, major=6976.86MB, promoted=6882.50MB
    minor collections=454632  major collections=34 compactions=0


runtime: 00:06:32.331
vars: 571298, evals: 854855

|rho|=571298
|stable|=421722
|infl|=570471
|wpoint|=76
|sides|=39405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492660
|called|=1078
Found 38075 contexts for 135 functions. Top 5 functions:
4894	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2841	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2841	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2599	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2595	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=979510.67MB, max=3285.79MB, minor=979415.55MB, major=7140.01MB, promoted=7044.89MB
    minor collections=467055  major collections=34 compactions=0


runtime: 00:06:42.343
vars: 580631, evals: 869991

|rho|=580631
|stable|=431023
|infl|=579814
|wpoint|=78
|sides|=40010
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=500778
|called|=1071
Found 38680 contexts for 135 functions. Top 5 functions:
4957	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2890	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2890	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2652	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2648	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1006480.09MB, max=3285.79MB, minor=1006384.22MB, major=7290.45MB, promoted=7194.57MB
    minor collections=479915  major collections=34 compactions=0


runtime: 00:06:52.355
vars: 588992, evals: 884719

|rho|=588992
|stable|=439320
|infl|=588172
|wpoint|=85
|sides|=40511
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=508136
|called|=1082
Found 39180 contexts for 135 functions. Top 5 functions:
5014	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2930	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2930	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2702	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2698	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1034948.41MB, max=3285.79MB, minor=1034851.59MB, major=7434.66MB, promoted=7337.85MB
    minor collections=493490  major collections=34 compactions=0


runtime: 00:07:02.366
vars: 598483, evals: 899130

|rho|=598483
|stable|=448779
|infl|=597633
|wpoint|=84
|sides|=41117
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=516421
|called|=1109
Found 39786 contexts for 135 functions. Top 5 functions:
5088	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
2966	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
2966	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2740	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2736	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1061929.60MB, max=3285.79MB, minor=1061831.54MB, major=7593.43MB, promoted=7495.37MB
    minor collections=506356  major collections=35 compactions=0


runtime: 00:07:12.386
vars: 608936, evals: 913210

|rho|=608936
|stable|=459206
|infl|=608071
|wpoint|=92
|sides|=41861
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525389
|called|=1138
Found 40530 contexts for 135 functions. Top 5 functions:
5188	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3025	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3025	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2790	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2786	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1088113.01MB, max=3285.79MB, minor=1088005.06MB, major=7753.62MB, promoted=7645.67MB
    minor collections=518837  major collections=35 compactions=0


runtime: 00:07:22.456
vars: 618671, evals: 927065

|rho|=618671
|stable|=468935
|infl|=617825
|wpoint|=87
|sides|=42541
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=533762
|called|=1109
Found 41210 contexts for 135 functions. Top 5 functions:
5276	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3087	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3087	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2845	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2841	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1114696.39MB, max=3285.79MB, minor=1114586.90MB, major=7904.33MB, promoted=7794.84MB
    minor collections=531513  major collections=35 compactions=0


runtime: 00:07:32.523
vars: 628810, evals: 942015

|rho|=628810
|stable|=479040
|infl|=627900
|wpoint|=94
|sides|=43219
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=542549
|called|=1201
Found 41888 contexts for 135 functions. Top 5 functions:
5362	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3141	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3141	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2902	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2898	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1141574.44MB, max=3285.79MB, minor=1141463.34MB, major=8052.46MB, promoted=7941.37MB
    minor collections=544329  major collections=35 compactions=0


runtime: 00:07:42.618
vars: 639822, evals: 958147

|rho|=639822
|stable|=490054
|infl|=638947
|wpoint|=89
|sides|=43937
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=552121
|called|=1149
Found 42606 contexts for 135 functions. Top 5 functions:
5455	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3207	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3207	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2951	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2947	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1168291.43MB, max=3778.66MB, minor=1168179.70MB, major=8211.22MB, promoted=8099.48MB
    minor collections=557069  major collections=35 compactions=0


runtime: 00:07:52.629
vars: 649863, evals: 972014

|rho|=649863
|stable|=500063
|infl|=648965
|wpoint|=89
|sides|=44657
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=560730
|called|=1167
Found 43326 contexts for 135 functions. Top 5 functions:
5554	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3260	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3260	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
2998	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
2994	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1195056.00MB, max=3778.66MB, minor=1194943.67MB, major=8372.14MB, promoted=8259.81MB
    minor collections=569831  major collections=35 compactions=0


runtime: 00:08:02.645
vars: 659225, evals: 984706

|rho|=659225
|stable|=509425
|infl|=658324
|wpoint|=88
|sides|=45310
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=568783
|called|=1167
Found 43979 contexts for 135 functions. Top 5 functions:
5643	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3308	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3308	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3044	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3040	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1220796.63MB, max=3778.66MB, minor=1220683.34MB, major=8514.08MB, promoted=8400.79MB
    minor collections=582105  major collections=35 compactions=0


runtime: 00:08:12.657
vars: 668830, evals: 998815

|rho|=668830
|stable|=518964
|infl|=667869
|wpoint|=97
|sides|=45962
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=577090
|called|=1255
Found 44631 contexts for 135 functions. Top 5 functions:
5725	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 (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1247034.41MB, max=3778.66MB, minor=1246919.94MB, major=8665.43MB, promoted=8550.96MB
    minor collections=594616  major collections=36 compactions=0


runtime: 00:08:22.672
vars: 677268, evals: 1011530

|rho|=677268
|stable|=527286
|infl|=676329
|wpoint|=99
|sides|=46517
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=584414
|called|=1241
Found 45186 contexts for 135 functions. Top 5 functions:
5795	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3409	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3409	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3133	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3129	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1272107.39MB, max=3778.66MB, minor=1271983.25MB, major=8807.12MB, promoted=8682.98MB
    minor collections=606568  major collections=36 compactions=0


runtime: 00:08:32.692
vars: 690691, evals: 1030901

|rho|=690691
|stable|=540737
|infl|=689618
|wpoint|=105
|sides|=47387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=596114
|called|=1364
Found 46056 contexts for 135 functions. Top 5 functions:
5882	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3469	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3469	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3210	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3203	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1293632.25MB, max=3778.66MB, minor=1293497.72MB, major=8976.28MB, promoted=8841.75MB
    minor collections=616827  major collections=36 compactions=0


runtime: 00:08:42.779
vars: 710840, evals: 1059581

|rho|=710840
|stable|=560880
|infl|=709779
|wpoint|=99
|sides|=48777
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=613486
|called|=1340
Found 47446 contexts for 135 functions. Top 5 functions:
6068	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3582	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3582	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3302	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3295	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1311721.13MB, max=3778.66MB, minor=1311586.12MB, major=9187.18MB, promoted=9052.17MB
    minor collections=625453  major collections=36 compactions=0


runtime: 00:08:52.891
vars: 727909, evals: 1084225

|rho|=727909
|stable|=577916
|infl|=726809
|wpoint|=97
|sides|=49944
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=628222
|called|=1377
Found 48614 contexts for 135 functions. Top 5 functions:
6220	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3674	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3674	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3394	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3387	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1330127.34MB, max=3778.66MB, minor=1329991.87MB, major=9370.14MB, promoted=9234.67MB
    minor collections=634229  major collections=36 compactions=0


runtime: 00:09:02.915
vars: 744072, evals: 1109641

|rho|=744072
|stable|=594007
|infl|=742974
|wpoint|=104
|sides|=50916
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=642438
|called|=1414
Found 49585 contexts for 135 functions. Top 5 functions:
6326	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3736	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3736	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3450	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3443	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1349431.56MB, max=3778.66MB, minor=1349295.65MB, major=9539.42MB, promoted=9403.51MB
    minor collections=643434  major collections=36 compactions=0


runtime: 00:09:12.926
vars: 755776, evals: 1127182

|rho|=755776
|stable|=605672
|infl|=754652
|wpoint|=107
|sides|=51725
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=652531
|called|=1443
Found 50394 contexts for 135 functions. Top 5 functions:
6435	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3796	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3796	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3518	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3511	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1368936.88MB, max=3778.66MB, minor=1368800.59MB, major=9701.34MB, promoted=9565.05MB
    minor collections=652735  major collections=36 compactions=0


runtime: 00:09:22.938
vars: 770298, evals: 1147565

|rho|=770298
|stable|=620175
|infl|=769112
|wpoint|=114
|sides|=52706
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=665098
|called|=1515
Found 51375 contexts for 135 functions. Top 5 functions:
6565	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3867	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3867	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3585	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3578	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1388954.11MB, max=3778.66MB, minor=1388817.35MB, major=9872.60MB, promoted=9735.84MB
    minor collections=662280  major collections=36 compactions=0


runtime: 00:09:32.945
vars: 785484, evals: 1169263

|rho|=785484
|stable|=635355
|infl|=784315
|wpoint|=108
|sides|=53747
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=678204
|called|=1487
Found 52416 contexts for 135 functions. Top 5 functions:
6705	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3947	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3947	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3650	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3643	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1407954.17MB, max=3778.66MB, minor=1407816.98MB, major=10055.74MB, promoted=9918.55MB
    minor collections=671341  major collections=37 compactions=0


runtime: 00:09:42.957
vars: 797160, evals: 1187074

|rho|=797160
|stable|=646958
|infl|=795986
|wpoint|=112
|sides|=54483
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=688409
|called|=1521
Found 53152 contexts for 135 functions. Top 5 functions:
6788	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
3978	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
3978	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3687	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3680	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1427917.68MB, max=3778.66MB, minor=1427780.12MB, major=10198.95MB, promoted=10061.39MB
    minor collections=680860  major collections=37 compactions=0


runtime: 00:10:09.747
vars: 809768, evals: 1205587

|rho|=809768
|stable|=659526
|infl|=808552
|wpoint|=119
|sides|=55322
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=699347
|called|=1582
Found 53991 contexts for 135 functions. Top 5 functions:
6893	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
4032	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
4032	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
3745	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
3738	contexts for L:entry state of dc (13418) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=1447546.27MB, max=4345.46MB, minor=1447408.38MB, major=10359.75MB, promoted=10221.85MB
    minor collections=690220  major collections=37 compactions=0

