./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/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.346
vars: 14738, evals: 36731

|rho|=14738
|stable|=13907
|infl|=14689
|wpoint|=36
|sides|=1036
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13162
|called|=124
Found 267 contexts for 57 functions. Top 5 functions:
31	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1
19	contexts for L:entry state of dbg (469) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1
16	contexts for L:entry state of append_value_to_he (1647) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3429:1-3496:1

Memory statistics: total=23533.31MB, max=151.80MB, minor=23435.84MB, major=684.42MB, promoted=586.95MB
    minor collections=11188  major collections=26 compactions=0


runtime: 00:00:20.390
vars: 19362, evals: 74632

|rho|=19362
|stable|=18211
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=49246.56MB, max=200.75MB, minor=49110.55MB, major=1021.60MB, promoted=885.59MB
    minor collections=23434  major collections=32 compactions=0


runtime: 00:00:30.413
vars: 19362, evals: 112893

|rho|=19362
|stable|=18214
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=75002.28MB, max=200.75MB, minor=74834.74MB, major=1309.63MB, promoted=1142.10MB
    minor collections=35703  major collections=37 compactions=0


runtime: 00:00:40.429
vars: 19362, evals: 150400

|rho|=19362
|stable|=18290
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=100315.95MB, max=230.87MB, minor=100117.67MB, major=1590.07MB, promoted=1391.79MB
    minor collections=47761  major collections=42 compactions=0


runtime: 00:00:50.440
vars: 19362, evals: 187056

|rho|=19362
|stable|=18239
|infl|=19338
|wpoint|=52
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=113
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=125211.93MB, max=230.87MB, minor=124983.43MB, major=1868.67MB, promoted=1640.17MB
    minor collections=59620  major collections=46 compactions=0


runtime: 00:01:00.463
vars: 19362, evals: 223007

|rho|=19362
|stable|=18207
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=149762.29MB, max=230.87MB, minor=149504.07MB, major=2144.16MB, promoted=1885.94MB
    minor collections=71315  major collections=50 compactions=0


runtime: 00:01:10.474
vars: 19362, evals: 259052

|rho|=19362
|stable|=18329
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=174411.96MB, max=230.87MB, minor=174124.24MB, major=2420.07MB, promoted=2132.35MB
    minor collections=83057  major collections=54 compactions=0


runtime: 00:01:20.490
vars: 19362, evals: 294353

|rho|=19362
|stable|=18207
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=198691.61MB, max=265.50MB, minor=198374.65MB, major=2694.21MB, promoted=2377.25MB
    minor collections=94622  major collections=57 compactions=0


runtime: 00:01:30.500
vars: 19362, evals: 328848

|rho|=19362
|stable|=18330
|infl|=19338
|wpoint|=51
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=67
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=222482.47MB, max=265.50MB, minor=222137.04MB, major=2962.10MB, promoted=2616.66MB
    minor collections=105956  major collections=61 compactions=0


runtime: 00:01:40.516
vars: 19362, evals: 363609

|rho|=19362
|stable|=18185
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=246550.53MB, max=265.50MB, minor=246176.54MB, major=3231.94MB, promoted=2857.96MB
    minor collections=117420  major collections=64 compactions=0


runtime: 00:01:50.535
vars: 19362, evals: 397752

|rho|=19362
|stable|=18206
|infl|=19338
|wpoint|=50
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=67
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=270248.14MB, max=265.50MB, minor=269846.07MB, major=3498.93MB, promoted=3096.86MB
    minor collections=128709  major collections=67 compactions=0


runtime: 00:02:00.555
vars: 19362, evals: 431515

|rho|=19362
|stable|=18321
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=293755.59MB, max=305.32MB, minor=293325.81MB, major=3763.85MB, promoted=3334.07MB
    minor collections=139907  major collections=71 compactions=0


runtime: 00:02:10.566
vars: 19362, evals: 464967

|rho|=19362
|stable|=18211
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=317170.32MB, max=305.32MB, minor=316712.93MB, major=4026.82MB, promoted=3569.43MB
    minor collections=151060  major collections=73 compactions=0


runtime: 00:02:20.590
vars: 19362, evals: 497813

|rho|=19362
|stable|=18279
|infl|=19338
|wpoint|=52
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=116
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=340181.70MB, max=305.32MB, minor=339697.42MB, major=4290.90MB, promoted=3806.62MB
    minor collections=162022  major collections=76 compactions=0


