./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.876
vars: 12680, evals: 22970

|rho|=12680
|stable|=7799
|infl|=12648
|wpoint|=35
|sides|=1254
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10910
|called|=99
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=21737.77MB, max=305.32MB, minor=21720.15MB, major=711.48MB, promoted=693.86MB
    minor collections=10368  major collections=19 compactions=0


runtime: 00:00:20.923
vars: 22068, evals: 40328

|rho|=22068
|stable|=17561
|infl|=22044
|wpoint|=68
|sides|=1698
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19408
|called|=75
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=41274.81MB, max=464.37MB, minor=41253.00MB, major=1396.84MB, promoted=1375.03MB
    minor collections=19685  major collections=25 compactions=0


runtime: 00:00:30.982
vars: 32077, evals: 60930

|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=60719.60MB, max=614.13MB, minor=60693.00MB, major=1984.55MB, promoted=1957.95MB
    minor collections=28956  major collections=28 compactions=0


runtime: 00:00:41.049
vars: 39674, evals: 76124

|rho|=39674
|stable|=34629
|infl|=39642
|wpoint|=200
|sides|=2453
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35525
|called|=188
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=80701.87MB, max=812.19MB, minor=80668.22MB, major=2626.82MB, promoted=2593.18MB
    minor collections=38482  major collections=30 compactions=0


runtime: 00:00:51.108
vars: 48205, evals: 93589

|rho|=48205
|stable|=42859
|infl|=48171
|wpoint|=300
|sides|=2777
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43413
|called|=194
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=100511.18MB, max=1074.12MB, minor=100475.07MB, major=3258.06MB, promoted=3221.96MB
    minor collections=47928  major collections=32 compactions=0


runtime: 00:01:01.155
vars: 56667, evals: 110163

