./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.336
vars: 14339, evals: 36203

|rho|=14339
|stable|=13508
|infl|=14299
|wpoint|=35
|sides|=1016
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=12802
|called|=115
Found 257 contexts for 56 functions. Top 5 functions:
29	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
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 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 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=23189.94MB, max=151.80MB, minor=23093.84MB, major=674.32MB, promoted=578.22MB
    minor collections=11025  major collections=26 compactions=0


runtime: 00:00:20.371
vars: 19362, evals: 73558

|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|=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=48445.21MB, max=200.75MB, minor=48310.06MB, major=1014.68MB, promoted=879.53MB
    minor collections=23052  major collections=32 compactions=0


runtime: 00:00:30.387
vars: 19362, evals: 110798

|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|=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=73369.59MB, max=200.75MB, minor=73203.76MB, major=1295.03MB, promoted=1129.20MB
    minor collections=34925  major collections=37 compactions=0


runtime: 00:00:40.402
vars: 19362, evals: 147923

|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=98341.44MB, max=230.87MB, minor=98144.98MB, major=1575.31MB, promoted=1378.85MB
    minor collections=46820  major collections=41 compactions=0


runtime: 00:00:50.418
vars: 19362, evals: 184180

|rho|=19362
|stable|=18155
|infl|=19338
|wpoint|=50
|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=122815.78MB, max=230.87MB, minor=122589.49MB, major=1851.87MB, promoted=1625.57MB
    minor collections=58479  major collections=46 compactions=0


runtime: 00:01:00.429
vars: 19362, evals: 220201

|rho|=19362
|stable|=18296
|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=147216.45MB, max=230.87MB, minor=146960.69MB, major=2124.87MB, promoted=1869.11MB
    minor collections=70102  major collections=50 compactions=0


runtime: 00:01:10.440
vars: 19362, evals: 254771

|rho|=19362
|stable|=18227
|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=170732.90MB, max=230.87MB, minor=170448.64MB, major=2389.45MB, promoted=2105.19MB
    minor collections=81304  major collections=53 compactions=0


runtime: 00:01:20.456
vars: 19362, evals: 288698

|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=193950.43MB, max=265.50MB, minor=193638.13MB, major=2653.50MB, promoted=2341.20MB
    minor collections=92364  major collections=57 compactions=0


runtime: 00:01:30.467
vars: 19362, evals: 322271

|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=216936.54MB, max=265.50MB, minor=216596.60MB, major=2913.93MB, promoted=2573.99MB
    minor collections=103313  major collections=60 compactions=0


runtime: 00:01:40.487
vars: 19362, evals: 355936

|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|=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=240109.58MB, max=265.50MB, minor=239741.95MB, major=3177.34MB, promoted=2809.71MB
    minor collections=114352  major collections=64 compactions=0


runtime: 00:01:50.498
vars: 19362, evals: 389034

|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|=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=262949.77MB, max=265.50MB, minor=262554.90MB, major=3434.33MB, promoted=3039.46MB
    minor collections=125232  major collections=67 compactions=0


runtime: 00:02:00.518
vars: 19362, evals: 420211

|rho|=19362
|stable|=18227
|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=284495.80MB, max=305.32MB, minor=284075.35MB, major=3680.39MB, promoted=3259.94MB
    minor collections=135495  major collections=70 compactions=0


runtime: 00:02:10.533
vars: 19362, evals: 451325

|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=306113.12MB, max=305.32MB, minor=305667.11MB, major=3926.05MB, promoted=3480.04MB
    minor collections=145792  major collections=72 compactions=0


runtime: 00:02:20.547
vars: 19362, evals: 482987

|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|=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=328200.31MB, max=305.32MB, minor=327728.03MB, major=4177.52MB, promoted=3705.23MB
    minor collections=156313  major collections=75 compactions=0


runtime: 00:02:30.567
vars: 19362, evals: 514412