runtime: 00:02:30.601
vars: 19362, evals: 530394

|rho|=19362
|stable|=18289
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=363124.79MB, max=351.13MB, minor=362613.70MB, major=4554.35MB, promoted=4043.26MB
    minor collections=172951  major collections=79 compactions=0


runtime: 00:02:40.625
vars: 19362, evals: 562227

|rho|=19362
|stable|=18232
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=385642.19MB, max=351.13MB, minor=385104.77MB, major=4812.60MB, promoted=4275.18MB
    minor collections=183676  major collections=81 compactions=0


runtime: 00:02:50.640
vars: 19362, evals: 594142

|rho|=19362
|stable|=18136
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=408253.41MB, max=351.13MB, minor=407689.64MB, major=5069.36MB, promoted=4505.59MB
    minor collections=194448  major collections=84 compactions=0


runtime: 00:03:00.656
vars: 19362, evals: 625673

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=430666.33MB, max=403.80MB, minor=430076.60MB, major=5325.35MB, promoted=4735.62MB
    minor collections=205124  major collections=86 compactions=0


runtime: 00:03:10.667
vars: 19362, evals: 656324

|rho|=19362
|stable|=18235
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=452534.18MB, max=403.80MB, minor=451919.30MB, major=5578.91MB, promoted=4964.04MB
    minor collections=215540  major collections=88 compactions=0


runtime: 00:03:20.683
vars: 19362, evals: 686923

|rho|=19362
|stable|=18331
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=474397.93MB, max=403.80MB, minor=473757.94MB, major=5833.13MB, promoted=5193.14MB
    minor collections=225955  major collections=90 compactions=0


runtime: 00:03:30.694
vars: 19362, evals: 717114

|rho|=19362
|stable|=18329
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=496075.52MB, max=403.80MB, minor=495410.77MB, major=6083.86MB, promoted=5419.11MB
    minor collections=236281  major collections=92 compactions=0


runtime: 00:03:40.714
vars: 19362, evals: 746452

|rho|=19362
|stable|=18241
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=517180.86MB, max=464.37MB, minor=516491.90MB, major=6329.23MB, promoted=5640.27MB
    minor collections=246335  major collections=94 compactions=0


runtime: 00:03:50.732
vars: 19362, evals: 776029

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=538533.27MB, max=464.37MB, minor=537820.03MB, major=6578.71MB, promoted=5865.47MB
    minor collections=256506  major collections=96 compactions=0


runtime: 00:04:00.748
vars: 19362, evals: 805361

|rho|=19362
|stable|=18367
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=559766.56MB, max=464.37MB, minor=559029.09MB, major=6830.66MB, promoted=6093.19MB
    minor collections=266621  major collections=98 compactions=0


runtime: 00:04:10.771
vars: 19362, evals: 834024

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=580618.72MB, max=464.37MB, minor=579857.50MB, major=7077.10MB, promoted=6315.88MB
    minor collections=276553  major collections=99 compactions=0


runtime: 00:04:20.782
vars: 19362, evals: 862857

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=104
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=601607.27MB, max=534.03MB, minor=600822.54MB, major=7321.63MB, promoted=6536.89MB
    minor collections=286551  major collections=101 compactions=0


runtime: 00:04:30.798
vars: 19362, evals: 890852

|rho|=19362
|stable|=18355
|infl|=19338
|wpoint|=49
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=48
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=622101.57MB, max=534.03MB, minor=621293.58MB, major=7563.91MB, promoted=6755.92MB
    minor collections=296313  major collections=102 compactions=0


runtime: 00:04:40.814
vars: 19362, evals: 918949

|rho|=19362
|stable|=18224
|infl|=19338
|wpoint|=49
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=51
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=642690.38MB, max=534.03MB, minor=641859.34MB, major=7804.32MB, promoted=6973.28MB
    minor collections=306121  major collections=104 compactions=0


runtime: 00:04:50.837
vars: 19362, evals: 946493

|rho|=19362
|stable|=18367
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=662892.99MB, max=534.03MB, minor=662039.36MB, major=8043.97MB, promoted=7190.34MB
    minor collections=315744  major collections=105 compactions=0


