./goblint --conf conf/svcomp24.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.870
vars: 25652, evals: 55636

|rho|=25652
|stable|=22760
|infl|=25638
|wpoint|=15
|sides|=469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25052
|called|=22
Found 131 contexts for 9 functions. Top 5 functions:
39	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
30	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
30	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
15	contexts for L:entry state of strtol_with_min_or_exit (7599) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
9	contexts for L:entry state of atoi_with_min_or_exit (7600) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=23779.28MB, max=230.87MB, minor=23741.56MB, major=561.43MB, promoted=523.71MB
    minor collections=11331  major collections=19 compactions=0


runtime: 00:00:20.896
vars: 31211, evals: 77300

|rho|=31211
|stable|=23289
|infl|=31184
|wpoint|=17
|sides|=743
|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 (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) 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 (7599) 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 (7600) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=47405.25MB, max=305.32MB, minor=47367.15MB, major=1010.06MB, promoted=971.96MB
    minor collections=22599  major collections=24 compactions=0


runtime: 00:00:30.915
vars: 33760, evals: 94023

|rho|=33760
|stable|=26069
|infl|=33728
|wpoint|=17
|sides|=983
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32471
|called|=32
Found 285 contexts for 47 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
24	contexts for L:entry state of cell_set (7564) 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 (7599) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1

Memory statistics: total=70754.39MB, max=305.32MB, minor=70715.16MB, major=1454.26MB, promoted=1415.04MB
    minor collections=33735  major collections=29 compactions=0


runtime: 00:00:40.937
vars: 34607, evals: 116858

|rho|=34607
|stable|=26371
|infl|=34566
|wpoint|=19
|sides|=1035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33232
|called|=51
Found 321 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=92876.30MB, max=351.13MB, minor=92836.51MB, major=1673.60MB, promoted=1633.81MB
    minor collections=44285  major collections=31 compactions=0


runtime: 00:00:50.944
vars: 35218, evals: 138979

|rho|=35218
|stable|=27189
|infl|=35177
|wpoint|=19
|sides|=1048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33817
|called|=45
Found 334 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
29	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1

Memory statistics: total=114707.33MB, max=351.13MB, minor=114667.52MB, major=1888.62MB, promoted=1848.81MB
    minor collections=54696  major collections=33 compactions=0


runtime: 00:01:00.958
vars: 35793, evals: 160168

|rho|=35793
|stable|=27924
|infl|=35752
|wpoint|=20
|sides|=1061
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34366
|called|=59
Found 347 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
42	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=135958.67MB, max=351.13MB, minor=135918.85MB, major=2099.31MB, promoted=2059.49MB
    minor collections=64830  major collections=35 compactions=0


runtime: 00:01:10.973
vars: 36346, evals: 181796

|rho|=36346
|stable|=27964
|infl|=36305
|wpoint|=20
|sides|=1072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34897
|called|=46
Found 358 contexts for 49 functions. Top 5 functions:
53	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=157344.01MB, max=351.13MB, minor=157304.17MB, major=2309.52MB, promoted=2269.68MB
    minor collections=75029  major collections=37 compactions=0


runtime: 00:01:20.987
vars: 36929, evals: 202827

|rho|=36929
|stable|=28964
|infl|=36895
|wpoint|=20
|sides|=1084
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35455
|called|=45
Found 370 contexts for 49 functions. Top 5 functions:
65	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=178247.68MB, max=351.13MB, minor=178207.81MB, major=2516.46MB, promoted=2476.60MB
    minor collections=84997  major collections=39 compactions=0


runtime: 00:01:30.997
vars: 37491, evals: 223381

|rho|=37491
|stable|=29408
|infl|=37450
|wpoint|=24
|sides|=1097
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35992
|called|=53
Found 383 contexts for 49 functions. Top 5 functions:
78	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=199077.57MB, max=351.13MB, minor=199037.69MB, major=2723.89MB, promoted=2684.01MB
    minor collections=94931  major collections=41 compactions=0


runtime: 00:01:41.008
vars: 38028, evals: 244492

|rho|=38028
|stable|=29994
|infl|=37994
|wpoint|=21
|sides|=1107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36508
|called|=45
Found 393 contexts for 49 functions. Top 5 functions:
88	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=220002.26MB, max=403.80MB, minor=219962.36MB, major=2930.39MB, promoted=2890.49MB
    minor collections=104910  major collections=43 compactions=0


runtime: 00:01:51.026
vars: 38627, evals: 265619

|rho|=38627
|stable|=30416
|infl|=38593
|wpoint|=22
|sides|=1120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37081
|called|=51
Found 406 contexts for 49 functions. Top 5 functions:
101	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=240981.03MB, max=403.80MB, minor=240941.11MB, major=3139.58MB, promoted=3099.65MB
    minor collections=114914  major collections=45 compactions=0


