./goblint --conf conf/examples/large-program.json --enable ana.context.widen --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/lmdb/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
Option warning: ana.base.context.int implicitly disabled by ana.base.context.non-ptr
Option warning: ana.base.context.interval implicitly disabled by ana.base.context.int
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.213
vars: 9802, evals: 41494

|rho|=9802
|stable|=7704
|infl|=9640
|wpoint|=178
|sides|=971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8020
|called|=299
Found 311 contexts for 68 functions. Top 5 functions:
30	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
19	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
19	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
19	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
18	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=27284.22MB, max=132.00MB, minor=27279.32MB, major=523.47MB, promoted=518.57MB
    minor collections=13020  major collections=25 compactions=0


runtime: 00:00:20.216
vars: 11917, evals: 73049

|rho|=11917
|stable|=8764
|infl|=11723
|wpoint|=257
|sides|=1029
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10022
|called|=327
Found 369 contexts for 68 functions. Top 5 functions:
32	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
23	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
21	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
21	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
21	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=53146.53MB, max=151.80MB, minor=53141.42MB, major=1140.79MB, promoted=1135.68MB
    minor collections=25360  major collections=40 compactions=0


runtime: 00:00:30.214
vars: 14884, evals: 102545

|rho|=14884
|stable|=11880
|infl|=14757
|wpoint|=324
|sides|=1112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=12819
|called|=190
Found 452 contexts for 68 functions. Top 5 functions:
39	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
28	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
27	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
27	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
27	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=77977.60MB, max=200.75MB, minor=77972.44MB, major=1690.19MB, promoted=1685.03MB
    minor collections=37205  major collections=50 compactions=0


runtime: 00:00:40.222
vars: 20458, evals: 138837

|rho|=20458
|stable|=15714
|infl|=20330
|wpoint|=445
|sides|=1292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18033
|called|=180
Found 632 contexts for 68 functions. Top 5 functions:
53	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
41	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
39	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
39	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
39	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=104443.25MB, max=265.50MB, minor=104436.96MB, major=2184.09MB, promoted=2177.80MB
    minor collections=49828  major collections=57 compactions=0


runtime: 00:00:50.248
vars: 22444, evals: 169613

|rho|=22444
|stable|=16724
|infl|=22308
|wpoint|=502
|sides|=1339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19924
|called|=217
Found 679 contexts for 68 functions. Top 5 functions:
55	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
44	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
41	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
41	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
41	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=129813.77MB, max=305.32MB, minor=129807.41MB, major=2745.97MB, promoted=2739.61MB
    minor collections=61930  major collections=64 compactions=0


runtime: 00:01:00.283
vars: 26307, evals: 199172

|rho|=26307
|stable|=16160
|infl|=26091
|wpoint|=567
|sides|=1469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23525
|called|=429
Found 796 contexts for 69 functions. Top 5 functions:
57	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
56	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
52	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
52	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
52	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=154764.97MB, max=351.13MB, minor=154758.55MB, major=3298.34MB, promoted=3291.93MB
    minor collections=73830  major collections=70 compactions=0


runtime: 00:01:10.294
vars: 26954, evals: 223746

|rho|=26954
|stable|=17299
|infl|=26742
|wpoint|=593
|sides|=1501
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24114
|called|=350
Found 820 contexts for 69 functions. Top 5 functions:
58	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
57	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
57	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
56	contexts for L:entry state of mdb_assert_fail (4887) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
54	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=179130.12MB, max=351.13MB, minor=179123.67MB, major=3858.08MB, promoted=3851.63MB
    minor collections=85451  major collections=75 compactions=0


runtime: 00:01:20.305
vars: 28788, evals: 245520

|rho|=28788
|stable|=17720
|infl|=28606
|wpoint|=661
|sides|=1563
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25821
|called|=427
Found 882 contexts for 69 functions. Top 5 functions:
69	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
69	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
65	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
58	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
57	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1

Memory statistics: total=203272.05MB, max=403.80MB, minor=203265.56MB, major=4456.37MB, promoted=4449.88MB
    minor collections=96966  major collections=80 compactions=0


runtime: 00:01:30.325
vars: 32835, evals: 269717

|rho|=32835
|stable|=22172
|infl|=32656
|wpoint|=696
|sides|=1663
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29670
|called|=318
Found 982 contexts for 69 functions. Top 5 functions:
73	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
73	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
69	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
68	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
63	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=226995.18MB, max=403.80MB, minor=226988.12MB, major=5010.34MB, promoted=5003.28MB
    minor collections=108280  major collections=85 compactions=0


runtime: 00:01:40.375
vars: 35730, evals: 294438

|rho|=35730
|stable|=23165
|infl|=35589
|wpoint|=744
|sides|=1749
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32389
|called|=281
Found 1068 contexts for 69 functions. Top 5 functions:
84	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
84	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
79	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
73	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
68	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=251077.54MB, max=464.37MB, minor=251069.89MB, major=5595.33MB, promoted=5587.69MB
    minor collections=119766  major collections=89 compactions=0


runtime: 00:01:50.398
vars: 36325, evals: 319192

