./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/streem/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/streem/main.c:1007:3-1013:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1028:3-1034:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1181:3-1187:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1229:7-1237:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1296:5-1312:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1495:9-1506:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1600:3-1606:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1649:5-1656:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1662:5-1683:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1833:3-1836:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2002:5-2009:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2031:3-2051:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2059:5-2066:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2080:11-2085:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2194:3-2200:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2211:5-2218:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2236:3-2242:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2253:5-2260:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2298:5-2305:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2316:3-2330:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2374:3-2386:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2434:3-2440:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2460:3-2466:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2483:3-2489:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2817:5-2820:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3198:3-3204:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3265:3-3271:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3307:3-3310:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3339:3-3345:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3385:3-3391:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3416:3-3422:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3424:3-3430:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3460:3-3466:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3493:3-3499:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3504:3-3510:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3543:3-3546:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3568:3-3577:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3598:3-3613:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3626:3-3632:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3658:3-3664:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3707:3-3713:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3752:3-3758:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3828:3-3834:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3915:3-3921:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4034:11-4037:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4115:5-4134:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4225:3-4233:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4247:3-4253:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4318:3-4324:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4370:5-4373:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4402:3-4408:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4451:3-4457:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4498:3-4504:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4586:3-4592:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4805:3-4811:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4885:3-4891:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4894:5-4910:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:4913:5-4930:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5001:3-5013:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5029:3-5035:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5158:3-5164:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5241:3-5247:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5252:5-5259:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5262:5-5273:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5389:3-5395:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5439:3-5445:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5452:3-5476:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5688:3-5700:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5873:3-5875:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6008:3-6014:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6090:5-6096:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6147:5-6150:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6183:5-6186:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6230:5-6236:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6301:3-6307:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6326:3-6332:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6347:3-6353:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6368:3-6374:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6389:3-6395:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6410:3-6416:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6431:3-6437:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6452:3-6458:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6472:3-6478:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6594:3-6597:3 with factor 50
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6620:5-6624:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7051:3-7059:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7078:3-7098:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7702:3-7710:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7753:5-7760:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7764:7-7767:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7815:3-7821:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7876:3-7882:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7936:5-7951:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8046:11-8049:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8127:5-8146:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8262:3-8270:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8330:3-8339:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8427:7-8430:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8436:9-8442:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8558:9-8565:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8593:3-8597:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8610:3-8615:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8687:5-8692:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8740:5-8755:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8850:11-8853:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8931:5-8950:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9020:5-9035:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9130:11-9133:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9211:5-9230:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9518:3-9530:3 with factor 7
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9893:3-9907:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9935:3-9938:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:9942:5-9945:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10036:3-10039:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10122:3-10125:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10209:3-10211:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10517:5-10553:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10886:5-10901:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10996:11-10999:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11077:5-11096:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11138:3-11145:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11245:3-11251:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11264:3-11270:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11283:3-11289:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11302:3-11308:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11321:3-11327:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11340:3-11346:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11359:3-11365:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11379:3-11385:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11414:3-11420:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11433:3-11439:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11452:3-11458:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11471:3-11477:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11490:3-11496:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11509:3-11515:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11528:3-11534:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11547:3-11553:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11566:3-11572:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11585:3-11591:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11604:3-11610:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11623:3-11629:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11642:3-11648:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11661:3-11667:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11681:3-11687:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11701:3-11707:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11721:3-11727:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11745:3-11751:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11776:3-11782:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11807:3-11813:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:11838:3-11844:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12057:3-12068:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12080:3-12091:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12107:3-12112:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12114:3-12119:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12141:3-12144:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12192:3-12198:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12242:3-12248:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12488:3-12491:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12510:3-12516:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12547:3-12553:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12639:3-12642:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12658:3-12664:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12700:3-12706:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12713:3-12721:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12727:3-12730:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12800:7-12806:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12807:7-12813:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12924:3-12930:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12969:3-12975:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:12990:5-12997:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13012:3-13018:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13032:3-13038:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13052:3-13058:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13072:3-13078:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13092:3-13098:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13212:3-13215:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13228:5-13231:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13240:3-13243:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13249:5-13252:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13264:3-13267:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13282:5-13285:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13298:3-13301:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13307:3-13310:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13317:3-13320:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13324:3-13327:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13339:3-13342:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13350:3-13353:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13357:3-13360:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13388:7-13391:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13398:5-13401:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13406:5-13409:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13417:3-13420:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13498:5-13522:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13536:5-13540:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13554:7-13559:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13595:3-13621:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13654:3-13680:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13721:3-13727:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13728:3-13761:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13894:3-13940:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13976:11-13985:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13994:7-13998:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14001:7-14009:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14045:3-14051:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14124:3-14132:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14143:3-14166:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14179:3-14185:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14202:3-14208:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14269:3-14275:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14332:5-14338:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14376:3-14382:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14406:3-14412:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14426:3-14432:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14451:3-14457:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14481:3-14487:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14499:3-14505:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14517:3-14523:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14535:3-14541:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14551:3-14557:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14636:3-14642:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14706:3-14712:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14741:3-14747:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14768:3-14779:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14812:3-14818:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14876:3-14879:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14893:3-14899:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14942:3-14947:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15026:3-15036:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15392:3-15398:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15413:3-15426:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15428:3-15440:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15481:3-15487:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15510:3-15522:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15582:3-15591:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15702:11-15705:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15784:5-15804:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16171:3-16177:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16205:3-16211:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16221:3-16240:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16249:3-16274:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16301:3-16307:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16403:3-16408:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16432:3-16438:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16440:3-16444:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16449:3-16456:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16542:3-16550:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16569:3-16575:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16591:3-16597:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16602:3-16605:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16629:3-16635:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16651:3-16672:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17595:3-17599:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17616:3-17623:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17638:3-17649:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17664:5-17687:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17753:7-17780:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17827:3-17853:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17865:3-17872:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17938:3-17943:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17952:3-17958:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17975:5-17981:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17982:5-17988:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17994:5-18000:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18015:5-18020:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18026:5-18031:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18042:5-18049:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18072:3-18079:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18094:3-18099:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18479:3-18487:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18491:3-18496:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18571:3-18576:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18603:5-18608:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18612:3-18620:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18647:3-18652:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:18653:3-18657:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19677:7-19682:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19704:9-19709:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19974:5-19977:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20074:3-20081:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20087:5-20107:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20114:7-20129:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20145:7-20165:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20218:5-20223:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20244:3-20249:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20605:3-20608:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20737:3-20754:3 with factor 3
Collected factors:
functions: 572
functionCalls: 5555
loops: 323
loopBreaks: 0
controlFlowStatements: 17761
expressions: 98761
instructions: 14300
integralVars: (31,1962)
arrayVars: (25,24)
pointerVars: (24,1846)

