./goblint --conf conf/svcomp23.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 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
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
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
thread created by pthread_create, called by:
  storage_test
  create_author
  main
  create_fetcher
Total: 278673368
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.337
vars: 17464, evals: 44173

|rho|=17464
|called|=124
|stable|=16513
|infl|=17399
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=16245
Found 337 contexts for 58 functions. Top 5 functions:
46	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
30	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=27412.68MB, max=151.80MB, minor=27405.01MB, major=320.83MB, promoted=313.16MB
    minor collections=13076  major collections=17 compactions=0


runtime: 00:00:20.359
vars: 18729, evals: 86835

|rho|=18729
|called|=54
|stable|=17687
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=56101.70MB, max=174.57MB, minor=56093.41MB, major=515.18MB, promoted=506.88MB
    minor collections=26758  major collections=20 compactions=0


runtime: 00:00:30.369
vars: 18729, evals: 123541

|rho|=18729
|called|=57
|stable|=17573
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=80789.87MB, max=200.75MB, minor=80781.35MB, major=678.63MB, promoted=670.12MB
    minor collections=38532  major collections=23 compactions=0


runtime: 00:00:40.379
vars: 18729, evals: 153523

|rho|=18729
|called|=66
|stable|=17656
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=101078.25MB, max=200.75MB, minor=101069.57MB, major=812.64MB, promoted=803.96MB
    minor collections=48207  major collections=25 compactions=0


runtime: 00:00:50.389
vars: 18729, evals: 177620

|rho|=18729
|called|=64
|stable|=17595
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=117505.54MB, max=200.75MB, minor=117496.75MB, major=921.75MB, promoted=912.95MB
    minor collections=56041  major collections=27 compactions=0


runtime: 00:01:00.399
vars: 18729, evals: 198044

|rho|=18729
|called|=52
|stable|=17565
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=131487.80MB, max=200.75MB, minor=131478.91MB, major=1014.96MB, promoted=1006.07MB
    minor collections=62710  major collections=29 compactions=0


runtime: 00:01:10.413
vars: 18729, evals: 215807

|rho|=18729
|called|=104
|stable|=17632
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=143651.63MB, max=200.75MB, minor=143642.67MB, major=1095.67MB, promoted=1086.70MB
    minor collections=68510  major collections=30 compactions=0


runtime: 00:01:20.418
vars: 18729, evals: 231389

|rho|=18729
|called|=112
|stable|=17630
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=154374.78MB, max=230.87MB, minor=154365.75MB, major=1166.53MB, promoted=1157.50MB
    minor collections=73624  major collections=31 compactions=0


runtime: 00:01:30.432
vars: 18729, evals: 245223

|rho|=18729
|called|=57
|stable|=17533
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=163943.35MB, max=230.87MB, minor=163934.27MB, major=1230.32MB, promoted=1221.23MB
    minor collections=78187  major collections=32 compactions=0


runtime: 00:01:40.446
vars: 18729, evals: 257772

|rho|=18729
|called|=52
|stable|=17687
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=172637.03MB, max=230.87MB, minor=172627.89MB, major=1288.06MB, promoted=1278.92MB
    minor collections=82333  major collections=33 compactions=0


runtime: 00:01:50.456
vars: 18729, evals: 269247

|rho|=18729
|called|=102
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=180565.56MB, max=230.87MB, minor=180556.38MB, major=1340.92MB, promoted=1331.74MB
    minor collections=86115  major collections=34 compactions=0


runtime: 00:02:00.462
vars: 18729, evals: 279687

|rho|=18729
|called|=52
|stable|=17687
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=187851.14MB, max=230.87MB, minor=187841.92MB, major=1389.89MB, promoted=1380.67MB
    minor collections=89589  major collections=34 compactions=0


runtime: 00:02:10.472
vars: 18729, evals: 289454

|rho|=18729
|called|=62
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=194640.44MB, max=230.87MB, minor=194631.18MB, major=1435.56MB, promoted=1426.30MB
    minor collections=92827  major collections=35 compactions=0


runtime: 00:02:20.482
vars: 18729, evals: 298597

|rho|=18729
|called|=105
|stable|=17632
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=201000.72MB, max=230.87MB, minor=200991.43MB, major=1477.88MB, promoted=1468.60MB
    minor collections=95860  major collections=36 compactions=0