|rho|=19362
|stable|=18291
|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=350146.93MB, max=351.13MB, minor=349649.01MB, major=4429.93MB, promoted=3932.00MB
    minor collections=166768  major collections=78 compactions=0


runtime: 00:02:40.594
vars: 19362, evals: 545471

|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|=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=371968.53MB, max=351.13MB, minor=371444.79MB, major=4682.39MB, promoted=4158.66MB
    minor collections=177162  major collections=80 compactions=0


runtime: 00:02:50.618
vars: 19362, evals: 576150

|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=393553.63MB, max=351.13MB, minor=393004.73MB, major=4930.15MB, promoted=4381.25MB
    minor collections=187444  major collections=82 compactions=0


runtime: 00:03:00.637
vars: 19362, evals: 605960

|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|=91
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=414569.38MB, max=351.13MB, minor=413996.04MB, major=5171.49MB, promoted=4598.15MB
    minor collections=197455  major collections=85 compactions=0


runtime: 00:03:10.657
vars: 19362, evals: 635812

|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|=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=435682.33MB, max=403.80MB, minor=435084.44MB, major=5414.21MB, promoted=4816.32MB
    minor collections=207512  major collections=87 compactions=0


runtime: 00:03:20.676
vars: 19362, evals: 665213

|rho|=19362
|stable|=18335
|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=456584.75MB, max=403.80MB, minor=455962.63MB, major=5658.25MB, promoted=5036.12MB
    minor collections=217469  major collections=89 compactions=0


runtime: 00:03:30.692
vars: 19362, evals: 694595

|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|=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=477560.80MB, max=403.80MB, minor=476914.44MB, major=5901.66MB, promoted=5255.29MB
    minor collections=227461  major collections=91 compactions=0


runtime: 00:03:40.723
vars: 19362, evals: 723350

|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|=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=498097.62MB, max=403.80MB, minor=497427.49MB, major=6142.03MB, promoted=5471.90MB
    minor collections=237243  major collections=93 compactions=0


runtime: 00:03:50.746
vars: 19362, evals: 751693

|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=518364.88MB, max=464.37MB, minor=517671.64MB, major=6378.44MB, promoted=5685.20MB
    minor collections=246897  major collections=94 compactions=0


runtime: 00:04:00.766
vars: 19362, evals: 780019

|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=538696.13MB, max=464.37MB, minor=537979.52MB, major=6618.24MB, promoted=5901.64MB
    minor collections=256582  major collections=96 compactions=0


runtime: 00:04:10.782
vars: 19362, evals: 807563

|rho|=19362
|stable|=18303
|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=558543.79MB, max=464.37MB, minor=557804.59MB, major=6850.95MB, promoted=6111.75MB
    minor collections=266037  major collections=98 compactions=0


runtime: 00:04:20.809
vars: 19362, evals: 835347

|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|=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=578611.75MB, max=464.37MB, minor=577849.60MB, major=7086.54MB, promoted=6324.39MB
    minor collections=275596  major collections=99 compactions=0


runtime: 00:04:30.833
vars: 19362, evals: 862524

|rho|=19362
|stable|=18196
|infl|=19338
|wpoint|=50
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=64
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=598330.86MB, max=534.03MB, minor=597546.23MB, major=7320.02MB, promoted=6535.39MB
    minor collections=284989  major collections=101 compactions=0


runtime: 00:04:40.852
vars: 19362, evals: 889267

|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|=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=617746.07MB, max=534.03MB, minor=616939.62MB, major=7550.16MB, promoted=6743.72MB
    minor collections=294237  major collections=102 compactions=0


runtime: 00:04:50.876
vars: 19362, evals: 915701

|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=637033.61MB, max=534.03MB, minor=636205.16MB, major=7780.63MB, promoted=6952.19MB
    minor collections=303425  major collections=104 compactions=0


runtime: 00:05:00.899
vars: 19362, evals: 942527

|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|=91
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=656617.73MB, max=534.03MB, minor=655767.18MB, major=8011.13MB, promoted=7160.58MB
    minor collections=312753  major collections=105 compactions=0