runtime: 00:02:01.036
vars: 39189, evals: 285681

|rho|=39189
|stable|=30958
|infl|=39148
|wpoint|=25
|sides|=1133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37618
|called|=51
Found 419 contexts for 49 functions. Top 5 functions:
114	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=261411.58MB, max=403.80MB, minor=261371.63MB, major=3341.77MB, promoted=3301.82MB
    minor collections=124658  major collections=47 compactions=0


runtime: 00:02:11.055
vars: 39722, evals: 306462

|rho|=39722
|stable|=31003
|infl|=39681
|wpoint|=25
|sides|=1143
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38131
|called|=51
Found 429 contexts for 49 functions. Top 5 functions:
124	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=282361.35MB, max=403.80MB, minor=282321.38MB, major=3543.52MB, promoted=3503.55MB
    minor collections=134648  major collections=48 compactions=0


runtime: 00:02:21.061
vars: 40294, evals: 326924

|rho|=40294
|stable|=31741
|infl|=40253
|wpoint|=26
|sides|=1156
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38677
|called|=52
Found 442 contexts for 49 functions. Top 5 functions:
137	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=303034.60MB, max=403.80MB, minor=302994.61MB, major=3748.67MB, promoted=3708.68MB
    minor collections=144507  major collections=50 compactions=0


runtime: 00:02:31.076
vars: 40752, evals: 346221

|rho|=40752
|stable|=31824
|infl|=40713
|wpoint|=27
|sides|=1165
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39117
|called|=47
Found 451 contexts for 49 functions. Top 5 functions:
146	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=322820.62MB, max=403.80MB, minor=322780.60MB, major=3941.15MB, promoted=3901.13MB
    minor collections=153942  major collections=51 compactions=0


runtime: 00:02:41.093
vars: 41358, evals: 366797

|rho|=41358
|stable|=32547
|infl|=41317
|wpoint|=26
|sides|=1178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39697
|called|=47
Found 464 contexts for 49 functions. Top 5 functions:
159	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=343532.20MB, max=464.37MB, minor=343491.63MB, major=4143.32MB, promoted=4102.75MB
    minor collections=163819  major collections=53 compactions=0


runtime: 00:02:51.104
vars: 41916, evals: 386991

|rho|=41916
|stable|=33279
|infl|=41875
|wpoint|=27
|sides|=1190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40231
|called|=47
Found 476 contexts for 49 functions. Top 5 functions:
171	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=364169.00MB, max=464.37MB, minor=364128.41MB, major=4349.01MB, promoted=4308.41MB
    minor collections=173661  major collections=55 compactions=0


runtime: 00:03:01.118
vars: 42394, evals: 406552

|rho|=42394
|stable|=33349
|infl|=42355
|wpoint|=29
|sides|=1200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40689
|called|=47
Found 486 contexts for 49 functions. Top 5 functions:
181	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=384488.75MB, max=464.37MB, minor=384448.14MB, major=4545.08MB, promoted=4504.46MB
    minor collections=183350  major collections=56 compactions=0


runtime: 00:03:11.137
vars: 42972, evals: 426646

|rho|=42972
|stable|=34242
|infl|=42938
|wpoint|=27
|sides|=1212
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41242
|called|=55
Found 498 contexts for 49 functions. Top 5 functions:
193	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=405132.89MB, max=464.37MB, minor=405092.25MB, major=4745.95MB, promoted=4705.31MB
    minor collections=193195  major collections=57 compactions=0


runtime: 00:03:21.147
vars: 43493, evals: 445581

|rho|=43493
|stable|=34783
|infl|=43452
|wpoint|=30
|sides|=1224
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41740
|called|=51
Found 510 contexts for 49 functions. Top 5 functions:
205	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=425023.73MB, max=464.37MB, minor=424983.07MB, major=4941.43MB, promoted=4900.76MB
    minor collections=202681  major collections=59 compactions=0


runtime: 00:03:31.169
vars: 43990, evals: 464789

|rho|=43990
|stable|=34833
|infl|=43949
|wpoint|=31
|sides|=1234
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42217
|called|=53
Found 520 contexts for 49 functions. Top 5 functions:
215	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=445033.43MB, max=464.37MB, minor=444992.74MB, major=5132.37MB, promoted=5091.68MB
    minor collections=212223  major collections=60 compactions=0


runtime: 00:03:41.184
vars: 44550, evals: 484459

|rho|=44550
|stable|=35623
|infl|=44511
|wpoint|=30
|sides|=1246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42753
|called|=41
Found 532 contexts for 49 functions. Top 5 functions:
227	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=465404.78MB, max=464.37MB, minor=465364.06MB, major=5330.86MB, promoted=5290.14MB
    minor collections=221938  major collections=62 compactions=0


