./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.875
vars: 24310, evals: 52384

|rho|=24310
|stable|=21372
|infl|=24298
|wpoint|=14
|sides|=460
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23729
|called|=13
Found 121 contexts for 9 functions. Top 5 functions:
35	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
28	contexts for L:entry state of cleanup (7581) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
28	contexts for L:entry state of usage (1457) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
14	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
8	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=22561.73MB, max=230.87MB, minor=22524.25MB, major=545.91MB, promoted=508.43MB
    minor collections=10750  major collections=17 compactions=0


runtime: 00:00:20.922
vars: 31211, evals: 76324

|rho|=31211
|stable|=23297
|infl|=31181
|wpoint|=17
|sides|=744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30254
|called|=32
Found 204 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=45502.50MB, max=265.50MB, minor=45464.51MB, major=968.57MB, promoted=930.57MB
    minor collections=21692  major collections=23 compactions=0


runtime: 00:00:30.950
vars: 33365, evals: 91280

|rho|=33365
|stable|=23301
|infl|=33344
|wpoint|=16
|sides|=939
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32142
|called|=42
Found 263 contexts for 44 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
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
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

Memory statistics: total=67749.07MB, max=305.32MB, minor=67709.95MB, major=1403.42MB, promoted=1364.30MB
    minor collections=32301  major collections=27 compactions=0


runtime: 00:00:40.986
vars: 34513, evals: 112838

|rho|=34513
|stable|=26347
|infl|=34472
|wpoint|=19
|sides|=1034
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33142
|called|=53
Found 319 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=88815.95MB, max=351.13MB, minor=88776.26MB, major=1628.26MB, promoted=1588.57MB
    minor collections=42348  major collections=30 compactions=0


runtime: 00:00:50.997
vars: 35059, evals: 133215

|rho|=35059
|stable|=27191
|infl|=35019
|wpoint|=18
|sides|=1046
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33664
|called|=41
Found 331 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
26	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=109040.50MB, max=351.13MB, minor=109000.80MB, major=1829.53MB, promoted=1789.83MB
    minor collections=51993  major collections=32 compactions=0


runtime: 00:01:01.009
vars: 35578, evals: 153712

|rho|=35578
|stable|=27176
|infl|=35541
|wpoint|=22
|sides|=1056
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34163
|called|=52
Found 341 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
36	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
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=129153.66MB, max=351.13MB, minor=129113.94MB, major=2027.28MB, promoted=1987.57MB
    minor collections=61585  major collections=34 compactions=0


runtime: 00:01:11.024
vars: 36161, evals: 174018

|rho|=36161
|stable|=27928
|infl|=36120
|wpoint|=21
|sides|=1069
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34720
|called|=51
Found 354 contexts for 49 functions. Top 5 functions:
49	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=149097.91MB, max=351.13MB, minor=149058.18MB, major=2227.13MB, promoted=2187.39MB
    minor collections=71096  major collections=36 compactions=0


runtime: 00:01:21.040
vars: 36695, evals: 193938

|rho|=36695
|stable|=28691
|infl|=36654
|wpoint|=21
|sides|=1081
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35230
|called|=46
Found 366 contexts for 49 functions. Top 5 functions:
61	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=168960.93MB, max=351.13MB, minor=168921.18MB, major=2427.44MB, promoted=2387.69MB
    minor collections=80568  major collections=37 compactions=0


runtime: 00:01:31.059
vars: 37216, evals: 213998

|rho|=37216
|stable|=28775
|infl|=37176
|wpoint|=20
|sides|=1091
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35731
|called|=47
Found 376 contexts for 49 functions. Top 5 functions:
71	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=188737.65MB, max=351.13MB, minor=188697.88MB, major=2620.18MB, promoted=2580.41MB
    minor collections=90000  major collections=39 compactions=0


runtime: 00:01:41.087
vars: 37776, evals: 233852

|rho|=37776
|stable|=29448
|infl|=37737
|wpoint|=24
|sides|=1103
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36267
|called|=51
Found 388 contexts for 49 functions. Top 5 functions:
83	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=208387.37MB, max=351.13MB, minor=208347.58MB, major=2814.10MB, promoted=2774.31MB
    minor collections=99371  major collections=41 compactions=0


runtime: 00:01:51.102
vars: 38221, evals: 253122

|rho|=38221
|stable|=29888
|infl|=38188
|wpoint|=22
|sides|=1112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36693
|called|=56
Found 397 contexts for 49 functions. Top 5 functions:
92	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=228236.36MB, max=403.80MB, minor=228196.55MB, major=3011.37MB, promoted=2971.56MB
    minor collections=108837  major collections=43 compactions=0


