./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.306
vars: 15830, evals: 39404

|rho|=15830
|stable|=15022
|infl|=15793
|wpoint|=37
|sides|=1095
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14159
|called|=56
Found 287 contexts for 58 functions. Top 5 functions:
35	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
24	contexts for L:entry state of nocase_char_hash_function (545) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
19	contexts for L:entry state of dns_error (466) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1
19	contexts for L:entry state of dbg (469) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1
16	contexts for L:entry state of append_value_to_he (1647) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3429:1-3496:1

Memory statistics: total=23972.79MB, max=151.80MB, minor=23869.90MB, major=692.90MB, promoted=590.01MB
    minor collections=11395  major collections=28 compactions=0


runtime: 00:00:20.342
vars: 19341, evals: 78447

|rho|=19341
|stable|=18314
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=100
Found 358 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=50440.56MB, max=200.75MB, minor=50301.52MB, major=1018.67MB, promoted=879.63MB
    minor collections=24002  major collections=34 compactions=0


runtime: 00:00:30.358
vars: 19341, evals: 116938

|rho|=19341
|stable|=18340
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=51
Found 358 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=76466.96MB, max=200.75MB, minor=76296.04MB, major=1311.14MB, promoted=1140.21MB
    minor collections=36400  major collections=39 compactions=0


runtime: 00:00:40.377
vars: 19341, evals: 154596

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=101994.93MB, max=200.75MB, minor=101793.22MB, major=1593.29MB, promoted=1391.58MB
    minor collections=48560  major collections=43 compactions=0


runtime: 00:00:50.389
vars: 19341, evals: 192020

|rho|=19341
|stable|=18190
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=58
Found 358 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=127509.34MB, max=200.75MB, minor=127276.66MB, major=1876.87MB, promoted=1644.19MB
    minor collections=60714  major collections=48 compactions=0


runtime: 00:01:00.405
vars: 19341, evals: 228659

|rho|=19341
|stable|=18122
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=59
Found 358 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=152576.16MB, max=230.87MB, minor=152313.26MB, major=2158.76MB, promoted=1895.86MB
    minor collections=72655  major collections=52 compactions=0


runtime: 00:01:10.416
vars: 19341, evals: 264879

|rho|=19341
|stable|=18152
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=55
Found 358 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=177448.71MB, max=230.87MB, minor=177156.01MB, major=2438.58MB, promoted=2145.88MB
    minor collections=84503  major collections=56 compactions=0


runtime: 00:01:20.444
vars: 19341, evals: 300442

|rho|=19341
|stable|=18309
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=61
Found 358 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=201977.09MB, max=230.87MB, minor=201655.06MB, major=2713.63MB, promoted=2391.60MB
    minor collections=96187  major collections=60 compactions=0


runtime: 00:01:30.471
vars: 19341, evals: 335597

|rho|=19341
|stable|=18308
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=226276.51MB, max=265.50MB, minor=225925.82MB, major=2984.12MB, promoted=2633.42MB
    minor collections=107763  major collections=64 compactions=0


runtime: 00:01:40.503
vars: 19341, evals: 370486

|rho|=19341
|stable|=18248
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=62
Found 358 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=250550.30MB, max=265.50MB, minor=250170.74MB, major=3258.42MB, promoted=2878.87MB
    minor collections=119326  major collections=67 compactions=0


runtime: 00:01:50.526
vars: 19341, evals: 404876

|rho|=19341
|stable|=18309
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=91
Found 358 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=274499.64MB, max=265.50MB, minor=274091.85MB, major=3526.64MB, promoted=3118.86MB
    minor collections=130734  major collections=71 compactions=0


runtime: 00:02:00.542
vars: 19341, evals: 438587

|rho|=19341
|stable|=18148
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=62
Found 358 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=298089.10MB, max=305.32MB, minor=297653.42MB, major=3796.66MB, promoted=3360.97MB
    minor collections=141971  major collections=74 compactions=0


runtime: 00:02:10.557
vars: 19341, evals: 472025

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=106
Found 358 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=321520.59MB, max=305.32MB, minor=321057.58MB, major=4062.48MB, promoted=3599.47MB
    minor collections=153133  major collections=77 compactions=0


runtime: 00:02:20.572
vars: 19341, evals: 505173

|rho|=19341
|stable|=18308
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=344866.21MB, max=305.32MB, minor=344375.95MB, major=4326.43MB, promoted=3836.16MB
    minor collections=164254  major collections=80 compactions=0