|rho|=56667
|stable|=51389
|infl|=56630
|wpoint|=327
|sides|=3190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51050
|called|=136
Found 2411 contexts for 84 functions. Top 5 functions:
372	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
170	contexts for L:entry state of node_str_new (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=119914.26MB, max=1235.24MB, minor=119872.48MB, major=3792.10MB, promoted=3750.33MB
    minor collections=57179  major collections=34 compactions=0


runtime: 00:01:11.210
vars: 64292, evals: 125582

|rho|=64292
|stable|=59042
|infl|=64261
|wpoint|=350
|sides|=3504
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58045
|called|=100
Found 2725 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
102	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=140277.00MB, max=1420.53MB, minor=140232.01MB, major=4437.43MB, promoted=4392.43MB
    minor collections=66887  major collections=35 compactions=0


runtime: 00:01:21.257
vars: 71177, evals: 139810

|rho|=71177
|stable|=65616
|infl|=71145
|wpoint|=447
|sides|=3771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64397
|called|=147
Found 2991 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
216	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=159997.84MB, max=1420.53MB, minor=159946.31MB, major=5008.13MB, promoted=4956.61MB
    minor collections=76289  major collections=37 compactions=0


runtime: 00:01:31.292
vars: 78677, evals: 153411

|rho|=78677
|stable|=73078
|infl|=78627
|wpoint|=471
|sides|=4150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71143
|called|=141
Found 3370 contexts for 84 functions. Top 5 functions:
509	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
242	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=178972.49MB, max=1633.61MB, minor=178916.48MB, major=5565.96MB, promoted=5509.95MB
    minor collections=85335  major collections=38 compactions=0


runtime: 00:01:41.335
vars: 83334, evals: 166984

|rho|=83334
|stable|=77332
|infl|=83305
|wpoint|=558
|sides|=4327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75441
|called|=87
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=198854.82MB, max=1633.61MB, minor=198798.07MB, major=6168.03MB, promoted=6111.28MB
    minor collections=94816  major collections=39 compactions=0


runtime: 00:01:51.410
vars: 90452, evals: 191238

|rho|=90452
|stable|=81943
|infl|=89971
|wpoint|=563
|sides|=4462
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82383
|called|=517
Found 3645 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=219608.99MB, max=1878.66MB, minor=219551.28MB, major=6744.66MB, promoted=6686.95MB
    minor collections=104713  major collections=40 compactions=0


runtime: 00:02:01.505
vars: 96323, evals: 213249

|rho|=96323
|stable|=85249
|infl|=95386
|wpoint|=562
|sides|=4519
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88197
|called|=940
Found 3702 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=239729.08MB, max=2160.46MB, minor=239670.54MB, major=7306.63MB, promoted=7248.09MB
    minor collections=114307  major collections=41 compactions=0


runtime: 00:02:11.592
vars: 101473, evals: 232553

|rho|=101473
|stable|=88149
|infl|=100136
|wpoint|=562
|sides|=4569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93297
|called|=1337
Found 3752 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
167	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=257728.54MB, max=2484.53MB, minor=257669.18MB, major=7808.67MB, promoted=7749.31MB
    minor collections=122890  major collections=41 compactions=0


runtime: 00:02:21.660
vars: 106520, evals: 251400

|rho|=106520
|stable|=91036
|infl|=104791
|wpoint|=563
|sides|=4618
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98295
|called|=1732
Found 3801 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
216	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=275732.24MB, max=2484.53MB, minor=275671.96MB, major=8295.13MB, promoted=8234.85MB
    minor collections=131475  major collections=42 compactions=0


runtime: 00:02:31.710
vars: 111567, evals: 270320

|rho|=111567
|stable|=93878
|infl|=109446
|wpoint|=562
|sides|=4667
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103293
|called|=2124
Found 3850 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
265	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=293794.34MB, max=2857.21MB, minor=293733.42MB, major=8787.36MB, promoted=8726.44MB
    minor collections=140087  major collections=42 compactions=0


runtime: 00:02:41.753
vars: 115790, evals: 286131

|rho|=115790
|stable|=96256
|infl|=113341
|wpoint|=563
|sides|=4708
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107475
|called|=2482
Found 3891 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
306	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=309459.88MB, max=2857.21MB, minor=309398.01MB, major=9202.52MB, promoted=9140.65MB
    minor collections=147557  major collections=43 compactions=0


runtime: 00:02:51.828
vars: 120322, evals: 303121

|rho|=120322
|stable|=98808
|infl|=117521
|wpoint|=563
|sides|=4752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111963
|called|=2804
Found 3935 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
350	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=325968.84MB, max=2857.21MB, minor=325906.45MB, major=9647.80MB, promoted=9585.41MB
    minor collections=155429  major collections=43 compactions=0


runtime: 00:03:01.843
vars: 124393, evals: 318459

|rho|=124393
|stable|=101079
|infl|=121273
|wpoint|=561
|sides|=4792
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115994
|called|=3120
Found 3975 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
390	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=341496.48MB, max=2857.21MB, minor=341433.30MB, major=10055.61MB, promoted=9992.44MB
    minor collections=162833  major collections=44 compactions=0


runtime: 00:03:11.910
vars: 128187, evals: 332709

|rho|=128187
|stable|=103208
|infl|=124766
|wpoint|=561
|sides|=4829
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119751
|called|=3421
Found 4012 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
427	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=355942.23MB, max=3285.79MB, minor=355878.25MB, major=10431.79MB, promoted=10367.82MB
    minor collections=169721  major collections=44 compactions=0


runtime: 00:03:21.921
vars: 132324, evals: 348181

|rho|=132324
|stable|=105545
|infl|=128588
|wpoint|=561
|sides|=4869
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123848
|called|=3736
Found 4052 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
467	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=371537.27MB, max=3285.79MB, minor=371470.77MB, major=10841.09MB, promoted=10774.60MB
    minor collections=177158  major collections=45 compactions=0


runtime: 00:03:31.948
vars: 135875, evals: 361464

|rho|=135875
|stable|=107521
|infl|=131866
|wpoint|=563
|sides|=4903
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127365
|called|=4017
Found 4086 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
501	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=385539.90MB, max=3285.79MB, minor=385470.42MB, major=11199.16MB, promoted=11129.67MB
    minor collections=183834  major collections=45 compactions=0


runtime: 00:03:42.007
vars: 139480, evals: 374983

|rho|=139480
|stable|=109551
|infl|=135191
|wpoint|=562
|sides|=4938
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130935
|called|=4291
Found 4121 contexts for 87 functions. Top 5 functions:
536	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=399706.11MB, max=3778.66MB, minor=399635.79MB, major=11560.84MB, promoted=11490.51MB
    minor collections=190588  major collections=45 compactions=0


runtime: 00:03:52.026
vars: 143188, evals: 388760

|rho|=143188
|stable|=111684
|infl|=138578
|wpoint|=563
|sides|=4974
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134607
|called|=4611
Found 4157 contexts for 87 functions. Top 5 functions:
572	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=413860.20MB, max=3778.66MB, minor=413787.45MB, major=11926.85MB, promoted=11854.11MB
    minor collections=197337  major collections=45 compactions=0


runtime: 00:04:02.037
vars: 146484, evals: 401279

|rho|=146484
|stable|=113495
|infl|=141651
|wpoint|=563
|sides|=5006
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137871
|called|=4869
Found 4189 contexts for 87 functions. Top 5 functions:
604	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=427419.20MB, max=3778.66MB, minor=427345.68MB, major=12261.72MB, promoted=12188.20MB
    minor collections=203803  major collections=46 compactions=0


runtime: 00:04:12.104
vars: 149677, evals: 413125

|rho|=149677
|stable|=115338
|infl|=144596
|wpoint|=563
|sides|=5037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141033
|called|=5090
Found 4220 contexts for 87 functions. Top 5 functions:
635	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=440642.07MB, max=3778.66MB, minor=440567.46MB, major=12579.69MB, promoted=12505.08MB
    minor collections=210107  major collections=46 compactions=0


runtime: 00:04:22.159
vars: 152973, evals: 425496

|rho|=152973
|stable|=117149
|infl|=147636
|wpoint|=562
|sides|=5069
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144297
|called|=5337
Found 4252 contexts for 87 functions. Top 5 functions:
667	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=453603.92MB, max=4345.46MB, minor=453529.02MB, major=12911.36MB, promoted=12836.46MB
    minor collections=216288  major collections=46 compactions=0


runtime: 00:04:32.169
vars: 156372, evals: 438168

|rho|=156372
|stable|=119108
|infl|=150766
|wpoint|=563
|sides|=5102
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147663
|called|=5608
Found 4285 contexts for 87 functions. Top 5 functions:
700	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=467251.89MB, max=4345.46MB, minor=467176.56MB, major=13252.48MB, promoted=13177.15MB
    minor collections=222796  major collections=47 compactions=0


runtime: 00:04:42.180
vars: 159256, evals: 449245

|rho|=159256
|stable|=120687
|infl|=153431
|wpoint|=563
|sides|=5130
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150519
|called|=5851
Found 4313 contexts for 87 functions. Top 5 functions:
728	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=479742.90MB, max=4345.46MB, minor=479666.76MB, major=13557.02MB, promoted=13480.88MB
    minor collections=228752  major collections=47 compactions=0


runtime: 00:04:52.267
vars: 161974, evals: 459320

|rho|=161974
|stable|=122235
|infl|=155929
|wpoint|=561
|sides|=5157
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153210
|called|=6045
Found 4340 contexts for 87 functions. Top 5 functions:
755	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=491395.62MB, max=4345.46MB, minor=491318.48MB, major=13829.99MB, promoted=13752.85MB
    minor collections=234308  major collections=47 compactions=0


runtime: 00:05:02.346
vars: 164872, evals: 470145

|rho|=164872
|stable|=123873
|infl|=158605
|wpoint|=562
|sides|=5185
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156080
|called|=6269
Found 4368 contexts for 87 functions. Top 5 functions:
783	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=503307.88MB, max=4345.46MB, minor=503230.13MB, major=14120.11MB, promoted=14042.36MB
    minor collections=239988  major collections=47 compactions=0


runtime: 00:05:12.361
vars: 167859, evals: 481351

|rho|=167859
|stable|=125555
|infl|=161361
|wpoint|=561
|sides|=5214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159038
|called|=6498
Found 4397 contexts for 87 functions. Top 5 functions:
812	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=515493.62MB, max=4345.46MB, minor=515415.69MB, major=14422.93MB, promoted=14345.00MB
    minor collections=245799  major collections=47 compactions=0


runtime: 00:05:22.372
vars: 170711, evals: 492111

|rho|=170711
|stable|=127146
|infl|=163985
|wpoint|=561
|sides|=5242
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161861
|called|=6725
Found 4425 contexts for 87 functions. Top 5 functions:
840	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=527634.74MB, max=4345.46MB, minor=527556.30MB, major=14712.27MB, promoted=14633.83MB
    minor collections=251588  major collections=48 compactions=0


runtime: 00:05:32.382
vars: 173264, evals: 501642

|rho|=173264
|stable|=128575
|infl|=166351
|wpoint|=563
|sides|=5266
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164391
|called|=6917
Found 4449 contexts for 87 functions. Top 5 functions:
864	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=538803.67MB, max=4345.46MB, minor=538724.45MB, major=14975.34MB, promoted=14896.12MB
    minor collections=256914  major collections=48 compactions=0


runtime: 00:05:42.485
vars: 175839, evals: 511122

|rho|=175839
|stable|=130070
|infl|=168704
|wpoint|=563
|sides|=5291
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166941
|called|=7136
Found 4474 contexts for 87 functions. Top 5 functions:
889	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=550176.79MB, max=4345.46MB, minor=550096.54MB, major=15240.88MB, promoted=15160.63MB
    minor collections=262337  major collections=48 compactions=0


runtime: 00:05:52.604
vars: 178311, evals: 520562

|rho|=178311
|stable|=131417
|infl|=171006
|wpoint|=562
|sides|=5315
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169389
|called|=7308
Found 4498 contexts for 87 functions. Top 5 functions:
913	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=561356.91MB, max=4997.28MB, minor=561273.67MB, major=15505.04MB, promoted=15421.81MB
    minor collections=267666  major collections=48 compactions=0


runtime: 00:06:02.623
vars: 180116, evals: 527273

|rho|=180116
|stable|=132457
|infl|=172665
|wpoint|=562
|sides|=5333
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171176
|called|=7451
Found 4516 contexts for 87 functions. Top 5 functions:
931	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=568588.38MB, max=4997.28MB, minor=568505.10MB, major=15681.12MB, promoted=15597.84MB
    minor collections=271115  major collections=48 compactions=0


runtime: 00:06:12.634
vars: 182594, evals: 536555

|rho|=182594
|stable|=133855
|infl|=174950
|wpoint|=561
|sides|=5357
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173630
|called|=7644
Found 4540 contexts for 87 functions. Top 5 functions:
955	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=579116.45MB, max=4997.28MB, minor=579032.99MB, major=15936.66MB, promoted=15853.20MB
    minor collections=276135  major collections=48 compactions=0


runtime: 00:06:22.649
vars: 185212, evals: 546295

|rho|=185212
|stable|=135348
|infl|=177371
|wpoint|=563
|sides|=5382
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176223
|called|=7865
Found 4565 contexts for 87 functions. Top 5 functions:
980	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=590461.41MB, max=4997.28MB, minor=590377.51MB, major=16202.64MB, promoted=16118.74MB
    minor collections=281545  major collections=49 compactions=0


runtime: 00:06:32.664
vars: 187581, evals: 555173

|rho|=187581
|stable|=136682
|infl|=179556
|wpoint|=563
|sides|=5405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178569
|called|=8066
Found 4588 contexts for 87 functions. Top 5 functions:
1003	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=601166.74MB, max=4997.28MB, minor=601082.12MB, major=16449.82MB, promoted=16365.21MB
    minor collections=286649  major collections=49 compactions=0


runtime: 00:06:42.675
vars: 189847, evals: 563887

|rho|=189847
|stable|=137913
|infl|=181646
|wpoint|=562
|sides|=5427
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180813
|called|=8202
Found 4610 contexts for 87 functions. Top 5 functions:
1025	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=612014.90MB, max=4997.28MB, minor=611929.24MB, major=16696.52MB, promoted=16610.86MB
    minor collections=291822  major collections=49 compactions=0


runtime: 00:06:52.754
vars: 192113, evals: 572277

|rho|=192113
|stable|=139189
|infl|=183736
|wpoint|=563
|sides|=5449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183057
|called|=8410
Found 4632 contexts for 87 functions. Top 5 functions:
1047	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=622570.95MB, max=4997.28MB, minor=622484.19MB, major=16935.73MB, promoted=16848.96MB
    minor collections=296855  major collections=49 compactions=0


runtime: 00:07:02.829
vars: 194433, evals: 580930

|rho|=194433
|stable|=140519
|infl|=185870
|wpoint|=562
|sides|=5472
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185354
|called|=8563
Found 4655 contexts for 87 functions. Top 5 functions:
1070	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=632770.99MB, max=5746.87MB, minor=632683.64MB, major=17174.08MB, promoted=17086.73MB
    minor collections=301718  major collections=49 compactions=0


runtime: 00:07:12.840
vars: 196851, evals: 589916

|rho|=196851
|stable|=141902
|infl|=188106
|wpoint|=563
|sides|=5495
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187749
|called|=8749
Found 4678 contexts for 87 functions. Top 5 functions:
1093	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=642913.88MB, max=5746.87MB, minor=642826.45MB, major=17417.32MB, promoted=17329.89MB
    minor collections=306555  major collections=49 compactions=0


runtime: 00:07:22.855
vars: 199220, evals: 598917

|rho|=199220
|stable|=143191
|infl|=190291
|wpoint|=563
|sides|=5518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190095
|called|=8933
Found 4701 contexts for 87 functions. Top 5 functions:
1116	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=653638.91MB, max=5746.87MB, minor=653551.23MB, major=17666.57MB, promoted=17578.89MB
    minor collections=311669  major collections=49 compactions=0


runtime: 00:07:32.866
vars: 201486, evals: 607505

|rho|=201486
|stable|=144467
|infl|=192381
|wpoint|=561
|sides|=5540
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192339
|called|=9105
Found 4723 contexts for 87 functions. Top 5 functions:
1138	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=664218.58MB, max=5746.87MB, minor=664130.45MB, major=17905.24MB, promoted=17817.10MB
    minor collections=316714  major collections=50 compactions=0


runtime: 00:07:42.877
vars: 203649, evals: 615518

|rho|=203649
|stable|=145685
|infl|=194376
|wpoint|=562
|sides|=5561
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194481
|called|=9275
Found 4744 contexts for 87 functions. Top 5 functions:
1159	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=674286.79MB, max=5746.87MB, minor=674197.96MB, major=18134.08MB, promoted=18045.25MB
    minor collections=321515  major collections=50 compactions=0


runtime: 00:07:52.892
vars: 205709, evals: 623238

|rho|=205709
|stable|=146845
|infl|=196276
|wpoint|=562
|sides|=5581
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196521
|called|=9436
Found 4764 contexts for 87 functions. Top 5 functions:
1179	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=684207.81MB, max=5746.87MB, minor=684118.10MB, major=18354.02MB, promoted=18264.30MB
    minor collections=326245  major collections=50 compactions=0


runtime: 00:08:02.947
vars: 207697, evals: 630695

|rho|=207697
|stable|=147978
|infl|=198102
|wpoint|=561
|sides|=5601
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198489
|called|=9595
Found 4784 contexts for 87 functions. Top 5 functions:
1199	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=693970.59MB, max=5746.87MB, minor=693879.88MB, major=18566.80MB, promoted=18476.09MB
    minor collections=330900  major collections=50 compactions=0


runtime: 00:08:13.066
vars: 209623, evals: 637999

|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|=9760
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=703696.52MB, max=5746.87MB, minor=703604.71MB, major=18780.63MB, promoted=18688.82MB
    minor collections=335537  major collections=50 compactions=0


runtime: 00:08:23.129
vars: 211814, evals: 646132

|rho|=211814
|stable|=150295
|infl|=201898
|wpoint|=561
|sides|=5641
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202566
|called|=9916
Found 4824 contexts for 87 functions. Top 5 functions:
1239	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=713091.89MB, max=5746.87MB, minor=712999.91MB, major=19003.48MB, promoted=18911.50MB
    minor collections=340017  major collections=50 compactions=0


runtime: 00:08:33.139
vars: 214050, evals: 654325

|rho|=214049
|stable|=151585
|infl|=203930
|wpoint|=562
|sides|=5662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204780
|called|=10120
Found 4845 contexts for 87 functions. Top 5 functions:
1260	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=722749.11MB, max=5746.87MB, minor=722657.04MB, major=19227.96MB, promoted=19135.89MB
    minor collections=344622  major collections=50 compactions=0


runtime: 00:08:43.150
vars: 216112, evals: 662273

|rho|=216112
|stable|=152703
|infl|=205871
|wpoint|=563
|sides|=5682
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206823
|called|=10274
Found 4865 contexts for 87 functions. Top 5 functions:
1280	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=732485.15MB, max=5746.87MB, minor=732392.88MB, major=19451.67MB, promoted=19359.40MB
    minor collections=349265  major collections=50 compactions=0


runtime: 00:08:53.162
vars: 218212, evals: 670076

|rho|=218212
|stable|=153903
|infl|=207800
|wpoint|=561
|sides|=5703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208902
|called|=10412
Found 4886 contexts for 87 functions. Top 5 functions:
1301	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=742377.05MB, max=5746.87MB, minor=742284.38MB, major=19674.11MB, promoted=19581.43MB
    minor collections=353981  major collections=50 compactions=0


runtime: 00:09:03.176
vars: 220129, evals: 677278

|rho|=220129
|stable|=154965
|infl|=209576
|wpoint|=562
|sides|=5721
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210801
|called|=10556
Found 4904 contexts for 87 functions. Top 5 functions:
1319	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=751762.05MB, max=5746.87MB, minor=751668.79MB, major=19882.98MB, promoted=19789.72MB
    minor collections=358457  major collections=51 compactions=0


runtime: 00:09:13.199
vars: 221934, evals: 684001

|rho|=221934
|stable|=156005
|infl|=211236
|wpoint|=561
|sides|=5739
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212588
|called|=10697
Found 4922 contexts for 87 functions. Top 5 functions:
1337	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=760684.57MB, max=5746.87MB, minor=760590.61MB, major=20074.39MB, promoted=19980.43MB
    minor collections=362711  major collections=51 compactions=0


runtime: 00:09:23.211
vars: 223734, evals: 690779

|rho|=223734
|stable|=156995
|infl|=212901
|wpoint|=563
|sides|=5756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214371
|called|=10838
Found 4939 contexts for 87 functions. Top 5 functions:
1354	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=769796.18MB, max=5746.87MB, minor=769701.32MB, major=20269.31MB, promoted=20174.45MB
    minor collections=367055  major collections=51 compactions=0


runtime: 00:09:33.253
vars: 225493, evals: 697451

|rho|=225493
|stable|=157989
|infl|=214516
|wpoint|=561
|sides|=5773
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216113
|called|=10977
Found 4956 contexts for 87 functions. Top 5 functions:
1371	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=778935.01MB, max=5746.87MB, minor=778839.16MB, major=20462.74MB, promoted=20366.89MB
    minor collections=371413  major collections=51 compactions=0


runtime: 00:09:43.344
vars: 227258, evals: 704025

|rho|=227258
|stable|=158988
|infl|=216140
|wpoint|=561
|sides|=5791
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217859
|called|=11117
Found 4974 contexts for 87 functions. Top 5 functions:
1389	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=788016.88MB, max=6608.90MB, minor=787919.95MB, major=20656.68MB, promoted=20559.76MB
    minor collections=375743  major collections=51 compactions=0


runtime: 00:09:53.447
vars: 229193, evals: 711183

|rho|=229193
|stable|=160069
|infl|=217936
|wpoint|=563
|sides|=5809
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219777
|called|=11261
Found 4992 contexts for 87 functions. Top 5 functions:
1407	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=796806.66MB, max=6608.90MB, minor=796709.33MB, major=20860.98MB, promoted=20763.64MB
    minor collections=379934  major collections=51 compactions=0


runtime: 00:10:03.462
vars: 231047, evals: 718243

|rho|=231047
|stable|=161113
|infl|=219646
|wpoint|=563
|sides|=5827
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221613
|called|=11432
Found 5010 contexts for 87 functions. Top 5 functions:
1425	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=805283.73MB, max=6608.90MB, minor=805186.36MB, major=21055.86MB, promoted=20958.49MB
    minor collections=383976  major collections=51 compactions=0


runtime: 00:10:13.477
vars: 233004, evals: 725577

|rho|=233004
|stable|=162215
|infl|=221451
|wpoint|=563
|sides|=5846
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223551
|called|=11590
Found 5029 contexts for 87 functions. Top 5 functions:
1444	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=814442.63MB, max=6608.90MB, minor=814345.14MB, major=21261.37MB, promoted=21163.88MB
    minor collections=388343  major collections=51 compactions=0


runtime: 00:10:23.488
vars: 234961, evals: 732736

|rho|=234961
|stable|=163362
|infl|=223256
|wpoint|=563
|sides|=5865
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225489
|called|=11709
Found 5048 contexts for 87 functions. Top 5 functions:
1463	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=823647.47MB, max=6608.90MB, minor=823549.74MB, major=21461.61MB, promoted=21363.88MB
    minor collections=392733  major collections=51 compactions=0


runtime: 00:10:33.498
vars: 236815, evals: 739684

|rho|=236815
|stable|=164406
|infl|=224966
|wpoint|=563
|sides|=5883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227325
|called|=11853
Found 5066 contexts for 87 functions. Top 5 functions:
1481	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=832837.50MB, max=6608.90MB, minor=832739.37MB, major=21658.67MB, promoted=21560.55MB
    minor collections=397115  major collections=51 compactions=0


runtime: 00:10:43.509
vars: 238524, evals: 746153

|rho|=238523
|stable|=165349
|infl|=226537
|wpoint|=561
|sides|=5900
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229016
|called|=11986
Found 5083 contexts for 87 functions. Top 5 functions:
1498	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=841651.12MB, max=6608.90MB, minor=841552.46MB, major=21848.24MB, promoted=21749.57MB
    minor collections=401318  major collections=52 compactions=0


runtime: 00:10:53.525
vars: 240214, evals: 752539

|rho|=240214
|stable|=166275
|infl|=228101
|wpoint|=563
|sides|=5916
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230691
|called|=12117
Found 5099 contexts for 87 functions. Top 5 functions:
1514	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=850424.15MB, max=6608.90MB, minor=850324.80MB, major=22035.80MB, promoted=21936.45MB
    minor collections=405501  major collections=52 compactions=0


runtime: 00:11:03.539
vars: 241902, evals: 758856

|rho|=241902
|stable|=167243
|infl|=229648
|wpoint|=561
|sides|=5933
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232362
|called|=12253
Found 5116 contexts for 87 functions. Top 5 functions:
1531	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=859271.06MB, max=6608.90MB, minor=859170.87MB, major=22216.93MB, promoted=22116.75MB
    minor collections=409719  major collections=52 compactions=0


runtime: 00:11:13.570
vars: 243516, evals: 764998

|rho|=243516
|stable|=168136
|infl|=231141
|wpoint|=561
|sides|=5948
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233960
|called|=12374
Found 5131 contexts for 87 functions. Top 5 functions:
1546	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=868018.70MB, max=6608.90MB, minor=867917.56MB, major=22395.74MB, promoted=22294.60MB
    minor collections=413890  major collections=52 compactions=0


runtime: 00:11:23.641
vars: 245158, evals: 771070

|rho|=245158
|stable|=169059
|infl|=232661
|wpoint|=563
|sides|=5964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235587
|called|=12501
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=876685.40MB, max=6608.90MB, minor=876583.24MB, major=22576.65MB, promoted=22474.48MB
    minor collections=418022  major collections=52 compactions=0


runtime: 00:11:33.740
vars: 246709, evals: 776964

|rho|=246709
|stable|=169935
|infl|=234086
|wpoint|=561
|sides|=5979
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237122
|called|=12623
Found 5162 contexts for 87 functions. Top 5 functions:
1577	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=885243.48MB, max=6608.90MB, minor=885140.27MB, major=22749.47MB, promoted=22646.25MB
    minor collections=422102  major collections=52 compactions=0


runtime: 00:11:43.811
vars: 248454, evals: 783362

|rho|=248454
|stable|=170915
|infl|=235701
|wpoint|=563
|sides|=5996
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238851
|called|=12795
Found 5179 contexts for 87 functions. Top 5 functions:
1594	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=893443.00MB, max=6608.90MB, minor=893339.35MB, major=22932.04MB, promoted=22828.38MB
    minor collections=426012  major collections=52 compactions=0


runtime: 00:11:53.827
vars: 250308, evals: 790204

|rho|=250308
|stable|=171961
|infl|=237411
|wpoint|=562
|sides|=6014
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240687
|called|=12898
Found 5197 contexts for 87 functions. Top 5 functions:
1612	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=901888.07MB, max=6608.90MB, minor=901784.39MB, major=23119.02MB, promoted=23015.34MB
    minor collections=430039  major collections=52 compactions=0


runtime: 00:12:03.837
vars: 252036, evals: 796738

|rho|=252035
|stable|=172966
|infl|=238985
|wpoint|=562
|sides|=6031
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242397
|called|=13051
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=910330.76MB, max=6608.90MB, minor=910227.01MB, major=23304.77MB, promoted=23201.02MB
    minor collections=434065  major collections=52 compactions=0


runtime: 00:12:13.848
vars: 253707, evals: 803067

|rho|=253707
|stable|=173835
|infl|=240546
|wpoint|=563
|sides|=6047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244053
|called|=13167
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=918686.35MB, max=6608.90MB, minor=918582.47MB, major=23488.50MB, promoted=23384.62MB
    minor collections=438049  major collections=52 compactions=0


runtime: 00:12:23.863
vars: 255355, evals: 809281

|rho|=255355
|stable|=174801
|infl|=242066
|wpoint|=563
|sides|=6063
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245685
|called|=13293
Found 5246 contexts for 87 functions. Top 5 functions:
1661	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=927118.09MB, max=6608.90MB, minor=927013.96MB, major=23666.05MB, promoted=23561.91MB
    minor collections=442069  major collections=52 compactions=0


runtime: 00:12:33.874
vars: 257003, evals: 815400

|rho|=257003
|stable|=175729
|infl|=243586
|wpoint|=563
|sides|=6079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247317
|called|=13435
Found 5262 contexts for 87 functions. Top 5 functions:
1677	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=935640.27MB, max=6608.90MB, minor=935535.74MB, major=23844.24MB, promoted=23739.71MB
    minor collections=446133  major collections=52 compactions=0


runtime: 00:12:43.894
vars: 258548, evals: 821142

|rho|=258548
|stable|=176644
|infl|=245011
|wpoint|=562
|sides|=6094
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248847
|called|=13540
Found 5277 contexts for 87 functions. Top 5 functions:
1692	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=943810.17MB, max=6608.90MB, minor=943705.14MB, major=24013.47MB, promoted=23908.44MB
    minor collections=450029  major collections=53 compactions=0


runtime: 00:12:53.908
vars: 260036, evals: 826798

|rho|=260036
|stable|=177457
|infl|=246374
|wpoint|=561
|sides|=6109
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250320
|called|=13662
Found 5292 contexts for 87 functions. Top 5 functions:
1707	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=951956.87MB, max=6608.90MB, minor=951851.24MB, major=24181.83MB, promoted=24076.20MB
    minor collections=453913  major collections=53 compactions=0


runtime: 00:13:03.919
vars: 261535, evals: 832441

|rho|=261535
|stable|=178281
|infl|=247766
|wpoint|=563
|sides|=6123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251805
|called|=13773
Found 5306 contexts for 87 functions. Top 5 functions:
1721	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=960154.92MB, max=6608.90MB, minor=960048.53MB, major=24350.39MB, promoted=24244.01MB
    minor collections=457822  major collections=53 compactions=0


runtime: 00:13:13.934
vars: 262977, evals: 837947

|rho|=262977
|stable|=179093
|infl|=249096
|wpoint|=562
|sides|=6137
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253233
|called|=13882
Found 5320 contexts for 87 functions. Top 5 functions:
1735	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=968309.70MB, max=6608.90MB, minor=968198.29MB, major=24517.23MB, promoted=24405.82MB
    minor collections=461709  major collections=53 compactions=0


runtime: 00:13:23.977
vars: 264522, evals: 843468

|rho|=264522
|stable|=180008
|infl|=250499
|wpoint|=563
|sides|=6152
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254763
|called|=14024
Found 5335 contexts for 87 functions. Top 5 functions:
1750	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=976482.68MB, max=6608.90MB, minor=976370.31MB, major=24684.03MB, promoted=24571.65MB
    minor collections=465606  major collections=53 compactions=0


runtime: 00:13:34.048
vars: 265964, evals: 848922

|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|=14118
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=984698.70MB, max=7600.24MB, minor=984585.32MB, major=24849.61MB, promoted=24736.23MB
    minor collections=469523  major collections=53 compactions=0


runtime: 00:13:44.123
vars: 267390, evals: 854259

|rho|=267389
|stable|=181615
|infl|=253140
|wpoint|=562
|sides|=6180
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=257602
|called|=14250
Found 5363 contexts for 87 functions. Top 5 functions:
1778	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=992849.74MB, max=7600.24MB, minor=992735.33MB, major=25011.54MB, promoted=24897.13MB
    minor collections=473409  major collections=53 compactions=0


runtime: 00:13:54.174
vars: 268848, evals: 859905

|rho|=268848
|stable|=182399
|infl|=254511
|wpoint|=563
|sides|=6194
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259047
|called|=14376
Found 5377 contexts for 87 functions. Top 5 functions:
1792	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=1000654.22MB, max=7600.24MB, minor=1000539.17MB, major=25176.74MB, promoted=25061.69MB
    minor collections=477131  major collections=53 compactions=0


runtime: 00:14:04.184
vars: 270599, evals: 866242

|rho|=270599
|stable|=183430
|infl|=256101
|wpoint|=563
|sides|=6211
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=260781
|called|=14499
Found 5394 contexts for 87 functions. Top 5 functions:
1809	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=1008638.29MB, max=7600.24MB, minor=1008523.23MB, major=25353.05MB, promoted=25237.99MB
    minor collections=480938  major collections=53 compactions=0


runtime: 00:14:14.195
vars: 272144, evals: 872301

|rho|=272144
|stable|=184255
|infl|=257551
|wpoint|=563
|sides|=6226
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262311
|called|=14615
Found 5409 contexts for 87 functions. Top 5 functions:
1824	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=1016564.47MB, max=7600.24MB, minor=1016445.18MB, major=25529.08MB, promoted=25409.79MB
    minor collections=484716  major collections=53 compactions=0


runtime: 00:14:24.213
vars: 273792, evals: 878258

|rho|=273792
|stable|=185228
|infl|=259071
|wpoint|=563
|sides|=6242
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263943
|called|=14724
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=1024628.45MB, max=7600.24MB, minor=1024509.08MB, major=25701.15MB, promoted=25581.77MB
    minor collections=488562  major collections=53 compactions=0


runtime: 00:14:34.228
vars: 275337, evals: 884223

|rho|=275337
|stable|=186053
|infl|=260496
|wpoint|=562
|sides|=6257
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265473
|called|=14843
Found 5440 contexts for 87 functions. Top 5 functions:
1855	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=1032950.73MB, max=7600.24MB, minor=1032831.20MB, major=25873.88MB, promoted=25754.35MB
    minor collections=492530  major collections=53 compactions=0


runtime: 00:14:44.239
vars: 276922, evals: 890096

|rho|=276922
|stable|=186963
|infl|=261949
|wpoint|=561
|sides|=6273
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=267042
|called|=14973
Found 5456 contexts for 87 functions. Top 5 functions:
1871	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=1041277.83MB, max=7600.24MB, minor=1041158.02MB, major=26043.84MB, promoted=25924.03MB
    minor collections=496500  major collections=53 compactions=0


runtime: 00:14:54.255
vars: 278481, evals: 895909

|rho|=278481
|stable|=187847
|infl|=263390
|wpoint|=562
|sides|=6288
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=268586
|called|=15092
Found 5471 contexts for 87 functions. Top 5 functions:
1886	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=1049738.29MB, max=7600.24MB, minor=1049613.91MB, major=26218.03MB, promoted=26093.64MB
    minor collections=500533  major collections=53 compactions=0