runtime: 00:05:00.853
vars: 19362, evals: 974240

|rho|=19362
|stable|=18224
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=683389.95MB, max=614.13MB, minor=682513.38MB, major=8286.16MB, promoted=7409.59MB
    minor collections=325508  major collections=107 compactions=0


runtime: 00:05:10.868
vars: 19362, evals: 1001503

|rho|=19362
|stable|=18368
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=703540.69MB, max=614.13MB, minor=702641.61MB, major=8526.51MB, promoted=7627.43MB
    minor collections=335107  major collections=108 compactions=0


runtime: 00:05:20.884
vars: 19362, evals: 1028288

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=723336.09MB, max=614.13MB, minor=722415.20MB, major=8763.00MB, promoted=7842.10MB
    minor collections=344536  major collections=109 compactions=0


runtime: 00:05:30.911
vars: 19362, evals: 1055422

|rho|=19362
|stable|=18209
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=743510.12MB, max=614.13MB, minor=742566.73MB, major=9007.14MB, promoted=8063.75MB
    minor collections=354147  major collections=111 compactions=0


runtime: 00:05:40.935
vars: 19362, evals: 1082148

|rho|=19362
|stable|=18361
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=763395.41MB, max=706.25MB, minor=762429.94MB, major=9244.33MB, promoted=8278.86MB
    minor collections=363619  major collections=112 compactions=0


runtime: 00:05:50.954
vars: 19362, evals: 1108483

|rho|=19362
|stable|=18329
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=783016.16MB, max=706.25MB, minor=782029.26MB, major=9481.35MB, promoted=8494.46MB
    minor collections=372965  major collections=113 compactions=0


runtime: 00:06:00.974
vars: 19362, evals: 1134790

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=802696.08MB, max=706.25MB, minor=801687.51MB, major=9717.58MB, promoted=8709.02MB
    minor collections=382340  major collections=114 compactions=0


runtime: 00:06:11.001
vars: 19362, evals: 1160825

|rho|=19362
|stable|=18187
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=822235.44MB, max=706.25MB, minor=821205.26MB, major=9956.18MB, promoted=8926.00MB
    minor collections=391647  major collections=115 compactions=0


runtime: 00:06:21.020
vars: 19362, evals: 1187126

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=841999.77MB, max=706.25MB, minor=840947.90MB, major=10197.02MB, promoted=9145.14MB
    minor collections=401062  major collections=116 compactions=0


runtime: 00:06:31.040
vars: 19362, evals: 1212985

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=861496.99MB, max=812.19MB, minor=860423.83MB, major=10434.94MB, promoted=9361.77MB
    minor collections=410350  major collections=117 compactions=0


runtime: 00:06:41.055
vars: 19362, evals: 1237830

|rho|=19362
|stable|=18159
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=880264.69MB, max=812.19MB, minor=879171.10MB, major=10662.81MB, promoted=9569.22MB
    minor collections=419290  major collections=118 compactions=0


runtime: 00:06:51.070
vars: 19362, evals: 1263066

|rho|=19362
|stable|=18329
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=899351.22MB, max=812.19MB, minor=898237.08MB, major=10896.79MB, promoted=9782.65MB
    minor collections=428382  major collections=119 compactions=0


runtime: 00:07:01.090
vars: 19362, evals: 1288331

|rho|=19362
|stable|=18298
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=918542.79MB, max=812.19MB, minor=917407.83MB, major=11135.50MB, promoted=10000.54MB
    minor collections=437524  major collections=120 compactions=0


runtime: 00:07:11.101
vars: 19362, evals: 1312927

|rho|=19362
|stable|=18248
|infl|=19338
|wpoint|=49
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=45
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=937282.02MB, max=812.19MB, minor=936126.67MB, major=11370.66MB, promoted=10215.32MB
    minor collections=446450  major collections=121 compactions=0


runtime: 00:07:21.133
vars: 19362, evals: 1336675

|rho|=19362
|stable|=18214
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=955390.03MB, max=934.02MB, minor=954215.12MB, major=11599.50MB, promoted=10424.59MB
    minor collections=455076  major collections=122 compactions=0


runtime: 00:07:31.156
vars: 19362, evals: 1359813

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=973095.77MB, max=934.02MB, minor=971901.75MB, major=11820.60MB, promoted=10626.57MB
    minor collections=463511  major collections=123 compactions=0


