./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.359
vars: 16242, evals: 41554

|rho|=16242
|called|=118
|stable|=15371
|infl|=16171
|wpoint|=41
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15050
Found 310 contexts for 58 functions. Top 5 functions:
40	contexts for entry state of dict_comp_str_equ (2127) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:1047:1-1097:1
27	contexts for 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
16	contexts for entry state of append_value_to_he (3327) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/dnspod-sr/main.c:3429:1-3496:1

Memory statistics: total=25284.03MB, max=151.80MB, minor=25277.17MB, major=301.67MB, promoted=294.81MB
    minor collections=12061  major collections=16 compactions=0


runtime: 00:00:20.382
vars: 18729, evals: 82884

|rho|=18729
|called|=105
|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=53415.40MB, max=174.57MB, minor=53407.13MB, major=497.27MB, promoted=489.00MB
    minor collections=25477  major collections=20 compactions=0


runtime: 00:00:30.398
vars: 18729, evals: 118459

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

Memory statistics: total=77350.79MB, max=200.75MB, minor=77342.30MB, major=655.96MB, promoted=647.47MB
    minor collections=36892  major collections=23 compactions=0


runtime: 00:00:40.414
vars: 18729, evals: 147389

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

Memory statistics: total=96914.95MB, max=200.75MB, minor=96906.31MB, major=785.16MB, promoted=776.52MB
    minor collections=46222  major collections=25 compactions=0


runtime: 00:00:50.429
vars: 18729, evals: 171490

|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=113302.38MB, max=200.75MB, minor=113293.62MB, major=894.08MB, promoted=885.31MB
    minor collections=54037  major collections=27 compactions=0


runtime: 00:01:00.457
vars: 18729, evals: 191509

|rho|=18729
|called|=55
|stable|=17656
|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=127008.54MB, max=200.75MB, minor=126999.68MB, major=984.76MB, promoted=975.91MB
    minor collections=60573  major collections=28 compactions=0


runtime: 00:01:10.480
vars: 18729, evals: 208989

|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=138967.43MB, max=200.75MB, minor=138958.50MB, major=1064.09MB, promoted=1055.15MB
    minor collections=66276  major collections=29 compactions=0


runtime: 00:01:20.492
vars: 18729, evals: 224424

|rho|=18729
|called|=102
|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=149569.22MB, max=200.75MB, minor=149560.22MB, major=1134.68MB, promoted=1125.68MB
    minor collections=71333  major collections=31 compactions=0


runtime: 00:01:30.504
vars: 18729, evals: 237987

|rho|=18729
|called|=45
|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=158960.87MB, max=230.87MB, minor=158951.82MB, major=1197.27MB, promoted=1188.21MB
    minor collections=75812  major collections=32 compactions=0


runtime: 00:01:40.519
vars: 18729, evals: 250153

|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=167361.23MB, max=230.87MB, minor=167352.12MB, major=1253.31MB, promoted=1244.20MB
    minor collections=79817  major collections=32 compactions=0


runtime: 00:01:50.535
vars: 18729, evals: 261111

|rho|=18729
|called|=115
|stable|=17617
|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=174914.21MB, max=230.87MB, minor=174905.06MB, major=1303.49MB, promoted=1294.34MB
    minor collections=83419  major collections=33 compactions=0


runtime: 00:02:00.542
vars: 18729, evals: 270708

|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=181577.33MB, max=230.87MB, minor=181568.14MB, major=1347.17MB, promoted=1337.99MB
    minor collections=86597  major collections=34 compactions=0


runtime: 00:02:10.554
vars: 18729, evals: 279510

|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=187694.23MB, max=230.87MB, minor=187685.01MB, major=1388.25MB, promoted=1379.03MB
    minor collections=89514  major collections=34 compactions=0


runtime: 00:02:20.573
vars: 18729, evals: 287753

|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=193434.31MB, max=230.87MB, minor=193425.06MB, major=1426.69MB, promoted=1417.44MB
    minor collections=92252  major collections=35 compactions=0


runtime: 00:02:30.585
vars: 18729, evals: 295675

|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=198967.58MB, max=230.87MB, minor=198958.30MB, major=1463.43MB, promoted=1454.15MB
    minor collections=94890  major collections=35 compactions=0


runtime: 00:02:40.597
vars: 18729, evals: 303191

|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=204244.87MB, max=230.87MB, minor=204235.57MB, major=1498.64MB, promoted=1489.34MB
    minor collections=97407  major collections=36 compactions=0


