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


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


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

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

runtime: 00:00:10.828
vars: 12437, evals: 22572

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

Memory statistics: total=21071.31MB, max=305.32MB, minor=21053.80MB, major=686.64MB, promoted=669.13MB
    minor collections=10049  major collections=20 compactions=0


runtime: 00:00:20.903
vars: 21290, evals: 39337

|rho|=21290
|stable|=16694
|infl|=21261
|wpoint|=59
|sides|=1628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18773
|called|=80
Found 871 contexts for 82 functions. Top 5 functions:
140	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
52	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
49	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
36	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=40284.73MB, max=464.37MB, minor=40263.07MB, major=1354.63MB, promoted=1332.97MB
    minor collections=19212  major collections=25 compactions=0


runtime: 00:00:30.979
vars: 31581, evals: 60091

|rho|=31581
|stable|=26914
|infl|=31558
|wpoint|=169
|sides|=2090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28157
|called|=74
Found 1314 contexts for 83 functions. Top 5 functions:
188	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
72	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
66	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=59323.81MB, max=614.13MB, minor=59297.87MB, major=1946.36MB, promoted=1920.42MB
    minor collections=28290  major collections=28 compactions=0


runtime: 00:00:41.035
vars: 39130, evals: 75076

|rho|=39130
|stable|=34177
|infl|=39104
|wpoint|=200
|sides|=2428
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35031
|called|=148
Found 1652 contexts for 83 functions. Top 5 functions:
234	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
90	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
90	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
60	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=78447.86MB, max=812.19MB, minor=78414.94MB, major=2583.38MB, promoted=2550.45MB
    minor collections=37407  major collections=31 compactions=0


runtime: 00:00:51.082
vars: 44790, evals: 88899

|rho|=44790
|stable|=39848
|infl|=44767
|wpoint|=290
|sides|=2688
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40170
|called|=45
Found 1912 contexts for 83 functions. Top 5 functions:
280	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=97322.27MB, max=934.02MB, minor=97287.78MB, major=3179.53MB, promoted=3145.05MB
    minor collections=46408  major collections=33 compactions=0


runtime: 00:01:01.146
vars: 55617, evals: 108566

|rho|=55617
|stable|=50265
|infl|=55585
|wpoint|=323
|sides|=3125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50129
|called|=187
Found 2345 contexts for 84 functions. Top 5 functions:
328	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
84	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=116788.14MB, max=1074.12MB, minor=116746.68MB, major=3727.85MB, promoted=3686.39MB
    minor collections=55687  major collections=35 compactions=0


runtime: 00:01:11.197
vars: 63070, evals: 122773

|rho|=63070
|stable|=57807
|infl|=63033
|wpoint|=348
|sides|=3486
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56862
|called|=127
Found 2706 contexts for 84 functions. Top 5 functions:
418	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
194	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
146	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=136115.30MB, max=1420.53MB, minor=136070.44MB, major=4316.94MB, promoted=4272.08MB
    minor collections=64902  major collections=36 compactions=0


runtime: 00:01:21.245
vars: 70585, evals: 138239

|rho|=70585
|stable|=65024
|infl|=70553
|wpoint|=444
|sides|=3744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63860
|called|=123
Found 2963 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
155	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=154898.34MB, max=1420.53MB, minor=154849.14MB, major=4912.21MB, promoted=4863.01MB
    minor collections=73857  major collections=37 compactions=0


runtime: 00:01:31.328
vars: 77862, evals: 151965

|rho|=77862
|stable|=72209
|infl|=77830
|wpoint|=471
|sides|=4090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70445
|called|=195
Found 3309 contexts for 84 functions. Top 5 functions:
466	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
178	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
120	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=174439.88MB, max=1633.61MB, minor=174384.77MB, major=5478.85MB, promoted=5423.74MB
    minor collections=83174  major collections=39 compactions=0


runtime: 00:01:41.371
vars: 83043, evals: 164843

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

Memory statistics: total=193673.76MB, max=1633.61MB, minor=193617.21MB, major=6066.47MB, promoted=6009.92MB
    minor collections=92345  major collections=40 compactions=0


runtime: 00:01:51.439
vars: 89217, evals: 186555

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

