./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.307
vars: 16818, evals: 43106

|rho|=16818
|called|=115
|stable|=15853
|infl|=16753
|wpoint|=43
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15614
Found 322 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=26609.15MB, max=151.80MB, minor=26601.75MB, major=313.06MB, promoted=305.66MB
    minor collections=12693  major collections=16 compactions=0


runtime: 00:00:20.327
vars: 18729, evals: 85624

|rho|=18729
|called|=102
|stable|=17642
|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=55254.37MB, max=174.57MB, minor=55246.08MB, major=508.33MB, promoted=500.04MB
    minor collections=26354  major collections=20 compactions=0


runtime: 00:00:30.339
vars: 18729, evals: 121532

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

Memory statistics: total=79438.67MB, max=200.75MB, minor=79430.17MB, major=667.90MB, promoted=659.40MB
    minor collections=37887  major collections=23 compactions=0


runtime: 00:00:40.351
vars: 18729, evals: 151064

|rho|=18729
|called|=102
|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=99381.57MB, max=200.75MB, minor=99372.91MB, major=800.44MB, promoted=791.77MB
    minor collections=47398  major collections=25 compactions=0


runtime: 00:00:50.363
vars: 18729, evals: 174935

|rho|=18729
|called|=107
|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=115640.70MB, max=200.75MB, minor=115631.92MB, major=908.25MB, promoted=899.47MB
    minor collections=55152  major collections=27 compactions=0


runtime: 00:01:00.375
vars: 18729, evals: 195351

|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=129609.98MB, max=200.75MB, minor=129601.11MB, major=1000.88MB, promoted=992.01MB
    minor collections=61814  major collections=28 compactions=0


runtime: 00:01:10.387
vars: 18729, evals: 212609

|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=141480.75MB, max=200.75MB, minor=141471.80MB, major=1079.80MB, promoted=1070.85MB
    minor collections=67475  major collections=30 compactions=0


runtime: 00:01:20.399
vars: 18729, evals: 227852

|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=151938.42MB, max=200.75MB, minor=151929.40MB, major=1148.88MB, promoted=1139.87MB
    minor collections=72462  major collections=31 compactions=0


runtime: 00:01:30.411
vars: 18729, evals: 241608

|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=161427.13MB, max=230.87MB, minor=161418.06MB, major=1211.71MB, promoted=1202.64MB
    minor collections=76988  major collections=32 compactions=0


runtime: 00:01:40.423
vars: 18729, evals: 254006

|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=170031.65MB, max=230.87MB, minor=170022.53MB, major=1269.11MB, promoted=1259.99MB
    minor collections=81091  major collections=33 compactions=0


runtime: 00:01:50.435
vars: 18729, evals: 265442

|rho|=18729
|called|=113
|stable|=17593
|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=177908.90MB, max=230.87MB, minor=177899.73MB, major=1321.72MB, promoted=1312.55MB
    minor collections=84847  major collections=33 compactions=0


runtime: 00:02:00.446
vars: 18729, evals: 275744

|rho|=18729
|called|=104
|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=185070.53MB, max=230.87MB, minor=185061.32MB, major=1369.20MB, promoted=1360.00MB
    minor collections=88263  major collections=34 compactions=0


runtime: 00:02:10.458
vars: 18729, evals: 285345

|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=191751.90MB, max=230.87MB, minor=191742.66MB, major=1413.83MB, promoted=1404.59MB
    minor collections=91449  major collections=35 compactions=0


runtime: 00:02:20.470
vars: 18729, evals: 294214

|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=197943.94MB, max=230.87MB, minor=197934.67MB, major=1455.37MB, promoted=1446.10MB
    minor collections=94402  major collections=35 compactions=0


runtime: 00:02:30.482
vars: 18729, evals: 302363

|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=203630.00MB, max=230.87MB, minor=203620.70MB, major=1493.05MB, promoted=1483.76MB
    minor collections=97114  major collections=36 compactions=0


runtime: 00:02:40.490
vars: 18729, evals: 310063

|rho|=18729
|called|=48
|stable|=17574
|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=209052.68MB, max=230.87MB, minor=209043.36MB, major=1528.92MB, promoted=1519.60MB
    minor collections=99700  major collections=36 compactions=0


runtime: 00:02:50.502
vars: 18729, evals: 317359

|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=214162.84MB, max=230.87MB, minor=214153.49MB, major=1562.91MB, promoted=1553.57MB
    minor collections=102137  major collections=37 compactions=0


