./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.335
vars: 16884, evals: 43300

|rho|=16884
|called|=110
|stable|=16013
|infl|=16821
|wpoint|=43
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15679
Found 323 contexts for 58 functions. Top 5 functions:
43	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
28	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
19	contexts for entry state of dbg (2149) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1712:1-1724:1
19	contexts for entry state of dns_error (2146) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1699:1-1711:1
17	contexts for entry state of deep_copy (5321) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:2769:1-2784:1

Memory statistics: total=26771.04MB, max=151.80MB, minor=26763.64MB, major=314.33MB, promoted=306.93MB
    minor collections=12770  major collections=16 compactions=0


runtime: 00:00:20.370
vars: 18729, evals: 85711

|rho|=18729
|called|=108
|stable|=17565
|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=55308.61MB, max=174.57MB, minor=55300.32MB, major=509.40MB, promoted=501.11MB
    minor collections=26379  major collections=20 compactions=0


runtime: 00:00:30.386
vars: 18729, evals: 122290

|rho|=18729
|called|=109
|stable|=17619
|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=79909.34MB, max=200.75MB, minor=79900.83MB, major=672.32MB, promoted=663.82MB
    minor collections=38112  major collections=23 compactions=0


runtime: 00:00:40.393
vars: 18729, evals: 151249

|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=99544.85MB, max=200.75MB, minor=99536.19MB, major=802.41MB, promoted=793.75MB
    minor collections=47476  major collections=25 compactions=0


runtime: 00:00:50.409
vars: 18729, evals: 174886

|rho|=18729
|called|=108
|stable|=17619
|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=115611.32MB, max=200.75MB, minor=115602.54MB, major=909.26MB, promoted=900.48MB
    minor collections=55138  major collections=27 compactions=0


runtime: 00:01:00.420
vars: 18729, evals: 195223

|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=129521.59MB, max=200.75MB, minor=129512.72MB, major=1001.52MB, promoted=992.65MB
    minor collections=61772  major collections=29 compactions=0


runtime: 00:01:10.431
vars: 18729, evals: 212584

|rho|=18729
|called|=65
|stable|=17523
|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=141448.69MB, max=200.75MB, minor=141439.74MB, major=1079.84MB, promoted=1070.89MB
    minor collections=67460  major collections=30 compactions=0


runtime: 00:01:20.447
vars: 18729, evals: 227695

|rho|=18729
|called|=58
|stable|=17537
|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=151855.39MB, max=200.75MB, minor=151846.38MB, major=1149.12MB, promoted=1140.11MB
    minor collections=72423  major collections=31 compactions=0


runtime: 00:01:30.463
vars: 18729, evals: 241205

|rho|=18729
|called|=45
|stable|=17678
|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=161176.77MB, max=230.87MB, minor=161167.70MB, major=1210.96MB, promoted=1201.88MB
    minor collections=76868  major collections=32 compactions=0


runtime: 00:01:40.475
vars: 18729, evals: 253663

|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=169760.99MB, max=230.87MB, minor=169751.87MB, major=1267.98MB, promoted=1258.86MB
    minor collections=80962  major collections=33 compactions=0


runtime: 00:01:50.486
vars: 18729, evals: 264994

|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=177611.25MB, max=230.87MB, minor=177602.08MB, major=1320.24MB, promoted=1311.08MB
    minor collections=84705  major collections=33 compactions=0


runtime: 00:02:00.502
vars: 18729, evals: 275304

|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=184800.40MB, max=230.87MB, minor=184791.19MB, major=1368.53MB, promoted=1359.33MB
    minor collections=88134  major collections=34 compactions=0


runtime: 00:02:10.514
vars: 18729, evals: 284831

|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=191396.27MB, max=230.87MB, minor=191387.03MB, major=1413.21MB, promoted=1403.98MB
    minor collections=91280  major collections=35 compactions=0


runtime: 00:02:20.530
vars: 18729, evals: 293453

|rho|=18729
|called|=56
|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=197441.50MB, max=230.87MB, minor=197432.24MB, major=1453.82MB, promoted=1444.56MB
    minor collections=94162  major collections=35 compactions=0


runtime: 00:02:30.537
vars: 18729, evals: 301602

|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=203133.26MB, max=230.87MB, minor=203123.97MB, major=1491.61MB, promoted=1482.32MB
    minor collections=96877  major collections=36 compactions=0


runtime: 00:02:40.549
vars: 18729, evals: 309394

|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=208581.58MB, max=230.87MB, minor=208572.26MB, major=1527.91MB, promoted=1518.59MB
    minor collections=99475  major collections=36 compactions=0