runtime: 00:02:30.496
vars: 18729, evals: 307089

|rho|=18729
|called|=52
|stable|=17550
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=206973.18MB, max=230.87MB, minor=206963.86MB, major=1517.68MB, promoted=1508.36MB
    minor collections=98708  major collections=36 compactions=0


runtime: 00:02:40.506
vars: 18729, evals: 315025

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=212491.42MB, max=230.87MB, minor=212482.08MB, major=1554.58MB, promoted=1545.24MB
    minor collections=101340  major collections=37 compactions=0


runtime: 00:02:50.520
vars: 18729, evals: 322503

|rho|=18729
|called|=103
|stable|=17647
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=217739.34MB, max=230.87MB, minor=217729.98MB, major=1589.55MB, promoted=1580.19MB
    minor collections=103842  major collections=37 compactions=0


runtime: 00:03:00.530
vars: 18729, evals: 329635

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=222754.84MB, max=230.87MB, minor=222745.46MB, major=1623.25MB, promoted=1613.86MB
    minor collections=106234  major collections=38 compactions=0


runtime: 00:03:10.544
vars: 18729, evals: 336344

|rho|=18729
|called|=57
|stable|=17557
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=227501.45MB, max=265.50MB, minor=227492.05MB, major=1655.07MB, promoted=1645.67MB
    minor collections=108498  major collections=38 compactions=0


runtime: 00:03:20.557
vars: 18729, evals: 342957

|rho|=18729
|called|=103
|stable|=17647
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=232133.35MB, max=265.50MB, minor=232123.92MB, major=1686.31MB, promoted=1676.88MB
    minor collections=110707  major collections=38 compactions=0


runtime: 00:03:30.567
vars: 18729, evals: 349245

|rho|=18729
|called|=105
|stable|=17632
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=236571.94MB, max=265.50MB, minor=236562.49MB, major=1715.72MB, promoted=1706.28MB
    minor collections=112824  major collections=39 compactions=0


runtime: 00:03:40.577
vars: 18729, evals: 355117

|rho|=18729
|called|=108
|stable|=17632
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=240707.44MB, max=265.50MB, minor=240697.98MB, major=1743.35MB, promoted=1733.89MB
    minor collections=114796  major collections=39 compactions=0


runtime: 00:03:50.587
vars: 18729, evals: 360803

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=244730.68MB, max=265.50MB, minor=244721.20MB, major=1770.40MB, promoted=1760.92MB
    minor collections=116715  major collections=40 compactions=0


runtime: 00:04:00.593
vars: 18729, evals: 366187

|rho|=18729
|called|=113
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=248528.36MB, max=265.50MB, minor=248518.86MB, major=1795.76MB, promoted=1786.26MB
    minor collections=118525  major collections=40 compactions=0


runtime: 00:04:10.603
vars: 18729, evals: 371270

|rho|=18729
|called|=59
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=252161.47MB, max=265.50MB, minor=252151.96MB, major=1820.08MB, promoted=1810.57MB
    minor collections=120258  major collections=40 compactions=0


runtime: 00:04:20.614
vars: 18729, evals: 376507

|rho|=18729
|called|=104
|stable|=17622
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=255847.93MB, max=265.50MB, minor=255838.41MB, major=1845.14MB, promoted=1835.61MB
    minor collections=122016  major collections=41 compactions=0


runtime: 00:04:30.624
vars: 18729, evals: 381430

|rho|=18729
|called|=103
|stable|=17647
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=259343.60MB, max=265.50MB, minor=259334.06MB, major=1868.93MB, promoted=1859.39MB
    minor collections=123683  major collections=41 compactions=0


runtime: 00:04:40.634
vars: 18729, evals: 386257

|rho|=18729
|called|=105
|stable|=17632
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=262780.64MB, max=265.50MB, minor=262771.09MB, major=1891.75MB, promoted=1882.20MB
    minor collections=125322  major collections=41 compactions=0


runtime: 00:04:50.644
vars: 18729, evals: 390853

|rho|=18729
|called|=54
|stable|=17550
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=266082.17MB, max=265.50MB, minor=266072.60MB, major=1914.01MB, promoted=1904.45MB
    minor collections=126896  major collections=41 compactions=0


