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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/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
Collected factors:
functions: 295
functionCalls: 5865
loops: 913
loopBreaks: 0
controlFlowStatements: 35335
expressions: 133689
instructions: 18531
integralVars: (52,1112)
arrayVars: (16,62)
pointerVars: (22,858)

Complexity estimates:
File: 49169248442
function cap_trie_deinit is recursive, disable interval context
function extract_event is recursive, disable interval context
thread created by pthread_create, called by:
  main_pgrep
Total: 49169248442
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.794
vars: 16604, evals: 33667

|rho|=16604
|called|=48
|stable|=13710
|infl|=16523
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=16101
Found 79 contexts for 9 functions. Top 5 functions:
24	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
19	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
19	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
7	contexts for entry state of strtol_with_min_or_exit (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
4	contexts for entry state of atoi_with_min_or_exit (7565) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1-5647:1

Memory statistics: total=23271.74MB, max=174.57MB, minor=23260.34MB, major=418.52MB, promoted=407.12MB
    minor collections=11101  major collections=17 compactions=0


runtime: 00:00:20.833
vars: 31479, evals: 72189

|rho|=31479
|called|=32
|stable|=23322
|infl|=31377
|wpoint|=17
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30666
Found 210 contexts for 28 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
21	contexts for entry state of strtol_with_min_or_exit (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
12	contexts for entry state of read_terminfo_path (7509) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4122:1-4164:1

Memory statistics: total=45931.08MB, max=265.50MB, minor=45918.31MB, major=768.52MB, promoted=755.75MB
    minor collections=21907  major collections=22 compactions=0


runtime: 00:00:30.851
vars: 32841, evals: 84473

|rho|=32841
|called|=31
|stable|=24677
|infl|=32740
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31981
Found 219 contexts for 28 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
21	contexts for entry state of strtol_with_min_or_exit (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
12	contexts for entry state of read_terminfo_path (7509) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4122:1-4164:1

Memory statistics: total=67704.08MB, max=305.32MB, minor=67690.37MB, major=1291.70MB, promoted=1277.99MB
    minor collections=32292  major collections=28 compactions=0


runtime: 00:00:40.874
vars: 33717, evals: 97904

|rho|=33717
|called|=35
|stable|=25789
|infl|=33610
|wpoint|=16
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32769
Found 238 contexts for 35 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
21	contexts for entry state of strtol_with_min_or_exit (7564) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1-5631:1
14	contexts for entry state of cap_trie_add (7497) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3630:1-3675:1

Memory statistics: total=89304.46MB, max=305.32MB, minor=89289.52MB, major=1769.84MB, promoted=1754.91MB
    minor collections=42594  major collections=33 compactions=0


runtime: 00:00:50.886
vars: 35319, evals: 112666

|rho|=35319
|called|=45
|stable|=27198
|infl|=35206
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34188
Found 326 contexts for 49 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=109643.04MB, max=305.32MB, minor=109627.99MB, major=2119.48MB, promoted=2104.44MB
    minor collections=52295  major collections=37 compactions=0


runtime: 00:01:00.897
vars: 35622, evals: 124802

|rho|=35622
|called|=47
|stable|=27205
|infl|=35509
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34485
Found 332 contexts for 49 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=128057.85MB, max=351.13MB, minor=128042.76MB, major=2370.37MB, promoted=2355.29MB
    minor collections=61077  major collections=40 compactions=0


runtime: 00:01:10.913
vars: 35829, evals: 135051

|rho|=35829
|called|=41
|stable|=27833
|infl|=35724
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34688
Found 336 contexts for 49 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
24	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=144338.20MB, max=351.13MB, minor=144323.07MB, major=2595.78MB, promoted=2580.65MB
    minor collections=68841  major collections=42 compactions=0


runtime: 00:01:20.920
vars: 36223, evals: 147759

|rho|=36223
|called|=42
|stable|=28173
|infl|=36117
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35073
Found 345 contexts for 49 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1
28	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1

Memory statistics: total=163284.45MB, max=351.13MB, minor=163269.28MB, major=2854.90MB, promoted=2839.73MB
    minor collections=77877  major collections=44 compactions=0


runtime: 00:01:30.931
vars: 36516, evals: 159462

|rho|=36516
|called|=65
|stable|=28050
|infl|=36405
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35360
Found 351 contexts for 49 functions. Top 5 functions:
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
34	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=181377.15MB, max=351.13MB, minor=181361.95MB, major=3101.80MB, promoted=3086.59MB
    minor collections=86505  major collections=47 compactions=0


runtime: 00:01:40.951
vars: 36820, evals: 170040

|rho|=36820
|called|=70
|stable|=28723
|infl|=36707
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35656
Found 359 contexts for 49 functions. Top 5 functions:
42	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=198057.10MB, max=351.13MB, minor=198041.85MB, major=3328.75MB, promoted=3313.51MB
    minor collections=94460  major collections=49 compactions=0


runtime: 00:01:50.962
vars: 37152, evals: 183077

|rho|=37152
|called|=44
|stable|=29050
|infl|=37046
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35982
Found 365 contexts for 49 functions. Top 5 functions:
48	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=217625.21MB, max=351.13MB, minor=217609.94MB, major=3601.02MB, promoted=3585.74MB
    minor collections=103793  major collections=52 compactions=0


runtime: 00:02:00.974
vars: 37430, evals: 194302

|rho|=37430
|called|=47
|stable|=28751
|infl|=37319
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36254
Found 371 contexts for 49 functions. Top 5 functions:
54	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=235165.80MB, max=351.13MB, minor=235150.49MB, major=3842.63MB, promoted=3827.31MB
    minor collections=112158  major collections=54 compactions=0


runtime: 00:02:10.985
vars: 37769, evals: 205843

|rho|=37769
|called|=52
|stable|=29439
|infl|=37656
|wpoint|=22
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36585
Found 379 contexts for 49 functions. Top 5 functions:
62	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=252811.97MB, max=351.13MB, minor=252796.61MB, major=4082.26MB, promoted=4066.90MB
    minor collections=120573  major collections=56 compactions=0


runtime: 00:02:20.996
vars: 38080, evals: 218056

|rho|=38080
|called|=67
|stable|=29536
|infl|=37969
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36890
Found 385 contexts for 49 functions. Top 5 functions:
68	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=271485.39MB, max=351.13MB, minor=271470.00MB, major=4335.94MB, promoted=4320.54MB
    minor collections=129478  major collections=58 compactions=0


runtime: 00:02:31.008
vars: 38321, evals: 228672

|rho|=38321
|called|=47
|stable|=29510
|infl|=38212
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37126
Found 390 contexts for 49 functions. Top 5 functions:
73	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=288471.11MB, max=403.80MB, minor=288455.67MB, major=4562.28MB, promoted=4546.84MB
    minor collections=137579  major collections=60 compactions=0


runtime: 00:02:41.023
vars: 38701, evals: 240956

|rho|=38701
|called|=53
|stable|=30182
|infl|=38588
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37497
Found 399 contexts for 49 functions. Top 5 functions:
82	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=307117.37MB, max=403.80MB, minor=307101.89MB, major=4820.62MB, promoted=4805.15MB
    minor collections=146472  major collections=63 compactions=0


runtime: 00:02:51.039
vars: 38989, evals: 252558

|rho|=38989
|called|=41
|stable|=30273
|infl|=38876
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37779
Found 405 contexts for 49 functions. Top 5 functions:
88	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=325190.90MB, max=403.80MB, minor=325175.40MB, major=5067.36MB, promoted=5051.86MB
    minor collections=155091  major collections=65 compactions=0


runtime: 00:03:01.050
vars: 39199, evals: 262798

|rho|=39199
|called|=57
|stable|=30609
|infl|=39094
|wpoint|=22
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37985
Found 409 contexts for 49 functions. Top 5 functions:
92	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=341718.04MB, max=403.80MB, minor=341702.50MB, major=5294.67MB, promoted=5279.12MB
    minor collections=162973  major collections=67 compactions=0


runtime: 00:03:11.069
vars: 39609, evals: 275501

|rho|=39609
|called|=47
|stable|=30987
|infl|=39496
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38385
Found 419 contexts for 49 functions. Top 5 functions:
102	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=360959.98MB, max=403.80MB, minor=360944.40MB, major=5557.85MB, promoted=5542.27MB
    minor collections=172149  major collections=69 compactions=0


runtime: 00:03:21.085
vars: 39881, evals: 286624

|rho|=39881
|called|=47
|stable|=30987
|infl|=39768
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38652
Found 424 contexts for 49 functions. Top 5 functions:
107	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=378607.59MB, max=403.80MB, minor=378591.97MB, major=5796.97MB, promoted=5781.36MB
    minor collections=180565  major collections=71 compactions=0


runtime: 00:03:31.100
vars: 40179, evals: 297301

|rho|=40179
|called|=47
|stable|=31692
|infl|=40066
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38943
Found 431 contexts for 49 functions. Top 5 functions:
114	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=395425.25MB, max=403.80MB, minor=395409.60MB, major=6024.37MB, promoted=6008.71MB
    minor collections=188586  major collections=73 compactions=0


runtime: 00:03:41.115
vars: 40507, evals: 309471

|rho|=40507
|called|=45
|stable|=31738
|infl|=40394
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39264
Found 438 contexts for 49 functions. Top 5 functions:
121	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=414093.98MB, max=403.80MB, minor=414078.29MB, major=6283.19MB, promoted=6267.50MB
    minor collections=197489  major collections=75 compactions=0


runtime: 00:03:51.127
vars: 40754, evals: 320045

|rho|=40754
|called|=44
|stable|=31782
|infl|=40644
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39506
Found 443 contexts for 49 functions. Top 5 functions:
126	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=430989.67MB, max=403.80MB, minor=430973.94MB, major=6516.30MB, promoted=6500.58MB
    minor collections=205547  major collections=77 compactions=0


runtime: 00:04:01.138
vars: 41081, evals: 331107

|rho|=41081
|called|=53
|stable|=32397
|infl|=40968
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39825
Found 451 contexts for 49 functions. Top 5 functions:
134	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=448282.83MB, max=403.80MB, minor=448267.07MB, major=6755.90MB, promoted=6740.14MB
    minor collections=213794  major collections=79 compactions=0


runtime: 00:04:11.149
vars: 41393, evals: 343065

|rho|=41393
|called|=53
|stable|=32439
|infl|=41280
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40131
Found 457 contexts for 49 functions. Top 5 functions:
140	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=466853.85MB, max=403.80MB, minor=466837.53MB, major=7009.17MB, promoted=6992.85MB
    minor collections=222650  major collections=81 compactions=0


runtime: 00:04:21.160
vars: 41628, evals: 353550

|rho|=41628
|called|=47
|stable|=32501
|infl|=41517
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40361
Found 462 contexts for 49 functions. Top 5 functions:
145	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=483821.10MB, max=464.37MB, minor=483804.75MB, major=7234.63MB, promoted=7218.27MB
    minor collections=230741  major collections=82 compactions=0


runtime: 00:04:31.172
vars: 41982, evals: 365071

|rho|=41982
|called|=52
|stable|=33172
|infl|=41869
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40707
Found 470 contexts for 49 functions. Top 5 functions:
153	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=501611.87MB, max=464.37MB, minor=501595.48MB, major=7476.66MB, promoted=7460.27MB
    minor collections=239225  major collections=84 compactions=0


runtime: 00:04:41.183
vars: 42267, evals: 376382

|rho|=42267
|called|=44
|stable|=33260
|infl|=42155
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40986
Found 476 contexts for 49 functions. Top 5 functions:
159	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=519484.76MB, max=464.37MB, minor=519468.33MB, major=7721.98MB, promoted=7705.55MB
    minor collections=247749  major collections=86 compactions=0


runtime: 00:04:51.195
vars: 42477, evals: 386442

|rho|=42477
|called|=43
|stable|=33758
|infl|=42372
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41192
Found 480 contexts for 49 functions. Top 5 functions:
163	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=535979.12MB, max=464.37MB, minor=535962.65MB, major=7942.38MB, promoted=7925.91MB
    minor collections=255615  major collections=88 compactions=0


runtime: 00:05:01.210
vars: 42859, evals: 398166

|rho|=42859
|called|=47
|stable|=33890
|infl|=42746
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41565
Found 489 contexts for 49 functions. Top 5 functions:
172	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=553858.48MB, max=464.37MB, minor=553841.98MB, major=8183.28MB, promoted=8166.78MB
    minor collections=264142  major collections=90 compactions=0


runtime: 00:05:11.225
vars: 43116, evals: 409079

|rho|=43116
|called|=50
|stable|=34324
|infl|=43010
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41817
Found 494 contexts for 49 functions. Top 5 functions:
177	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=571174.41MB, max=464.37MB, minor=571157.87MB, major=8417.10MB, promoted=8400.57MB
    minor collections=272399  major collections=91 compactions=0


runtime: 00:05:21.240
vars: 43339, evals: 418752

|rho|=43339
|called|=53
|stable|=34021
|infl|=43229
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42035
Found 499 contexts for 49 functions. Top 5 functions:
182	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=587085.79MB, max=464.37MB, minor=587069.22MB, major=8631.76MB, promoted=8615.19MB
    minor collections=279988  major collections=93 compactions=0


runtime: 00:05:31.252
vars: 43701, evals: 430436

|rho|=43701
|called|=39
|stable|=34751
|infl|=43590
|wpoint|=28
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42389
Found 507 contexts for 49 functions. Top 5 functions:
190	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=605336.18MB, max=464.37MB, minor=605319.58MB, major=8879.34MB, promoted=8862.73MB
    minor collections=288691  major collections=95 compactions=0


runtime: 00:05:41.263
vars: 43963, evals: 440798

|rho|=43963
|called|=47
|stable|=34736
|infl|=43850
|wpoint|=28
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42645
Found 513 contexts for 49 functions. Top 5 functions:
196	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=622645.01MB, max=464.37MB, minor=622628.37MB, major=9111.71MB, promoted=9095.07MB
    minor collections=296945  major collections=96 compactions=0


runtime: 00:05:51.278
vars: 44170, evals: 450131

|rho|=44170
|called|=47
|stable|=34722
|infl|=44059
|wpoint|=29
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42848
Found 517 contexts for 49 functions. Top 5 functions:
200	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=638779.83MB, max=464.37MB, minor=638763.15MB, major=9328.02MB, promoted=9311.34MB
    minor collections=304640  major collections=98 compactions=0


runtime: 00:06:01.294
vars: 44546, evals: 462089

|rho|=44546
|called|=52
|stable|=35411
|infl|=44433
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43215
Found 526 contexts for 49 functions. Top 5 functions:
209	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=656996.61MB, max=464.37MB, minor=656979.90MB, major=9578.50MB, promoted=9561.79MB
    minor collections=313328  major collections=100 compactions=0


runtime: 00:06:11.305
vars: 44815, evals: 472972

|rho|=44815
|called|=56
|stable|=35511
|infl|=44703
|wpoint|=28
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43479
Found 531 contexts for 49 functions. Top 5 functions:
214	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=674102.71MB, max=464.37MB, minor=674085.96MB, major=9810.74MB, promoted=9794.00MB
    minor collections=321485  major collections=101 compactions=0


runtime: 00:06:21.317
vars: 45016, evals: 482644

|rho|=45016
|called|=66
|stable|=35709
|infl|=44911
|wpoint|=29
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43676
Found 535 contexts for 49 functions. Top 5 functions:
218	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=689894.53MB, max=464.37MB, minor=689877.76MB, major=10029.48MB, promoted=10012.70MB
    minor collections=329016  major collections=103 compactions=0


runtime: 00:06:31.332
vars: 45411, evals: 494816

|rho|=45411
|called|=53
|stable|=36165
|infl|=45302
|wpoint|=33
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44062
Found 544 contexts for 49 functions. Top 5 functions:
227	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=708335.66MB, max=534.03MB, minor=708318.84MB, major=10280.22MB, promoted=10263.41MB
    minor collections=337810  major collections=104 compactions=0


runtime: 00:06:41.343
vars: 45657, evals: 505512

|rho|=45657
|called|=48
|stable|=36636
|infl|=45553
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44303
Found 549 contexts for 49 functions. Top 5 functions:
232	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=725549.08MB, max=534.03MB, minor=725532.22MB, major=10509.53MB, promoted=10492.67MB
    minor collections=346019  major collections=106 compactions=0


runtime: 00:06:51.367
vars: 45884, evals: 514927

|rho|=45884
|called|=41
|stable|=36813
|infl|=45779
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44525
Found 554 contexts for 49 functions. Top 5 functions:
237	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
35	contexts for entry state of cleanup (7544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1-6403:1
35	contexts for entry state of usage (3137) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1-5605:1
30	contexts for entry state of cell_free (7530) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5139:1-5147:1

Memory statistics: total=741292.39MB, max=534.03MB, minor=741275.50MB, major=10722.24MB, promoted=10705.36MB
    minor collections=353527  major collections=107 compactions=0


runtime: 00:07:01.382
vars: 62041, evals: 534875

|rho|=62041
|called|=48
|stable|=53097
|infl|=61927
|wpoint|=36
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=60086
Found 993 contexts for 69 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
119	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
119	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
51	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
42	contexts for entry state of log_error (3162) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1

Memory statistics: total=761480.65MB, max=534.03MB, minor=761462.86MB, major=11049.91MB, promoted=11032.12MB
    minor collections=363154  major collections=109 compactions=0


runtime: 00:07:11.445
vars: 75500, evals: 551740

|rho|=75500
|called|=89
|stable|=27804
|infl|=75398
|wpoint|=52
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=73153
Found 1330 contexts for 76 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
220	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
220	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
68	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1
63	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1

Memory statistics: total=780593.33MB, max=706.25MB, minor=780570.59MB, major=11379.03MB, promoted=11356.30MB
    minor collections=372267  major collections=111 compactions=0


runtime: 00:07:21.497
vars: 78410, evals: 564409

|rho|=78410
|called|=56
|stable|=36802
|infl|=78326
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75817
Found 1464 contexts for 80 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
227	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=799710.38MB, max=812.19MB, minor=799687.46MB, major=11771.96MB, promoted=11749.04MB
    minor collections=381383  major collections=112 compactions=0


runtime: 00:07:31.508
vars: 78410, evals: 574884

|rho|=78410
|called|=82
|stable|=47277
|infl|=78326
|wpoint|=53
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75817
Found 1464 contexts for 80 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
227	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=816084.19MB, max=812.19MB, minor=816061.24MB, major=12042.17MB, promoted=12019.22MB
    minor collections=389191  major collections=113 compactions=0


runtime: 00:07:41.520
vars: 82495, evals: 594737

|rho|=82495
|called|=42
|stable|=34415
|infl|=82410
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=79799
Found 1471 contexts for 82 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
227	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=836435.90MB, max=812.19MB, minor=836412.84MB, major=12357.48MB, promoted=12334.42MB
    minor collections=398897  major collections=115 compactions=0


runtime: 00:07:51.539
vars: 82495, evals: 603767

|rho|=82495
|called|=54
|stable|=42914
|infl|=82410
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=79799
Found 1471 contexts for 82 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
227	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
227	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=851748.26MB, max=934.02MB, minor=851725.18MB, major=12642.80MB, promoted=12619.72MB
    minor collections=406199  major collections=116 compactions=0


runtime: 00:08:01.554
vars: 82850, evals: 619007

|rho|=82850
|called|=47
|stable|=57511
|infl|=82748
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=80124
Found 1482 contexts for 83 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
228	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
228	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
109	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
70	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=870796.94MB, max=934.02MB, minor=870773.83MB, major=12911.05MB, promoted=12887.94MB
    minor collections=415283  major collections=117 compactions=0


runtime: 00:08:11.569
vars: 89471, evals: 633737

|rho|=89471
|called|=55
|stable|=66193
|infl|=89366
|wpoint|=64
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=86363
Found 1807 contexts for 86 functions. Top 5 functions:
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
235	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
235	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
183	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
81	contexts for entry state of cellbuf_get (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=891277.81MB, max=934.02MB, minor=891254.34MB, major=13306.37MB, promoted=13282.89MB
    minor collections=425049  major collections=118 compactions=0


runtime: 00:08:21.596
vars: 104172, evals: 651142

|rho|=104172
|called|=54
|stable|=80734
|infl|=104072
|wpoint|=69
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=100671
Found 2189 contexts for 86 functions. Top 5 functions:
342	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
342	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
192	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
107	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=911324.96MB, max=1074.12MB, minor=911300.93MB, major=13621.98MB, promoted=13597.95MB
    minor collections=434609  major collections=119 compactions=0


runtime: 00:08:31.644
vars: 116333, evals: 665570

|rho|=116333
|called|=52
|stable|=92714
|infl|=116234
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=112532
Found 2489 contexts for 86 functions. Top 5 functions:
437	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
437	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
199	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
137	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=930175.28MB, max=1074.12MB, minor=930150.73MB, major=13941.24MB, promoted=13916.69MB
    minor collections=443598  major collections=120 compactions=0


runtime: 00:08:41.711
vars: 121539, evals: 677562

|rho|=121539
|called|=29
|stable|=97960
|infl|=121446
|wpoint|=85
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=117548
Found 2674 contexts for 86 functions. Top 5 functions:
448	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
448	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
238	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
140	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=950147.18MB, max=1235.24MB, minor=950122.38MB, major=14373.29MB, promoted=14348.50MB
    minor collections=453122  major collections=121 compactions=0


runtime: 00:08:51.730
vars: 131215, evals: 692737

|rho|=131215
|called|=84
|stable|=107118
|infl|=131111
|wpoint|=97
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=126843
Found 3054 contexts for 86 functions. Top 5 functions:
485	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
485	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
287	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
160	contexts for entry state of cellbuf_get (7534) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1

Memory statistics: total=969708.16MB, max=1420.53MB, minor=969673.82MB, major=14688.83MB, promoted=14654.49MB
    minor collections=462446  major collections=122 compactions=0


runtime: 00:09:01.762
vars: 144318, evals: 707448

|rho|=144318
|called|=81
|stable|=120141
|infl|=144223
|wpoint|=97
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=139625
Found 3375 contexts for 86 functions. Top 5 functions:
587	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
587	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
294	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
184	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=988774.86MB, max=1420.53MB, minor=988737.43MB, major=14982.75MB, promoted=14945.32MB
    minor collections=471537  major collections=123 compactions=0


runtime: 00:09:11.813
vars: 154835, evals: 720402

|rho|=154835
|called|=36
|stable|=130587
|infl|=154752
|wpoint|=110
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=149889
Found 3628 contexts for 86 functions. Top 5 functions:
667	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
667	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
299	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
210	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1007001.36MB, max=1420.53MB, minor=1006963.10MB, major=15272.44MB, promoted=15234.17MB
    minor collections=480228  major collections=123 compactions=0


runtime: 00:09:21.864
vars: 159621, evals: 731276

|rho|=159621
|called|=35
|stable|=135326
|infl|=159532
|wpoint|=113
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=154492
Found 3811 contexts for 86 functions. Top 5 functions:
675	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
675	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
238	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1026862.07MB, max=1633.61MB, minor=1026821.30MB, major=15697.03MB, promoted=15656.26MB
    minor collections=489697  major collections=124 compactions=0


runtime: 00:09:31.896
vars: 160455, evals: 741580

|rho|=160455
|called|=39
|stable|=135993
|infl|=160352
|wpoint|=114
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155273
Found 3863 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
247	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1047627.51MB, max=1633.61MB, minor=1047586.68MB, major=15978.25MB, promoted=15937.42MB
    minor collections=499600  major collections=125 compactions=0


runtime: 00:09:41.931
vars: 160665, evals: 749973

|rho|=160665
|called|=37
|stable|=135948
|infl|=160560
|wpoint|=112
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155478
Found 3868 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
252	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1065894.65MB, max=1878.66MB, minor=1065853.79MB, major=16223.19MB, promoted=16182.33MB
    minor collections=508310  major collections=125 compactions=0


runtime: 00:09:51.958
vars: 160848, evals: 758463

|rho|=160848
|called|=42
|stable|=136513
|infl|=160750
|wpoint|=112
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155658
Found 3871 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
255	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1084505.99MB, max=1878.66MB, minor=1084465.09MB, major=16471.81MB, promoted=16430.92MB
    minor collections=517185  major collections=125 compactions=0


runtime: 00:10:01.966
vars: 161102, evals: 766077

|rho|=161102
|called|=43
|stable|=136752
|infl|=160997
|wpoint|=115
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155905
Found 3878 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
262	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1101121.69MB, max=1878.66MB, minor=1101080.76MB, major=16696.82MB, promoted=16655.88MB
    minor collections=525108  major collections=126 compactions=0


runtime: 00:10:11.977
vars: 161336, evals: 775725

|rho|=161336
|called|=42
|stable|=136929
|infl|=161238
|wpoint|=113
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156135
Found 3882 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
266	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1121459.39MB, max=1878.66MB, minor=1121418.43MB, major=16979.83MB, promoted=16938.87MB
    minor collections=534806  major collections=126 compactions=0


runtime: 00:10:21.988
vars: 161563, evals: 784352

|rho|=161563
|called|=43
|stable|=136766
|infl|=161458
|wpoint|=115
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156357
Found 3887 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
271	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1140256.23MB, max=1878.66MB, minor=1140215.24MB, major=17241.36MB, promoted=17200.37MB
    minor collections=543770  major collections=127 compactions=0


runtime: 00:10:31.996
vars: 161737, evals: 792403

|rho|=161737
|called|=43
|stable|=136804
|infl|=161634
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156527
Found 3891 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
275	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1158222.04MB, max=1878.66MB, minor=1158181.02MB, major=17489.12MB, promoted=17448.10MB
    minor collections=552337  major collections=127 compactions=0


runtime: 00:10:42.007
vars: 162008, evals: 800993

|rho|=162008
|called|=51
|stable|=137560
|infl|=161904
|wpoint|=114
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156792
Found 3897 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
281	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1176485.75MB, max=1878.66MB, minor=1176444.69MB, major=17739.25MB, promoted=17698.19MB
    minor collections=561046  major collections=128 compactions=0


runtime: 00:10:52.014
vars: 162256, evals: 810136

|rho|=162256
|called|=43
|stable|=137518
|infl|=162151
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157035
Found 3902 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
286	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1195944.89MB, max=1878.66MB, minor=1195903.80MB, major=18005.53MB, promoted=17964.45MB
    minor collections=570325  major collections=128 compactions=0


runtime: 00:11:02.026
vars: 162460, evals: 818602

|rho|=162460
|called|=39
|stable|=137554
|infl|=162357
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157235
Found 3906 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
290	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1214398.37MB, max=1878.66MB, minor=1214357.24MB, major=18260.48MB, promoted=18219.36MB
    minor collections=579125  major collections=129 compactions=0


runtime: 00:11:12.041
vars: 162620, evals: 826266

|rho|=162620
|called|=37
|stable|=137586
|infl|=162517
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157391
Found 3910 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
294	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1231617.79MB, max=1878.66MB, minor=1231576.63MB, major=18499.46MB, promoted=18458.30MB
    minor collections=587336  major collections=129 compactions=0


runtime: 00:11:22.052
vars: 162922, evals: 835334

|rho|=162922
|called|=39
|stable|=138260
|infl|=162817
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157686
Found 3917 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
301	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1250784.77MB, max=1878.66MB, minor=1250743.59MB, major=18766.03MB, promoted=18724.85MB
    minor collections=596476  major collections=130 compactions=0


runtime: 00:11:32.062
vars: 163144, evals: 844003

|rho|=163144
|called|=43
|stable|=138269
|infl|=163041
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157904
Found 3921 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
305	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1269634.63MB, max=1878.66MB, minor=1269593.42MB, major=19024.79MB, promoted=18983.58MB
    minor collections=605465  major collections=130 compactions=0


runtime: 00:11:42.073
vars: 163340, evals: 852272

|rho|=163340
|called|=40
|stable|=138292
|infl|=163237
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158096
Found 3925 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
309	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1288088.41MB, max=1878.66MB, minor=1288047.16MB, major=19278.46MB, promoted=19237.21MB
    minor collections=614265  major collections=131 compactions=0


runtime: 00:11:52.089
vars: 163481, evals: 859504

|rho|=163481
|called|=40
|stable|=138783
|infl|=163384
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158234
Found 3928 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
312	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1304671.70MB, max=1878.66MB, minor=1304630.42MB, major=19515.14MB, promoted=19473.85MB
    minor collections=622172  major collections=131 compactions=0


runtime: 00:12:02.100
vars: 163826, evals: 869428

|rho|=163826
|called|=43
|stable|=138978
|infl|=163721
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158571
Found 3936 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
320	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1325194.82MB, max=1878.66MB, minor=1325153.50MB, major=19789.78MB, promoted=19748.46MB
    minor collections=631959  major collections=132 compactions=0


runtime: 00:12:12.120
vars: 164025, evals: 877823

|rho|=164025
|called|=46
|stable|=139287
|infl|=163927
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158766
Found 3940 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
324	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1343393.95MB, max=1878.66MB, minor=1343352.61MB, major=20040.18MB, promoted=19998.84MB
    minor collections=640637  major collections=132 compactions=0


runtime: 00:12:22.127
vars: 164220, evals: 886193

|rho|=164220
|called|=61
|stable|=139228
|infl|=164123
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158957
Found 3944 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
328	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1361879.55MB, max=1878.66MB, minor=1361838.17MB, major=20291.41MB, promoted=20250.03MB
    minor collections=649452  major collections=132 compactions=0


runtime: 00:12:32.138
vars: 164463, evals: 894326

|rho|=164463
|called|=32
|stable|=139808
|infl|=164360
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159194
Found 3950 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
334	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1379533.10MB, max=1878.66MB, minor=1379491.69MB, major=20536.81MB, promoted=20495.40MB
    minor collections=657871  major collections=133 compactions=0


runtime: 00:12:42.145
vars: 164722, evals: 903488

|rho|=164722
|called|=43
|stable|=139764
|infl|=164617
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159447
Found 3956 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
340	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1399464.24MB, max=1878.66MB, minor=1399422.80MB, major=20814.49MB, promoted=20773.04MB
    minor collections=667375  major collections=133 compactions=0


runtime: 00:12:52.161
vars: 164921, evals: 911676

|rho|=164921
|called|=39
|stable|=139794
|infl|=164816
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159642
Found 3960 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
344	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1417701.78MB, max=1878.66MB, minor=1417660.30MB, major=21068.27MB, promoted=21026.79MB
    minor collections=676072  major collections=134 compactions=0


runtime: 00:13:02.188
vars: 165096, evals: 919515

|rho|=165096
|called|=43
|stable|=139787
|infl|=164995
|wpoint|=121
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159814
Found 3963 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
347	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1435382.91MB, max=1878.66MB, minor=1435341.40MB, major=21312.75MB, promoted=21271.24MB
    minor collections=684503  major collections=134 compactions=0


runtime: 00:13:12.199
vars: 165372, evals: 928048

|rho|=165372
|called|=39
|stable|=140506
|infl|=165267
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160083
Found 3970 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
354	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1454064.28MB, max=1878.66MB, minor=1454022.74MB, major=21577.22MB, promoted=21535.68MB
    minor collections=693411  major collections=135 compactions=0


runtime: 00:13:22.211
vars: 165602, evals: 936834

|rho|=165602
|called|=45
|stable|=140483
|infl|=165497
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160308
Found 3975 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
359	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1473665.10MB, max=1878.66MB, minor=1473623.53MB, major=21855.67MB, promoted=21814.10MB
    minor collections=702758  major collections=135 compactions=0


runtime: 00:13:32.218
vars: 165785, evals: 944973

|rho|=165785
|called|=40
|stable|=140958
|infl|=165687
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160488
Found 3978 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
362	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1492237.32MB, max=1878.66MB, minor=1492195.71MB, major=22117.56MB, promoted=22075.95MB
    minor collections=711614  major collections=136 compactions=0


runtime: 00:13:42.229
vars: 165956, evals: 952361

|rho|=165956
|called|=37
|stable|=140563
|infl|=165853
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160655
Found 3982 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
366	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1509442.61MB, max=1878.66MB, minor=1509400.97MB, major=22361.62MB, promoted=22319.98MB
    minor collections=719818  major collections=136 compactions=0


runtime: 00:13:52.241
vars: 166261, evals: 961558

|rho|=166261
|called|=37
|stable|=141242
|infl|=166156
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160953
Found 3989 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
373	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1528939.35MB, max=1878.66MB, minor=1528897.68MB, major=22631.07MB, promoted=22589.41MB
    minor collections=729116  major collections=137 compactions=0


runtime: 00:14:02.256
vars: 166469, evals: 970170

|rho|=166469
|called|=39
|stable|=141594
|infl|=166371
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161157
Found 3993 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
377	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1547504.88MB, max=1878.66MB, minor=1547463.18MB, major=22887.66MB, promoted=22845.96MB
    minor collections=737969  major collections=137 compactions=0


runtime: 00:14:12.267
vars: 166665, evals: 978581

|rho|=166665
|called|=40
|stable|=141759
|infl|=166567
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161349
Found 3997 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
381	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1566039.89MB, max=1878.66MB, minor=1565998.15MB, major=23140.41MB, promoted=23098.68MB
    minor collections=746808  major collections=138 compactions=0


runtime: 00:14:22.275
vars: 166919, evals: 986226

|rho|=166919
|called|=43
|stable|=141981
|infl|=166814
|wpoint|=122
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161596
Found 4004 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
388	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1582723.50MB, max=1878.66MB, minor=1582681.73MB, major=23368.31MB, promoted=23326.54MB
    minor collections=754763  major collections=138 compactions=0


runtime: 00:14:32.286
vars: 167153, evals: 995748

|rho|=167153
|called|=35
|stable|=142206
|infl|=167055
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161826
Found 4008 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
392	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1602979.56MB, max=1878.66MB, minor=1602937.76MB, major=23645.72MB, promoted=23603.92MB
    minor collections=764422  major collections=138 compactions=0


runtime: 00:14:42.297
vars: 167374, evals: 1004142

|rho|=167374
|called|=39
|stable|=142019
|infl|=167269
|wpoint|=121
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162042
Found 4013 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
397	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1621348.96MB, max=1878.66MB, minor=1621307.13MB, major=23897.51MB, promoted=23855.68MB
    minor collections=773182  major collections=139 compactions=0


runtime: 00:14:52.316
vars: 167544, evals: 1012103

|rho|=167544
|called|=46
|stable|=142426
|infl|=167447
|wpoint|=121
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162209
Found 4016 contexts for 87 functions. Top 5 functions:
677	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
677	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
400	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733:1
345	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
212	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1

Memory statistics: total=1639037.58MB, max=1878.66MB, minor=1638995.71MB, major=24136.05MB, promoted=24094.19MB
    minor collections=781616  major collections=139 compactions=0