Memory statistics: total=213086.90MB, max=1878.66MB, minor=213029.63MB, major=6622.27MB, promoted=6565.00MB
    minor collections=101602  major collections=41 compactions=0


runtime: 00:02:01.542
vars: 94882, evals: 207773

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

Memory statistics: total=231994.67MB, max=2160.46MB, minor=231936.49MB, major=7161.79MB, promoted=7103.60MB
    minor collections=110618  major collections=41 compactions=0


runtime: 00:02:11.650
vars: 100054, evals: 227316

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

Memory statistics: total=250047.69MB, max=2484.53MB, minor=249988.50MB, major=7664.41MB, promoted=7605.22MB
    minor collections=119226  major collections=42 compactions=0


runtime: 00:02:21.665
vars: 105285, evals: 246778

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

Memory statistics: total=267989.61MB, max=2484.53MB, minor=267929.78MB, major=8166.66MB, promoted=8106.82MB
    minor collections=127782  major collections=43 compactions=0


runtime: 00:02:31.749
vars: 109871, evals: 264024

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

Memory statistics: total=284248.30MB, max=2857.21MB, minor=284187.68MB, major=8611.22MB, promoted=8550.60MB
    minor collections=135535  major collections=43 compactions=0


runtime: 00:02:41.760
vars: 114376, evals: 280974

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

Memory statistics: total=300403.59MB, max=2857.21MB, minor=300342.26MB, major=9053.08MB, promoted=8991.76MB
    minor collections=143238  major collections=44 compactions=0


runtime: 00:02:51.864
vars: 118594, evals: 296795

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

Memory statistics: total=315832.33MB, max=2857.21MB, minor=315770.12MB, major=9467.44MB, promoted=9405.24MB
    minor collections=150595  major collections=44 compactions=0


runtime: 00:03:01.875
vars: 122898, evals: 312768

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

Memory statistics: total=331267.53MB, max=2857.21MB, minor=331204.86MB, major=9880.74MB, promoted=9818.07MB
    minor collections=157955  major collections=45 compactions=0


runtime: 00:03:11.951
vars: 126503, evals: 326453

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

Memory statistics: total=345192.40MB, max=3285.79MB, minor=345128.79MB, major=10246.41MB, promoted=10182.80MB
    minor collections=164595  major collections=45 compactions=0


runtime: 00:03:22.026
vars: 130242, evals: 340423

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

Memory statistics: total=358899.88MB, max=3285.79MB, minor=358835.81MB, major=10610.54MB, promoted=10546.47MB
    minor collections=171131  major collections=45 compactions=0


runtime: 00:03:32.045
vars: 133919, evals: 354196

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

Memory statistics: total=372764.17MB, max=3285.79MB, minor=372697.47MB, major=10979.67MB, promoted=10912.96MB
    minor collections=177741  major collections=46 compactions=0


runtime: 00:03:42.085
vars: 137112, evals: 366255

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

Memory statistics: total=385457.85MB, max=3285.79MB, minor=385388.10MB, major=11303.57MB, promoted=11233.83MB
    minor collections=183793  major collections=46 compactions=0


runtime: 00:03:52.172
vars: 140408, evals: 378607

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

Memory statistics: total=398035.35MB, max=3778.66MB, minor=397962.90MB, major=11633.57MB, promoted=11561.12MB
    minor collections=189789  major collections=46 compactions=0


runtime: 00:04:02.199
vars: 143807, evals: 391257

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

Memory statistics: total=410907.57MB, max=3778.66MB, minor=410834.82MB, major=11967.43MB, promoted=11894.67MB
    minor collections=195927  major collections=46 compactions=0


runtime: 00:04:12.223
vars: 146848, evals: 402607

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

Memory statistics: total=422974.91MB, max=3778.66MB, minor=422901.48MB, major=12270.50MB, promoted=12197.07MB
    minor collections=201681  major collections=47 compactions=0


runtime: 00:04:22.286
vars: 149781, evals: 413514

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

Memory statistics: total=434877.31MB, max=3778.66MB, minor=434802.88MB, major=12562.72MB, promoted=12488.29MB
    minor collections=207357  major collections=47 compactions=0