runtime: 00:02:50.561
vars: 18729, evals: 316603

|rho|=18729
|called|=109
|stable|=17619
|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=213596.71MB, max=230.87MB, minor=213587.37MB, major=1561.19MB, promoted=1551.85MB
    minor collections=101867  major collections=37 compactions=0


runtime: 00:03:00.569
vars: 18729, evals: 323331

|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=218322.37MB, max=230.87MB, minor=218313.01MB, major=1592.81MB, promoted=1583.44MB
    minor collections=104120  major collections=37 compactions=0


runtime: 00:03:10.580
vars: 18729, evals: 329848

|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=222940.79MB, max=230.87MB, minor=222931.40MB, major=1623.65MB, promoted=1614.26MB
    minor collections=106323  major collections=38 compactions=0


runtime: 00:03:20.588
vars: 18729, evals: 335993

|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=227228.40MB, max=265.50MB, minor=227218.99MB, major=1652.52MB, promoted=1643.12MB
    minor collections=108368  major collections=38 compactions=0


runtime: 00:03:30.600
vars: 18729, evals: 341791

|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=231312.34MB, max=265.50MB, minor=231302.92MB, major=1679.49MB, promoted=1670.07MB
    minor collections=110315  major collections=38 compactions=0


runtime: 00:03:40.612
vars: 18729, evals: 347297

|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=235202.58MB, max=265.50MB, minor=235193.14MB, major=1705.36MB, promoted=1695.92MB
    minor collections=112171  major collections=39 compactions=0


runtime: 00:03:50.619
vars: 18729, evals: 352654

|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=238984.77MB, max=265.50MB, minor=238975.31MB, major=1730.88MB, promoted=1721.42MB
    minor collections=113974  major collections=39 compactions=0


runtime: 00:04:00.631
vars: 18729, evals: 357735

|rho|=18729
|called|=61
|stable|=17548
|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=242600.06MB, max=265.50MB, minor=242590.58MB, major=1755.00MB, promoted=1745.53MB
    minor collections=115698  major collections=39 compactions=0


runtime: 00:04:10.639
vars: 18729, evals: 362607

|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=246052.07MB, max=265.50MB, minor=246042.58MB, major=1778.06MB, promoted=1768.57MB
    minor collections=117345  major collections=40 compactions=0


runtime: 00:04:20.651
vars: 18729, evals: 367512

|rho|=18729
|called|=58
|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=249506.93MB, max=265.50MB, minor=249497.42MB, major=1801.44MB, promoted=1791.94MB
    minor collections=118992  major collections=40 compactions=0


runtime: 00:04:30.658
vars: 18729, evals: 372170

|rho|=18729
|called|=108
|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=252770.92MB, max=265.50MB, minor=252761.41MB, major=1823.49MB, promoted=1813.97MB
    minor collections=120549  major collections=40 compactions=0


runtime: 00:04:40.670
vars: 18729, evals: 376387

|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=255763.59MB, max=265.50MB, minor=255754.06MB, major=1843.52MB, promoted=1834.00MB
    minor collections=121976  major collections=40 compactions=0


runtime: 00:04:50.681
vars: 18729, evals: 380496

|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=258716.38MB, max=265.50MB, minor=258706.84MB, major=1863.47MB, promoted=1853.93MB
    minor collections=123384  major collections=41 compactions=0


runtime: 00:05:00.689
vars: 18729, evals: 384796

|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=261748.85MB, max=265.50MB, minor=261739.30MB, major=1883.95MB, promoted=1874.40MB
    minor collections=124830  major collections=41 compactions=0


runtime: 00:05:10.701
vars: 18729, evals: 388956

|rho|=18729
|called|=48
|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=264735.24MB, max=265.50MB, minor=264725.68MB, major=1903.48MB, promoted=1893.91MB
    minor collections=126254  major collections=41 compactions=0


runtime: 00:05:20.712
vars: 18729, evals: 392972

|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=267555.19MB, max=265.50MB, minor=267545.62MB, major=1922.62MB, promoted=1913.05MB
    minor collections=127599  major collections=41 compactions=0


runtime: 00:05:30.720
vars: 18729, evals: 396841

|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=270317.37MB, max=265.50MB, minor=270307.79MB, major=1941.13MB, promoted=1931.54MB
    minor collections=128917  major collections=42 compactions=0


runtime: 00:05:40.728
vars: 18729, evals: 400764

|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=273114.42MB, max=265.50MB, minor=273104.83MB, major=1960.10MB, promoted=1950.51MB
    minor collections=130250  major collections=42 compactions=0


runtime: 00:05:50.744
vars: 18729, evals: 404489

