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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
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
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 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 and interval_set contexts
function strm_to_str is recursive, disable interval and interval_set contexts
function strm_funcall is recursive, disable interval and interval_set contexts
function strm_ary_eq is recursive, disable interval and interval_set contexts
function strm_inspect is recursive, disable interval and interval_set contexts
function node_array_free is recursive, disable interval and interval_set contexts
function node_free is recursive, disable interval and interval_set contexts
function exec_expr is recursive, disable interval and interval_set contexts
function pattern_match is recursive, disable interval and interval_set contexts
function pmatch is recursive, disable interval and interval_set contexts
function pmatch_struct is recursive, disable interval and interval_set contexts
function exec_call is recursive, disable interval and interval_set contexts
function flatmap_len is recursive, disable interval and interval_set contexts
function flatmap_push is recursive, disable interval and interval_set contexts
function GCD is recursive, disable interval and interval_set contexts
function dump_node is recursive, disable interval and interval_set contexts
malloc wrapper: strm_ary_new
malloc wrapper: strm_stream_new
malloc wrapper: node_op_new
malloc wrapper: exec_expr
malloc wrapper: pmatch
Total: 2595370978
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.820
vars: 12553, evals: 22783

|rho|=12553
|stable|=7672
|infl|=12499
|wpoint|=35
|sides|=1254
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10784
|called|=121
Found 497 contexts for 82 functions. Top 5 functions:
94	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
33	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
28	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
25	contexts for L:entry state of yyalloc (7679) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
20	contexts for L:entry state of yyrealloc (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=21479.03MB, max=305.32MB, minor=21461.42MB, major=707.23MB, promoted=689.63MB
    minor collections=10244  major collections=19 compactions=0


runtime: 00:00:20.896
vars: 21834, evals: 40008

|rho|=21834
|stable|=17282
|infl|=21803
|wpoint|=65
|sides|=1674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19224
|called|=82
Found 917 contexts for 82 functions. Top 5 functions:
140	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
69	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=40824.13MB, max=464.37MB, minor=40802.36MB, major=1379.72MB, promoted=1357.95MB
    minor collections=19470  major collections=25 compactions=0


runtime: 00:00:30.944
vars: 32078, evals: 60778

|rho|=32078
|stable|=27125
|infl|=31991
|wpoint|=179
|sides|=2106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28623
|called|=236
Found 1330 contexts for 83 functions. Top 5 functions:
188	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
72	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
67	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for L:entry state of yy_symbol_value_print (10074) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17559:1-17571:1

Memory statistics: total=60038.93MB, max=614.13MB, minor=60012.76MB, major=1980.86MB, promoted=1954.69MB
    minor collections=28632  major collections=28 compactions=0


runtime: 00:00:41.027
vars: 39378, evals: 75522

|rho|=39378
|stable|=34259
|infl|=39341
|wpoint|=199
|sides|=2436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35264
|called|=133
Found 1660 contexts for 83 functions. Top 5 functions:
234	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
95	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=79695.13MB, max=812.19MB, minor=79662.10MB, major=2617.37MB, promoted=2584.34MB
    minor collections=38002  major collections=30 compactions=0


runtime: 00:00:51.086
vars: 47623, evals: 91859

|rho|=47623
|stable|=42313
|infl|=47530
|wpoint|=301
|sides|=2752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42881
|called|=189
Found 1972 contexts for 84 functions. Top 5 functions:
280	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
100	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=98923.25MB, max=1074.12MB, minor=98888.52MB, major=3222.89MB, promoted=3188.17MB
    minor collections=47172  major collections=33 compactions=0


runtime: 00:01:01.154
vars: 56260, evals: 109262

|rho|=56260
|stable|=50963
|infl|=56210
|wpoint|=323
|sides|=3180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50665
|called|=141
Found 2400 contexts for 84 functions. Top 5 functions:
371	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
170	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
84	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=118655.35MB, max=1235.24MB, minor=118613.65MB, major=3769.61MB, promoted=3727.91MB
    minor collections=56578  major collections=34 compactions=0


runtime: 00:01:11.185
vars: 63717, evals: 124466

|rho|=63717
|stable|=58475
|infl|=63686
|wpoint|=347
|sides|=3499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57481
|called|=98
Found 2719 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
196	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
146	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=138614.47MB, max=1235.24MB, minor=138569.53MB, major=4391.88MB, promoted=4346.94MB
    minor collections=66095  major collections=36 compactions=0


runtime: 00:01:21.285
vars: 71106, evals: 139262

|rho|=71106
|stable|=65453
|infl|=71074
|wpoint|=447
|sides|=3770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64329
|called|=227
Found 2989 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
162	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=157681.90MB, max=1420.53MB, minor=157632.08MB, major=4972.24MB, promoted=4922.42MB
    minor collections=75185  major collections=37 compactions=0


runtime: 00:01:31.344
vars: 78220, evals: 152727

|rho|=78220
|stable|=72659
|infl|=78189
|wpoint|=468
|sides|=4128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70727
|called|=120
Found 3347 contexts for 84 functions. Top 5 functions:
502	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
120	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=177240.85MB, max=1633.61MB, minor=177184.88MB, major=5547.82MB, promoted=5491.85MB
    minor collections=84509  major collections=38 compactions=0


runtime: 00:01:41.380
vars: 83291, evals: 165863

|rho|=83291
|stable|=77169
|infl|=83260
|wpoint|=563
|sides|=4327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75400
|called|=93
Found 3546 contexts for 84 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=196300.82MB, max=1878.66MB, minor=196244.10MB, major=6146.51MB, promoted=6089.79MB
    minor collections=93598  major collections=39 compactions=0


runtime: 00:01:51.455
vars: 89835, evals: 188988

|rho|=89835
|stable|=81596
|infl|=89402
|wpoint|=562
|sides|=4457
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81771
|called|=436
Found 3639 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=216067.08MB, max=1878.66MB, minor=216009.49MB, major=6687.50MB, promoted=6629.91MB
    minor collections=103024  major collections=40 compactions=0


runtime: 00:02:01.495
vars: 95500, evals: 210311

|rho|=95500
|stable|=84786
|infl|=94627
|wpoint|=563
|sides|=4512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87381
|called|=891
Found 3694 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=235157.41MB, max=2160.46MB, minor=235098.93MB, major=7229.96MB, promoted=7171.48MB
    minor collections=112127  major collections=41 compactions=0


runtime: 00:02:11.558
vars: 100959, evals: 230562

|rho|=100959
|stable|=87905
|infl|=99662
|wpoint|=563
|sides|=4565
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92787
|called|=1302
Found 3747 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=253569.11MB, max=2160.46MB, minor=253509.92MB, major=7751.88MB, promoted=7692.69MB
    minor collections=120907  major collections=42 compactions=0


runtime: 00:02:21.686
vars: 105697, evals: 248437

|rho|=105697
|stable|=90528
|infl|=104032
|wpoint|=562
|sides|=4611
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97479
|called|=1667
Found 3793 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
208	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=270351.85MB, max=2484.53MB, minor=270291.76MB, major=8219.55MB, promoted=8159.46MB
    minor collections=128909  major collections=42 compactions=0


runtime: 00:02:31.701
vars: 110332, evals: 265851

|rho|=110332
|stable|=93138
|infl|=108307
|wpoint|=562
|sides|=4656
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102069
|called|=2028
Found 3838 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
253	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=286637.86MB, max=2484.53MB, minor=286577.14MB, major=8668.03MB, promoted=8607.30MB
    minor collections=136675  major collections=43 compactions=0


runtime: 00:02:41.789
vars: 114658, evals: 281900

|rho|=114658
|stable|=95619
|infl|=112297
|wpoint|=563
|sides|=4698
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106353
|called|=2365
Found 3880 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
295	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=302078.40MB, max=2857.21MB, minor=302016.78MB, major=9088.26MB, promoted=9026.64MB
    minor collections=144037  major collections=43 compactions=0


runtime: 00:02:51.804
vars: 118935, evals: 297998

|rho|=118935
|stable|=98006
|infl|=116236
|wpoint|=562
|sides|=4740
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110588
|called|=2699
Found 3922 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
337	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=317501.08MB, max=2857.21MB, minor=317438.99MB, major=9504.43MB, promoted=9442.34MB
    minor collections=151392  major collections=44 compactions=0


runtime: 00:03:01.843
vars: 122746, evals: 312283

|rho|=122746
|stable|=100152
|infl|=119752
|wpoint|=561
|sides|=4777
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114362
|called|=2994
Found 3959 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
374	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=331872.26MB, max=3285.79MB, minor=331809.19MB, major=9878.92MB, promoted=9815.85MB
    minor collections=158244  major collections=44 compactions=0


runtime: 00:03:11.887
vars: 126606, evals: 326790

|rho|=126606
|stable|=102302
|infl|=123317
|wpoint|=562
|sides|=4814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=118185
|called|=3292
Found 3996 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
411	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=345879.11MB, max=3285.79MB, minor=345815.65MB, major=10254.74MB, promoted=10191.29MB
    minor collections=164923  major collections=44 compactions=0


runtime: 00:03:21.911
vars: 130233, evals: 340414

|rho|=130233
|stable|=104354
|infl|=126653
|wpoint|=561
|sides|=4850
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121776
|called|=3579
Found 4032 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
447	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=359523.80MB, max=3285.79MB, minor=359459.73MB, major=10612.77MB, promoted=10548.70MB
    minor collections=171430  major collections=45 compactions=0


runtime: 00:03:31.998
vars: 133507, evals: 352649

|rho|=133507
|stable|=106188
|infl|=129682
|wpoint|=563
|sides|=4881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125019
|called|=3831
Found 4063 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
478	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=372275.33MB, max=3285.79MB, minor=372208.19MB, major=10939.08MB, promoted=10871.94MB
    minor collections=177509  major collections=45 compactions=0


runtime: 00:03:42.086
vars: 136906, evals: 365330

|rho|=136906
|stable|=108102
|infl|=132817
|wpoint|=563
|sides|=4914
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128385
|called|=4093
Found 4096 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
511	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=384839.23MB, max=3778.66MB, minor=384769.58MB, major=11272.29MB, promoted=11202.64MB
    minor collections=183499  major collections=45 compactions=0


runtime: 00:03:52.101
vars: 140180, evals: 377544

|rho|=140180
|stable|=109981
|infl|=135816
|wpoint|=562
|sides|=4946
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131627
|called|=4365
Found 4128 contexts for 87 functions. Top 5 functions:
543	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=397298.60MB, max=3778.66MB, minor=397226.45MB, major=11597.37MB, promoted=11525.22MB
    minor collections=189439  major collections=46 compactions=0


runtime: 00:04:02.113
vars: 143189, evals: 388819

|rho|=143189
|stable|=111685
|infl|=138612
|wpoint|=563
|sides|=4975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134607
|called|=4581
Found 4157 contexts for 87 functions. Top 5 functions:
572	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=409254.13MB, max=3778.66MB, minor=409181.21MB, major=11899.37MB, promoted=11826.45MB
    minor collections=195140  major collections=46 compactions=0


runtime: 00:04:12.221
vars: 145970, evals: 399451

|rho|=145970
|stable|=113206
|infl|=141177
|wpoint|=561
|sides|=5002
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137361
|called|=4793
Found 4184 contexts for 87 functions. Top 5 functions:
599	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=420907.00MB, max=3778.66MB, minor=420833.07MB, major=12189.76MB, promoted=12115.83MB
    minor collections=200696  major collections=46 compactions=0


runtime: 00:04:22.256
vars: 149091, evals: 411061

|rho|=149091
|stable|=114977
|infl|=144046
|wpoint|=561
|sides|=5033
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140451
|called|=5045
Found 4215 contexts for 87 functions. Top 5 functions:
630	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=432493.77MB, max=3778.66MB, minor=432419.72MB, major=12493.17MB, promoted=12419.11MB
    minor collections=206221  major collections=46 compactions=0


runtime: 00:04:32.267
vars: 152047, evals: 422123

|rho|=152047
|stable|=116628
|infl|=146782
|wpoint|=563
|sides|=5061
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143379
|called|=5293
Found 4243 contexts for 87 functions. Top 5 functions:
658	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=444121.86MB, max=3778.66MB, minor=444047.41MB, major=12790.67MB, promoted=12716.22MB
    minor collections=211766  major collections=47 compactions=0


runtime: 00:04:42.282
vars: 154725, evals: 432261

|rho|=154725
|stable|=118136
|infl|=149252
|wpoint|=563
|sides|=5087
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146031
|called|=5479
Found 4269 contexts for 87 functions. Top 5 functions:
684	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=455226.42MB, max=3778.66MB, minor=455151.28MB, major=13062.22MB, promoted=12987.08MB
    minor collections=217061  major collections=47 compactions=0


runtime: 00:04:52.334
vars: 157300, evals: 441873

|rho|=157300
|stable|=119548
|infl|=151627
|wpoint|=563
|sides|=5112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148581
|called|=5679
Found 4294 contexts for 87 functions. Top 5 functions:
709	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=466032.33MB, max=4345.46MB, minor=465956.26MB, major=13322.51MB, promoted=13246.44MB
    minor collections=222213  major collections=47 compactions=0


runtime: 00:05:02.445
vars: 159977, evals: 451676

|rho|=159977
|stable|=121138
|infl|=154056
|wpoint|=562
|sides|=5138
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151231
|called|=5922
Found 4320 contexts for 87 functions. Top 5 functions:
735	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=476688.44MB, max=4345.46MB, minor=476611.68MB, major=13586.97MB, promoted=13510.21MB
    minor collections=227294  major collections=47 compactions=0


runtime: 00:05:12.461
vars: 162656, evals: 461837

|rho|=162656
|stable|=122602
|infl|=156567
|wpoint|=562
|sides|=5164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153885
|called|=6089
Found 4346 contexts for 87 functions. Top 5 functions:
761	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=487300.29MB, max=4345.46MB, minor=487223.40MB, major=13858.24MB, promoted=13781.35MB
    minor collections=232354  major collections=47 compactions=0


runtime: 00:05:22.488
vars: 165231, evals: 471551

|rho|=165231
|stable|=124014
|infl|=158942
|wpoint|=563
|sides|=5189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156435
|called|=6293
Found 4371 contexts for 87 functions. Top 5 functions:
786	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=497814.70MB, max=4345.46MB, minor=497737.47MB, major=14120.01MB, promoted=14042.77MB
    minor collections=237368  major collections=47 compactions=0


runtime: 00:05:32.500
vars: 167643, evals: 480553

|rho|=167643
|stable|=125429
|infl|=161158
|wpoint|=561
|sides|=5213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158823
|called|=6485
Found 4395 contexts for 87 functions. Top 5 functions:
810	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=507934.81MB, max=4345.46MB, minor=507856.95MB, major=14360.45MB, promoted=14282.58MB
    minor collections=242194  major collections=48 compactions=0


runtime: 00:05:42.515
vars: 169969, evals: 489233

|rho|=169969
|stable|=126720
|infl|=163312
|wpoint|=563
|sides|=5235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161127
|called|=6661
Found 4417 contexts for 87 functions. Top 5 functions:
832	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=517936.10MB, max=4345.46MB, minor=517857.41MB, major=14598.39MB, promoted=14519.70MB
    minor collections=246962  major collections=48 compactions=0


runtime: 00:05:52.615
vars: 172235, evals: 497722

|rho|=172235
|stable|=127996
|infl|=165402
|wpoint|=563
|sides|=5257
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163371
|called|=6838
Found 4439 contexts for 87 functions. Top 5 functions:
854	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=527869.11MB, max=4345.46MB, minor=527789.47MB, major=14831.56MB, promoted=14751.93MB
    minor collections=251698  major collections=48 compactions=0


runtime: 00:06:02.686
vars: 174604, evals: 506546

|rho|=174604
|stable|=129375
|infl|=167587
|wpoint|=563
|sides|=5280
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165717
|called|=7023
Found 4462 contexts for 87 functions. Top 5 functions:
877	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=537478.65MB, max=4997.28MB, minor=537398.58MB, major=15064.35MB, promoted=14984.28MB
    minor collections=256280  major collections=48 compactions=0


runtime: 00:06:12.701
vars: 176973, evals: 515549

|rho|=176973
|stable|=130664
|infl|=169772
|wpoint|=562
|sides|=5303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168063
|called|=7203
Found 4485 contexts for 87 functions. Top 5 functions:
900	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=547228.05MB, max=4997.28MB, minor=547147.88MB, major=15304.64MB, promoted=15224.47MB
    minor collections=260929  major collections=48 compactions=0


runtime: 00:06:22.713
vars: 179285, evals: 524174

|rho|=179285
|stable|=131986
|infl|=171896
|wpoint|=561
|sides|=5326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170352
|called|=7389
Found 4508 contexts for 87 functions. Top 5 functions:
923	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=556938.18MB, max=4997.28MB, minor=556855.61MB, major=15536.99MB, promoted=15454.41MB
    minor collections=265559  major collections=48 compactions=0


runtime: 00:06:32.724
vars: 181505, evals: 532583

|rho|=181505
|stable|=133178
|infl|=173952
|wpoint|=563
|sides|=5347
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172551
|called|=7558
Found 4529 contexts for 87 functions. Top 5 functions:
944	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=566661.60MB, max=4997.28MB, minor=566578.52MB, major=15766.21MB, promoted=15683.13MB
    minor collections=270195  major collections=49 compactions=0


runtime: 00:06:42.739
vars: 183668, evals: 540581

|rho|=183668
|stable|=134434
|infl|=175947
|wpoint|=562
|sides|=5368
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174693
|called|=7726
Found 4550 contexts for 87 functions. Top 5 functions:
965	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=576159.96MB, max=4997.28MB, minor=576076.13MB, major=15988.92MB, promoted=15905.09MB
    minor collections=274724  major collections=49 compactions=0


runtime: 00:06:52.767
vars: 185728, evals: 548297

|rho|=185728
|stable|=135594
|infl|=177847
|wpoint|=563
|sides|=5388
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176733
|called|=7887
Found 4570 contexts for 87 functions. Top 5 functions:
985	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=585495.99MB, max=4997.28MB, minor=585411.29MB, major=16201.81MB, promoted=16117.11MB
    minor collections=279176  major collections=49 compactions=0


runtime: 00:07:02.887
vars: 187685, evals: 555635

|rho|=187685
|stable|=136696
|infl|=179652
|wpoint|=562
|sides|=5407
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178671
|called|=8035
Found 4589 contexts for 87 functions. Top 5 functions:
1004	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=594556.63MB, max=4997.28MB, minor=594470.98MB, major=16405.11MB, promoted=16319.46MB
    minor collections=283496  major collections=49 compactions=0


runtime: 00:07:12.958
vars: 189745, evals: 563501

|rho|=189745
|stable|=137856
|infl|=181552
|wpoint|=562
|sides|=5427
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180711
|called|=8195
Found 4609 contexts for 87 functions. Top 5 functions:
1024	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=603430.15MB, max=4997.28MB, minor=603343.99MB, major=16621.73MB, promoted=16535.57MB
    minor collections=287727  major collections=49 compactions=0


runtime: 00:07:22.965
vars: 191918, evals: 571616

|rho|=191917
|stable|=139083
|infl|=183550
|wpoint|=561
|sides|=5448
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182862
|called|=8367
Found 4630 contexts for 87 functions. Top 5 functions:
1045	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=612365.66MB, max=4997.28MB, minor=612279.43MB, major=16839.17MB, promoted=16752.94MB
    minor collections=291988  major collections=49 compactions=0


runtime: 00:07:32.985
vars: 193968, evals: 579327

|rho|=193968
|stable|=140234
|infl|=185447
|wpoint|=563
|sides|=5468
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184893
|called|=8555
Found 4650 contexts for 87 functions. Top 5 functions:
1065	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=621199.48MB, max=4997.28MB, minor=621113.08MB, major=17046.33MB, promoted=16959.92MB
    minor collections=296200  major collections=49 compactions=0


runtime: 00:07:42.996
vars: 196028, evals: 586825

|rho|=196028
|stable|=141439
|infl|=187347
|wpoint|=563
|sides|=5488
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186933
|called|=8709
Found 4670 contexts for 87 functions. Top 5 functions:
1085	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=630077.10MB, max=4997.28MB, minor=629990.33MB, major=17248.77MB, promoted=17162.01MB
    minor collections=300433  major collections=49 compactions=0


runtime: 00:07:53.003
vars: 197925, evals: 594037

|rho|=197925
|stable|=142481
|infl|=189089
|wpoint|=561
|sides|=5507
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188811
|called|=8835
Found 4689 contexts for 87 functions. Top 5 functions:
1104	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=638882.35MB, max=4997.28MB, minor=638795.04MB, major=17447.07MB, promoted=17359.76MB
    minor collections=304632  major collections=50 compactions=0


runtime: 00:08:03.011
vars: 199759, evals: 600964

|rho|=199759
|stable|=143504
|infl|=190779
|wpoint|=561
|sides|=5525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190626
|called|=8979
Found 4707 contexts for 87 functions. Top 5 functions:
1122	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=647443.31MB, max=4997.28MB, minor=647355.32MB, major=17642.96MB, promoted=17554.97MB
    minor collections=308714  major collections=50 compactions=0


runtime: 00:08:13.034
vars: 201590, evals: 607792

|rho|=201590
|stable|=144526
|infl|=192477
|wpoint|=563
|sides|=5542
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192441
|called|=9119
Found 4724 contexts for 87 functions. Top 5 functions:
1139	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=656018.87MB, max=4997.28MB, minor=655930.06MB, major=17835.78MB, promoted=17746.96MB
    minor collections=312803  major collections=50 compactions=0


runtime: 00:08:23.134
vars: 203341, evals: 614415

|rho|=203341
|stable|=145474
|infl|=194092
|wpoint|=563
|sides|=5559
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194175
|called|=9255
Found 4741 contexts for 87 functions. Top 5 functions:
1156	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=664530.79MB, max=5746.87MB, minor=664441.06MB, major=18023.20MB, promoted=17933.47MB
    minor collections=316861  major collections=50 compactions=0


runtime: 00:08:33.193
vars: 205092, evals: 620808

|rho|=205092
|stable|=146543
|infl|=195707
|wpoint|=562
|sides|=5576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195909
|called|=9388
Found 4758 contexts for 87 functions. Top 5 functions:
1173	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=672720.15MB, max=5746.87MB, minor=672629.55MB, major=18204.35MB, promoted=18113.75MB
    minor collections=320766  major collections=50 compactions=0


runtime: 00:08:43.236
vars: 207049, evals: 628305

|rho|=207049
|stable|=147600
|infl|=197512
|wpoint|=563
|sides|=5595
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197847
|called|=9564
Found 4777 contexts for 87 functions. Top 5 functions:
1192	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=680921.75MB, max=5746.87MB, minor=680831.12MB, major=18402.68MB, promoted=18312.05MB
    minor collections=324676  major collections=50 compactions=0


runtime: 00:08:53.248
vars: 208903, evals: 635151

|rho|=208903
|stable|=148644
|infl|=199222
|wpoint|=562
|sides|=5613
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199683
|called|=9684
Found 4795 contexts for 87 functions. Top 5 functions:
1210	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=688864.90MB, max=5746.87MB, minor=688774.20MB, major=18588.92MB, promoted=18498.22MB
    minor collections=328464  major collections=50 compactions=0


runtime: 00:09:03.264
vars: 210757, evals: 642029

|rho|=210757
|stable|=149733
|infl|=200932
|wpoint|=563
|sides|=5631
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201519
|called|=9829
Found 4813 contexts for 87 functions. Top 5 functions:
1228	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=697050.21MB, max=5746.87MB, minor=696959.34MB, major=18777.96MB, promoted=18687.09MB
    minor collections=332367  major collections=50 compactions=0


runtime: 00:09:13.279
vars: 212508, evals: 648600

|rho|=212508
|stable|=150719
|infl|=202547
|wpoint|=562
|sides|=5648
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203253
|called|=9964
Found 4830 contexts for 87 functions. Top 5 functions:
1245	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=705099.32MB, max=5746.87MB, minor=705008.16MB, major=18960.53MB, promoted=18869.37MB
    minor collections=336205  major collections=50 compactions=0


runtime: 00:09:23.290
vars: 214179, evals: 655004

|rho|=214179
|stable|=151624
|infl|=204079
|wpoint|=561
|sides|=5665
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204906
|called|=10099
Found 4847 contexts for 87 functions. Top 5 functions:
1262	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=713114.23MB, max=5746.87MB, minor=713022.63MB, major=19139.21MB, promoted=19047.61MB
    minor collections=340027  major collections=51 compactions=0


runtime: 00:09:33.310
vars: 215823, evals: 661177

|rho|=215823
|stable|=152549
|infl|=205594
|wpoint|=561
|sides|=5681
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206535
|called|=10229
Found 4863 contexts for 87 functions. Top 5 functions:
1278	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=721021.58MB, max=5746.87MB, minor=720929.43MB, major=19311.09MB, promoted=19218.95MB
    minor collections=343798  major collections=51 compactions=0


runtime: 00:09:43.325
vars: 217452, evals: 667233

|rho|=217452
|stable|=153458
|infl|=207107
|wpoint|=563
|sides|=5696
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208149
|called|=10349
Found 4878 contexts for 87 functions. Top 5 functions:
1293	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=728903.52MB, max=5746.87MB, minor=728810.70MB, major=19486.30MB, promoted=19393.48MB
    minor collections=347556  major collections=51 compactions=0


runtime: 00:09:53.337
vars: 219006, evals: 673134

|rho|=219006
|stable|=154337
|infl|=208533
|wpoint|=561
|sides|=5711
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209688
|called|=10473
Found 4893 contexts for 87 functions. Top 5 functions:
1308	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=736704.67MB, max=5746.87MB, minor=736611.08MB, major=19656.97MB, promoted=19563.38MB
    minor collections=351275  major collections=51 compactions=0


runtime: 00:10:03.468
vars: 220574, evals: 678945

|rho|=220574
|stable|=155230
|infl|=209978
|wpoint|=561
|sides|=5727
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211239
|called|=10596
Found 4909 contexts for 87 functions. Top 5 functions:
1324	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=744430.46MB, max=5746.87MB, minor=744336.01MB, major=19826.74MB, promoted=19732.28MB
    minor collections=354959  major collections=51 compactions=0


runtime: 00:10:13.564
vars: 222087, evals: 684661

|rho|=222087
|stable|=156068
|infl|=211382
|wpoint|=562
|sides|=5741
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212739
|called|=10708
Found 4923 contexts for 87 functions. Top 5 functions:
1338	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=752111.48MB, max=5746.87MB, minor=752016.11MB, major=19995.68MB, promoted=19900.31MB
    minor collections=358621  major collections=51 compactions=0


runtime: 00:10:23.651
vars: 223735, evals: 690881

|rho|=223735
|stable|=156996
|infl|=212902
|wpoint|=563
|sides|=5757
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214371
|called|=10864
Found 4939 contexts for 87 functions. Top 5 functions:
1354	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=759660.84MB, max=6608.90MB, minor=759565.05MB, major=20166.25MB, promoted=20070.46MB
    minor collections=362221  major collections=51 compactions=0


runtime: 00:10:33.662
vars: 225486, evals: 697221

|rho|=225486
|stable|=158027
|infl|=214517
|wpoint|=563
|sides|=5774
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216105
|called|=10981
Found 4956 contexts for 87 functions. Top 5 functions:
1371	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=766999.18MB, max=6608.90MB, minor=766903.36MB, major=20341.71MB, promoted=20245.89MB
    minor collections=365720  major collections=51 compactions=0


runtime: 00:10:43.677
vars: 227102, evals: 703318

|rho|=227102
|stable|=158923
|infl|=215996
|wpoint|=562
|sides|=5790
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217705
|called|=11107
Found 4972 contexts for 87 functions. Top 5 functions:
1387	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=774360.26MB, max=6608.90MB, minor=774264.37MB, major=20513.34MB, promoted=20417.45MB
    minor collections=369230  major collections=51 compactions=0


runtime: 00:10:53.690
vars: 228679, evals: 709310

|rho|=228679
|stable|=159780
|infl|=217462
|wpoint|=563
|sides|=5805
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219267
|called|=11221
Found 4987 contexts for 87 functions. Top 5 functions:
1402	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=781757.80MB, max=6608.90MB, minor=781661.77MB, major=20680.59MB, promoted=20584.56MB
    minor collections=372757  major collections=51 compactions=0


runtime: 00:11:03.700
vars: 230224, evals: 715199

|rho|=230224
|stable|=160650
|infl|=218887
|wpoint|=562
|sides|=5820
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220797
|called|=11339
Found 5002 contexts for 87 functions. Top 5 functions:
1417	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=789265.49MB, max=6608.90MB, minor=789169.23MB, major=20848.45MB, promoted=20752.19MB
    minor collections=376337  major collections=51 compactions=0


runtime: 00:11:13.711
vars: 231769, evals: 720989

|rho|=231769
|stable|=161520
|infl|=220312
|wpoint|=562
|sides|=5835
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222327
|called|=11458
Found 5017 contexts for 87 functions. Top 5 functions:
1432	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=796791.31MB, max=6608.90MB, minor=796694.70MB, major=21014.34MB, promoted=20917.72MB
    minor collections=379926  major collections=52 compactions=0


runtime: 00:11:23.723
vars: 233265, evals: 726458

|rho|=233265
|stable|=162386
|infl|=221686
|wpoint|=562
|sides|=5850
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223808
|called|=11582
Found 5032 contexts for 87 functions. Top 5 functions:
1447	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=803989.59MB, max=6608.90MB, minor=803892.51MB, major=21170.35MB, promoted=21073.26MB
    minor collections=383359  major collections=52 compactions=0


runtime: 00:11:33.734
vars: 234756, evals: 731914

|rho|=234756
|stable|=163247
|infl|=223045
|wpoint|=563
|sides|=5864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225285
|called|=11712
Found 5046 contexts for 87 functions. Top 5 functions:
1461	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=811220.55MB, max=6608.90MB, minor=811122.90MB, major=21327.41MB, promoted=21229.76MB
    minor collections=386806  major collections=52 compactions=0


runtime: 00:11:43.745
vars: 236149, evals: 737260

|rho|=236149
|stable|=164010
|infl|=224346
|wpoint|=562
|sides|=5878
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226664
|called|=11806
Found 5060 contexts for 87 functions. Top 5 functions:
1475	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=818484.32MB, max=6608.90MB, minor=818386.01MB, major=21480.65MB, promoted=21382.34MB
    minor collections=390270  major collections=52 compactions=0


runtime: 00:11:53.757
vars: 237537, evals: 742561

|rho|=237537
|stable|=164768
|infl|=225632
|wpoint|=563
|sides|=5891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228039
|called|=11916
Found 5073 contexts for 87 functions. Top 5 functions:
1488	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=825788.76MB, max=6608.90MB, minor=825689.72MB, major=21634.31MB, promoted=21535.27MB
    minor collections=393752  major collections=52 compactions=0


runtime: 00:12:03.832
vars: 238977, evals: 747738

|rho|=238977
|stable|=165623
|infl|=226921
|wpoint|=562
|sides|=5905
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229465
|called|=12057
Found 5087 contexts for 87 functions. Top 5 functions:
1502	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=832986.65MB, max=6608.90MB, minor=832886.81MB, major=21783.75MB, promoted=21683.91MB
    minor collections=397184  major collections=52 compactions=0


runtime: 00:12:13.932
vars: 240318, evals: 752881

|rho|=240318
|stable|=166334
|infl|=228197
|wpoint|=562
|sides|=5918
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230793
|called|=12123
Found 5100 contexts for 87 functions. Top 5 functions:
1515	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=840246.49MB, max=6608.90MB, minor=840145.75MB, major=21936.13MB, promoted=21835.39MB
    minor collections=400646  major collections=52 compactions=0


runtime: 00:12:24.043
vars: 241657, evals: 757943

|rho|=241657
|stable|=167088
|infl|=229432
|wpoint|=563
|sides|=5931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232119
|called|=12264
Found 5113 contexts for 87 functions. Top 5 functions:
1528	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=847372.40MB, max=6608.90MB, minor=847270.78MB, major=22084.63MB, promoted=21983.01MB
    minor collections=404043  major collections=52 compactions=0


runtime: 00:12:34.122
vars: 243202, evals: 763607

|rho|=243202
|stable|=167998
|infl|=230857
|wpoint|=563
|sides|=5946
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233649
|called|=12382
Found 5128 contexts for 87 functions. Top 5 functions:
1543	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=854164.32MB, max=6608.90MB, minor=854062.51MB, major=22241.05MB, promoted=22139.23MB
    minor collections=407282  major collections=52 compactions=0


runtime: 00:12:44.133
vars: 244719, evals: 769327

|rho|=244718
|stable|=168844
|infl|=232241
|wpoint|=562
|sides|=5961
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235150
|called|=12478
Found 5143 contexts for 87 functions. Top 5 functions:
1558	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=861089.13MB, max=6608.90MB, minor=860987.29MB, major=22400.28MB, promoted=22298.44MB
    minor collections=410584  major collections=52 compactions=0


runtime: 00:12:54.146
vars: 246189, evals: 774883

|rho|=246189
|stable|=169640
|infl|=233612
|wpoint|=562
|sides|=5975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236607
|called|=12577
Found 5157 contexts for 87 functions. Top 5 functions:
1572	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=868007.50MB, max=6608.90MB, minor=867905.60MB, major=22556.80MB, promoted=22454.90MB
    minor collections=413883  major collections=52 compactions=0


runtime: 00:13:04.161
vars: 247631, evals: 780211

|rho|=247631
|stable|=170497
|infl|=234942
|wpoint|=563
|sides|=5989
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238035
|called|=12695
Found 5171 contexts for 87 functions. Top 5 functions:
1586	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=874756.19MB, max=6608.90MB, minor=874654.20MB, major=22702.99MB, promoted=22601.00MB
    minor collections=417101  major collections=52 compactions=0


runtime: 00:13:14.172
vars: 248970, evals: 785451

|rho|=248970
|stable|=171206
|infl|=236177
|wpoint|=563
|sides|=6002
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239361
|called|=12805
Found 5184 contexts for 87 functions. Top 5 functions:
1599	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=881689.82MB, max=6608.90MB, minor=881587.66MB, major=22854.84MB, promoted=22752.68MB
    minor collections=420407  major collections=52 compactions=0


runtime: 00:13:24.183
vars: 250412, evals: 790633

|rho|=250412
|stable|=172063
|infl|=237507
|wpoint|=563
|sides|=6016
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240789
|called|=12924
Found 5198 contexts for 87 functions. Top 5 functions:
1613	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=888524.84MB, max=6608.90MB, minor=888422.42MB, major=23003.84MB, promoted=22901.43MB
    minor collections=423666  major collections=52 compactions=0


runtime: 00:13:34.195
vars: 251751, evals: 795651

|rho|=251751
|stable|=172817
|infl|=238742
|wpoint|=563
|sides|=6029
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242115
|called|=13018
Found 5211 contexts for 87 functions. Top 5 functions:
1626	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=895377.11MB, max=6608.90MB, minor=895274.33MB, major=23147.72MB, promoted=23044.95MB
    minor collections=426934  major collections=53 compactions=0


runtime: 00:13:44.210
vars: 252987, evals: 800418

|rho|=252987
|stable|=173425
|infl|=239882
|wpoint|=562
|sides|=6041
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243339
|called|=13106
Found 5223 contexts for 87 functions. Top 5 functions:
1638	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=902045.40MB, max=6608.90MB, minor=901942.18MB, major=23290.63MB, promoted=23187.41MB
    minor collections=430113  major collections=53 compactions=0


runtime: 00:13:54.221
vars: 254289, evals: 805217

|rho|=254289
|stable|=174230
|infl|=241076
|wpoint|=562
|sides|=6054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244628
|called|=13214
Found 5236 contexts for 87 functions. Top 5 functions:
1651	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=908770.54MB, max=6608.90MB, minor=908666.80MB, major=23428.65MB, promoted=23324.91MB
    minor collections=433320  major collections=53 compactions=0


runtime: 00:14:04.232
vars: 255562, evals: 809996

|rho|=255562
|stable|=174918
|infl|=242257
|wpoint|=563
|sides|=6066
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245889
|called|=13329
Found 5248 contexts for 87 functions. Top 5 functions:
1663	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=915474.94MB, max=6608.90MB, minor=915370.58MB, major=23568.29MB, promoted=23463.93MB
    minor collections=436517  major collections=53 compactions=0


runtime: 00:14:14.245
vars: 256798, evals: 814685

|rho|=256798
|stable|=175614
|infl|=243397
|wpoint|=563
|sides|=6078
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247113
|called|=13421
Found 5260 contexts for 87 functions. Top 5 functions:
1675	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=922189.20MB, max=6608.90MB, minor=922084.14MB, major=23707.14MB, promoted=23602.08MB
    minor collections=439718  major collections=53 compactions=0


runtime: 00:14:24.255
vars: 258034, evals: 819216

|rho|=258034
|stable|=176310
|infl|=244537
|wpoint|=562
|sides|=6090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248337
|called|=13502
Found 5272 contexts for 87 functions. Top 5 functions:
1687	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=928753.01MB, max=6608.90MB, minor=928647.24MB, major=23842.46MB, promoted=23736.68MB
    minor collections=442848  major collections=53 compactions=0


runtime: 00:14:34.327
vars: 259227, evals: 823739

|rho|=259227
|stable|=177008
|infl|=245629
|wpoint|=561
|sides|=6102
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249518
|called|=13598
Found 5284 contexts for 87 functions. Top 5 functions:
1699	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=935392.16MB, max=6608.90MB, minor=935285.62MB, major=23978.66MB, promoted=23872.13MB
    minor collections=446013  major collections=53 compactions=0


runtime: 00:14:44.379
vars: 260403, evals: 828253

|rho|=260403
|stable|=177644
|infl|=246722
|wpoint|=563
|sides|=6113
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250683
|called|=13707
Found 5295 contexts for 87 functions. Top 5 functions:
1710	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=941990.58MB, max=7600.24MB, minor=941883.22MB, major=24115.13MB, promoted=24007.77MB
    minor collections=449159  major collections=53 compactions=0


runtime: 00:14:54.461
vars: 261618, evals: 832639

|rho|=261618
|stable|=178364
|infl|=247821
|wpoint|=562
|sides|=6125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251886
|called|=13798
Found 5307 contexts for 87 functions. Top 5 functions:
1722	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=948458.38MB, max=7600.24MB, minor=948350.15MB, major=24244.18MB, promoted=24135.95MB
    minor collections=452243  major collections=53 compactions=0


runtime: 00:15:04.541
vars: 262826, evals: 837237

|rho|=262826
|stable|=179032
|infl|=248951
|wpoint|=562
|sides|=6137
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253082
|called|=13875
Found 5319 contexts for 87 functions. Top 5 functions:
1734	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=954827.87MB, max=7600.24MB, minor=954714.86MB, major=24381.07MB, promoted=24268.06MB
    minor collections=455279  major collections=53 compactions=0


runtime: 00:15:14.568
vars: 264214, evals: 842535

|rho|=264214
|stable|=179790
|infl|=250237
|wpoint|=563
|sides|=6150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254457
|called|=14017
Found 5332 contexts for 87 functions. Top 5 functions:
1747	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=961199.38MB, max=7600.24MB, minor=961086.35MB, major=24523.31MB, promoted=24410.28MB
    minor collections=458317  major collections=53 compactions=0


runtime: 00:15:24.580
vars: 265553, evals: 847597

|rho|=265553
|stable|=180544
|infl|=251472
|wpoint|=563
|sides|=6163
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=255783
|called|=14094
Found 5345 contexts for 87 functions. Top 5 functions:
1760	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=967586.91MB, max=7600.24MB, minor=967473.86MB, major=24665.34MB, promoted=24552.29MB
    minor collections=461363  major collections=53 compactions=0


runtime: 00:15:34.591
vars: 266892, evals: 852456

|rho|=266892
|stable|=181298
|infl|=252707
|wpoint|=563
|sides|=6176
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=257109
|called|=14205
Found 5358 contexts for 87 functions. Top 5 functions:
1773	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=973878.38MB, max=7600.24MB, minor=973765.28MB, major=24803.27MB, promoted=24690.16MB
    minor collections=464363  major collections=53 compactions=0


runtime: 00:15:44.602
vars: 268128, evals: 857247

|rho|=268128
|stable|=181994
|infl|=253847
|wpoint|=562
|sides|=6188
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258333
|called|=14284
Found 5370 contexts for 87 functions. Top 5 functions:
1785	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=980236.99MB, max=7600.24MB, minor=980123.80MB, major=24940.52MB, promoted=24827.33MB
    minor collections=467395  major collections=53 compactions=0


runtime: 00:15:54.621
vars: 269418, evals: 861947

|rho|=269418
|stable|=182744
|infl|=255034
|wpoint|=561
|sides|=6201
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259610
|called|=14384
Found 5383 contexts for 87 functions. Top 5 functions:
1798	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=986612.82MB, max=7600.24MB, minor=986499.49MB, major=25075.61MB, promoted=24962.28MB
    minor collections=470435  major collections=53 compactions=0


runtime: 00:16:04.632
vars: 270654, evals: 866579

|rho|=270654
|stable|=183440
|infl|=256171
|wpoint|=561
|sides|=6213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=260834
|called|=14483
Found 5395 contexts for 87 functions. Top 5 functions:
1810	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=992976.40MB, max=7600.24MB, minor=992862.89MB, major=25207.16MB, promoted=25093.64MB
    minor collections=473470  major collections=53 compactions=0


runtime: 00:16:14.645
vars: 271836, evals: 871143

|rho|=271836
|stable|=184082
|infl|=257267
|wpoint|=563
|sides|=6224
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262005
|called|=14606
Found 5406 contexts for 87 functions. Top 5 functions:
1821	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=999380.26MB, max=7600.24MB, minor=999266.49MB, major=25340.35MB, promoted=25226.57MB
    minor collections=476523  major collections=53 compactions=0


runtime: 00:16:24.656
vars: 273072, evals: 875553

|rho|=273072
|stable|=184823
|infl|=258407
|wpoint|=563
|sides|=6236
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263229
|called|=14671
Found 5418 contexts for 87 functions. Top 5 functions:
1833	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1005646.86MB, max=7600.24MB, minor=1005528.54MB, major=25471.89MB, promoted=25353.57MB
    minor collections=479511  major collections=54 compactions=0


runtime: 00:16:34.666
vars: 274205, evals: 879919

|rho|=274205
|stable|=185416
|infl|=259452
|wpoint|=563
|sides|=6247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264351
|called|=14759
Found 5429 contexts for 87 functions. Top 5 functions:
1844	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1011982.05MB, max=7600.24MB, minor=1011863.32MB, major=25603.77MB, promoted=25485.05MB
    minor collections=482532  major collections=54 compactions=0


runtime: 00:16:44.682
vars: 275338, evals: 884165

|rho|=275338
|stable|=186054
|infl|=260497
|wpoint|=563
|sides|=6258
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265473
|called|=14849
Found 5440 contexts for 87 functions. Top 5 functions:
1855	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1018134.10MB, max=7600.24MB, minor=1018014.90MB, major=25730.17MB, promoted=25610.97MB
    minor collections=485465  major collections=54 compactions=0


runtime: 00:16:54.697
vars: 276471, evals: 888354

|rho|=276471
|stable|=186692
|infl|=261542
|wpoint|=563
|sides|=6269
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=266595
|called|=14952
Found 5451 contexts for 87 functions. Top 5 functions:
1866	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1024279.28MB, max=7600.24MB, minor=1024159.51MB, major=25851.68MB, promoted=25731.92MB
    minor collections=488395  major collections=54 compactions=0


runtime: 00:17:04.712
vars: 277550, evals: 892421

|rho|=277550
|stable|=187321
|infl|=262529
|wpoint|=561
|sides|=6280
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=267663
|called|=15021
Found 5462 contexts for 87 functions. Top 5 functions:
1877	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1030371.94MB, max=7600.24MB, minor=1030247.39MB, major=25976.09MB, promoted=25851.54MB
    minor collections=491299  major collections=54 compactions=0


runtime: 00:17:14.724
vars: 278634, evals: 896531

|rho|=278634
|stable|=187910
|infl|=263537
|wpoint|=562
|sides|=6290
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=268737
|called|=15098
Found 5472 contexts for 87 functions. Top 5 functions:
1887	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1036546.69MB, max=7600.24MB, minor=1036421.48MB, major=26100.72MB, promoted=25975.51MB
    minor collections=494243  major collections=54 compactions=0


runtime: 00:17:24.735
vars: 279767, evals: 900596

|rho|=279767
|stable|=188593
|infl|=264568
|wpoint|=563
|sides|=6301
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=269859
|called|=15200
Found 5483 contexts for 87 functions. Top 5 functions:
1898	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1042677.94MB, max=7600.24MB, minor=1042552.05MB, major=26221.15MB, promoted=26095.25MB
    minor collections=497167  major collections=54 compactions=0


runtime: 00:17:34.770
vars: 280851, evals: 904793

|rho|=280851
|stable|=189182
|infl|=265576
|wpoint|=562
|sides|=6312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270932
|called|=15276
Found 5494 contexts for 87 functions. Top 5 functions:
1909	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1048890.02MB, max=7600.24MB, minor=1048754.62MB, major=26356.53MB, promoted=26221.13MB
    minor collections=500124  major collections=54 compactions=0


runtime: 00:17:44.851
vars: 282136, evals: 909540

|rho|=282136
|stable|=189882
|infl|=266767
|wpoint|=562
|sides|=6324
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272205
|called|=15369
Found 5506 contexts for 87 functions. Top 5 functions:
1921	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1055248.77MB, max=7600.24MB, minor=1055113.15MB, major=26500.14MB, promoted=26364.52MB
    minor collections=503156  major collections=54 compactions=0


runtime: 00:17:54.918
vars: 283372, evals: 914282

|rho|=283372
|stable|=190578
|infl|=267907
|wpoint|=562
|sides|=6336
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273429
|called|=15467
Found 5518 contexts for 87 functions. Top 5 functions:
1933	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1061659.94MB, max=7600.24MB, minor=1061524.10MB, major=26641.12MB, promoted=26505.28MB
    minor collections=506214  major collections=54 compactions=0


runtime: 00:18:04.980
vars: 284608, evals: 918963

|rho|=284608
|stable|=191274
|infl|=269047
|wpoint|=563
|sides|=6348
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=274653
|called|=15600
Found 5530 contexts for 87 functions. Top 5 functions:
1945	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1067786.13MB, max=7600.24MB, minor=1067650.09MB, major=26777.23MB, promoted=26641.19MB
    minor collections=509135  major collections=54 compactions=0


runtime: 00:18:15.019
vars: 286050, evals: 924367

|rho|=286050
|stable|=192086
|infl|=270377
|wpoint|=562
|sides|=6362
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=276081
|called|=15674
Found 5544 contexts for 87 functions. Top 5 functions:
1959	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1073817.37MB, max=7600.24MB, minor=1073681.23MB, major=26927.90MB, promoted=26791.76MB
    minor collections=512011  major collections=54 compactions=0


runtime: 00:18:25.034
vars: 287389, evals: 929429

|rho|=287389
|stable|=192840
|infl|=271612
|wpoint|=563
|sides|=6375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277407
|called|=15790
Found 5557 contexts for 87 functions. Top 5 functions:
1972	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1079580.41MB, max=7600.24MB, minor=1079444.17MB, major=27065.63MB, promoted=26929.39MB
    minor collections=514759  major collections=54 compactions=0


runtime: 00:18:35.049
vars: 288747, evals: 934465

|rho|=288747
|stable|=193613
|infl|=272855
|wpoint|=561
|sides|=6389
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278751
|called|=15892
Found 5571 contexts for 87 functions. Top 5 functions:
1986	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1085551.09MB, max=7600.24MB, minor=1085414.74MB, major=27212.24MB, promoted=27075.89MB
    minor collections=517606  major collections=54 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13225:10-13225:23!

runtime: 00:18:40.728
vars: 289552, evals: 937313

|rho|=289552
|stable|=194103
|infl|=273607
|wpoint|=563
|sides|=6396
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279549
|called|=15987
Found 5578 contexts for 87 functions. Top 5 functions:
1993	contexts for L:entry state of dump_node (9995) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1088907.10MB, max=7600.23MB, minor=1088770.61MB, major=27292.30MB, promoted=27155.80MB
    minor collections=519206  major collections=54 compactions=0


Fatal error: exception Stack overflow
