./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.841
vars: 16604, evals: 33589

|rho|=16604
|called|=276
|stable|=13632
|infl|=16523
|wpoint|=19
|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=22988.59MB, max=174.57MB, minor=22977.19MB, major=415.06MB, promoted=403.66MB
    minor collections=10966  major collections=17 compactions=0


runtime: 00:00:20.888
vars: 31326, evals: 71555

|rho|=31326
|called|=33
|stable|=23161
|infl|=31227
|wpoint|=17
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30519
Found 209 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=44862.14MB, max=265.50MB, minor=44849.40MB, major=744.56MB, promoted=731.81MB
    minor collections=21398  major collections=22 compactions=0


runtime: 00:00:30.903
vars: 32696, evals: 83684

|rho|=32696
|called|=24
|stable|=24539
|infl|=32600
|wpoint|=16
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31844
Found 218 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=66328.06MB, max=305.32MB, minor=66314.90MB, major=1257.93MB, promoted=1244.77MB
    minor collections=31636  major collections=28 compactions=0


runtime: 00:00:40.926
vars: 33685, evals: 96847

|rho|=33685
|called|=36
|stable|=25255
|infl|=33592
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32744
Found 233 contexts for 33 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=87479.46MB, max=305.32MB, minor=87465.05MB, major=1720.64MB, promoted=1706.23MB
    minor collections=41724  major collections=33 compactions=0


runtime: 00:00:50.937
vars: 35285, evals: 111334

|rho|=35285
|called|=51
|stable|=27132
|infl|=35172
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34155
Found 325 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=107687.04MB, max=305.32MB, minor=107672.00MB, major=2091.07MB, promoted=2076.02MB
    minor collections=51362  major collections=37 compactions=0


runtime: 00:01:00.952
vars: 35585, evals: 123200

|rho|=35585
|called|=45
|stable|=27218
|infl|=35472
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34449
Found 331 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=125608.67MB, max=351.13MB, minor=125593.59MB, major=2339.10MB, promoted=2324.02MB
    minor collections=59909  major collections=39 compactions=0


runtime: 00:01:10.963
vars: 35811, evals: 133485

|rho|=35811
|called|=48
|stable|=27224
|infl|=35700
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34670
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=141806.16MB, max=351.13MB, minor=141791.04MB, major=2558.85MB, promoted=2543.74MB
    minor collections=67633  major collections=41 compactions=0


runtime: 00:01:20.974
vars: 36168, evals: 145222

|rho|=36168
|called|=51
|stable|=27951
|infl|=36055
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35019
Found 344 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
27	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=159455.77MB, max=351.13MB, minor=159440.62MB, major=2803.13MB, promoted=2787.98MB
    minor collections=76051  major collections=44 compactions=0


runtime: 00:01:30.985
vars: 36467, evals: 157026

|rho|=36467
|called|=51
|stable|=27950
|infl|=36356
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35312
Found 350 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
33	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=177606.90MB, max=351.13MB, minor=177591.71MB, major=3049.29MB, promoted=3034.10MB
    minor collections=84707  major collections=46 compactions=0


runtime: 00:01:40.996
vars: 36691, evals: 167327

