./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:1880:3-1892:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:2878:3-2913:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3020:13-3023:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3031:11-3041:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3258:3-3285:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3397:3-3401:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3438:3-3442:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3609:3-3615:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3617:3-3626:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3646:5-3652:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3642:3-3666:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3694:5-3700:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3723:3-3726:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4020:5-4030:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4039:5-4049:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4052:5-4061:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4104:3-4114:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4198:3-4207:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4232:7-4235:7 with factor 12
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/phpspy/main.c:4251:9-4254:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4576:3-4586:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4642:3-4661:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5053:3-5065:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5078:3-5086:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5088:3-5093:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5171:5-5174:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5190:3-5196:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5282:5-5293:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5385:3-5387:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5843:5-5875:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5928:5-5948:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6020:3-6026:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6027:3-6033:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6036:5-6042:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6096:3-6133:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6240:13-6243:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6248:11-6251:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6252:11-6265:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6297:11-6300:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6305:9-6308:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6309:9-6322:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6362:11-6365:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6370:9-6373:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6374:9-6387:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6515:5-6521:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6527:5-6533:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6536:5-6542:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6833:13-6836:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6839:17-6842:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6857:19-6860:19 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
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
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/phpspy/main.c:6993:15-7015:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7019:15-7025:15 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7029:15-7032:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7063:29-7066:29 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
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
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
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
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7229:13-7251:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7255:13-7261:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7265:13-7268:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7299:27-7302:27 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7508:11-7511:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7514:15-7517:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7532:17-7535:17 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
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
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/phpspy/main.c:7706:11-7728:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7732:11-7738:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7742:11-7745:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7776:25-7779:25 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7981:3-8007:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8089:3-8095:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8096:3-8102:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8104:3-8176:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8182:5-8188:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8226:5-8233:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8234:5-8241:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8243:7-8250:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8257:7-8264:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8265:7-8272:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8278:7-8285:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8307:5-8313:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8331:3-8338:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8342:9-8349:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8363:9-8370:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8384:9-8391:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8405:9-8412:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8424:3-8430:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8445:3-8452:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8453:3-8460:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8463:3-8469:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8495:7-8502:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8512:7-8518:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8675:11-8678:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8681:15-8684:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8699:17-8702:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8727:5-8734:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8735:5-8741:5 with factor 12
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
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
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/phpspy/main.c:8849:11-8852:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8855:15-8858:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8873:17-8876:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8892:5-8899:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8900:5-8906:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8910:5-8916:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8932:3-8939:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8959:3-8966:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8971:3-8978:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8984:5-8991:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8995:5-9002:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9027:3-9034:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9050:3-9057:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9082:3-9088:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9091:3-9097:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9118:3-9125:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9131:3-9138:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9141:5-9147:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9169:3-9175:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9176:3-9182:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9197:5-9204:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9212:3-9218:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9257:3-9263:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9264:3-9270:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9272:3-9344:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9350:5-9356:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9394:5-9401:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9402:5-9409:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9411:7-9418:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9425:7-9432:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9433:7-9440:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9446:7-9453:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9475:5-9481:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9499:3-9506:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9510:9-9517:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9531:9-9538:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9552:9-9559:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9573:9-9580:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9592:3-9598:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9613:3-9620:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9621:3-9628:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9631:3-9637:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9663:7-9670:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9680:7-9686:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9843:11-9846:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9849:15-9852:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9867:17-9870:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9895:5-9902:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9903:5-9909:5 with factor 12
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
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
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/phpspy/main.c:10017:11-10020:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10023:15-10026:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10041:17-10044:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10060:5-10067:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10068:5-10074:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10078:5-10084:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10100:3-10107:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10127:3-10134:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10139:3-10146:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10152:5-10159:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10163:5-10170:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10195:3-10202:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10218:3-10225:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10250:3-10256:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10259:3-10265:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10286:3-10293:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10299:3-10306:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10309:5-10315:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10337:3-10343:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10344:3-10350:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10365:5-10372:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10380:3-10386:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10425:3-10431:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10432:3-10438:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10440:3-10512:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10518:5-10524:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10562:5-10569:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10570:5-10577:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10579:7-10586:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10593:7-10600:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10601:7-10608:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10614:7-10621:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10643:5-10649:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10667:3-10674:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10678:9-10685:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10699:9-10706:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10720:9-10727:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10741:9-10748:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10760:3-10766:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10781:3-10788:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10789:3-10796:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10799:3-10805:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10831:7-10838:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10848:7-10854:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11011:11-11014:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11017:15-11020:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11035:17-11038:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11063:5-11070:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11071:5-11077:5 with factor 12
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
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
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/phpspy/main.c:11185:11-11188:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11191:15-11194:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11209:17-11212:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11228:5-11235:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11236:5-11242:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11246:5-11252:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11268:3-11275:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11295:3-11302:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11307:3-11314:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11320:5-11327:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11331:5-11338:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11363:3-11370:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11386:3-11393:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11418:3-11424:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11427:3-11433:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11454:3-11461:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11467:3-11474:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11477:5-11483:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11505:3-11511:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11512:3-11518:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11533:5-11540:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11548:3-11554:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11593:3-11599:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11600:3-11606:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11608:3-11680:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11686:5-11692:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11730:5-11737:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11738:5-11745:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11747:7-11754:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11761:7-11768:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11769:7-11776:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11782:7-11789:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11811:5-11817:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11835:3-11842:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11846:9-11853:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11867:9-11874:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11888:9-11895:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11909:9-11916:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11928:3-11934:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11949:3-11956:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11957:3-11964:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11967:3-11973:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11999:7-12006:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12016:7-12022:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12179:11-12182:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12185:15-12188:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12203:17-12206:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12231:5-12238:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12239:5-12245:5 with factor 12
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
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
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/phpspy/main.c:12353:11-12356:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12359:15-12362:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12377:17-12380:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12396:5-12403:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12404:5-12410:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12414:5-12420:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12436:3-12443:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12463:3-12470:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12475:3-12482:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12488:5-12495:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12499:5-12506:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12531:3-12538:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12554:3-12561:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12586:3-12592:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12595:3-12601:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12622:3-12629:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12635:3-12642:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12645:5-12651:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12673:3-12679:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12680:3-12686:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12701:5-12708:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12716:3-12722:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12761:3-12767:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12768:3-12774:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12776:3-12848:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12854:5-12860:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12898:5-12905:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12906:5-12913:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12915:7-12922:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12929:7-12936:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12937:7-12944:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12950:7-12957:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12979:5-12985:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13003:3-13010:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13014:9-13021:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13035:9-13042:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13056:9-13063:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13077:9-13084:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13096:3-13102:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13117:3-13124:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13125:3-13132:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13135:3-13141:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13167:7-13174:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13184:7-13190:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13347:11-13350:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13353:15-13356:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13371:17-13374:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13399:5-13406:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13407:5-13413:5 with factor 12
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
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
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/phpspy/main.c:13521:11-13524:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13527:15-13530:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13545:17-13548:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13564:5-13571:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13572:5-13578:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13582:5-13588:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13604:3-13611:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13631:3-13638:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13643:3-13650:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13656:5-13663:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13667:5-13674:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13699:3-13706:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13722:3-13729:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13754:3-13760:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13763:3-13769:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13790:3-13797:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13803:3-13810:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13813:5-13819:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13841:3-13847:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13848:3-13854:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13869:5-13876:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13884:3-13890:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13929:3-13935:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13936:3-13942:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13944:3-14016:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14022:5-14028:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14066:5-14073:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14074:5-14081:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14083:7-14090:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14097:7-14104:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14105:7-14112:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14118:7-14125:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14147:5-14153:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14171:3-14178:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14182:9-14189:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14203:9-14210:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14224:9-14231:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14245:9-14252:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14264:3-14270:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14285:3-14292:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14293:3-14300:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14303:3-14309:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14335:7-14342:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14352:7-14358:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14515:11-14518:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14521:15-14524:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14539:17-14542:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14567:5-14574:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14575:5-14581:5 with factor 12
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
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
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/phpspy/main.c:14689:11-14692:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14695:15-14698:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14713:17-14716:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14732:5-14739:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14740:5-14746:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14750:5-14756:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14772:3-14779:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14799:3-14806:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14811:3-14818:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14824:5-14831:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14835:5-14842:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14867:3-14874:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14890:3-14897:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14922:3-14928:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14931:3-14937:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14958:3-14965:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14971:3-14978:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14981:5-14987:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15009:3-15015:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15016:3-15022:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15037:5-15044:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15052:3-15058:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15097:3-15103:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15104:3-15110:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15112:3-15184:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15190:5-15196:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15234:5-15241:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15242:5-15249:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15251:7-15258:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15265:7-15272:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15273:7-15280:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15286:7-15293:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15315:5-15321:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15339:3-15346:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15350:9-15357:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15371:9-15378:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15392:9-15399:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15413:9-15420:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15432:3-15438:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15453:3-15460:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15461:3-15468:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15471:3-15477:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15503:7-15510:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15520:7-15526:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15683:11-15686:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15689:15-15692:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15707:17-15710:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15735:5-15742:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15743:5-15749:5 with factor 12
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
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
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/phpspy/main.c:15857:11-15860:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15863:15-15866:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15881:17-15884:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15900:5-15907:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15908:5-15914:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15918:5-15924:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15940:3-15947:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15967:3-15974:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15979:3-15986:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15992:5-15999:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16003:5-16010:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16035:3-16042:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16058:3-16065:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16090:3-16096:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16099:3-16105:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16126:3-16133:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16139:3-16146:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16149:5-16155:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16177:3-16183:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16184:3-16190:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16205:5-16212:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16220:3-16226:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16291:3-16295:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16306:3-16309:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16323:3-16344:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16385:7-16410:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16377:3-16422:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16434:3-16445:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16455:3-16465:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16527:3-16533:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16534:3-16540:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16590:3-16605:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16682:3-16688:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16716:3-16760:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16824:3-16860:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16888:3-16898:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16921:3-16934:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17107:9-17110:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17113:13-17116:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17131:15-17134:15 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
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
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/phpspy/main.c:17265:13-17287:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17291:13-17297:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17301:13-17304:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17335:27-17338:27 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17479:5-17488:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17509:3-17525:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17527:3-17531:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17572:3-17600:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17789:3-17798:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17840:3-17846:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17864:3-17878:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17879:3-17885:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17888:3-17896:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17897:3-17903:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17906:3-17913:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17914:3-17920:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17924:3-17931:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17932:3-17938:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17939:3-17946:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17947:3-17953:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17954:3-17961:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17962:3-17968:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17969:3-17976:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17977:3-17983:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17984:3-17991:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17992:3-17998:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18001:3-18008:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18009:3-18015:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18038:7-18045:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18046:7-18053:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18056:7-18063:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18064:7-18071:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18073:5-18080:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18083:3-18089:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18151:5-18160:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18469:13-18472:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18475:17-18478:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18493:19-18496:19 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
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
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/phpspy/main.c:18630:15-18652:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18656:15-18662:15 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18666:15-18669:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18700:29-18703:29 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
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
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
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
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18862:15-18865:15 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18868:19-18871:19 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18886:21-18889:21 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
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
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
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
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
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
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/phpspy/main.c:19023:17-19045:17 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19049:17-19055:17 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19059:17-19062:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19093:31-19096:31 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19214:11-19225:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19227:11-19300:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19309:11-19312:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19355:13-19366:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19368:13-19441:13 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19450:13-19453:13 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
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19467:5-19490:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19554:13-19557:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19562:11-19565:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19566:11-19579:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19611:11-19614:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19619:9-19622:9 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19623:9-19636:9 with factor 5
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 296
functionCalls: 5870
loops: 914
loopBreaks: 0
controlFlowStatements: 35362
expressions: 133854
instructions: 18563
integralVars: (52,1118)
arrayVars: (16,62)
pointerVars: (22,862)

