./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/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.260
vars: 27191, evals: 37579

|rho|=27191
|stable|=26900
|infl|=24057
|wpoint|=7
|sides|=2333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23215
|called|=3141
Found 1906 contexts for 52 functions. Top 5 functions:
611	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
610	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=22074.35MB, max=114.78MB, minor=22065.21MB, major=273.05MB, promoted=263.91MB
    minor collections=10530  major collections=18 compactions=0


runtime: 00:00:20.313
vars: 41881, evals: 50354

|rho|=41881
|stable|=41590
|infl|=35546
|wpoint|=7
|sides|=3610
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35990
|called|=6342
Found 3183 contexts for 52 functions. Top 5 functions:
1249	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
1249	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=27049.40MB, max=174.57MB, minor=27037.92MB, major=348.57MB, promoted=337.08MB
    minor collections=12902  major collections=19 compactions=0


runtime: 00:00:30.354
vars: 51899, evals: 59064

|rho|=51899
|stable|=51607
|infl|=43391
|wpoint|=7
|sides|=4481
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44700
|called|=8514
Found 4054 contexts for 52 functions. Top 5 functions:
1685	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
1684	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=30617.02MB, max=200.75MB, minor=30605.19MB, major=399.87MB, promoted=388.04MB
    minor collections=14604  major collections=20 compactions=0


runtime: 00:00:40.389
vars: 59765, evals: 65904

|rho|=59765
|stable|=59474
|infl|=49547
|wpoint|=7
|sides|=5165
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51540
|called|=10224
Found 4738 contexts for 52 functions. Top 5 functions:
2027	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
2026	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=33508.51MB, max=230.87MB, minor=33496.56MB, major=440.37MB, promoted=428.42MB
    minor collections=15982  major collections=20 compactions=0


runtime: 00:00:50.431
vars: 66635, evals: 71879

|rho|=66635
|stable|=66344
|infl|=54925
|wpoint|=7
|sides|=5762
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57515
|called|=11716
Found 5335 contexts for 52 functions. Top 5 functions:
2325	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
2325	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=36105.26MB, max=265.50MB, minor=36091.09MB, major=478.43MB, promoted=464.26MB
    minor collections=17220  major collections=21 compactions=0


runtime: 00:01:00.466
vars: 73699, evals: 78020

|rho|=73699
|stable|=73408
|infl|=60453
|wpoint|=7
|sides|=6377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63656
|called|=13253
Found 5950 contexts for 52 functions. Top 5 functions:
2633	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
2632	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=38835.15MB, max=265.50MB, minor=38820.86MB, major=515.44MB, promoted=501.15MB
    minor collections=18522  major collections=21 compactions=0


runtime: 00:01:10.489
vars: 80389, evals: 83839

|rho|=80389
|stable|=80098
|infl|=65689
|wpoint|=7
|sides|=6958
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69475
|called|=14707
Found 6531 contexts for 52 functions. Top 5 functions:
2923	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
2923	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=41482.29MB, max=265.50MB, minor=41465.78MB, major=552.72MB, promoted=536.21MB
    minor collections=19783  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:4325:7-4325:18!

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

|rho|=82709
|stable|=82418
|infl|=67496
|wpoint|=7
|sides|=7160
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71493
|called|=15220
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=42427.71MB, max=305.32MB, minor=42411.04MB, major=565.39MB, promoted=548.72MB
    minor collections=20234  major collections=22 compactions=0


Fatal error: exception Stack overflow