runtime: 00:02:01.110
vars: 38808, evals: 272380

|rho|=38808
|stable|=30249
|infl|=38767
|wpoint|=23
|sides|=1125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37255
|called|=47
Found 410 contexts for 49 functions. Top 5 functions:
105	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=248361.07MB, max=403.80MB, minor=248321.24MB, major=3203.86MB, promoted=3164.02MB
    minor collections=118433  major collections=44 compactions=0


runtime: 00:02:11.126
vars: 39324, evals: 291269

|rho|=39324
|stable|=30964
|infl|=39285
|wpoint|=25
|sides|=1136
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37749
|called|=47
Found 421 contexts for 49 functions. Top 5 functions:
116	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=268044.13MB, max=403.80MB, minor=268004.28MB, major=3397.61MB, promoted=3357.76MB
    minor collections=127820  major collections=46 compactions=0


runtime: 00:02:21.138
vars: 39812, evals: 310483

|rho|=39812
|stable|=31076
|infl|=39774
|wpoint|=24
|sides|=1146
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38217
|called|=57
Found 431 contexts for 49 functions. Top 5 functions:
126	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=287591.07MB, max=403.80MB, minor=287551.20MB, major=3589.07MB, promoted=3549.20MB
    minor collections=137142  major collections=48 compactions=0


runtime: 00:02:31.157
vars: 40371, evals: 329771

|rho|=40371
|stable|=31704
|infl|=40330
|wpoint|=24
|sides|=1158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38752
|called|=46
Found 443 contexts for 49 functions. Top 5 functions:
138	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=306769.36MB, max=403.80MB, minor=306729.46MB, major=3779.09MB, promoted=3739.20MB
    minor collections=146288  major collections=49 compactions=0


runtime: 00:02:41.172
vars: 40887, evals: 348568

|rho|=40887
|stable|=32505
|infl|=40846
|wpoint|=26
|sides|=1170
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39244
|called|=46
Found 455 contexts for 49 functions. Top 5 functions:
150	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=325916.27MB, max=403.80MB, minor=325876.35MB, major=3971.99MB, promoted=3932.07MB
    minor collections=155419  major collections=51 compactions=0


runtime: 00:02:51.192
vars: 41374, evals: 368084

|rho|=41374
|stable|=32989
|infl|=41340
|wpoint|=25
|sides|=1179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39712
|called|=42
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=345920.52MB, max=464.37MB, minor=345880.05MB, major=4163.62MB, promoted=4123.15MB
    minor collections=164958  major collections=52 compactions=0


runtime: 00:03:01.208
vars: 41913, evals: 386849

|rho|=41913
|stable|=33255
|infl|=41872
|wpoint|=28
|sides|=1191
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40228
|called|=53
Found 476 contexts for 49 functions. Top 5 functions:
171	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=365190.96MB, max=464.37MB, minor=365150.47MB, major=4353.86MB, promoted=4313.37MB
    minor collections=174148  major collections=54 compactions=0


runtime: 00:03:11.223
vars: 42359, evals: 404762

|rho|=42359
|stable|=33345
|infl|=42320
|wpoint|=28
|sides|=1200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40656
|called|=45
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=383847.80MB, max=464.37MB, minor=383807.29MB, major=4533.36MB, promoted=4492.85MB
    minor collections=183045  major collections=55 compactions=0


runtime: 00:03:21.235
vars: 42912, evals: 423891

|rho|=42912
|stable|=34053
|infl|=42871
|wpoint|=28
|sides|=1212
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41185
|called|=46
Found 497 contexts for 49 functions. Top 5 functions:
192	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=403263.52MB, max=464.37MB, minor=403222.99MB, major=4724.95MB, promoted=4684.41MB
    minor collections=192303  major collections=56 compactions=0


runtime: 00:03:31.258
vars: 43315, evals: 441903

|rho|=43315
|stable|=34649
|infl|=43282
|wpoint|=28
|sides|=1220
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41571
|called|=44
Found 505 contexts for 49 functions. Top 5 functions:
200	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=422234.06MB, max=464.37MB, minor=422193.51MB, major=4910.15MB, promoted=4869.60MB
    minor collections=201350  major collections=58 compactions=0


runtime: 00:03:41.277
vars: 43893, evals: 460651

|rho|=43893
|stable|=34809
|infl|=43852
|wpoint|=30
|sides|=1233
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42124
|called|=51
Found 518 contexts for 49 functions. Top 5 functions:
213	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=441493.10MB, max=464.37MB, minor=441452.52MB, major=5092.93MB, promoted=5052.35MB
    minor collections=210534  major collections=59 compactions=0