runtime: 00:05:00.650
vars: 18729, evals: 395279

|rho|=18729
|called|=52
|stable|=17565
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=269229.86MB, max=265.50MB, minor=269220.28MB, major=1934.96MB, promoted=1925.38MB
    minor collections=128398  major collections=42 compactions=0


runtime: 00:05:10.660
vars: 18729, evals: 399525

|rho|=18729
|called|=54
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=272256.22MB, max=265.50MB, minor=272246.63MB, major=1955.29MB, promoted=1945.70MB
    minor collections=129841  major collections=42 compactions=0


runtime: 00:05:20.670
vars: 18729, evals: 403789

|rho|=18729
|called|=103
|stable|=17632
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=275278.15MB, max=265.50MB, minor=275268.55MB, major=1975.70MB, promoted=1966.10MB
    minor collections=131282  major collections=42 compactions=0


runtime: 00:05:30.681
vars: 18729, evals: 407817

|rho|=18729
|called|=56
|stable|=17469
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=278172.46MB, max=265.50MB, minor=278162.85MB, major=1995.32MB, promoted=1985.71MB
    minor collections=132662  major collections=42 compactions=0


runtime: 00:05:40.687
vars: 18729, evals: 411965

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=281106.76MB, max=265.50MB, minor=281097.14MB, major=2015.04MB, promoted=2005.42MB
    minor collections=134062  major collections=43 compactions=0


runtime: 00:05:50.693
vars: 18729, evals: 416000

|rho|=18729
|called|=106
|stable|=17640
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=283985.21MB, max=265.50MB, minor=283975.58MB, major=2034.60MB, promoted=2024.97MB
    minor collections=135434  major collections=43 compactions=0


runtime: 00:06:00.699
vars: 18729, evals: 419858

|rho|=18729
|called|=109
|stable|=17630
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=286745.23MB, max=265.50MB, minor=286735.59MB, major=2053.04MB, promoted=2043.41MB
    minor collections=136751  major collections=43 compactions=0


runtime: 00:06:10.709
vars: 18729, evals: 423653

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=289455.67MB, max=265.50MB, minor=289446.02MB, major=2071.49MB, promoted=2061.84MB
    minor collections=138043  major collections=43 compactions=0


runtime: 00:06:20.719
vars: 18729, evals: 427337

|rho|=18729
|called|=65
|stable|=17509
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=292115.22MB, max=265.50MB, minor=292105.56MB, major=2089.41MB, promoted=2079.75MB
    minor collections=139311  major collections=43 compactions=0


runtime: 00:06:30.725
vars: 18729, evals: 430931

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=294668.45MB, max=265.50MB, minor=294658.78MB, major=2106.42MB, promoted=2096.75MB
    minor collections=140529  major collections=44 compactions=0


runtime: 00:06:40.732
vars: 18729, evals: 434470

|rho|=18729
|called|=105
|stable|=17632
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=297211.73MB, max=265.50MB, minor=297202.05MB, major=2123.67MB, promoted=2113.99MB
    minor collections=141742  major collections=44 compactions=0


runtime: 00:06:50.738
vars: 18729, evals: 437879

|rho|=18729
|called|=107
|stable|=17632
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=299656.10MB, max=305.32MB, minor=299646.42MB, major=2140.17MB, promoted=2130.49MB
    minor collections=142908  major collections=44 compactions=0


runtime: 00:07:00.744
vars: 18729, evals: 441286

|rho|=18729
|called|=112
|stable|=17630
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=302098.57MB, max=305.32MB, minor=302088.88MB, major=2156.71MB, promoted=2147.01MB
    minor collections=144072  major collections=44 compactions=0


runtime: 00:07:10.750
vars: 18729, evals: 444603

|rho|=18729
|called|=111
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=304475.17MB, max=305.32MB, minor=304465.47MB, major=2172.80MB, promoted=2163.10MB
    minor collections=145206  major collections=44 compactions=0


runtime: 00:07:20.756
vars: 18729, evals: 447868

|rho|=18729
|called|=51
|stable|=17558
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=306859.98MB, max=305.32MB, minor=306850.27MB, major=2188.62MB, promoted=2178.91MB
    minor collections=146343  major collections=45 compactions=0