|rho|=36325
|stable|=24302
|infl|=36189
|wpoint|=780
|sides|=1770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32941
|called|=178
Found 1089 contexts for 69 functions. Top 5 functions:
88	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
88	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
81	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
74	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
69	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=275630.87MB, max=534.03MB, minor=275622.66MB, major=6127.99MB, promoted=6119.78MB
    minor collections=131475  major collections=93 compactions=0


runtime: 00:02:00.421
vars: 40434, evals: 346037

|rho|=40434
|stable|=25670
|infl|=40234
|wpoint|=859
|sides|=1896
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36807
|called|=346
Found 1215 contexts for 69 functions. Top 5 functions:
101	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
101	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
93	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
88	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
80	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=299782.28MB, max=534.03MB, minor=299774.01MB, major=6656.34MB, promoted=6648.08MB
    minor collections=142993  major collections=96 compactions=0


runtime: 00:02:10.475
vars: 43983, evals: 370242

|rho|=43983
|stable|=27383
|infl|=43823
|wpoint|=897
|sides|=1972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40199
|called|=449
Found 1291 contexts for 69 functions. Top 5 functions:
101	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
101	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
93	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
92	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
81	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=323620.28MB, max=614.13MB, minor=323611.95MB, major=7237.78MB, promoted=7229.44MB
    minor collections=154362  major collections=99 compactions=0


runtime: 00:02:20.495
vars: 46852, evals: 393727

|rho|=46852
|stable|=30950
|infl|=46710
|wpoint|=908
|sides|=2037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42934
|called|=253
Found 1356 contexts for 69 functions. Top 5 functions:
103	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
103	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
103	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
95	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
84	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=347506.40MB, max=614.13MB, minor=347498.01MB, major=7755.32MB, promoted=7746.93MB
    minor collections=165753  major collections=102 compactions=0


runtime: 00:02:30.523
vars: 49806, evals: 421787

|rho|=49806
|stable|=32842
|infl|=49716
|wpoint|=954
|sides|=2106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=45744
|called|=110
Found 1425 contexts for 69 functions. Top 5 functions:
116	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
107	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
107	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
99	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
91	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=372714.04MB, max=706.25MB, minor=372705.00MB, major=8182.94MB, promoted=8173.90MB
    minor collections=177774  major collections=104 compactions=0


runtime: 00:02:40.549
vars: 51540, evals: 446577

|rho|=51540
|stable|=30093
|infl|=51393
|wpoint|=1002
|sides|=2237
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47248
|called|=234
Found 1453 contexts for 76 functions. Top 5 functions:
120	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
107	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
107	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
99	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
91	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=397152.53MB, max=706.25MB, minor=397143.42MB, major=8796.68MB, promoted=8787.58MB
    minor collections=189429  major collections=107 compactions=0


runtime: 00:02:50.567
vars: 56256, evals: 473465

|rho|=56256
|stable|=35260
|infl|=56113
|wpoint|=1055
|sides|=2369
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51698
|called|=213
Found 1585 contexts for 76 functions. Top 5 functions:
132	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
117	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
117	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
109	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
107	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=421333.83MB, max=706.25MB, minor=421324.62MB, major=9324.03MB, promoted=9314.83MB
    minor collections=200961  major collections=110 compactions=0


runtime: 00:03:00.618
vars: 57821, evals: 498233

|rho|=57821
|stable|=34820
|infl|=57717
|wpoint|=1131
|sides|=2406
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53186
|called|=320
Found 1622 contexts for 76 functions. Top 5 functions:
136	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
117	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
117	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
115	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
109	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=445337.65MB, max=812.19MB, minor=445328.36MB, major=9906.89MB, promoted=9897.60MB
    minor collections=212408  major collections=112 compactions=0


runtime: 00:03:10.647
vars: 60570, evals: 520669

|rho|=60570
|stable|=39002
|infl|=60430
|wpoint|=1154
|sides|=2518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55714
|called|=231
Found 1734 contexts for 76 functions. Top 5 functions:
142	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
129	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
129	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
121	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1
120	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=468922.89MB, max=812.19MB, minor=468913.56MB, major=10552.32MB, promoted=10542.99MB
    minor collections=223656  major collections=115 compactions=0


runtime: 00:03:20.666
vars: 65100, evals: 544751

|rho|=65100
|stable|=40024
|infl|=64939
|wpoint|=1205
|sides|=2641
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59999
|called|=315
Found 1857 contexts for 76 functions. Top 5 functions:
151	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
132	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
132	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
129	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
124	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=492816.48MB, max=934.02MB, minor=492807.07MB, major=11125.72MB, promoted=11116.31MB
    minor collections=235051  major collections=117 compactions=0


runtime: 00:03:30.708
vars: 66425, evals: 566047

|rho|=66425
|stable|=42276
|infl|=66275
|wpoint|=1250
|sides|=2675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61258
|called|=218
Found 1891 contexts for 76 functions. Top 5 functions:
156	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
134	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
134	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
132	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
126	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=516324.90MB, max=934.02MB, minor=516313.35MB, major=11734.85MB, promoted=11723.30MB
    minor collections=246261  major collections=119 compactions=0


runtime: 00:03:40.737
vars: 67973, evals: 590362