runtime: 00:07:41.176
vars: 19362, evals: 1384071

|rho|=19362
|stable|=18356
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=991698.34MB, max=934.02MB, minor=990484.33MB, major=12050.80MB, promoted=10836.80MB
    minor collections=472372  major collections=123 compactions=0


runtime: 00:07:51.195
vars: 19362, evals: 1407994

|rho|=19362
|stable|=18224
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1010086.20MB, max=934.02MB, minor=1008852.57MB, major=12279.38MB, promoted=11045.75MB
    minor collections=481131  major collections=124 compactions=0


runtime: 00:08:01.212
vars: 19362, evals: 1431557

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1028210.31MB, max=934.02MB, minor=1026957.44MB, major=12505.76MB, promoted=11252.89MB
    minor collections=489765  major collections=125 compactions=0


runtime: 00:08:11.226
vars: 19362, evals: 1455202

|rho|=19362
|stable|=18348
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1046432.73MB, max=934.02MB, minor=1045160.33MB, major=12733.43MB, promoted=11461.03MB
    minor collections=498445  major collections=126 compactions=0


runtime: 00:08:21.249
vars: 19362, evals: 1477991

|rho|=19362
|stable|=18225
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1064039.91MB, max=1074.12MB, minor=1062748.76MB, major=12954.06MB, promoted=11662.91MB
    minor collections=506832  major collections=126 compactions=0


runtime: 00:08:31.269
vars: 19362, evals: 1500945

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1081882.07MB, max=1074.12MB, minor=1080571.86MB, major=13180.94MB, promoted=11870.72MB
    minor collections=515332  major collections=127 compactions=0


runtime: 00:08:41.280
vars: 19362, evals: 1524366

|rho|=19362
|stable|=18234
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1100075.96MB, max=1074.12MB, minor=1098746.54MB, major=13409.41MB, promoted=12079.99MB
    minor collections=523999  major collections=128 compactions=0


runtime: 00:08:51.299
vars: 19362, evals: 1546383

|rho|=19362
|stable|=18330
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1117202.45MB, max=1074.12MB, minor=1115854.81MB, major=13628.68MB, promoted=12281.04MB
    minor collections=532157  major collections=129 compactions=0


runtime: 00:09:01.319
vars: 19362, evals: 1569170

|rho|=19362
|stable|=18369
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1134962.65MB, max=1074.12MB, minor=1133596.25MB, major=13854.91MB, promoted=12488.52MB
    minor collections=540617  major collections=129 compactions=0


runtime: 00:09:11.330
vars: 19362, evals: 1591506

|rho|=19362
|stable|=18207
|infl|=19338
|wpoint|=51
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=67
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1152393.89MB, max=1074.12MB, minor=1151009.18MB, major=14076.14MB, promoted=12691.43MB
    minor collections=548921  major collections=130 compactions=0


runtime: 00:09:21.358
vars: 19362, evals: 1613513

|rho|=19362
|stable|=18293
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1169578.59MB, max=1074.12MB, minor=1168175.93MB, major=14292.48MB, promoted=12889.82MB
    minor collections=557107  major collections=131 compactions=0


runtime: 00:09:31.393
vars: 19362, evals: 1635417

|rho|=19362
|stable|=18173
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1186827.65MB, max=1235.24MB, minor=1185406.76MB, major=14517.43MB, promoted=13096.54MB
    minor collections=565324  major collections=131 compactions=0


runtime: 00:09:41.404
vars: 19362, evals: 1657458

|rho|=19362
|stable|=18293
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1204115.71MB, max=1235.24MB, minor=1202676.87MB, major=14742.70MB, promoted=13303.85MB
    minor collections=573560  major collections=132 compactions=0


runtime: 00:09:51.432
vars: 19362, evals: 1678879

|rho|=19362
|stable|=18207
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1221018.50MB, max=1235.24MB, minor=1219561.86MB, major=14962.65MB, promoted=13506.01MB
    minor collections=581611  major collections=132 compactions=0


runtime: 00:10:01.443
vars: 19362, evals: 1700244

|rho|=19362
|stable|=18332
|infl|=19338
|wpoint|=51
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=97
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1237855.82MB, max=1235.24MB, minor=1236381.68MB, major=15180.97MB, promoted=13706.83MB
    minor collections=589632  major collections=133 compactions=0