|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=275812.20MB, max=265.50MB, minor=275802.60MB, major=1977.99MB, promoted=1968.39MB
    minor collections=131537  major collections=42 compactions=0


runtime: 00:06:00.751
vars: 18729, evals: 408172

|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=278411.87MB, max=265.50MB, minor=278402.26MB, major=1996.00MB, promoted=1986.40MB
    minor collections=132776  major collections=42 compactions=0


runtime: 00:06:10.763
vars: 18729, evals: 411794

|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=281031.25MB, max=265.50MB, minor=281021.64MB, major=2013.65MB, promoted=2004.03MB
    minor collections=134026  major collections=43 compactions=0


runtime: 00:06:20.771
vars: 18729, evals: 415374

|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=283547.87MB, max=265.50MB, minor=283538.25MB, major=2030.84MB, promoted=2021.22MB
    minor collections=135226  major collections=43 compactions=0


runtime: 00:06:30.782
vars: 18729, evals: 418655

|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=285924.30MB, max=265.50MB, minor=285914.66MB, major=2046.78MB, promoted=2037.14MB
    minor collections=136359  major collections=43 compactions=0


runtime: 00:06:40.790
vars: 18729, evals: 422021

|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=288332.95MB, max=265.50MB, minor=288323.30MB, major=2063.17MB, promoted=2053.52MB
    minor collections=137508  major collections=43 compactions=0


runtime: 00:06:50.797
vars: 18729, evals: 425428

|rho|=18729
|called|=61
|stable|=17548
|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=290767.37MB, max=265.50MB, minor=290757.71MB, major=2079.56MB, promoted=2069.91MB
    minor collections=138669  major collections=43 compactions=0


runtime: 00:07:00.801
vars: 18729, evals: 428678

|rho|=18729
|called|=91
|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=293073.45MB, max=265.50MB, minor=293063.79MB, major=2095.27MB, promoted=2085.61MB
    minor collections=139769  major collections=44 compactions=0


runtime: 00:07:10.809
vars: 18729, evals: 431905

|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=295377.88MB, max=265.50MB, minor=295368.21MB, major=2110.79MB, promoted=2101.11MB
    minor collections=140868  major collections=44 compactions=0


runtime: 00:07:20.817
vars: 18729, evals: 434993

|rho|=18729
|called|=105
|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=297586.13MB, max=265.50MB, minor=297576.45MB, major=2125.78MB, promoted=2116.10MB
    minor collections=141921  major collections=44 compactions=0


runtime: 00:07:30.836
vars: 18729, evals: 437922

|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=299694.10MB, max=305.32MB, minor=299684.41MB, major=2140.07MB, promoted=2130.39MB
    minor collections=142926  major collections=44 compactions=0


runtime: 00:07:40.844
vars: 18729, evals: 440799

|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=301757.08MB, max=305.32MB, minor=301747.38MB, major=2154.19MB, promoted=2144.49MB
    minor collections=143909  major collections=44 compactions=0


runtime: 00:07:50.852
vars: 18729, evals: 443721

|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=303853.01MB, max=305.32MB, minor=303843.31MB, major=2168.38MB, promoted=2158.68MB
    minor collections=144909  major collections=44 compactions=0


runtime: 00:08:00.864
vars: 18729, evals: 446542

|rho|=18729
|called|=106
|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=305880.13MB, max=305.32MB, minor=305870.42MB, major=2181.87MB, promoted=2172.17MB
    minor collections=145876  major collections=45 compactions=0


runtime: 00:08:10.871
vars: 18729, evals: 449291

|rho|=18729
|called|=61
|stable|=17548
|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=307892.17MB, max=305.32MB, minor=307882.46MB, major=2195.68MB, promoted=2185.96MB
    minor collections=146835  major collections=45 compactions=0


runtime: 00:08:20.883
vars: 18729, evals: 451872

|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=309718.63MB, max=305.32MB, minor=309708.91MB, major=2207.96MB, promoted=2198.24MB
    minor collections=147706  major collections=45 compactions=0


runtime: 00:08:30.891
vars: 18729, evals: 454435

|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=311558.05MB, max=305.32MB, minor=311548.32MB, major=2220.35MB, promoted=2210.63MB
    minor collections=148584  major collections=45 compactions=0


runtime: 00:08:40.899
vars: 18729, evals: 456872

|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=313319.60MB, max=305.32MB, minor=313309.87MB, major=2232.10MB, promoted=2222.37MB
    minor collections=149424  major collections=45 compactions=0


runtime: 00:08:50.910
vars: 18729, evals: 459350

