./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c


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


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

runtime: 00:00:10.221
vars: 25427, evals: 36046

|rho|=25427
|stable|=25136
|infl|=22673
|wpoint|=7
|sides|=2179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21682
|called|=2761
Found 1752 contexts for 52 functions. Top 5 functions:
534	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
533	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	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
100	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
100	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=21488.04MB, max=114.78MB, minor=21478.91MB, major=265.98MB, promoted=256.85MB
    minor collections=10251  major collections=18 compactions=0


runtime: 00:00:20.272
vars: 39929, evals: 48657

|rho|=39929
|stable|=39638
|infl|=34019
|wpoint|=7
|sides|=3440
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34293
|called|=5917
Found 3013 contexts for 52 functions. Top 5 functions:
1164	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
1164	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
100	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
100	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
100	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=26362.13MB, max=174.57MB, minor=26350.67MB, major=340.80MB, promoted=329.34MB
    minor collections=12574  major collections=19 compactions=0


runtime: 00:00:30.313
vars: 49869, evals: 57299

|rho|=49869
|stable|=49578
|infl|=41804
|wpoint|=7
|sides|=4304
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42935
|called|=8071
Found 3878 contexts for 52 functions. Top 5 functions:
1597	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
1596	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	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
100	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
100	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=29867.82MB, max=200.75MB, minor=29856.15MB, major=391.37MB, promoted=379.71MB
    minor collections=14246  major collections=20 compactions=0


runtime: 00:00:40.344
vars: 57664, evals: 64078

|rho|=57664
|stable|=57373
|infl|=47901
|wpoint|=7
|sides|=4982
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49714
|called|=9769
Found 4555 contexts for 52 functions. Top 5 functions:
1935	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
1935	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
100	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
100	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
100	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=32706.94MB, max=200.75MB, minor=32695.02MB, major=431.06MB, promoted=419.14MB
    minor collections=15600  major collections=21 compactions=0


runtime: 00:00:50.383
vars: 64368, evals: 69907

|rho|=64368
|stable|=64076
|infl|=53147
|wpoint|=7
|sides|=5565
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55543
|called|=11227
Found 5138 contexts for 52 functions. Top 5 functions:
2227	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
2226	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	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
100	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
100	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=35219.37MB, max=230.87MB, minor=35207.34MB, major=465.96MB, promoted=453.93MB
    minor collections=16798  major collections=21 compactions=0


runtime: 00:01:00.401
vars: 71173, evals: 75824

|rho|=71173
|stable|=70882
|infl|=58475
|wpoint|=7
|sides|=6157
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61460
|called|=12705
Found 5730 contexts for 52 functions. Top 5 functions:
2523	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
2522	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	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
100	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
100	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=37821.85MB, max=265.50MB, minor=37807.61MB, major=503.55MB, promoted=489.31MB
    minor collections=18038  major collections=21 compactions=0


runtime: 00:01:10.436
vars: 77732, evals: 81528

|rho|=77732
|stable|=77440
|infl|=63605
|wpoint|=7
|sides|=6727
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67164
|called|=14133
Found 6300 contexts for 52 functions. Top 5 functions:
2808	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
2807	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	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
100	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
100	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=40394.84MB, max=265.50MB, minor=40379.43MB, major=539.05MB, promoted=523.64MB
    minor collections=19265  major collections=22 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4326:5-4326:59!

runtime: 00:01:17.758
vars: 82709, evals: 85857

|rho|=82709
|stable|=82418
|infl|=67497
|wpoint|=7
|sides|=7160
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71493
|called|=15219
Found 6733 contexts for 52 functions. Top 5 functions:
3024	contexts for L:entry state of mdb_cursor_pop (4864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
3024	contexts for L:entry state of mdb_cursor_sibling (4868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
100	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
100	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
100	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=42387.27MB, max=305.32MB, minor=42370.60MB, major=566.48MB, promoted=549.80MB
    minor collections=20215  major collections=22 compactions=0


Fatal error: exception Stack overflow