Complexity estimates:
File: 2595370978
function strm_value_eq is recursive, disable interval context
function strm_to_str is recursive, disable interval context
function strm_funcall is recursive, disable interval context
function strm_ary_eq is recursive, disable interval context
function strm_inspect is recursive, disable interval context
function node_array_free is recursive, disable interval context
function node_free is recursive, disable interval context
function exec_expr is recursive, disable interval context
function pattern_match is recursive, disable interval context
function pmatch is recursive, disable interval context
function pmatch_struct is recursive, disable interval context
function exec_call is recursive, disable interval context
function flatmap_len is recursive, disable interval context
function flatmap_push is recursive, disable interval context
function GCD is recursive, disable interval context
function dump_node is recursive, disable interval context
malloc wrapper: strm_ary_new
malloc wrapper: strm_stream_new
malloc wrapper: node_op_new
malloc wrapper: exec_expr
malloc wrapper: pmatch
thread created by pthread_create, called by:
  strm_init_io_loop
  task_init
Total: 2595370978
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.852
vars: 3159, evals: 4804

|rho|=3159
|called|=180
|stable|=2562
|infl|=3053
|wpoint|=11
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2680
Found 66 contexts for 21 functions. Top 5 functions:
12	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
10	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
9	contexts for entry state of yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1
6	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1
4	contexts for entry state of yy_flush_buffer (9329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20411:1-20435:1

Memory statistics: total=4759.51MB, max=132.00MB, minor=4750.12MB, major=182.86MB, promoted=173.47MB
    minor collections=2272  major collections=14 compactions=0


runtime: 00:00:20.866
vars: 4546, evals: 7872

|rho|=4546
|called|=146
|stable|=3935
|infl|=4422
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3923
Found 157 contexts for 31 functions. Top 5 functions:
45	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
17	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
15	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
12	contexts for entry state of yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1
10	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=8207.53MB, max=151.80MB, minor=8197.82MB, major=275.33MB, promoted=265.62MB
    minor collections=3917  major collections=16 compactions=0


runtime: 00:00:30.884
vars: 6917, evals: 12674

|rho|=6917
|called|=93
|stable|=6338
|infl|=6808
|wpoint|=16
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=6114
Found 190 contexts for 40 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
17	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
15	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
12	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1
12	contexts for entry state of yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1

Memory statistics: total=12093.36MB, max=174.57MB, minor=12083.33MB, major=391.89MB, promoted=381.86MB
    minor collections=5771  major collections=18 compactions=0


runtime: 00:00:40.906
vars: 9977, evals: 17261

|rho|=9977
|called|=196
|stable|=4968
|infl|=9869
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=8708
Found 390 contexts for 82 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
25	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
24	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
22	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
18	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1

Memory statistics: total=16658.64MB, max=230.87MB, minor=16647.78MB, major=548.60MB, promoted=537.74MB
    minor collections=7948  major collections=20 compactions=0


runtime: 00:00:50.921
vars: 10537, evals: 18600

|rho|=10537
|called|=124
|stable|=5457
|infl|=10429
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9241
Found 417 contexts for 82 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
32	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
24	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
20	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=19398.99MB, max=265.50MB, minor=19388.09MB, major=631.01MB, promoted=620.11MB
    minor collections=9256  major collections=21 compactions=0


runtime: 00:01:00.930
vars: 10675, evals: 19314

|rho|=10675
|called|=118
|stable|=5761
|infl|=10569
|wpoint|=33
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9375
Found 420 contexts for 82 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
33	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
24	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
20	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=21470.04MB, max=265.50MB, minor=21459.13MB, major=683.26MB, promoted=672.35MB
    minor collections=10244  major collections=22 compactions=0


runtime: 00:01:10.952
vars: 12291, evals: 22967

|rho|=12291
|called|=100
|stable|=7407
|infl|=12179
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10912
Found 499 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
33	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
28	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
20	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=26209.62MB, max=305.32MB, minor=26198.55MB, major=822.02MB, promoted=810.96MB
    minor collections=12505  major collections=24 compactions=0


runtime: 00:01:20.963
vars: 15031, evals: 27657

|rho|=15031
|called|=80
|stable|=10462
|infl|=14926
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13515
Found 636 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
46	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
33	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=31013.70MB, max=351.13MB, minor=31002.42MB, major=991.66MB, promoted=980.37MB
    minor collections=14796  major collections=25 compactions=0


runtime: 00:01:30.985
vars: 16244, evals: 30292

|rho|=16244
|called|=264
|stable|=11420
|infl|=16138
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14672
Found 692 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
48	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
41	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
31	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=35018.56MB, max=351.13MB, minor=35007.16MB, major=1137.41MB, promoted=1126.01MB
    minor collections=16706  major collections=26 compactions=0


runtime: 00:01:41.023
vars: 16739, evals: 31365

|rho|=16739
|called|=185
|stable|=11851
|infl|=16633
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15141
Found 718 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
48	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
34	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=37394.88MB, max=403.80MB, minor=37382.93MB, major=1201.53MB, promoted=1189.58MB
    minor collections=17839  major collections=27 compactions=0


runtime: 00:01:51.037
vars: 17400, evals: 32658

|rho|=17400
|called|=147
|stable|=12582
|infl|=17277
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15745
Found 775 contexts for 82 functions. Top 5 functions:
138	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
50	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
34	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=40242.03MB, max=464.37MB, minor=40230.02MB, major=1274.67MB, promoted=1262.66MB
    minor collections=19197  major collections=28 compactions=0


runtime: 00:02:01.043
vars: 18760, evals: 36111

|rho|=18760
|called|=99
|stable|=13976
|infl|=18649
|wpoint|=59
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17078
Found 802 contexts for 82 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
52	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
34	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=44672.90MB, max=464.37MB, minor=44660.52MB, major=1417.81MB, promoted=1405.43MB
    minor collections=21311  major collections=29 compactions=0


runtime: 00:02:11.057
vars: 21321, evals: 40338

|rho|=21321
|called|=68
|stable|=16821
|infl|=21215
|wpoint|=69
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19491
Found 950 contexts for 82 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=49499.35MB, max=464.37MB, minor=49486.50MB, major=1596.35MB, promoted=1583.50MB
    minor collections=23612  major collections=30 compactions=0


runtime: 00:02:21.084
vars: 21653, evals: 42736

|rho|=21653
|called|=187
|stable|=16682
|infl|=21545
|wpoint|=72
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19818
Found 955 contexts for 82 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=53921.18MB, max=534.03MB, minor=53908.31MB, major=1744.37MB, promoted=1731.50MB
    minor collections=25721  major collections=31 compactions=0


runtime: 00:02:31.106
vars: 24450, evals: 47715

|rho|=24450
|called|=121
|stable|=19430
|infl|=24345
|wpoint|=153
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=22535
Found 1016 contexts for 83 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
52	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
39	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=58143.21MB, max=534.03MB, minor=58130.22MB, major=1882.74MB, promoted=1869.75MB
    minor collections=27735  major collections=32 compactions=0


runtime: 00:02:41.116
vars: 25629, evals: 50778

|rho|=25629
|called|=233
|stable|=20669
|infl|=25524
|wpoint|=157
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23661
Found 1069 contexts for 83 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
66	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
43	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=61681.71MB, max=534.03MB, minor=61668.60MB, major=1985.41MB, promoted=1972.30MB
    minor collections=29422  major collections=32 compactions=0


runtime: 00:02:51.122
vars: 27022, evals: 54423

|rho|=27022
|called|=113
|stable|=22058
|infl|=26919
|wpoint|=155
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24977
Found 1146 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
76	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
66	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
43	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=65431.72MB, max=534.03MB, minor=65418.48MB, major=2077.93MB, promoted=2064.69MB
    minor collections=31211  major collections=33 compactions=0


runtime: 00:03:01.137
vars: 30223, evals: 59651

|rho|=30223
|called|=74
|stable|=25516
|infl|=30121
|wpoint|=165
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28026
Found 1298 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
94	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
66	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=70091.49MB, max=614.13MB, minor=70078.00MB, major=2214.71MB, promoted=2201.23MB
    minor collections=33433  major collections=34 compactions=0


runtime: 00:03:11.163
vars: 31515, evals: 62351

|rho|=31515
|called|=248
|stable|=26534
|infl|=31410
|wpoint|=180
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29253
Found 1363 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
74	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=74080.68MB, max=614.13MB, minor=74067.09MB, major=2353.86MB, promoted=2340.27MB
    minor collections=35335  major collections=34 compactions=0


runtime: 00:03:21.173
vars: 32006, evals: 63487

|rho|=32006
|called|=221
|stable|=26958
|infl|=31901
|wpoint|=179
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29719
Found 1388 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
81	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=76529.80MB, max=614.13MB, minor=76516.19MB, major=2422.27MB, promoted=2408.66MB
    minor collections=36504  major collections=35 compactions=0


runtime: 00:03:31.195
vars: 32671, evals: 64795

|rho|=32671
|called|=130
|stable|=27699
|infl|=32552
|wpoint|=177
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30327
Found 1445 contexts for 83 functions. Top 5 functions:
233	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
98	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
82	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=79542.22MB, max=706.25MB, minor=79528.55MB, major=2502.20MB, promoted=2488.53MB
    minor collections=37940  major collections=35 compactions=0


runtime: 00:03:41.214
vars: 34328, evals: 68682

|rho|=34328
|called|=118
|stable|=29387
|infl|=34190
|wpoint|=181
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31952
Found 1477 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
100	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
82	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
55	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=84384.31MB, max=706.25MB, minor=84369.49MB, major=2660.33MB, promoted=2645.51MB
    minor collections=40249  major collections=36 compactions=0


runtime: 00:03:51.240
vars: 37014, evals: 72995

|rho|=37014
|called|=196
|stable|=32058
|infl|=36848
|wpoint|=200
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34482
Found 1633 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
83	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=89300.55MB, max=706.25MB, minor=89285.04MB, major=2839.90MB, promoted=2824.39MB
    minor collections=42593  major collections=36 compactions=0


runtime: 00:04:01.250
vars: 37637, evals: 74893

|rho|=37637
|called|=131
|stable|=32681
|infl|=37532
|wpoint|=199
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35078
Found 1660 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
90	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=92895.39MB, max=706.25MB, minor=92879.82MB, major=2959.38MB, promoted=2943.80MB
    minor collections=44308  major collections=37 compactions=0


runtime: 00:04:11.268
vars: 38172, evals: 75956

|rho|=38172
|called|=191
|stable|=33124
|infl|=38058
|wpoint|=199
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35587
Found 1686 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
97	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=95067.49MB, max=812.19MB, minor=95051.37MB, major=3012.87MB, promoted=2996.74MB
    minor collections=45343  major collections=37 compactions=0


runtime: 00:04:21.283
vars: 38966, evals: 77610

|rho|=38966
|called|=131
|stable|=33991
|infl|=38845
|wpoint|=201
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36318
Found 1749 contexts for 83 functions. Top 5 functions:
279	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
122	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=98367.22MB, max=812.19MB, minor=98351.05MB, major=3099.66MB, promoted=3083.48MB
    minor collections=46917  major collections=37 compactions=0


runtime: 00:04:31.321
vars: 40945, evals: 81989

|rho|=40945
|called|=101
|stable|=36004
|infl|=40835
|wpoint|=206
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38268
Found 1778 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
124	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
71	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=103627.36MB, max=812.19MB, minor=103611.08MB, major=3285.62MB, promoted=3269.34MB
    minor collections=49425  major collections=38 compactions=0


runtime: 00:04:41.335
vars: 42725, evals: 85383

|rho|=42725
|called|=121
|stable|=37466
|infl|=42623
|wpoint|=219
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39907
Found 1919 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=108026.80MB, max=812.19MB, minor=108010.39MB, major=3427.70MB, promoted=3411.28MB
    minor collections=51524  major collections=39 compactions=0


runtime: 00:04:51.349
vars: 43051, evals: 87966

|rho|=43051
|called|=75
|stable|=38005
|infl|=42949
|wpoint|=250
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40230
Found 1922 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=112678.75MB, max=934.02MB, minor=112662.30MB, major=3568.49MB, promoted=3552.04MB
    minor collections=53742  major collections=39 compactions=0


runtime: 00:05:01.360
vars: 46317, evals: 93077

|rho|=46317
|called|=233
|stable|=40962
|infl|=46204
|wpoint|=299
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43407
Found 2007 contexts for 84 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
107	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=116994.60MB, max=934.02MB, minor=116978.04MB, major=3707.80MB, promoted=3691.24MB
    minor collections=55800  major collections=40 compactions=0


runtime: 00:05:11.382
vars: 47005, evals: 95447

|rho|=47005
|called|=159
|stable|=41745
|infl|=46894
|wpoint|=299
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44067
Found 2035 contexts for 84 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
114	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=120626.51MB, max=934.02MB, minor=120609.87MB, major=3810.22MB, promoted=3793.58MB
    minor collections=57532  major collections=40 compactions=0


runtime: 00:05:21.408
vars: 48860, evals: 99550

|rho|=48860
|called|=102
|stable|=43614
|infl|=48750
|wpoint|=301
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=45838
Found 2119 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
148	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
114	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
76	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=124919.65MB, max=1074.12MB, minor=124902.90MB, major=3915.03MB, promoted=3898.28MB
    minor collections=59579  major collections=40 compactions=0


runtime: 00:05:31.418
vars: 51856, evals: 104334

|rho|=51856
|called|=75
|stable|=46911
|infl|=51741
|wpoint|=312
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=48662
Found 2291 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
114	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=129822.12MB, max=1074.12MB, minor=129805.19MB, major=4059.98MB, promoted=4043.05MB
    minor collections=61917  major collections=41 compactions=0


runtime: 00:05:41.437
vars: 52891, evals: 106732

|rho|=52891
|called|=124
|stable|=47631
|infl|=52780
|wpoint|=321
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=49659
Found 2329 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
122	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=133836.57MB, max=1074.12MB, minor=133819.58MB, major=4187.45MB, promoted=4170.45MB
    minor collections=63832  major collections=41 compactions=0


runtime: 00:05:51.447
vars: 53452, evals: 108063

|rho|=53452
|called|=173
|stable|=48192
|infl|=53341
|wpoint|=322
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=50193
Found 2356 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=136572.45MB, max=1074.12MB, minor=136555.43MB, major=4259.73MB, promoted=4242.71MB
    minor collections=65136  major collections=41 compactions=0


runtime: 00:06:01.453
vars: 54820, evals: 111206

|rho|=54820
|called|=127
|stable|=49550
|infl|=54704
|wpoint|=324
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51488
Found 2429 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
171	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=140930.66MB, max=1074.12MB, minor=140913.56MB, major=4374.81MB, promoted=4357.71MB
    minor collections=67215  major collections=42 compactions=0


runtime: 00:06:11.484
vars: 56984, evals: 115380

|rho|=56984
|called|=81
|stable|=51913
|infl|=56875
|wpoint|=325
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53591
Found 2490 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
172	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=146393.34MB, max=1074.12MB, minor=146376.14MB, major=4561.48MB, promoted=4544.28MB
    minor collections=69820  major collections=42 compactions=0


runtime: 00:06:21.494
vars: 58948, evals: 118662

|rho|=58948
|called|=194
|stable|=53599
|infl|=58835
|wpoint|=343
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55420
Found 2625 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
192	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
138	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=151132.37MB, max=1074.12MB, minor=151115.05MB, major=4724.38MB, promoted=4707.07MB
    minor collections=72080  major collections=43 compactions=0


runtime: 00:06:31.512
vars: 59504, evals: 119985

|rho|=59504
|called|=193
|stable|=54149
|infl|=59391
|wpoint|=345
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55950
Found 2651 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
192	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
145	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=153908.15MB, max=1235.24MB, minor=153890.81MB, major=4801.96MB, promoted=4784.61MB
    minor collections=73403  major collections=43 compactions=0


runtime: 00:06:41.554
vars: 59574, evals: 120710

|rho|=59574
|called|=244
|stable|=54292
|infl|=59463
|wpoint|=345
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56018
Found 2653 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
192	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=156129.79MB, max=1235.24MB, minor=156112.43MB, major=4857.58MB, promoted=4840.22MB
    minor collections=74463  major collections=43 compactions=0


runtime: 00:06:51.569
vars: 61190, evals: 124134

|rho|=61190
|called|=105
|stable|=55945
|infl|=61073
|wpoint|=345
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57555
Found 2732 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
196	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=161250.32MB, max=1235.24MB, minor=161232.88MB, major=4995.67MB, promoted=4978.23MB
    minor collections=76904  major collections=43 compactions=0


runtime: 00:07:01.579
vars: 63739, evals: 128553

|rho|=63739
|called|=83
|stable|=58718
|infl|=63628
|wpoint|=353
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59990
Found 2846 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
209	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
157	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=166487.76MB, max=1235.24MB, minor=166470.20MB, major=5169.37MB, promoted=5151.81MB
    minor collections=79402  major collections=44 compactions=0


runtime: 00:07:11.613
vars: 64243, evals: 130522

|rho|=64243
|called|=105
|stable|=58859
|infl|=64133
|wpoint|=364
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=60454
Found 2886 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=170949.23MB, max=1235.24MB, minor=170931.62MB, major=5312.42MB, promoted=5294.82MB
    minor collections=81530  major collections=44 compactions=0


runtime: 00:07:21.619
vars: 64862, evals: 133353

|rho|=64862
|called|=29
|stable|=59613
|infl|=64754
|wpoint|=432
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61054
Found 2905 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=175611.15MB, max=1235.24MB, minor=175593.49MB, major=5461.55MB, promoted=5443.89MB
    minor collections=83753  major collections=45 compactions=0


runtime: 00:07:31.638
vars: 67832, evals: 137720

|rho|=67832
|called|=167
|stable|=62268
|infl|=67721
|wpoint|=442
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63950
Found 2978 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
155	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=179710.67MB, max=1235.24MB, minor=179690.84MB, major=5582.74MB, promoted=5562.91MB
    minor collections=85707  major collections=45 compactions=0


runtime: 00:07:41.660
vars: 68327, evals: 138762

|rho|=68327
|called|=194
|stable|=62671
|infl|=68216
|wpoint|=443
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=64419
Found 3004 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=181827.15MB, max=1420.53MB, minor=181807.29MB, major=5633.38MB, promoted=5613.52MB
    minor collections=86716  major collections=45 compactions=0


runtime: 00:07:51.690
vars: 69090, evals: 140308

|rho|=69090
|called|=137
|stable|=63510
|infl|=68964
|wpoint|=443
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=65121
Found 3065 contexts for 84 functions. Top 5 functions:
466	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
218	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=184918.08MB, max=1420.53MB, minor=184898.18MB, major=5707.72MB, promoted=5687.82MB
    minor collections=88190  major collections=45 compactions=0


runtime: 00:08:01.700
vars: 70921, evals: 144410

|rho|=70921
|called|=94
|stable|=65372
|infl|=70807
|wpoint|=446
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66922
Found 3095 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
220	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
117	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=189851.61MB, max=1420.53MB, minor=189830.58MB, major=5859.86MB, promoted=5838.83MB
    minor collections=90542  major collections=45 compactions=0


runtime: 00:08:11.711
vars: 73641, evals: 148615

|rho|=73641
|called|=188
|stable|=68077
|infl|=73469
|wpoint|=466
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=69467
Found 3270 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
164	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=195255.77MB, max=1420.53MB, minor=195233.54MB, major=6030.68MB, promoted=6008.45MB
    minor collections=93119  major collections=46 compactions=0


runtime: 00:08:21.781
vars: 74282, evals: 150586

|rho|=74282
|called|=130
|stable|=68552
|infl|=74168
|wpoint|=464
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70078
Found 3300 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
172	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=199185.14MB, max=1420.53MB, minor=199162.79MB, major=6154.05MB, promoted=6131.71MB
    minor collections=94993  major collections=46 compactions=0


runtime: 00:08:31.791
vars: 74827, evals: 151598

|rho|=74827
|called|=194
|stable|=69171
|infl|=74710
|wpoint|=466
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70598
Found 3325 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
178	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=201460.82MB, max=1420.53MB, minor=201438.45MB, major=6207.11MB, promoted=6184.74MB
    minor collections=96078  major collections=46 compactions=0


runtime: 00:08:41.801
vars: 75820, evals: 153657

|rho|=75820
|called|=138
|stable|=70235
|infl|=75704
|wpoint|=470
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=71524
Found 3392 contexts for 84 functions. Top 5 functions:
513	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
242	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=205292.69MB, max=1420.53MB, minor=205270.27MB, major=6307.65MB, promoted=6285.23MB
    minor collections=97905  major collections=46 compactions=0


runtime: 00:08:51.808
vars: 77818, evals: 157984

|rho|=77818
|called|=90
|stable|=72269
|infl|=77708
|wpoint|=472
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=73494
Found 3420 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
244	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=210984.32MB, max=1420.53MB, minor=210961.82MB, major=6500.51MB, promoted=6478.02MB
    minor collections=100619  major collections=47 compactions=0


runtime: 00:09:01.846
vars: 79431, evals: 161147

|rho|=79431
|called|=108
|stable|=73728
|infl|=79321
|wpoint|=487
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=74968
Found 3559 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=216284.48MB, max=1633.61MB, minor=216261.87MB, major=6662.43MB, promoted=6639.82MB
    minor collections=103147  major collections=47 compactions=0


runtime: 00:09:11.857
vars: 79686, evals: 163696

|rho|=79686
|called|=80
|stable|=74117
|infl|=79578
|wpoint|=552
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75221
Found 3561 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=220894.46MB, max=1633.61MB, minor=220871.80MB, major=6798.95MB, promoted=6776.30MB
    minor collections=105345  major collections=47 compactions=0


runtime: 00:09:21.867
vars: 80012, evals: 165919

|rho|=80012
|called|=83
|stable|=73958
|infl|=79904
|wpoint|=555
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75544
Found 3564 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=225761.11MB, max=1633.61MB, minor=225738.40MB, major=6957.23MB, promoted=6934.53MB
    minor collections=107666  major collections=48 compactions=0


runtime: 00:09:31.910
vars: 81923, evals: 171371

|rho|=81923
|called|=82
|stable|=75663
|infl|=81763
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=77373
Found 3614 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=230301.59MB, max=1633.61MB, minor=230278.80MB, major=7084.70MB, promoted=7061.91MB
    minor collections=109831  major collections=48 compactions=0


runtime: 00:09:41.940
vars: 83469, evals: 177242

|rho|=83469
|called|=203
|stable|=76577
|infl|=83189
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=78899
Found 3629 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=235203.70MB, max=1633.61MB, minor=235180.81MB, major=7216.28MB, promoted=7193.39MB
    minor collections=112169  major collections=48 compactions=0


runtime: 00:09:51.946
vars: 85014, evals: 182930

|rho|=85014
|called|=354
|stable|=77447
|infl|=84614
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=80429
Found 3644 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=240202.20MB, max=1633.61MB, minor=240179.21MB, major=7362.48MB, promoted=7339.50MB
    minor collections=114552  major collections=48 compactions=0


runtime: 00:10:01.956
vars: 86456, evals: 188286

|rho|=86456
|called|=436
|stable|=78259
|infl|=85944
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=81857
Found 3658 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=245052.49MB, max=1633.61MB, minor=245029.40MB, major=7499.79MB, promoted=7476.70MB
    minor collections=116865  major collections=49 compactions=0


runtime: 00:10:11.975
vars: 87898, evals: 193694

|rho|=87898
|called|=547
|stable|=79071
|infl|=87274
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=83285
Found 3672 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=249943.48MB, max=1878.66MB, minor=249920.27MB, major=7640.14MB, promoted=7616.93MB
    minor collections=119198  major collections=49 compactions=0


runtime: 00:10:22.013
vars: 89340, evals: 199156

|rho|=89340
|called|=658
|stable|=79883
|infl|=88604
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=84713
Found 3686 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=254867.62MB, max=1878.66MB, minor=254844.33MB, major=7776.97MB, promoted=7753.68MB
    minor collections=121546  major collections=49 compactions=0


runtime: 00:10:32.023
vars: 90782, evals: 204648

|rho|=90782
|called|=803
|stable|=80695
|infl|=89934
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=86141
Found 3700 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=259764.10MB, max=1878.66MB, minor=259740.72MB, major=7917.24MB, promoted=7893.86MB
    minor collections=123880  major collections=49 compactions=0


runtime: 00:10:42.033
vars: 92224, evals: 210008

|rho|=92224
|called|=882
|stable|=81507
|infl|=91264
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=87569
Found 3714 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=264668.94MB, max=1878.66MB, minor=264645.46MB, major=8054.80MB, promoted=8031.32MB
    minor collections=126220  major collections=50 compactions=0


runtime: 00:10:52.059
vars: 93666, evals: 215367

|rho|=93666
|called|=998
|stable|=82318
|infl|=92594
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=88997
Found 3728 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=269577.80MB, max=1878.66MB, minor=269554.21MB, major=8189.98MB, promoted=8166.39MB
    minor collections=128560  major collections=50 compactions=0


runtime: 00:11:02.134
vars: 95108, evals: 220653

|rho|=95108
|called|=1109
|stable|=83176
|infl|=93924
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=90425
Found 3742 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=274409.94MB, max=2160.46MB, minor=274386.26MB, major=8328.64MB, promoted=8304.96MB
    minor collections=130864  major collections=50 compactions=0


runtime: 00:11:12.152
vars: 96550, evals: 226042

|rho|=96550
|called|=1244
|stable|=83988
|infl|=95254
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=91853
Found 3756 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
152	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=279254.90MB, max=2160.46MB, minor=279231.15MB, major=8465.76MB, promoted=8442.01MB
    minor collections=133175  major collections=50 compactions=0


runtime: 00:11:22.162
vars: 97992, evals: 231449

|rho|=97992
|called|=1332
|stable|=84800
|infl|=96584
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=93281
Found 3770 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
166	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=284215.03MB, max=2160.46MB, minor=284191.20MB, major=8605.35MB, promoted=8581.52MB
    minor collections=135540  major collections=50 compactions=0


runtime: 00:11:32.172
vars: 99331, evals: 236593

|rho|=99331
|called|=1436
|stable|=85509
|infl|=97819
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=94607
Found 3783 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
179	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=289037.66MB, max=2160.46MB, minor=289013.75MB, major=8743.73MB, promoted=8719.81MB
    minor collections=137840  major collections=51 compactions=0


runtime: 00:11:42.215
vars: 100724, evals: 241766

|rho|=100724
|called|=1548
|stable|=86317
|infl|=99098
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=95986
Found 3797 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
193	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=293907.40MB, max=2160.46MB, minor=293883.39MB, major=8873.47MB, promoted=8849.47MB
    minor collections=140162  major collections=51 compactions=0


runtime: 00:11:52.281
vars: 102063, evals: 246787

|rho|=102063
|called|=1651
|stable|=87068
|infl|=100333
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=97312
Found 3810 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
206	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=298628.72MB, max=2160.46MB, minor=298604.63MB, major=9000.83MB, promoted=8976.74MB
    minor collections=142413  major collections=51 compactions=0


runtime: 00:12:02.295
vars: 103451, evals: 252082

|rho|=103451
|called|=1753
|stable|=87829
|infl|=101619
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=98687
Found 3823 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
219	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=303491.48MB, max=2160.46MB, minor=303467.33MB, major=9134.73MB, promoted=9110.59MB
    minor collections=144732  major collections=51 compactions=0


runtime: 00:12:12.305
vars: 104893, evals: 257311

|rho|=104893
|called|=1868
|stable|=88686
|infl|=102949
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=100115
Found 3837 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
233	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=308304.64MB, max=2160.46MB, minor=308280.43MB, major=9265.59MB, promoted=9241.38MB
    minor collections=147027  major collections=51 compactions=0


runtime: 00:12:22.316
vars: 106232, evals: 262389

|rho|=106232
|called|=1975
|stable|=89395
|infl|=104184
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=101441
Found 3850 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
246	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=313083.46MB, max=2160.46MB, minor=313059.18MB, major=9395.97MB, promoted=9371.69MB
    minor collections=149306  major collections=52 compactions=0


runtime: 00:12:32.330
vars: 107571, evals: 267347

|rho|=107571
|called|=2077
|stable|=90194
|infl|=105419
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=102767
Found 3863 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
259	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=317773.02MB, max=2160.46MB, minor=317748.62MB, major=9524.94MB, promoted=9500.54MB
    minor collections=151543  major collections=52 compactions=0


runtime: 00:12:42.368
vars: 108807, evals: 272198

|rho|=108807
|called|=2175
|stable|=90845
|infl|=106559
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=103991
Found 3875 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
271	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=322460.22MB, max=2484.53MB, minor=322435.73MB, major=9651.99MB, promoted=9627.50MB
    minor collections=153778  major collections=52 compactions=0


runtime: 00:12:52.398
vars: 110146, evals: 277172

|rho|=110146
|called|=2309
|stable|=91599
|infl|=107794
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=105317
Found 3888 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
284	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=327114.09MB, max=2484.53MB, minor=327089.53MB, major=9780.84MB, promoted=9756.28MB
    minor collections=155997  major collections=52 compactions=0


runtime: 00:13:02.413
vars: 111485, evals: 282190

|rho|=111485
|called|=2379
|stable|=92353
|infl|=109029
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=106643
Found 3901 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
297	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=331813.96MB, max=2484.53MB, minor=331789.35MB, major=9907.56MB, promoted=9882.95MB
    minor collections=158238  major collections=52 compactions=0


runtime: 00:13:12.423
vars: 112824, evals: 287208

|rho|=112824
|called|=2485
|stable|=93107
|infl|=110264
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=107969
Found 3914 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
310	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=336561.53MB, max=2484.53MB, minor=336536.86MB, major=10035.81MB, promoted=10011.14MB
    minor collections=160502  major collections=52 compactions=0


runtime: 00:13:22.433
vars: 114163, evals: 292117

|rho|=114163
|called|=2591
|stable|=93861
|infl|=111499
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=109295
Found 3927 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
323	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=341246.96MB, max=2484.53MB, minor=341222.21MB, major=10165.78MB, promoted=10141.03MB
    minor collections=162736  major collections=53 compactions=0


runtime: 00:13:32.439
vars: 115399, evals: 296902

|rho|=115399
|called|=2682
|stable|=94557
|infl|=112639
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=110519
Found 3939 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
335	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=345921.64MB, max=2484.53MB, minor=345896.82MB, major=10287.74MB, promoted=10262.91MB
    minor collections=164965  major collections=53 compactions=0


runtime: 00:13:42.465
vars: 116738, evals: 301761

|rho|=116738
|called|=2820
|stable|=95311
|infl|=113874
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=111845
Found 3952 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
348	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=350603.40MB, max=2484.53MB, minor=350578.48MB, major=10414.56MB, promoted=10389.65MB
    minor collections=167198  major collections=53 compactions=0


runtime: 00:13:52.524
vars: 117974, evals: 306450

|rho|=117974
|called|=2900
|stable|=96007
|infl|=115014
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=113069
Found 3964 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
360	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=355164.58MB, max=2857.21MB, minor=355139.59MB, major=10538.23MB, promoted=10513.24MB
    minor collections=169373  major collections=53 compactions=0


runtime: 00:14:02.534
vars: 119232, evals: 311205

|rho|=119232
|called|=2990
|stable|=96725
|infl|=116163
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=114314
Found 3977 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
373	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=359677.91MB, max=2857.21MB, minor=359652.88MB, major=10662.06MB, promoted=10637.03MB
    minor collections=171525  major collections=53 compactions=0


runtime: 00:14:12.543
vars: 120549, evals: 316043

|rho|=120549
|called|=3122
|stable|=97457
|infl|=117389
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=115619
Found 3989 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
385	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=364269.07MB, max=2857.21MB, minor=364243.98MB, major=10786.69MB, promoted=10761.60MB
    minor collections=173714  major collections=53 compactions=0


runtime: 00:14:22.557
vars: 121785, evals: 320741

|rho|=121785
|called|=3179
|stable|=98153
|infl|=118529
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=116843
Found 4001 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
397	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=368898.96MB, max=2857.21MB, minor=368868.87MB, major=10915.89MB, promoted=10885.81MB
    minor collections=175920  major collections=54 compactions=0


runtime: 00:14:32.572
vars: 123021, evals: 325370

|rho|=123021
|called|=3276
|stable|=98849
|infl|=119669
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=118067
Found 4013 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
409	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=373407.82MB, max=2857.21MB, minor=373377.58MB, major=11036.88MB, promoted=11006.65MB
    minor collections=178070  major collections=54 compactions=0


runtime: 00:14:42.582
vars: 124257, evals: 329948

|rho|=124257
|called|=3372
|stable|=99545
|infl|=120809
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=119291
Found 4025 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
421	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=377937.75MB, max=2857.21MB, minor=377907.37MB, major=11156.51MB, promoted=11126.13MB
    minor collections=180230  major collections=54 compactions=0


runtime: 00:14:52.620
vars: 125493, evals: 334508

|rho|=125493
|called|=3499
|stable|=100286
|infl|=121949
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=120515
Found 4037 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
433	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=382419.93MB, max=2857.21MB, minor=382389.39MB, major=11275.31MB, promoted=11244.77MB
    minor collections=182367  major collections=54 compactions=0