|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=315096.43MB, max=305.32MB, minor=315086.70MB, major=2243.94MB, promoted=2234.20MB
    minor collections=150271  major collections=45 compactions=0


runtime: 00:09:00.922
vars: 18729, evals: 461953

|rho|=18729
|called|=61
|stable|=17548
|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=317003.12MB, max=305.32MB, minor=316993.38MB, major=2256.89MB, promoted=2247.15MB
    minor collections=151180  major collections=45 compactions=0


runtime: 00:09:10.930
vars: 18729, evals: 464390

|rho|=18729
|called|=53
|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=318765.08MB, max=305.32MB, minor=318755.33MB, major=2268.79MB, promoted=2259.04MB
    minor collections=152020  major collections=45 compactions=0


runtime: 00:09:20.942
vars: 18729, evals: 466760

|rho|=18729
|called|=57
|stable|=17485
|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=320464.81MB, max=305.32MB, minor=320455.06MB, major=2280.46MB, promoted=2270.70MB
    minor collections=152831  major collections=46 compactions=0


runtime: 00:09:30.949
vars: 18729, evals: 469130

|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=322182.19MB, max=305.32MB, minor=322172.43MB, major=2292.09MB, promoted=2282.33MB
    minor collections=153650  major collections=46 compactions=0


runtime: 00:09:40.961
vars: 18729, evals: 471482

|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=323848.69MB, max=305.32MB, minor=323838.92MB, major=2303.31MB, promoted=2293.54MB
    minor collections=154445  major collections=46 compactions=0


runtime: 00:09:50.977
vars: 18729, evals: 473671

|rho|=18729
|called|=51
|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=325458.04MB, max=305.32MB, minor=325448.27MB, major=2314.11MB, promoted=2304.34MB
    minor collections=155212  major collections=46 compactions=0


runtime: 00:10:00.993
vars: 18729, evals: 476076

|rho|=18729
|called|=61
|stable|=17548
|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=327193.90MB, max=305.32MB, minor=327184.12MB, major=2325.70MB, promoted=2315.93MB
    minor collections=156040  major collections=46 compactions=0


runtime: 00:10:11.000
vars: 18729, evals: 478383

|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=328860.70MB, max=305.32MB, minor=328850.92MB, major=2337.15MB, promoted=2327.37MB
    minor collections=156835  major collections=46 compactions=0


runtime: 00:10:21.008
vars: 18729, evals: 480641

|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=330457.62MB, max=305.32MB, minor=330447.83MB, major=2347.98MB, promoted=2338.19MB
    minor collections=157596  major collections=46 compactions=0


runtime: 00:10:31.016
vars: 18729, evals: 482802

|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=332049.96MB, max=305.32MB, minor=332040.17MB, major=2358.68MB, promoted=2348.89MB
    minor collections=158356  major collections=46 compactions=0


runtime: 00:10:41.028
vars: 18729, evals: 484979

|rho|=18729
|called|=100
|stable|=17657
|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=333589.08MB, max=305.32MB, minor=333579.28MB, major=2368.90MB, promoted=2359.11MB
    minor collections=159090  major collections=47 compactions=0


runtime: 00:10:51.039
vars: 18729, evals: 487066

|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=335106.28MB, max=305.32MB, minor=335096.48MB, major=2378.96MB, promoted=2369.15MB
    minor collections=159813  major collections=47 compactions=0


runtime: 00:11:01.047
vars: 18729, evals: 489227

|rho|=18729
|called|=53
|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=336706.13MB, max=305.32MB, minor=336696.32MB, major=2389.52MB, promoted=2379.71MB
    minor collections=160576  major collections=47 compactions=0


runtime: 00:11:11.055
vars: 18729, evals: 491449

|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=338280.54MB, max=305.32MB, minor=338270.72MB, major=2399.97MB, promoted=2390.15MB
    minor collections=161327  major collections=47 compactions=0


runtime: 00:11:21.067
vars: 18729, evals: 493507

|rho|=18729
|called|=60
|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=339796.15MB, max=305.32MB, minor=339786.33MB, major=2410.02MB, promoted=2400.20MB
    minor collections=162050  major collections=47 compactions=0


runtime: 00:11:31.078
vars: 18729, evals: 495593

|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=341308.36MB, max=305.32MB, minor=341298.54MB, major=2420.25MB, promoted=2410.43MB
    minor collections=162771  major collections=47 compactions=0


runtime: 00:11:41.090
vars: 18729, evals: 497650

|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=342775.55MB, max=305.32MB, minor=342765.73MB, major=2429.97MB, promoted=2420.14MB
    minor collections=163471  major collections=47 compactions=0


runtime: 00:11:51.102
vars: 18729, evals: 499625