|rho|=67973
|stable|=43118
|infl|=67830
|wpoint|=1304
|sides|=2722
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62709
|called|=222
Found 1938 contexts for 76 functions. Top 5 functions:
158	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
138	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
138	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
135	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
130	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=540626.61MB, max=934.02MB, minor=540615.00MB, major=12377.52MB, promoted=12365.90MB
    minor collections=257850  major collections=121 compactions=0


runtime: 00:03:50.784
vars: 69646, evals: 613150

|rho|=69646
|stable|=43157
|infl|=69512
|wpoint|=1356
|sides|=2767
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64290
|called|=307
Found 1983 contexts for 76 functions. Top 5 functions:
163	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
143	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
143	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
136	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
135	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=564542.08MB, max=1074.12MB, minor=564530.41MB, major=12996.65MB, promoted=12984.99MB
    minor collections=269255  major collections=123 compactions=0


runtime: 00:04:00.816
vars: 70012, evals: 633787

|rho|=70012
|stable|=43293
|infl|=69865
|wpoint|=1383
|sides|=2775
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64641
|called|=228
Found 1991 contexts for 76 functions. Top 5 functions:
163	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
143	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
143	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
137	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
136	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1

Memory statistics: total=588015.76MB, max=1074.12MB, minor=588004.06MB, major=13638.51MB, promoted=13626.80MB
    minor collections=280450  major collections=126 compactions=0


runtime: 00:04:10.840
vars: 72944, evals: 659948

|rho|=72944
|stable|=44997
|infl|=72802
|wpoint|=1429
|sides|=2865
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67394
|called|=205
Found 2081 contexts for 76 functions. Top 5 functions:
171	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
149	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
149	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
142	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
141	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=612574.09MB, max=1074.12MB, minor=612561.28MB, major=14202.50MB, promoted=14189.69MB
    minor collections=292160  major collections=127 compactions=0


runtime: 00:04:20.874
vars: 74720, evals: 682134

|rho|=74720
|stable|=43014
|infl|=74602
|wpoint|=1500
|sides|=2912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69071
|called|=211
Found 2128 contexts for 76 functions. Top 5 functions:
177	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
151	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
151	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
147	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
142	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=636281.74MB, max=1074.12MB, minor=636268.87MB, major=14792.05MB, promoted=14779.18MB
    minor collections=303466  major collections=129 compactions=0


runtime: 00:04:30.888
vars: 76477, evals: 703914

|rho|=76477
|stable|=44918
|infl|=76382
|wpoint|=1537
|sides|=2964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70723
|called|=205
Found 2180 contexts for 76 functions. Top 5 functions:
183	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
157	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
157	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
150	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
147	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=660392.20MB, max=1074.12MB, minor=660379.28MB, major=15359.79MB, promoted=15346.87MB
    minor collections=314964  major collections=131 compactions=0


runtime: 00:04:40.910
vars: 77586, evals: 726341

|rho|=77586
|stable|=42616
|infl|=77425
|wpoint|=1589
|sides|=3003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71761
|called|=288
Found 2210 contexts for 77 functions. Top 5 functions:
188	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
157	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
157	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
154	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
148	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=684404.04MB, max=1235.24MB, minor=684391.08MB, major=15997.21MB, promoted=15984.25MB
    minor collections=326415  major collections=133 compactions=0


runtime: 00:04:50.950
vars: 81630, evals: 752250

|rho|=81630
|stable|=43470
|infl|=81444
|wpoint|=1650
|sides|=3113
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75590
|called|=275
Found 2320 contexts for 77 functions. Top 5 functions:
197	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
167	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
161	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
161	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
154	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=709063.80MB, max=1235.24MB, minor=709050.76MB, major=16646.54MB, promoted=16633.51MB
    minor collections=338174  major collections=134 compactions=0


runtime: 00:05:01.012
vars: 83958, evals: 777591

|rho|=83958
|stable|=44762
|infl|=83793
|wpoint|=1697
|sides|=3173
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77793
|called|=314
Found 2380 contexts for 77 functions. Top 5 functions:
200	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
172	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
165	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
165	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
161	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=733169.54MB, max=1420.53MB, minor=733156.44MB, major=17391.06MB, promoted=17377.96MB
    minor collections=349670  major collections=136 compactions=0


runtime: 00:05:11.023
vars: 85045, evals: 798354

|rho|=85045
|stable|=45271
|infl|=84866
|wpoint|=1723
|sides|=3191
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78846
|called|=359
Found 2398 contexts for 77 functions. Top 5 functions:
201	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
173	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
165	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
165	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
162	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=756395.80MB, max=1420.53MB, minor=756382.65MB, major=18093.39MB, promoted=18080.24MB
    minor collections=360746  major collections=138 compactions=0


runtime: 00:05:21.044
vars: 87938, evals: 820999

|rho|=87938
|stable|=45888
|infl|=87770
|wpoint|=1770
|sides|=3260
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81600
|called|=263
Found 2467 contexts for 77 functions. Top 5 functions:
208	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
182	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
171	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
167	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
167	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1

Memory statistics: total=780361.19MB, max=1420.53MB, minor=780348.00MB, major=18795.87MB, promoted=18782.68MB
    minor collections=372175  major collections=140 compactions=0


runtime: 00:05:31.055
vars: 91630, evals: 847084