runtime: 00:03:51.292
vars: 44394, evals: 478817

|rho|=44394
|stable|=35523
|infl|=44355
|wpoint|=32
|sides|=1244
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42603
|called|=51
Found 529 contexts for 49 functions. Top 5 functions:
224	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=460514.91MB, max=464.37MB, minor=460474.30MB, major=5278.82MB, promoted=5238.21MB
    minor collections=219605  major collections=60 compactions=0


runtime: 00:04:01.303
vars: 44862, evals: 497045

|rho|=44862
|stable|=35556
|infl|=44823
|wpoint|=30
|sides|=1253
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43053
|called|=47
Found 538 contexts for 49 functions. Top 5 functions:
233	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=479491.38MB, max=464.37MB, minor=479450.75MB, major=5461.18MB, promoted=5420.55MB
    minor collections=228655  major collections=61 compactions=0


runtime: 00:04:11.319
vars: 54915, evals: 517915

|rho|=54915
|stable|=45903
|infl|=54869
|wpoint|=36
|sides|=1691
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52371
|called|=67
Found 825 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
64	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
64	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
51	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 log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1

Memory statistics: total=498547.06MB, max=534.03MB, minor=498505.91MB, major=5704.48MB, promoted=5663.32MB
    minor collections=237742  major collections=63 compactions=0


runtime: 00:04:21.386
vars: 74377, evals: 540105

|rho|=74377
|stable|=65181
|infl|=74337
|wpoint|=37
|sides|=2153
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70914
|called|=46
Found 1281 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
210	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
210	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
66	contexts for L:entry state of convert_num (7563) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1
58	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=517990.00MB, max=614.13MB, minor=517944.24MB, major=6014.23MB, promoted=5968.46MB
    minor collections=247012  major collections=65 compactions=0


runtime: 00:04:31.537
vars: 79211, evals: 555627

|rho|=79211
|stable|=38898
|infl|=79199
|wpoint|=51
|sides|=2503
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75199
|called|=59
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=537113.45MB, max=812.19MB, minor=537066.04MB, major=6357.25MB, promoted=6309.85MB
    minor collections=256131  major collections=66 compactions=0


runtime: 00:04:41.557
vars: 79968, evals: 574650

|rho|=79968
|stable|=29378
|infl|=79944
|wpoint|=51
|sides|=2578
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75880
|called|=38
Found 1466 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=556333.88MB, max=934.02MB, minor=556284.36MB, major=6595.77MB, promoted=6546.25MB
    minor collections=265295  major collections=67 compactions=0


runtime: 00:04:51.588
vars: 83303, evals: 592875

|rho|=83303
|stable|=44499
|infl|=83290
|wpoint|=51
|sides|=2601
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79185
|called|=55
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=574633.08MB, max=934.02MB, minor=574575.45MB, major=6893.89MB, promoted=6836.27MB
    minor collections=274018  major collections=68 compactions=0


runtime: 00:05:01.611
vars: 84990, evals: 610004

|rho|=84990
|stable|=59575
|infl|=84967
|wpoint|=53
|sides|=2693
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80710
|called|=30
Found 1544 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
126	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=594283.50MB, max=934.02MB, minor=594225.74MB, major=7182.01MB, promoted=7124.24MB
    minor collections=283389  major collections=69 compactions=0


runtime: 00:05:11.622
vars: 96292, evals: 628590

|rho|=96292
|stable|=72412
|infl|=96264
|wpoint|=69
|sides|=3191
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91086
|called|=86
Found 1974 contexts for 86 functions. Top 5 functions:
264	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
264	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
192	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
97	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=612793.23MB, max=934.02MB, minor=612734.99MB, major=7455.21MB, promoted=7396.97MB
    minor collections=292215  major collections=70 compactions=0


runtime: 00:05:21.662
vars: 112734, evals: 647157

|rho|=112734
|stable|=88670
|infl|=112706
|wpoint|=69
|sides|=3579
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106752
|called|=79
Found 2362 contexts for 86 functions. Top 5 functions:
388	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
388	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
121	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=631691.16MB, max=934.02MB, minor=631631.34MB, major=7733.16MB, promoted=7673.33MB
    minor collections=301226  major collections=71 compactions=0


runtime: 00:05:31.721
vars: 122692, evals: 662645

|rho|=122692
|stable|=98668
|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=650770.77MB, max=1074.12MB, minor=650707.15MB, major=8059.40MB, promoted=7995.78MB
    minor collections=310323  major collections=72 compactions=0