runtime: 00:02:50.612
vars: 18729, evals: 310191

|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=209107.64MB, max=230.87MB, minor=209098.32MB, major=1531.15MB, promoted=1521.83MB
    minor collections=99726  major collections=36 compactions=0


runtime: 00:03:00.624
vars: 18729, evals: 316865

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

Memory statistics: total=213815.63MB, max=230.87MB, minor=213806.29MB, major=1562.53MB, promoted=1553.19MB
    minor collections=101971  major collections=37 compactions=0


runtime: 00:03:10.635
vars: 18729, evals: 323196

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

Memory statistics: total=218261.36MB, max=230.87MB, minor=218252.00MB, major=1592.12MB, promoted=1582.75MB
    minor collections=104091  major collections=37 compactions=0


runtime: 00:03:20.642
vars: 18729, evals: 329184

|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=222442.52MB, max=230.87MB, minor=222433.14MB, major=1620.13MB, promoted=1610.75MB
    minor collections=106086  major collections=38 compactions=0


runtime: 00:03:30.654
vars: 18729, evals: 334848

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

Memory statistics: total=226470.06MB, max=230.87MB, minor=226460.66MB, major=1647.11MB, promoted=1637.70MB
    minor collections=108006  major collections=38 compactions=0


runtime: 00:03:40.670
vars: 18729, evals: 340385

|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=230328.53MB, max=265.50MB, minor=230319.11MB, major=1673.09MB, promoted=1663.67MB
    minor collections=109846  major collections=38 compactions=0


runtime: 00:03:50.681
vars: 18729, evals: 345347

|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=233825.06MB, max=265.50MB, minor=233815.63MB, major=1696.56MB, promoted=1687.13MB
    minor collections=111514  major collections=39 compactions=0


runtime: 00:04:00.693
vars: 18729, evals: 350209

|rho|=18729
|called|=105
|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=237259.97MB, max=265.50MB, minor=237250.52MB, major=1719.37MB, promoted=1709.92MB
    minor collections=113152  major collections=39 compactions=0


runtime: 00:04:10.701
vars: 18729, evals: 355076

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

Memory statistics: total=240691.23MB, max=265.50MB, minor=240681.76MB, major=1742.25MB, promoted=1732.78MB
    minor collections=114788  major collections=39 compactions=0


runtime: 00:04:20.712
vars: 18729, evals: 359675

|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=243980.17MB, max=265.50MB, minor=243970.70MB, major=1764.34MB, promoted=1754.86MB
    minor collections=116356  major collections=39 compactions=0


runtime: 00:04:30.724
vars: 18729, evals: 364111

|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=247112.24MB, max=265.50MB, minor=247102.75MB, major=1785.35MB, promoted=1775.85MB
    minor collections=117850  major collections=40 compactions=0


runtime: 00:04:40.736
vars: 18729, evals: 368400

|rho|=18729
|called|=57
|stable|=17499
|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=250140.36MB, max=265.50MB, minor=250130.85MB, major=1806.07MB, promoted=1796.56MB
    minor collections=119294  major collections=40 compactions=0


runtime: 00:04:50.747
vars: 18729, evals: 372518

|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=253026.23MB, max=265.50MB, minor=253016.72MB, major=1825.45MB, promoted=1815.93MB
    minor collections=120670  major collections=40 compactions=0


runtime: 00:05:00.759
vars: 18729, evals: 376553

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

Memory statistics: total=255887.74MB, max=265.50MB, minor=255878.22MB, major=1844.79MB, promoted=1835.26MB
    minor collections=122035  major collections=40 compactions=0


runtime: 00:05:10.770
vars: 18729, evals: 380413

|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=258635.77MB, max=265.50MB, minor=258626.23MB, major=1863.31MB, promoted=1853.77MB
    minor collections=123346  major collections=41 compactions=0


runtime: 00:05:20.782
vars: 18729, evals: 384309

|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=261405.27MB, max=265.50MB, minor=261395.72MB, major=1881.85MB, promoted=1872.30MB
    minor collections=124666  major collections=41 compactions=0


runtime: 00:05:30.790
vars: 18729, evals: 388102

|rho|=18729
|called|=110
|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=264091.58MB, max=265.50MB, minor=264082.02MB, major=1899.76MB, promoted=1890.21MB
    minor collections=125947  major collections=41 compactions=0


runtime: 00:05:40.801
vars: 18729, evals: 391724

|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=266704.76MB, max=265.50MB, minor=266695.19MB, major=1916.99MB, promoted=1907.43MB
    minor collections=127193  major collections=41 compactions=0


