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

|rho|=27443
|stable|=27152
|infl|=24254
|wpoint|=7
|sides|=2354
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23435
|called|=3196
Found 1927 contexts for 52 functions. Top 5 functions:
621	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
621	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=22456.23MB, max=114.78MB, minor=22447.09MB, major=278.05MB, promoted=268.90MB
    minor collections=10712  major collections=19 compactions=0


runtime: 00:00:20.261
vars: 41661, evals: 50603

|rho|=41661
|stable|=41370
|infl|=35381
|wpoint|=7
|sides|=3591
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35798
|called|=6287
Found 3164 contexts for 52 functions. Top 5 functions:
1240	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
1239	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=27274.17MB, max=174.57MB, minor=27262.69MB, major=351.43MB, promoted=339.94MB
    minor collections=13009  major collections=20 compactions=0


runtime: 00:00:30.290
vars: 51639, evals: 59280

|rho|=51639
|stable|=51348
|infl|=43190
|wpoint|=7
|sides|=4458
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44475
|called|=8456
Found 4031 contexts for 52 functions. Top 5 functions:
1673	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
1673	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=30823.39MB, max=200.75MB, minor=30811.56MB, major=402.45MB, promoted=390.63MB
    minor collections=14702  major collections=21 compactions=0


runtime: 00:00:40.316
vars: 59690, evals: 66280

|rho|=59690
|stable|=59399
|infl|=49490
|wpoint|=7
|sides|=5159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51475
|called|=10206
Found 4732 contexts for 52 functions. Top 5 functions:
2024	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
2023	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=33779.14MB, max=230.87MB, minor=33767.19MB, major=443.86MB, promoted=431.91MB
    minor collections=16111  major collections=21 compactions=0


runtime: 00:00:50.335
vars: 66570, evals: 72263

|rho|=66570
|stable|=66279
|infl|=54875
|wpoint|=7
|sides|=5757
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57458
|called|=11702
Found 5330 contexts for 52 functions. Top 5 functions:
2323	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
2322	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=36378.34MB, max=230.87MB, minor=36364.18MB, major=481.81MB, promoted=467.65MB
    minor collections=17350  major collections=22 compactions=0


runtime: 00:01:00.374
vars: 73496, evals: 78286

|rho|=73496
|stable|=73205
|infl|=60293
|wpoint|=7
|sides|=6359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63481
|called|=13210
Found 5932 contexts for 52 functions. Top 5 functions:
2624	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
2623	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=39051.47MB, max=265.50MB, minor=39037.19MB, major=518.23MB, promoted=503.95MB
    minor collections=18625  major collections=22 compactions=0


runtime: 00:01:10.389
vars: 80026, evals: 83963

|rho|=80026
|stable|=79735
|infl|=65405
|wpoint|=7
|sides|=6927
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69158
|called|=14627
Found 6500 contexts for 52 functions. Top 5 functions:
2908	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
2907	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=41633.34MB, max=265.50MB, minor=41617.89MB, major=553.76MB, promoted=538.31MB
    minor collections=19856  major collections=23 compactions=0

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

runtime: 00:01:14.127
vars: 82725, evals: 86312

|rho|=82725
|stable|=82434
|infl|=67511
|wpoint|=7
|sides|=7161
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71507
|called|=15221
Found 6734 contexts for 52 functions. Top 5 functions:
3025	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
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
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=42731.51MB, max=305.32MB, minor=42714.84MB, major=569.38MB, promoted=552.70MB
    minor collections=20379  major collections=23 compactions=0


Fatal error: exception Stack overflow