runtime: 00:05:41.789
vars: 127975, evals: 673612

|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|=54
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=670619.66MB, max=1235.24MB, minor=670555.66MB, major=8484.65MB, promoted=8420.65MB
    minor collections=319788  major collections=73 compactions=0


runtime: 00:05:51.852
vars: 138110, evals: 689193

|rho|=138110
|stable|=113217
|infl|=138080
|wpoint|=98
|sides|=4433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130426
|called|=85
Found 3210 contexts for 86 functions. Top 5 functions:
479	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
479	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
327	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
168	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=689057.74MB, max=1420.53MB, minor=688988.66MB, major=8756.51MB, promoted=8687.42MB
    minor collections=328578  major collections=73 compactions=0


runtime: 00:06:01.871
vars: 152324, evals: 705025

|rho|=152324
|stable|=127345
|infl|=152290
|wpoint|=99
|sides|=4772
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143962
|called|=92
Found 3549 contexts for 86 functions. Top 5 functions:
586	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
586	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
334	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
183	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=707050.49MB, max=1420.53MB, minor=706976.93MB, major=8999.55MB, promoted=8925.99MB
    minor collections=337156  major collections=74 compactions=0


runtime: 00:06:11.910
vars: 164020, evals: 719107

|rho|=164020
|stable|=139021
|infl|=163992
|wpoint|=112
|sides|=5054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155093
|called|=47
Found 3831 contexts for 86 functions. Top 5 functions:
671	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
671	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
210	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=725055.85MB, max=1420.53MB, minor=724978.64MB, major=9254.90MB, promoted=9177.68MB
    minor collections=345741  major collections=74 compactions=0


runtime: 00:06:21.989
vars: 169859, evals: 731155

|rho|=169859
|stable|=144862
|infl|=169827
|wpoint|=114
|sides|=5240
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160562
|called|=34
Found 4017 contexts for 86 functions. Top 5 functions:
681	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
681	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
213	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=744269.12MB, max=1633.61MB, minor=744188.07MB, major=9619.85MB, promoted=9538.80MB
    minor collections=354901  major collections=75 compactions=0


runtime: 00:06:32.009
vars: 175018, evals: 741771

|rho|=175018
|stable|=149938
|infl|=174985
|wpoint|=119
|sides|=5474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165252
|called|=50
Found 4250 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
244	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=763869.50MB, max=1633.61MB, minor=763788.10MB, major=9987.69MB, promoted=9906.30MB
    minor collections=364248  major collections=76 compactions=0


runtime: 00:06:42.100
vars: 175303, evals: 754049

|rho|=175303
|stable|=150040
|infl|=175272
|wpoint|=117
|sides|=5479
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165527
|called|=33
Found 4255 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
249	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=782860.82MB, max=1878.66MB, minor=782779.37MB, major=10150.08MB, promoted=10068.63MB
    minor collections=373304  major collections=76 compactions=0


runtime: 00:06:52.119
vars: 175603, evals: 766549

|rho|=175603
|stable|=150070
|infl|=175572
|wpoint|=117
|sides|=5485
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165815
|called|=56
Found 4261 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
255	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=802236.19MB, max=1878.66MB, minor=802154.73MB, major=10320.35MB, promoted=10238.88MB
    minor collections=382543  major collections=76 compactions=0


runtime: 00:07:02.134
vars: 175973, evals: 779182

|rho|=175973
|stable|=150797
|infl|=175940
|wpoint|=118
|sides|=5494
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166167
|called|=37
Found 4270 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
264	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=821582.27MB, max=1878.66MB, minor=821500.79MB, major=10496.00MB, promoted=10414.52MB
    minor collections=391768  major collections=77 compactions=0


runtime: 00:07:12.154
vars: 176302, evals: 791638

|rho|=176302
|stable|=150862
|infl|=176271
|wpoint|=118
|sides|=5500
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166484
|called|=49
Found 4276 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
270	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=840287.60MB, max=1878.66MB, minor=840206.10MB, major=10658.77MB, promoted=10577.27MB
    minor collections=400688  major collections=77 compactions=0


runtime: 00:07:22.173
vars: 176581, evals: 803918

|rho|=176581
|stable|=150880
|infl|=176551
|wpoint|=118
|sides|=5506
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166751
|called|=33
Found 4282 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
276	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=859171.57MB, max=1878.66MB, minor=859090.06MB, major=10830.10MB, promoted=10748.59MB
    minor collections=409692  major collections=77 compactions=0


