./goblint --conf conf/svcomp24.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/dnspod-sr/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:940:3-950:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:952:3-962:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:996:3-1000:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1064:3-1086:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1297:3-1300:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1310:3-1313:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1329:3-1332:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1337:3-1357:3 with factor 5
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1359:3-1362:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1385:3-1388:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1398:3-1445:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1448:5-1452:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1454:5-1458:5 with factor 8
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1461:5-1465:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1638:3-1641:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1667:3-1680:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1691:3-1694:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1758:3-1767:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1837:3-1873:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1886:3-1900:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1923:3-1931:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1960:5-1962:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1966:3-1976:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2069:3-2072:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2214:5-2217:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2204:3-2224:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2228:3-2238:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2411:5-2414:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2431:5-2437:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2465:3-2468:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2487:3-2511:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2532:5-2535:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2581:5-2591:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2612:3-2615:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2628:3-2643:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2834:7-2837:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2842:5-2846:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2872:3-2909:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2935:3-2959:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3036:3-3062:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3079:3-3089:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3112:3-3126:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3167:3-3184:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3272:3-3298:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3343:3-3370:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3397:3-3424:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3542:5-3556:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3616:5-3631:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3692:3-3695:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3702:3-3716:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3722:3-3737:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3756:3-3765:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3767:3-3770:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3831:3-3839:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4043:3-4079:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4131:3-4134:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4529:5-4537:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4551:3-4554:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4584:3-4589:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4694:3-4701:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4819:3-4839:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4870:3-4877:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4884:3-4889:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4895:5-4899:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4952:3-4959:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4973:3-4982:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:4987:3-4997:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5002:3-5011:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5016:3-5026:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5218:3-5224:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5249:3-5257:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5333:3-5360:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5418:3-5425:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5453:3-5478:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5511:3-5519:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5588:5-5632:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5642:11-5647:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5736:5-5739:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5766:3-5789:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5806:3-5809:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5811:3-5814:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5821:5-5836:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5886:3-5901:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5904:3-5917:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5975:3-5978:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5981:3-5984:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5988:3-5991:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:5996:3-5999:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6002:3-6005:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6037:5-6041:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6211:3-6214:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6218:3-6221:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6234:3-6246:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6275:3-6278:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6283:3-6286:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6289:3-6292:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6300:3-6332:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6373:3-6376:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6399:7-6409:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6432:3-6435:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6443:3-6464:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6481:3-6489:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6557:3-6560:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6563:3-6566:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6730:3-6741:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6824:3-6827:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6830:3-6839:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6855:3-6903:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6960:3-6963:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:6983:5-7012:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7144:3-7174:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7328:5-7339:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7382:7-7394:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7864:9-7871:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7930:3-7935:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:7950:3-7955:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8003:7-8006:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8065:3-8078:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8098:5-8112:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8114:5-8128:5 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
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8134:5-8148:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8150:5-8164:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8212:5-8233:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8260:3-8269:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8284:3-8331:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8459:5-8462:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8464:5-8467:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8469:5-8472:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8491:5-8494:5 with factor 25
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/dnspod-sr/main.c:8533:3-8561:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8565:5-8568:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8652:3-8661:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8731:3-8734:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:8779:3-8810:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9089:3-9092:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9141:3-9144:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9155:5-9158:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9209:7-9224:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9387:3-9396:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:9469:3-9481:3 with factor 3
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: 232
functionCalls: 2011
loops: 173
loopBreaks: 0
controlFlowStatements: 5420
expressions: 42598
instructions: 7318
integralVars: (10,792)
arrayVars: (15,34)
pointerVars: (7,624)

Complexity estimates:
File: 278673368
Total: 278673368
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.343
vars: 14732, evals: 36592

|rho|=14732
|stable|=13901
|infl|=14683
|wpoint|=36
|sides|=1035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13155
|called|=124
Found 267 contexts for 57 functions. Top 5 functions:
31	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
21	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1
19	contexts for L:entry state of dns_error (464) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1
16	contexts for L:entry state of append_value_to_he (1645) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3429:1-3496:1

Memory statistics: total=23555.03MB, max=151.80MB, minor=23458.25MB, major=676.69MB, promoted=579.91MB
    minor collections=11198  major collections=26 compactions=0


