./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.enabled --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.253
vars: 29398, evals: 39499

|rho|=29398
|stable|=29107
|infl|=25782
|wpoint|=7
|sides|=2524
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25135
|called|=3623
Found 2097 contexts for 52 functions. Top 5 functions:
706	contexts for L:entry state of mdb_cursor_pop (5233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
706	contexts for L:entry state of mdb_cursor_sibling (5237) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
100	contexts for L:entry state of mdb_cmp_int (5252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
100	contexts for L:entry state of mdb_cmp_long (5254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
100	contexts for L:entry state of mdb_cmp_cint (5253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=22790.81MB, max=132.00MB, minor=22781.64MB, major=284.20MB, promoted=275.03MB
    minor collections=10872  major collections=18 compactions=0


runtime: 00:00:20.315
vars: 51275, evals: 58522

|rho|=51275
|stable|=50984
|infl|=42905
|wpoint|=7
|sides|=4427
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44158
|called|=8377
Found 4000 contexts for 52 functions. Top 5 functions:
1658	contexts for L:entry state of mdb_cursor_sibling (5237) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
1657	contexts for L:entry state of mdb_cursor_pop (5233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	contexts for L:entry state of mdb_cmp_int (5252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
100	contexts for L:entry state of mdb_cmp_long (5254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
100	contexts for L:entry state of mdb_cmp_cint (5253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=30377.11MB, max=200.75MB, minor=30365.30MB, major=397.32MB, promoted=385.51MB
    minor collections=14489  major collections=20 compactions=0


runtime: 00:00:30.373
vars: 65759, evals: 71118

|rho|=65759
|stable|=65468
|infl|=54235
|wpoint|=7
|sides|=5686
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56754
|called|=11531
Found 5259 contexts for 52 functions. Top 5 functions:
2287	contexts for L:entry state of mdb_cursor_pop (5233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
2287	contexts for L:entry state of mdb_cursor_sibling (5237) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
100	contexts for L:entry state of mdb_cmp_int (5252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
100	contexts for L:entry state of mdb_cmp_long (5254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
100	contexts for L:entry state of mdb_cmp_cint (5253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=35743.27MB, max=230.87MB, minor=35730.16MB, major=473.60MB, promoted=460.50MB
    minor collections=17048  major collections=21 compactions=0


runtime: 00:00:40.404
vars: 78068, evals: 81819

|rho|=78068
|stable|=77776
|infl|=63873
|wpoint|=7
|sides|=6757
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67455
|called|=14201
Found 6330 contexts for 52 functions. Top 5 functions:
2823	contexts for L:entry state of mdb_cursor_sibling (5237) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
2822	contexts for L:entry state of mdb_cursor_pop (5233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
100	contexts for L:entry state of mdb_cmp_int (5252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
100	contexts for L:entry state of mdb_cmp_long (5254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
100	contexts for L:entry state of mdb_cmp_cint (5253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=40515.86MB, max=265.50MB, minor=40500.44MB, major=540.14MB, promoted=524.72MB
    minor collections=19323  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:00:44.342
vars: 82686, evals: 85837

|rho|=82686
|stable|=82395
|infl|=67479
|wpoint|=7
|sides|=7158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71473
|called|=15214
Found 6731 contexts for 52 functions. Top 5 functions:
3023	contexts for L:entry state of mdb_cursor_pop (5233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4320:1-4335:1
3023	contexts for L:entry state of mdb_cursor_sibling (5237) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4784:1-4831:1
100	contexts for L:entry state of mdb_cmp_int (5252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4127:1-4139:1
100	contexts for L:entry state of mdb_cmp_long (5254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4114:1-4126:1
100	contexts for L:entry state of mdb_cmp_cint (5253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4140:1-4163:1

Memory statistics: total=42359.09MB, max=305.32MB, minor=42342.41MB, major=565.85MB, promoted=549.17MB
    minor collections=20202  major collections=22 compactions=0


Fatal error: exception Stack overflow