runtime: 00:07:32.184
vars: 177003, evals: 817511

|rho|=177003
|stable|=151657
|infl|=176977
|wpoint|=118
|sides|=5515
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167154
|called|=46
Found 4291 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
285	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=878715.19MB, max=1878.66MB, minor=878633.67MB, major=11005.43MB, promoted=10923.91MB
    minor collections=419012  major collections=78 compactions=0


runtime: 00:07:42.200
vars: 177303, evals: 829721

|rho|=177303
|stable|=151774
|infl|=177277
|wpoint|=118
|sides|=5521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167442
|called|=61
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=896870.73MB, max=1878.66MB, minor=896789.19MB, major=11170.15MB, promoted=11088.61MB
    minor collections=427670  major collections=78 compactions=0


runtime: 00:07:52.215
vars: 177671, evals: 842060

|rho|=177671
|stable|=152335
|infl|=177640
|wpoint|=119
|sides|=5530
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167793
|called|=31
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=915094.76MB, max=1878.66MB, minor=915013.20MB, major=11337.86MB, promoted=11256.30MB
    minor collections=436360  major collections=78 compactions=0


runtime: 00:08:02.227
vars: 178018, evals: 855312

|rho|=178018
|stable|=152360
|infl|=177985
|wpoint|=120
|sides|=5537
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168126
|called|=39
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=934667.25MB, max=1878.66MB, minor=934585.68MB, major=11509.64MB, promoted=11428.07MB
    minor collections=445693  major collections=78 compactions=0


runtime: 00:08:12.242
vars: 178293, evals: 867648

|rho|=178293
|stable|=152424
|infl|=178264
|wpoint|=121
|sides|=5542
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168391
|called|=32
Found 4318 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
312	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=953229.93MB, max=1878.66MB, minor=953148.34MB, major=11677.45MB, promoted=11595.86MB
    minor collections=454545  major collections=79 compactions=0


runtime: 00:08:22.253
vars: 178714, evals: 880630

|rho|=178714
|stable|=153079
|infl|=178681
|wpoint|=122
|sides|=5552
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168792
|called|=44
Found 4328 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
322	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=972266.99MB, max=1878.66MB, minor=972185.37MB, major=11850.87MB, promoted=11769.26MB
    minor collections=463622  major collections=79 compactions=0


runtime: 00:08:32.264
vars: 179022, evals: 893352

|rho|=179022
|stable|=153154
|infl|=178992
|wpoint|=121
|sides|=5558
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169088
|called|=42
Found 4334 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
328	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=991500.36MB, max=1878.66MB, minor=991418.73MB, major=12023.16MB, promoted=11941.53MB
    minor collections=472794  major collections=79 compactions=0


runtime: 00:08:42.279
vars: 179398, evals: 906121

|rho|=179398
|stable|=153825
|infl|=179367
|wpoint|=123
|sides|=5566
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169448
|called|=39
Found 4342 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
336	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=1010851.37MB, max=1878.66MB, minor=1010769.71MB, major=12197.68MB, promoted=12116.02MB
    minor collections=482022  major collections=80 compactions=0


runtime: 00:08:52.290
vars: 179716, evals: 918148

|rho|=179716
|stable|=153856
|infl|=179683
|wpoint|=123
|sides|=5573
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169752
|called|=43
Found 4349 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
343	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=1029783.57MB, max=1878.66MB, minor=1029701.88MB, major=12364.85MB, promoted=12283.16MB
    minor collections=491049  major collections=80 compactions=0


runtime: 00:09:02.305
vars: 179977, evals: 929558

|rho|=179977
|stable|=153840
|infl|=179946
|wpoint|=122
|sides|=5578
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170003
|called|=39
Found 4354 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
348	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=1047983.67MB, max=1878.66MB, minor=1047901.96MB, major=12531.49MB, promoted=12449.77MB
    minor collections=499728  major collections=80 compactions=0


runtime: 00:09:12.317
vars: 180392, evals: 942703

|rho|=180392
|stable|=154669
|infl|=180360
|wpoint|=122
|sides|=5587
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170400
|called|=52
Found 4363 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
357	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=1067458.41MB, max=1878.66MB, minor=1067376.68MB, major=12704.35MB, promoted=12622.62MB
    minor collections=509014  major collections=80 compactions=0


runtime: 00:09:22.332
vars: 180697, evals: 954994

|rho|=180697
|stable|=154621
|infl|=180666
|wpoint|=125
|sides|=5593
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170693
|called|=45
Found 4369 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
363	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=1086132.23MB, max=1878.66MB, minor=1086050.49MB, major=12869.88MB, promoted=12788.14MB
    minor collections=517919  major collections=81 compactions=0