runtime: 00:05:10.931
vars: 19362, evals: 969019

|rho|=19362
|stable|=18188
|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=676038.30MB, max=614.13MB, minor=675166.01MB, major=8237.23MB, promoted=7364.94MB
    minor collections=322004  major collections=106 compactions=0


runtime: 00:05:20.950
vars: 19362, evals: 994811

|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=694998.75MB, max=614.13MB, minor=694105.18MB, major=8465.45MB, promoted=7571.88MB
    minor collections=331036  major collections=108 compactions=0


runtime: 00:05:30.974
vars: 19362, evals: 1020821

|rho|=19362
|stable|=18247
|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=714144.00MB, max=614.13MB, minor=713229.11MB, major=8692.01MB, promoted=7777.12MB
    minor collections=340156  major collections=109 compactions=0


runtime: 00:05:40.994
vars: 19362, evals: 1046154

|rho|=19362
|stable|=18247
|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=732830.54MB, max=614.13MB, minor=731894.80MB, major=8915.66MB, promoted=7979.91MB
    minor collections=349057  major collections=110 compactions=0


runtime: 00:05:51.017
vars: 19362, evals: 1070919

|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=751152.84MB, max=706.25MB, minor=750196.69MB, major=9137.26MB, promoted=8181.11MB
    minor collections=357785  major collections=111 compactions=0


runtime: 00:06:01.041
vars: 19362, evals: 1095641

|rho|=19362
|stable|=18145
|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=769472.93MB, max=706.25MB, minor=768496.37MB, major=9358.73MB, promoted=8382.18MB
    minor collections=366512  major collections=112 compactions=0


runtime: 00:06:11.072
vars: 19362, evals: 1119880

|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|=53
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=787496.74MB, max=706.25MB, minor=786500.22MB, major=9576.75MB, promoted=8580.23MB
    minor collections=375097  major collections=113 compactions=0


runtime: 00:06:21.108
vars: 19362, evals: 1144825

|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|=53
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=806087.10MB, max=706.25MB, minor=805070.12MB, major=9801.24MB, promoted=8784.25MB
    minor collections=383953  major collections=114 compactions=0


runtime: 00:06:31.131
vars: 19362, evals: 1169410

|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|=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=824403.53MB, max=706.25MB, minor=823366.46MB, major=10023.10MB, promoted=8986.04MB
    minor collections=392678  major collections=115 compactions=0


runtime: 00:06:41.159
vars: 19362, evals: 1193310

|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=842343.44MB, max=812.19MB, minor=841286.47MB, major=10240.50MB, promoted=9183.53MB
    minor collections=401223  major collections=116 compactions=0


runtime: 00:06:51.187
vars: 19362, evals: 1217112

|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|=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=860193.59MB, max=812.19MB, minor=859117.03MB, major=10458.15MB, promoted=9381.60MB
    minor collections=409726  major collections=117 compactions=0


runtime: 00:07:01.214
vars: 19362, evals: 1241063

|rho|=19362
|stable|=18247
|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=878220.19MB, max=812.19MB, minor=877124.00MB, major=10676.02MB, promoted=9579.83MB
    minor collections=418313  major collections=118 compactions=0


runtime: 00:07:11.238
vars: 19362, evals: 1264249

|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=895698.51MB, max=812.19MB, minor=894583.21MB, major=10890.31MB, promoted=9775.01MB
    minor collections=426639  major collections=119 compactions=0


runtime: 00:07:21.253
vars: 19362, evals: 1287686

|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|=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=913390.10MB, max=812.19MB, minor=912255.60MB, major=11107.66MB, promoted=9973.15MB
    minor collections=435067  major collections=120 compactions=0


runtime: 00:07:31.281
vars: 19362, evals: 1310779

|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=930882.26MB, max=812.19MB, minor=929728.66MB, major=11324.59MB, promoted=10171.00MB
    minor collections=443399  major collections=121 compactions=0