runtime: 00:00:20.374
vars: 19363, evals: 75370

|rho|=19363
|stable|=18315
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=100
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=49775.11MB, max=200.75MB, minor=49639.24MB, major=1022.99MB, promoted=887.12MB
    minor collections=23686  major collections=32 compactions=0


runtime: 00:00:30.392
vars: 19363, evals: 114678

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=91
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=76076.88MB, max=200.75MB, minor=75908.37MB, major=1317.36MB, promoted=1148.85MB
    minor collections=36214  major collections=36 compactions=0


runtime: 00:00:40.411
vars: 19363, evals: 153890

|rho|=19363
|stable|=18294
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=109
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=102387.08MB, max=230.87MB, minor=102186.49MB, major=1610.21MB, promoted=1409.62MB
    minor collections=48747  major collections=41 compactions=0


runtime: 00:00:50.417
vars: 19363, evals: 192455

|rho|=19363
|stable|=18248
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=52
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=128427.30MB, max=230.87MB, minor=128194.82MB, major=1901.63MB, promoted=1669.15MB
    minor collections=61152  major collections=45 compactions=0


runtime: 00:01:00.432
vars: 19363, evals: 230392

|rho|=19363
|stable|=18280
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=115
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=154090.14MB, max=230.87MB, minor=153826.55MB, major=2190.85MB, promoted=1927.26MB
    minor collections=73376  major collections=50 compactions=0


runtime: 00:01:10.450
vars: 19363, evals: 267777

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=62
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=179554.66MB, max=230.87MB, minor=179260.08MB, major=2479.79MB, promoted=2185.21MB
    minor collections=85506  major collections=54 compactions=0


runtime: 00:01:20.473
vars: 19363, evals: 304448

|rho|=19363
|stable|=18362
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=204605.26MB, max=265.50MB, minor=204280.48MB, major=2762.46MB, promoted=2437.68MB
    minor collections=97439  major collections=57 compactions=0


runtime: 00:01:30.495
vars: 19363, evals: 339573

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=55
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=228689.74MB, max=265.50MB, minor=228336.04MB, major=3034.66MB, promoted=2680.95MB
    minor collections=108912  major collections=61 compactions=0


runtime: 00:01:40.513
vars: 19363, evals: 373589

|rho|=19363
|stable|=18268
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=110
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=252040.51MB, max=265.50MB, minor=251659.02MB, major=3298.33MB, promoted=2916.85MB
    minor collections=120035  major collections=64 compactions=0


runtime: 00:01:50.531
vars: 19363, evals: 407467

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=275470.37MB, max=305.32MB, minor=275060.86MB, major=3567.24MB, promoted=3157.74MB
    minor collections=131195  major collections=67 compactions=0


runtime: 00:02:00.545
vars: 19363, evals: 440564

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=298406.67MB, max=305.32MB, minor=297969.92MB, major=3826.33MB, promoted=3389.59MB
    minor collections=142121  major collections=70 compactions=0


runtime: 00:02:10.560
vars: 19363, evals: 473913

|rho|=19363
|stable|=18294
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=107
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=321547.45MB, max=305.32MB, minor=321083.41MB, major=4092.43MB, promoted=3628.39MB
    minor collections=153144  major collections=73 compactions=0


runtime: 00:02:20.570
vars: 19363, evals: 507746

|rho|=19363
|stable|=18212
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=56
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=345185.41MB, max=305.32MB, minor=344693.37MB, major=4363.01MB, promoted=3870.97MB
    minor collections=164404  major collections=76 compactions=0


runtime: 00:02:30.584
vars: 19363, evals: 540634

|rho|=19363
|stable|=18307
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=368184.73MB, max=351.13MB, minor=367665.78MB, major=4627.51MB, promoted=4108.55MB
    minor collections=175360  major collections=79 compactions=0


runtime: 00:02:40.595
vars: 19363, evals: 573121

|rho|=19363
|stable|=18238
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=115
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=390984.04MB, max=351.13MB, minor=390438.30MB, major=4886.97MB, promoted=4341.24MB
    minor collections=186220  major collections=81 compactions=0