runtime: 00:07:30.762
vars: 18729, evals: 451026

|rho|=18729
|called|=112
|stable|=17630
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=309099.00MB, max=305.32MB, minor=309089.28MB, major=2203.70MB, promoted=2193.99MB
    minor collections=147411  major collections=45 compactions=0


runtime: 00:07:40.776
vars: 18729, evals: 454028

|rho|=18729
|called|=49
|stable|=17682
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=311292.76MB, max=305.32MB, minor=311283.03MB, major=2218.60MB, promoted=2208.87MB
    minor collections=148457  major collections=45 compactions=0


runtime: 00:07:50.790
vars: 18729, evals: 456991

|rho|=18729
|called|=62
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=313415.69MB, max=305.32MB, minor=313405.96MB, major=2232.94MB, promoted=2223.21MB
    minor collections=149469  major collections=45 compactions=0


runtime: 00:08:00.800
vars: 18729, evals: 460007

|rho|=18729
|called|=52
|stable|=17550
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=315602.28MB, max=305.32MB, minor=315592.54MB, major=2247.84MB, promoted=2238.10MB
    minor collections=150512  major collections=45 compactions=0


runtime: 00:08:10.806
vars: 18729, evals: 463073

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=317766.69MB, max=305.32MB, minor=317756.95MB, major=2262.76MB, promoted=2253.01MB
    minor collections=151544  major collections=45 compactions=0


runtime: 00:08:20.816
vars: 18729, evals: 465887

|rho|=18729
|called|=55
|stable|=17558
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=319825.33MB, max=305.32MB, minor=319815.58MB, major=2276.48MB, promoted=2266.73MB
    minor collections=152526  major collections=46 compactions=0


runtime: 00:08:30.822
vars: 18729, evals: 468763

|rho|=18729
|called|=53
|stable|=17540
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=321909.32MB, max=305.32MB, minor=321899.56MB, major=2290.81MB, promoted=2281.05MB
    minor collections=153520  major collections=46 compactions=0


runtime: 00:08:40.832
vars: 18729, evals: 471517

|rho|=18729
|called|=108
|stable|=17639
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=323854.89MB, max=305.32MB, minor=323845.12MB, major=2304.02MB, promoted=2294.25MB
    minor collections=154448  major collections=46 compactions=0


runtime: 00:08:50.851
vars: 18729, evals: 474301

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=325869.80MB, max=305.32MB, minor=325860.03MB, major=2317.71MB, promoted=2307.94MB
    minor collections=155409  major collections=46 compactions=0


runtime: 00:09:00.857
vars: 18729, evals: 476958

|rho|=18729
|called|=54
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=327822.52MB, max=305.32MB, minor=327812.74MB, major=2330.82MB, promoted=2321.04MB
    minor collections=156340  major collections=46 compactions=0


runtime: 00:09:10.867
vars: 18729, evals: 479658

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=329737.42MB, max=305.32MB, minor=329727.64MB, major=2343.60MB, promoted=2333.82MB
    minor collections=157253  major collections=46 compactions=0


runtime: 00:09:20.877
vars: 18729, evals: 482279

|rho|=18729
|called|=54
|stable|=17687
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=331662.76MB, max=305.32MB, minor=331652.97MB, major=2356.41MB, promoted=2346.62MB
    minor collections=158171  major collections=46 compactions=0


runtime: 00:09:30.883
vars: 18729, evals: 484872

|rho|=18729
|called|=57
|stable|=17550
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=333531.01MB, max=305.32MB, minor=333521.22MB, major=2368.95MB, promoted=2359.15MB
    minor collections=159062  major collections=47 compactions=0


runtime: 00:09:40.893
vars: 18729, evals: 487315

|rho|=18729
|called|=51
|stable|=17558
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=335303.20MB, max=305.32MB, minor=335293.40MB, major=2380.82MB, promoted=2371.02MB
    minor collections=159907  major collections=47 compactions=0


runtime: 00:09:50.899
vars: 18729, evals: 489858

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=337112.72MB, max=305.32MB, minor=337102.91MB, major=2393.06MB, promoted=2383.25MB
    minor collections=160770  major collections=47 compactions=0