runtime: 00:05:50.809
vars: 18729, evals: 395380

|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=269277.24MB, max=265.50MB, minor=269267.66MB, major=1934.47MB, promoted=1924.90MB
    minor collections=128421  major collections=42 compactions=0


runtime: 00:06:00.820
vars: 18729, evals: 398789

|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=271710.77MB, max=265.50MB, minor=271701.18MB, major=1950.95MB, promoted=1941.37MB
    minor collections=129581  major collections=42 compactions=0


runtime: 00:06:10.836
vars: 18729, evals: 402054

|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=274081.51MB, max=265.50MB, minor=274071.92MB, major=1966.73MB, promoted=1957.13MB
    minor collections=130711  major collections=42 compactions=0


runtime: 00:06:20.848
vars: 18729, evals: 405250

|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=276330.09MB, max=265.50MB, minor=276320.48MB, major=1981.80MB, promoted=1972.19MB
    minor collections=131784  major collections=42 compactions=0


runtime: 00:06:30.860
vars: 18729, evals: 408383

|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=278594.03MB, max=265.50MB, minor=278584.42MB, major=1996.91MB, promoted=1987.30MB
    minor collections=132863  major collections=42 compactions=0


runtime: 00:06:40.867
vars: 18729, evals: 411581

|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=280851.12MB, max=265.50MB, minor=280841.50MB, major=2012.25MB, promoted=2002.63MB
    minor collections=133940  major collections=43 compactions=0


runtime: 00:06:50.879
vars: 18729, evals: 414546

|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=282965.88MB, max=265.50MB, minor=282956.26MB, major=2026.71MB, promoted=2017.09MB
    minor collections=134948  major collections=43 compactions=0


runtime: 00:07:00.891
vars: 18729, evals: 417628

|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=285200.89MB, max=265.50MB, minor=285191.25MB, major=2041.65MB, promoted=2032.02MB
    minor collections=136014  major collections=43 compactions=0


runtime: 00:07:10.906
vars: 18729, evals: 420466

|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=287223.59MB, max=265.50MB, minor=287213.94MB, major=2055.39MB, promoted=2045.75MB
    minor collections=136979  major collections=43 compactions=0


runtime: 00:07:20.918
vars: 18729, evals: 423379

|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=289307.28MB, max=265.50MB, minor=289297.63MB, major=2069.47MB, promoted=2059.82MB
    minor collections=137972  major collections=43 compactions=0


runtime: 00:07:30.926
vars: 18729, evals: 426191

|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=291297.70MB, max=265.50MB, minor=291288.04MB, major=2083.11MB, promoted=2073.46MB
    minor collections=138921  major collections=43 compactions=0


runtime: 00:07:40.937
vars: 18729, evals: 428983

|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=293287.87MB, max=265.50MB, minor=293278.21MB, major=2096.67MB, promoted=2087.00MB
    minor collections=139871  major collections=44 compactions=0


runtime: 00:07:50.949
vars: 18729, evals: 431631

|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=295220.06MB, max=265.50MB, minor=295210.38MB, major=2109.61MB, promoted=2099.94MB
    minor collections=140792  major collections=44 compactions=0


runtime: 00:08:00.957
vars: 18729, evals: 434340

|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=297128.27MB, max=265.50MB, minor=297118.59MB, major=2122.64MB, promoted=2112.96MB
    minor collections=141702  major collections=44 compactions=0


runtime: 00:08:10.969
vars: 18729, evals: 436903

|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=298969.01MB, max=265.50MB, minor=298959.32MB, major=2135.12MB, promoted=2125.43MB
    minor collections=142580  major collections=44 compactions=0


runtime: 00:08:20.984
vars: 18729, evals: 439423

|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=300812.46MB, max=305.32MB, minor=300802.77MB, major=2147.32MB, promoted=2137.63MB
    minor collections=143459  major collections=44 compactions=0


runtime: 00:08:30.996
vars: 18729, evals: 441894

|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=302581.65MB, max=305.32MB, minor=302571.95MB, major=2159.10MB, promoted=2149.40MB
    minor collections=144303  major collections=44 compactions=0


runtime: 00:08:41.008
vars: 18729, evals: 444423

|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=304405.94MB, max=305.32MB, minor=304396.24MB, major=2171.20MB, promoted=2161.49MB
    minor collections=145173  major collections=44 compactions=0


runtime: 00:08:51.020
vars: 18729, evals: 446764

