./goblint --conf conf/svcomp.json --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.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:876:3-879:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:963:9-969:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:993:5-1004:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1009:5-1027:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1076:5-1082:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1108:7-1119:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1160:5-1171:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1255:7-1264:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1357:5-1361:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1415:3-1458:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1510:5-1516:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1520:7-1525:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1576:5-1586:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1598:11-1616:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1720:7-1739:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1763:5-1788:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1801:3-1823:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1892:9-1897:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1922:7-1927:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1967:3-1976:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2087:5-2090:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2161:3-2180:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2342:9-2348:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2351:11-2356:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2373:7-2382:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2387:11-2396:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2420:5-2437:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2450:7-2461:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2517:5-2523:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2537:5-2541:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2553:5-2585:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2631:5-2644:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2718:5-2732:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2810:5-2814:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2832:11-2834:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2842:9-2851:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2868:15-2871:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2896:9-2898:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2912:7-2918:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2949:5-2951:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2973:5-2986:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3043:3-3085:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3134:3-3146:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3543:3-3584:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3675:3-3686:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3710:3-3721:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3726:5-3737:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4013:3-4018:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4035:5-4041:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4067:5-4075:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4101:3-4108:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4149:3-4160:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4211:3-4218:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4265:5-4277:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4279:5-4293:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4372:5-4398:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4427:3-4486:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4657:13-4674:13 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4683:13-4695:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4696:13-4702:13 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5106:7-5111:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5597:5-5607:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5823:11-5833:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5962:11-5965:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6028:11-6032:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6107:9-6125:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6182:15-6200:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6330:15-6348:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6522:3-6525:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6542:5-6546:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6548:5-6553:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6634:3-6643:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6676:5-6682:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6687:3-6691:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6696:3-6704:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6964:11-6973:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7039:5-7044:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7220:9-7238:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7269:11-7287:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7306:7-7320:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7349:7-7363:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7427:5-7435:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7438:5-7473:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7522:7-7540:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7570:3-7574:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7631:7-7650:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7667:9-7671:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7688:13-7692:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7750:7-7764:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7819:7-7837:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7853:3-7909:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8059:5-8063:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8157:7-8167:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8194:9-8219:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8237:5-8252:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8262:9-8266:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8296:5-8299:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8305:5-8349:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8352:5-8355:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8369:11-8373:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8390:9-8394:9 with factor 8
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8418:7-8422:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8443:11-8447:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8464:7-8482:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8566:5-8568:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8576:5-8604:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8632:3-8634:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8759:3-8764:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8872:7-8877:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8988:5-8994:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9081:3-9098:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9115:3-9137:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9184:5-9189:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9470:3-9486:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9532:5-9546:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9683:9-9717:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9732:11-9738:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9755:9-9759:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9808:3-9811:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9962:3-9985:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10006:3-10019:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10025:3-10028:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10115:13-10121:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10091:3-10130:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10190:3-10207:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10368:3-10374:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10401:5-10407:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10440:9-10446:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10483:9-10488:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10489:9-10494:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10532:3-10549:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10576:5-10579:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10664:3-10667:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10675:3-10679:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10727:3-10745:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10777:3-10785:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10854:3-10861:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10879:3-10886:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10930:3-10952:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10956:3-10972:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10998:3-11014:3 with factor 2
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 189
functionCalls: 1279
loops: 182
loopBreaks: 0
controlFlowStatements: 8149
expressions: 49803
instructions: 7261
integralVars: (4,654)
arrayVars: (4,5)
pointerVars: (1,687)

Complexity estimates:
File: 270692499
function mdb_txn_commit is recursive, disable interval and interval_set contexts
function mdb_txn_abort is recursive, disable interval and interval_set contexts
function mdb_cursor_get is recursive, disable interval and interval_set contexts
function mdb_cursor_put is recursive, disable interval and interval_set contexts
function mdb_cursor_del is recursive, disable interval and interval_set contexts
function mdb_mutex_failed is recursive, disable interval and interval_set contexts
function mdb_page_search is recursive, disable interval and interval_set contexts
function mdb_page_merge is recursive, disable interval and interval_set contexts
function mdb_page_split is recursive, disable interval and interval_set contexts
function mdb_rebalance is recursive, disable interval and interval_set contexts
function mdb_cursor_sibling is recursive, disable interval and interval_set contexts
function mdb_cursor_next is recursive, disable interval and interval_set contexts
function mdb_cursor_prev is recursive, disable interval and interval_set contexts
function mdb_cursor_set is recursive, disable interval and interval_set contexts
function mdb_cursor_first is recursive, disable interval and interval_set contexts
function mdb_cursor_last is recursive, disable interval and interval_set contexts
function mdb_cursor_init is recursive, disable interval and interval_set contexts
function mdb_drop0 is recursive, disable interval and interval_set contexts
function mdb_reader_check0 is recursive, disable interval and interval_set contexts
function mdb_env_cwalk is recursive, disable interval and interval_set contexts
Total: 270692499
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.340
vars: 13659, evals: 36616