runtime: 00:09:32.359
vars: 181046, evals: 967295

|rho|=181046
|stable|=155382
|infl|=181015
|wpoint|=126
|sides|=5601
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171026
|called|=39
Found 4377 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
371	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=1104647.95MB, max=1878.66MB, minor=1104566.18MB, major=13037.98MB, promoted=12956.20MB
    minor collections=526748  major collections=81 compactions=0


runtime: 00:09:42.370
vars: 181396, evals: 980189

|rho|=181396
|stable|=155395
|infl|=181365
|wpoint|=125
|sides|=5608
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171362
|called|=37
Found 4384 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
378	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=1123953.73MB, max=1878.66MB, minor=1123871.93MB, major=13206.40MB, promoted=13124.60MB
    minor collections=535954  major collections=81 compactions=0


runtime: 00:09:52.390
vars: 181672, evals: 992360

|rho|=181672
|stable|=155411
|infl|=181641
|wpoint|=126
|sides|=5614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171626
|called|=43
Found 4390 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
384	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=1142715.45MB, max=1878.66MB, minor=1142633.63MB, major=13378.38MB, promoted=13296.56MB
    minor collections=544901  major collections=82 compactions=0


runtime: 00:10:02.401
vars: 182078, evals: 1005107

|rho|=182078
|stable|=156187
|infl|=182046
|wpoint|=124
|sides|=5623
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172014
|called|=42
Found 4399 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
393	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=1161554.13MB, max=1878.66MB, minor=1161472.27MB, major=13544.78MB, promoted=13462.92MB
    minor collections=553884  major collections=82 compactions=0


runtime: 00:10:12.413
vars: 182381, evals: 1017284

|rho|=182381
|stable|=156162
|infl|=182348
|wpoint|=126
|sides|=5629
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172305
|called|=43
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=1180118.63MB, max=1878.66MB, minor=1180036.75MB, major=13710.74MB, promoted=13628.85MB
    minor collections=562737  major collections=82 compactions=0


runtime: 00:10:22.428
vars: 182742, evals: 1029950

|rho|=182742
|stable|=156947
|infl|=182710
|wpoint|=125
|sides|=5637
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172650
|called|=59
Found 4413 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
407	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=1199451.11MB, max=1878.66MB, minor=1199369.19MB, major=13886.93MB, promoted=13805.01MB
    minor collections=571955  major collections=82 compactions=0


runtime: 00:10:32.443
vars: 183059, evals: 1041721

|rho|=183059
|stable|=156879
|infl|=183026
|wpoint|=126
|sides|=5644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172953
|called|=43
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=1218087.96MB, max=1878.66MB, minor=1218006.01MB, major=14048.54MB, promoted=13966.59MB
    minor collections=580843  major collections=83 compactions=0


runtime: 00:10:42.466
vars: 183326, evals: 1053177

|rho|=183326
|stable|=156995
|infl|=183296
|wpoint|=126
|sides|=5649
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173210
|called|=33
Found 4425 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
419	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=1236484.48MB, max=1878.66MB, minor=1236402.50MB, major=14210.18MB, promoted=14128.20MB
    minor collections=589615  major collections=83 compactions=0


runtime: 00:10:52.486
vars: 183717, evals: 1065777

|rho|=183717
|stable|=157684
|infl|=183684
|wpoint|=127
|sides|=5658
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173583
|called|=39
Found 4434 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
428	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=1255564.00MB, max=2160.46MB, minor=1255481.99MB, major=14380.32MB, promoted=14298.32MB
    minor collections=598713  major collections=83 compactions=0


runtime: 00:11:02.497
vars: 184035, evals: 1078312

|rho|=184035
|stable|=157751
|infl|=184003
|wpoint|=126
|sides|=5664
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173889
|called|=51
Found 4440 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
434	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=1274799.47MB, max=2160.46MB, minor=1274717.44MB, major=14546.95MB, promoted=14464.92MB
    minor collections=607886  major collections=84 compactions=0


runtime: 00:11:12.508
vars: 184360, evals: 1089975

|rho|=184360
|stable|=158386
|infl|=184327
|wpoint|=129
|sides|=5672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174198
|called|=45
Found 4448 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
442	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=1292909.04MB, max=2160.46MB, minor=1292826.98MB, major=14712.53MB, promoted=14630.47MB
    minor collections=616521  major collections=84 compactions=0