|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=306084.12MB, max=305.32MB, minor=306074.41MB, major=2182.40MB, promoted=2172.70MB
    minor collections=145973  major collections=45 compactions=0


runtime: 00:09:01.027
vars: 18729, evals: 449190

|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=307827.28MB, max=305.32MB, minor=307817.56MB, major=2193.79MB, promoted=2184.08MB
    minor collections=146805  major collections=45 compactions=0


runtime: 00:09:11.038
vars: 18729, evals: 451558

|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=309499.80MB, max=305.32MB, minor=309490.08MB, major=2205.06MB, promoted=2195.34MB
    minor collections=147602  major collections=45 compactions=0


runtime: 00:09:21.050
vars: 18729, evals: 453950

|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=311222.71MB, max=305.32MB, minor=311212.99MB, major=2216.61MB, promoted=2206.88MB
    minor collections=148424  major collections=45 compactions=0


runtime: 00:09:31.070
vars: 18729, evals: 456153

|rho|=18729
|called|=52
|stable|=17564
|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=312835.71MB, max=305.32MB, minor=312825.98MB, major=2227.41MB, promoted=2217.68MB
    minor collections=149193  major collections=45 compactions=0


runtime: 00:09:41.085
vars: 18729, evals: 458416

|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=314462.30MB, max=305.32MB, minor=314452.57MB, major=2238.24MB, promoted=2228.50MB
    minor collections=149968  major collections=45 compactions=0


runtime: 00:09:51.093
vars: 18729, evals: 460766

|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=316123.34MB, max=305.32MB, minor=316113.60MB, major=2249.48MB, promoted=2239.74MB
    minor collections=150760  major collections=45 compactions=0


runtime: 00:10:01.101
vars: 18729, evals: 462927

|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=317711.41MB, max=305.32MB, minor=317701.66MB, major=2260.38MB, promoted=2250.64MB
    minor collections=151518  major collections=45 compactions=0


runtime: 00:10:11.113
vars: 18729, evals: 465141

|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=319278.04MB, max=305.32MB, minor=319268.29MB, major=2271.09MB, promoted=2261.34MB
    minor collections=152265  major collections=46 compactions=0


runtime: 00:10:21.120
vars: 18729, evals: 467218

|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=320809.43MB, max=305.32MB, minor=320799.68MB, major=2281.63MB, promoted=2271.88MB
    minor collections=152996  major collections=46 compactions=0


runtime: 00:10:31.132
vars: 18729, evals: 469260

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

Memory statistics: total=322291.16MB, max=305.32MB, minor=322281.40MB, major=2291.49MB, promoted=2281.73MB
    minor collections=153702  major collections=46 compactions=0


runtime: 00:10:41.144
vars: 18729, evals: 471472

|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=323848.68MB, max=305.32MB, minor=323838.92MB, major=2301.84MB, promoted=2292.08MB
    minor collections=154445  major collections=46 compactions=0


runtime: 00:10:51.156
vars: 18729, evals: 473513

|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=325355.10MB, max=305.32MB, minor=325345.33MB, major=2311.73MB, promoted=2301.96MB
    minor collections=155163  major collections=46 compactions=0


runtime: 00:11:01.163
vars: 18729, evals: 475591

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

Memory statistics: total=326863.07MB, max=305.32MB, minor=326853.30MB, major=2321.91MB, promoted=2312.14MB
    minor collections=155882  major collections=46 compactions=0


runtime: 00:11:11.175
vars: 18729, evals: 477710

|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=328350.18MB, max=305.32MB, minor=328340.40MB, major=2331.95MB, promoted=2322.17MB
    minor collections=156591  major collections=46 compactions=0


runtime: 00:11:21.183
vars: 18729, evals: 479761

|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=329837.35MB, max=305.32MB, minor=329827.57MB, major=2341.90MB, promoted=2332.11MB
    minor collections=157300  major collections=46 compactions=0


runtime: 00:11:31.190
vars: 18729, evals: 481709

|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=331248.01MB, max=305.32MB, minor=331238.22MB, major=2351.35MB, promoted=2341.56MB
    minor collections=157973  major collections=46 compactions=0


runtime: 00:11:41.202
vars: 18729, evals: 483740

|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=332736.84MB, max=305.32MB, minor=332727.04MB, major=2361.41MB, promoted=2351.62MB
    minor collections=158683  major collections=46 compactions=0


runtime: 00:11:51.209
vars: 18729, evals: 485688