|rho|=13659
|stable|=13483
|infl|=13563
|wpoint|=39
|sides|=973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=12317
|called|=109
Found 335 contexts for 47 functions. Top 5 functions:
44	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
44	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
44	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
36	contexts for L:entry state of mdb_assert_fail (5256) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
32	contexts for L:entry state of mdb_midl_search (940) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10177:1-10213:1

Memory statistics: total=22899.19MB, max=132.00MB, minor=22883.48MB, major=260.74MB, promoted=245.03MB
    minor collections=10919  major collections=15 compactions=0


runtime: 00:00:20.376
vars: 23879, evals: 63141

|rho|=23879
|stable|=23651
|infl|=23780
|wpoint|=70
|sides|=1268
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21958
|called|=105
Found 604 contexts for 49 functions. Top 5 functions:
86	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
86	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
86	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
67	contexts for L:entry state of mdb_assert_fail (5256) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:760:1-774:1
62	contexts for L:entry state of mdb_midl_search (940) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:10177:1-10213:1

Memory statistics: total=45003.67MB, max=174.57MB, minor=44986.36MB, major=427.06MB, promoted=409.75MB
    minor collections=21461  major collections=19 compactions=0


runtime: 00:00:30.411
vars: 46573, evals: 91428

|rho|=46573
|stable|=45948
|infl|=42300
|wpoint|=80
|sides|=3036
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41959
|called|=4272
Found 2362 contexts for 51 functions. Top 5 functions:
836	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
836	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=57401.03MB, max=230.87MB, minor=57380.43MB, major=571.20MB, promoted=550.59MB
    minor collections=27372  major collections=21 compactions=0


runtime: 00:00:40.438
vars: 58180, evals: 101521

|rho|=58180
|stable|=57554
|infl|=51380
|wpoint|=80
|sides|=4045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52052
|called|=6799
Found 3372 contexts for 51 functions. Top 5 functions:
1341	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
1341	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=60733.37MB, max=265.50MB, minor=60712.10MB, major=621.12MB, promoted=599.85MB
    minor collections=28961  major collections=21 compactions=0


runtime: 00:00:50.469
vars: 66597, evals: 108841

|rho|=66597
|stable|=65972
|infl|=57967
|wpoint|=80
|sides|=4777
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59372
|called|=8629
Found 4103 contexts for 51 functions. Top 5 functions:
1707	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
1706	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=63270.28MB, max=265.50MB, minor=63246.14MB, major=659.73MB, promoted=635.59MB
    minor collections=30170  major collections=22 compactions=0


runtime: 00:01:00.533
vars: 74712, evals: 115896

|rho|=74712
|stable|=74086
|infl|=64321
|wpoint|=80
|sides|=5483
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66427
|called|=10390
Found 4809 contexts for 51 functions. Top 5 functions:
2060	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
2059	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=65820.19MB, max=305.32MB, minor=65794.35MB, major=696.49MB, promoted=670.65MB
    minor collections=31385  major collections=22 compactions=0


runtime: 00:01:10.588
vars: 83190, evals: 123269

|rho|=83190
|stable|=82565
|infl|=70959
|wpoint|=80
|sides|=6220
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73800
|called|=12230
Found 5546 contexts for 51 functions. Top 5 functions:
2428	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
2428	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=68577.33MB, max=351.13MB, minor=68549.76MB, major=735.37MB, promoted=707.79MB
    minor collections=32699  major collections=22 compactions=0


runtime: 00:01:20.607
vars: 90716, evals: 129812

|rho|=90716
|stable|=90090
|infl|=76849
|wpoint|=80
|sides|=6875
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80343
|called|=13866
Found 6201 contexts for 51 functions. Top 5 functions:
2756	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
2755	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=71095.12MB, max=351.13MB, minor=71066.98MB, major=768.65MB, promoted=740.52MB
    minor collections=33899  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:30.029
vars: 96895, evals: 135187

|rho|=96895
|stable|=96270
|infl|=81676
|wpoint|=80
|sides|=7412
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85718
|called|=15219
Found 6738 contexts for 51 functions. Top 5 functions:
3024	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
3024	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=73231.22MB, max=351.12MB, minor=73202.41MB, major=796.75MB, promoted=767.94MB
    minor collections=34918  major collections=24 compactions=0


Fatal error: exception Stack overflow