runtime: 00:04:32.402
vars: 152768, evals: 424883

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

Memory statistics: total=446845.05MB, max=4345.46MB, minor=446770.11MB, major=12866.13MB, promoted=12791.19MB
    minor collections=213063  major collections=47 compactions=0


runtime: 00:04:42.413
vars: 155858, evals: 436357

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

Memory statistics: total=458773.30MB, max=4345.46MB, minor=458698.12MB, major=13170.13MB, promoted=13094.94MB
    minor collections=218751  major collections=47 compactions=0


runtime: 00:04:52.436
vars: 158639, evals: 446836

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

Memory statistics: total=470229.06MB, max=4345.46MB, minor=470153.29MB, major=13450.15MB, promoted=13374.39MB
    minor collections=224214  major collections=48 compactions=0


runtime: 00:05:02.452
vars: 161214, evals: 456535

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

Memory statistics: total=481117.19MB, max=4345.46MB, minor=481040.58MB, major=13712.68MB, promoted=13636.07MB
    minor collections=229405  major collections=48 compactions=0


runtime: 00:05:12.595
vars: 163789, evals: 466229

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

Memory statistics: total=492313.67MB, max=4345.46MB, minor=492236.01MB, major=13978.75MB, promoted=13901.09MB
    minor collections=234744  major collections=48 compactions=0


runtime: 00:05:22.684
vars: 166570, evals: 476607

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

Memory statistics: total=503182.58MB, max=4345.46MB, minor=503104.62MB, major=14253.98MB, promoted=14176.02MB
    minor collections=239926  major collections=48 compactions=0


runtime: 00:05:32.699
vars: 169273, evals: 486711

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

Memory statistics: total=514072.88MB, max=4345.46MB, minor=513994.71MB, major=14523.28MB, promoted=14445.11MB
    minor collections=245119  major collections=48 compactions=0


runtime: 00:05:42.718
vars: 171872, evals: 496385

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

Memory statistics: total=524892.70MB, max=4345.46MB, minor=524814.05MB, major=14784.37MB, promoted=14705.72MB
    minor collections=250279  major collections=49 compactions=0


runtime: 00:05:52.734
vars: 174295, evals: 505379

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

Memory statistics: total=535256.67MB, max=4345.46MB, minor=535177.27MB, major=15031.67MB, promoted=14952.27MB
    minor collections=255220  major collections=49 compactions=0


runtime: 00:06:02.825
vars: 176563, evals: 514094

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

Memory statistics: total=545636.97MB, max=4345.46MB, minor=545556.67MB, major=15276.11MB, promoted=15195.80MB
    minor collections=260170  major collections=49 compactions=0


runtime: 00:06:13.008
vars: 178827, evals: 522492

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

Memory statistics: total=555690.42MB, max=4997.28MB, minor=555606.98MB, major=15514.82MB, promoted=15431.37MB
    minor collections=264962  major collections=49 compactions=0


runtime: 00:06:23.079
vars: 181299, evals: 531753

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

Memory statistics: total=565419.60MB, max=4997.28MB, minor=565336.12MB, major=15758.41MB, promoted=15674.92MB
    minor collections=269602  major collections=49 compactions=0


runtime: 00:06:33.095
vars: 183690, evals: 540748

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

Memory statistics: total=575395.96MB, max=4997.28MB, minor=575312.31MB, major=16000.28MB, promoted=15916.63MB
    minor collections=274359  major collections=49 compactions=0


runtime: 00:06:43.106
vars: 186037, evals: 549402

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

Memory statistics: total=585345.71MB, max=4997.28MB, minor=585261.70MB, major=16238.16MB, promoted=16154.15MB
    minor collections=279103  major collections=49 compactions=0


runtime: 00:06:53.122
vars: 188200, evals: 557618

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

Memory statistics: total=595110.56MB, max=4997.28MB, minor=595025.91MB, major=16464.48MB, promoted=16379.84MB
    minor collections=283760  major collections=50 compactions=0


runtime: 00:07:03.137
vars: 190303, evals: 565472

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

Memory statistics: total=604627.16MB, max=4997.28MB, minor=604541.59MB, major=16681.30MB, promoted=16595.73MB
    minor collections=288297  major collections=50 compactions=0