|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=344207.22MB, max=305.32MB, minor=344197.39MB, major=2439.34MB, promoted=2429.51MB
    minor collections=164153  major collections=47 compactions=0


runtime: 00:12:01.110
vars: 18729, evals: 501674

|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=345695.27MB, max=305.32MB, minor=345685.44MB, major=2449.17MB, promoted=2439.34MB
    minor collections=164863  major collections=47 compactions=0


runtime: 00:12:11.122
vars: 18729, evals: 503659

|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=347132.72MB, max=305.32MB, minor=347122.88MB, major=2458.70MB, promoted=2448.85MB
    minor collections=165549  major collections=48 compactions=0


runtime: 00:12:21.133
vars: 18729, evals: 505615

|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=348561.54MB, max=305.32MB, minor=348551.69MB, major=2468.27MB, promoted=2458.42MB
    minor collections=166230  major collections=48 compactions=0


runtime: 00:12:31.145
vars: 18729, evals: 507520

|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=349946.36MB, max=305.32MB, minor=349936.51MB, major=2477.54MB, promoted=2467.70MB
    minor collections=166890  major collections=48 compactions=0


runtime: 00:12:41.157
vars: 18729, evals: 509466

|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=351355.89MB, max=305.32MB, minor=351346.04MB, major=2487.21MB, promoted=2477.36MB
    minor collections=167563  major collections=48 compactions=0


runtime: 00:12:51.169
vars: 18729, evals: 511406

|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=352770.41MB, max=305.32MB, minor=352760.55MB, major=2496.96MB, promoted=2487.10MB
    minor collections=168237  major collections=48 compactions=0


runtime: 00:13:01.180
vars: 18729, evals: 513234

|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=354093.92MB, max=305.32MB, minor=354084.05MB, major=2505.89MB, promoted=2496.03MB
    minor collections=168868  major collections=48 compactions=0


runtime: 00:13:11.196
vars: 18729, evals: 515038

|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=355446.09MB, max=305.32MB, minor=355436.23MB, major=2515.16MB, promoted=2505.30MB
    minor collections=169513  major collections=48 compactions=0


runtime: 00:13:21.204
vars: 18729, evals: 516883

|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=356783.21MB, max=305.32MB, minor=356773.34MB, major=2524.43MB, promoted=2514.56MB
    minor collections=170151  major collections=48 compactions=0


runtime: 00:13:31.211
vars: 18729, evals: 518721

|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=358098.58MB, max=305.32MB, minor=358088.71MB, major=2533.43MB, promoted=2523.56MB
    minor collections=170778  major collections=48 compactions=0


runtime: 00:13:41.223
vars: 18729, evals: 520539

|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=359416.18MB, max=305.32MB, minor=359406.31MB, major=2542.27MB, promoted=2532.40MB
    minor collections=171406  major collections=48 compactions=0


runtime: 00:13:51.235
vars: 18729, evals: 522278

|rho|=18729
|called|=57
|stable|=17485
|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=360708.08MB, max=305.32MB, minor=360698.20MB, major=2551.10MB, promoted=2541.22MB
    minor collections=172022  major collections=48 compactions=0


runtime: 00:14:01.243
vars: 18729, evals: 524114

|rho|=18729
|called|=108
|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=362016.15MB, max=305.32MB, minor=362006.27MB, major=2560.06MB, promoted=2550.17MB
    minor collections=172646  major collections=49 compactions=0


runtime: 00:14:11.258
vars: 18729, evals: 525896

|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=363319.02MB, max=305.32MB, minor=363309.13MB, major=2569.00MB, promoted=2559.11MB
    minor collections=173268  major collections=49 compactions=0


runtime: 00:14:21.266
vars: 18729, evals: 527570

|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=364578.54MB, max=305.32MB, minor=364568.65MB, major=2577.32MB, promoted=2567.43MB
    minor collections=173868  major collections=49 compactions=0


runtime: 00:14:31.278
vars: 18729, evals: 529332

|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=365828.99MB, max=305.32MB, minor=365819.09MB, major=2586.02MB, promoted=2576.12MB
    minor collections=174464  major collections=49 compactions=0


runtime: 00:14:41.286
vars: 18729, evals: 531109

|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=367166.11MB, max=305.32MB, minor=367156.21MB, major=2595.10MB, promoted=2585.20MB
    minor collections=175102  major collections=49 compactions=0


runtime: 00:14:51.297
vars: 18729, evals: 532844

|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=368407.18MB, max=351.13MB, minor=368397.27MB, major=2603.52MB, promoted=2593.62MB
    minor collections=175694  major collections=49 compactions=0