runtime: 00:02:30.596
vars: 19341, evals: 537684

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=104
Found 358 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=367852.44MB, max=351.13MB, minor=367335.39MB, major=4589.19MB, promoted=4072.13MB
    minor collections=175203  major collections=82 compactions=0


runtime: 00:02:40.611
vars: 19341, evals: 569747

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=106
Found 358 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=390580.48MB, max=351.13MB, minor=390037.04MB, major=4846.20MB, promoted=4302.76MB
    minor collections=186030  major collections=85 compactions=0


runtime: 00:02:50.631
vars: 19341, evals: 601801

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=110
Found 358 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=413385.81MB, max=351.13MB, minor=412815.99MB, major=5108.98MB, promoted=4539.16MB
    minor collections=196893  major collections=87 compactions=0


runtime: 00:03:00.647
vars: 19341, evals: 633270

|rho|=19341
|stable|=18232
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=435830.56MB, max=351.13MB, minor=435234.80MB, major=5366.43MB, promoted=4770.67MB
    minor collections=207585  major collections=90 compactions=0


runtime: 00:03:10.665
vars: 19341, evals: 664386

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=104
Found 358 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=458123.33MB, max=403.80MB, minor=457502.01MB, major=5623.39MB, promoted=5002.07MB
    minor collections=218204  major collections=92 compactions=0


runtime: 00:03:20.689
vars: 19341, evals: 695350

|rho|=19341
|stable|=18272
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=109
Found 358 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=480365.75MB, max=403.80MB, minor=479718.92MB, major=5878.95MB, promoted=5232.13MB
    minor collections=228799  major collections=94 compactions=0


runtime: 00:03:30.719
vars: 19341, evals: 725416

|rho|=19341
|stable|=18309
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=91
Found 358 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=502038.82MB, max=403.80MB, minor=501367.09MB, major=6129.21MB, promoted=5457.49MB
    minor collections=239123  major collections=96 compactions=0


runtime: 00:03:40.744
vars: 19341, evals: 755386

|rho|=19341
|stable|=18293
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=523685.99MB, max=464.37MB, minor=522989.77MB, major=6381.18MB, promoted=5684.97MB
    minor collections=249434  major collections=98 compactions=0


runtime: 00:03:50.764
vars: 19341, evals: 785038

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=60
Found 358 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=545211.84MB, max=464.37MB, minor=544491.04MB, major=6631.28MB, promoted=5910.49MB
    minor collections=259688  major collections=100 compactions=0


runtime: 00:04:00.783
vars: 19341, evals: 814857

|rho|=19341
|stable|=18309
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=91
Found 358 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=566883.53MB, max=464.37MB, minor=566138.22MB, major=6885.75MB, promoted=6140.43MB
    minor collections=270012  major collections=102 compactions=0


runtime: 00:04:10.795
vars: 19341, evals: 843976

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=61
Found 358 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=588137.45MB, max=464.37MB, minor=587368.14MB, major=7139.58MB, promoted=6370.27MB
    minor collections=280136  major collections=103 compactions=0


runtime: 00:04:20.806
vars: 19341, evals: 873123

|rho|=19341
|stable|=18197
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=111
Found 358 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=609408.72MB, max=534.03MB, minor=608615.51MB, major=7389.77MB, promoted=6596.57MB
    minor collections=290268  major collections=105 compactions=0


runtime: 00:04:30.826
vars: 19341, evals: 901195

|rho|=19341
|stable|=18308
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=630029.17MB, max=534.03MB, minor=629212.93MB, major=7631.65MB, promoted=6815.42MB
    minor collections=300091  major collections=106 compactions=0


runtime: 00:04:40.833
vars: 19341, evals: 929779

|rho|=19341
|stable|=18190
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=55
Found 358 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=651081.98MB, max=534.03MB, minor=650242.04MB, major=7879.48MB, promoted=7039.54MB
    minor collections=310119  major collections=108 compactions=0


runtime: 00:04:50.852
vars: 19341, evals: 957497

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=671503.67MB, max=534.03MB, minor=670641.07MB, major=8120.29MB, promoted=7257.69MB
    minor collections=319847  major collections=109 compactions=0


runtime: 00:05:00.871
vars: 19341, evals: 985466

|rho|=19341
|stable|=18308
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=692205.16MB, max=614.13MB, minor=691319.56MB, major=8365.90MB, promoted=7480.30MB
    minor collections=329709  major collections=111 compactions=0