runtime: 00:02:50.617
vars: 19363, evals: 605744

|rho|=19363
|stable|=18290
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=107
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=413974.74MB, max=351.13MB, minor=413402.20MB, major=5151.71MB, promoted=4579.16MB
    minor collections=197171  major collections=83 compactions=0


runtime: 00:03:00.627
vars: 19363, evals: 637524

|rho|=19363
|stable|=18217
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=61
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=436495.97MB, max=403.80MB, minor=435897.11MB, major=5412.15MB, promoted=4813.30MB
    minor collections=207899  major collections=86 compactions=0


runtime: 00:03:10.641
vars: 19363, evals: 669069

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=56
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=458869.36MB, max=403.80MB, minor=458244.54MB, major=5670.48MB, promoted=5045.66MB
    minor collections=218557  major collections=88 compactions=0


runtime: 00:03:20.668
vars: 19363, evals: 700439

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=91
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=481175.18MB, max=403.80MB, minor=480524.45MB, major=5928.97MB, promoted=5278.23MB
    minor collections=229182  major collections=90 compactions=0


runtime: 00:03:30.690
vars: 19363, evals: 730964

|rho|=19363
|stable|=18353
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=68
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=502982.90MB, max=464.37MB, minor=502307.06MB, major=6181.46MB, promoted=5505.62MB
    minor collections=239570  major collections=92 compactions=0


runtime: 00:03:40.708
vars: 19363, evals: 761579

|rho|=19363
|stable|=18198
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=65
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=524891.77MB, max=464.37MB, minor=524190.79MB, major=6438.55MB, promoted=5737.56MB
    minor collections=250006  major collections=94 compactions=0


runtime: 00:03:50.739
vars: 19363, evals: 791909

|rho|=19363
|stable|=18292
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=114
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=546641.63MB, max=464.37MB, minor=545915.86MB, major=6692.38MB, promoted=5966.61MB
    minor collections=260367  major collections=96 compactions=0


runtime: 00:04:00.761
vars: 19363, evals: 821443

|rho|=19363
|stable|=18357
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=49
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=567960.42MB, max=464.37MB, minor=567210.11MB, major=6943.86MB, promoted=6193.55MB
    minor collections=270521  major collections=97 compactions=0


runtime: 00:04:10.780
vars: 19363, evals: 850716

|rho|=19363
|stable|=18368
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=112
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=589070.17MB, max=534.03MB, minor=588295.93MB, major=7190.83MB, promoted=6416.58MB
    minor collections=280577  major collections=99 compactions=0


runtime: 00:04:20.798
vars: 19363, evals: 879860

|rho|=19363
|stable|=18353
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=56
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=610221.90MB, max=534.03MB, minor=609423.50MB, major=7440.90MB, promoted=6642.50MB
    minor collections=290653  major collections=101 compactions=0


runtime: 00:04:30.821
vars: 19363, evals: 908738

|rho|=19363
|stable|=18307
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=631176.76MB, max=534.03MB, minor=630354.81MB, major=7686.90MB, promoted=6864.96MB
    minor collections=300634  major collections=102 compactions=0


runtime: 00:04:40.831
vars: 19363, evals: 937292

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=56
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=652011.33MB, max=534.03MB, minor=651165.67MB, major=7935.23MB, promoted=7089.57MB
    minor collections=310559  major collections=104 compactions=0


runtime: 00:04:50.845
vars: 19363, evals: 965223

|rho|=19363
|stable|=18144
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=57
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=672408.56MB, max=614.13MB, minor=671539.91MB, major=8175.84MB, promoted=7307.19MB
    minor collections=320275  major collections=105 compactions=0


runtime: 00:05:00.876
vars: 19363, evals: 993458

|rho|=19363
|stable|=18254
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=108
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=693057.27MB, max=614.13MB, minor=692165.57MB, major=8421.24MB, promoted=7529.54MB
    minor collections=330111  major collections=106 compactions=0


runtime: 00:05:10.886
vars: 19363, evals: 1021569

|rho|=19363
|stable|=18137
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=60
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=713750.25MB, max=614.13MB, minor=712835.22MB, major=8670.39MB, promoted=7755.36MB
    minor collections=339968  major collections=108 compactions=0