|rho|=91630
|stable|=48703
|infl|=91490
|wpoint|=1816
|sides|=3355
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85101
|called|=183
Found 2562 contexts for 77 functions. Top 5 functions:
218	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
191	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
178	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
172	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
172	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1

Memory statistics: total=805659.78MB, max=1420.53MB, minor=805646.51MB, major=19437.83MB, promoted=19424.56MB
    minor collections=384239  major collections=141 compactions=0


runtime: 00:05:41.106
vars: 93291, evals: 871355

|rho|=93291
|stable|=49355
|infl|=93166
|wpoint|=1866
|sides|=3391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86687
|called|=239
Found 2598 contexts for 77 functions. Top 5 functions:
220	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
193	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
181	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
173	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
173	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1

Memory statistics: total=830457.28MB, max=1420.53MB, minor=830443.94MB, major=20122.28MB, promoted=20108.93MB
    minor collections=396065  major collections=143 compactions=0


runtime: 00:05:51.124
vars: 94575, evals: 893027

|rho|=94575
|stable|=50211
|infl|=94453
|wpoint|=1879
|sides|=3413
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87927
|called|=189
Found 2620 contexts for 77 functions. Top 5 functions:
222	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
196	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
182	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
173	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
173	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1

Memory statistics: total=854413.10MB, max=1633.61MB, minor=854399.70MB, major=20787.79MB, promoted=20774.39MB
    minor collections=407488  major collections=144 compactions=0


runtime: 00:06:01.141
vars: 97205, evals: 912522

|rho|=97205
|stable|=48037
|infl|=97033
|wpoint|=1898
|sides|=3467
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90453
|called|=274
Found 2674 contexts for 77 functions. Top 5 functions:
237	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
205	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
187	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
177	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
174	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=877683.07MB, max=1633.61MB, minor=877669.62MB, major=21485.28MB, promoted=21471.83MB
    minor collections=418585  major collections=146 compactions=0


runtime: 00:06:11.155
vars: 98291, evals: 929078

|rho|=98291
|stable|=49267
|infl|=98171
|wpoint|=1915
|sides|=3487
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91493
|called|=310
Found 2694 contexts for 77 functions. Top 5 functions:
239	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
209	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
190	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
183	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
174	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=900232.53MB, max=1633.61MB, minor=900219.04MB, major=22227.03MB, promoted=22213.54MB
    minor collections=429338  major collections=147 compactions=0


runtime: 00:06:21.168
vars: 100212, evals: 945753

|rho|=100212
|stable|=50807
|infl|=100008
|wpoint|=1931
|sides|=3521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93352
|called|=389
Found 2728 contexts for 77 functions. Top 5 functions:
244	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
216	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
192	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
187	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
174	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=922265.58MB, max=1633.61MB, minor=922252.05MB, major=22946.82MB, promoted=22933.30MB
    minor collections=439846  major collections=149 compactions=0


runtime: 00:06:31.182
vars: 101579, evals: 963242

|rho|=101579
|stable|=51865
|infl|=101425
|wpoint|=1960
|sides|=3546
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94667
|called|=214
Found 2753 contexts for 77 functions. Top 5 functions:
247	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
220	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
195	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
192	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
174	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=944728.67MB, max=1633.61MB, minor=944715.11MB, major=23626.85MB, promoted=23613.28MB
    minor collections=450558  major collections=150 compactions=0


runtime: 00:06:41.206
vars: 103688, evals: 981620

|rho|=103688
|stable|=53515
|infl|=103519
|wpoint|=2000
|sides|=3593
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96682
|called|=303
Found 2800 contexts for 77 functions. Top 5 functions:
252	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
224	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
199	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
198	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
177	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=967391.07MB, max=1633.61MB, minor=967377.45MB, major=24367.71MB, promoted=24354.10MB
    minor collections=461365  major collections=152 compactions=0


runtime: 00:06:51.233
vars: 104734, evals: 999965

|rho|=104734
|stable|=53959
|infl|=104637
|wpoint|=2018
|sides|=3620
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97670
|called|=282
Found 2827 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
207	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
179	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=990332.03MB, max=1633.61MB, minor=990318.35MB, major=25011.26MB, promoted=24997.58MB
    minor collections=472305  major collections=153 compactions=0


runtime: 00:07:01.262
vars: 105345, evals: 1018462

|rho|=105345
|stable|=57572
|infl|=105233
|wpoint|=2023
|sides|=3631
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98261
|called|=161
Found 2835 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
179	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1013785.25MB, max=1878.66MB, minor=1013771.53MB, major=25703.94MB, promoted=25690.22MB
    minor collections=483489  major collections=155 compactions=0


runtime: 00:07:11.274
vars: 105918, evals: 1037129

|rho|=105918
|stable|=51967
|infl|=105711
|wpoint|=2042
|sides|=3644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98812
|called|=334
Found 2838 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
179	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1036501.94MB, max=1878.66MB, minor=1036488.18MB, major=26403.57MB, promoted=26389.82MB
    minor collections=494322  major collections=156 compactions=0


runtime: 00:07:21.294
vars: 106553, evals: 1053380

|rho|=106553
|stable|=54431
|infl|=106360
|wpoint|=2040
|sides|=3650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99434
|called|=263
Found 2844 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
179	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1058354.89MB, max=1878.66MB, minor=1058341.07MB, major=27149.35MB, promoted=27135.53MB
    minor collections=504743  major collections=157 compactions=0