runtime: 00:05:10.907
vars: 19341, evals: 1012001

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=711927.97MB, max=614.13MB, minor=711020.34MB, major=8600.24MB, promoted=7692.61MB
    minor collections=339104  major collections=112 compactions=0


runtime: 00:05:20.926
vars: 19341, evals: 1038785

|rho|=19341
|stable|=18367
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=731819.95MB, max=614.13MB, minor=730890.22MB, major=8838.22MB, promoted=7908.49MB
    minor collections=348579  major collections=113 compactions=0


runtime: 00:05:30.937
vars: 19341, evals: 1066080

|rho|=19341
|stable|=18270
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=116
Found 358 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=752126.52MB, max=614.13MB, minor=751174.55MB, major=9080.36MB, promoted=8128.39MB
    minor collections=358252  major collections=115 compactions=0


runtime: 00:05:40.957
vars: 19341, evals: 1093002

|rho|=19341
|stable|=18308
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=100
Found 358 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=772240.05MB, max=614.13MB, minor=771265.93MB, major=9319.90MB, promoted=8345.78MB
    minor collections=367834  major collections=116 compactions=0


runtime: 00:05:50.976
vars: 19341, evals: 1119873

|rho|=19341
|stable|=18295
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=102
Found 358 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=792381.69MB, max=706.25MB, minor=791385.45MB, major=9560.03MB, promoted=8563.79MB
    minor collections=377428  major collections=117 compactions=0


runtime: 00:06:00.996
vars: 19341, evals: 1146146

|rho|=19341
|stable|=18244
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=114
Found 358 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=812101.49MB, max=706.25MB, minor=811083.59MB, major=9796.04MB, promoted=8778.13MB
    minor collections=386821  major collections=118 compactions=0


runtime: 00:06:11.012
vars: 19341, evals: 1171934

|rho|=19341
|stable|=18346
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=831528.61MB, max=706.25MB, minor=830489.43MB, major=10033.32MB, promoted=8994.15MB
    minor collections=396076  major collections=119 compactions=0


runtime: 00:06:21.047
vars: 19341, evals: 1197954

|rho|=19341
|stable|=18309
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=52
Found 358 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=851225.47MB, max=706.25MB, minor=850164.70MB, major=10270.49MB, promoted=9209.72MB
    minor collections=405458  major collections=120 compactions=0


runtime: 00:06:31.067
vars: 19341, evals: 1223515

|rho|=19341
|stable|=18227
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=48
Found 358 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=870567.02MB, max=812.19MB, minor=869485.31MB, major=10504.75MB, promoted=9423.04MB
    minor collections=414672  major collections=121 compactions=0


runtime: 00:06:41.102
vars: 19341, evals: 1248742

|rho|=19341
|stable|=18164
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=55
Found 358 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=889693.36MB, max=812.19MB, minor=888590.84MB, major=10739.22MB, promoted=9636.70MB
    minor collections=423783  major collections=122 compactions=0


runtime: 00:06:51.118
vars: 19341, evals: 1273792

|rho|=19341
|stable|=18346
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=908729.06MB, max=812.19MB, minor=907606.03MB, major=10971.48MB, promoted=9848.46MB
    minor collections=432851  major collections=123 compactions=0


runtime: 00:07:01.138
vars: 19341, evals: 1298567

|rho|=19341
|stable|=18314
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=100
Found 358 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=927629.89MB, max=812.19MB, minor=926486.46MB, major=11203.59MB, promoted=10060.16MB
    minor collections=441854  major collections=124 compactions=0


runtime: 00:07:11.150
vars: 19341, evals: 1323364

|rho|=19341
|stable|=18295
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=102
Found 358 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=946562.82MB, max=812.19MB, minor=945398.97MB, major=11437.17MB, promoted=10273.32MB
    minor collections=450873  major collections=125 compactions=0


runtime: 00:07:21.169
vars: 19341, evals: 1347923

|rho|=19341
|stable|=18348
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=52
Found 358 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=965426.14MB, max=812.19MB, minor=964241.92MB, major=11672.08MB, promoted=10487.86MB
    minor collections=459859  major collections=126 compactions=0


runtime: 00:07:31.197
vars: 19341, evals: 1372152

|rho|=19341
|stable|=18278
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=984009.64MB, max=934.02MB, minor=982805.72MB, major=11900.61MB, promoted=10696.69MB
    minor collections=468711  major collections=127 compactions=0