runtime: 00:05:20.917
vars: 19363, evals: 1049217

|rho|=19363
|stable|=18341
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=734114.46MB, max=614.13MB, minor=733176.82MB, major=8913.13MB, promoted=7975.49MB
    minor collections=349668  major collections=109 compactions=0


runtime: 00:05:30.939
vars: 19363, evals: 1076137

|rho|=19363
|stable|=18368
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=106
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=753984.60MB, max=706.25MB, minor=753024.81MB, major=9154.90MB, promoted=8195.10MB
    minor collections=359133  major collections=110 compactions=0


runtime: 00:05:40.961
vars: 19363, evals: 1102816

|rho|=19363
|stable|=18215
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=55
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=773792.81MB, max=706.25MB, minor=772810.97MB, major=9392.04MB, promoted=8410.19MB
    minor collections=368569  major collections=111 compactions=0


runtime: 00:05:50.972
vars: 19363, evals: 1129776

|rho|=19363
|stable|=18248
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=52
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=793820.61MB, max=706.25MB, minor=792816.60MB, major=9634.63MB, promoted=8630.61MB
    minor collections=378109  major collections=112 compactions=0


runtime: 00:06:00.994
vars: 19363, evals: 1155902

|rho|=19363
|stable|=18317
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=100
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=813239.29MB, max=706.25MB, minor=812213.92MB, major=9871.05MB, promoted=8845.68MB
    minor collections=387359  major collections=114 compactions=0


runtime: 00:06:11.009
vars: 19363, evals: 1182363

|rho|=19363
|stable|=18144
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=56
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=833038.61MB, max=706.25MB, minor=831991.23MB, major=10112.84MB, promoted=9065.46MB
    minor collections=396791  major collections=115 compactions=0


runtime: 00:06:21.027
vars: 19363, evals: 1208649

|rho|=19363
|stable|=18330
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=852671.72MB, max=812.19MB, minor=851602.94MB, major=10348.52MB, promoted=9279.74MB
    minor collections=406143  major collections=116 compactions=0


runtime: 00:06:31.041
vars: 19363, evals: 1235048

|rho|=19363
|stable|=18362
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=872536.80MB, max=812.19MB, minor=871446.04MB, major=10596.59MB, promoted=9505.82MB
    minor collections=415606  major collections=117 compactions=0


runtime: 00:06:41.067
vars: 19363, evals: 1260798

|rho|=19363
|stable|=18299
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=112
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=891868.19MB, max=812.19MB, minor=890756.45MB, major=10834.27MB, promoted=9722.54MB
    minor collections=424814  major collections=118 compactions=0


runtime: 00:06:51.089
vars: 19363, evals: 1285603

|rho|=19363
|stable|=18294
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=109
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=910560.77MB, max=812.19MB, minor=909428.61MB, major=11066.63MB, promoted=9934.47MB
    minor collections=433719  major collections=119 compactions=0


runtime: 00:07:01.112
vars: 19363, evals: 1311363

|rho|=19363
|stable|=18368
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=930037.16MB, max=812.19MB, minor=928883.74MB, major=11307.29MB, promoted=10153.86MB
    minor collections=442996  major collections=119 compactions=0


runtime: 00:07:11.134
vars: 19363, evals: 1336349

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=96
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=948992.04MB, max=934.02MB, minor=947818.13MB, major=11545.06MB, promoted=10371.15MB
    minor collections=452025  major collections=120 compactions=0


runtime: 00:07:21.156
vars: 19363, evals: 1361165

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=91
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=967850.56MB, max=934.02MB, minor=966655.96MB, major=11784.21MB, promoted=10589.60MB
    minor collections=461008  major collections=121 compactions=0


runtime: 00:07:31.183
vars: 19363, evals: 1385631

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=62
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=986492.99MB, max=934.02MB, minor=985278.34MB, major=12017.94MB, promoted=10803.28MB
    minor collections=469889  major collections=122 compactions=0


runtime: 00:07:41.193
vars: 19363, evals: 1410720