runtime: 00:07:31.312
vars: 107068, evals: 1071736

|rho|=107068
|stable|=53369
|infl|=106876
|wpoint|=2039
|sides|=3655
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99939
|called|=285
Found 2849 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
179	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1080812.38MB, max=1878.66MB, minor=1080798.51MB, major=27819.84MB, promoted=27805.96MB
    minor collections=515452  major collections=158 compactions=0


runtime: 00:07:41.324
vars: 107615, evals: 1090490

|rho|=107615
|stable|=36243
|infl|=107450
|wpoint|=2045
|sides|=3673
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100451
|called|=377
Found 2863 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
182	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1103501.77MB, max=1878.66MB, minor=1103487.86MB, major=28469.03MB, promoted=28455.12MB
    minor collections=526273  major collections=160 compactions=0


runtime: 00:07:51.359
vars: 107629, evals: 1105865

|rho|=107629
|stable|=36654
|infl|=107464
|wpoint|=2048
|sides|=3674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100463
|called|=326
Found 2864 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
182	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1125169.54MB, max=1878.66MB, minor=1125155.61MB, major=29306.31MB, promoted=29292.37MB
    minor collections=536605  major collections=161 compactions=0


runtime: 00:08:01.385
vars: 107829, evals: 1122172

|rho|=107829
|stable|=38467
|infl|=107664
|wpoint|=2067
|sides|=3690
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100631
|called|=447
Found 2880 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
186	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1147390.34MB, max=1878.66MB, minor=1147376.39MB, major=30125.61MB, promoted=30111.66MB
    minor collections=547202  major collections=163 compactions=0


runtime: 00:08:11.413
vars: 107877, evals: 1136932

|rho|=107877
|stable|=39185
|infl|=107712
|wpoint|=2070
|sides|=3692
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100675
|called|=373
Found 2882 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
186	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1168679.26MB, max=1878.66MB, minor=1168665.29MB, major=30960.41MB, promoted=30946.43MB
    minor collections=557354  major collections=164 compactions=0


runtime: 00:08:21.433
vars: 108085, evals: 1153743

|rho|=108085
|stable|=42332
|infl|=107920
|wpoint|=2092
|sides|=3716
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100835
|called|=389
Found 2906 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
194	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1190684.45MB, max=1878.66MB, minor=1190670.45MB, major=31724.68MB, promoted=31710.68MB
    minor collections=567848  major collections=165 compactions=0


runtime: 00:08:31.446
vars: 108159, evals: 1170604

|rho|=108159
|stable|=42829
|infl|=107994
|wpoint|=2105
|sides|=3721
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100899
|called|=461
Found 2911 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
195	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1212960.61MB, max=1878.66MB, minor=1212946.58MB, major=32492.01MB, promoted=32477.98MB
    minor collections=578471  major collections=167 compactions=0


runtime: 00:08:41.454
vars: 108207, evals: 1186835

|rho|=108207
|stable|=43498
|infl|=108042
|wpoint|=2109
|sides|=3723
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100943
|called|=374
Found 2913 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
195	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1235196.37MB, max=1878.66MB, minor=1235182.32MB, major=33245.99MB, promoted=33231.93MB
    minor collections=589075  major collections=168 compactions=0


runtime: 00:08:51.463
vars: 108415, evals: 1207312

|rho|=108415
|stable|=48394
|infl|=108250
|wpoint|=2129
|sides|=3737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101123
|called|=233
Found 2927 contexts for 77 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
198	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1258703.53MB, max=1878.66MB, minor=1258689.44MB, major=33815.47MB, promoted=33801.38MB
    minor collections=600284  major collections=169 compactions=0


runtime: 00:09:01.473
vars: 108506, evals: 1223346

|rho|=108506
|stable|=43314
|infl|=108346
|wpoint|=2137
|sides|=3756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101173
|called|=313
Found 2931 contexts for 79 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
198	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1280433.44MB, max=1878.66MB, minor=1280419.13MB, major=34592.52MB, promoted=34578.21MB
    minor collections=610647  major collections=170 compactions=0


runtime: 00:09:11.488
vars: 108652, evals: 1239860

|rho|=108652
|stable|=42651
|infl|=108497
|wpoint|=2131
|sides|=3782
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101261
|called|=247
Found 2934 contexts for 80 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
198	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1302363.41MB, max=1878.66MB, minor=1302348.88MB, major=35305.21MB, promoted=35290.68MB
    minor collections=621105  major collections=172 compactions=0


runtime: 00:09:21.496
vars: 108679, evals: 1254575

|rho|=108679
|stable|=41608
|infl|=108522
|wpoint|=2137
|sides|=3785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101284
|called|=318
Found 2935 contexts for 80 functions. Top 5 functions:
253	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
229	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
209	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
198	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1323421.36MB, max=1878.66MB, minor=1323406.82MB, major=36108.69MB, promoted=36094.14MB
    minor collections=631147  major collections=173 compactions=0


runtime: 00:09:31.509
vars: 110162, evals: 1270916