runtime: 00:07:13.232
vars: 192423, evals: 573315

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

Memory statistics: total=614258.88MB, max=4997.28MB, minor=614172.42MB, major=16898.47MB, promoted=16812.00MB
    minor collections=292890  major collections=50 compactions=0


runtime: 00:07:23.380
vars: 194380, evals: 580871

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

Memory statistics: total=623852.67MB, max=4997.28MB, minor=623765.13MB, major=17110.93MB, promoted=17023.39MB
    minor collections=297464  major collections=50 compactions=0


runtime: 00:07:33.455
vars: 196646, evals: 589261

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

Memory statistics: total=633025.65MB, max=5746.87MB, minor=632937.99MB, major=17337.56MB, promoted=17249.90MB
    minor collections=301838  major collections=50 compactions=0


runtime: 00:07:43.466
vars: 198809, evals: 597469

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

Memory statistics: total=642349.28MB, max=5746.87MB, minor=642261.52MB, major=17555.81MB, promoted=17468.05MB
    minor collections=306284  major collections=50 compactions=0


runtime: 00:07:53.481
vars: 200972, evals: 605359

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

Memory statistics: total=651578.20MB, max=5746.87MB, minor=651490.18MB, major=17772.87MB, promoted=17684.85MB
    minor collections=310684  major collections=50 compactions=0


runtime: 00:08:03.497
vars: 203032, evals: 613149

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

Memory statistics: total=661068.44MB, max=5746.87MB, minor=660979.96MB, major=17987.67MB, promoted=17899.19MB
    minor collections=315210  major collections=51 compactions=0


runtime: 00:08:13.508
vars: 204989, evals: 620470

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

Memory statistics: total=670158.26MB, max=5746.87MB, minor=670069.16MB, major=18188.31MB, promoted=18099.21MB
    minor collections=319544  major collections=51 compactions=0


runtime: 00:08:23.520
vars: 206843, evals: 627484

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

Memory statistics: total=679031.89MB, max=5746.87MB, minor=678942.02MB, major=18389.26MB, promoted=18299.39MB
    minor collections=323775  major collections=51 compactions=0


runtime: 00:08:33.567
vars: 208697, evals: 634312

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

Memory statistics: total=687814.48MB, max=5746.87MB, minor=687723.75MB, major=18581.68MB, promoted=18490.94MB
    minor collections=327963  major collections=51 compactions=0


runtime: 00:08:43.686
vars: 210511, evals: 641163

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

Memory statistics: total=696844.42MB, max=5746.87MB, minor=696752.70MB, major=18774.70MB, promoted=18682.98MB
    minor collections=332268  major collections=51 compactions=0


runtime: 00:08:53.790
vars: 212405, evals: 648199

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

Memory statistics: total=705488.76MB, max=5746.87MB, minor=705396.29MB, major=18968.63MB, promoted=18876.16MB
    minor collections=336390  major collections=51 compactions=0


runtime: 00:09:03.825
vars: 214371, evals: 655763

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

Memory statistics: total=714120.42MB, max=5746.87MB, minor=714027.91MB, major=19175.73MB, promoted=19083.23MB
    minor collections=340506  major collections=51 compactions=0


runtime: 00:09:13.841
vars: 216319, evals: 662930

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

Memory statistics: total=722554.43MB, max=5746.87MB, minor=722461.84MB, major=19377.18MB, promoted=19284.59MB
    minor collections=344527  major collections=51 compactions=0


runtime: 00:09:23.855
vars: 218173, evals: 669944

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

Memory statistics: total=731158.24MB, max=5746.87MB, minor=731065.42MB, major=19572.00MB, promoted=19479.17MB
    minor collections=348630  major collections=51 compactions=0


runtime: 00:09:33.871
vars: 220022, evals: 676710

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

Memory statistics: total=739615.29MB, max=5746.87MB, minor=739522.10MB, major=19761.83MB, promoted=19668.64MB
    minor collections=352662  major collections=51 compactions=0


runtime: 00:09:43.886
vars: 221706, evals: 683191

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