|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=334145.45MB, max=305.32MB, minor=334135.66MB, major=2370.77MB, promoted=2360.97MB
    minor collections=159355  major collections=47 compactions=0


runtime: 00:12:01.221
vars: 18729, evals: 487636

|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=335557.61MB, max=305.32MB, minor=335547.80MB, major=2380.17MB, promoted=2370.37MB
    minor collections=160029  major collections=47 compactions=0


runtime: 00:12:11.229
vars: 18729, evals: 489584

|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=336966.51MB, max=305.32MB, minor=336956.70MB, major=2389.56MB, promoted=2379.75MB
    minor collections=160700  major collections=47 compactions=0


runtime: 00:12:21.237
vars: 18729, evals: 491477

|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=338306.14MB, max=305.32MB, minor=338296.32MB, major=2398.59MB, promoted=2388.78MB
    minor collections=161339  major collections=47 compactions=0


runtime: 00:12:31.252
vars: 18729, evals: 493397

|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=339703.50MB, max=305.32MB, minor=339693.69MB, major=2407.88MB, promoted=2398.07MB
    minor collections=162006  major collections=47 compactions=0


runtime: 00:12:41.264
vars: 18729, evals: 495242

|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=341037.37MB, max=305.32MB, minor=341027.55MB, major=2416.58MB, promoted=2406.76MB
    minor collections=162642  major collections=47 compactions=0


runtime: 00:12:51.275
vars: 18729, evals: 497062

|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=342393.19MB, max=305.32MB, minor=342383.37MB, major=2425.64MB, promoted=2415.81MB
    minor collections=163288  major collections=47 compactions=0


runtime: 00:13:01.283
vars: 18729, evals: 498873

|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=343708.78MB, max=305.32MB, minor=343698.95MB, major=2434.63MB, promoted=2424.81MB
    minor collections=163916  major collections=47 compactions=0


runtime: 00:13:11.294
vars: 18729, evals: 500785

|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=345097.17MB, max=305.32MB, minor=345087.33MB, major=2444.11MB, promoted=2434.27MB
    minor collections=164578  major collections=47 compactions=0


runtime: 00:13:21.302
vars: 18729, evals: 502650

|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=346418.71MB, max=305.32MB, minor=346408.88MB, major=2453.00MB, promoted=2443.16MB
    minor collections=165208  major collections=47 compactions=0


runtime: 00:13:31.313
vars: 18729, evals: 504324

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

Memory statistics: total=347674.22MB, max=305.32MB, minor=347664.38MB, major=2461.20MB, promoted=2451.36MB
    minor collections=165807  major collections=48 compactions=0


runtime: 00:13:41.325
vars: 18729, evals: 506102

|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=348924.57MB, max=305.32MB, minor=348914.73MB, major=2469.75MB, promoted=2459.91MB
    minor collections=166403  major collections=48 compactions=0


runtime: 00:13:51.336
vars: 18729, evals: 507776

|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=350173.20MB, max=305.32MB, minor=350163.35MB, major=2478.15MB, promoted=2468.30MB
    minor collections=166999  major collections=48 compactions=0


runtime: 00:14:01.348
vars: 18729, evals: 509511

|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=351400.95MB, max=305.32MB, minor=351391.10MB, major=2486.66MB, promoted=2476.80MB
    minor collections=167584  major collections=48 compactions=0


runtime: 00:14:11.363
vars: 18729, evals: 511142

|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=352623.04MB, max=305.32MB, minor=352613.18MB, major=2494.94MB, promoted=2485.08MB
    minor collections=168167  major collections=48 compactions=0


runtime: 00:14:21.375
vars: 18729, evals: 512877

|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=353850.53MB, max=305.32MB, minor=353840.67MB, major=2503.14MB, promoted=2493.28MB
    minor collections=168752  major collections=48 compactions=0


runtime: 00:14:31.389
vars: 18729, evals: 514457

|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=355028.63MB, max=305.32MB, minor=355018.77MB, major=2511.11MB, promoted=2501.25MB
    minor collections=169314  major collections=48 compactions=0


runtime: 00:14:41.404
vars: 18729, evals: 516055

|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=356195.07MB, max=305.32MB, minor=356185.20MB, major=2518.87MB, promoted=2509.00MB
    minor collections=169870  major collections=48 compactions=0


runtime: 00:14:51.422
vars: 18729, evals: 517745

|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=357390.16MB, max=305.32MB, minor=357380.29MB, major=2526.93MB, promoted=2517.05MB
    minor collections=170440  major collections=48 compactions=0