runtime: 00:10:11.455
vars: 19362, evals: 1721632

|rho|=19362
|stable|=18316
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1254767.33MB, max=1235.24MB, minor=1253275.67MB, major=15403.58MB, promoted=13911.92MB
    minor collections=597688  major collections=133 compactions=0


runtime: 00:10:21.474
vars: 19362, evals: 1742646

|rho|=19362
|stable|=18340
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1271410.82MB, max=1235.24MB, minor=1269901.76MB, major=15624.26MB, promoted=14115.21MB
    minor collections=605617  major collections=134 compactions=0


runtime: 00:10:31.486
vars: 19362, evals: 1763682

|rho|=19362
|stable|=18216
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1288154.90MB, max=1235.24MB, minor=1286628.44MB, major=15847.66MB, promoted=14321.20MB
    minor collections=613593  major collections=135 compactions=0


runtime: 00:10:41.505
vars: 19362, evals: 1784362

|rho|=19362
|stable|=18216
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1304599.79MB, max=1420.53MB, minor=1303056.31MB, major=16067.63MB, promoted=14524.15MB
    minor collections=621427  major collections=135 compactions=0


runtime: 00:10:51.521
vars: 19362, evals: 1804542

|rho|=19362
|stable|=18224
|infl|=19338
|wpoint|=49
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1320698.48MB, max=1420.53MB, minor=1319138.38MB, major=16283.64MB, promoted=14723.54MB
    minor collections=629096  major collections=136 compactions=0


runtime: 00:11:01.540
vars: 19362, evals: 1824551

|rho|=19362
|stable|=18352
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1336658.61MB, max=1420.53MB, minor=1335081.97MB, major=16499.15MB, promoted=14922.51MB
    minor collections=636699  major collections=136 compactions=0


runtime: 00:11:11.560
vars: 19362, evals: 1844233

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1352412.55MB, max=1420.53MB, minor=1350819.71MB, major=16708.34MB, promoted=15115.50MB
    minor collections=644204  major collections=137 compactions=0


runtime: 00:11:21.591
vars: 19362, evals: 1863221

|rho|=19362
|stable|=18290
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1367594.48MB, max=1420.53MB, minor=1365986.21MB, major=16909.73MB, promoted=15301.47MB
    minor collections=651436  major collections=137 compactions=0


runtime: 00:11:31.611
vars: 19362, evals: 1883306

|rho|=19362
|stable|=18367
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1383727.01MB, max=1420.53MB, minor=1382102.15MB, major=17122.97MB, promoted=15498.11MB
    minor collections=659121  major collections=138 compactions=0


runtime: 00:11:41.650
vars: 19362, evals: 1903171

|rho|=19362
|stable|=18388
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1399757.24MB, max=1420.53MB, minor=1398115.87MB, major=17338.35MB, promoted=15696.98MB
    minor collections=666757  major collections=138 compactions=0


runtime: 00:11:51.666
vars: 19362, evals: 1922935

|rho|=19362
|stable|=18224
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1415647.18MB, max=1420.53MB, minor=1413989.61MB, major=17553.21MB, promoted=15895.64MB
    minor collections=674327  major collections=139 compactions=0


runtime: 00:12:01.690
vars: 19362, evals: 1942761

|rho|=19362
|stable|=18367
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1431612.89MB, max=1633.61MB, minor=1429939.08MB, major=17769.77MB, promoted=16095.96MB
    minor collections=681933  major collections=139 compactions=0


runtime: 00:12:11.717
vars: 19362, evals: 1961642

|rho|=19362
|stable|=18171
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1446899.10MB, max=1633.61MB, minor=1445209.63MB, major=17975.68MB, promoted=16286.20MB
    minor collections=689214  major collections=139 compactions=0


runtime: 00:12:21.728
vars: 19362, evals: 1981164

|rho|=19362
|stable|=18314
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1462699.71MB, max=1633.61MB, minor=1460994.38MB, major=18193.66MB, promoted=16488.32MB
    minor collections=696742  major collections=140 compactions=0


runtime: 00:12:31.768
vars: 19362, evals: 2000120

|rho|=19362
|stable|=18348
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1478044.16MB, max=1633.61MB, minor=1476323.11MB, major=18408.05MB, promoted=16687.00MB
    minor collections=704051  major collections=140 compactions=0