Complexity estimates:
File: 49206052313
function cap_trie_deinit is recursive, disable interval and interval_set contexts
function extract_event is recursive, disable interval and interval_set contexts
Total: 49206052313
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.825
vars: 26339, evals: 57415

|rho|=26339
|stable|=23486
|infl|=26320
|wpoint|=17
|sides|=476
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25727
|called|=52
Found 137 contexts for 9 functions. Top 5 functions:
40	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
31	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
31	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
17	contexts for L:entry state of strtol_with_min_or_exit (7601) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
10	contexts for L:entry state of atoi_with_min_or_exit (7602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=24368.47MB, max=230.87MB, minor=24330.82MB, major=568.55MB, promoted=530.90MB
    minor collections=11612  major collections=18 compactions=0


runtime: 00:00:20.861
vars: 31366, evals: 77890

|rho|=31366
|stable|=23453
|infl|=31337
|wpoint|=18
|sides|=749
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30403
|called|=32
Found 205 contexts for 28 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
21	contexts for L:entry state of strtol_with_min_or_exit (7601) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
12	contexts for L:entry state of atoi_with_min_or_exit (7602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=48374.72MB, max=305.32MB, minor=48336.72MB, major=1034.23MB, promoted=996.23MB
    minor collections=23061  major collections=23 compactions=0


runtime: 00:00:30.884
vars: 34095, evals: 95660

|rho|=34095
|stable|=26385
|infl|=34054
|wpoint|=18
|sides|=1026
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32740
|called|=47
Found 311 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=71926.87MB, max=305.32MB, minor=71887.72MB, major=1472.47MB, promoted=1433.32MB
    minor collections=34294  major collections=28 compactions=0


runtime: 00:00:40.916
vars: 34630, evals: 118017

|rho|=34630
|stable|=26371
|infl|=34591
|wpoint|=20
|sides|=1036
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33255
|called|=51
Found 321 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=93998.71MB, max=351.13MB, minor=93959.02MB, major=1686.97MB, promoted=1647.28MB
    minor collections=44820  major collections=30 compactions=0


runtime: 00:00:50.927
vars: 35247, evals: 140119

|rho|=35247
|stable|=27147
|infl|=35206
|wpoint|=20
|sides|=1050
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33844
|called|=52
Found 335 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
30	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1

Memory statistics: total=115733.36MB, max=351.13MB, minor=115693.66MB, major=1903.74MB, promoted=1864.03MB
    minor collections=55185  major collections=32 compactions=0


runtime: 00:01:00.939
vars: 35805, evals: 161058

|rho|=35805
|stable|=27869
|infl|=35764
|wpoint|=21
|sides|=1062
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34378
|called|=51
Found 347 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=136434.92MB, max=351.13MB, minor=136395.20MB, major=2112.66MB, promoted=2072.93MB
    minor collections=65057  major collections=34 compactions=0


runtime: 00:01:10.950
vars: 36361, evals: 182302

|rho|=36361
|stable|=27970
|infl|=36320
|wpoint|=20
|sides|=1073
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34912
|called|=47
Found 358 contexts for 49 functions. Top 5 functions:
53	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=157456.86MB, max=351.13MB, minor=157417.12MB, major=2317.81MB, promoted=2278.07MB
    minor collections=75082  major collections=36 compactions=0


runtime: 00:01:20.966
vars: 36966, evals: 203707

|rho|=36966
|stable|=28674
|infl|=36925
|wpoint|=22
|sides|=1086
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35491
|called|=53
Found 371 contexts for 49 functions. Top 5 functions:
66	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=178479.06MB, max=351.13MB, minor=178439.30MB, major=2525.86MB, promoted=2486.10MB
    minor collections=85108  major collections=38 compactions=0


runtime: 00:01:30.986
vars: 37509, evals: 224191

|rho|=37509
|stable|=29453
|infl|=37468
|wpoint|=22
|sides|=1098
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36010
|called|=47
Found 383 contexts for 49 functions. Top 5 functions:
78	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=198921.76MB, max=351.13MB, minor=198881.98MB, major=2731.14MB, promoted=2691.36MB
    minor collections=94857  major collections=40 compactions=0


runtime: 00:01:40.997
vars: 38050, evals: 244877

|rho|=38050
|stable|=29514
|infl|=38009
|wpoint|=22
|sides|=1109
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36529
|called|=45
Found 394 contexts for 49 functions. Top 5 functions:
89	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=219693.72MB, max=403.80MB, minor=219653.92MB, major=2932.38MB, promoted=2892.58MB
    minor collections=104763  major collections=42 compactions=0


runtime: 00:01:51.017
vars: 38625, evals: 265303

|rho|=38625
|stable|=30229
|infl|=38586
|wpoint|=24
|sides|=1121
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37080
|called|=46
Found 406 contexts for 49 functions. Top 5 functions:
101	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=240720.70MB, max=403.80MB, minor=240680.87MB, major=3137.68MB, promoted=3097.86MB
    minor collections=114790  major collections=44 compactions=0


runtime: 00:02:01.032
vars: 39070, evals: 284649

|rho|=39070
|stable|=30745
|infl|=39037
|wpoint|=23
|sides|=1130
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37506
|called|=48
Found 415 contexts for 49 functions. Top 5 functions:
110	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=261752.53MB, max=403.80MB, minor=261712.68MB, major=3343.85MB, promoted=3304.01MB
    minor collections=124820  major collections=46 compactions=0


runtime: 00:02:11.048
vars: 39698, evals: 305561

|rho|=39698
|stable|=30986
|infl|=39657
|wpoint|=25
|sides|=1144
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38107
|called|=53
Found 429 contexts for 49 functions. Top 5 functions:
124	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=282548.96MB, max=403.80MB, minor=282509.09MB, major=3544.81MB, promoted=3504.94MB
    minor collections=134737  major collections=47 compactions=0


runtime: 00:02:21.063
vars: 40273, evals: 326159

|rho|=40273
|stable|=31728
|infl|=40234
|wpoint|=27
|sides|=1156
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38658
|called|=53
Found 441 contexts for 49 functions. Top 5 functions:
136	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=303168.73MB, max=403.80MB, minor=303128.84MB, major=3747.57MB, promoted=3707.68MB
    minor collections=144571  major collections=49 compactions=0


runtime: 00:02:31.083
vars: 40743, evals: 345903

|rho|=40743
|stable|=31824
|infl|=40704
|wpoint|=26
|sides|=1166
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39108
|called|=45
Found 451 contexts for 49 functions. Top 5 functions:
146	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=323388.70MB, max=403.80MB, minor=323348.79MB, major=3947.05MB, promoted=3907.14MB
    minor collections=154213  major collections=50 compactions=0


runtime: 00:02:41.098
vars: 41340, evals: 366176

|rho|=41340
|stable|=32535
|infl|=41299
|wpoint|=26
|sides|=1179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39679
|called|=48
Found 464 contexts for 49 functions. Top 5 functions:
159	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=343981.13MB, max=464.37MB, minor=343940.66MB, major=4145.84MB, promoted=4105.37MB
    minor collections=164033  major collections=52 compactions=0


runtime: 00:02:51.114
vars: 41873, evals: 385851

|rho|=41873
|stable|=33407
|infl|=41839
|wpoint|=26
|sides|=1190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40189
|called|=44
Found 475 contexts for 49 functions. Top 5 functions:
170	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=364259.66MB, max=464.37MB, minor=364219.17MB, major=4344.51MB, promoted=4304.02MB
    minor collections=173703  major collections=53 compactions=0


runtime: 00:03:01.138
vars: 42370, evals: 405534

|rho|=42370
|stable|=33383
|infl|=42334
|wpoint|=27
|sides|=1200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40667
|called|=39
Found 485 contexts for 49 functions. Top 5 functions:
180	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=384692.57MB, max=464.37MB, minor=384652.06MB, major=4541.83MB, promoted=4501.32MB
    minor collections=183447  major collections=55 compactions=0


runtime: 00:03:11.149
vars: 42953, evals: 425511

|rho|=42953
|stable|=34061
|infl|=42912
|wpoint|=28
|sides|=1213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41224
|called|=46
Found 498 contexts for 49 functions. Top 5 functions:
193	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=405007.60MB, max=464.37MB, minor=404967.06MB, major=4740.04MB, promoted=4699.51MB
    minor collections=193135  major collections=56 compactions=0


runtime: 00:03:21.161
vars: 43469, evals: 445033

|rho|=43469
|stable|=34780
|infl|=43430
|wpoint|=32
|sides|=1224
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41718
|called|=52
Found 509 contexts for 49 functions. Top 5 functions:
204	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=425215.99MB, max=464.37MB, minor=425175.43MB, major=4939.83MB, promoted=4899.27MB
    minor collections=202772  major collections=58 compactions=0


runtime: 00:03:31.184
vars: 43993, evals: 464872

|rho|=43993
|stable|=34819
|infl|=43952
|wpoint|=30
|sides|=1235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42220
|called|=53
Found 520 contexts for 49 functions. Top 5 functions:
215	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=446096.84MB, max=464.37MB, minor=446056.26MB, major=5138.43MB, promoted=5097.84MB
    minor collections=212730  major collections=59 compactions=0


runtime: 00:03:41.203
vars: 44562, evals: 484934

|rho|=44562
|stable|=35538
|infl|=44523
|wpoint|=32
|sides|=1247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42765
|called|=53
Found 532 contexts for 49 functions. Top 5 functions:
227	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=466876.82MB, max=464.37MB, minor=466836.21MB, major=5339.47MB, promoted=5298.85MB
    minor collections=222640  major collections=61 compactions=0


runtime: 00:03:51.231
vars: 45010, evals: 503954

|rho|=45010
|stable|=35613
|infl|=44975
|wpoint|=35
|sides|=1256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43195
|called|=53
Found 541 contexts for 49 functions. Top 5 functions:
236	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=486961.98MB, max=464.37MB, minor=486921.34MB, major=5536.04MB, promoted=5495.40MB
    minor collections=232218  major collections=62 compactions=0


runtime: 00:04:01.258
vars: 64704, evals: 528905

|rho|=64704
|stable|=55570
|infl|=64663
|wpoint|=36
|sides|=1924
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61699
|called|=77
Found 1052 contexts for 69 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
139	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
139	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
52	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
42	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=507779.16MB, max=534.03MB, minor=507737.26MB, major=5849.66MB, promoted=5807.76MB
    minor collections=242144  major collections=64 compactions=0


runtime: 00:04:11.334
vars: 79211, evals: 548356

|rho|=79211
|stable|=31627
|infl|=79199
|wpoint|=51
|sides|=2503
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75199
|called|=50
Found 1464 contexts for 80 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
227	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
109	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=528670.92MB, max=706.25MB, minor=528623.77MB, major=6212.31MB, promoted=6165.17MB
    minor collections=252105  major collections=65 compactions=0


runtime: 00:04:21.365
vars: 79211, evals: 565666

|rho|=79211
|stable|=48937
|infl|=79199
|wpoint|=54
|sides|=2503
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75199
|called|=74
Found 1464 contexts for 80 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
227	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
109	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=548333.94MB, max=812.19MB, minor=548286.37MB, major=6517.49MB, promoted=6469.92MB
    minor collections=261482  major collections=67 compactions=0


runtime: 00:04:31.385
vars: 83303, evals: 588067

|rho|=83303
|stable|=39691
|infl|=83290
|wpoint|=52
|sides|=2601
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79185
|called|=56
Found 1471 contexts for 82 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
227	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
109	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=568585.95MB, max=934.02MB, minor=568528.44MB, major=6802.82MB, promoted=6745.32MB
    minor collections=271134  major collections=68 compactions=0


runtime: 00:04:41.404
vars: 83664, evals: 606960

|rho|=83664
|stable|=58235
|infl|=83634
|wpoint|=54
|sides|=2631
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79510
|called|=47
Found 1482 contexts for 83 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
228	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
228	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
109	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=588781.66MB, max=934.02MB, minor=588723.96MB, major=7066.56MB, promoted=7008.86MB
    minor collections=280765  major collections=69 compactions=0


runtime: 00:04:51.420
vars: 93192, evals: 625214

|rho|=93192
|stable|=69268
|infl|=93166
|wpoint|=67
|sides|=3110
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88148
|called|=84
Found 1893 contexts for 86 functions. Top 5 functions:
242	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
242	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
186	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
89	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=609729.40MB, max=934.02MB, minor=609671.37MB, major=7422.91MB, promoted=7364.88MB
    minor collections=290754  major collections=70 compactions=0


runtime: 00:05:01.427
vars: 111140, evals: 645311

|rho|=111140
|stable|=87076
|infl|=111112
|wpoint|=68
|sides|=3543
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105230
|called|=80
Found 2326 contexts for 86 functions. Top 5 functions:
376	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
376	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
199	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
117	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=629662.55MB, max=934.02MB, minor=629602.97MB, major=7711.64MB, promoted=7652.06MB
    minor collections=300259  major collections=71 compactions=0


runtime: 00:05:11.471
vars: 122692, evals: 662297

|rho|=122692
|stable|=98656
|infl|=122663
|wpoint|=82
|sides|=3794
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116286
|called|=32
Found 2572 contexts for 86 functions. Top 5 functions:
447	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
447	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
204	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
140	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=649956.84MB, max=1074.12MB, minor=649893.26MB, major=8049.97MB, promoted=7986.39MB
    minor collections=309935  major collections=72 compactions=0


runtime: 00:05:21.522
vars: 127975, evals: 673615

|rho|=127975
|stable|=103941
|infl|=127945
|wpoint|=86
|sides|=4009
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121140
|called|=49
Found 2786 contexts for 86 functions. Top 5 functions:
456	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
456	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
250	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
142	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=670742.34MB, max=1235.24MB, minor=670678.33MB, major=8503.17MB, promoted=8439.16MB
    minor collections=319847  major collections=73 compactions=0


runtime: 00:05:31.574
vars: 139343, evals: 690591

|rho|=139343
|stable|=114490
|infl|=139317
|wpoint|=100
|sides|=4471
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131583
|called|=82
Found 3248 contexts for 86 functions. Top 5 functions:
486	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
486	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
333	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
176	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=690634.24MB, max=1420.53MB, minor=690562.90MB, major=8795.44MB, promoted=8724.10MB
    minor collections=329329  major collections=73 compactions=0


runtime: 00:05:41.605
vars: 154163, evals: 707247

|rho|=154163
|stable|=129126
|infl|=154135
|wpoint|=99
|sides|=4823
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145699
|called|=83
Found 3600 contexts for 86 functions. Top 5 functions:
598	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
598	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
340	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
187	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=709979.72MB, max=1420.53MB, minor=709905.73MB, major=9055.46MB, promoted=8981.47MB
    minor collections=338553  major collections=74 compactions=0


runtime: 00:05:51.617
vars: 166104, evals: 723361

|rho|=166104
|stable|=141095
|infl|=166077
|wpoint|=114
|sides|=5076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157134
|called|=32
Found 3853 contexts for 86 functions. Top 5 functions:
675	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
675	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=729747.92MB, max=1420.53MB, minor=729667.53MB, major=9335.27MB, promoted=9254.89MB
    minor collections=347977  major collections=75 compactions=0


runtime: 00:06:01.692
vars: 170685, evals: 733885

|rho|=170685
|stable|=145685
|infl|=170656
|wpoint|=115
|sides|=5265
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161338
|called|=32
Found 4042 contexts for 86 functions. Top 5 functions:
683	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
683	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
391	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
214	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=750865.53MB, max=1633.61MB, minor=750784.46MB, major=9775.03MB, promoted=9693.96MB
    minor collections=358046  major collections=75 compactions=0


runtime: 00:06:11.736
vars: 175103, evals: 746663

|rho|=175103
|stable|=149986
|infl|=175072
|wpoint|=118
|sides|=5475
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165335
|called|=34
Found 4251 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
245	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=771595.38MB, max=1878.66MB, minor=771513.93MB, major=10069.29MB, promoted=9987.85MB
    minor collections=367932  major collections=76 compactions=0


runtime: 00:06:21.795
vars: 175453, evals: 760161

|rho|=175453
|stable|=150057
|infl|=175422
|wpoint|=117
|sides|=5482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165671
|called|=33
Found 4258 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
252	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=792557.78MB, max=1878.66MB, minor=792476.30MB, major=10246.74MB, promoted=10165.26MB
    minor collections=377927  major collections=76 compactions=0


runtime: 00:06:31.807
vars: 175748, evals: 773498

|rho|=175748
|stable|=150283
|infl|=175723
|wpoint|=117
|sides|=5488
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165953
|called|=60
Found 4264 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
258	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=813643.50MB, max=1878.66MB, minor=813562.01MB, major=10439.26MB, promoted=10357.77MB
    minor collections=387983  major collections=77 compactions=0


runtime: 00:06:41.818
vars: 176200, evals: 787499

|rho|=176200
|stable|=150791
|infl|=176167
|wpoint|=118
|sides|=5498
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166386
|called|=39
Found 4274 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
268	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=834423.72MB, max=1878.66MB, minor=834342.20MB, major=10618.05MB, promoted=10536.53MB
    minor collections=397892  major collections=77 compactions=0


runtime: 00:06:51.834
vars: 176513, evals: 800942

|rho|=176513
|stable|=150821
|infl|=176482
|wpoint|=120
|sides|=5505
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166685
|called|=43
Found 4281 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
275	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=855049.26MB, max=1878.66MB, minor=854967.73MB, major=10804.80MB, promoted=10723.27MB
    minor collections=407727  major collections=77 compactions=0


runtime: 00:07:01.841
vars: 176951, evals: 815351

|rho|=176951
|stable|=151607
|infl|=176920
|wpoint|=119
|sides|=5514
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167105
|called|=35
Found 4290 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
284	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=876062.23MB, max=1878.66MB, minor=875980.68MB, major=10992.38MB, promoted=10910.83MB
    minor collections=417747  major collections=77 compactions=0


runtime: 00:07:11.857
vars: 177293, evals: 828936

|rho|=177293
|stable|=151607
|infl|=177260
|wpoint|=119
|sides|=5521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167433
|called|=37
Found 4297 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
291	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=896348.41MB, max=1878.66MB, minor=896266.84MB, major=11173.65MB, promoted=11092.08MB
    minor collections=427420  major collections=78 compactions=0


runtime: 00:07:21.872
vars: 177683, evals: 842447

|rho|=177683
|stable|=152316
|infl|=177650
|wpoint|=120
|sides|=5530
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167805
|called|=38
Found 4306 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
300	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=916286.80MB, max=1878.66MB, minor=916205.20MB, major=11356.29MB, promoted=11274.69MB
    minor collections=436928  major collections=78 compactions=0


runtime: 00:07:31.884
vars: 178050, evals: 856762

|rho|=178050
|stable|=152360
|infl|=178019
|wpoint|=121
|sides|=5537
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168158
|called|=38
Found 4313 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
307	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=937381.22MB, max=1878.66MB, minor=937299.60MB, major=11540.35MB, promoted=11458.74MB
    minor collections=446987  major collections=78 compactions=0


runtime: 00:07:41.895
vars: 178432, evals: 870418

|rho|=178432
|stable|=153019
|infl|=178399
|wpoint|=122
|sides|=5546
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168522
|called|=44
Found 4322 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
316	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=957783.07MB, max=1878.66MB, minor=957701.44MB, major=11728.92MB, promoted=11647.29MB
    minor collections=456716  major collections=79 compactions=0


runtime: 00:07:51.907
vars: 178799, evals: 884019

|rho|=178799
|stable|=153103
|infl|=178768
|wpoint|=122
|sides|=5553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168875
|called|=38
Found 4329 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
323	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=977864.14MB, max=1878.66MB, minor=977782.48MB, major=11901.54MB, promoted=11819.89MB
    minor collections=466291  major collections=79 compactions=0


runtime: 00:08:01.922
vars: 179113, evals: 897629

|rho|=179113
|stable|=153096
|infl|=179082
|wpoint|=123
|sides|=5560
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169175
|called|=46
Found 4336 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
330	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=998581.39MB, max=1878.66MB, minor=998499.72MB, major=12092.68MB, promoted=12011.01MB
    minor collections=476170  major collections=79 compactions=0


runtime: 00:08:11.934
vars: 179543, evals: 911201

|rho|=179543
|stable|=153837
|infl|=179510
|wpoint|=122
|sides|=5569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169587
|called|=39
Found 4345 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
339	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1019239.42MB, max=1878.66MB, minor=1019157.72MB, major=12274.54MB, promoted=12192.84MB
    minor collections=486021  major collections=80 compactions=0


runtime: 00:08:21.946
vars: 179848, evals: 923730

|rho|=179848
|stable|=153902
|infl|=179817
|wpoint|=123
|sides|=5575
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169880
|called|=37
Found 4351 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
345	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1039027.29MB, max=1878.66MB, minor=1038945.56MB, major=12451.69MB, promoted=12369.96MB
    minor collections=495457  major collections=80 compactions=0


runtime: 00:08:31.957
vars: 180247, evals: 937408

|rho|=180247
|stable|=154567
|infl|=180216
|wpoint|=125
|sides|=5584
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170261
|called|=43
Found 4360 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
354	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1059874.38MB, max=1878.66MB, minor=1059792.64MB, major=12639.29MB, promoted=12557.55MB
    minor collections=505398  major collections=80 compactions=0


runtime: 00:08:41.973
vars: 180597, evals: 950944

|rho|=180597
|stable|=154657
|infl|=180566
|wpoint|=124
|sides|=5591
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170597
|called|=37
Found 4367 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
361	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1080180.96MB, max=1878.66MB, minor=1080099.20MB, major=12817.48MB, promoted=12735.72MB
    minor collections=515081  major collections=81 compactions=0


runtime: 00:08:51.988
vars: 180961, evals: 963976

|rho|=180961
|stable|=155332
|infl|=180928
|wpoint|=126
|sides|=5600
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170943
|called|=43
Found 4376 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
370	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1099919.81MB, max=1878.66MB, minor=1099838.02MB, major=13002.68MB, promoted=12920.89MB
    minor collections=524494  major collections=81 compactions=0


runtime: 00:09:02.004
vars: 181329, evals: 977463

|rho|=181329
|stable|=155362
|infl|=181296
|wpoint|=125
|sides|=5607
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171297
|called|=44
Found 4383 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
377	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1120124.79MB, max=1878.66MB, minor=1120042.99MB, major=13177.01MB, promoted=13095.20MB
    minor collections=534128  major collections=81 compactions=0


runtime: 00:09:12.019
vars: 181640, evals: 990785

|rho|=181640
|stable|=155477
|infl|=181610
|wpoint|=124
|sides|=5613
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171596
|called|=42
Found 4389 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
383	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1140478.92MB, max=1878.66MB, minor=1140397.09MB, major=13356.11MB, promoted=13274.28MB
    minor collections=543835  major collections=82 compactions=0


runtime: 00:09:22.039
vars: 182047, evals: 1004258

|rho|=182047
|stable|=156242
|infl|=182021
|wpoint|=124
|sides|=5622
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171984
|called|=45
Found 4398 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
392	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1160552.57MB, max=1878.66MB, minor=1160470.69MB, major=13537.89MB, promoted=13456.02MB
    minor collections=553407  major collections=82 compactions=0


runtime: 00:09:32.062
vars: 182384, evals: 1017375

|rho|=182384
|stable|=156141
|infl|=182351
|wpoint|=126
|sides|=5629
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172308
|called|=45
Found 4405 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
399	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1180556.61MB, max=1878.66MB, minor=1180474.71MB, major=13713.93MB, promoted=13632.03MB
    minor collections=562945  major collections=82 compactions=0


runtime: 00:09:42.074
vars: 182771, evals: 1030839

|rho|=182771
|stable|=156897
|infl|=182738
|wpoint|=126
|sides|=5638
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172677
|called|=39
Found 4414 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
408	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1201218.03MB, max=1878.66MB, minor=1201136.10MB, major=13900.85MB, promoted=13818.92MB
    minor collections=572798  major collections=82 compactions=0


runtime: 00:09:52.086
vars: 183096, evals: 1043580

|rho|=183096
|stable|=157192
|infl|=183070
|wpoint|=125
|sides|=5644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172989
|called|=45
Found 4420 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
414	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1221343.95MB, max=1878.66MB, minor=1221261.98MB, major=14076.14MB, promoted=13994.17MB
    minor collections=582395  major collections=83 compactions=0


runtime: 00:10:02.141
vars: 183382, evals: 1055721

|rho|=183382
|stable|=156978
|infl|=183351
|wpoint|=127
|sides|=5650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173264
|called|=34
Found 4426 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
420	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1240877.97MB, max=2160.46MB, minor=1240795.97MB, major=14249.92MB, promoted=14167.92MB
    minor collections=591710  major collections=83 compactions=0


runtime: 00:10:12.157
vars: 183811, evals: 1069329

|rho|=183811
|stable|=157666
|infl|=183778
|wpoint|=128
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173673
|called|=43
Found 4436 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
430	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1261299.94MB, max=2160.46MB, minor=1261217.92MB, major=14431.14MB, promoted=14349.12MB
    minor collections=601448  major collections=83 compactions=0


runtime: 00:10:22.168
vars: 184125, evals: 1082260

|rho|=184125
|stable|=157733
|infl|=184094
|wpoint|=128
|sides|=5666
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173975
|called|=37
Found 4442 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
436	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1281304.54MB, max=2160.46MB, minor=1281222.49MB, major=14608.47MB, promoted=14526.42MB
    minor collections=610987  major collections=84 compactions=0


runtime: 00:10:32.184
vars: 184510, evals: 1095175

|rho|=184510
|stable|=158416
|infl|=184477
|wpoint|=130
|sides|=5675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174342
|called|=44
Found 4451 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
445	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1301364.48MB, max=2160.46MB, minor=1301282.39MB, major=14785.45MB, promoted=14703.35MB
    minor collections=620553  major collections=84 compactions=0


runtime: 00:10:42.212
vars: 184840, evals: 1107813

|rho|=184840
|stable|=158426
|infl|=184807
|wpoint|=129
|sides|=5681
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174660
|called|=44
Found 4457 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
451	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1321388.18MB, max=2160.46MB, minor=1321306.06MB, major=14955.85MB, promoted=14873.73MB
    minor collections=630101  major collections=84 compactions=0


runtime: 00:10:52.223
vars: 185205, evals: 1120664

|rho|=185205
|stable|=159126
|infl|=185174
|wpoint|=130
|sides|=5690
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175007
|called|=39
Found 4466 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
460	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1341969.30MB, max=2160.46MB, minor=1341887.14MB, major=15142.30MB, promoted=15060.14MB
    minor collections=639916  major collections=85 compactions=0


runtime: 00:11:02.238
vars: 185540, evals: 1133526

|rho|=185540
|stable|=159195
|infl|=185511
|wpoint|=133
|sides|=5696
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175330
|called|=44
Found 4472 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
466	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1361942.54MB, max=2160.46MB, minor=1361860.35MB, major=15312.05MB, promoted=15229.85MB
    minor collections=649440  major collections=85 compactions=0


runtime: 00:11:12.262
vars: 185839, evals: 1145916

|rho|=185839
|stable|=159221
|infl|=185812
|wpoint|=133
|sides|=5702
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175617
|called|=44
Found 4478 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
472	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1381733.52MB, max=2160.46MB, minor=1381651.28MB, major=15486.52MB, promoted=15404.29MB
    minor collections=658877  major collections=85 compactions=0


runtime: 00:11:22.273
vars: 190069, evals: 1161354

|rho|=190069
|stable|=166320
|infl|=190048
|wpoint|=129
|sides|=5949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179456
|called|=22
Found 4607 contexts for 95 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1402497.44MB, max=2160.46MB, minor=1402413.56MB, major=15718.36MB, promoted=15634.48MB
    minor collections=668777  major collections=85 compactions=0


runtime: 00:11:32.297
vars: 191816, evals: 1175911

|rho|=191816
|stable|=50099
|infl|=191805
|wpoint|=128
|sides|=6012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181112
|called|=41
Found 4623 contexts for 101 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1422126.80MB, max=2160.46MB, minor=1422042.71MB, major=15874.56MB, promoted=15790.47MB
    minor collections=678138  major collections=86 compactions=0


runtime: 00:11:42.328
vars: 204249, evals: 1199668

|rho|=204249
|stable|=64762
|infl|=204083
|wpoint|=149
|sides|=6318
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193106
|called|=215
Found 4794 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1441727.73MB, max=2160.46MB, minor=1441642.98MB, major=16038.27MB, promoted=15953.53MB
    minor collections=687484  major collections=86 compactions=0


runtime: 00:11:52.339
vars: 242325, evals: 1244624

|rho|=242325
|stable|=98439
|infl|=241510
|wpoint|=229
|sides|=6719
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230621
|called|=942
Found 5195 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1459535.28MB, max=2160.46MB, minor=1459449.22MB, major=16195.42MB, promoted=16109.36MB
    minor collections=695975  major collections=86 compactions=0


runtime: 00:12:02.359
vars: 276859, evals: 1285419

|rho|=276859
|stable|=128979
|infl|=275475
|wpoint|=302
|sides|=7082
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264646
|called|=1584
Found 5558 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1476218.06MB, max=2160.46MB, minor=1476117.49MB, major=16352.49MB, promoted=16251.92MB
    minor collections=703926  major collections=86 compactions=0


runtime: 00:12:12.378
vars: 308749, evals: 1323088

|rho|=308749
|stable|=157162
|infl|=306823
|wpoint|=369
|sides|=7418
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=296066
|called|=2198
Found 5894 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
264	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1492000.66MB, max=2160.46MB, minor=1491897.99MB, major=16487.19MB, promoted=16384.52MB
    minor collections=711451  major collections=87 compactions=0


runtime: 00:12:22.401
vars: 338260, evals: 1357932

|rho|=338260
|stable|=183264
|infl|=335838
|wpoint|=431
|sides|=7728
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=325143
|called|=2751
Found 6204 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
326	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1506885.32MB, max=2160.46MB, minor=1506780.66MB, major=16613.62MB, promoted=16508.96MB
    minor collections=718548  major collections=87 compactions=0


runtime: 00:12:32.541
vars: 365741, evals: 1390383

|rho|=365741
|stable|=207576
|infl|=362853
|wpoint|=489
|sides|=8017
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=352219
|called|=3275
Found 6493 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
384	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1521003.27MB, max=2160.46MB, minor=1520896.65MB, major=16731.29MB, promoted=16624.67MB
    minor collections=725279  major collections=87 compactions=0


runtime: 00:12:42.564
vars: 393017, evals: 1422580

|rho|=393017
|stable|=231694
|infl|=389672
|wpoint|=546
|sides|=8305
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379091
|called|=3788
Found 6781 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
442	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
437	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=1534783.21MB, max=2160.46MB, minor=1534675.92MB, major=16847.71MB, promoted=16740.42MB
    minor collections=731850  major collections=87 compactions=0


runtime: 00:12:52.588
vars: 418949, evals: 1453226

|rho|=418949
|stable|=254588
|infl|=415167
|wpoint|=601
|sides|=8578
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404642
|called|=4283
Found 7054 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
496	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
476	contexts for L:entry state of cap_trie_deinit (7536) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
476	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1

Memory statistics: total=1548351.75MB, max=2160.46MB, minor=1548243.26MB, major=16958.46MB, promoted=16849.97MB
    minor collections=738319  major collections=87 compactions=0


runtime: 00:13:02.603
vars: 443729, evals: 1482497

|rho|=443729
|stable|=276521
|infl|=439529
|wpoint|=653
|sides|=8839
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=429057
|called|=4752
Found 7315 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
549	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
528	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
522	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1561621.28MB, max=2160.46MB, minor=1561507.03MB, major=17070.62MB, promoted=16956.38MB
    minor collections=744646  major collections=87 compactions=0


runtime: 00:13:12.619
vars: 466924, evals: 1509902

|rho|=466924
|stable|=297023
|infl|=462335
|wpoint|=702
|sides|=9083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=451910
|called|=5189
Found 7559 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
597	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
577	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
571	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1574217.28MB, max=2160.46MB, minor=1574101.33MB, major=17172.53MB, promoted=17056.59MB
    minor collections=750652  major collections=88 compactions=0


runtime: 00:13:22.634
vars: 488960, evals: 1535896

|rho|=488960
|stable|=316527
|infl|=484003
|wpoint|=748
|sides|=9314
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473621
|called|=5603
Found 7790 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
644	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
623	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
617	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1586351.42MB, max=2160.46MB, minor=1586233.71MB, major=17271.29MB, promoted=17153.59MB
    minor collections=756437  major collections=88 compactions=0


runtime: 00:13:32.714
vars: 510494, evals: 1561337

|rho|=510494
|stable|=335564
|infl|=505176
|wpoint|=795
|sides|=9540
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494839
|called|=6011
Found 8016 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
693	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
689	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
668	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
662	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1598384.29MB, max=2484.53MB, minor=1598264.77MB, major=17367.79MB, promoted=17248.26MB
    minor collections=762174  major collections=88 compactions=0


runtime: 00:13:42.789
vars: 530574, evals: 1585057

|rho|=530574
|stable|=353324
|infl|=524908
|wpoint|=836
|sides|=9753
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514622
|called|=6400
Found 8229 contexts for 112 functions. Top 5 functions:
731	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
711	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
705	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
704	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
704	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1609798.20MB, max=2484.53MB, minor=1609660.16MB, major=17474.11MB, promoted=17336.06MB
    minor collections=767609  major collections=88 compactions=0


runtime: 00:13:52.857
vars: 551531, evals: 1609817

|rho|=551531
|stable|=371840
|infl|=545514
|wpoint|=880
|sides|=9973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535271
|called|=6795
Found 8449 contexts for 112 functions. Top 5 functions:
775	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
755	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
749	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
748	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
748	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1621262.53MB, max=2484.53MB, minor=1621115.13MB, major=17574.62MB, promoted=17427.22MB
    minor collections=773072  major collections=88 compactions=0


runtime: 00:14:02.868
vars: 572560, evals: 1634632

|rho|=572560
|stable|=390447
|infl|=566197
|wpoint|=924
|sides|=10194
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=555989
|called|=7185
Found 8670 contexts for 112 functions. Top 5 functions:
820	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
799	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
793	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
792	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
792	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1632708.07MB, max=2484.53MB, minor=1632560.28MB, major=17666.25MB, promoted=17518.46MB
    minor collections=778530  major collections=88 compactions=0


runtime: 00:14:12.883
vars: 592572, evals: 1658288

|rho|=592572
|stable|=408122
|infl|=585870
|wpoint|=966
|sides|=10405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=575706
|called|=7574
Found 8881 contexts for 112 functions. Top 5 functions:
862	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
841	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
835	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
835	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
834	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1644007.16MB, max=2484.53MB, minor=1643858.63MB, major=17754.56MB, promoted=17606.04MB
    minor collections=783918  major collections=88 compactions=0


runtime: 00:14:22.902
vars: 611992, evals: 1681220

|rho|=611992
|stable|=425292
|infl|=604962
|wpoint|=1007
|sides|=10610
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=594839
|called|=7936
Found 9086 contexts for 112 functions. Top 5 functions:
903	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
882	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
876	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
876	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
875	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1655221.44MB, max=2484.53MB, minor=1655071.83MB, major=17841.41MB, promoted=17691.80MB
    minor collections=789264  major collections=88 compactions=0


runtime: 00:14:32.914
vars: 630931, evals: 1703582

|rho|=630931
|stable|=442053
|infl|=623583
|wpoint|=1047
|sides|=10809
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=613500
|called|=8293
Found 9285 contexts for 112 functions. Top 5 functions:
943	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
922	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
916	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
915	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
915	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1666320.09MB, max=2484.53MB, minor=1666168.95MB, major=17926.97MB, promoted=17775.83MB
    minor collections=794556  major collections=88 compactions=0


runtime: 00:14:42.925
vars: 648780, evals: 1724679

|rho|=648780
|stable|=457835
|infl|=641130
|wpoint|=1085
|sides|=10996
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=631087
|called|=8633
Found 9472 contexts for 112 functions. Top 5 functions:
980	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
959	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
953	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
953	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
953	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1676932.06MB, max=2484.53MB, minor=1676779.41MB, major=18009.06MB, promoted=17856.41MB
    minor collections=799616  major collections=89 compactions=0


runtime: 00:14:52.945
vars: 666135, evals: 1745149

|rho|=666135
|stable|=473187
|infl|=658196
|wpoint|=1121
|sides|=11179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=648185
|called|=8958
Found 9655 contexts for 112 functions. Top 5 functions:
1017	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
996	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
990	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
989	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
989	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1687355.54MB, max=2484.53MB, minor=1687201.32MB, major=18089.09MB, promoted=17934.87MB
    minor collections=804586  major collections=89 compactions=0