runtime: 00:11:22.531
vars: 184692, evals: 1102162

|rho|=184692
|stable|=158502
|infl|=184661
|wpoint|=128
|sides|=5678
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174518
|called|=33
Found 4454 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
448	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=1311986.07MB, max=2160.46MB, minor=1311903.97MB, major=14873.82MB, promoted=14791.72MB
    minor collections=625618  major collections=84 compactions=0


runtime: 00:11:32.543
vars: 184989, evals: 1114234

|rho|=184989
|stable|=158462
|infl|=184958
|wpoint|=130
|sides|=5684
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174803
|called|=43
Found 4460 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
454	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=1331260.43MB, max=2160.46MB, minor=1331178.30MB, major=15043.31MB, promoted=14961.18MB
    minor collections=634809  major collections=84 compactions=0


runtime: 00:11:42.558
vars: 185340, evals: 1126368

|rho|=185340
|stable|=159249
|infl|=185312
|wpoint|=129
|sides|=5692
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175138
|called|=31
Found 4468 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
462	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=1350251.39MB, max=2160.46MB, minor=1350169.23MB, major=15212.89MB, promoted=15130.72MB
    minor collections=643865  major collections=85 compactions=0


runtime: 00:11:52.569
vars: 185661, evals: 1138272

|rho|=185661
|stable|=159193
|infl|=185630
|wpoint|=131
|sides|=5699
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175445
|called|=45
Found 4475 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
469	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=1369107.71MB, max=2160.46MB, minor=1369025.50MB, major=15376.27MB, promoted=15294.07MB
    minor collections=652856  major collections=85 compactions=0


runtime: 00:12:02.597
vars: 185919, evals: 1149705

|rho|=185919
|stable|=159294
|infl|=185892
|wpoint|=130
|sides|=5704
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175693
|called|=31
Found 4480 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
474	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=1387524.74MB, max=2160.46MB, minor=1387442.51MB, major=15540.65MB, promoted=15458.42MB
    minor collections=661638  major collections=85 compactions=0


runtime: 00:12:12.608
vars: 191812, evals: 1165598

|rho|=191812
|stable|=52562
|infl|=191801
|wpoint|=128
|sides|=6012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181108
|called|=31
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=1406453.79MB, max=2160.46MB, minor=1406369.76MB, major=15748.90MB, promoted=15664.87MB
    minor collections=670664  major collections=86 compactions=0


runtime: 00:12:22.632
vars: 191816, evals: 1178112

|rho|=191816
|stable|=52300
|infl|=191805
|wpoint|=128
|sides|=6012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181112
|called|=38
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=1425191.62MB, max=2160.46MB, minor=1425107.52MB, major=15896.24MB, promoted=15812.15MB
    minor collections=679599  major collections=86 compactions=0


runtime: 00:12:32.647
vars: 208600, evals: 1204793

|rho|=208600
|stable|=68619
|infl|=208357
|wpoint|=158
|sides|=6364
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197393
|called|=299
Found 4840 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=1443302.95MB, max=2160.46MB, minor=1443218.01MB, major=16051.02MB, promoted=15966.08MB
    minor collections=688235  major collections=86 compactions=0


runtime: 00:12:42.662
vars: 244756, evals: 1247489

|rho|=244756
|stable|=100593
|infl|=243911
|wpoint|=234
|sides|=6744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233016
|called|=977
Found 5220 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=1460250.77MB, max=2160.46MB, minor=1460164.58MB, major=16200.25MB, promoted=16114.07MB
    minor collections=696316  major collections=86 compactions=0


runtime: 00:12:52.685
vars: 276449, evals: 1284941

|rho|=276449
|stable|=128603
|infl|=275067
|wpoint|=301
|sides|=7078
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264242
|called|=1581
Found 5554 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=1475585.62MB, max=2160.46MB, minor=1475485.07MB, major=16345.52MB, promoted=16244.98MB
    minor collections=703624  major collections=86 compactions=0


runtime: 00:13:02.713
vars: 305826, evals: 1319633

|rho|=305826
|stable|=154591
|infl|=303955
|wpoint|=363
|sides|=7386
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=293187
|called|=2132
Found 5862 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
258	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=1490097.22MB, max=2160.46MB, minor=1489994.77MB, major=16469.53MB, promoted=16367.08MB
    minor collections=710544  major collections=87 compactions=0


runtime: 00:13:12.731
vars: 334172, evals: 1353108

|rho|=334172
|stable|=179646
|infl|=331822
|wpoint|=422
|sides|=7685
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=321114
|called|=2674
Found 6161 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
318	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=1504378.52MB, max=2160.46MB, minor=1504274.15MB, major=16590.77MB, promoted=16486.40MB
    minor collections=717353  major collections=87 compactions=0