runtime: 00:12:41.780
vars: 19362, evals: 2019377

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1493698.40MB, max=1633.61MB, minor=1491961.58MB, major=18622.10MB, promoted=16885.28MB
    minor collections=711509  major collections=141 compactions=0


runtime: 00:12:51.839
vars: 19362, evals: 2037472

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=113
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1508441.12MB, max=1633.61MB, minor=1506689.39MB, major=18830.42MB, promoted=17078.70MB
    minor collections=718532  major collections=141 compactions=0


runtime: 00:13:01.851
vars: 19362, evals: 2056267

|rho|=19362
|stable|=18185
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1523787.93MB, max=1633.61MB, minor=1522020.56MB, major=19044.49MB, promoted=17277.12MB
    minor collections=725843  major collections=142 compactions=0


runtime: 00:13:11.870
vars: 19362, evals: 2075205

|rho|=19362
|stable|=18298
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1539235.85MB, max=1633.61MB, minor=1537453.06MB, major=19254.64MB, promoted=17471.85MB
    minor collections=733202  major collections=142 compactions=0


runtime: 00:13:21.902
vars: 19362, evals: 2092814

|rho|=19362
|stable|=18292
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1553633.40MB, max=1633.61MB, minor=1551836.12MB, major=19449.14MB, promoted=17651.86MB
    minor collections=740060  major collections=142 compactions=0


runtime: 00:13:31.913
vars: 19362, evals: 2110886

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1568429.12MB, max=1633.61MB, minor=1566616.95MB, major=19651.25MB, promoted=17839.09MB
    minor collections=747109  major collections=143 compactions=0


runtime: 00:13:41.948
vars: 19362, evals: 2129028

|rho|=19362
|stable|=18316
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1583356.24MB, max=1878.66MB, minor=1581529.14MB, major=19853.50MB, promoted=18026.41MB
    minor collections=754220  major collections=143 compactions=0


runtime: 00:13:51.963
vars: 19362, evals: 2146619

|rho|=19362
|stable|=18329
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1597793.00MB, max=1878.66MB, minor=1595951.44MB, major=20053.75MB, promoted=18212.19MB
    minor collections=761097  major collections=143 compactions=0


runtime: 00:14:01.975
vars: 19362, evals: 2164365

|rho|=19362
|stable|=18224
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1612452.14MB, max=1878.66MB, minor=1610595.79MB, major=20257.30MB, promoted=18400.95MB
    minor collections=768081  major collections=144 compactions=0


runtime: 00:14:12.014
vars: 19362, evals: 2181707

|rho|=19362
|stable|=18298
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1626726.10MB, max=1878.66MB, minor=1624855.62MB, major=20453.32MB, promoted=18582.84MB
    minor collections=774881  major collections=144 compactions=0


runtime: 00:14:22.026
vars: 19362, evals: 2199476

|rho|=19362
|stable|=18185
|infl|=19338
|wpoint|=50
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1641413.12MB, max=1878.66MB, minor=1639527.83MB, major=20656.39MB, promoted=18771.10MB
    minor collections=781877  major collections=144 compactions=0


runtime: 00:14:32.041
vars: 19362, evals: 2217388

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=52
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1656228.43MB, max=1878.66MB, minor=1654328.57MB, major=20863.85MB, promoted=18963.99MB
    minor collections=788935  major collections=145 compactions=0


runtime: 00:14:42.113
vars: 19362, evals: 2234886

|rho|=19362
|stable|=18232
|infl|=19338
|wpoint|=52
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=111
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1670703.60MB, max=1878.66MB, minor=1668789.28MB, major=21064.29MB, promoted=19149.97MB
    minor collections=795831  major collections=145 compactions=0


runtime: 00:14:52.128
vars: 19362, evals: 2252036

|rho|=19362
|stable|=18306
|infl|=19338
|wpoint|=51
|sides|=1181
|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 (447) 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 (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for L:entry state of get_val_from_he (1498) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
20	contexts for L:entry state of deep_copy (5329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1

Memory statistics: total=1684934.64MB, max=1878.66MB, minor=1683006.25MB, major=21260.94MB, promoted=19332.55MB
    minor collections=802610  major collections=145 compactions=0