runtime: 00:07:41.221
vars: 19341, evals: 1396141

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=55
Found 358 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=1002522.00MB, max=934.02MB, minor=1001298.17MB, major=12131.52MB, promoted=10907.68MB
    minor collections=477530  major collections=128 compactions=0


runtime: 00:07:51.245
vars: 19341, evals: 1420187

|rho|=19341
|stable|=18275
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=106
Found 358 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=1021004.00MB, max=934.02MB, minor=1019760.53MB, major=12362.66MB, promoted=11119.18MB
    minor collections=486334  major collections=128 compactions=0


runtime: 00:08:01.276
vars: 19341, evals: 1444104

|rho|=19341
|stable|=18367
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1039547.59MB, max=934.02MB, minor=1038284.20MB, major=12596.80MB, promoted=11333.41MB
    minor collections=495167  major collections=129 compactions=0


runtime: 00:08:11.288
vars: 19341, evals: 1468156

|rho|=19341
|stable|=18327
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=100
Found 358 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=1058131.04MB, max=934.02MB, minor=1056847.99MB, major=12833.22MB, promoted=11550.17MB
    minor collections=504020  major collections=130 compactions=0


runtime: 00:08:21.308
vars: 19341, evals: 1491421

|rho|=19341
|stable|=18327
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=100
Found 358 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=1076176.70MB, max=1074.12MB, minor=1074874.50MB, major=13063.72MB, promoted=11761.52MB
    minor collections=512616  major collections=131 compactions=0


runtime: 00:08:31.319
vars: 19341, evals: 1513899

|rho|=19341
|stable|=18367
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=55
Found 358 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=1093688.28MB, max=1074.12MB, minor=1092367.43MB, major=13286.54MB, promoted=11965.70MB
    minor collections=520958  major collections=131 compactions=0


runtime: 00:08:41.339
vars: 19341, evals: 1536656

|rho|=19341
|stable|=18367
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1111436.17MB, max=1074.12MB, minor=1110096.58MB, major=13511.43MB, promoted=12171.84MB
    minor collections=529412  major collections=132 compactions=0


runtime: 00:08:51.351
vars: 19341, evals: 1559840

|rho|=19341
|stable|=18295
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=102
Found 358 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=1129489.11MB, max=1074.12MB, minor=1128130.68MB, major=13742.06MB, promoted=12383.63MB
    minor collections=538012  major collections=133 compactions=0


runtime: 00:09:01.387
vars: 19341, evals: 1582522

|rho|=19341
|stable|=18272
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=106
Found 358 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=1147236.58MB, max=1074.12MB, minor=1145859.47MB, major=13969.32MB, promoted=12592.20MB
    minor collections=546466  major collections=133 compactions=0


runtime: 00:09:11.402
vars: 19341, evals: 1605334

|rho|=19341
|stable|=18293
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=104
Found 358 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=1165131.33MB, max=1074.12MB, minor=1163735.44MB, major=14201.70MB, promoted=12805.82MB
    minor collections=554991  major collections=134 compactions=0


runtime: 00:09:21.410
vars: 19341, evals: 1627976

|rho|=19341
|stable|=18230
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=112
Found 358 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=1182919.75MB, max=1074.12MB, minor=1181505.18MB, major=14433.38MB, promoted=13018.81MB
    minor collections=563465  major collections=135 compactions=0


runtime: 00:09:31.438
vars: 19341, evals: 1649694

|rho|=19341
|stable|=18234
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=106
Found 358 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=1200035.41MB, max=1235.24MB, minor=1198602.96MB, major=14654.51MB, promoted=13222.06MB
    minor collections=571618  major collections=135 compactions=0


runtime: 00:09:41.465
vars: 19341, evals: 1671474

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=1217265.27MB, max=1235.24MB, minor=1215814.91MB, major=14876.07MB, promoted=13425.71MB
    minor collections=579826  major collections=136 compactions=0


runtime: 00:09:51.489
vars: 19341, evals: 1693171

|rho|=19341
|stable|=18277
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=112
Found 358 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=1234399.52MB, max=1235.24MB, minor=1232931.30MB, major=15099.32MB, promoted=13631.11MB
    minor collections=587988  major collections=137 compactions=0


runtime: 00:10:01.525
vars: 19341, evals: 1714385

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=1251228.40MB, max=1235.24MB, minor=1249742.71MB, major=15321.54MB, promoted=13835.86MB
    minor collections=596005  major collections=137 compactions=0