runtime: 00:03:51.194
vars: 44999, evals: 503536

|rho|=44999
|stable|=35674
|infl|=44963
|wpoint|=31
|sides|=1255
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43184
|called|=49
Found 541 contexts for 49 functions. Top 5 functions:
236	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1480) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1455) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=485685.76MB, max=464.37MB, minor=485645.02MB, major=5526.56MB, promoted=5485.82MB
    minor collections=231609  major collections=63 compactions=0


runtime: 00:04:01.217
vars: 64612, evals: 528812

|rho|=64612
|stable|=55478
|infl|=64570
|wpoint|=36
|sides|=1921
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61610
|called|=78
Found 1050 contexts for 69 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
138	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
138	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
52	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
42	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=506862.51MB, max=534.03MB, minor=506820.52MB, major=5841.57MB, promoted=5799.58MB
    minor collections=241708  major collections=65 compactions=0


runtime: 00:04:11.287
vars: 79211, evals: 548267

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

Memory statistics: total=527741.05MB, max=706.25MB, minor=527693.81MB, major=6202.06MB, promoted=6154.81MB
    minor collections=251661  major collections=66 compactions=0


runtime: 00:04:21.345
vars: 79211, evals: 565368

|rho|=79211
|stable|=48639
|infl|=79199
|wpoint|=53
|sides|=2502
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75199
|called|=76
Found 1464 contexts for 80 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
227	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=547148.57MB, max=934.02MB, minor=547100.91MB, major=6501.99MB, promoted=6454.33MB
    minor collections=260917  major collections=68 compactions=0


runtime: 00:04:31.364
vars: 83303, evals: 587844

|rho|=83303
|stable|=39468
|infl|=83290
|wpoint|=51
|sides|=2600
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79185
|called|=57
Found 1471 contexts for 82 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
227	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=567443.80MB, max=934.02MB, minor=567386.19MB, major=6787.34MB, promoted=6729.73MB
    minor collections=270590  major collections=69 compactions=0


runtime: 00:04:41.390
vars: 83664, evals: 606687

|rho|=83664
|stable|=58247
|infl|=83634
|wpoint|=53
|sides|=2630
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79510
|called|=46
Found 1482 contexts for 83 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
228	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
228	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=587206.31MB, max=934.02MB, minor=587148.52MB, major=7038.67MB, promoted=6980.88MB
    minor collections=280014  major collections=70 compactions=0


runtime: 00:04:51.404
vars: 92284, evals: 624191

|rho|=92284
|stable|=68404
|infl|=92269
|wpoint|=66
|sides|=3083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87287
|called|=35
Found 1867 contexts for 86 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
235	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
235	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
185	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
87	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=607954.98MB, max=934.02MB, minor=607896.91MB, major=7393.70MB, promoted=7335.62MB
    minor collections=289908  major collections=71 compactions=0


runtime: 00:05:01.419
vars: 111146, evals: 645347

|rho|=111146
|stable|=87082
|infl|=111118
|wpoint|=68
|sides|=3542
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105236
|called|=80
Found 2326 contexts for 86 functions. Top 5 functions:
376	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
376	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
199	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
117	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=628817.39MB, max=934.02MB, minor=628757.73MB, major=7696.54MB, promoted=7636.88MB
    minor collections=299856  major collections=72 compactions=0


runtime: 00:05:11.477
vars: 122692, evals: 662582

|rho|=122692
|stable|=98668
|infl|=122663
|wpoint|=82
|sides|=3793
|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_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
447	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
238	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
204	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
140	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=649758.03MB, max=1074.12MB, minor=649694.30MB, major=8044.42MB, promoted=7980.69MB
    minor collections=309840  major collections=73 compactions=0


runtime: 00:05:21.567
vars: 127975, evals: 673900

|rho|=127975
|stable|=103941
|infl|=127945
|wpoint|=86
|sides|=4008
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121140
|called|=71
Found 2786 contexts for 86 functions. Top 5 functions:
456	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
456	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
250	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
142	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=670576.05MB, max=1235.24MB, minor=670511.91MB, major=8491.25MB, promoted=8427.11MB
    minor collections=319767  major collections=74 compactions=0


runtime: 00:05:31.605
vars: 140257, evals: 691589

|rho|=140257
|stable|=115404
|infl|=140223
|wpoint|=99
|sides|=4492
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132454
|called|=86
Found 3270 contexts for 86 functions. Top 5 functions:
494	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
494	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
333	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
176	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=690780.46MB, max=1420.53MB, minor=690708.92MB, major=8780.49MB, promoted=8708.96MB
    minor collections=329399  major collections=74 compactions=0


runtime: 00:05:41.624
vars: 155552, evals: 708823