runtime: 00:07:41.304
vars: 19362, evals: 1333182

|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=947853.53MB, max=934.02MB, minor=946681.58MB, major=11536.32MB, promoted=10364.36MB
    minor collections=451484  major collections=122 compactions=0


runtime: 00:07:51.328
vars: 19362, evals: 1355677

|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=965016.04MB, max=934.02MB, minor=963825.42MB, major=11751.52MB, promoted=10560.90MB
    minor collections=459659  major collections=122 compactions=0


runtime: 00:08:01.348
vars: 19362, evals: 1377382

|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=981566.46MB, max=934.02MB, minor=980357.97MB, major=11957.68MB, promoted=10749.19MB
    minor collections=467543  major collections=123 compactions=0


runtime: 00:08:11.359
vars: 19362, evals: 1400048

|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|=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=998848.31MB, max=934.02MB, minor=997621.39MB, major=12174.12MB, promoted=10947.20MB
    minor collections=475775  major collections=124 compactions=0


runtime: 00:08:21.386
vars: 19362, evals: 1421625

|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|=108
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=1015334.39MB, max=934.02MB, minor=1014089.64MB, major=12381.43MB, promoted=11136.67MB
    minor collections=483629  major collections=125 compactions=0


runtime: 00:08:31.414
vars: 19362, evals: 1442931

|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=1031703.71MB, max=934.02MB, minor=1030441.47MB, major=12588.79MB, promoted=11326.55MB
    minor collections=491426  major collections=125 compactions=0


runtime: 00:08:41.426
vars: 19362, evals: 1464841

|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|=64
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=1048540.55MB, max=934.02MB, minor=1047260.12MB, major=12806.70MB, promoted=11526.27MB
    minor collections=499447  major collections=126 compactions=0


runtime: 00:08:51.449
vars: 19362, evals: 1486928

|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|=96
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=1065521.80MB, max=1074.12MB, minor=1064223.37MB, major=13024.49MB, promoted=11726.05MB
    minor collections=507536  major collections=127 compactions=0


runtime: 00:09:01.469
vars: 19362, evals: 1508445

|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|=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=1082101.42MB, max=1074.12MB, minor=1080785.17MB, major=13235.46MB, promoted=11919.22MB
    minor collections=515433  major collections=127 compactions=0


runtime: 00:09:11.484
vars: 19362, evals: 1529839

|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|=73
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=1098677.10MB, max=1074.12MB, minor=1097343.07MB, major=13446.93MB, promoted=12112.90MB
    minor collections=523329  major collections=128 compactions=0


runtime: 00:09:21.504
vars: 19362, evals: 1550847

|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|=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=1114912.56MB, max=1074.12MB, minor=1113561.41MB, major=13653.18MB, promoted=12302.03MB
    minor collections=531064  major collections=129 compactions=0


runtime: 00:09:31.547
vars: 19362, evals: 1571692

|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|=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=1131083.27MB, max=1074.12MB, minor=1129715.04MB, major=13860.40MB, promoted=12492.17MB
    minor collections=538766  major collections=129 compactions=0


runtime: 00:09:41.559
vars: 19362, evals: 1592023

|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|=66
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=1146911.23MB, max=1074.12MB, minor=1145526.09MB, major=14063.29MB, promoted=12678.15MB
    minor collections=546306  major collections=130 compactions=0


runtime: 00:09:51.583
vars: 19362, evals: 1612362

|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|=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=1162723.02MB, max=1235.24MB, minor=1161321.22MB, major=14269.07MB, promoted=12867.27MB
    minor collections=553838  major collections=130 compactions=0


runtime: 00:10:01.602
vars: 19362, evals: 1632645

|rho|=19362
|stable|=18296
|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=1178575.11MB, max=1235.24MB, minor=1177156.69MB, major=14472.71MB, promoted=13054.29MB
    minor collections=561390  major collections=131 compactions=0