runtime: 00:10:11.541
vars: 19341, evals: 1735540

|rho|=19341
|stable|=18258
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=113
Found 358 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=1267992.90MB, max=1235.24MB, minor=1266489.80MB, major=15544.23MB, promoted=14041.12MB
    minor collections=603991  major collections=138 compactions=0


runtime: 00:10:21.564
vars: 19341, evals: 1755864

|rho|=19341
|stable|=18367
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1284214.85MB, max=1235.24MB, minor=1282694.80MB, major=15757.41MB, promoted=14237.35MB
    minor collections=611718  major collections=138 compactions=0


runtime: 00:10:31.576
vars: 19341, evals: 1776833

|rho|=19341
|stable|=18346
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=110
Found 358 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=1300886.37MB, max=1235.24MB, minor=1299349.21MB, major=15974.35MB, promoted=14437.19MB
    minor collections=619660  major collections=139 compactions=0


runtime: 00:10:41.592
vars: 19341, evals: 1797105

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=106
Found 358 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=1317090.20MB, max=1420.53MB, minor=1315536.42MB, major=16189.05MB, promoted=14635.26MB
    minor collections=627379  major collections=139 compactions=0


runtime: 00:10:51.604
vars: 19341, evals: 1817868

|rho|=19341
|stable|=18340
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1333743.18MB, max=1420.53MB, minor=1332172.07MB, major=16407.18MB, promoted=14836.07MB
    minor collections=635312  major collections=140 compactions=0


runtime: 00:11:01.627
vars: 19341, evals: 1837845

|rho|=19341
|stable|=18197
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=111
Found 358 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=1349712.89MB, max=1420.53MB, minor=1348125.50MB, major=16617.34MB, promoted=15029.95MB
    minor collections=642920  major collections=140 compactions=0


runtime: 00:11:11.639
vars: 19341, evals: 1858611

|rho|=19341
|stable|=18277
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=112
Found 358 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=1366419.20MB, max=1420.53MB, minor=1364814.77MB, major=16835.74MB, promoted=15231.31MB
    minor collections=650878  major collections=141 compactions=0


runtime: 00:11:21.675
vars: 19341, evals: 1878137

|rho|=19341
|stable|=18327
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=1382136.63MB, max=1420.53MB, minor=1380516.06MB, major=17042.92MB, promoted=15422.34MB
    minor collections=658366  major collections=141 compactions=0


runtime: 00:11:31.691
vars: 19341, evals: 1897894

|rho|=19341
|stable|=18274
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=1398051.22MB, max=1420.53MB, minor=1396414.45MB, major=17255.49MB, promoted=15618.72MB
    minor collections=665947  major collections=142 compactions=0


runtime: 00:11:41.714
vars: 19341, evals: 1917268

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1413750.34MB, max=1420.53MB, minor=1412097.46MB, major=17464.64MB, promoted=15811.76MB
    minor collections=673426  major collections=142 compactions=0


runtime: 00:11:51.726
vars: 19341, evals: 1937075

|rho|=19341
|stable|=18327
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=1429721.24MB, max=1420.53MB, minor=1428052.13MB, major=17677.05MB, promoted=16007.95MB
    minor collections=681034  major collections=143 compactions=0


runtime: 00:12:01.762
vars: 19341, evals: 1956393

|rho|=19341
|stable|=18309
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=61
Found 358 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=1445412.51MB, max=1633.61MB, minor=1443727.33MB, major=17889.28MB, promoted=16204.10MB
    minor collections=688509  major collections=143 compactions=0


runtime: 00:12:11.774
vars: 19341, evals: 1975987

|rho|=19341
|stable|=18285
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=1461286.15MB, max=1633.61MB, minor=1459585.08MB, major=18103.37MB, promoted=16402.29MB
    minor collections=696071  major collections=144 compactions=0


runtime: 00:12:21.821
vars: 19341, evals: 1995344

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=52
Found 358 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=1477071.65MB, max=1633.61MB, minor=1475354.47MB, major=18320.17MB, promoted=16603.00MB
    minor collections=703591  major collections=144 compactions=0


runtime: 00:12:31.833
vars: 19341, evals: 2014653

|rho|=19341
|stable|=18346
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=105
Found 358 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=1492718.83MB, max=1633.61MB, minor=1490985.86MB, major=18535.20MB, promoted=16802.23MB
    minor collections=711044  major collections=144 compactions=0