|rho|=155552
|stable|=130515
|infl|=155521
|wpoint|=99
|sides|=4852
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147028
|called|=82
Found 3630 contexts for 86 functions. Top 5 functions:
609	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
609	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
340	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
190	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=711059.36MB, max=1420.53MB, minor=710985.08MB, major=9053.86MB, promoted=8979.57MB
    minor collections=339068  major collections=75 compactions=0


runtime: 00:05:51.650
vars: 166498, evals: 724682

|rho|=166498
|stable|=141501
|infl|=166469
|wpoint|=113
|sides|=5086
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157507
|called|=32
Found 3864 contexts for 86 functions. Top 5 functions:
675	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
675	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=731712.23MB, max=1420.53MB, minor=731631.69MB, major=9369.00MB, promoted=9288.47MB
    minor collections=348914  major collections=76 compactions=0


runtime: 00:06:01.728
vars: 171386, evals: 735411

|rho|=171386
|stable|=146382
|infl|=171358
|wpoint|=116
|sides|=5289
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161988
|called|=46
Found 4067 contexts for 86 functions. Top 5 functions:
684	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
684	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
391	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
214	contexts for L:entry state of convert_num (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=753031.41MB, max=1878.66MB, minor=752949.96MB, major=9809.64MB, promoted=9728.19MB
    minor collections=359080  major collections=76 compactions=0


runtime: 00:06:11.758
vars: 175180, evals: 749187

|rho|=175180
|stable|=149969
|infl|=175147
|wpoint|=117
|sides|=5476
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165408
|called|=37
Found 4253 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
247	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=773986.59MB, max=1878.66MB, minor=773904.92MB, major=10066.81MB, promoted=9985.15MB
    minor collections=369073  major collections=77 compactions=0


runtime: 00:06:21.820
vars: 175505, evals: 762528

|rho|=175505
|stable|=150342
|infl|=175479
|wpoint|=116
|sides|=5482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165720
|called|=48
Found 4259 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
253	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=794380.56MB, max=1878.66MB, minor=794298.86MB, major=10243.61MB, promoted=10161.90MB
    minor collections=378797  major collections=77 compactions=0


runtime: 00:06:31.835
vars: 175902, evals: 777167

|rho|=175902
|stable|=150826
|infl|=175871
|wpoint|=118
|sides|=5491
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166100
|called|=32
Found 4268 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
262	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=816345.53MB, max=1878.66MB, minor=816263.81MB, major=10443.96MB, promoted=10362.23MB
    minor collections=389271  major collections=77 compactions=0


runtime: 00:06:41.849
vars: 176302, evals: 791566

|rho|=176302
|stable|=150792
|infl|=176271
|wpoint|=120
|sides|=5499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166484
|called|=43
Found 4276 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=837271.65MB, max=1878.66MB, minor=837189.91MB, major=10629.75MB, promoted=10548.01MB
    minor collections=399250  major collections=78 compactions=0


runtime: 00:06:51.859
vars: 176597, evals: 805152

|rho|=176597
|stable|=151267
|infl|=176572
|wpoint|=118
|sides|=5505
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166766
|called|=37
Found 4282 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=857683.54MB, max=1878.66MB, minor=857601.78MB, major=10819.08MB, promoted=10737.32MB
    minor collections=408984  major collections=78 compactions=0


runtime: 00:07:01.874
vars: 177084, evals: 820315

|rho|=177084
|stable|=151564
|infl|=177051
|wpoint|=119
|sides|=5516
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167232
|called|=40
Found 4293 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
287	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=879184.13MB, max=1878.66MB, minor=879102.36MB, major=11009.67MB, promoted=10927.91MB
    minor collections=419236  major collections=78 compactions=0


runtime: 00:07:11.884
vars: 177399, evals: 834141

|rho|=177399
|stable|=151802
|infl|=177374
|wpoint|=119
|sides|=5522
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167534
|called|=59
Found 4299 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
293	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=899625.24MB, max=1878.66MB, minor=899543.46MB, major=11195.45MB, promoted=11113.67MB
    minor collections=428984  major collections=79 compactions=0


runtime: 00:07:21.894
vars: 177850, evals: 848614

|rho|=177850
|stable|=152344
|infl|=177819
|wpoint|=120
|sides|=5532
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167966
|called|=31
Found 4309 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
303	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=920543.60MB, max=1878.66MB, minor=920461.81MB, major=11380.58MB, promoted=11298.78MB
    minor collections=438959  major collections=79 compactions=0


runtime: 00:07:31.905
vars: 178199, evals: 863165

|rho|=178199
|stable|=152378
|infl|=178170
|wpoint|=123
|sides|=5539
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168301
|called|=39
Found 4316 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
310	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=942089.88MB, max=1878.66MB, minor=942008.08MB, major=11573.13MB, promoted=11491.32MB
    minor collections=449233  major collections=79 compactions=0


runtime: 00:07:41.919
vars: 178617, evals: 876948

|rho|=178617
|stable|=153066
|infl|=178584
|wpoint|=122
|sides|=5549
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168699
|called|=43
Found 4326 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
320	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=962682.06MB, max=1878.66MB, minor=962600.23MB, major=11759.71MB, promoted=11677.88MB
    minor collections=459053  major collections=80 compactions=0


runtime: 00:07:51.930
vars: 178951, evals: 890488

|rho|=178951
|stable|=153329
|infl|=178925
|wpoint|=120
|sides|=5555
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169020
|called|=50
Found 4332 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
326	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=983349.94MB, max=1878.66MB, minor=983268.09MB, major=11943.54MB, promoted=11861.69MB
    minor collections=468908  major collections=80 compactions=0


runtime: 00:08:01.937
vars: 179372, evals: 904933

|rho|=179372
|stable|=153868
|infl|=179338
|wpoint|=121
|sides|=5565
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169422
|called|=34
Found 4342 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1004984.06MB, max=1878.66MB, minor=1004902.18MB, major=12141.22MB, promoted=12059.34MB
    minor collections=479224  major collections=80 compactions=0


runtime: 00:08:11.947
vars: 179737, evals: 918855

|rho|=179737
|stable|=153842
|infl|=179704
|wpoint|=123
|sides|=5572
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169773
|called|=43
Found 4349 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1025482.55MB, max=1878.66MB, minor=1025400.65MB, major=12321.28MB, promoted=12239.38MB
    minor collections=488999  major collections=81 compactions=0


runtime: 00:08:21.957
vars: 180112, evals: 932268

|rho|=180112
|stable|=154610
|infl|=180079
|wpoint|=123
|sides|=5581
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170130
|called|=53
Found 4358 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
352	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1045467.03MB, max=1878.66MB, minor=1045385.11MB, major=12509.37MB, promoted=12427.44MB
    minor collections=498529  major collections=81 compactions=0


runtime: 00:08:31.972
vars: 180497, evals: 946779

|rho|=180497
|stable|=154648
|infl|=180466
|wpoint|=124
|sides|=5588
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170501
|called|=37
Found 4365 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
359	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1066817.02MB, max=1878.66MB, minor=1066735.09MB, major=12699.22MB, promoted=12617.29MB
    minor collections=508709  major collections=81 compactions=0


runtime: 00:08:41.986
vars: 180805, evals: 960324

|rho|=180805
|stable|=154637
|infl|=180774
|wpoint|=125
|sides|=5595
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170795
|called|=45
Found 4372 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
366	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1087475.67MB, max=1878.66MB, minor=1087393.72MB, major=12889.59MB, promoted=12807.63MB
    minor collections=518561  major collections=82 compactions=0


runtime: 00:08:51.996
vars: 181232, evals: 973717

|rho|=181232
|stable|=155358
|infl|=181199
|wpoint|=125
|sides|=5604
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171204
|called|=43
Found 4381 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
375	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1107354.99MB, max=1878.66MB, minor=1107273.00MB, major=13064.38MB, promoted=12982.39MB
    minor collections=528040  major collections=82 compactions=0


runtime: 00:09:02.007
vars: 181548, evals: 987264

|rho|=181548
|stable|=155967
|infl|=181522
|wpoint|=123
|sides|=5610
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171507
|called|=34
Found 4387 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
381	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1128203.03MB, max=1878.66MB, minor=1128121.02MB, major=13250.38MB, promoted=13168.37MB
    minor collections=537981  major collections=82 compactions=0


runtime: 00:09:12.017
vars: 181969, evals: 1001097

|rho|=181969
|stable|=156157
|infl|=181936
|wpoint|=125
|sides|=5620
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171909
|called|=37
Found 4397 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
391	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1149184.43MB, max=1878.66MB, minor=1149102.38MB, major=13437.90MB, promoted=13355.86MB
    minor collections=547987  major collections=83 compactions=0


runtime: 00:09:22.028
vars: 182297, evals: 1014220

|rho|=182297
|stable|=156464
|infl|=182271
|wpoint|=124
|sides|=5626
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172224
|called|=46
Found 4403 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
397	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1169422.06MB, max=1878.66MB, minor=1169339.97MB, major=13617.91MB, promoted=13535.82MB
    minor collections=557637  major collections=83 compactions=0


runtime: 00:09:32.062
vars: 182677, evals: 1027593

|rho|=182677
|stable|=156844
|infl|=182644
|wpoint|=127
|sides|=5635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172587
|called|=44
Found 4412 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
406	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1189920.04MB, max=1878.66MB, minor=1189837.92MB, major=13804.53MB, promoted=13722.42MB
    minor collections=567411  major collections=83 compactions=0


runtime: 00:09:42.073
vars: 183046, evals: 1041579

|rho|=183046
|stable|=157184
|infl|=183020
|wpoint|=125
|sides|=5642
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172941
|called|=40
Found 4419 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
413	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1210653.72MB, max=1878.66MB, minor=1210571.58MB, major=13985.05MB, promoted=13902.91MB
    minor collections=577298  major collections=84 compactions=0


runtime: 00:09:52.083
vars: 183342, evals: 1054452

|rho|=183342
|stable|=157423
|infl|=183317
|wpoint|=126
|sides|=5648
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173225
|called|=40
Found 4425 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1230376.38MB, max=1878.66MB, minor=1230294.21MB, major=14164.65MB, promoted=14082.49MB
    minor collections=586703  major collections=84 compactions=0


runtime: 00:10:02.109
vars: 183776, evals: 1067904

|rho|=183776
|stable|=157644
|infl|=183743
|wpoint|=128
|sides|=5658
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173640
|called|=45
Found 4435 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
429	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1250700.82MB, max=2160.46MB, minor=1250618.62MB, major=14342.43MB, promoted=14260.22MB
    minor collections=596395  major collections=84 compactions=0


runtime: 00:10:12.119
vars: 184095, evals: 1081366

|rho|=184095
|stable|=158059
|infl|=184069
|wpoint|=126
|sides|=5664
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173946
|called|=48
Found 4441 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
435	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1271759.48MB, max=2160.46MB, minor=1271677.25MB, major=14530.07MB, promoted=14447.84MB
    minor collections=606436  major collections=84 compactions=0


runtime: 00:10:22.129
vars: 184484, evals: 1094303

|rho|=184484
|stable|=158476
|infl|=184452
|wpoint|=127
|sides|=5673
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174318
|called|=54
Found 4450 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
444	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1291412.81MB, max=2160.46MB, minor=1291330.54MB, major=14707.81MB, promoted=14625.54MB
    minor collections=615808  major collections=85 compactions=0


runtime: 00:10:32.147
vars: 184825, evals: 1107258

|rho|=184825
|stable|=158446
|infl|=184792
|wpoint|=129
|sides|=5680
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174645
|called|=43
Found 4457 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
451	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1310928.06MB, max=2160.46MB, minor=1310845.75MB, major=14881.36MB, promoted=14799.05MB
    minor collections=625114  major collections=85 compactions=0


runtime: 00:10:42.157
vars: 185205, evals: 1120851

|rho|=185205
|stable|=159170
|infl|=185174
|wpoint|=131
|sides|=5689
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175007
|called|=43
Found 4466 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
460	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1331629.81MB, max=2160.46MB, minor=1331547.47MB, major=15073.13MB, promoted=14990.80MB
    minor collections=634986  major collections=85 compactions=0


runtime: 00:10:52.168
vars: 185558, evals: 1134146

|rho|=185558
|stable|=159192
|infl|=185527
|wpoint|=131
|sides|=5696
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175346
|called|=44
Found 4473 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
467	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1352395.48MB, max=2160.46MB, minor=1352313.11MB, major=15250.85MB, promoted=15168.48MB
    minor collections=644888  major collections=86 compactions=0


runtime: 00:11:02.178
vars: 185841, evals: 1146482

|rho|=185841
|stable|=159656
|infl|=185818
|wpoint|=130
|sides|=5701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175618
|called|=46
Found 4478 contexts for 87 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
472	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1372137.39MB, max=2160.46MB, minor=1372054.97MB, major=15424.75MB, promoted=15342.33MB
    minor collections=654302  major collections=86 compactions=0


runtime: 00:11:12.204
vars: 191812, evals: 1163062

|rho|=191812
|stable|=50026
|infl|=191801
|wpoint|=128
|sides|=6011
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181108
|called|=35
Found 4623 contexts for 101 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1392225.97MB, max=2160.46MB, minor=1392141.99MB, major=15650.01MB, promoted=15566.03MB
    minor collections=663880  major collections=86 compactions=0


runtime: 00:11:22.223
vars: 191816, evals: 1177515

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

Memory statistics: total=1413708.32MB, max=2160.46MB, minor=1413624.20MB, major=15818.98MB, promoted=15734.86MB
    minor collections=674124  major collections=87 compactions=0


runtime: 00:11:32.233
vars: 210975, evals: 1207598

|rho|=210975
|stable|=70719
|infl|=210690
|wpoint|=163
|sides|=6388
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199733
|called|=346
Found 4865 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1433918.44MB, max=2160.46MB, minor=1433833.45MB, major=15991.97MB, promoted=15906.98MB
    minor collections=683761  major collections=87 compactions=0


runtime: 00:11:42.252
vars: 248505, evals: 1251927

|rho|=248505
|stable|=103902
|infl|=247594
|wpoint|=242
|sides|=6783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236710
|called|=1051
Found 5260 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1451791.61MB, max=2160.46MB, minor=1451704.96MB, major=16149.31MB, promoted=16062.66MB
    minor collections=692283  major collections=87 compactions=0


runtime: 00:11:52.262
vars: 282706, evals: 1292319

|rho|=282706
|stable|=134143
|infl|=281220
|wpoint|=314
|sides|=7143
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270406
|called|=1698
Found 5620 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
223	contexts for L:entry state of cellbuf_get (7569) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=1468505.25MB, max=2160.46MB, minor=1468404.21MB, major=16307.57MB, promoted=16206.54MB
    minor collections=700250  major collections=87 compactions=0


runtime: 00:12:02.284
vars: 313852, evals: 1329121

|rho|=313852
|stable|=161682
|infl|=311846
|wpoint|=380
|sides|=7470
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301094
|called|=2284
Found 5947 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
275	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1484122.38MB, max=2160.46MB, minor=1484019.34MB, major=16440.63MB, promoted=16337.58MB
    minor collections=707696  major collections=88 compactions=0


runtime: 00:12:12.302
vars: 342192, evals: 1362567

|rho|=342192
|stable|=186727
|infl|=339706
|wpoint|=439
|sides|=7769
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=329015
|called|=2833
Found 6246 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
335	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1498582.00MB, max=2160.46MB, minor=1498477.02MB, major=16562.71MB, promoted=16457.72MB
    minor collections=714590  major collections=88 compactions=0


runtime: 00:12:22.313
vars: 368599, evals: 1393775

|rho|=368599
|stable|=210083
|infl|=365665
|wpoint|=495
|sides|=8047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355034
|called|=3327
Found 6524 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
390	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1512348.54MB, max=2160.46MB, minor=1512241.66MB, major=16677.80MB, promoted=16570.92MB
    minor collections=721154  major collections=88 compactions=0


runtime: 00:12:32.359
vars: 393381, evals: 1423032

|rho|=393381
|stable|=232003
|infl|=390033
|wpoint|=547
|sides|=8308
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379450
|called|=3793
Found 6785 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
476	contexts for L:entry state of cap_trie_deinit (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
443	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
437	contexts for L:entry state of cell_set (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=1525338.44MB, max=2160.46MB, minor=1525229.84MB, major=16785.83MB, promoted=16677.23MB
    minor collections=727347  major collections=88 compactions=0


runtime: 00:12:42.373
vars: 418667, evals: 1452893

|rho|=418667
|stable|=254352
|infl|=414893
|wpoint|=600
|sides|=8574
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404363
|called|=4272
Found 7051 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
496	contexts for L:entry state of copy_proc_mem (7590) 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 (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
475	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1

Memory statistics: total=1538384.93MB, max=2160.46MB, minor=1538275.79MB, major=16894.90MB, promoted=16785.76MB
    minor collections=733568  major collections=88 compactions=0


runtime: 00:12:52.384
vars: 442832, evals: 1481426

|rho|=442832
|stable|=275734
|infl|=438654
|wpoint|=651
|sides|=8828
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=428172
|called|=4727
Found 7305 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
547	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
526	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
520	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1551278.15MB, max=2160.46MB, minor=1551163.84MB, major=17003.59MB, promoted=16889.29MB
    minor collections=739714  major collections=88 compactions=0


runtime: 00:13:02.397
vars: 464427, evals: 1506936

|rho|=464427
|stable|=294832
|infl|=459883
|wpoint|=697
|sides|=9055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449450
|called|=5139
Found 7532 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
592	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
571	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
565	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1563027.00MB, max=2160.46MB, minor=1562911.42MB, major=17098.96MB, promoted=16983.37MB
    minor collections=745316  major collections=88 compactions=0


runtime: 00:13:12.415
vars: 486000, evals: 1532417

|rho|=486000
|stable|=313899
|infl|=481088
|wpoint|=742
|sides|=9283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=470705
|called|=5552
Found 7760 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
638	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
617	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
611	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1575023.65MB, max=2160.46MB, minor=1574906.54MB, major=17194.48MB, promoted=17077.36MB
    minor collections=751036  major collections=89 compactions=0


runtime: 00:13:22.429
vars: 506481, evals: 1556600

|rho|=506481
|stable|=332013
|infl|=501229
|wpoint|=785
|sides|=9498
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=490884
|called|=5935
Found 7975 contexts for 112 functions. Top 5 functions:
693	contexts for L:entry state of bytebuf_nputs (7572) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
693	contexts for L:entry state of bytebuf_reserve (7575) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
681	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
660	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
654	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1586534.11MB, max=2160.46MB, minor=1586415.38MB, major=17285.45MB, promoted=17166.73MB
    minor collections=756524  major collections=89 compactions=0


runtime: 00:13:32.507
vars: 525227, evals: 1578751

|rho|=525227
|stable|=348567
|infl|=519659
|wpoint|=825
|sides|=9695
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=509354
|called|=6296
Found 8172 contexts for 112 functions. Top 5 functions:
720	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
699	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
693	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
693	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
693	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1597183.91MB, max=2484.53MB, minor=1597055.24MB, major=17377.96MB, promoted=17249.30MB
    minor collections=761598  major collections=89 compactions=0


runtime: 00:13:42.581
vars: 543954, evals: 1600868

|rho|=543954
|stable|=365141
|infl|=538066
|wpoint|=864
|sides|=9893
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=527805
|called|=6651
Found 8370 contexts for 112 functions. Top 5 functions:
760	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
739	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
733	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
732	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
732	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1607992.92MB, max=2484.53MB, minor=1607845.82MB, major=17479.58MB, promoted=17332.48MB
    minor collections=766745  major collections=89 compactions=0


runtime: 00:13:52.631
vars: 562866, evals: 1623198

|rho|=562866
|stable|=381876
|infl|=556662
|wpoint|=904
|sides|=10091
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=546439
|called|=7006
Found 8568 contexts for 112 functions. Top 5 functions:
799	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
778	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
773	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
772	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
772	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1618945.68MB, max=2484.53MB, minor=1618796.92MB, major=17565.37MB, promoted=17416.61MB
    minor collections=771967  major collections=89 compactions=0


runtime: 00:14:02.681
vars: 583303, evals: 1647350

|rho|=583303
|stable|=399926
|infl|=576751
|wpoint|=947
|sides|=10307
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=566573
|called|=7396
Found 8784 contexts for 112 functions. Top 5 functions:
842	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
822	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
816	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
815	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
815	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1630076.23MB, max=2484.53MB, minor=1629927.16MB, major=17654.65MB, promoted=17505.57MB
    minor collections=777274  major collections=89 compactions=0


runtime: 00:14:12.691
vars: 599050, evals: 1665935

|rho|=599050
|stable|=413859
|infl|=592225
|wpoint|=980
|sides|=10473
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=582089
|called|=7703
Found 8950 contexts for 112 functions. Top 5 functions:
876	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
855	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
849	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
848	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
848	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1638878.53MB, max=2484.53MB, minor=1638729.11MB, major=17723.65MB, promoted=17574.24MB
    minor collections=781471  major collections=89 compactions=0


runtime: 00:14:22.706
vars: 617377, evals: 1687585

|rho|=617377
|stable|=430047
|infl|=610257
|wpoint|=1019
|sides|=10665
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=600146
|called|=8044
Found 9142 contexts for 112 functions. Top 5 functions:
914	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
893	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
887	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
887	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
887	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1649369.91MB, max=2484.53MB, minor=1649219.78MB, major=17805.38MB, promoted=17655.24MB
    minor collections=786474  major collections=89 compactions=0


runtime: 00:14:32.712
vars: 635267, evals: 1708709

|rho|=635267
|stable|=445872
|infl|=627845
|wpoint|=1056
|sides|=10854
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=617771
|called|=8377
Found 9331 contexts for 112 functions. Top 5 functions:
952	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
931	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
925	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
925	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
924	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1659882.63MB, max=2484.53MB, minor=1659731.33MB, major=17886.22MB, promoted=17734.93MB
    minor collections=791486  major collections=89 compactions=0


runtime: 00:14:42.726
vars: 652527, evals: 1729099

|rho|=652527
|stable|=461127
|infl|=644815
|wpoint|=1093
|sides|=11035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=634778
|called|=8710
Found 9512 contexts for 112 functions. Top 5 functions:
988	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
967	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
961	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
961	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
961	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1670158.39MB, max=2484.53MB, minor=1670005.88MB, major=17965.06MB, promoted=17812.55MB
    minor collections=796385  major collections=89 compactions=0


runtime: 00:14:52.736
vars: 668879, evals: 1748406

|rho|=668879
|stable|=475603
|infl|=660887
|wpoint|=1127
|sides|=11208
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=650889
|called|=9017
Found 9685 contexts for 112 functions. Top 5 functions:
1023	contexts for L:entry state of copy_proc_mem (7590) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1002	contexts for L:entry state of sprint_zstring_81 (7680) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
996	contexts for L:entry state of sprint_zval_81 (7681) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
995	contexts for L:entry state of sprint_zarray_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
995	contexts for L:entry state of sprint_zarray_bucket_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1680054.22MB, max=2484.53MB, minor=1679900.36MB, major=18040.20MB, promoted=17886.34MB
    minor collections=801104  major collections=90 compactions=0