|rho|=110162
|stable|=45316
|infl|=109929
|wpoint|=2140
|sides|=3871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102602
|called|=338
Found 2989 contexts for 82 functions. Top 5 functions:
257	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
231	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
210	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
200	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1
198	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1

Memory statistics: total=1345632.08MB, max=1878.66MB, minor=1345617.51MB, major=36943.92MB, promoted=36929.35MB
    minor collections=641738  major collections=174 compactions=0


runtime: 00:09:41.522
vars: 114810, evals: 1302292

|rho|=114810
|stable|=48784
|infl|=114566
|wpoint|=2289
|sides|=4038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106918
|called|=340
Found 3156 contexts for 82 functions. Top 5 functions:
262	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
243	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
213	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1
210	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
210	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1

Memory statistics: total=1371718.86MB, max=1878.66MB, minor=1371704.17MB, major=37311.69MB, promoted=37296.99MB
    minor collections=654178  major collections=175 compactions=0


runtime: 00:09:51.535
vars: 116585, evals: 1328630

|rho|=116585
|stable|=49145
|infl|=116365
|wpoint|=2346
|sides|=4090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108586
|called|=393
Found 3208 contexts for 82 functions. Top 5 functions:
263	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
246	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
214	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
214	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
214	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1397819.79MB, max=1878.66MB, minor=1397804.91MB, major=37745.66MB, promoted=37730.78MB
    minor collections=666624  major collections=176 compactions=0


runtime: 00:10:01.564
vars: 120881, evals: 1357082

|rho|=120881
|stable|=53327
|infl|=120640
|wpoint|=2441
|sides|=4258
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112553
|called|=321
Found 3376 contexts for 82 functions. Top 5 functions:
274	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
258	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
229	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
229	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
224	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1424074.08MB, max=2160.46MB, minor=1424058.98MB, major=38125.73MB, promoted=38110.63MB
    minor collections=679144  major collections=176 compactions=0


runtime: 00:10:11.608
vars: 124296, evals: 1385054

|rho|=124296
|stable|=56110
|infl|=124073
|wpoint|=2510
|sides|=4358
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115762
|called|=298
Found 3476 contexts for 82 functions. Top 5 functions:
281	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
267	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
234	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
234	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
228	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1450898.08MB, max=2160.46MB, minor=1450882.73MB, major=38489.90MB, promoted=38474.55MB
    minor collections=691935  major collections=177 compactions=0


runtime: 00:10:21.636
vars: 127993, evals: 1413175

|rho|=127993
|stable|=57040
|infl|=127758
|wpoint|=2606
|sides|=4469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119242
|called|=461
Found 3587 contexts for 82 functions. Top 5 functions:
288	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
276	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
240	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
240	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
233	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1476921.78MB, max=2160.46MB, minor=1476906.33MB, major=38860.00MB, promoted=38844.54MB
    minor collections=704345  major collections=178 compactions=0


runtime: 00:10:31.647
vars: 129556, evals: 1437868

|rho|=129556
|stable|=58910
|infl|=129372
|wpoint|=2664
|sides|=4508
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120719
|called|=387
Found 3626 contexts for 82 functions. Top 5 functions:
294	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
281	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
241	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
241	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
236	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1502550.15MB, max=2160.46MB, minor=1502534.47MB, major=39237.78MB, promoted=39222.11MB
    minor collections=716565  major collections=178 compactions=0


runtime: 00:10:41.664
vars: 131432, evals: 1461557

|rho|=131432
|stable|=61212
|infl|=131202
|wpoint|=2680
|sides|=4591
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122435
|called|=304
Found 3709 contexts for 82 functions. Top 5 functions:
300	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
284	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
249	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
249	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
241	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1527696.21MB, max=2160.46MB, minor=1527676.26MB, major=39654.44MB, promoted=39634.50MB
    minor collections=728555  major collections=179 compactions=0


runtime: 00:10:51.733
vars: 135124, evals: 1485906

|rho|=135124
|stable|=64574
|infl|=134896
|wpoint|=2761
|sides|=4717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125874
|called|=310
Found 3835 contexts for 82 functions. Top 5 functions:
306	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
293	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
257	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
257	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
247	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1553916.83MB, max=2160.46MB, minor=1553896.79MB, major=40003.96MB, promoted=39983.91MB
    minor collections=741058  major collections=179 compactions=0


runtime: 00:11:01.740
vars: 136724, evals: 1512608

|rho|=136724
|stable|=65625
|infl|=136510
|wpoint|=2825
|sides|=4767
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127370
|called|=292
Found 3885 contexts for 82 functions. Top 5 functions:
308	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
297	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
260	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
260	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
250	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1580119.94MB, max=2160.46MB, minor=1580098.73MB, major=40399.87MB, promoted=40378.66MB
    minor collections=753553  major collections=180 compactions=0


runtime: 00:11:11.753
vars: 139813, evals: 1538964

|rho|=139813
|stable|=67344
|infl|=139571
|wpoint|=2901
|sides|=4872
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130252
|called|=385
Found 3990 contexts for 82 functions. Top 5 functions:
317	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
299	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
268	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
268	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
257	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=1606372.46MB, max=2160.46MB, minor=1606351.16MB, major=40792.97MB, promoted=40771.68MB
    minor collections=766071  major collections=180 compactions=0