Memory statistics: total=747909.49MB, max=5746.87MB, minor=747815.82MB, major=19940.51MB, promoted=19846.84MB
    minor collections=356618  major collections=52 compactions=0


runtime: 00:09:53.909
vars: 223426, evals: 689520

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

Memory statistics: total=756159.14MB, max=5746.87MB, minor=756064.81MB, major=20125.32MB, promoted=20030.99MB
    minor collections=360551  major collections=52 compactions=0


runtime: 00:10:03.921
vars: 224971, evals: 695513

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

Memory statistics: total=764149.28MB, max=5746.87MB, minor=764054.23MB, major=20293.87MB, promoted=20198.82MB
    minor collections=364361  major collections=52 compactions=0


runtime: 00:10:13.972
vars: 226673, evals: 701751

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

Memory statistics: total=772520.00MB, max=5746.87MB, minor=772424.10MB, major=20474.69MB, promoted=20378.78MB
    minor collections=368352  major collections=52 compactions=0


runtime: 00:10:24.076
vars: 228267, evals: 707821

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

Memory statistics: total=780751.50MB, max=6608.90MB, minor=780654.64MB, major=20651.85MB, promoted=20554.99MB
    minor collections=372277  major collections=52 compactions=0


runtime: 00:10:34.151
vars: 229817, evals: 713660

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

Memory statistics: total=788869.24MB, max=6608.90MB, minor=788771.39MB, major=20822.27MB, promoted=20724.42MB
    minor collections=376147  major collections=52 compactions=0


runtime: 00:10:44.242
vars: 231666, evals: 720603

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

Memory statistics: total=796914.23MB, max=6608.90MB, minor=796816.25MB, major=21010.93MB, promoted=20912.95MB
    minor collections=379983  major collections=52 compactions=0


runtime: 00:10:54.262
vars: 233426, evals: 727174

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

Memory statistics: total=804773.51MB, max=6608.90MB, minor=804675.49MB, major=21188.36MB, promoted=21090.34MB
    minor collections=383731  major collections=52 compactions=0


runtime: 00:11:04.277
vars: 235168, evals: 733514

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

Memory statistics: total=812589.89MB, max=6608.90MB, minor=812491.77MB, major=21364.10MB, promoted=21265.98MB
    minor collections=387458  major collections=52 compactions=0


runtime: 00:11:14.297
vars: 236816, evals: 739903

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

Memory statistics: total=820730.40MB, max=6608.90MB, minor=820632.09MB, major=21539.89MB, promoted=21441.58MB
    minor collections=391340  major collections=52 compactions=0


runtime: 00:11:24.312
vars: 238464, evals: 745933

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

Memory statistics: total=828597.86MB, max=6608.90MB, minor=828499.26MB, major=21713.45MB, promoted=21614.85MB
    minor collections=395091  major collections=52 compactions=0


runtime: 00:11:34.326
vars: 240009, evals: 751869

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

Memory statistics: total=836469.10MB, max=6608.90MB, minor=836370.07MB, major=21880.03MB, promoted=21781.00MB
    minor collections=398845  major collections=53 compactions=0


runtime: 00:11:44.357
vars: 241554, evals: 757566

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

Memory statistics: total=844195.83MB, max=6608.90MB, minor=844096.25MB, major=22044.97MB, promoted=21945.38MB
    minor collections=402529  major collections=53 compactions=0


runtime: 00:11:54.368
vars: 243099, evals: 763293

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

Memory statistics: total=852048.07MB, max=6608.90MB, minor=851947.80MB, major=22211.87MB, promoted=22111.61MB
    minor collections=406273  major collections=53 compactions=0


runtime: 00:12:04.383
vars: 244555, evals: 768866

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

Memory statistics: total=859802.18MB, max=6608.90MB, minor=859701.14MB, major=22376.03MB, promoted=22274.99MB
    minor collections=409970  major collections=53 compactions=0


runtime: 00:12:14.411
vars: 246086, evals: 774421

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

Memory statistics: total=867564.09MB, max=6608.90MB, minor=867462.18MB, major=22536.00MB, promoted=22434.09MB
    minor collections=413671  major collections=53 compactions=0


runtime: 00:12:24.534
vars: 247528, evals: 779901

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