runtime: 00:10:00.906
vars: 18729, evals: 492293

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=338878.29MB, max=305.32MB, minor=338868.48MB, major=2404.98MB, promoted=2395.17MB
    minor collections=161612  major collections=47 compactions=0


runtime: 00:10:10.936
vars: 18729, evals: 494755

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=340661.14MB, max=305.32MB, minor=340651.32MB, major=2416.74MB, promoted=2406.92MB
    minor collections=162462  major collections=47 compactions=0


runtime: 00:10:20.938
vars: 18729, evals: 497190

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=342428.96MB, max=305.32MB, minor=342419.14MB, major=2428.49MB, promoted=2418.67MB
    minor collections=163305  major collections=47 compactions=0


runtime: 00:10:30.948
vars: 18729, evals: 499598

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=344182.69MB, max=305.32MB, minor=344172.86MB, major=2440.39MB, promoted=2430.56MB
    minor collections=164141  major collections=47 compactions=0


runtime: 00:10:40.954
vars: 18729, evals: 502033

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=345948.36MB, max=305.32MB, minor=345938.52MB, major=2452.32MB, promoted=2442.48MB
    minor collections=164983  major collections=47 compactions=0


runtime: 00:10:50.960
vars: 18729, evals: 504468

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=347715.27MB, max=305.32MB, minor=347705.43MB, major=2464.36MB, promoted=2454.52MB
    minor collections=165826  major collections=48 compactions=0


runtime: 00:11:00.967
vars: 18729, evals: 506759

|rho|=18729
|called|=54
|stable|=17550
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=349416.82MB, max=305.32MB, minor=349406.98MB, major=2475.61MB, promoted=2465.77MB
    minor collections=166638  major collections=48 compactions=0


runtime: 00:11:10.973
vars: 18729, evals: 509017

|rho|=18729
|called|=102
|stable|=17640
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=351019.26MB, max=305.32MB, minor=351009.41MB, major=2486.63MB, promoted=2476.78MB
    minor collections=167402  major collections=48 compactions=0


runtime: 00:11:20.979
vars: 18729, evals: 511286

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=352671.60MB, max=305.32MB, minor=352661.75MB, major=2497.89MB, promoted=2488.03MB
    minor collections=168190  major collections=48 compactions=0


runtime: 00:11:30.993
vars: 18729, evals: 513447

|rho|=18729
|called|=52
|stable|=17687
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=354275.03MB, max=305.32MB, minor=354265.17MB, major=2508.81MB, promoted=2498.96MB
    minor collections=168955  major collections=48 compactions=0


runtime: 00:11:40.999
vars: 18729, evals: 515669

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=355859.73MB, max=305.32MB, minor=355849.86MB, major=2519.28MB, promoted=2509.41MB
    minor collections=169710  major collections=48 compactions=0


runtime: 00:11:51.009
vars: 18729, evals: 517747

|rho|=18729
|called|=103
|stable|=17632
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=357379.53MB, max=305.32MB, minor=357369.66MB, major=2529.46MB, promoted=2519.59MB
    minor collections=170435  major collections=48 compactions=0


runtime: 00:12:01.023
vars: 18729, evals: 519898

|rho|=18729
|called|=53
|stable|=17540
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=358971.79MB, max=305.32MB, minor=358961.92MB, major=2540.18MB, promoted=2530.31MB
    minor collections=171194  major collections=48 compactions=0


runtime: 00:12:11.029
vars: 18729, evals: 522000

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=360468.62MB, max=305.32MB, minor=360458.74MB, major=2550.62MB, promoted=2540.74MB
    minor collections=171908  major collections=48 compactions=0


runtime: 00:12:21.040
vars: 18729, evals: 524078

|rho|=18729
|called|=103
|stable|=17632
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=361992.86MB, max=305.32MB, minor=361982.98MB, major=2561.14MB, promoted=2551.26MB
    minor collections=172635  major collections=49 compactions=0


runtime: 00:12:31.046
vars: 18729, evals: 526145

|rho|=18729
|called|=54
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=363523.80MB, max=305.32MB, minor=363513.91MB, major=2571.38MB, promoted=2561.49MB
    minor collections=173365  major collections=49 compactions=0


runtime: 00:12:41.052
vars: 18729, evals: 528230