|rho|=19363
|stable|=18297
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1005604.84MB, max=934.02MB, minor=1004369.69MB, major=12260.22MB, promoted=11025.06MB
    minor collections=478993  major collections=123 compactions=0


runtime: 00:07:51.212
vars: 19363, evals: 1434579

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=91
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1023865.71MB, max=934.02MB, minor=1022610.67MB, major=12488.99MB, promoted=11233.96MB
    minor collections=487692  major collections=124 compactions=0


runtime: 00:08:01.234
vars: 19363, evals: 1458392

|rho|=19363
|stable|=18362
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1042160.19MB, max=934.02MB, minor=1040885.56MB, major=12721.38MB, promoted=11446.75MB
    minor collections=496407  major collections=125 compactions=0


runtime: 00:08:11.268
vars: 19363, evals: 1481770

|rho|=19363
|stable|=18208
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=63
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1060107.63MB, max=1074.12MB, minor=1058813.83MB, major=12949.69MB, promoted=11655.89MB
    minor collections=504956  major collections=125 compactions=0


runtime: 00:08:21.278
vars: 19363, evals: 1503879

|rho|=19363
|stable|=18353
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=55
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1077148.64MB, max=1074.12MB, minor=1075836.57MB, major=13169.19MB, promoted=11857.12MB
    minor collections=513073  major collections=126 compactions=0


runtime: 00:08:31.308
vars: 19363, evals: 1526536

|rho|=19363
|stable|=18299
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=112
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1094592.28MB, max=1074.12MB, minor=1093261.79MB, major=13395.04MB, promoted=12064.55MB
    minor collections=521383  major collections=127 compactions=0


runtime: 00:08:41.339
vars: 19363, evals: 1548267

|rho|=19363
|stable|=18307
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=103
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1111443.41MB, max=1074.12MB, minor=1110095.01MB, major=13611.87MB, promoted=12263.48MB
    minor collections=529410  major collections=127 compactions=0


runtime: 00:08:51.349
vars: 19363, evals: 1569975

|rho|=19363
|stable|=18301
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=107
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1128270.36MB, max=1074.12MB, minor=1126904.10MB, major=13825.55MB, promoted=12459.28MB
    minor collections=537426  major collections=128 compactions=0


runtime: 00:09:01.375
vars: 19363, evals: 1590925

|rho|=19363
|stable|=18233
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1144553.42MB, max=1074.12MB, minor=1143169.78MB, major=14035.59MB, promoted=12651.95MB
    minor collections=545183  major collections=129 compactions=0


runtime: 00:09:11.394
vars: 19363, evals: 1612418

|rho|=19363
|stable|=18322
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=103
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1161242.02MB, max=1235.24MB, minor=1159840.84MB, major=14250.55MB, promoted=12849.37MB
    minor collections=553132  major collections=129 compactions=0


runtime: 00:09:21.404
vars: 19363, evals: 1634806

|rho|=19363
|stable|=18212
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=58
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1178710.02MB, max=1235.24MB, minor=1177290.23MB, major=14477.63MB, promoted=13057.85MB
    minor collections=561453  major collections=130 compactions=0


runtime: 00:09:31.418
vars: 19363, evals: 1657033

|rho|=19363
|stable|=18208
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=57
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1196036.57MB, max=1235.24MB, minor=1194598.49MB, major=14704.65MB, promoted=13266.56MB
    minor collections=569707  major collections=130 compactions=0


runtime: 00:09:41.436
vars: 19363, evals: 1678526

|rho|=19363
|stable|=18297
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1212854.54MB, max=1235.24MB, minor=1211398.91MB, major=14923.52MB, promoted=13467.89MB
    minor collections=577718  major collections=131 compactions=0


runtime: 00:09:51.451
vars: 19363, evals: 1700265

|rho|=19363
|stable|=18307
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=107
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1229911.05MB, max=1235.24MB, minor=1228437.53MB, major=15147.53MB, promoted=13674.02MB
    minor collections=585844  major collections=132 compactions=0


runtime: 00:10:01.481
vars: 19363, evals: 1722539

|rho|=19363
|stable|=18322
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=103
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1247454.29MB, max=1235.24MB, minor=1245962.44MB, major=15376.18MB, promoted=13884.33MB
    minor collections=594201  major collections=132 compactions=0