runtime: 00:10:11.614
vars: 19362, evals: 1652535

|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=1194155.10MB, max=1235.24MB, minor=1192720.16MB, major=14674.88MB, promoted=13239.94MB
    minor collections=568812  major collections=132 compactions=0


runtime: 00:10:21.649
vars: 19362, evals: 1672190

|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=1209580.01MB, max=1235.24MB, minor=1208128.88MB, major=14876.94MB, promoted=13425.80MB
    minor collections=576159  major collections=132 compactions=0


runtime: 00:10:31.661
vars: 19362, evals: 1691872

|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|=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=1225009.76MB, max=1235.24MB, minor=1223542.45MB, major=15078.83MB, promoted=13611.51MB
    minor collections=583510  major collections=133 compactions=0


runtime: 00:10:41.693
vars: 19362, evals: 1711373

|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=1240344.99MB, max=1235.24MB, minor=1238861.53MB, major=15281.46MB, promoted=13798.00MB
    minor collections=590815  major collections=133 compactions=0


runtime: 00:10:51.708
vars: 19362, evals: 1731527

|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=1256210.88MB, max=1235.24MB, minor=1254710.83MB, major=15490.60MB, promoted=13990.55MB
    minor collections=598373  major collections=134 compactions=0


runtime: 00:11:01.736
vars: 19362, evals: 1750598

|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|=91
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=1271244.33MB, max=1235.24MB, minor=1269728.82MB, major=15687.82MB, promoted=14172.31MB
    minor collections=605534  major collections=134 compactions=0


runtime: 00:11:11.752
vars: 19362, evals: 1769574

|rho|=19362
|stable|=18220
|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=1286223.53MB, max=1235.24MB, minor=1284692.32MB, major=15887.02MB, promoted=14355.81MB
    minor collections=612670  major collections=135 compactions=0


runtime: 00:11:21.775
vars: 19362, evals: 1787880

|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=1300775.31MB, max=1420.53MB, minor=1299228.86MB, major=16082.91MB, promoted=14536.46MB
    minor collections=619602  major collections=135 compactions=0


runtime: 00:11:31.787
vars: 19362, evals: 1807644

|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=1316465.15MB, max=1420.53MB, minor=1314902.49MB, major=16291.27MB, promoted=14728.61MB
    minor collections=627076  major collections=136 compactions=0


runtime: 00:11:41.811
vars: 19362, evals: 1826102

|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|=66
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=1331116.40MB, max=1420.53MB, minor=1329538.48MB, major=16490.11MB, promoted=14912.19MB
    minor collections=634055  major collections=136 compactions=0


runtime: 00:11:51.822
vars: 19362, evals: 1844242

|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=1345581.35MB, max=1420.53MB, minor=1343988.50MB, major=16684.92MB, promoted=15092.06MB
    minor collections=640946  major collections=137 compactions=0


runtime: 00:12:01.838
vars: 19362, evals: 1862683

