./goblint --conf conf/svcomp24.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
math function -> enabling tmpSpecial analysis and floating-point domain
Total: 2595370978
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.873
vars: 12649, evals: 22918

|rho|=12649
|stable|=7768
|infl|=12617
|wpoint|=37
|sides|=1254
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10879
|called|=110
Found 498 contexts for 82 functions. Top 5 functions:
94	contexts for L:entry state of lex_return (10107) 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 (10096) 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 (4664) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
25	contexts for L:entry state of yyalloc (7677) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
20	contexts for L:entry state of yyrealloc (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=21684.78MB, max=305.32MB, minor=21667.16MB, major=707.67MB, promoted=690.04MB
    minor collections=10343  major collections=19 compactions=0


runtime: 00:00:20.920
vars: 22068, evals: 40330

|rho|=22068
|stable|=17563
|infl|=22044
|wpoint|=68
|sides|=1698
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19408
|called|=76
Found 942 contexts for 82 functions. Top 5 functions:
140	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for L:entry state of node_str_new (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=41302.54MB, max=464.37MB, minor=41280.73MB, major=1403.57MB, promoted=1381.77MB
    minor collections=19698  major collections=25 compactions=0


runtime: 00:00:30.971
vars: 32077, evals: 61068

|rho|=32077
|stable|=27124
|infl|=32051
|wpoint|=176
|sides|=2105
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28623
|called|=117
Found 1330 contexts for 83 functions. Top 5 functions:
188	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for L:entry state of yy_symbol_print (10073) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=61026.18MB, max=614.13MB, minor=60999.57MB, major=2013.09MB, promoted=1986.48MB
    minor collections=29102  major collections=28 compactions=0


runtime: 00:00:41.054
vars: 39711, evals: 76301

|rho|=39711
|stable|=34729
|infl|=39685
|wpoint|=204
|sides|=2453
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35561
|called|=267
Found 1678 contexts for 83 functions. Top 5 functions:
234	contexts for L:entry state of lex_return (10107) 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 (4664) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
97	contexts for L:entry state of yy_fatal_error (10096) 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 (4587) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=80985.35MB, max=812.19MB, minor=80951.58MB, major=2646.59MB, promoted=2612.81MB
    minor collections=38617  major collections=30 compactions=0


runtime: 00:00:51.096
vars: 48205, evals: 93713

|rho|=48205
|stable|=42859
|infl|=48171
|wpoint|=301
|sides|=2777
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43413
|called|=218
Found 1998 contexts for 84 functions. Top 5 functions:
280	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
107	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=100641.49MB, max=1074.12MB, minor=100605.16MB, major=3273.39MB, promoted=3237.06MB
    minor collections=47991  major collections=33 compactions=0


runtime: 00:01:01.187
vars: 57055, evals: 111372

|rho|=57055
|stable|=51771
|infl|=57018
|wpoint|=327
|sides|=3197
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51424
|called|=138
Found 2418 contexts for 84 functions. Top 5 functions:
374	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
171	contexts for L:entry state of node_str_new (4664) 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 (10096) 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 (4587) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
84	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=120852.44MB, max=1235.24MB, minor=120810.66MB, major=3835.71MB, promoted=3793.93MB
    minor collections=57626  major collections=34 compactions=0


runtime: 00:01:11.226
vars: 64855, evals: 126544

|rho|=64855
|stable|=59613
|infl|=64814
|wpoint|=352
|sides|=3510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58597
|called|=102
Found 2731 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (10096) 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 (4587) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
107	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=141038.38MB, max=1235.24MB, minor=140993.36MB, major=4489.39MB, promoted=4444.37MB
    minor collections=67251  major collections=36 compactions=0


runtime: 00:01:21.273
vars: 71909, evals: 140615

|rho|=71909
|stable|=66320
|infl|=71857
|wpoint|=445
|sides|=3830
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65015
|called|=142
Found 3050 contexts for 84 functions. Top 5 functions:
463	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
218	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
108	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=160664.34MB, max=1420.53MB, minor=160612.73MB, major=5050.96MB, promoted=4999.36MB
    minor collections=76607  major collections=37 compactions=0


runtime: 00:01:31.351
vars: 79372, evals: 155516

|rho|=79372
|stable|=73801
|infl|=79335
|wpoint|=472
|sides|=4164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71808
|called|=128
Found 3384 contexts for 84 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
243	contexts for L:entry state of node_str_new (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
120	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=180923.44MB, max=1633.61MB, minor=180867.36MB, major=5646.82MB, promoted=5590.73MB
    minor collections=86266  major collections=38 compactions=0


runtime: 00:01:41.414
vars: 83334, evals: 167644

|rho|=83334
|stable|=77464
|infl|=83305
|wpoint|=558
|sides|=4327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75441
|called|=80
Found 3547 contexts for 84 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=200129.69MB, max=1878.66MB, minor=200072.92MB, major=6243.35MB, promoted=6186.58MB
    minor collections=95424  major collections=39 compactions=0


runtime: 00:01:51.465
vars: 90770, evals: 192564

|rho|=90770
|stable|=82126
|infl|=90257
|wpoint|=561
|sides|=4465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82698
|called|=513
Found 3648 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=220569.70MB, max=2160.46MB, minor=220511.91MB, major=6806.82MB, promoted=6749.03MB
    minor collections=105171  major collections=40 compactions=0


runtime: 00:02:01.508
vars: 96632, evals: 214513

|rho|=96632
|stable|=85423
|infl|=95671
|wpoint|=563
|sides|=4522
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88503
|called|=1001
Found 3705 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=240633.83MB, max=2160.46MB, minor=240575.12MB, major=7373.83MB, promoted=7315.13MB
    minor collections=114738  major collections=41 compactions=0


runtime: 00:02:11.539
vars: 102194, evals: 235194

|rho|=102194
|stable|=88600
|infl|=100801
|wpoint|=562
|sides|=4576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94011
|called|=1396
Found 3759 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
174	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=259823.50MB, max=2160.46MB, minor=259764.08MB, major=7907.75MB, promoted=7848.33MB
    minor collections=123889  major collections=42 compactions=0


runtime: 00:02:21.634
vars: 107138, evals: 253710

|rho|=107138
|stable|=91384
|infl|=105361
|wpoint|=563
|sides|=4624
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98907
|called|=1781
Found 3807 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) 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 (4664) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
222	contexts for L:entry state of dump_node (9993) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=277476.05MB, max=2484.53MB, minor=277415.73MB, major=8387.16MB, promoted=8326.84MB
    minor collections=132306  major collections=42 compactions=0


runtime: 00:02:31.648
vars: 112033, evals: 272127

|rho|=112033
|stable|=94119
|infl|=109870
|wpoint|=562
|sides|=4672
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103754
|called|=2164
Found 3855 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
270	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=295242.77MB, max=2484.53MB, minor=295181.69MB, major=8865.75MB, promoted=8804.67MB
    minor collections=140778  major collections=43 compactions=0


runtime: 00:02:41.735
vars: 116614, evals: 289222

|rho|=116614
|stable|=96720
|infl|=114101
|wpoint|=563
|sides|=4716
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108291
|called|=2516
Found 3899 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
314	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=311938.96MB, max=2857.21MB, minor=311877.07MB, major=9314.07MB, promoted=9252.18MB
    minor collections=148739  major collections=43 compactions=0


runtime: 00:02:51.746
vars: 121097, evals: 306098

|rho|=121097
|stable|=99223
|infl|=118230
|wpoint|=562
|sides|=4760
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112730
|called|=2867
Found 3943 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
358	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=328634.95MB, max=2857.21MB, minor=328572.44MB, major=9757.60MB, promoted=9695.09MB
    minor collections=156701  major collections=44 compactions=0


runtime: 00:03:01.821
vars: 125058, evals: 320821

|rho|=125057
|stable|=101473
|infl|=121850
|wpoint|=562
|sides|=4798
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116652
|called|=3208
Found 3981 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
396	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=343712.07MB, max=3285.79MB, minor=343648.51MB, major=10148.36MB, promoted=10084.80MB
    minor collections=163890  major collections=44 compactions=0


runtime: 00:03:11.840
vars: 129337, evals: 336975

|rho|=129337
|stable|=103863
|infl|=125830
|wpoint|=562
|sides|=4840
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120890
|called|=3509
Found 4023 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
438	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=359601.69MB, max=3285.79MB, minor=359537.82MB, major=10573.18MB, promoted=10509.31MB
    minor collections=171467  major collections=44 compactions=0


runtime: 00:03:21.850
vars: 133094, evals: 350979

|rho|=133094
|stable|=106000
|infl|=129301
|wpoint|=563
|sides|=4876
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124611
|called|=3800
Found 4059 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
474	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=374155.77MB, max=3285.79MB, minor=374088.95MB, major=10951.25MB, promoted=10884.43MB
    minor collections=178406  major collections=45 compactions=0


runtime: 00:03:31.921
vars: 136699, evals: 364711

|rho|=136699
|stable|=107985
|infl|=132626
|wpoint|=563
|sides|=4911
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128181
|called|=4079
Found 4094 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
509	contexts for L:entry state of dump_node (9993) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=388557.48MB, max=3778.66MB, minor=388487.67MB, major=11321.27MB, promoted=11251.46MB
    minor collections=185272  major collections=45 compactions=0


runtime: 00:03:41.936
vars: 140564, evals: 379061

|rho|=140564
|stable|=110185
|infl|=136187
|wpoint|=561
|sides|=4949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132008
|called|=4376
Found 4132 contexts for 87 functions. Top 5 functions:
547	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=403233.95MB, max=3778.66MB, minor=403161.71MB, major=11705.79MB, promoted=11633.55MB
    minor collections=192269  major collections=45 compactions=0


runtime: 00:03:51.955
vars: 143909, evals: 391731

|rho|=143909
|stable|=112045
|infl|=139276
|wpoint|=562
|sides|=4981
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135321
|called|=4635
Found 4164 contexts for 87 functions. Top 5 functions:
579	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=416849.09MB, max=3778.66MB, minor=416776.05MB, major=12043.64MB, promoted=11970.60MB
    minor collections=198762  major collections=46 compactions=0


runtime: 00:04:02.022
vars: 147102, evals: 403595

|rho|=147102
|stable|=113843
|infl|=142221
|wpoint|=563
|sides|=5012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138483
|called|=4894
Found 4195 contexts for 87 functions. Top 5 functions:
610	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=430001.75MB, max=3778.66MB, minor=429927.59MB, major=12369.83MB, promoted=12295.68MB
    minor collections=205033  major collections=46 compactions=0


runtime: 00:04:12.057
vars: 150604, evals: 416675

|rho|=150604
|stable|=115815
|infl|=145451
|wpoint|=562
|sides|=5046
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141951
|called|=5153
Found 4229 contexts for 87 functions. Top 5 functions:
644	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=443472.49MB, max=3778.66MB, minor=443398.12MB, major=12718.83MB, promoted=12644.46MB
    minor collections=211456  major collections=46 compactions=0


runtime: 00:04:22.071
vars: 153900, evals: 429084

|rho|=153900
|stable|=117670
|infl|=148491
|wpoint|=562
|sides|=5078
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145215
|called|=5411
Found 4261 contexts for 87 functions. Top 5 functions:
676	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=456897.26MB, max=3778.66MB, minor=456822.40MB, major=13048.46MB, promoted=12973.59MB
    minor collections=217858  major collections=47 compactions=0


runtime: 00:04:32.082
vars: 156887, evals: 440208

|rho|=156887
|stable|=119353
|infl|=151246
|wpoint|=563
|sides|=5107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148173
|called|=5668
Found 4290 contexts for 87 functions. Top 5 functions:
705	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=469342.59MB, max=3778.66MB, minor=469266.88MB, major=13347.54MB, promoted=13271.83MB
    minor collections=223792  major collections=47 compactions=0


runtime: 00:04:42.177
vars: 159688, evals: 450807

|rho|=159688
|stable|=120938
|infl|=153820
|wpoint|=561
|sides|=5135
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150945
|called|=5867
Found 4318 contexts for 87 functions. Top 5 functions:
733	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=481612.24MB, max=4345.46MB, minor=481535.43MB, major=13639.46MB, promoted=13562.65MB
    minor collections=229642  major collections=47 compactions=0


runtime: 00:04:52.252
vars: 162861, evals: 462653

|rho|=162861
|stable|=122717
|infl|=156756
|wpoint|=563
|sides|=5165
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154089
|called|=6109
Found 4348 contexts for 87 functions. Top 5 functions:
763	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=494188.83MB, max=4345.46MB, minor=494111.69MB, major=13958.66MB, promoted=13881.52MB
    minor collections=235639  major collections=47 compactions=0


runtime: 00:05:02.271
vars: 165951, evals: 474116

|rho|=165951
|stable|=124502
|infl|=159606
|wpoint|=563
|sides|=5195
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157149
|called|=6349
Found 4378 contexts for 87 functions. Top 5 functions:
793	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=506730.05MB, max=4345.46MB, minor=506652.60MB, major=14259.74MB, promoted=14182.29MB
    minor collections=241619  major collections=47 compactions=0


runtime: 00:05:12.281
vars: 168732, evals: 484550

|rho|=168732
|stable|=126068
|infl|=162171
|wpoint|=562
|sides|=5222
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159903
|called|=6563
Found 4405 contexts for 87 functions. Top 5 functions:
820	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=518662.11MB, max=4345.46MB, minor=518584.04MB, major=14550.60MB, promoted=14472.53MB
    minor collections=247309  major collections=48 compactions=0


runtime: 00:05:22.300
vars: 171353, evals: 494452

|rho|=171353
|stable|=127519
|infl|=164579
|wpoint|=561
|sides|=5248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162498
|called|=6774
Found 4431 contexts for 87 functions. Top 5 functions:
846	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=530273.07MB, max=4345.46MB, minor=530194.07MB, major=14820.88MB, promoted=14741.88MB
    minor collections=252845  major collections=48 compactions=0


runtime: 00:05:32.395
vars: 173882, evals: 503961

|rho|=173882
|stable|=128923
|infl|=166921
|wpoint|=563
|sides|=5272
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165003
|called|=6965
Found 4455 contexts for 87 functions. Top 5 functions:
870	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=541719.93MB, max=4997.28MB, minor=541639.80MB, major=15091.05MB, promoted=15010.92MB
    minor collections=258303  major collections=48 compactions=0


runtime: 00:05:42.446
vars: 176722, evals: 514552

|rho|=176722
|stable|=130548
|infl|=169533
|wpoint|=561
|sides|=5300
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167815
|called|=7189
Found 4483 contexts for 87 functions. Top 5 functions:
898	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=553311.38MB, max=4997.28MB, minor=553230.98MB, major=15377.87MB, promoted=15297.46MB
    minor collections=263830  major collections=48 compactions=0


runtime: 00:05:52.461
vars: 179547, evals: 525080

|rho|=179547
|stable|=132158
|infl|=172146
|wpoint|=563
|sides|=5327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170613
|called|=7405
Found 4510 contexts for 87 functions. Top 5 functions:
925	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=565063.91MB, max=4997.28MB, minor=564981.20MB, major=15663.37MB, promoted=15580.67MB
    minor collections=269434  major collections=48 compactions=0


runtime: 00:06:02.472
vars: 182176, evals: 535005

|rho|=182176
|stable|=133617
|infl|=174565
|wpoint|=562
|sides|=5353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173216
|called|=7612
Found 4536 contexts for 87 functions. Top 5 functions:
951	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=576719.27MB, max=4997.28MB, minor=576636.06MB, major=15937.74MB, promoted=15854.53MB
    minor collections=274992  major collections=49 compactions=0


runtime: 00:06:12.490
vars: 184594, evals: 544201

|rho|=184594
|stable|=134955
|infl|=176801
|wpoint|=563
|sides|=5376
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175611
|called|=7804
Found 4559 contexts for 87 functions. Top 5 functions:
974	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=587758.25MB, max=4997.28MB, minor=587674.26MB, major=16193.39MB, promoted=16109.41MB
    minor collections=280255  major collections=49 compactions=0


runtime: 00:06:22.529
vars: 186963, evals: 552977

|rho|=186963
|stable|=136289
|infl|=178986
|wpoint|=563
|sides|=5399
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177957
|called|=8018
Found 4582 contexts for 87 functions. Top 5 functions:
997	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=598542.47MB, max=4997.28MB, minor=598457.52MB, major=16443.33MB, promoted=16358.39MB
    minor collections=285397  major collections=49 compactions=0


runtime: 00:06:32.612
vars: 189229, evals: 561469

|rho|=189229
|stable|=137565
|infl|=181076
|wpoint|=563
|sides|=5421
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180201
|called|=8157
Found 4604 contexts for 87 functions. Top 5 functions:
1019	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=609265.67MB, max=4997.28MB, minor=609179.49MB, major=16683.90MB, promoted=16597.72MB
    minor collections=290510  major collections=49 compactions=0


runtime: 00:06:42.670
vars: 191804, evals: 571119

|rho|=191804
|stable|=139015
|infl|=183451
|wpoint|=563
|sides|=5446
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182751
|called|=8359
Found 4629 contexts for 87 functions. Top 5 functions:
1044	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=620041.74MB, max=4997.28MB, minor=619955.34MB, major=16942.87MB, promoted=16856.47MB
    minor collections=295648  major collections=49 compactions=0


runtime: 00:06:52.681
vars: 194276, evals: 580441

|rho|=194276
|stable|=140407
|infl|=185731
|wpoint|=563
|sides|=5470
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185199
|called|=8557
Found 4653 contexts for 87 functions. Top 5 functions:
1068	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=630762.22MB, max=4997.28MB, minor=630675.67MB, major=17196.73MB, promoted=17110.18MB
    minor collections=300760  major collections=49 compactions=0


runtime: 00:07:02.700
vars: 196748, evals: 589527

|rho|=196748
|stable|=141844
|infl|=188011
|wpoint|=563
|sides|=5494
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187647
|called|=8758
Found 4677 contexts for 87 functions. Top 5 functions:
1092	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=641585.45MB, max=4997.28MB, minor=641498.54MB, major=17446.12MB, promoted=17359.20MB
    minor collections=305921  major collections=49 compactions=0


runtime: 00:07:12.711
vars: 198965, evals: 597911

|rho|=198965
|stable|=143071
|infl|=190050
|wpoint|=562
|sides|=5516
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189842
|called|=8916
Found 4699 contexts for 87 functions. Top 5 functions:
1114	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=652021.80MB, max=4997.28MB, minor=651934.28MB, major=17680.37MB, promoted=17592.85MB
    minor collections=310898  major collections=50 compactions=0


runtime: 00:07:22.734
vars: 201074, evals: 605961

|rho|=201074
|stable|=144235
|infl|=192001
|wpoint|=563
|sides|=5536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191931
|called|=9082
Found 4719 contexts for 87 functions. Top 5 functions:
1134	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=662236.36MB, max=4997.28MB, minor=662148.02MB, major=17909.04MB, promoted=17820.71MB
    minor collections=315768  major collections=50 compactions=0


runtime: 00:07:32.809
vars: 203188, evals: 613743

|rho|=203188
|stable|=145449
|infl|=193945
|wpoint|=562
|sides|=5557
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194024
|called|=9243
Found 4740 contexts for 87 functions. Top 5 functions:
1155	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=672277.83MB, max=4997.28MB, minor=672188.54MB, major=18132.65MB, promoted=18043.36MB
    minor collections=320556  major collections=50 compactions=0


runtime: 00:07:42.900
vars: 205194, evals: 621357

|rho|=205194
|stable|=146555
|infl|=195801
|wpoint|=563
|sides|=5576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196011
|called|=9408
Found 4759 contexts for 87 functions. Top 5 functions:
1174	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=682211.56MB, max=5746.87MB, minor=682121.18MB, major=18349.71MB, promoted=18259.34MB
    minor collections=325292  major collections=50 compactions=0


runtime: 00:07:52.978
vars: 207357, evals: 629361

|rho|=207357
|stable|=147773
|infl|=197796
|wpoint|=562
|sides|=5597
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198153
|called|=9562
Found 4780 contexts for 87 functions. Top 5 functions:
1195	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=691836.60MB, max=5746.87MB, minor=691745.71MB, major=18571.90MB, promoted=18481.00MB
    minor collections=329881  major collections=50 compactions=0


runtime: 00:08:02.997
vars: 209623, evals: 637955

|rho|=209623
|stable|=149049
|infl|=199886
|wpoint|=563
|sides|=5619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200397
|called|=9769
Found 4802 contexts for 87 functions. Top 5 functions:
1217	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=701751.45MB, max=5746.87MB, minor=701660.48MB, major=18805.60MB, promoted=18714.64MB
    minor collections=334609  major collections=50 compactions=0


runtime: 00:08:13.012
vars: 211786, evals: 646003

|rho|=211786
|stable|=150267
|infl|=201881
|wpoint|=563
|sides|=5640
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202539
|called|=9933
Found 4823 contexts for 87 functions. Top 5 functions:
1238	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=711472.91MB, max=5746.87MB, minor=711381.75MB, major=19029.82MB, promoted=18938.67MB
    minor collections=339245  major collections=50 compactions=0


runtime: 00:08:23.030
vars: 213879, evals: 653856

|rho|=213879
|stable|=151460
|infl|=203802
|wpoint|=561
|sides|=5661
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204610
|called|=10077
Found 4844 contexts for 87 functions. Top 5 functions:
1259	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=721326.18MB, max=5746.87MB, minor=721234.66MB, major=19249.40MB, promoted=19157.88MB
    minor collections=343943  major collections=50 compactions=0


runtime: 00:08:33.053
vars: 215906, evals: 661276

|rho|=215906
|stable|=152632
|infl|=205644
|wpoint|=563
|sides|=5680
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206619
|called|=10263
Found 4863 contexts for 87 functions. Top 5 functions:
1278	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=730813.11MB, max=5746.87MB, minor=730721.05MB, major=19462.75MB, promoted=19370.69MB
    minor collections=348467  major collections=51 compactions=0


runtime: 00:08:43.064
vars: 217812, evals: 668544

|rho|=217812
|stable|=153683
|infl|=207432
|wpoint|=561
|sides|=5699
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208506
|called|=10380
Found 4882 contexts for 87 functions. Top 5 functions:
1297	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=740325.01MB, max=5746.87MB, minor=740232.23MB, major=19670.01MB, promoted=19577.23MB
    minor collections=353002  major collections=51 compactions=0


runtime: 00:08:53.075
vars: 219717, evals: 675630

|rho|=219717
|stable|=154695
|infl|=209196
|wpoint|=563
|sides|=5717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210393
|called|=10527
Found 4900 contexts for 87 functions. Top 5 functions:
1315	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=749783.19MB, max=5746.87MB, minor=749689.50MB, major=19876.59MB, promoted=19782.91MB
    minor collections=357512  major collections=51 compactions=0


runtime: 00:09:03.138
vars: 221571, evals: 682616

|rho|=221571
|stable|=155777
|infl|=210906
|wpoint|=563
|sides|=5735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212229
|called|=10706
Found 4918 contexts for 87 functions. Top 5 functions:
1333	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=759188.28MB, max=5746.87MB, minor=759093.57MB, major=20077.15MB, promoted=19982.44MB
    minor collections=361996  major collections=51 compactions=0


runtime: 00:09:13.213
vars: 223322, evals: 689337

|rho|=223322
|stable|=156763
|infl|=212521
|wpoint|=562
|sides|=5752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213963
|called|=10803
Found 4935 contexts for 87 functions. Top 5 functions:
1350	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=768534.23MB, max=5746.87MB, minor=768438.42MB, major=20276.36MB, promoted=20180.55MB
    minor collections=366452  major collections=51 compactions=0


runtime: 00:09:23.268
vars: 225382, evals: 696958

|rho|=225382
|stable|=157923
|infl|=214421
|wpoint|=563
|sides|=5772
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216003
|called|=10967
Found 4955 contexts for 87 functions. Top 5 functions:
1370	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=777638.22MB, max=6608.90MB, minor=777542.11MB, major=20486.68MB, promoted=20390.56MB
    minor collections=370793  major collections=51 compactions=0


runtime: 00:09:33.282
vars: 227442, evals: 704574

|rho|=227442
|stable|=159083
|infl|=216321
|wpoint|=562
|sides|=5792
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218043
|called|=11123
Found 4975 contexts for 87 functions. Top 5 functions:
1390	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=786767.48MB, max=6608.90MB, minor=786671.30MB, major=20696.07MB, promoted=20599.90MB
    minor collections=375147  major collections=51 compactions=0


runtime: 00:09:43.293
vars: 229399, evals: 711952

|rho|=229399
|stable|=160185
|infl|=218126
|wpoint|=563
|sides|=5811
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219981
|called|=11315
Found 4994 contexts for 87 functions. Top 5 functions:
1409	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=795936.70MB, max=6608.90MB, minor=795840.39MB, major=20902.06MB, promoted=20805.75MB
    minor collections=379519  major collections=51 compactions=0


runtime: 00:09:53.308
vars: 231253, evals: 718971

|rho|=231253
|stable|=161229
|infl|=219836
|wpoint|=562
|sides|=5829
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221817
|called|=11418
Found 5012 contexts for 87 functions. Top 5 functions:
1427	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=805062.99MB, max=6608.90MB, minor=804966.41MB, major=21101.04MB, promoted=21004.45MB
    minor collections=383870  major collections=51 compactions=0


runtime: 00:10:03.318
vars: 233107, evals: 726007

|rho|=233107
|stable|=162273
|infl|=221546
|wpoint|=563
|sides|=5847
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223653
|called|=11573
Found 5030 contexts for 87 functions. Top 5 functions:
1445	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=814361.81MB, max=6608.90MB, minor=814264.76MB, major=21299.73MB, promoted=21202.69MB
    minor collections=388305  major collections=52 compactions=0


runtime: 00:10:13.337
vars: 234858, evals: 732467

|rho|=234858
|stable|=163259
|infl|=223161
|wpoint|=563
|sides|=5864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225387
|called|=11704
Found 5047 contexts for 87 functions. Top 5 functions:
1462	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=823064.84MB, max=6608.90MB, minor=822967.20MB, major=21488.06MB, promoted=21390.42MB
    minor collections=392455  major collections=52 compactions=0


runtime: 00:10:23.349
vars: 236609, evals: 738975

|rho|=236609
|stable|=164245
|infl|=224776
|wpoint|=563
|sides|=5881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227121
|called|=11839
Found 5064 contexts for 87 functions. Top 5 functions:
1479	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=831983.65MB, max=6608.90MB, minor=831885.28MB, major=21677.55MB, promoted=21579.18MB
    minor collections=396707  major collections=52 compactions=0


runtime: 00:10:33.359
vars: 238308, evals: 745357

|rho|=238308
|stable|=165224
|infl|=226335
|wpoint|=561
|sides|=5898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228803
|called|=11973
Found 5081 contexts for 87 functions. Top 5 functions:
1496	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=840857.35MB, max=6608.90MB, minor=840758.13MB, major=21862.68MB, promoted=21763.46MB
    minor collections=400938  major collections=52 compactions=0


runtime: 00:10:43.418
vars: 239986, evals: 751578

|rho|=239986
|stable|=166182
|infl|=227870
|wpoint|=562
|sides|=5914
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230465
|called|=12117
Found 5097 contexts for 87 functions. Top 5 functions:
1512	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=849648.78MB, max=6608.90MB, minor=849548.58MB, major=22046.99MB, promoted=21946.79MB
    minor collections=405130  major collections=52 compactions=0


runtime: 00:10:53.481
vars: 241568, evals: 757672

|rho|=241568
|stable|=167043
|infl|=229340
|wpoint|=561
|sides|=5930
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232030
|called|=12227
Found 5113 contexts for 87 functions. Top 5 functions:
1528	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=858381.52MB, max=6608.90MB, minor=858280.30MB, major=22228.29MB, promoted=22127.07MB
    minor collections=409293  major collections=52 compactions=0


runtime: 00:11:03.560
vars: 243201, evals: 763733

|rho|=243201
|stable|=167957
|infl|=230856
|wpoint|=563
|sides|=5945
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233649
|called|=12379
Found 5128 contexts for 87 functions. Top 5 functions:
1543	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=866842.93MB, max=6608.90MB, minor=866740.77MB, major=22406.61MB, promoted=22304.45MB
    minor collections=413328  major collections=52 compactions=0


runtime: 00:11:13.606
vars: 245111, evals: 770852

|rho|=245110
|stable|=169056
|infl|=232613
|wpoint|=561
|sides|=5964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235539
|called|=12497
Found 5147 contexts for 87 functions. Top 5 functions:
1562	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=875453.69MB, max=6608.90MB, minor=875351.51MB, major=22603.77MB, promoted=22501.59MB
    minor collections=417434  major collections=52 compactions=0


runtime: 00:11:23.621
vars: 246909, evals: 777687

|rho|=246909
|stable|=170045
|infl|=234276
|wpoint|=563
|sides|=5981
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237321
|called|=12652
Found 5164 contexts for 87 functions. Top 5 functions:
1579	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=883972.79MB, max=6608.90MB, minor=883870.55MB, major=22794.48MB, promoted=22692.25MB
    minor collections=421496  major collections=52 compactions=0


runtime: 00:11:33.632
vars: 248660, evals: 784249

|rho|=248660
|stable|=171031
|infl|=235891
|wpoint|=563
|sides|=5998
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239055
|called|=12811
Found 5181 contexts for 87 functions. Top 5 functions:
1596	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=892470.45MB, max=6608.90MB, minor=892368.11MB, major=22982.87MB, promoted=22880.52MB
    minor collections=425548  major collections=52 compactions=0


runtime: 00:11:43.642
vars: 250411, evals: 790648

|rho|=250411
|stable|=172062
|infl|=237506
|wpoint|=562
|sides|=6015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240789
|called|=12908
Found 5198 contexts for 87 functions. Top 5 functions:
1613	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=901002.96MB, max=6608.90MB, minor=900900.41MB, major=23169.18MB, promoted=23066.62MB
    minor collections=429617  major collections=52 compactions=0


runtime: 00:11:53.657
vars: 252059, evals: 797031

|rho|=252059
|stable|=172945
|infl|=239026
|wpoint|=563
|sides|=6031
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242421
|called|=13058
Found 5214 contexts for 87 functions. Top 5 functions:
1629	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=909748.75MB, max=6608.90MB, minor=909645.84MB, major=23352.53MB, promoted=23249.61MB
    minor collections=433787  major collections=52 compactions=0


runtime: 00:12:03.669
vars: 253707, evals: 802988

|rho|=253707
|stable|=173918
|infl|=240546
|wpoint|=563
|sides|=6047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244053
|called|=13165
Found 5230 contexts for 87 functions. Top 5 functions:
1645	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=918034.30MB, max=6608.90MB, minor=917930.88MB, major=23529.70MB, promoted=23426.29MB
    minor collections=437738  major collections=53 compactions=0


runtime: 00:12:13.687
vars: 255252, evals: 808790

|rho|=255252
|stable|=174788
|infl|=241971
|wpoint|=563
|sides|=6062
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245583
|called|=13285
Found 5245 contexts for 87 functions. Top 5 functions:
1660	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=926297.62MB, max=6608.90MB, minor=926193.58MB, major=23703.59MB, promoted=23599.55MB
    minor collections=441678  major collections=53 compactions=0


runtime: 00:12:23.701
vars: 256748, evals: 814460

|rho|=256748
|stable|=175609
|infl|=243345
|wpoint|=562
|sides|=6077
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247064
|called|=13404
Found 5260 contexts for 87 functions. Top 5 functions:
1675	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=934530.38MB, max=6608.90MB, minor=934425.65MB, major=23872.10MB, promoted=23767.38MB
    minor collections=445603  major collections=53 compactions=0


runtime: 00:12:33.712
vars: 258239, evals: 820103

|rho|=258239
|stable|=176425
|infl|=244726
|wpoint|=562
|sides|=6091
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248541
|called|=13514
Found 5274 contexts for 87 functions. Top 5 functions:
1689	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=942807.85MB, max=6608.90MB, minor=942702.28MB, major=24042.19MB, promoted=23936.61MB
    minor collections=449550  major collections=53 compactions=0


runtime: 00:12:43.751
vars: 259735, evals: 825651

|rho|=259735
|stable|=177291
|infl|=246100
|wpoint|=562
|sides|=6106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250022
|called|=13636
Found 5289 contexts for 87 functions. Top 5 functions:
1704	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=950995.41MB, max=6608.90MB, minor=950888.93MB, major=24204.64MB, promoted=24098.16MB
    minor collections=453454  major collections=53 compactions=0


runtime: 00:12:53.830
vars: 261177, evals: 831064

|rho|=261177
|stable|=178103
|infl|=247430
|wpoint|=562
|sides|=6120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251450
|called|=13750
Found 5303 contexts for 87 functions. Top 5 functions:
1718	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=959091.91MB, max=7600.24MB, minor=958984.45MB, major=24366.92MB, promoted=24259.46MB
    minor collections=457314  major collections=53 compactions=0


runtime: 00:13:03.900
vars: 262590, evals: 836427

|rho|=262590
|stable|=178886
|infl|=248730
|wpoint|=561
|sides|=6134
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252849
|called|=13860
Found 5317 contexts for 87 functions. Top 5 functions:
1732	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=967143.72MB, max=7600.24MB, minor=967031.00MB, major=24531.32MB, promoted=24418.61MB
    minor collections=461152  major collections=53 compactions=0


runtime: 00:13:13.976
vars: 264213, evals: 842372

|rho|=264213
|stable|=179834
|infl|=250236
|wpoint|=562
|sides|=6149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254457
|called|=13980
Found 5332 contexts for 87 functions. Top 5 functions:
1747	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=975192.83MB, max=7600.24MB, minor=975079.54MB, major=24703.19MB, promoted=24589.90MB
    minor collections=464990  major collections=53 compactions=0


runtime: 00:13:24.006
vars: 265964, evals: 848919

|rho|=265964
|stable|=180820
|infl|=251851
|wpoint|=563
|sides|=6166
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256191
|called|=14146
Found 5349 contexts for 87 functions. Top 5 functions:
1764	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=983342.33MB, max=7600.24MB, minor=983229.02MB, major=24884.13MB, promoted=24770.83MB
    minor collections=468876  major collections=53 compactions=0


runtime: 00:13:34.016
vars: 267612, evals: 855110

|rho|=267612
|stable|=181748
|infl|=253371
|wpoint|=563
|sides|=6182
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=257823
|called|=14245
Found 5365 contexts for 87 functions. Top 5 functions:
1780	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=991431.46MB, max=7600.24MB, minor=991318.10MB, major=25061.99MB, promoted=24948.63MB
    minor collections=472733  major collections=53 compactions=0


runtime: 00:13:44.031
vars: 269197, evals: 861146

|rho|=269197
|stable|=182613
|infl|=254823
|wpoint|=561
|sides|=6198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259392
|called|=14373
Found 5381 contexts for 87 functions. Top 5 functions:
1796	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=999565.28MB, max=7600.24MB, minor=999451.81MB, major=25233.69MB, promoted=25120.22MB
    minor collections=476612  major collections=53 compactions=0


runtime: 00:13:54.042
vars: 270805, evals: 867061

|rho|=270805
|stable|=183546
|infl|=256316
|wpoint|=563
|sides|=6213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=260985
|called|=14522
Found 5396 contexts for 87 functions. Top 5 functions:
1811	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1007656.67MB, max=7600.24MB, minor=1007543.01MB, major=25403.44MB, promoted=25289.78MB
    minor collections=480470  major collections=53 compactions=0


runtime: 00:14:04.053
vars: 272338, evals: 872791

|rho|=272338
|stable|=184404
|infl|=257700
|wpoint|=562
|sides|=6228
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262502
|called|=14639
Found 5411 contexts for 87 functions. Top 5 functions:
1826	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1015808.06MB, max=7600.24MB, minor=1015689.93MB, major=25575.52MB, promoted=25457.39MB
    minor collections=484356  major collections=53 compactions=0


runtime: 00:14:14.071
vars: 273792, evals: 878477

|rho|=273792
|stable|=185183
|infl|=259071
|wpoint|=562
|sides|=6242
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263943
|called|=14723
Found 5425 contexts for 87 functions. Top 5 functions:
1840	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1024075.13MB, max=7600.24MB, minor=1023956.59MB, major=25744.10MB, promoted=25625.55MB
    minor collections=488299  major collections=54 compactions=0


runtime: 00:14:24.094
vars: 275234, evals: 883837

|rho|=275234
|stable|=185995
|infl|=260401
|wpoint|=563
|sides|=6256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265371
|called|=14870
Found 5439 contexts for 87 functions. Top 5 functions:
1854	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1031873.93MB, max=7600.24MB, minor=1031754.89MB, major=25901.72MB, promoted=25782.68MB
    minor collections=492017  major collections=54 compactions=0


runtime: 00:14:34.125
vars: 276676, evals: 889196

|rho|=276676
|stable|=186806
|infl|=261731
|wpoint|=562
|sides|=6270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=266799
|called|=14947
Found 5453 contexts for 87 functions. Top 5 functions:
1868	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1039861.46MB, max=7600.24MB, minor=1039741.78MB, major=26060.14MB, promoted=25940.46MB
    minor collections=495826  major collections=54 compactions=0


runtime: 00:14:44.136
vars: 278118, evals: 894543

|rho|=278118
|stable|=187619
|infl|=263061
|wpoint|=562
|sides|=6284
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=268227
|called|=15062
Found 5467 contexts for 87 functions. Top 5 functions:
1882	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1047872.65MB, max=7600.24MB, minor=1047748.03MB, major=26223.45MB, promoted=26098.83MB
    minor collections=499644  major collections=54 compactions=0


runtime: 00:14:54.151
vars: 279560, evals: 899896

|rho|=279560
|stable|=188393
|infl|=264391
|wpoint|=563
|sides|=6298
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=269655
|called|=15175
Found 5481 contexts for 87 functions. Top 5 functions:
1896	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1056020.89MB, max=7600.24MB, minor=1055895.41MB, major=26388.46MB, promoted=26262.99MB
    minor collections=503529  major collections=54 compactions=0


runtime: 00:15:04.169
vars: 280953, evals: 905170

|rho|=280953
|stable|=189239
|infl|=265670
|wpoint|=562
|sides|=6312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=271034
|called|=15283
Found 5495 contexts for 87 functions. Top 5 functions:
1910	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1064138.78MB, max=7600.24MB, minor=1064012.39MB, major=26550.65MB, promoted=26424.26MB
    minor collections=507400  major collections=54 compactions=0


runtime: 00:15:14.241
vars: 282547, evals: 911287

|rho|=282547
|stable|=190113
|infl|=267146
|wpoint|=561
|sides|=6327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272613
|called|=15401
Found 5510 contexts for 87 functions. Top 5 functions:
1925	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1072514.51MB, max=7600.24MB, minor=1072378.92MB, major=26745.84MB, promoted=26610.25MB
    minor collections=511389  major collections=54 compactions=0


runtime: 00:15:24.315
vars: 284195, evals: 917463

|rho|=284195
|stable|=191041
|infl|=268666
|wpoint|=563
|sides|=6343
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=274245
|called|=15566
Found 5526 contexts for 87 functions. Top 5 functions:
1941	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1080980.62MB, max=7600.24MB, minor=1080844.74MB, major=26935.18MB, promoted=26799.30MB
    minor collections=515426  major collections=54 compactions=0


runtime: 00:15:34.406
vars: 285946, evals: 923923

|rho|=285946
|stable|=192027
|infl|=270281
|wpoint|=563
|sides|=6360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=275979
|called|=15674
Found 5543 contexts for 87 functions. Top 5 functions:
1958	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1089182.86MB, max=7600.24MB, minor=1089046.74MB, major=27126.28MB, promoted=26990.16MB
    minor collections=519337  major collections=54 compactions=0


runtime: 00:15:44.421
vars: 287903, evals: 931146

|rho|=287903
|stable|=193174
|infl|=272086
|wpoint|=563
|sides|=6379
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277917
|called|=15820
Found 5562 contexts for 87 functions. Top 5 functions:
1977	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1097540.36MB, max=7600.24MB, minor=1097404.10MB, major=27327.80MB, promoted=27191.54MB
    minor collections=523323  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:13238:3-13238:47!

runtime: 00:15:53.327
vars: 289549, evals: 937264

|rho|=289549
|stable|=194100
|infl|=273565
|wpoint|=562
|sides|=6395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279547
|called|=15985
Found 5578 contexts for 87 functions. Top 5 functions:
1993	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) 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 (4664) 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 (4587) 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 (10096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1104894.11MB, max=7600.23MB, minor=1104757.63MB, major=27501.80MB, promoted=27365.32MB
    minor collections=526829  major collections=54 compactions=0


Fatal error: exception Stack overflow