runtime: 00:13:22.771
vars: 361531, evals: 1385417

|rho|=361531
|stable|=203840
|infl|=358713
|wpoint|=480
|sides|=7973
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=348071
|called|=3196
Found 6449 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
375	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=1518407.35MB, max=2160.46MB, minor=1518301.07MB, major=16708.21MB, promoted=16601.92MB
    minor collections=724042  major collections=87 compactions=0


runtime: 00:13:32.810
vars: 387675, evals: 1416290

|rho|=387675
|stable|=226959
|infl|=384412
|wpoint|=535
|sides|=8249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=373829
|called|=3696
Found 6725 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
431	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=1531649.44MB, max=2160.46MB, minor=1531542.26MB, major=16819.48MB, promoted=16712.30MB
    minor collections=730356  major collections=87 compactions=0


runtime: 00:13:42.832
vars: 412774, evals: 1445948

|rho|=412774
|stable|=249143
|infl|=409097
|wpoint|=588
|sides|=8513
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=398558
|called|=4163
Found 6989 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
483	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
463	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=1544694.71MB, max=2160.46MB, minor=1544586.55MB, major=16927.48MB, promoted=16819.32MB
    minor collections=736576  major collections=87 compactions=0


runtime: 00:13:52.844
vars: 437352, evals: 1474981

|rho|=437352
|stable|=270882
|infl|=433264
|wpoint|=640
|sides|=8771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=422774
|called|=4627
Found 7247 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
535	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
514	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
508	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=1557777.46MB, max=2160.46MB, minor=1557663.68MB, major=17038.07MB, promoted=16924.30MB
    minor collections=742813  major collections=87 compactions=0


runtime: 00:14:02.856
vars: 459985, evals: 1501675

|rho|=459985
|stable|=290907
|infl|=455515
|wpoint|=687
|sides|=9009
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=445073
|called|=5055
Found 7485 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
583	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
562	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
556	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=1569982.58MB, max=2160.46MB, minor=1569867.16MB, major=17137.89MB, promoted=17022.47MB
    minor collections=748632  major collections=88 compactions=0


runtime: 00:14:12.875
vars: 481367, evals: 1526940

|rho|=481367
|stable|=309787
|infl|=476537
|wpoint|=732
|sides|=9235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=466139
|called|=5470
Found 7711 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
628	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
607	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
601	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=1581758.45MB, max=2160.46MB, minor=1581641.38MB, major=17232.22MB, promoted=17115.15MB
    minor collections=754247  major collections=88 compactions=0


runtime: 00:14:22.927
vars: 502427, evals: 1551831

|rho|=502427
|stable|=328415
|infl|=497243
|wpoint|=777
|sides|=9456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=486890
|called|=5868
Found 7932 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
672	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
651	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
645	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=1593477.66MB, max=2160.46MB, minor=1593358.86MB, major=17324.94MB, promoted=17206.14MB
    minor collections=759834  major collections=88 compactions=0


runtime: 00:14:33.010
vars: 522692, evals: 1575747

|rho|=522692
|stable|=346327
|infl|=517166
|wpoint|=819
|sides|=9670
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=506855
|called|=6253
Found 8146 contexts for 112 functions. Top 5 functions:
715	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
694	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
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
688	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=1604923.49MB, max=2484.53MB, minor=1604802.95MB, major=17415.31MB, promoted=17294.77MB
    minor collections=765291  major collections=88 compactions=0


runtime: 00:14:43.118
vars: 540606, evals: 1596914

|rho|=540606
|stable|=362180
|infl|=534774
|wpoint|=857
|sides|=9858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=524507
|called|=6587
Found 8334 contexts for 112 functions. Top 5 functions:
752	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
732	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
726	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
725	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
725	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=1615152.25MB, max=2484.53MB, minor=1615004.96MB, major=17520.35MB, promoted=17373.06MB
    minor collections=770159  major collections=88 compactions=0


runtime: 00:14:53.169
vars: 561581, evals: 1621676

|rho|=561581
|stable|=380733
|infl|=555401
|wpoint|=901
|sides|=10079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=545172
|called|=6979
Found 8555 contexts for 112 functions. Top 5 functions:
797	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
776	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
770	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
769	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
769	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=1626320.76MB, max=2484.53MB, minor=1626173.21MB, major=17611.21MB, promoted=17463.66MB
    minor collections=775485  major collections=88 compactions=0