Memory statistics: total=875459.12MB, max=6608.90MB, minor=875356.26MB, major=22699.59MB, promoted=22596.73MB
    minor collections=417435  major collections=53 compactions=0


runtime: 00:12:34.668
vars: 248927, evals: 785139

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

Memory statistics: total=883026.12MB, max=6608.90MB, minor=882922.36MB, major=22855.08MB, promoted=22751.32MB
    minor collections=421043  major collections=53 compactions=0


runtime: 00:12:44.767
vars: 250412, evals: 790753

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

Memory statistics: total=890481.48MB, max=6608.90MB, minor=890377.06MB, major=23018.34MB, promoted=22913.92MB
    minor collections=424598  major collections=53 compactions=0


runtime: 00:12:54.838
vars: 252004, evals: 796690

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

Memory statistics: total=897656.09MB, max=6608.90MB, minor=897551.65MB, major=23179.27MB, promoted=23074.83MB
    minor collections=428019  major collections=53 compactions=0


runtime: 00:13:04.865
vars: 253502, evals: 802333

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

Memory statistics: total=904661.01MB, max=6608.90MB, minor=904556.54MB, major=23341.03MB, promoted=23236.56MB
    minor collections=431359  major collections=53 compactions=0


runtime: 00:13:14.889
vars: 254998, evals: 807901

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

Memory statistics: total=911870.98MB, max=6608.90MB, minor=911766.43MB, major=23494.76MB, promoted=23390.21MB
    minor collections=434797  major collections=53 compactions=0


runtime: 00:13:24.904
vars: 256489, evals: 813410

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

Memory statistics: total=919074.59MB, max=6608.90MB, minor=918969.91MB, major=23648.46MB, promoted=23543.79MB
    minor collections=438232  major collections=53 compactions=0


runtime: 00:13:34.921
vars: 257882, evals: 818709

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

Memory statistics: total=926247.22MB, max=6608.90MB, minor=926142.32MB, major=23801.58MB, promoted=23696.67MB
    minor collections=441652  major collections=53 compactions=0


runtime: 00:13:44.939
vars: 259270, evals: 823963

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

Memory statistics: total=933424.63MB, max=6608.90MB, minor=933319.42MB, major=23954.80MB, promoted=23849.59MB
    minor collections=445074  major collections=53 compactions=0


runtime: 00:13:54.954
vars: 260661, evals: 829120

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

Memory statistics: total=940611.09MB, max=6608.90MB, minor=940505.47MB, major=24103.82MB, promoted=23998.19MB
    minor collections=448501  major collections=54 compactions=0


runtime: 00:14:04.977
vars: 261980, evals: 834117

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

Memory statistics: total=947672.58MB, max=6608.90MB, minor=947566.43MB, major=24247.05MB, promoted=24140.91MB
    minor collections=451868  major collections=54 compactions=0


runtime: 00:14:14.993
vars: 263287, evals: 839105

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

Memory statistics: total=954783.11MB, max=6608.90MB, minor=954672.17MB, major=24397.54MB, promoted=24286.60MB
    minor collections=455258  major collections=54 compactions=0


runtime: 00:14:25.004
vars: 264626, evals: 844123

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

Memory statistics: total=962028.12MB, max=6608.90MB, minor=961916.48MB, major=24544.03MB, promoted=24432.38MB
    minor collections=458713  major collections=54 compactions=0


runtime: 00:14:35.023
vars: 265965, evals: 848938

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

Memory statistics: total=969071.38MB, max=6608.90MB, minor=968958.97MB, major=24690.50MB, promoted=24578.09MB
    minor collections=462071  major collections=54 compactions=0


runtime: 00:14:45.087
vars: 267223, evals: 853794

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

Memory statistics: total=976270.95MB, max=7600.24MB, minor=976157.69MB, major=24833.91MB, promoted=24720.64MB
    minor collections=465503  major collections=54 compactions=0


runtime: 00:14:55.170
vars: 268540, evals: 858581

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

Memory statistics: total=983344.59MB, max=7600.24MB, minor=983230.42MB, major=24978.12MB, promoted=24863.95MB
    minor collections=468876  major collections=54 compactions=0