runtime: 00:03:00.514
vars: 18729, evals: 324278

|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=218990.26MB, max=230.87MB, minor=218980.89MB, major=1595.24MB, promoted=1585.87MB
    minor collections=104439  major collections=37 compactions=0


runtime: 00:03:10.526
vars: 18729, evals: 330950

|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=223715.13MB, max=230.87MB, minor=223705.74MB, major=1626.63MB, promoted=1617.24MB
    minor collections=106692  major collections=38 compactions=0


runtime: 00:03:20.534
vars: 18729, evals: 337228

|rho|=18729
|called|=64
|stable|=17495
|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=228125.48MB, max=265.50MB, minor=228116.07MB, major=1655.91MB, promoted=1646.50MB
    minor collections=108795  major collections=38 compactions=0


runtime: 00:03:30.542
vars: 18729, evals: 343170

|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=232320.47MB, max=265.50MB, minor=232311.04MB, major=1684.33MB, promoted=1674.90MB
    minor collections=110796  major collections=38 compactions=0


runtime: 00:03:40.554
vars: 18729, evals: 348832

|rho|=18729
|called|=65
|stable|=17678
|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=236304.27MB, max=265.50MB, minor=236294.82MB, major=1711.09MB, promoted=1701.65MB
    minor collections=112696  major collections=39 compactions=0


runtime: 00:03:50.565
vars: 18729, evals: 354240

|rho|=18729
|called|=60
|stable|=17462
|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=240126.90MB, max=265.50MB, minor=240117.44MB, major=1736.77MB, promoted=1727.31MB
    minor collections=114519  major collections=39 compactions=0


runtime: 00:04:00.589
vars: 18729, evals: 359104

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

Memory statistics: total=243562.14MB, max=265.50MB, minor=243552.66MB, major=1759.63MB, promoted=1750.15MB
    minor collections=116157  major collections=39 compactions=0


runtime: 00:04:10.605
vars: 18729, evals: 363938

|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=246983.00MB, max=265.50MB, minor=246973.51MB, major=1782.48MB, promoted=1772.99MB
    minor collections=117789  major collections=40 compactions=0


runtime: 00:04:20.617
vars: 18729, evals: 368808

|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=250431.17MB, max=265.50MB, minor=250421.66MB, major=1805.57MB, promoted=1796.06MB
    minor collections=119433  major collections=40 compactions=0


runtime: 00:04:30.625
vars: 18729, evals: 373595

|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=253791.91MB, max=265.50MB, minor=253782.39MB, major=1828.16MB, promoted=1818.64MB
    minor collections=121035  major collections=40 compactions=0


runtime: 00:04:40.633
vars: 18729, evals: 378097

|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=257006.12MB, max=265.50MB, minor=256996.59MB, major=1849.82MB, promoted=1840.28MB
    minor collections=122569  major collections=41 compactions=0


runtime: 00:04:50.645
vars: 18729, evals: 382444

|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=260102.48MB, max=265.50MB, minor=260092.93MB, major=1870.73MB, promoted=1861.19MB
    minor collections=124045  major collections=41 compactions=0


runtime: 00:05:00.653
vars: 18729, evals: 386780

|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=263147.45MB, max=265.50MB, minor=263137.90MB, major=1891.32MB, promoted=1881.76MB
    minor collections=125497  major collections=41 compactions=0


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

|rho|=18729
|called|=49
|stable|=17560
|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=266108.43MB, max=265.50MB, minor=266098.86MB, major=1911.00MB, promoted=1901.44MB
    minor collections=126909  major collections=41 compactions=0


runtime: 00:05:20.676
vars: 18729, evals: 394929

|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=268948.36MB, max=265.50MB, minor=268938.78MB, major=1930.23MB, promoted=1920.65MB
    minor collections=128264  major collections=42 compactions=0


runtime: 00:05:30.684
vars: 18729, evals: 398954

|rho|=18729
|called|=109
|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=271812.20MB, max=265.50MB, minor=271802.61MB, major=1949.32MB, promoted=1939.73MB
    minor collections=129629  major collections=42 compactions=0


runtime: 00:05:40.692
vars: 18729, evals: 402815

|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=274583.46MB, max=265.50MB, minor=274573.86MB, major=1968.01MB, promoted=1958.42MB
    minor collections=130951  major collections=42 compactions=0


runtime: 00:05:50.700
vars: 18729, evals: 406581

|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=277264.93MB, max=265.50MB, minor=277255.32MB, major=1986.12MB, promoted=1976.52MB
    minor collections=132229  major collections=42 compactions=0