runtime: 00:10:11.491
vars: 19363, evals: 1743921

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=55
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1264339.66MB, max=1235.24MB, minor=1262830.04MB, major=15598.75MB, promoted=14089.13MB
    minor collections=602244  major collections=133 compactions=0


runtime: 00:10:21.522
vars: 19363, evals: 1765270

|rho|=19363
|stable|=18349
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=103
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1281141.60MB, max=1420.53MB, minor=1279614.48MB, major=15820.92MB, promoted=14293.80MB
    minor collections=610248  major collections=133 compactions=0


runtime: 00:10:31.532
vars: 19363, evals: 1787039

|rho|=19363
|stable|=18240
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=110
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1298382.20MB, max=1420.53MB, minor=1296837.19MB, major=16048.44MB, promoted=14503.43MB
    minor collections=618461  major collections=134 compactions=0


runtime: 00:10:41.554
vars: 19363, evals: 1807540

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1314682.25MB, max=1420.53MB, minor=1313120.26MB, major=16264.15MB, promoted=14702.17MB
    minor collections=626226  major collections=134 compactions=0


runtime: 00:10:51.560
vars: 19363, evals: 1828709

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1331510.24MB, max=1420.53MB, minor=1329930.80MB, major=16488.53MB, promoted=14909.09MB
    minor collections=634242  major collections=135 compactions=0


runtime: 00:11:01.586
vars: 19363, evals: 1849280

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1347848.25MB, max=1420.53MB, minor=1346251.82MB, major=16709.36MB, promoted=15112.92MB
    minor collections=642025  major collections=135 compactions=0


runtime: 00:11:11.597
vars: 19363, evals: 1869732

|rho|=19363
|stable|=18368
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1364106.23MB, max=1420.53MB, minor=1362493.11MB, major=16925.74MB, promoted=15312.62MB
    minor collections=649770  major collections=136 compactions=0


runtime: 00:11:21.615
vars: 19363, evals: 1889706

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1380115.70MB, max=1420.53MB, minor=1378486.04MB, major=17144.11MB, promoted=15514.46MB
    minor collections=657396  major collections=136 compactions=0


runtime: 00:11:31.625
vars: 19363, evals: 1910150

|rho|=19363
|stable|=18299
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=107
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1396449.06MB, max=1420.53MB, minor=1394802.73MB, major=17364.67MB, promoted=15718.34MB
    minor collections=665177  major collections=137 compactions=0


runtime: 00:11:41.656
vars: 19363, evals: 1929796

|rho|=19363
|stable|=18299
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=112
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1412191.19MB, max=1633.61MB, minor=1410528.69MB, major=17579.10MB, promoted=15916.60MB
    minor collections=672676  major collections=137 compactions=0


runtime: 00:11:51.670
vars: 19363, evals: 1949578

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1428127.34MB, max=1633.61MB, minor=1426448.32MB, major=17792.81MB, promoted=16113.79MB
    minor collections=680268  major collections=138 compactions=0


runtime: 00:12:01.712
vars: 19363, evals: 1968936

|rho|=19363
|stable|=18317
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=98
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1443669.65MB, max=1633.61MB, minor=1441974.83MB, major=18003.26MB, promoted=16308.45MB
    minor collections=687672  major collections=138 compactions=0


runtime: 00:12:11.727
vars: 19363, evals: 1987928

|rho|=19363
|stable|=18217
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=61
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1458989.83MB, max=1633.61MB, minor=1457279.31MB, major=18211.26MB, promoted=16500.74MB
    minor collections=694970  major collections=139 compactions=0


runtime: 00:12:21.769
vars: 19363, evals: 2005937

|rho|=19363
|stable|=18137
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=60
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1473542.07MB, max=1633.61MB, minor=1471816.65MB, major=18412.51MB, promoted=16687.09MB
    minor collections=701902  major collections=139 compactions=0


runtime: 00:12:31.783
vars: 19363, evals: 2025568

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1489367.51MB, max=1633.61MB, minor=1487625.93MB, major=18627.22MB, promoted=16885.65MB
    minor collections=709441  major collections=139 compactions=0