|rho|=19362
|stable|=18269
|infl|=19338
|wpoint|=52
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=108
Found 359 contexts for 58 functions. Top 5 functions:
48	contexts for L:entry state of dict_comp_str_equ (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=1360253.05MB, max=1420.53MB, minor=1358645.21MB, major=16883.02MB, promoted=15275.18MB
    minor collections=647935  major collections=137 compactions=0


runtime: 00:12:11.854
vars: 19362, evals: 1881178

|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=1375025.00MB, max=1420.53MB, minor=1373401.88MB, major=17082.83MB, promoted=15459.70MB
    minor collections=654972  major collections=137 compactions=0


runtime: 00:12:21.869
vars: 19362, evals: 1899552

|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=1389756.47MB, max=1420.53MB, minor=1388118.08MB, major=17283.33MB, promoted=15644.94MB
    minor collections=661990  major collections=138 compactions=0


runtime: 00:12:31.901
vars: 19362, evals: 1917130

|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=1403839.21MB, max=1420.53MB, minor=1402186.34MB, major=17475.68MB, promoted=15822.82MB
    minor collections=668698  major collections=138 compactions=0


runtime: 00:12:41.917
vars: 19362, evals: 1935234

|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=1418352.15MB, max=1420.53MB, minor=1416684.39MB, major=17672.53MB, promoted=16004.76MB
    minor collections=675612  major collections=139 compactions=0


runtime: 00:12:51.936
vars: 19362, evals: 1953101

|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=1432686.54MB, max=1633.61MB, minor=1431004.21MB, major=17861.63MB, promoted=16179.30MB
    minor collections=682441  major collections=139 compactions=0


runtime: 00:13:01.948
vars: 19362, evals: 1970788

|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=1446933.01MB, max=1633.61MB, minor=1445236.19MB, major=18053.19MB, promoted=16356.37MB
    minor collections=689227  major collections=140 compactions=0


runtime: 00:13:11.960
vars: 19362, evals: 1988418

|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|=82
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=1461180.98MB, max=1633.61MB, minor=1459469.40MB, major=18240.15MB, promoted=16528.57MB
    minor collections=696015  major collections=140 compactions=0


runtime: 00:13:21.976
vars: 19362, evals: 2005479

|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|=91
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=1474929.17MB, max=1633.61MB, minor=1473203.72MB, major=18428.04MB, promoted=16702.59MB
    minor collections=702564  major collections=140 compactions=0


runtime: 00:13:31.987
vars: 19362, evals: 2023490

|rho|=19362
|stable|=18289
|infl|=19338
|wpoint|=53
|sides|=1181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17530
|called|=119
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=1489461.53MB, max=1633.61MB, minor=1487721.32MB, major=18626.54MB, promoted=16886.33MB
    minor collections=709487  major collections=141 compactions=0


runtime: 00:13:42.019
vars: 19362, evals: 2040118

|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|=70
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=1503041.40MB, max=1633.61MB, minor=1501287.25MB, major=18815.11MB, promoted=17060.96MB
    minor collections=715956  major collections=141 compactions=0


runtime: 00:13:52.035
vars: 19362, evals: 2057355

|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=1517023.94MB, max=1633.61MB, minor=1515255.69MB, major=18999.90MB, promoted=17231.64MB
    minor collections=722617  major collections=141 compactions=0


runtime: 00:14:02.054
vars: 19362, evals: 2074705

|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=1531095.13MB, max=1633.61MB, minor=1529312.75MB, major=19191.20MB, promoted=17408.81MB
    minor collections=729320  major collections=142 compactions=0


runtime: 00:14:12.086
vars: 19362, evals: 2090851

|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=1544279.71MB, max=1878.66MB, minor=1542483.81MB, major=19373.12MB, promoted=17577.23MB
    minor collections=735601  major collections=142 compactions=0


runtime: 00:14:22.098
vars: 19362, evals: 2107122

|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|=96
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=1557482.61MB, max=1878.66MB, minor=1555673.47MB, major=19555.16MB, promoted=17746.02MB
    minor collections=741890  major collections=142 compactions=0


runtime: 00:14:32.113
vars: 19362, evals: 2124736

|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=1571884.77MB, max=1878.66MB, minor=1570061.13MB, major=19761.45MB, promoted=17937.81MB
    minor collections=748751  major collections=143 compactions=0


runtime: 00:14:42.133
vars: 19362, evals: 2140964

|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|=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=1585199.09MB, max=1878.66MB, minor=1583361.93MB, major=19954.74MB, promoted=18117.57MB
    minor collections=755094  major collections=143 compactions=0


runtime: 00:14:52.148
vars: 19362, evals: 2157583

|rho|=19362
|stable|=18169
|infl|=19338
|wpoint|=50
|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=1598785.45MB, max=1878.66MB, minor=1596934.65MB, major=20146.00MB, promoted=18295.20MB
    minor collections=761567  major collections=144 compactions=0