runtime: 00:06:00.708
vars: 18729, evals: 410230

|rho|=18729
|called|=56
|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=279896.43MB, max=265.50MB, minor=279886.82MB, major=2003.78MB, promoted=1994.17MB
    minor collections=133484  major collections=42 compactions=0


runtime: 00:06:10.716
vars: 18729, evals: 413922

|rho|=18729
|called|=107
|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=282503.92MB, max=265.50MB, minor=282494.30MB, major=2021.30MB, promoted=2011.68MB
    minor collections=134728  major collections=43 compactions=0


runtime: 00:06:20.724
vars: 18729, evals: 417425

|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=285011.67MB, max=265.50MB, minor=285002.04MB, major=2038.15MB, promoted=2028.52MB
    minor collections=135924  major collections=43 compactions=0


runtime: 00:06:30.740
vars: 18729, evals: 420832

|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=287440.01MB, max=265.50MB, minor=287430.37MB, major=2054.49MB, promoted=2044.85MB
    minor collections=137082  major collections=43 compactions=0


runtime: 00:06:40.748
vars: 18729, evals: 424113

|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=289790.92MB, max=265.50MB, minor=289781.27MB, major=2070.42MB, promoted=2060.76MB
    minor collections=138203  major collections=43 compactions=0


runtime: 00:06:50.756
vars: 18729, evals: 427275

|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=292083.46MB, max=265.50MB, minor=292073.80MB, major=2085.84MB, promoted=2076.18MB
    minor collections=139296  major collections=43 compactions=0


runtime: 00:07:00.767
vars: 18729, evals: 430444

|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=294321.68MB, max=265.50MB, minor=294312.01MB, major=2101.01MB, promoted=2091.34MB
    minor collections=140364  major collections=44 compactions=0


runtime: 00:07:10.775
vars: 18729, evals: 433524

|rho|=18729
|called|=102
|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=296530.22MB, max=265.50MB, minor=296520.55MB, major=2115.99MB, promoted=2106.31MB
    minor collections=141417  major collections=44 compactions=0


runtime: 00:07:20.783
vars: 18729, evals: 436621

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

Memory statistics: total=298790.08MB, max=265.50MB, minor=298780.40MB, major=2131.13MB, promoted=2121.44MB
    minor collections=142495  major collections=44 compactions=0


runtime: 00:07:30.791
vars: 18729, evals: 439551

|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=300889.24MB, max=305.32MB, minor=300879.55MB, major=2145.26MB, promoted=2135.57MB
    minor collections=143496  major collections=44 compactions=0


runtime: 00:07:40.803
vars: 18729, evals: 442475

|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=302991.78MB, max=305.32MB, minor=302982.09MB, major=2159.38MB, promoted=2149.68MB
    minor collections=144498  major collections=44 compactions=0


runtime: 00:07:50.815
vars: 18729, evals: 445395

|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=305085.23MB, max=305.32MB, minor=305075.52MB, major=2173.54MB, promoted=2163.83MB
    minor collections=145496  major collections=44 compactions=0


runtime: 00:08:00.823
vars: 18729, evals: 448317

|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=307184.84MB, max=305.32MB, minor=307175.13MB, major=2187.72MB, promoted=2178.01MB
    minor collections=146498  major collections=45 compactions=0


runtime: 00:08:10.834
vars: 18729, evals: 451111

|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=309193.38MB, max=305.32MB, minor=309183.66MB, major=2201.25MB, promoted=2191.53MB
    minor collections=147456  major collections=45 compactions=0


runtime: 00:08:20.842
vars: 18729, evals: 453847

|rho|=18729
|called|=107
|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=311125.81MB, max=305.32MB, minor=311116.09MB, major=2214.21MB, promoted=2204.49MB
    minor collections=148377  major collections=45 compactions=0


runtime: 00:08:30.858
vars: 18729, evals: 456596

|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=313137.55MB, max=305.32MB, minor=313127.82MB, major=2227.97MB, promoted=2218.24MB
    minor collections=149337  major collections=45 compactions=0


runtime: 00:08:40.870
vars: 18729, evals: 459204

|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=314980.51MB, max=305.32MB, minor=314970.78MB, major=2240.45MB, promoted=2230.71MB
    minor collections=150215  major collections=45 compactions=0


runtime: 00:08:50.889
vars: 18729, evals: 461825