runtime: 00:12:41.794
vars: 19363, evals: 2045214

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1505285.25MB, max=1633.61MB, minor=1503527.49MB, major=18843.21MB, promoted=17085.45MB
    minor collections=717024  major collections=140 compactions=0


runtime: 00:12:51.836
vars: 19363, evals: 2063799

|rho|=19363
|stable|=18362
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1520365.15MB, max=1633.61MB, minor=1518592.09MB, major=19057.61MB, promoted=17284.54MB
    minor collections=724207  major collections=140 compactions=0


runtime: 00:13:01.846
vars: 19363, evals: 2083086

|rho|=19363
|stable|=18210
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=65
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1536033.01MB, max=1633.61MB, minor=1534244.14MB, major=19276.91MB, promoted=17488.04MB
    minor collections=731671  major collections=141 compactions=0


runtime: 00:13:11.864
vars: 19363, evals: 2101676

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=59
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1551191.74MB, max=1878.66MB, minor=1549387.56MB, major=19492.74MB, promoted=17688.56MB
    minor collections=738893  major collections=141 compactions=0


runtime: 00:13:21.875
vars: 19363, evals: 2120705

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1566686.69MB, max=1878.66MB, minor=1564866.78MB, major=19714.89MB, promoted=17894.98MB
    minor collections=746274  major collections=142 compactions=0


runtime: 00:13:31.885
vars: 19363, evals: 2139454

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=55
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1582007.79MB, max=1878.66MB, minor=1580172.52MB, major=19930.97MB, promoted=18095.70MB
    minor collections=753573  major collections=142 compactions=0


runtime: 00:13:41.915
vars: 19363, evals: 2157848

|rho|=19363
|stable|=18317
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=102
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1597011.76MB, max=1878.66MB, minor=1595161.50MB, major=20140.19MB, promoted=18289.93MB
    minor collections=760720  major collections=142 compactions=0


runtime: 00:13:51.926
vars: 19363, evals: 2176474

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=91
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1612283.60MB, max=1878.66MB, minor=1610417.93MB, major=20357.90MB, promoted=18492.23MB
    minor collections=767996  major collections=143 compactions=0


runtime: 00:14:01.952
vars: 19363, evals: 2194083

|rho|=19363
|stable|=18362
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=52
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1626763.32MB, max=1878.66MB, minor=1624882.97MB, major=20566.31MB, promoted=18685.96MB
    minor collections=774893  major collections=143 compactions=0


runtime: 00:14:11.970
vars: 19363, evals: 2212178

|rho|=19363
|stable|=18362
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=54
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1641605.51MB, max=1878.66MB, minor=1639710.28MB, major=20781.07MB, promoted=18885.83MB
    minor collections=781964  major collections=143 compactions=0


runtime: 00:14:21.981
vars: 19363, evals: 2230418

|rho|=19363
|stable|=18225
|infl|=19339
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=52
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1656638.62MB, max=1878.66MB, minor=1654728.44MB, major=21002.31MB, promoted=19092.13MB
    minor collections=789126  major collections=144 compactions=0


runtime: 00:14:32.011
vars: 19363, evals: 2247887

|rho|=19363
|stable|=18389
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=59
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1671045.93MB, max=1878.66MB, minor=1669121.30MB, major=21209.85MB, promoted=19285.22MB
    minor collections=795989  major collections=144 compactions=0


runtime: 00:14:42.025
vars: 19363, evals: 2265398

|rho|=19363
|stable|=18331
|infl|=19339
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=60
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1685486.43MB, max=1878.66MB, minor=1683547.37MB, major=21420.07MB, promoted=19481.01MB
    minor collections=802868  major collections=144 compactions=0


runtime: 00:14:52.035
vars: 19363, evals: 2282382

|rho|=19363
|stable|=18297
|infl|=19339
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=105
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (445) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for L:entry state of nocase_char_hash_function (543) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of deep_copy (5327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for L:entry state of get_val_from_he (1496) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for L:entry state of dbg (467) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=1699508.04MB, max=1878.66MB, minor=1697555.24MB, major=21626.59MB, promoted=19673.78MB
    minor collections=809548  major collections=145 compactions=0

