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


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


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

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

runtime: 00:00:10.894
vars: 26338, evals: 56683

|rho|=26338
|stable|=23489
|infl|=26319
|wpoint|=17
|sides|=475
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25727
|called|=54
Found 137 contexts for 9 functions. Top 5 functions:
40	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
31	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
31	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
17	contexts for L:entry state of strtol_with_min_or_exit (7591) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
10	contexts for L:entry state of atoi_with_min_or_exit (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=22758.77MB, max=230.87MB, minor=22745.62MB, major=541.09MB, promoted=527.93MB
    minor collections=10856  major collections=19 compactions=0


runtime: 00:00:20.921
vars: 31365, evals: 78092

|rho|=31365
|stable|=23454
|infl|=31336
|wpoint|=18
|sides|=748
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30403
|called|=32
Found 205 contexts for 28 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) 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 (7591) 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 (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=44479.17MB, max=305.32MB, minor=44465.81MB, major=1033.06MB, promoted=1019.70MB
    minor collections=21216  major collections=24 compactions=0


runtime: 00:00:30.960
vars: 34103, evals: 96802

|rho|=34103
|stable|=26358
|infl|=34062
|wpoint|=18
|sides|=1025
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32749
|called|=45
Found 311 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=65521.58MB, max=351.13MB, minor=65507.07MB, major=1470.52MB, promoted=1456.02MB
    minor collections=31252  major collections=29 compactions=0


runtime: 00:00:40.983
vars: 34653, evals: 118654

|rho|=34653
|stable|=26352
|infl|=34612
|wpoint|=19
|sides|=1036
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33277
|called|=53
Found 322 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=86181.47MB, max=351.13MB, minor=86166.42MB, major=1687.79MB, promoted=1672.75MB
    minor collections=41104  major collections=31 compactions=0


runtime: 00:00:50.994
vars: 35273, evals: 140850

|rho|=35273
|stable|=27179
|infl|=35232
|wpoint|=19
|sides|=1049
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33871
|called|=48
Found 335 contexts for 49 functions. Top 5 functions:
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
30	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1

Memory statistics: total=107016.61MB, max=351.13MB, minor=107001.55MB, major=1907.89MB, promoted=1892.82MB
    minor collections=51040  major collections=33 compactions=0


runtime: 00:01:01.001
vars: 35866, evals: 162976

|rho|=35866
|stable|=27933
|infl|=35825
|wpoint|=20
|sides|=1062
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34438
|called|=44
Found 348 contexts for 49 functions. Top 5 functions:
43	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=128027.11MB, max=351.13MB, minor=128012.02MB, major=2130.16MB, promoted=2115.08MB
    minor collections=61060  major collections=35 compactions=0


runtime: 00:01:11.012
vars: 36421, evals: 184677

|rho|=36421
|stable|=27972
|infl|=36382
|wpoint|=21
|sides|=1073
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34971
|called|=45
Found 359 contexts for 49 functions. Top 5 functions:
54	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=148606.71MB, max=351.13MB, minor=148591.61MB, major=2344.31MB, promoted=2329.21MB
    minor collections=70874  major collections=37 compactions=0


runtime: 00:01:21.031
vars: 37028, evals: 206447

|rho|=37028
|stable|=28988
|infl|=36994
|wpoint|=20
|sides|=1086
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35551
|called|=48
Found 372 contexts for 49 functions. Top 5 functions:
67	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=169232.69MB, max=403.80MB, minor=169217.57MB, major=2561.66MB, promoted=2546.54MB
    minor collections=80711  major collections=39 compactions=0


runtime: 00:01:31.042
vars: 37596, evals: 226879

|rho|=37596
|stable|=29400
|infl|=37555
|wpoint|=23
|sides|=1099
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36094
|called|=53
Found 385 contexts for 49 functions. Top 5 functions:
80	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=188802.90MB, max=403.80MB, minor=188787.76MB, major=2768.65MB, promoted=2753.51MB
    minor collections=90044  major collections=41 compactions=0


runtime: 00:01:41.061
vars: 38092, evals: 246560

|rho|=38092
|stable|=29469
|infl|=38053
|wpoint|=24
|sides|=1109
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36570
|called|=53
Found 395 contexts for 49 functions. Top 5 functions:
90	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=207762.41MB, max=403.80MB, minor=207747.25MB, major=2963.49MB, promoted=2948.33MB
    minor collections=99085  major collections=43 compactions=0


runtime: 00:01:51.085
vars: 38676, evals: 267298

|rho|=38676
|stable|=30447
|infl|=38642
|wpoint|=22
|sides|=1121
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37129
|called|=49
Found 407 contexts for 49 functions. Top 5 functions:
102	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=227448.12MB, max=403.80MB, minor=227432.94MB, major=3169.89MB, promoted=3154.71MB
    minor collections=108473  major collections=44 compactions=0


runtime: 00:02:01.108
vars: 39223, evals: 287639

|rho|=39223
|stable|=30991
|infl|=39184
|wpoint|=25
|sides|=1133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37653
|called|=42
Found 419 contexts for 49 functions. Top 5 functions:
114	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=247015.55MB, max=403.80MB, minor=247000.34MB, major=3381.68MB, promoted=3366.48MB
    minor collections=117805  major collections=46 compactions=0


runtime: 00:02:11.119
vars: 39773, evals: 308589

|rho|=39773
|stable|=31007
|infl|=39734
|wpoint|=26
|sides|=1144
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38181
|called|=51
Found 430 contexts for 49 functions. Top 5 functions:
125	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=267135.09MB, max=403.80MB, minor=267119.87MB, major=3588.26MB, promoted=3573.03MB
    minor collections=127399  major collections=48 compactions=0


runtime: 00:02:21.130
vars: 40364, evals: 329339

|rho|=40364
|stable|=31766
|infl|=40323
|wpoint|=25
|sides|=1157
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38746
|called|=48
Found 443 contexts for 49 functions. Top 5 functions:
138	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=286934.94MB, max=464.37MB, minor=286919.69MB, major=3795.42MB, promoted=3780.17MB
    minor collections=136841  major collections=49 compactions=0


runtime: 00:02:31.141
vars: 40907, evals: 349757

|rho|=40907
|stable|=32485
|infl|=40866
|wpoint|=26
|sides|=1169
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39265
|called|=45
Found 455 contexts for 49 functions. Top 5 functions:
150	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=306631.06MB, max=464.37MB, minor=306615.79MB, major=4003.32MB, promoted=3988.05MB
    minor collections=146234  major collections=51 compactions=0


runtime: 00:02:41.153
vars: 41445, evals: 370320

|rho|=41445
|stable|=32532
|infl|=41404
|wpoint|=27
|sides|=1180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39781
|called|=54
Found 466 contexts for 49 functions. Top 5 functions:
161	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=326513.28MB, max=464.37MB, minor=326497.46MB, major=4210.82MB, promoted=4195.00MB
    minor collections=155715  major collections=52 compactions=0


runtime: 00:02:51.168
vars: 42018, evals: 390471

|rho|=42018
|stable|=33343
|infl|=41976
|wpoint|=26
|sides|=1192
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40330
|called|=42
Found 478 contexts for 49 functions. Top 5 functions:
173	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=345915.88MB, max=464.37MB, minor=345900.03MB, major=4416.85MB, promoted=4401.00MB
    minor collections=164968  major collections=54 compactions=0


runtime: 00:03:01.183
vars: 42463, evals: 409676

|rho|=42463
|stable|=33353
|infl|=42426
|wpoint|=29
|sides|=1201
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40757
|called|=45
Found 487 contexts for 49 functions. Top 5 functions:
182	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=364833.93MB, max=464.37MB, minor=364818.06MB, major=4613.89MB, promoted=4598.03MB
    minor collections=173990  major collections=55 compactions=0


runtime: 00:03:11.194
vars: 43069, evals: 430088

|rho|=43069
|stable|=34037
|infl|=43030
|wpoint|=30
|sides|=1214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41337
|called|=53
Found 500 contexts for 49 functions. Top 5 functions:
195	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=384506.78MB, max=464.37MB, minor=384490.89MB, major=4816.68MB, promoted=4800.79MB
    minor collections=183372  major collections=57 compactions=0


runtime: 00:03:21.217
vars: 43618, evals: 449960

|rho|=43618
|stable|=34792
|infl|=43579
|wpoint|=31
|sides|=1226
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41862
|called|=51
Found 512 contexts for 49 functions. Top 5 functions:
207	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=403999.32MB, max=534.03MB, minor=403983.41MB, major=5019.25MB, promoted=5003.33MB
    minor collections=192667  major collections=58 compactions=0


runtime: 00:03:31.233
vars: 44103, evals: 469576

|rho|=44103
|stable|=34858
|infl|=44064
|wpoint|=30
|sides|=1236
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42327
|called|=47
Found 522 contexts for 49 functions. Top 5 functions:
217	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=423580.62MB, max=534.03MB, minor=423564.68MB, major=5222.18MB, promoted=5206.24MB
    minor collections=202005  major collections=59 compactions=0


runtime: 00:03:41.244
vars: 44668, evals: 489370

|rho|=44668
|stable|=35878
|infl|=44636
|wpoint|=30
|sides|=1248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42867
|called|=50
Found 534 contexts for 49 functions. Top 5 functions:
229	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for L:entry state of cell_free (7557) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=443012.22MB, max=534.03MB, minor=442996.25MB, major=5422.91MB, promoted=5406.94MB
    minor collections=211272  major collections=61 compactions=0


runtime: 00:03:51.255
vars: 46720, evals: 508576

|rho|=46720
|stable|=37797
|infl|=46684
|wpoint|=32
|sides|=1379
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44694
|called|=36
Found 620 contexts for 62 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
42	contexts for L:entry state of log_error (1472) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
33	contexts for L:entry state of cleanup (7571) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
33	contexts for L:entry state of usage (1447) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1

Memory statistics: total=462121.74MB, max=534.03MB, minor=462105.69MB, major=5643.95MB, promoted=5627.90MB
    minor collections=220384  major collections=62 compactions=0


runtime: 00:04:01.298
vars: 69119, evals: 533853

|rho|=69119
|stable|=59923
|infl|=69078
|wpoint|=36
|sides|=2033
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65895
|called|=65
Found 1162 contexts for 69 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
171	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
171	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
58	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
52	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=481575.09MB, max=614.13MB, minor=481554.32MB, major=5979.19MB, promoted=5958.41MB
    minor collections=229659  major collections=64 compactions=0


runtime: 00:04:11.342
vars: 79210, evals: 552989

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

Memory statistics: total=501151.03MB, max=812.19MB, minor=501128.42MB, major=6366.57MB, promoted=6343.96MB
    minor collections=238994  major collections=66 compactions=0


runtime: 00:04:21.397
vars: 79210, evals: 572435

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

Memory statistics: total=520404.85MB, max=934.02MB, minor=520381.84MB, major=6647.34MB, promoted=6624.33MB
    minor collections=248176  major collections=67 compactions=0


runtime: 00:04:31.420
vars: 83302, evals: 593333

|rho|=83302
|stable|=45216
|infl|=83289
|wpoint|=52
|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 (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
227	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
109	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=538997.07MB, max=934.02MB, minor=538973.68MB, major=6973.29MB, promoted=6949.89MB
    minor collections=257041  major collections=68 compactions=0


runtime: 00:04:41.439
vars: 86658, evals: 612475

|rho|=86658
|stable|=62036
|infl|=86647
|wpoint|=55
|sides|=2768
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82226
|called|=44
Found 1617 contexts for 84 functions. Top 5 functions:
238	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
235	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
235	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
155	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
72	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=558801.25MB, max=1074.12MB, minor=558777.63MB, major=7291.96MB, promoted=7268.33MB
    minor collections=266485  major collections=69 compactions=0


runtime: 00:04:51.455
vars: 100828, evals: 633252

|rho|=100828
|stable|=76948
|infl|=100798
|wpoint|=68
|sides|=3292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95419
|called|=67
Found 2076 contexts for 86 functions. Top 5 functions:
299	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
299	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
238	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
192	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
97	contexts for L:entry state of cellbuf_get (7561) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=578192.73MB, max=1074.12MB, minor=578168.35MB, major=7593.22MB, promoted=7568.83MB
    minor collections=275732  major collections=70 compactions=0


runtime: 00:05:01.482
vars: 117461, evals: 652261

|rho|=117461
|stable|=93397
|infl|=117432
|wpoint|=68
|sides|=3686
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111264
|called|=57
Found 2470 contexts for 86 functions. Top 5 functions:
424	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
424	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
238	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
199	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
133	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=597471.10MB, max=1074.12MB, minor=597445.09MB, major=7914.12MB, promoted=7888.11MB
    minor collections=284925  major collections=71 compactions=0


runtime: 00:05:11.541
vars: 126220, evals: 668267

|rho|=126220
|stable|=102196
|infl|=126190
|wpoint|=83
|sides|=3949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119503
|called|=32
Found 2728 contexts for 86 functions. Top 5 functions:
454	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
454	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
250	contexts for L:entry state of cell_set (7556) 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 (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
142	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=617061.07MB, max=1235.24MB, minor=617034.13MB, major=8310.89MB, promoted=8283.95MB
    minor collections=294266  major collections=71 compactions=0


runtime: 00:05:21.624
vars: 132793, evals: 681731

|rho|=132793
|stable|=108185
|infl|=132767
|wpoint|=92
|sides|=4218
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125536
|called|=59
Found 2996 contexts for 86 functions. Top 5 functions:
456	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
456	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
276	contexts for L:entry state of cell_set (7556) 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 (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
142	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=636125.58MB, max=1420.53MB, minor=636093.92MB, major=8707.13MB, promoted=8675.47MB
    minor collections=303355  major collections=72 compactions=0


runtime: 00:05:31.636
vars: 148174, evals: 699930

|rho|=148174
|stable|=123304
|infl|=148145
|wpoint|=97
|sides|=4612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140131
|called|=54
Found 3390 contexts for 86 functions. Top 5 functions:
562	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
562	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
287	contexts for L:entry state of cell_set (7556) 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 (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
176	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=655319.03MB, max=1420.53MB, minor=655283.17MB, major=8985.88MB, promoted=8950.02MB
    minor collections=312506  major collections=73 compactions=0


runtime: 00:05:41.671
vars: 161668, evals: 716112

|rho|=161668
|stable|=136544
|infl|=161639
|wpoint|=100
|sides|=4936
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152977
|called|=84
Found 3714 contexts for 86 functions. Top 5 functions:
663	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
663	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
294	contexts for L:entry state of cell_set (7556) 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 (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
208	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=674637.67MB, max=1633.61MB, minor=674597.75MB, major=9292.03MB, promoted=9252.11MB
    minor collections=321716  major collections=73 compactions=0


runtime: 00:05:51.742
vars: 168238, evals: 729706

|rho|=168238
|stable|=143228
|infl|=168211
|wpoint|=113
|sides|=5149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159121
|called|=30
Found 3927 contexts for 86 functions. Top 5 functions:
676	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
676	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) 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 (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=694165.94MB, max=1878.66MB, minor=694124.83MB, major=9689.84MB, promoted=9648.74MB
    minor collections=331028  major collections=74 compactions=0


runtime: 00:06:01.754
vars: 170998, evals: 741920

|rho|=170998
|stable|=145807
|infl|=170967
|wpoint|=115
|sides|=5266
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161647
|called|=45
Found 4043 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
245	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=714125.71MB, max=1878.66MB, minor=714084.39MB, major=10022.49MB, promoted=9981.17MB
    minor collections=340546  major collections=75 compactions=0


runtime: 00:06:11.865
vars: 171348, evals: 755313

|rho|=171348
|stable|=145900
|infl|=171317
|wpoint|=113
|sides|=5273
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161983
|called|=32
Found 4050 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
252	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=734204.75MB, max=2160.46MB, minor=734163.37MB, major=10208.61MB, promoted=10167.24MB
    minor collections=350121  major collections=75 compactions=0


runtime: 00:06:21.888
vars: 171643, evals: 768885

|rho|=171643
|stable|=146359
|infl|=171618
|wpoint|=113
|sides|=5279
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162265
|called|=45
Found 4056 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
258	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=754545.20MB, max=2160.46MB, minor=754503.82MB, major=10408.37MB, promoted=10366.99MB
    minor collections=359820  major collections=75 compactions=0


runtime: 00:06:31.904
vars: 172097, evals: 783126

|rho|=172097
|stable|=146730
|infl|=172066
|wpoint|=114
|sides|=5289
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162700
|called|=50
Found 4066 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
268	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=774476.68MB, max=2160.46MB, minor=774435.29MB, major=10592.81MB, promoted=10551.41MB
    minor collections=369325  major collections=76 compactions=0


runtime: 00:06:41.915
vars: 172423, evals: 796637

|rho|=172423
|stable|=146719
|infl|=172392
|wpoint|=115
|sides|=5296
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163012
|called|=39
Found 4073 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
275	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=794205.13MB, max=2160.46MB, minor=794163.72MB, major=10783.81MB, promoted=10742.40MB
    minor collections=378732  major collections=76 compactions=0


runtime: 00:06:51.927
vars: 172848, evals: 810894

|rho|=172848
|stable|=147587
|infl|=172822
|wpoint|=114
|sides|=5305
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163418
|called|=33
Found 4082 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
284	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=814254.96MB, max=2160.46MB, minor=814213.55MB, major=10977.03MB, promoted=10935.61MB
    minor collections=388293  major collections=76 compactions=0


runtime: 00:07:01.938
vars: 173198, evals: 825132

|rho|=173198
|stable|=147874
|infl|=173172
|wpoint|=114
|sides|=5312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163754
|called|=45
Found 4089 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
291	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=834640.99MB, max=2160.46MB, minor=834599.56MB, major=11172.76MB, promoted=11131.33MB
    minor collections=398014  major collections=77 compactions=0


runtime: 00:07:11.945
vars: 173616, evals: 839000

|rho|=173616
|stable|=148196
|infl|=173583
|wpoint|=116
|sides|=5322
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164153
|called|=39
Found 4099 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
301	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=854437.64MB, max=2160.46MB, minor=854396.19MB, major=11366.47MB, promoted=11325.02MB
    minor collections=407454  major collections=77 compactions=0


runtime: 00:07:21.957
vars: 173966, evals: 852659

|rho|=173966
|stable|=148219
|infl|=173933
|wpoint|=116
|sides|=5329
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164489
|called|=38
Found 4106 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
308	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=874367.66MB, max=2160.46MB, minor=874326.20MB, major=11551.21MB, promoted=11509.75MB
    minor collections=416958  major collections=77 compactions=0


runtime: 00:07:31.972
vars: 174362, evals: 866846

|rho|=174362
|stable|=148957
|infl|=174329
|wpoint|=117
|sides|=5338
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164867
|called|=37
Found 4115 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
317	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=894935.36MB, max=2160.46MB, minor=894893.89MB, major=11749.76MB, promoted=11708.29MB
    minor collections=426766  major collections=78 compactions=0


runtime: 00:07:41.980
vars: 174736, evals: 880732

|rho|=174736
|stable|=149001
|infl|=174703
|wpoint|=117
|sides|=5345
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165227
|called|=37
Found 4122 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
324	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=915045.70MB, max=2160.46MB, minor=915004.20MB, major=11937.15MB, promoted=11895.66MB
    minor collections=436355  major collections=78 compactions=0


runtime: 00:07:51.991
vars: 175037, evals: 894107

|rho|=175037
|stable|=149032
|infl|=175008
|wpoint|=118
|sides|=5351
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165516
|called|=32
Found 4128 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
330	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=934737.03MB, max=2160.46MB, minor=934695.51MB, major=12129.00MB, promoted=12087.48MB
    minor collections=445745  major collections=78 compactions=0


runtime: 00:08:02.003
vars: 175493, evals: 908544

|rho|=175493
|stable|=149720
|infl|=175462
|wpoint|=120
|sides|=5361
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165952
|called|=43
Found 4138 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
340	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=955216.02MB, max=2160.46MB, minor=955174.49MB, major=12318.43MB, promoted=12276.90MB
    minor collections=455511  major collections=79 compactions=0


runtime: 00:08:12.014
vars: 175804, evals: 921872

|rho|=175804
|stable|=149760
|infl|=175773
|wpoint|=119
|sides|=5368
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166249
|called|=37
Found 4145 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
347	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=974853.90MB, max=2160.46MB, minor=974812.36MB, major=12509.67MB, promoted=12468.12MB
    minor collections=464875  major collections=79 compactions=0


runtime: 00:08:22.022
vars: 176228, evals: 935616

|rho|=176228
|stable|=150474
|infl|=176195
|wpoint|=120
|sides|=5377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166655
|called|=43
Found 4154 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
356	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=994690.82MB, max=2160.46MB, minor=994649.25MB, major=12697.86MB, promoted=12656.28MB
    minor collections=474334  major collections=79 compactions=0


runtime: 00:08:32.033
vars: 176575, evals: 949491

|rho|=176575
|stable|=150507
|infl|=176542
|wpoint|=120
|sides|=5384
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166988
|called|=44
Found 4161 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
363	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1015243.76MB, max=2160.46MB, minor=1015202.17MB, major=12892.51MB, promoted=12850.92MB
    minor collections=484135  major collections=79 compactions=0


runtime: 00:08:42.045
vars: 176968, evals: 963140

|rho|=176968
|stable|=151227
|infl|=176935
|wpoint|=121
|sides|=5393
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167363
|called|=45
Found 4170 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
372	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1035049.99MB, max=2160.46MB, minor=1035008.38MB, major=13080.87MB, promoted=13039.26MB
    minor collections=493580  major collections=80 compactions=0


runtime: 00:08:52.056
vars: 177315, evals: 976381

|rho|=177315
|stable|=151247
|infl|=177282
|wpoint|=121
|sides|=5400
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167696
|called|=45
Found 4177 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
379	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1054191.25MB, max=2160.46MB, minor=1054149.61MB, major=13260.17MB, promoted=13218.53MB
    minor collections=502707  major collections=80 compactions=0


runtime: 00:09:02.064
vars: 177705, evals: 990299

|rho|=177705
|stable|=151990
|infl|=177672
|wpoint|=122
|sides|=5409
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168068
|called|=40
Found 4186 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
388	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1074361.04MB, max=2160.46MB, minor=1074319.38MB, major=13459.14MB, promoted=13417.48MB
    minor collections=512325  major collections=80 compactions=0


runtime: 00:09:12.075
vars: 178067, evals: 1003872

|rho|=178067
|stable|=151999
|infl|=178034
|wpoint|=122
|sides|=5416
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168416
|called|=44
Found 4193 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
395	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1094198.68MB, max=2160.46MB, minor=1094157.00MB, major=13642.69MB, promoted=13601.00MB
    minor collections=521785  major collections=81 compactions=0


runtime: 00:09:22.086
vars: 178369, evals: 1016788

|rho|=178369
|stable|=152074
|infl|=178338
|wpoint|=122
|sides|=5422
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168706
|called|=39
Found 4199 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
401	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1113502.15MB, max=2160.46MB, minor=1113460.44MB, major=13826.75MB, promoted=13785.03MB
    minor collections=530989  major collections=81 compactions=0


runtime: 00:09:32.110
vars: 178787, evals: 1030418

|rho|=178787
|stable|=152800
|infl|=178754
|wpoint|=122
|sides|=5431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169106
|called|=39
Found 4208 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
410	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1133092.92MB, max=2160.46MB, minor=1133051.18MB, major=14012.98MB, promoted=13971.24MB
    minor collections=540331  major collections=81 compactions=0


runtime: 00:09:42.117
vars: 179134, evals: 1044280

|rho|=179134
|stable|=152832
|infl|=179101
|wpoint|=122
|sides|=5438
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169439
|called|=40
Found 4215 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
417	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1153523.61MB, max=2160.46MB, minor=1153481.84MB, major=14206.86MB, promoted=14165.10MB
    minor collections=550074  major collections=82 compactions=0


runtime: 00:09:52.129
vars: 179518, evals: 1057586

|rho|=179518
|stable|=153560
|infl|=179485
|wpoint|=123
|sides|=5447
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169805
|called|=37
Found 4224 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
426	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1173133.97MB, max=2160.46MB, minor=1173092.17MB, major=14394.85MB, promoted=14353.06MB
    minor collections=559425  major collections=82 compactions=0


runtime: 00:10:02.152
vars: 179865, evals: 1070853

|rho|=179865
|stable|=153609
|infl|=179834
|wpoint|=122
|sides|=5454
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170138
|called|=31
Found 4231 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
433	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1192929.83MB, max=2160.46MB, minor=1192888.01MB, major=14576.95MB, promoted=14535.13MB
    minor collections=568865  major collections=82 compactions=0


runtime: 00:10:12.164
vars: 180252, evals: 1084393

|rho|=180252
|stable|=154284
|infl|=180219
|wpoint|=125
|sides|=5463
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170507
|called|=42
Found 4240 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
442	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1213291.71MB, max=2160.46MB, minor=1213249.86MB, major=14774.33MB, promoted=14732.48MB
    minor collections=578574  major collections=82 compactions=0


runtime: 00:10:22.171
vars: 180589, evals: 1097601

|rho|=180589
|stable|=154503
|infl|=180563
|wpoint|=123
|sides|=5469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170831
|called|=46
Found 4246 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
448	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1233431.88MB, max=2160.46MB, minor=1233390.00MB, major=14954.87MB, promoted=14912.98MB
    minor collections=588178  major collections=83 compactions=0


runtime: 00:10:32.191
vars: 180886, evals: 1109871

|rho|=180886
|stable|=154411
|infl|=180857
|wpoint|=125
|sides|=5475
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171117
|called|=54
Found 4252 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
454	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1252507.88MB, max=2160.46MB, minor=1252465.96MB, major=15127.79MB, promoted=15085.86MB
    minor collections=597275  major collections=83 compactions=0


runtime: 00:10:42.198
vars: 181283, evals: 1122907

|rho|=181283
|stable|=155089
|infl|=181252
|wpoint|=126
|sides|=5484
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171496
|called|=39
Found 4261 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
463	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1272294.48MB, max=2160.46MB, minor=1272252.54MB, major=15313.24MB, promoted=15271.30MB
    minor collections=606710  major collections=83 compactions=0


runtime: 00:10:52.214
vars: 181609, evals: 1135685

|rho|=181609
|stable|=155115
|infl|=181578
|wpoint|=126
|sides|=5491
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171808
|called|=39
Found 4268 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
470	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1291965.88MB, max=2160.46MB, minor=1291923.92MB, major=15496.07MB, promoted=15454.10MB
    minor collections=616090  major collections=84 compactions=0


runtime: 00:11:02.226
vars: 181924, evals: 1147668

|rho|=181924
|stable|=155814
|infl|=181901
|wpoint|=126
|sides|=5497
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172110
|called|=31
Found 4274 contexts for 87 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1310957.21MB, max=2160.46MB, minor=1310915.21MB, major=15686.82MB, promoted=15644.82MB
    minor collections=625146  major collections=84 compactions=0


runtime: 00:11:12.241
vars: 187708, evals: 1164219

|rho|=187708
|stable|=51472
|infl|=187697
|wpoint|=124
|sides|=5803
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177421
|called|=38
Found 4415 contexts for 101 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1329731.56MB, max=2160.46MB, minor=1329688.89MB, major=15897.20MB, promoted=15854.53MB
    minor collections=634098  major collections=84 compactions=0


runtime: 00:11:22.248
vars: 187713, evals: 1178190

|rho|=187713
|stable|=49458
|infl|=187702
|wpoint|=124
|sides|=5803
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177426
|called|=46
Found 4415 contexts for 101 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1350060.71MB, max=2160.46MB, minor=1350018.01MB, major=16075.14MB, promoted=16032.43MB
    minor collections=643792  major collections=84 compactions=0


runtime: 00:11:32.264
vars: 219205, evals: 1217359

|rho|=219205
|stable|=80293
|infl|=218719
|wpoint|=185
|sides|=6309
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208199
|called|=573
Found 4786 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1368134.89MB, max=2160.46MB, minor=1368090.78MB, major=16249.40MB, promoted=16205.30MB
    minor collections=652411  major collections=85 compactions=0


runtime: 00:11:42.295
vars: 253697, evals: 1258110

|rho|=253697
|stable|=110789
|infl|=252633
|wpoint|=258
|sides|=6672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242182
|called|=1226
Found 5149 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for L:entry state of convert_num (7553) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1384933.73MB, max=2160.46MB, minor=1384887.72MB, major=16405.54MB, promoted=16359.53MB
    minor collections=660420  major collections=85 compactions=0


runtime: 00:11:52.318
vars: 285302, evals: 1295412

|rho|=285302
|stable|=138743
|infl|=283708
|wpoint|=324
|sides|=7005
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273320
|called|=1820
Found 5482 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
224	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1400545.32MB, max=2160.46MB, minor=1400485.47MB, major=16562.85MB, promoted=16503.00MB
    minor collections=667861  major collections=85 compactions=0


runtime: 00:12:02.334
vars: 315910, evals: 1331561

|rho|=315910
|stable|=165809
|infl|=313788
|wpoint|=388
|sides|=7326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=303479
|called|=2412
Found 5803 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
288	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1

Memory statistics: total=1416026.25MB, max=2160.46MB, minor=1415964.59MB, major=16704.13MB, promoted=16642.48MB
    minor collections=675243  major collections=85 compactions=0


runtime: 00:12:12.349
vars: 343947, evals: 1364700

|rho|=343947
|stable|=190589
|infl|=341363
|wpoint|=448
|sides|=7622
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=331102
|called|=2936
Found 6099 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
347	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
345	contexts for L:entry state of cell_set (7556) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=1430568.20MB, max=2160.46MB, minor=1430504.70MB, major=16834.51MB, promoted=16771.01MB
    minor collections=682176  major collections=86 compactions=0


runtime: 00:12:22.368
vars: 370387, evals: 1395890

|rho|=370387
|stable|=213983
|infl|=367354
|wpoint|=503
|sides|=7901
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=357151
|called|=3438
Found 6378 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
403	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
382	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1

Memory statistics: total=1444468.25MB, max=2160.46MB, minor=1444402.87MB, major=16958.81MB, promoted=16893.43MB
    minor collections=688804  major collections=86 compactions=0


runtime: 00:12:32.384
vars: 395369, evals: 1425429

|rho|=395369
|stable|=236052
|infl|=391916
|wpoint|=556
|sides|=8164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=381766
|called|=3911
Found 6641 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
476	contexts for L:entry state of cap_trie_deinit (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
455	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
435	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1

Memory statistics: total=1457880.38MB, max=2160.46MB, minor=1457813.13MB, major=17076.91MB, promoted=17009.66MB
    minor collections=695198  major collections=86 compactions=0


runtime: 00:12:42.463
vars: 419660, evals: 1454105

|rho|=419660
|stable|=257538
|infl|=415794
|wpoint|=607
|sides|=8420
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=405699
|called|=4375
Found 6897 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
507	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
486	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
480	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1470929.47MB, max=2484.53MB, minor=1470860.49MB, major=17191.90MB, promoted=17122.91MB
    minor collections=701420  major collections=86 compactions=0


runtime: 00:12:52.475
vars: 444542, evals: 1483494

|rho|=444542
|stable|=279531
|infl|=440264
|wpoint|=659
|sides|=8681
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=430214
|called|=4840
Found 7158 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
559	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
538	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
532	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1484105.64MB, max=2484.53MB, minor=1484032.03MB, major=17310.39MB, promoted=17236.79MB
    minor collections=707702  major collections=86 compactions=0


runtime: 00:13:02.490
vars: 467817, evals: 1510987

|rho|=467817
|stable|=300115
|infl|=463147
|wpoint|=708
|sides|=8926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=453146
|called|=5281
Found 7403 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
608	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
587	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
581	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1496821.12MB, max=2484.53MB, minor=1496746.68MB, major=17419.57MB, promoted=17345.12MB
    minor collections=713765  major collections=86 compactions=0


runtime: 00:13:12.501
vars: 490087, evals: 1537280

|rho|=490087
|stable|=319800
|infl|=485041
|wpoint|=755
|sides|=9161
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=475087
|called|=5705
Found 7638 contexts for 112 functions. Top 5 functions:
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
655	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
634	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
628	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=1509246.37MB, max=2484.53MB, minor=1509170.70MB, major=17524.85MB, promoted=17449.18MB
    minor collections=719689  major collections=86 compactions=0


runtime: 00:13:22.517
vars: 511269, evals: 1562313

|rho|=511269
|stable|=338532
|infl|=505863
|wpoint|=800
|sides|=9384
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=495958
|called|=6109
Found 7861 contexts for 112 functions. Top 5 functions:
699	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
679	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
679	contexts for L:entry state of bytebuf_reserve (7567) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
679	contexts for L:entry state of bytebuf_nputs (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
673	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1

Memory statistics: total=1521275.47MB, max=2484.53MB, minor=1521198.31MB, major=17626.72MB, promoted=17549.55MB
    minor collections=725425  major collections=87 compactions=0


runtime: 00:13:32.560
vars: 530330, evals: 1584814

|rho|=530330
|stable|=355393
|infl|=524601
|wpoint|=840
|sides|=9584
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514739
|called|=6471
Found 8061 contexts for 112 functions. Top 5 functions:
739	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
719	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
713	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
712	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
712	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1532260.62MB, max=2484.53MB, minor=1532165.16MB, major=17735.67MB, promoted=17640.22MB
    minor collections=730656  major collections=87 compactions=0


runtime: 00:13:42.623
vars: 549614, evals: 1607577

|rho|=549614
|stable|=372453
|infl|=543567
|wpoint|=882
|sides|=9786
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=533739
|called|=6831
Found 8263 contexts for 112 functions. Top 5 functions:
780	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
759	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
753	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
753	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
752	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1543493.10MB, max=2484.53MB, minor=1543387.61MB, major=17836.71MB, promoted=17731.22MB
    minor collections=736009  major collections=87 compactions=0


runtime: 00:13:52.667
vars: 568824, evals: 1630278

|rho|=568824
|stable|=389430
|infl|=562448
|wpoint|=921
|sides|=9990
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=552665
|called|=7202
Found 8467 contexts for 112 functions. Top 5 functions:
821	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
800	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
794	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
793	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
793	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1554870.32MB, max=2857.21MB, minor=1554763.12MB, major=17930.81MB, promoted=17823.61MB
    minor collections=741433  major collections=87 compactions=0


runtime: 00:14:02.718
vars: 587622, evals: 1652473

|rho|=587622
|stable|=406061
|infl|=580934
|wpoint|=961
|sides|=10187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=571186
|called|=7551
Found 8664 contexts for 112 functions. Top 5 functions:
860	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
839	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
833	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
833	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
833	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1566033.33MB, max=2857.21MB, minor=1565924.43MB, major=18022.51MB, promoted=17913.61MB
    minor collections=746755  major collections=87 compactions=0


runtime: 00:14:12.770
vars: 606462, evals: 1674726

|rho|=606462
|stable|=422701
|infl|=599456
|wpoint|=1000
|sides|=10386
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=589747
|called|=7909
Found 8863 contexts for 112 functions. Top 5 functions:
900	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
879	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
873	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
873	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
872	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1576685.31MB, max=2857.21MB, minor=1576575.76MB, major=18111.90MB, promoted=18002.36MB
    minor collections=751834  major collections=87 compactions=0


runtime: 00:14:22.797
vars: 625517, evals: 1697240

|rho|=625517
|stable|=439556
|infl|=618191
|wpoint|=1040
|sides|=10586
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=608522
|called|=8268
Found 9063 contexts for 112 functions. Top 5 functions:
940	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
919	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
913	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
913	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
912	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1587546.24MB, max=2857.21MB, minor=1587436.21MB, major=18201.75MB, promoted=18091.72MB
    minor collections=757013  major collections=87 compactions=0


runtime: 00:14:32.812
vars: 643512, evals: 1718479

|rho|=643512
|stable|=455456
|infl|=635882
|wpoint|=1078
|sides|=10776
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=626251
|called|=8619
Found 9253 contexts for 112 functions. Top 5 functions:
978	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
957	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
951	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
951	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
950	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1598084.93MB, max=2857.21MB, minor=1597974.27MB, major=18288.30MB, promoted=18177.64MB
    minor collections=762038  major collections=87 compactions=0


runtime: 00:14:42.828
vars: 660828, evals: 1738945

|rho|=660828
|stable|=470787
|infl|=652903
|wpoint|=1115
|sides|=10957
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=643314
|called|=8942
Found 9434 contexts for 112 functions. Top 5 functions:
1014	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
993	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
987	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
987	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
987	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1608465.03MB, max=2857.21MB, minor=1608353.47MB, major=18372.19MB, promoted=18260.64MB
    minor collections=766987  major collections=87 compactions=0


runtime: 00:14:52.840
vars: 678051, evals: 1759281

|rho|=678051
|stable|=486009
|infl|=669834
|wpoint|=1151
|sides|=11139
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=660283
|called|=9270
Found 9616 contexts for 112 functions. Top 5 functions:
1050	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1030	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1024	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1023	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1023	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1618950.69MB, max=2857.21MB, minor=1618837.96MB, major=18457.51MB, promoted=18344.79MB
    minor collections=771987  major collections=87 compactions=0


runtime: 00:15:02.862
vars: 694497, evals: 1778720

|rho|=694497
|stable|=500551
|infl|=686010
|wpoint|=1186
|sides|=11312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=676486
|called|=9575
Found 9789 contexts for 112 functions. Top 5 functions:
1085	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1064	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1058	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1058	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1058	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1629155.70MB, max=2857.21MB, minor=1629041.62MB, major=18539.75MB, promoted=18425.67MB
    minor collections=776853  major collections=88 compactions=0


runtime: 00:15:12.878
vars: 710294, evals: 1797367

|rho|=710294
|stable|=514507
|infl|=701536
|wpoint|=1219
|sides|=11479
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=692050
|called|=9883
Found 9956 contexts for 112 functions. Top 5 functions:
1118	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1098	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1092	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1091	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1091	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1639008.59MB, max=2857.21MB, minor=1638893.09MB, major=18618.96MB, promoted=18503.46MB
    minor collections=781550  major collections=88 compactions=0


runtime: 00:15:22.897
vars: 725212, evals: 1814976

|rho|=725212
|stable|=527701
|infl|=716207
|wpoint|=1250
|sides|=11636
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=706747
|called|=10157
Found 10113 contexts for 112 functions. Top 5 functions:
1150	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1129	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1123	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1123	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1122	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1648455.87MB, max=2857.21MB, minor=1648330.51MB, major=18701.37MB, promoted=18576.01MB
    minor collections=786052  major collections=88 compactions=0


runtime: 00:15:32.953
vars: 740295, evals: 1832790

|rho|=740295
|stable|=541048
|infl|=731025
|wpoint|=1282
|sides|=11795
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=721609
|called|=10454
Found 10272 contexts for 112 functions. Top 5 functions:
1182	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1161	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1155	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1154	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1154	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1658045.95MB, max=2857.21MB, minor=1657919.07MB, major=18776.31MB, promoted=18649.44MB
    minor collections=790624  major collections=88 compactions=0


runtime: 00:15:43.017
vars: 755001, evals: 1850163

|rho|=755001
|stable|=554049
|infl|=745489
|wpoint|=1313
|sides|=11949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=736099
|called|=10727
Found 10426 contexts for 112 functions. Top 5 functions:
1212	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1192	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1186	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1185	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1185	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1667503.75MB, max=3285.79MB, minor=1667375.35MB, major=18850.16MB, promoted=18721.75MB
    minor collections=795133  major collections=88 compactions=0


runtime: 00:15:53.064
vars: 769327, evals: 1867071

|rho|=769327
|stable|=566723
|infl|=759580
|wpoint|=1343
|sides|=12100
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=750212
|called|=10992
Found 10577 contexts for 112 functions. Top 5 functions:
1243	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1222	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1216	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1215	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1215	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1676826.24MB, max=3285.79MB, minor=1676696.27MB, major=18922.82MB, promoted=18792.85MB
    minor collections=799578  major collections=88 compactions=0


runtime: 00:16:03.127
vars: 783500, evals: 1883822

|rho|=783500
|stable|=579248
|infl|=773504
|wpoint|=1373
|sides|=12249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=764178
|called|=11271
Found 10726 contexts for 112 functions. Top 5 functions:
1272	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1252	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1246	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1245	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1245	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1686042.46MB, max=3285.79MB, minor=1685910.94MB, major=18994.27MB, promoted=18862.76MB
    minor collections=803972  major collections=88 compactions=0


runtime: 00:16:13.183
vars: 797299, evals: 1900117

|rho|=797299
|stable|=591448
|infl|=787075
|wpoint|=1402
|sides|=12395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=777773
|called|=11531
Found 10872 contexts for 112 functions. Top 5 functions:
1302	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1281	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1275	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1274	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1274	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1695188.97MB, max=3285.79MB, minor=1695055.95MB, major=19065.24MB, promoted=18932.22MB
    minor collections=808333  major collections=88 compactions=0


runtime: 00:16:23.242
vars: 813905, evals: 1919731

|rho|=813905
|stable|=606133
|infl|=803400
|wpoint|=1437
|sides|=12569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=794135
|called|=11844
Found 11046 contexts for 112 functions. Top 5 functions:
1336	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1316	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1310	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1309	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1309	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1704366.56MB, max=3285.79MB, minor=1704223.98MB, major=19154.41MB, promoted=19011.83MB
    minor collections=812704  major collections=88 compactions=0


runtime: 00:16:33.266
vars: 831480, evals: 1940488

|rho|=831480
|stable|=621673
|infl|=820679
|wpoint|=1474
|sides|=12754
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=811451
|called|=12177
Found 11231 contexts for 112 functions. Top 5 functions:
1373	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1353	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1347	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1346	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1346	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1713897.38MB, max=3285.79MB, minor=1713754.41MB, major=19240.41MB, promoted=19097.44MB
    minor collections=817249  major collections=88 compactions=0


runtime: 00:16:43.281
vars: 848237, evals: 1960256

|rho|=848237
|stable|=636503
|infl|=837159
|wpoint|=1509
|sides|=12931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=827959
|called|=12489
Found 11408 contexts for 112 functions. Top 5 functions:
1409	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1388	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1382	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1382	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1381	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1723261.83MB, max=3285.79MB, minor=1723118.43MB, major=19322.62MB, promoted=19179.22MB
    minor collections=821714  major collections=88 compactions=0


runtime: 00:16:53.297
vars: 864327, evals: 1979271

|rho|=864327
|stable|=650723
|infl|=852982
|wpoint|=1543
|sides|=13100
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=843812
|called|=12790
Found 11577 contexts for 112 functions. Top 5 functions:
1443	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1422	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1416	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1415	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1415	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1732425.04MB, max=3285.79MB, minor=1732281.18MB, major=19402.60MB, promoted=19258.74MB
    minor collections=826083  major collections=88 compactions=0


runtime: 00:17:03.308
vars: 880117, evals: 1997931

|rho|=880117
|stable|=664671
|infl|=868503
|wpoint|=1576
|sides|=13266
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=859370
|called|=13099
Found 11743 contexts for 112 functions. Top 5 functions:
1476	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1455	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1449	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1449	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1448	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1741536.74MB, max=3285.79MB, minor=1741392.40MB, major=19481.91MB, promoted=19337.57MB
    minor collections=830428  major collections=88 compactions=0


runtime: 00:17:13.319
vars: 895737, evals: 2016375

|rho|=895737
|stable|=678481
|infl|=883859
|wpoint|=1609
|sides|=13431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=874759
|called|=13390
Found 11908 contexts for 112 functions. Top 5 functions:
1509	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1488	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1482	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1482	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1481	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1750622.41MB, max=3285.79MB, minor=1750477.60MB, major=19558.56MB, promoted=19413.74MB
    minor collections=834760  major collections=88 compactions=0


runtime: 00:17:23.335
vars: 910736, evals: 2034088

|rho|=910736
|stable|=691765
|infl|=898599
|wpoint|=1641
|sides|=13588
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=889539
|called|=13680
Found 12065 contexts for 112 functions. Top 5 functions:
1540	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1519	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1514	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1513	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1513	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1759401.19MB, max=3285.79MB, minor=1759255.89MB, major=19633.13MB, promoted=19487.83MB
    minor collections=838946  major collections=88 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7837:7-7837:59!

runtime: 00:17:27.099
vars: 915969, evals: 2040280

|rho|=915969
|stable|=696367
|infl|=903747
|wpoint|=1652
|sides|=13644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=894694
|called|=13787
Found 12121 contexts for 112 functions. Top 5 functions:
1551	contexts for L:entry state of copy_proc_mem (7582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1531	contexts for L:entry state of sprint_zstring_81 (7672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1525	contexts for L:entry state of sprint_zval_81 (7673) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1524	contexts for L:entry state of sprint_zarray_81 (7674) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1524	contexts for L:entry state of sprint_zarray_bucket_81 (7676) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=1762557.47MB, max=3285.78MB, minor=1762411.79MB, major=19660.52MB, promoted=19514.84MB
    minor collections=840451  major collections=89 compactions=0


Fatal error: exception Stack overflow