|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=316905.32MB, max=305.32MB, minor=316895.58MB, major=2253.76MB, promoted=2244.01MB
    minor collections=151133  major collections=45 compactions=0


runtime: 00:09:00.897
vars: 18729, evals: 464441

|rho|=18729
|called|=49
|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=318790.99MB, max=305.32MB, minor=318781.24MB, major=2266.67MB, promoted=2256.92MB
    minor collections=152033  major collections=45 compactions=0


runtime: 00:09:10.905
vars: 18729, evals: 467097

|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=320672.16MB, max=305.32MB, minor=320662.41MB, major=2279.51MB, promoted=2269.75MB
    minor collections=152930  major collections=46 compactions=0


runtime: 00:09:20.921
vars: 18729, evals: 469532

|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=322428.08MB, max=305.32MB, minor=322418.32MB, major=2291.39MB, promoted=2281.63MB
    minor collections=153767  major collections=46 compactions=0


runtime: 00:09:30.929
vars: 18729, evals: 471967

|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=324185.66MB, max=305.32MB, minor=324175.90MB, major=2303.14MB, promoted=2293.37MB
    minor collections=154605  major collections=46 compactions=0


runtime: 00:09:40.937
vars: 18729, evals: 474402

|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=325945.19MB, max=305.32MB, minor=325935.41MB, major=2315.02MB, promoted=2305.25MB
    minor collections=155444  major collections=46 compactions=0


runtime: 00:09:50.952
vars: 18729, evals: 476608

|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=327573.68MB, max=305.32MB, minor=327563.90MB, major=2325.74MB, promoted=2315.96MB
    minor collections=156221  major collections=46 compactions=0


runtime: 00:10:00.964
vars: 18729, evals: 478983

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

Memory statistics: total=329273.66MB, max=305.32MB, minor=329263.88MB, major=2337.15MB, promoted=2327.36MB
    minor collections=157032  major collections=46 compactions=0


runtime: 00:10:10.972
vars: 18729, evals: 481265

|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=330902.75MB, max=305.32MB, minor=330892.96MB, major=2348.00MB, promoted=2338.21MB
    minor collections=157808  major collections=46 compactions=0


runtime: 00:10:20.980
vars: 18729, evals: 483554

|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=332551.40MB, max=305.32MB, minor=332541.60MB, major=2359.07MB, promoted=2349.28MB
    minor collections=158595  major collections=46 compactions=0


runtime: 00:10:30.988
vars: 18729, evals: 485715

|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=334147.53MB, max=305.32MB, minor=334137.73MB, major=2369.74MB, promoted=2359.94MB
    minor collections=159356  major collections=47 compactions=0


runtime: 00:10:40.996
vars: 18729, evals: 487937

|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=335723.15MB, max=305.32MB, minor=335713.34MB, major=2380.29MB, promoted=2370.48MB
    minor collections=160108  major collections=47 compactions=0


runtime: 00:10:51.008
vars: 18729, evals: 490071

|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=337305.52MB, max=305.32MB, minor=337295.71MB, major=2390.61MB, promoted=2380.80MB
    minor collections=160862  major collections=47 compactions=0


runtime: 00:11:01.015
vars: 18729, evals: 492192

|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=338842.81MB, max=305.32MB, minor=338832.99MB, major=2400.80MB, promoted=2390.98MB
    minor collections=161595  major collections=47 compactions=0


runtime: 00:11:11.027
vars: 18729, evals: 494371

|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=340393.27MB, max=305.32MB, minor=340383.45MB, major=2411.26MB, promoted=2401.44MB
    minor collections=162335  major collections=47 compactions=0


runtime: 00:11:21.035
vars: 18729, evals: 496532

|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=341991.91MB, max=305.32MB, minor=341982.08MB, major=2422.25MB, promoted=2412.42MB
    minor collections=163097  major collections=47 compactions=0


runtime: 00:11:31.046
vars: 18729, evals: 498624

|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=343477.38MB, max=305.32MB, minor=343467.55MB, major=2432.58MB, promoted=2422.75MB
    minor collections=163805  major collections=47 compactions=0


runtime: 00:11:41.054
vars: 18729, evals: 500702

|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=344990.49MB, max=305.32MB, minor=344980.66MB, major=2442.89MB, promoted=2433.05MB
    minor collections=164527  major collections=47 compactions=0


runtime: 00:11:51.062
vars: 18729, evals: 502769

|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=346514.19MB, max=305.32MB, minor=346504.35MB, major=2453.23MB, promoted=2443.39MB
    minor collections=165253  major collections=47 compactions=0