runtime: 00:11:21.765
vars: 140804, evals: 1562939

|rho|=140804
|stable|=68402
|infl|=140618
|wpoint|=2992
|sides|=4897
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131189
|called|=305
Found 4015 contexts for 82 functions. Top 5 functions:
319	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
302	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
268	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
268	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
257	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1632427.70MB, max=2160.46MB, minor=1632404.12MB, major=41157.05MB, promoted=41133.47MB
    minor collections=778495  major collections=181 compactions=0


runtime: 00:11:31.772
vars: 144684, evals: 1588842

|rho|=144684
|stable|=69160
|infl|=144457
|wpoint|=3032
|sides|=5003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134862
|called|=378
Found 4121 contexts for 82 functions. Top 5 functions:
328	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
315	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
276	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
276	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
265	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1657748.22MB, max=2160.46MB, minor=1657724.60MB, major=41522.93MB, promoted=41499.30MB
    minor collections=790569  major collections=182 compactions=0


runtime: 00:11:41.814
vars: 146449, evals: 1610632

|rho|=146449
|stable|=73827
|infl|=146259
|wpoint|=3063
|sides|=5045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136540
|called|=317
Found 4163 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
323	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
269	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1682142.63MB, max=2484.53MB, minor=1682118.88MB, major=41895.09MB, promoted=41871.34MB
    minor collections=802201  major collections=182 compactions=0


runtime: 00:11:51.830
vars: 147522, evals: 1634728

|rho|=147522
|stable|=71041
|infl|=147352
|wpoint|=3083
|sides|=5072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137552
|called|=192
Found 4190 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
327	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1708016.83MB, max=2484.53MB, minor=1707993.05MB, major=42321.84MB, promoted=42298.06MB
    minor collections=814540  major collections=183 compactions=0


runtime: 00:12:01.844
vars: 147854, evals: 1656654

|rho|=147854
|stable|=69064
|infl|=147683
|wpoint|=3096
|sides|=5080
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137873
|called|=320
Found 4195 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
327	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1732809.29MB, max=2484.53MB, minor=1732785.21MB, major=42757.88MB, promoted=42733.79MB
    minor collections=826362  major collections=183 compactions=0


runtime: 00:12:11.850
vars: 147991, evals: 1678340

|rho|=147991
|stable|=70068
|infl|=147824
|wpoint|=3096
|sides|=5089
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137997
|called|=316
Found 4196 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
327	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1758106.55MB, max=2484.53MB, minor=1758082.04MB, major=43229.66MB, promoted=43205.15MB
    minor collections=838425  major collections=184 compactions=0


runtime: 00:12:21.871
vars: 148074, evals: 1699608

|rho|=148074
|stable|=70851
|infl|=147907
|wpoint|=3095
|sides|=5093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138075
|called|=259
Found 4197 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
327	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1783048.07MB, max=2484.53MB, minor=1783023.14MB, major=43749.14MB, promoted=43724.21MB
    minor collections=850319  major collections=185 compactions=0


runtime: 00:12:31.888
vars: 148790, evals: 1721119

|rho|=148790
|stable|=70595
|infl|=148633
|wpoint|=3098
|sides|=5140
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138729
|called|=257
Found 4206 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
328	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1807445.66MB, max=2484.53MB, minor=1807418.40MB, major=44255.45MB, promoted=44228.19MB
    minor collections=861951  major collections=185 compactions=0


runtime: 00:12:41.899
vars: 148790, evals: 1734544

|rho|=148790
|stable|=71124
|infl|=148633
|wpoint|=3105
|sides|=5140
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138729
|called|=358
Found 4206 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
328	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1828363.66MB, max=2484.53MB, minor=1828336.39MB, major=45098.60MB, promoted=45071.33MB
    minor collections=871927  major collections=186 compactions=0


runtime: 00:12:51.915
vars: 148904, evals: 1748449

|rho|=148904
|stable|=70687
|infl|=148748
|wpoint|=3102
|sides|=5141
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138841
|called|=310
Found 4207 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
328	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1849548.85MB, max=2484.53MB, minor=1849521.19MB, major=45926.01MB, promoted=45898.35MB
    minor collections=882029  major collections=188 compactions=0


runtime: 00:13:01.924
vars: 148984, evals: 1762518

|rho|=148984
|stable|=69415
|infl|=148828
|wpoint|=3106
|sides|=5142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138919
|called|=374
Found 4208 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
328	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1870647.83MB, max=2484.53MB, minor=1870619.78MB, major=46725.21MB, promoted=46697.16MB
    minor collections=892091  major collections=189 compactions=0


runtime: 00:13:11.942
vars: 148984, evals: 1775324

|rho|=148984
|stable|=71853
|infl|=148828
|wpoint|=3096
|sides|=5142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138919
|called|=196
Found 4208 contexts for 82 functions. Top 5 functions:
330	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
328	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
278	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
278	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
270	contexts for L:entry state of mdb_page_search_root (4846) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4416:1-4495:1

Memory statistics: total=1890889.63MB, max=2484.53MB, minor=1890861.57MB, major=47495.14MB, promoted=47467.08MB
    minor collections=901743  major collections=190 compactions=0


runtime: 00:13:21.949
vars: 154549, evals: 1805927