runtime: 00:12:41.849
vars: 19341, evals: 2034087

|rho|=19341
|stable|=18186
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=55
Found 358 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=1508624.78MB, max=1633.61MB, minor=1506875.72MB, major=18750.87MB, promoted=17001.80MB
    minor collections=718622  major collections=145 compactions=0


runtime: 00:12:51.885
vars: 19341, evals: 2052722

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=59
Found 358 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=1523872.05MB, max=1633.61MB, minor=1522107.65MB, major=18953.80MB, promoted=17189.39MB
    minor collections=725885  major collections=145 compactions=0


runtime: 00:13:01.897
vars: 19341, evals: 2071607

|rho|=19341
|stable|=18275
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=104
Found 358 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=1539286.64MB, max=1633.61MB, minor=1537506.85MB, major=19159.99MB, promoted=17380.19MB
    minor collections=733229  major collections=146 compactions=0


runtime: 00:13:11.932
vars: 19341, evals: 2090099

|rho|=19341
|stable|=18319
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=1554468.40MB, max=1633.61MB, minor=1552673.29MB, major=19368.39MB, promoted=17573.28MB
    minor collections=740461  major collections=146 compactions=0


runtime: 00:13:21.948
vars: 19341, evals: 2108747

|rho|=19341
|stable|=18346
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=111
Found 358 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=1569760.45MB, max=1633.61MB, minor=1567950.01MB, major=19577.22MB, promoted=17766.78MB
    minor collections=747745  major collections=146 compactions=0


runtime: 00:13:31.960
vars: 19341, evals: 2127170

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=58
Found 358 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=1584990.84MB, max=1633.61MB, minor=1583165.14MB, major=19782.26MB, promoted=17956.55MB
    minor collections=755001  major collections=147 compactions=0


runtime: 00:13:42.003
vars: 19341, evals: 2145156

|rho|=19341
|stable|=18367
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1599797.55MB, max=1878.66MB, minor=1597956.97MB, major=19985.21MB, promoted=18144.64MB
    minor collections=762055  major collections=147 compactions=0


runtime: 00:13:52.015
vars: 19341, evals: 2163360

|rho|=19341
|stable|=18203
|infl|=19317
|wpoint|=50
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=54
Found 358 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=1614819.12MB, max=1878.66MB, minor=1612963.62MB, major=20192.67MB, promoted=18337.17MB
    minor collections=769211  major collections=148 compactions=0


runtime: 00:14:02.047
vars: 19341, evals: 2181599

|rho|=19341
|stable|=18310
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=1629878.82MB, max=1878.66MB, minor=1628008.39MB, major=20401.33MB, promoted=18530.89MB
    minor collections=776385  major collections=148 compactions=0


runtime: 00:14:12.067
vars: 19341, evals: 2199098

|rho|=19341
|stable|=18231
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=48
Found 358 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=1644404.65MB, max=1878.66MB, minor=1642519.75MB, major=20605.95MB, promoted=18721.05MB
    minor collections=783305  major collections=148 compactions=0


runtime: 00:14:22.078
vars: 19341, evals: 2217462

|rho|=19341
|stable|=18293
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=104
Found 358 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=1659600.20MB, max=1878.66MB, minor=1657700.33MB, major=20817.83MB, promoted=18917.96MB
    minor collections=790544  major collections=149 compactions=0


runtime: 00:14:32.138
vars: 19341, evals: 2234922

|rho|=19341
|stable|=18218
|infl|=19317
|wpoint|=52
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=107
Found 358 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=1674113.32MB, max=1878.66MB, minor=1672199.00MB, major=21023.57MB, promoted=19109.26MB
    minor collections=797458  major collections=149 compactions=0


runtime: 00:14:42.150
vars: 19341, evals: 2252148

|rho|=19341
|stable|=18340
|infl|=19317
|wpoint|=49
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=52
Found 358 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=1688453.16MB, max=1878.66MB, minor=1686524.48MB, major=21226.33MB, promoted=19297.65MB
    minor collections=804289  major collections=149 compactions=0


runtime: 00:14:52.162
vars: 19341, evals: 2269686

|rho|=19341
|stable|=18300
|infl|=19317
|wpoint|=51
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17511
|called|=103
Found 358 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=1703041.13MB, max=1878.66MB, minor=1701098.25MB, major=21432.81MB, promoted=19489.94MB
    minor collections=811239  major collections=150 compactions=0