runtime: 00:12:01.069
vars: 18729, evals: 504955

|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=348069.82MB, max=305.32MB, minor=348059.97MB, major=2463.63MB, promoted=2453.79MB
    minor collections=165996  major collections=48 compactions=0


runtime: 00:12:11.081
vars: 18729, evals: 506930

|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=349501.54MB, max=305.32MB, minor=349491.69MB, major=2473.19MB, promoted=2463.34MB
    minor collections=166678  major collections=48 compactions=0


runtime: 00:12:21.089
vars: 18729, evals: 508851

|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=350901.89MB, max=305.32MB, minor=350892.04MB, major=2482.62MB, promoted=2472.77MB
    minor collections=167346  major collections=48 compactions=0


runtime: 00:12:31.097
vars: 18729, evals: 510826

|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=352332.82MB, max=305.32MB, minor=352322.97MB, major=2492.21MB, promoted=2482.35MB
    minor collections=168028  major collections=48 compactions=0


runtime: 00:12:41.104
vars: 18729, evals: 512774

|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=353748.86MB, max=305.32MB, minor=353739.00MB, major=2502.07MB, promoted=2492.21MB
    minor collections=168704  major collections=48 compactions=0


runtime: 00:12:51.112
vars: 18729, evals: 514695

|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=355151.40MB, max=305.32MB, minor=355141.54MB, major=2511.67MB, promoted=2501.81MB
    minor collections=169372  major collections=48 compactions=0


runtime: 00:13:01.120
vars: 18729, evals: 516670

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

Memory statistics: total=356579.81MB, max=305.32MB, minor=356569.94MB, major=2521.59MB, promoted=2511.72MB
    minor collections=170054  major collections=48 compactions=0


runtime: 00:13:11.132
vars: 18729, evals: 518591

|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=357987.23MB, max=305.32MB, minor=357977.35MB, major=2531.17MB, promoted=2521.30MB
    minor collections=170725  major collections=48 compactions=0


runtime: 00:13:21.143
vars: 18729, evals: 520393

|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=359330.46MB, max=305.32MB, minor=359320.58MB, major=2540.22MB, promoted=2530.34MB
    minor collections=171365  major collections=48 compactions=0


runtime: 00:13:31.151
vars: 18729, evals: 522213

|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=360658.00MB, max=305.32MB, minor=360648.12MB, major=2549.43MB, promoted=2539.55MB
    minor collections=171998  major collections=48 compactions=0


runtime: 00:13:41.159
vars: 18729, evals: 524114

|rho|=18729
|called|=107
|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=362006.92MB, max=305.32MB, minor=361997.04MB, major=2558.67MB, promoted=2548.78MB
    minor collections=172642  major collections=49 compactions=0


runtime: 00:13:51.171
vars: 18729, evals: 525896

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

Memory statistics: total=363313.89MB, max=305.32MB, minor=363304.00MB, major=2567.64MB, promoted=2557.75MB
    minor collections=173265  major collections=49 compactions=0


runtime: 00:14:01.178
vars: 18729, evals: 527698

|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=364658.75MB, max=305.32MB, minor=364648.85MB, major=2576.83MB, promoted=2566.94MB
    minor collections=173906  major collections=49 compactions=0


runtime: 00:14:11.186
vars: 18729, evals: 529470

|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=365916.32MB, max=305.32MB, minor=365906.42MB, major=2585.48MB, promoted=2575.58MB
    minor collections=174506  major collections=49 compactions=0


runtime: 00:14:21.194
vars: 18729, evals: 531253

|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=367226.21MB, max=305.32MB, minor=367216.31MB, major=2594.55MB, promoted=2584.65MB
    minor collections=175131  major collections=49 compactions=0


runtime: 00:14:31.209
vars: 18729, evals: 532954

|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=368499.81MB, max=305.32MB, minor=368489.91MB, major=2603.29MB, promoted=2593.39MB
    minor collections=175738  major collections=49 compactions=0


runtime: 00:14:41.217
vars: 18729, evals: 534790

|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=369809.97MB, max=351.13MB, minor=369800.06MB, major=2612.36MB, promoted=2602.46MB
    minor collections=176363  major collections=49 compactions=0


runtime: 00:14:51.225
vars: 18729, evals: 536464

|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=371064.95MB, max=351.13MB, minor=371055.04MB, major=2620.72MB, promoted=2610.81MB
    minor collections=176961  major collections=49 compactions=0