|rho|=18729
|called|=52
|stable|=17565
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=365048.67MB, max=305.32MB, minor=365038.78MB, major=2581.58MB, promoted=2571.68MB
    minor collections=174092  major collections=49 compactions=0


runtime: 00:12:51.062
vars: 18729, evals: 530315

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=366535.11MB, max=305.32MB, minor=366525.22MB, major=2591.82MB, promoted=2581.92MB
    minor collections=174801  major collections=49 compactions=0


runtime: 00:13:01.069
vars: 18729, evals: 532263

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=367960.02MB, max=305.32MB, minor=367950.12MB, major=2601.55MB, promoted=2591.64MB
    minor collections=175481  major collections=49 compactions=0


runtime: 00:13:11.083
vars: 18729, evals: 534202

|rho|=18729
|called|=105
|stable|=17693
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=369377.98MB, max=351.13MB, minor=369368.07MB, major=2611.30MB, promoted=2601.40MB
    minor collections=176157  major collections=49 compactions=0


runtime: 00:13:21.093
vars: 18729, evals: 536123

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=370783.18MB, max=351.13MB, minor=370773.28MB, major=2620.76MB, promoted=2610.85MB
    minor collections=176827  major collections=49 compactions=0


runtime: 00:13:31.103
vars: 18729, evals: 538071

|rho|=18729
|called|=105
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=372201.33MB, max=351.13MB, minor=372191.42MB, major=2630.36MB, promoted=2620.44MB
    minor collections=177503  major collections=49 compactions=0


runtime: 00:13:41.117
vars: 18729, evals: 539918

|rho|=18729
|called|=52
|stable|=17565
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=373589.08MB, max=351.13MB, minor=373579.17MB, major=2639.66MB, promoted=2629.74MB
    minor collections=178165  major collections=49 compactions=0


runtime: 00:13:51.123
vars: 18729, evals: 541823

|rho|=18729
|called|=52
|stable|=17550
|infl|=18685
|wpoint|=48
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=374991.97MB, max=351.13MB, minor=374982.05MB, major=2649.25MB, promoted=2639.33MB
    minor collections=178834  major collections=49 compactions=0


runtime: 00:14:01.129
vars: 18729, evals: 543771

|rho|=18729
|called|=54
|stable|=17550
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=376411.25MB, max=351.13MB, minor=376401.33MB, major=2658.97MB, promoted=2649.05MB
    minor collections=179511  major collections=50 compactions=0


runtime: 00:14:11.140
vars: 18729, evals: 545638

|rho|=18729
|called|=55
|stable|=17469
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=377769.90MB, max=351.13MB, minor=377759.97MB, major=2668.36MB, promoted=2658.43MB
    minor collections=180159  major collections=50 compactions=0


runtime: 00:14:21.146
vars: 18729, evals: 547497

|rho|=18729
|called|=103
|stable|=17647
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=379105.10MB, max=351.13MB, minor=379095.17MB, major=2677.35MB, promoted=2667.42MB
    minor collections=180796  major collections=50 compactions=0


runtime: 00:14:31.152
vars: 18729, evals: 549400

|rho|=18729
|called|=112
|stable|=17630
|infl|=18685
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=380495.38MB, max=351.13MB, minor=380485.44MB, major=2686.98MB, promoted=2677.04MB
    minor collections=181459  major collections=50 compactions=0


runtime: 00:14:41.162
vars: 18729, evals: 551220

|rho|=18729
|called|=103
|stable|=17666
|infl|=18685
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=381830.74MB, max=351.13MB, minor=381820.81MB, major=2696.01MB, promoted=2686.07MB
    minor collections=182095  major collections=50 compactions=0


runtime: 00:14:51.176
vars: 18729, evals: 552930

|rho|=18729
|called|=54
|stable|=17714
|infl|=18685
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17472
Found 361 contexts for 58 functions. Top 5 functions:
48	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
37	contexts for entry state of nocase_char_hash_function (2225) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1740:1-1770:1
20	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1
20	contexts for entry state of get_val_from_he (3178) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2964:1-3006:1
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1

Memory statistics: total=383115.01MB, max=351.13MB, minor=383105.07MB, major=2704.77MB, promoted=2694.83MB
    minor collections=182708  major collections=50 compactions=0