|rho|=154549
|stable|=82721
|infl|=154343
|wpoint|=3225
|sides|=5353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144080
|called|=367
Found 4402 contexts for 82 functions. Top 5 functions:
343	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
340	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
289	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
289	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
278	contexts for L:entry state of mdb_cmp_cint (4884) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=1916191.10MB, max=2484.53MB, minor=1916161.30MB, major=47798.84MB, promoted=47769.03MB
    minor collections=913807  major collections=190 compactions=0


runtime: 00:13:31.962
vars: 157424, evals: 1836981

|rho|=157424
|stable|=84009
|infl|=157240
|wpoint|=3296
|sides|=5433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146795
|called|=366
Found 4482 contexts for 82 functions. Top 5 functions:
351	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
344	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
293	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
293	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
283	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1944284.82MB, max=2484.53MB, minor=1944254.86MB, major=48053.66MB, promoted=48023.70MB
    minor collections=927204  major collections=190 compactions=0


runtime: 00:13:41.973
vars: 158655, evals: 1862437

|rho|=158655
|stable|=85262
|infl|=158523
|wpoint|=3310
|sides|=5468
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147949
|called|=144
Found 4517 contexts for 82 functions. Top 5 functions:
356	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
345	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
295	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
295	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
287	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1971055.08MB, max=2484.53MB, minor=1971024.78MB, major=48292.29MB, promoted=48262.00MB
    minor collections=939969  major collections=191 compactions=0


runtime: 00:13:51.986
vars: 161120, evals: 1887544

|rho|=161120
|stable|=85850
|infl|=160977
|wpoint|=3376
|sides|=5543
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150267
|called|=297
Found 4590 contexts for 82 functions. Top 5 functions:
365	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
354	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
301	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
301	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
293	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=1997172.78MB, max=2484.53MB, minor=1997142.13MB, major=48526.81MB, promoted=48496.16MB
    minor collections=952423  major collections=191 compactions=0


runtime: 00:14:02.002
vars: 164661, evals: 1915877

|rho|=164661
|stable|=88891
|infl|=164439
|wpoint|=3444
|sides|=5638
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153626
|called|=361
Found 4685 contexts for 82 functions. Top 5 functions:
375	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
361	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
307	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
307	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
301	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=2023517.41MB, max=2484.53MB, minor=2023486.69MB, major=48787.48MB, promoted=48756.76MB
    minor collections=964986  major collections=191 compactions=0


runtime: 00:14:12.009
vars: 168285, evals: 1944650

|rho|=168285
|stable|=89120
|infl|=168085
|wpoint|=3496
|sides|=5751
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157023
|called|=282
Found 4798 contexts for 82 functions. Top 5 functions:
385	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
366	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
312	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
312	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
306	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=2050070.50MB, max=2484.53MB, minor=2050039.50MB, major=49036.15MB, promoted=49005.15MB
    minor collections=977648  major collections=192 compactions=0


runtime: 00:14:22.073
vars: 172881, evals: 1973174

|rho|=172881
|stable|=92177
|infl|=172687
|wpoint|=3599
|sides|=5906
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161307
|called|=273
Found 4953 contexts for 82 functions. Top 5 functions:
397	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
370	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
321	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
321	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
313	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=2076738.39MB, max=2484.53MB, minor=2076706.84MB, major=49267.35MB, promoted=49235.80MB
    minor collections=990364  major collections=192 compactions=0


runtime: 00:14:32.090
vars: 174248, evals: 2001112

|rho|=174248
|stable|=93502
|infl|=174091
|wpoint|=3654
|sides|=5941
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162603
|called|=232
Found 4988 contexts for 82 functions. Top 5 functions:
399	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
371	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
323	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
323	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
315	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=2103720.11MB, max=2484.53MB, minor=2103688.52MB, major=49565.77MB, promoted=49534.19MB
    minor collections=1003230  major collections=192 compactions=0


runtime: 00:14:42.105
vars: 178228, evals: 2027164

|rho|=178228
|stable|=97398
|infl|=178073
|wpoint|=3700
|sides|=6057
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166350
|called|=199
Found 5104 contexts for 82 functions. Top 5 functions:
413	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
384	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
331	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
331	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
325	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=2129885.73MB, max=2484.53MB, minor=2129853.95MB, major=49822.68MB, promoted=49790.89MB
    minor collections=1015707  major collections=193 compactions=0


runtime: 00:14:52.154
vars: 180106, evals: 2052333

|rho|=180106
|stable|=98020
|infl|=179892
|wpoint|=3751
|sides|=6137
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168075
|called|=497
Found 5184 contexts for 82 functions. Top 5 functions:
417	contexts for L:entry state of mdb_page_get (4845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4353:1-4415:1
389	contexts for L:entry state of mdb_page_search (4847) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4520:1-4600:1
337	contexts for L:entry state of mdb_cmp_int (4883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
337	contexts for L:entry state of mdb_cmp_long (4885) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
328	contexts for L:entry state of mdb_node_search (4854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4227:1-4319:1

Memory statistics: total=2156440.22MB, max=2857.21MB, minor=2156408.08MB, major=50094.33MB, promoted=50062.19MB
    minor collections=1028370  major collections=193 compactions=0