|rho|=36691
|called|=46
|stable|=28020
|infl|=36580
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35531
Found 355 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
38	contexts for entry state of cap_trie_deinit (7499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3717:1-3733: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=194191.50MB, max=351.13MB, minor=194176.27MB, major=3275.21MB, promoted=3259.98MB
    minor collections=92616  major collections=48 compactions=0


runtime: 00:01:51.007
vars: 37082, evals: 179789

|rho|=37082
|called|=47
|stable|=28727
|infl|=36969
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35913
Found 364 contexts for 49 functions. Top 5 functions:
47	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=212645.59MB, max=351.13MB, minor=212630.32MB, major=3532.62MB, promoted=3517.35MB
    minor collections=101418  major collections=51 compactions=0


runtime: 00:02:01.019
vars: 37348, evals: 191144

|rho|=37348
|called|=56
|stable|=29051
|infl|=37242
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36174
Found 369 contexts for 49 functions. Top 5 functions:
52	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=230190.52MB, max=351.13MB, minor=230175.22MB, major=3772.37MB, promoted=3757.06MB
    minor collections=109785  major collections=53 compactions=0


runtime: 00:02:11.038
vars: 37653, evals: 201594

|rho|=37653
|called|=47
|stable|=29438
|infl|=37540
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36471
Found 377 contexts for 49 functions. Top 5 functions:
60	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=246514.75MB, max=351.13MB, minor=246499.40MB, major=3988.85MB, promoted=3973.50MB
    minor collections=117570  major collections=55 compactions=0


runtime: 00:02:21.057
vars: 37982, evals: 214158

|rho|=37982
|called|=47
|stable|=29458
|infl|=37871
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36794
Found 383 contexts for 49 functions. Top 5 functions:
66	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=265491.58MB, max=351.13MB, minor=265476.20MB, major=4249.85MB, promoted=4234.47MB
    minor collections=126620  major collections=58 compactions=0


runtime: 00:02:31.072
vars: 38228, evals: 224876

|rho|=38228
|called|=45
|stable|=29976
|infl|=38122
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37035
Found 388 contexts for 49 functions. Top 5 functions:
71	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=282482.86MB, max=403.80MB, minor=282467.45MB, major=4481.57MB, promoted=4466.15MB
    minor collections=134724  major collections=60 compactions=0


runtime: 00:02:41.091
vars: 38554, evals: 235710

|rho|=38554
|called|=39
|stable|=30243
|infl|=38443
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37353
Found 396 contexts for 49 functions. Top 5 functions:
79	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=299280.05MB, max=403.80MB, minor=299264.60MB, major=4710.76MB, promoted=4695.30MB
    minor collections=142734  major collections=62 compactions=0


runtime: 00:02:51.102
vars: 38863, evals: 247646

|rho|=38863
|called|=63
|stable|=30314
|infl|=38757
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37656
Found 402 contexts for 49 functions. Top 5 functions:
85	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=317458.60MB, max=403.80MB, minor=317443.11MB, major=4961.31MB, promoted=4945.82MB
    minor collections=151403  major collections=64 compactions=0


runtime: 00:03:01.109
vars: 39107, evals: 258209

|rho|=39107
|called|=68
|stable|=30454
|infl|=39002
|wpoint|=22
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37895
Found 407 contexts for 49 functions. Top 5 functions:
90	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=334231.48MB, max=403.80MB, minor=334215.95MB, major=5191.93MB, promoted=5176.41MB
    minor collections=159403  major collections=66 compactions=0


runtime: 00:03:11.124
vars: 39446, evals: 269286

|rho|=39446
|called|=48
|stable|=30951
|infl|=39333
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38226
Found 415 contexts for 49 functions. Top 5 functions:
98	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=351412.06MB, max=403.80MB, minor=351396.50MB, major=5425.67MB, promoted=5410.11MB
    minor collections=167596  major collections=68 compactions=0


runtime: 00:03:21.135
vars: 39742, evals: 280906

|rho|=39742
|called|=41
|stable|=31030
|infl|=39631
|wpoint|=23
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38516
Found 421 contexts for 49 functions. Top 5 functions:
104	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=369495.24MB, max=403.80MB, minor=369479.64MB, major=5671.50MB, promoted=5655.90MB
    minor collections=176220  major collections=70 compactions=0


runtime: 00:03:31.143
vars: 39975, evals: 291030

|rho|=39975
|called|=46
|stable|=31001
|infl|=39864
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38744
Found 426 contexts for 49 functions. Top 5 functions:
109	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=385860.53MB, max=403.80MB, minor=385844.90MB, major=5891.47MB, promoted=5875.83MB
    minor collections=184024  major collections=72 compactions=0


runtime: 00:03:41.154
vars: 40326, evals: 302451

|rho|=40326
|called|=53
|stable|=31669
|infl|=40213
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39087
Found 434 contexts for 49 functions. Top 5 functions:
117	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=403253.41MB, max=403.80MB, minor=403237.74MB, major=6131.54MB, promoted=6115.87MB
    minor collections=192319  major collections=74 compactions=0


runtime: 00:03:51.168
vars: 40608, evals: 313568

|rho|=40608
|called|=53
|stable|=31693
|infl|=40495
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39363
Found 440 contexts for 49 functions. Top 5 functions:
123	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=420613.58MB, max=403.80MB, minor=420597.88MB, major=6369.35MB, promoted=6353.65MB
    minor collections=200598  major collections=76 compactions=0


runtime: 00:04:01.183
vars: 40815, evals: 323337

|rho|=40815
|called|=60
|stable|=32009
|infl|=40710
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39566
Found 444 contexts for 49 functions. Top 5 functions:
127	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=436446.08MB, max=403.80MB, minor=436430.34MB, major=6582.86MB, promoted=6567.12MB
    minor collections=208148  major collections=77 compactions=0


runtime: 00:04:11.195
vars: 41188, evals: 335040

|rho|=41188
|called|=47
|stable|=32447
|infl|=41075
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39930
Found 453 contexts for 49 functions. Top 5 functions:
136	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=454387.20MB, max=403.80MB, minor=454371.43MB, major=6827.22MB, promoted=6811.45MB
    minor collections=216704  major collections=79 compactions=0


runtime: 00:04:21.206
vars: 41454, evals: 346181

|rho|=41454
|called|=53
|stable|=32782
|infl|=41348
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40191
Found 458 contexts for 49 functions. Top 5 functions:
141	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=471902.94MB, max=464.37MB, minor=471886.61MB, major=7065.97MB, promoted=7049.64MB
    minor collections=225057  major collections=81 compactions=0


runtime: 00:04:31.221
vars: 41680, evals: 356026

|rho|=41680
|called|=59
|stable|=32539
|infl|=41570
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40412
Found 463 contexts for 49 functions. Top 5 functions:
146	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=487946.77MB, max=464.37MB, minor=487930.41MB, major=7276.19MB, promoted=7259.82MB
    minor collections=232709  major collections=83 compactions=0


runtime: 00:04:41.232
vars: 42053, evals: 367844

|rho|=42053
|called|=47
|stable|=33200
|infl|=41940
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40776
Found 472 contexts for 49 functions. Top 5 functions:
155	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=506004.10MB, max=464.37MB, minor=505987.70MB, major=7520.54MB, promoted=7504.13MB
    minor collections=241320  major collections=85 compactions=0


runtime: 00:04:51.243
vars: 42313, evals: 378349

|rho|=42313
|called|=44
|stable|=33249
|infl|=42201
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41031
Found 477 contexts for 49 functions. Top 5 functions:
160	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=522720.59MB, max=464.37MB, minor=522704.16MB, major=7748.20MB, promoted=7731.77MB
    minor collections=249292  major collections=86 compactions=0


runtime: 00:05:01.250
vars: 42522, evals: 387941

|rho|=42522
|called|=62
|stable|=33295
|infl|=42413
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41236
Found 481 contexts for 49 functions. Top 5 functions:
164	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=538405.41MB, max=464.37MB, minor=538388.94MB, major=7960.76MB, promoted=7944.29MB
    minor collections=256772  major collections=88 compactions=0


runtime: 00:05:11.265
vars: 42902, evals: 399885

|rho|=42902
|called|=48
|stable|=33971
|infl|=42789
|wpoint|=28
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41607
Found 490 contexts for 49 functions. Top 5 functions:
173	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=556588.45MB, max=464.37MB, minor=556571.94MB, major=8213.39MB, promoted=8196.88MB
    minor collections=265444  major collections=90 compactions=0


runtime: 00:05:21.276
vars: 43164, evals: 410568

|rho|=43164
|called|=47
|stable|=33984
|infl|=43053
|wpoint|=28
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41864
Found 495 contexts for 49 functions. Top 5 functions:
178	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=573572.64MB, max=464.37MB, minor=573556.10MB, major=8440.41MB, promoted=8423.87MB
    minor collections=273543  major collections=91 compactions=0


runtime: 00:05:31.291
vars: 43354, evals: 419882

|rho|=43354
|called|=58
|stable|=34303
|infl|=43249
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42050
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=589021.35MB, max=464.37MB, minor=589004.78MB, major=8652.16MB, promoted=8635.59MB
    minor collections=280911  major collections=93 compactions=0


runtime: 00:05:41.314
vars: 43742, evals: 431670

|rho|=43742
|called|=63
|stable|=34742
|infl|=43630
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42429
Found 508 contexts for 49 functions. Top 5 functions:
191	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=607391.20MB, max=464.37MB, minor=607374.59MB, major=8898.48MB, promoted=8881.87MB
    minor collections=289671  major collections=95 compactions=0


runtime: 00:05:51.321
vars: 43993, evals: 441910

|rho|=43993
|called|=67
|stable|=34773
|infl|=43881
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42675
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=624458.88MB, max=464.37MB, minor=624442.24MB, major=9128.40MB, promoted=9111.76MB
    minor collections=297810  major collections=96 compactions=0


runtime: 00:06:01.332
vars: 44184, evals: 450874

|rho|=44184
|called|=47
|stable|=34749
|infl|=44075
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42862
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=640028.31MB, max=464.37MB, minor=640011.63MB, major=9335.89MB, promoted=9319.22MB
    minor collections=305235  major collections=98 compactions=0


runtime: 00:06:11.352
vars: 44564, evals: 462755

|rho|=44564
|called|=41
|stable|=35485
|infl|=44452
|wpoint|=28
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43233
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=658085.37MB, max=464.37MB, minor=658068.65MB, major=9585.29MB, promoted=9568.58MB
    minor collections=313846  major collections=99 compactions=0


runtime: 00:06:21.367
vars: 44826, evals: 473390

|rho|=44826
|called|=51
|stable|=35450
|infl|=44715
|wpoint|=31
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43490
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=674793.14MB, max=464.37MB, minor=674776.39MB, major=9811.81MB, promoted=9795.07MB
    minor collections=321814  major collections=101 compactions=0


runtime: 00:06:31.394
vars: 45016, evals: 482857

|rho|=45016
|called|=50
|stable|=35922
|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=690354.54MB, max=464.37MB, minor=690337.76MB, major=10024.78MB, promoted=10008.00MB
    minor collections=329236  major collections=103 compactions=0


runtime: 00:06:41.409
vars: 45409, evals: 494772

|rho|=45409
|called|=61
|stable|=36246
|infl|=45299
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44060
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=708321.14MB, max=534.03MB, minor=708304.32MB, major=10267.45MB, promoted=10250.63MB
    minor collections=337803  major collections=104 compactions=0


runtime: 00:06:51.420
vars: 45656, evals: 505102

|rho|=45656
|called|=45
|stable|=36231
|infl|=45547
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44302
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=724838.33MB, max=534.03MB, minor=724821.48MB, major=10488.42MB, promoted=10471.57MB
    minor collections=345681  major collections=106 compactions=0


runtime: 00:07:01.435
vars: 45846, evals: 514179

|rho|=45846
|called|=57
|stable|=36563
|infl|=45743
|wpoint|=31
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44488
Found 553 contexts for 49 functions. Top 5 functions:
236	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=739933.31MB, max=534.03MB, minor=739916.43MB, major=10694.13MB, promoted=10677.24MB
    minor collections=352879  major collections=107 compactions=0


runtime: 00:07:11.450
vars: 59783, evals: 532194

|rho|=59783
|called|=53
|stable|=50879
|infl|=59664
|wpoint|=36
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57880
Found 941 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
102	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
102	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=758683.75MB, max=534.03MB, minor=758666.10MB, major=10993.09MB, promoted=10975.43MB
    minor collections=361821  major collections=109 compactions=0


runtime: 00:07:21.521
vars: 74197, evals: 549401

|rho|=74197
|called|=31
|stable|=65213
|infl|=74098
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=71946
Found 1289 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
213	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
213	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
66	contexts for entry state of convert_num (7526) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5069:1-5096:1
58	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=777754.83MB, max=614.13MB, minor=777733.22MB, major=11318.98MB, promoted=11297.37MB
    minor collections=370913  major collections=110 compactions=0


runtime: 00:07:31.600
vars: 78410, evals: 562531

|rho|=78410
|called|=58
|stable|=34924
|infl|=78326
|wpoint|=52
|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=796433.33MB, max=812.19MB, minor=796410.42MB, major=11710.71MB, promoted=11687.79MB
    minor collections=379820  major collections=112 compactions=0


runtime: 00:07:41.624
vars: 78410, evals: 570378

|rho|=78410
|called|=58
|stable|=42771
|infl|=78326
|wpoint|=52
|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=810649.38MB, max=934.02MB, minor=810626.43MB, major=11969.90MB, promoted=11946.96MB
    minor collections=386600  major collections=113 compactions=0


runtime: 00:07:51.639
vars: 81831, evals: 589967

|rho|=81831
|called|=43
|stable|=31787
|infl|=81729
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=79136
Found 1470 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=830340.35MB, max=934.02MB, minor=830317.30MB, major=12221.02MB, promoted=12197.97MB
    minor collections=395990  major collections=114 compactions=0


runtime: 00:08:01.662
vars: 82495, evals: 601215

|rho|=82495
|called|=55
|stable|=40362
|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=847230.72MB, max=934.02MB, minor=847207.64MB, major=12558.59MB, promoted=12535.51MB
    minor collections=404044  major collections=115 compactions=0


runtime: 00:08:11.697
vars: 82495, evals: 612924

|rho|=82495
|called|=71
|stable|=52071
|infl|=82410
|wpoint|=53
|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=863617.79MB, max=934.02MB, minor=863594.70MB, major=12801.65MB, promoted=12778.56MB
    minor collections=411859  major collections=116 compactions=0


runtime: 00:08:21.713
vars: 86624, evals: 627645

|rho|=86624
|called|=88
|stable|=63645
|infl|=86505
|wpoint|=56
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=83699
Found 1653 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
155	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
72	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=883889.86MB, max=934.02MB, minor=883866.54MB, major=13175.35MB, promoted=13152.02MB
    minor collections=421526  major collections=118 compactions=0


runtime: 00:08:31.728
vars: 98020, evals: 644404

|rho|=98020
|called|=68
|stable|=74582
|infl|=97920
|wpoint|=69
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=94663
Found 2045 contexts for 86 functions. Top 5 functions:
294	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
294	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
97	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=903548.61MB, max=934.02MB, minor=903524.80MB, major=13496.91MB, promoted=13473.10MB
    minor collections=430901  major collections=119 compactions=0


runtime: 00:08:41.760
vars: 110981, evals: 659403

|rho|=110981
|called|=77
|stable|=87362
|infl|=110875
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=107306
Found 2363 contexts for 86 functions. Top 5 functions:
395	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
395	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
123	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=922078.90MB, max=1074.12MB, minor=922054.59MB, major=13801.96MB, promoted=13777.64MB
    minor collections=439737  major collections=120 compactions=0


runtime: 00:08:51.831
vars: 119237, evals: 672898

|rho|=119237
|called|=33
|stable|=95658
|infl|=119134
|wpoint|=81
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=115366
Found 2554 contexts for 86 functions. Top 5 functions:
447	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
447	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
204	contexts for entry state of cell_set (7529) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138: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=941223.71MB, max=1235.24MB, minor=941199.03MB, major=14159.88MB, promoted=14135.21MB
    minor collections=448867  major collections=121 compactions=0


runtime: 00:09:01.895
vars: 126090, evals: 685622

|rho|=126090
|called|=66
|stable|=102245
|infl|=125992
|wpoint|=92
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=121886
Found 2886 contexts for 86 functions. Top 5 functions:
455	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
455	contexts for entry state of bytebuf_reserve (7540) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
276	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
142	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=960561.80MB, max=1420.53MB, minor=960532.07MB, major=14539.85MB, promoted=14510.13MB
    minor collections=458085  major collections=121 compactions=0


runtime: 00:09:11.942
vars: 137847, evals: 699867

|rho|=137847
|called|=56
|stable|=113750
|infl|=137747
|wpoint|=97
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=133321
Found 3208 contexts for 86 functions. Top 5 functions:
537	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
537	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
168	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=978438.57MB, max=1420.53MB, minor=978401.66MB, major=14817.45MB, promoted=14780.54MB
    minor collections=466607  major collections=122 compactions=0


runtime: 00:09:21.954
vars: 149172, evals: 713191

|rho|=149172
|called|=71
|stable|=124894
|infl|=149069
|wpoint|=97
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=144366
Found 3488 contexts for 86 functions. Top 5 functions:
625	contexts for entry state of bytebuf_nputs (7537) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
625	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
196	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=996961.06MB, max=1420.53MB, minor=996923.24MB, major=15109.87MB, promoted=15072.05MB
    minor collections=475440  major collections=123 compactions=0


runtime: 00:09:32.049
vars: 156100, evals: 724984

|rho|=156100
|called|=33
|stable|=131850
|infl|=155999
|wpoint|=111
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=151133
Found 3649 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=1015077.68MB, max=1633.61MB, minor=1015037.18MB, major=15437.36MB, promoted=15396.87MB
    minor collections=484077  major collections=123 compactions=0


runtime: 00:09:42.141
vars: 160285, evals: 734902

|rho|=160285
|called|=44
|stable|=135943
|infl|=160180
|wpoint|=114
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155106
Found 3860 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
244	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=1033820.17MB, max=1633.61MB, minor=1033779.36MB, major=15782.55MB, promoted=15741.74MB
    minor collections=493015  major collections=124 compactions=0


runtime: 00:09:52.180
vars: 160518, evals: 744006

|rho|=160518
|called|=43
|stable|=135954
|infl|=160413
|wpoint|=114
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155334
Found 3865 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
249	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=1053662.03MB, max=1878.66MB, minor=1053621.19MB, major=16051.50MB, promoted=16010.65MB
    minor collections=502477  major collections=125 compactions=0


runtime: 00:10:02.200
vars: 160701, evals: 751944

|rho|=160701
|called|=42
|stable|=136372
|infl|=160603
|wpoint|=112
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155514
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=1071326.40MB, max=1878.66MB, minor=1071285.53MB, major=16289.52MB, promoted=16248.65MB
    minor collections=510900  major collections=125 compactions=0


runtime: 00:10:12.255
vars: 160890, evals: 759662

|rho|=160890
|called|=45
|stable|=135996
|infl|=160787
|wpoint|=115
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155699
Found 3872 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
256	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=1088624.41MB, max=1878.66MB, minor=1088583.51MB, major=16520.76MB, promoted=16479.86MB
    minor collections=519148  major collections=125 compactions=0


runtime: 00:10:22.270
vars: 161110, evals: 767183

|rho|=161110
|called|=45
|stable|=136735
|infl|=161005
|wpoint|=115
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155913
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=1105113.56MB, max=1878.66MB, minor=1105072.62MB, major=16745.41MB, promoted=16704.47MB
    minor collections=527011  major collections=126 compactions=0


runtime: 00:10:32.282
vars: 161355, evals: 776097

|rho|=161355
|called|=37
|stable|=136803
|infl|=161250
|wpoint|=114
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156153
Found 3883 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
267	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=1123977.90MB, max=1878.66MB, minor=1123936.94MB, major=17007.62MB, promoted=16966.65MB
    minor collections=536007  major collections=126 compactions=0


runtime: 00:10:42.294
vars: 161560, evals: 784316

|rho|=161560
|called|=33
|stable|=136836
|infl|=161456
|wpoint|=113
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156354
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=1141832.38MB, max=1878.66MB, minor=1141791.39MB, major=17256.10MB, promoted=17215.10MB
    minor collections=544521  major collections=127 compactions=0


runtime: 00:10:52.309
vars: 161727, evals: 791955

|rho|=161727
|called|=60
|stable|=137024
|infl|=161630
|wpoint|=114
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156518
Found 3890 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
274	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=1158650.22MB, max=1878.66MB, minor=1158609.19MB, major=17485.74MB, promoted=17444.71MB
    minor collections=552541  major collections=127 compactions=0


runtime: 00:11:02.321
vars: 161987, evals: 800199

|rho|=161987
|called|=43
|stable|=137487
|infl|=161882
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156771
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=1176281.30MB, max=1878.66MB, minor=1176240.24MB, major=17731.06MB, promoted=17690.00MB
    minor collections=560948  major collections=128 compactions=0


runtime: 00:11:12.332
vars: 162215, evals: 808846

|rho|=162215
|called|=37
|stable|=137518
|infl|=162112
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=156995
Found 3901 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
285	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=1194364.82MB, max=1878.66MB, minor=1194323.74MB, major=17979.57MB, promoted=17938.49MB
    minor collections=569571  major collections=128 compactions=0


runtime: 00:11:22.344
vars: 162425, evals: 817314

|rho|=162425
|called|=40
|stable|=137558
|infl|=162320
|wpoint|=115
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157200
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=1212595.03MB, max=1878.66MB, minor=1212553.91MB, major=18230.04MB, promoted=18188.92MB
    minor collections=578265  major collections=129 compactions=0


runtime: 00:11:32.356
vars: 162595, evals: 824764

|rho|=162595
|called|=39
|stable|=137559
|infl|=162492
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157367
Found 3909 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
293	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=1228880.93MB, max=1878.66MB, minor=1228839.78MB, major=18456.37MB, promoted=18415.22MB
    minor collections=586031  major collections=129 compactions=0


runtime: 00:11:42.375
vars: 162864, evals: 833286

|rho|=162864
|called|=40
|stable|=138264
|infl|=162759
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157629
Found 3916 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
300	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=1246880.48MB, max=1878.66MB, minor=1246839.30MB, major=18708.30MB, promoted=18667.12MB
    minor collections=594614  major collections=129 compactions=0


runtime: 00:11:52.386
vars: 163093, evals: 841777

|rho|=163093
|called|=45
|stable|=138242
|infl|=162988
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=157854
Found 3920 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
304	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=1265048.82MB, max=1878.66MB, minor=1265007.62MB, major=18961.59MB, promoted=18920.39MB
    minor collections=603277  major collections=130 compactions=0


runtime: 00:12:02.402
vars: 163289, evals: 849882

|rho|=163289
|called|=43
|stable|=138281
|infl|=163184
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158046
Found 3924 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
308	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=1282822.60MB, max=1878.66MB, minor=1282781.36MB, major=19210.35MB, promoted=19169.11MB
    minor collections=611753  major collections=130 compactions=0


runtime: 00:12:12.414
vars: 163435, evals: 857283

|rho|=163435
|called|=40
|stable|=138779
|infl|=163338
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158189
Found 3927 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
311	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=1299462.66MB, max=1878.66MB, minor=1299421.38MB, major=19443.54MB, promoted=19402.27MB
    minor collections=619688  major collections=131 compactions=0


runtime: 00:12:22.421
vars: 163730, evals: 866061

|rho|=163730
|called|=47
|stable|=139067
|infl|=163627
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158477
Found 3934 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
318	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=1317743.20MB, max=1878.66MB, minor=1317701.90MB, major=19692.14MB, promoted=19650.84MB
    minor collections=628405  major collections=131 compactions=0


runtime: 00:12:32.437
vars: 163964, evals: 874824

|rho|=163964
|called|=43
|stable|=139016
|infl|=163859
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158706
Found 3939 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
323	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=1336465.28MB, max=1878.66MB, minor=1336423.95MB, major=19950.62MB, promoted=19909.29MB
    minor collections=637333  major collections=132 compactions=0


runtime: 00:12:42.460
vars: 164148, evals: 882692

|rho|=164148
|called|=37
|stable|=139068
|infl|=164043
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158886
Found 3943 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
327	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=1353703.47MB, max=1878.66MB, minor=1353662.10MB, major=20186.69MB, promoted=20145.32MB
    minor collections=645553  major collections=132 compactions=0


runtime: 00:12:52.472
vars: 164311, evals: 890315

|rho|=164311
|called|=39
|stable|=139048
|infl|=164210
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159046
Found 3946 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
330	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=1370598.50MB, max=1878.66MB, minor=1370557.10MB, major=20420.49MB, promoted=20379.09MB
    minor collections=653610  major collections=133 compactions=0


runtime: 00:13:02.487
vars: 164599, evals: 898741

|rho|=164599
|called|=39
|stable|=139781
|infl|=164494
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159327
Found 3953 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
337	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=1388490.34MB, max=1878.66MB, minor=1388448.91MB, major=20669.26MB, promoted=20627.83MB
    minor collections=662141  major collections=133 compactions=0


runtime: 00:13:12.499
vars: 164807, evals: 907299

|rho|=164807
|called|=39
|stable|=140079
|infl|=164709
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159531
Found 3957 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
341	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=1407317.01MB, max=1878.66MB, minor=1407275.56MB, major=20930.33MB, promoted=20888.88MB
    minor collections=671119  major collections=133 compactions=0


runtime: 00:13:22.514
vars: 165000, evals: 914910

|rho|=165000
|called|=40
|stable|=139824
|infl|=164896
|wpoint|=117
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159720
Found 3961 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
345	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=1424362.91MB, max=1878.66MB, minor=1424321.42MB, major=21163.89MB, promoted=21122.40MB
    minor collections=679247  major collections=134 compactions=0


runtime: 00:13:32.537
vars: 165143, evals: 922115

|rho|=165143
|called|=56
|stable|=140038
|infl|=165046
|wpoint|=118
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=159860
Found 3964 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
348	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=1440838.56MB, max=1878.66MB, minor=1440797.04MB, major=21395.23MB, promoted=21353.71MB
    minor collections=687104  major collections=134 compactions=0


runtime: 00:13:42.549
vars: 165441, evals: 930934

|rho|=165441
|called|=58
|stable|=140565
|infl|=165338
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160151
Found 3971 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
355	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=1459759.82MB, max=1878.66MB, minor=1459718.27MB, major=21661.80MB, promoted=21620.25MB
    minor collections=696127  major collections=135 compactions=0


runtime: 00:13:52.560
vars: 165654, evals: 938951

|rho|=165654
|called|=43
|stable|=140514
|infl|=165549
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160359
Found 3976 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
360	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=1477853.44MB, max=1878.66MB, minor=1477811.86MB, major=21919.46MB, promoted=21877.88MB
    minor collections=704754  major collections=135 compactions=0


runtime: 00:14:02.572
vars: 165833, evals: 946669

|rho|=165833
|called|=37
|stable|=140530
|infl|=165730
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160535
Found 3979 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
363	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=1495414.35MB, max=1878.66MB, minor=1495372.74MB, major=22165.57MB, promoted=22123.96MB
    minor collections=713129  major collections=136 compactions=0


runtime: 00:14:12.579
vars: 165974, evals: 953569

|rho|=165974
|called|=55
|stable|=140814
|infl|=165877
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160673
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=1511566.86MB, max=1878.66MB, minor=1511525.22MB, major=22394.75MB, promoted=22353.10MB
    minor collections=720831  major collections=136 compactions=0


runtime: 00:14:22.591
vars: 166295, evals: 962881

|rho|=166295
|called|=37
|stable|=141281
|infl|=166190
|wpoint|=121
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160986
Found 3990 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
374	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=1531061.70MB, max=1878.66MB, minor=1531020.03MB, major=22660.36MB, promoted=22618.68MB
    minor collections=730127  major collections=137 compactions=0


runtime: 00:14:32.602
vars: 166503, evals: 970944

|rho|=166503
|called|=39
|stable|=141220
|infl|=166398
|wpoint|=119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161190
Found 3994 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
378	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=1548461.40MB, max=1878.66MB, minor=1548419.70MB, major=22900.44MB, promoted=22858.74MB
    minor collections=738424  major collections=137 compactions=0


runtime: 00:14:42.617
vars: 166680, evals: 978794

|rho|=166680
|called|=45
|stable|=141252
|infl|=166577
|wpoint|=122
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=161363
Found 3998 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
382	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=1565763.54MB, max=1878.66MB, minor=1565721.81MB, major=23136.12MB, promoted=23094.39MB
    minor collections=746675  major collections=137 compactions=0


runtime: 00:14:52.629
vars: 166919, evals: 986255

|rho|=166919
|called|=45
|stable|=141946
|infl|=166814
|wpoint|=121
|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=1581987.38MB, max=1878.66MB, minor=1581945.61MB, major=23360.89MB, promoted=23319.12MB
    minor collections=754411  major collections=138 compactions=0

