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

runtime: 00:00:10.812
vars: 12452, evals: 22607

|rho|=12452
|stable|=7552
|infl|=12424
|wpoint|=35
|sides|=1251
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10688
|called|=110
Found 495 contexts for 82 functions. Top 5 functions:
94	contexts for L:entry state of lex_return (10099) 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 (10088) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
25	contexts for L:entry state of yyalloc (7669) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
20	contexts for L:entry state of yy_load_buffer_state (10083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1

Memory statistics: total=21491.47MB, max=305.32MB, minor=21473.85MB, major=738.71MB, promoted=721.10MB
    minor collections=10251  major collections=20 compactions=0


runtime: 00:00:20.880
vars: 22041, evals: 40213

|rho|=22041
|stable|=17516
|infl|=22013
|wpoint|=66
|sides|=1695
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19388
|called|=80
Found 939 contexts for 82 functions. Top 5 functions:
140	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=41251.22MB, max=534.03MB, minor=41229.42MB, major=1457.24MB, promoted=1435.43MB
    minor collections=19674  major collections=25 compactions=0


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

|rho|=32077
|stable|=27124
|infl|=32051
|wpoint|=176
|sides|=2105
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28623
|called|=117
Found 1330 contexts for 83 functions. Top 5 functions:
188	contexts for L:entry state of lex_return (10099) 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 (4656) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
67	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=61152.24MB, max=706.25MB, minor=61125.65MB, major=2132.50MB, promoted=2105.91MB
    minor collections=29163  major collections=28 compactions=0


runtime: 00:00:40.999
vars: 39644, evals: 75892

|rho|=39644
|stable|=34596
|infl|=39616
|wpoint|=202
|sides|=2452
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35497
|called|=192
Found 1677 contexts for 83 functions. Top 5 functions:
234	contexts for L:entry state of lex_return (10099) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
97	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=80636.14MB, max=934.02MB, minor=80603.05MB, major=2775.22MB, promoted=2742.13MB
    minor collections=38452  major collections=31 compactions=0


runtime: 00:00:51.062
vars: 47765, evals: 92608

|rho|=47765
|stable|=42324
|infl|=47713
|wpoint|=298
|sides|=2757
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43013
|called|=149
Found 1978 contexts for 84 functions. Top 5 functions:
280	contexts for L:entry state of lex_return (10099) 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 (4656) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
103	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=100358.54MB, max=1074.12MB, minor=100323.23MB, major=3434.04MB, promoted=3398.73MB
    minor collections=47856  major collections=33 compactions=0


runtime: 00:01:01.126
vars: 56667, evals: 110178

|rho|=56667
|stable|=51404
|infl|=56630
|wpoint|=326
|sides|=3190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51050
|called|=128
Found 2411 contexts for 84 functions. Top 5 functions:
372	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
170	contexts for L:entry state of node_str_new (4656) 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 (10088) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
84	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=120499.28MB, max=1235.24MB, minor=120457.53MB, major=4015.95MB, promoted=3974.21MB
    minor collections=57458  major collections=35 compactions=0


runtime: 00:01:11.186
vars: 64071, evals: 125157

|rho|=64071
|stable|=58829
|infl|=64033
|wpoint|=348
|sides|=3501
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57831
|called|=105
Found 2722 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
196	contexts for L:entry state of node_str_new (4656) 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 (10088) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
101	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=140215.48MB, max=1420.53MB, minor=140170.48MB, major=4674.59MB, promoted=4629.59MB
    minor collections=66859  major collections=36 compactions=0


runtime: 00:01:21.249
vars: 71177, evals: 139569

|rho|=71177
|stable|=65616
|infl|=71145
|wpoint|=446
|sides|=3771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64397
|called|=161
Found 2991 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10099) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
108	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=159734.19MB, max=1633.61MB, minor=159682.84MB, major=5284.41MB, promoted=5233.06MB
    minor collections=76164  major collections=37 compactions=0


runtime: 00:01:31.317
vars: 78755, evals: 153627

|rho|=78755
|stable|=73156
|infl|=78705
|wpoint|=472
|sides|=4153
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71215
|called|=142
Found 3373 contexts for 84 functions. Top 5 functions:
509	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
242	contexts for L:entry state of node_str_new (4656) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
120	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=179506.01MB, max=1633.61MB, minor=179450.00MB, major=5893.14MB, promoted=5837.13MB
    minor collections=85590  major collections=39 compactions=0


runtime: 00:01:41.360
vars: 83334, evals: 167168

|rho|=83334
|stable|=77383
|infl|=83305
|wpoint|=558
|sides|=4327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75441
|called|=80
Found 3547 contexts for 84 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=199207.94MB, max=1878.66MB, minor=199151.20MB, major=6530.46MB, promoted=6473.71MB
    minor collections=94985  major collections=40 compactions=0


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

|rho|=90452
|stable|=81943
|infl|=89971
|wpoint|=563
|sides|=4462
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82383
|called|=502
Found 3645 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=219495.37MB, max=1878.66MB, minor=219437.73MB, major=7127.55MB, promoted=7069.91MB
    minor collections=104659  major collections=41 compactions=0


runtime: 00:02:01.499
vars: 96220, evals: 212867

|rho|=96220
|stable|=85191
|infl|=95291
|wpoint|=562
|sides|=4518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88095
|called|=930
Found 3701 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10069) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=239178.80MB, max=2160.46MB, minor=239120.29MB, major=7710.13MB, promoted=7651.63MB
    minor collections=114045  major collections=41 compactions=0


runtime: 00:02:11.627
vars: 101473, evals: 232655

|rho|=101473
|stable|=88149
|infl|=100136
|wpoint|=562
|sides|=4569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93297
|called|=1339
Found 3752 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
167	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=257673.76MB, max=2484.53MB, minor=257614.29MB, major=8247.48MB, promoted=8188.01MB
    minor collections=122864  major collections=42 compactions=0


runtime: 00:02:21.642
vars: 106623, evals: 251910

|rho|=106623
|stable|=91048
|infl|=104886
|wpoint|=562
|sides|=4619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98397
|called|=1742
Found 3802 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
217	contexts for L:entry state of dump_node (9985) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=275766.89MB, max=2484.53MB, minor=275706.68MB, major=8765.69MB, promoted=8705.48MB
    minor collections=131492  major collections=43 compactions=0


runtime: 00:02:31.778
vars: 111464, evals: 270039

|rho|=111464
|stable|=93775
|infl|=109351
|wpoint|=563
|sides|=4666
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103191
|called|=2117
Found 3849 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
264	contexts for L:entry state of dump_node (9985) 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 (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=293071.85MB, max=2857.21MB, minor=293010.84MB, major=9255.26MB, promoted=9194.26MB
    minor collections=139743  major collections=43 compactions=0


runtime: 00:02:41.794
vars: 116099, evals: 287289

|rho|=116099
|stable|=96430
|infl|=113626
|wpoint|=563
|sides|=4711
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107781
|called|=2494
Found 3894 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
309	contexts for L:entry state of dump_node (9985) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=309921.80MB, max=2857.21MB, minor=309860.00MB, major=9724.96MB, promoted=9663.17MB
    minor collections=147778  major collections=44 compactions=0


runtime: 00:02:51.901
vars: 120322, evals: 303337

|rho|=120322
|stable|=98763
|infl|=117521
|wpoint|=562
|sides|=4752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111963
|called|=2802
Found 3935 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
350	contexts for L:entry state of dump_node (9985) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=325756.20MB, max=3285.79MB, minor=325693.64MB, major=10166.36MB, promoted=10103.80MB
    minor collections=155328  major collections=44 compactions=0


runtime: 00:03:01.913
vars: 124648, evals: 319403

|rho|=124648
|stable|=101199
|infl|=121511
|wpoint|=562
|sides|=4794
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116247
|called|=3138
Found 3977 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
392	contexts for L:entry state of dump_node (9985) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=341625.77MB, max=3285.79MB, minor=341562.65MB, major=10603.98MB, promoted=10540.85MB
    minor collections=162896  major collections=45 compactions=0


runtime: 00:03:11.956
vars: 128562, evals: 334058

|rho|=128562
|stable|=103403
|infl|=125121
|wpoint|=563
|sides|=4832
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120123
|called|=3469
Found 4015 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
430	contexts for L:entry state of dump_node (9985) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=356784.56MB, max=3285.79MB, minor=356720.37MB, major=11014.94MB, promoted=10950.75MB
    minor collections=170124  major collections=45 compactions=0


runtime: 00:03:22.020
vars: 132579, evals: 349271

|rho|=132579
|stable|=105665
|infl|=128826
|wpoint|=563
|sides|=4871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124101
|called|=3780
Found 4054 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
469	contexts for L:entry state of dump_node (9985) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=371831.05MB, max=3778.66MB, minor=371764.38MB, major=11431.18MB, promoted=11364.51MB
    minor collections=177297  major collections=45 compactions=0


runtime: 00:03:32.031
vars: 136390, evals: 363350

|rho|=136390
|stable|=107811
|infl|=132341
|wpoint|=562
|sides|=4908
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127875
|called|=4049
Found 4091 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
506	contexts for L:entry state of dump_node (9985) 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 (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=386449.10MB, max=3778.66MB, minor=386379.68MB, major=11825.18MB, promoted=11755.76MB
    minor collections=184267  major collections=46 compactions=0


runtime: 00:03:42.110
vars: 139892, evals: 376639

|rho|=139892
|stable|=109745
|infl|=135571
|wpoint|=563
|sides|=4942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131343
|called|=4325
Found 4125 contexts for 87 functions. Top 5 functions:
540	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=400798.90MB, max=3778.66MB, minor=400726.19MB, major=12196.31MB, promoted=12123.60MB
    minor collections=191108  major collections=46 compactions=0


runtime: 00:03:52.170
vars: 143703, evals: 390857

|rho|=143703
|stable|=111929
|infl|=139086
|wpoint|=563
|sides|=4979
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135117
|called|=4629
Found 4162 contexts for 87 functions. Top 5 functions:
577	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=415264.40MB, max=3778.66MB, minor=415191.27MB, major=12588.48MB, promoted=12515.36MB
    minor collections=198006  major collections=46 compactions=0


runtime: 00:04:02.181
vars: 147350, evals: 404509

|rho|=147350
|stable|=114001
|infl|=142441
|wpoint|=561
|sides|=5015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138727
|called|=4909
Found 4198 contexts for 87 functions. Top 5 functions:
613	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=429714.14MB, max=3778.66MB, minor=429640.50MB, major=12969.36MB, promoted=12895.72MB
    minor collections=204896  major collections=47 compactions=0


runtime: 00:04:12.209
vars: 150707, evals: 417048

|rho|=150707
|stable|=115873
|infl|=145546
|wpoint|=563
|sides|=5047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142053
|called|=5203
Found 4230 contexts for 87 functions. Top 5 functions:
645	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=443523.76MB, max=3778.66MB, minor=443449.14MB, major=13324.18MB, promoted=13249.56MB
    minor collections=211481  major collections=47 compactions=0


runtime: 00:04:22.361
vars: 154003, evals: 429457

|rho|=154003
|stable|=117729
|infl|=148586
|wpoint|=563
|sides|=5079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145317
|called|=5444
Found 4262 contexts for 87 functions. Top 5 functions:
677	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=457265.37MB, max=4345.46MB, minor=457189.73MB, major=13672.94MB, promoted=13597.30MB
    minor collections=218033  major collections=47 compactions=0


runtime: 00:04:32.372
vars: 157454, evals: 442348

|rho|=157454
|stable|=119695
|infl|=151762
|wpoint|=561
|sides|=5113
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148734
|called|=5692
Found 4296 contexts for 87 functions. Top 5 functions:
711	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=470731.89MB, max=4345.46MB, minor=470656.07MB, major=14022.15MB, promoted=13946.33MB
    minor collections=224454  major collections=47 compactions=0


runtime: 00:04:42.380
vars: 160698, evals: 454649

|rho|=160698
|stable|=121499
|infl|=154761
|wpoint|=563
|sides|=5144
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151947
|called|=5941
Found 4327 contexts for 87 functions. Top 5 functions:
742	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=484265.79MB, max=4345.46MB, minor=484189.40MB, major=14371.21MB, promoted=14294.82MB
    minor collections=230908  major collections=48 compactions=0


runtime: 00:04:52.395
vars: 163788, evals: 466019

|rho|=163788
|stable|=123284
|infl|=157611
|wpoint|=563
|sides|=5174
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155007
|called|=6181
Found 4357 contexts for 87 functions. Top 5 functions:
772	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=497239.65MB, max=4345.46MB, minor=497162.33MB, major=14696.46MB, promoted=14619.13MB
    minor collections=237094  major collections=48 compactions=0


runtime: 00:05:02.531
vars: 166623, evals: 476716

|rho|=166623
|stable|=124859
|infl|=160220
|wpoint|=562
|sides|=5202
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157814
|called|=6403
Found 4385 contexts for 87 functions. Top 5 functions:
800	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=509900.24MB, max=4997.28MB, minor=509821.72MB, major=15006.69MB, promoted=14928.18MB
    minor collections=243131  major collections=48 compactions=0


runtime: 00:05:12.558
vars: 169762, evals: 488461

|rho|=169762
|stable|=126603
|infl|=163121
|wpoint|=563
|sides|=5232
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160923
|called|=6647
Found 4415 contexts for 87 functions. Top 5 functions:
830	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=522437.24MB, max=4997.28MB, minor=522358.45MB, major=15337.89MB, promoted=15259.09MB
    minor collections=249109  major collections=48 compactions=0


runtime: 00:05:22.569
vars: 172764, evals: 499824

|rho|=172764
|stable|=128299
|infl|=165880
|wpoint|=561
|sides|=5262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163894
|called|=6883
Found 4445 contexts for 87 functions. Top 5 functions:
860	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=535003.66MB, max=4997.28MB, minor=534924.57MB, major=15659.44MB, promoted=15580.35MB
    minor collections=255101  major collections=48 compactions=0


runtime: 00:05:32.580
vars: 175633, evals: 510397

|rho|=175633
|stable|=129954
|infl|=168536
|wpoint|=563
|sides|=5289
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166737
|called|=7125
Found 4472 contexts for 87 functions. Top 5 functions:
887	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=547146.32MB, max=4997.28MB, minor=547066.60MB, major=15960.90MB, promoted=15881.18MB
    minor collections=260891  major collections=49 compactions=0


runtime: 00:05:42.595
vars: 178208, evals: 520225

|rho|=178208
|stable|=131359
|infl|=170911
|wpoint|=563
|sides|=5314
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169287
|called|=7337
Found 4497 contexts for 87 functions. Top 5 functions:
912	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=558896.95MB, max=4997.28MB, minor=558814.22MB, major=16250.58MB, promoted=16167.85MB
    minor collections=266493  major collections=49 compactions=0


runtime: 00:05:52.723
vars: 180886, evals: 530146

|rho|=180886
|stable|=132867
|infl|=173381
|wpoint|=563
|sides|=5340
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171939
|called|=7545
Found 4523 contexts for 87 functions. Top 5 functions:
938	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=570969.16MB, max=4997.28MB, minor=570885.26MB, major=16542.55MB, promoted=16458.65MB
    minor collections=272249  major collections=49 compactions=0


runtime: 00:06:02.819
vars: 183770, evals: 540897

|rho|=183770
|stable|=134536
|infl|=176041
|wpoint|=563
|sides|=5368
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174795
|called|=7733
Found 4551 contexts for 87 functions. Top 5 functions:
966	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=583116.49MB, max=4997.28MB, minor=583032.02MB, major=16846.34MB, promoted=16761.87MB
    minor collections=278042  major collections=49 compactions=0


runtime: 00:06:12.842
vars: 186551, evals: 551442

|rho|=186551
|stable|=136057
|infl|=178606
|wpoint|=562
|sides|=5395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177549
|called|=7947
Found 4578 contexts for 87 functions. Top 5 functions:
993	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=594995.11MB, max=4997.28MB, minor=594910.48MB, major=17142.63MB, promoted=17058.00MB
    minor collections=283706  major collections=49 compactions=0


runtime: 00:06:22.854
vars: 189332, evals: 561798

|rho|=189332
|stable|=137623
|infl|=181171
|wpoint|=563
|sides|=5422
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180303
|called|=8188
Found 4605 contexts for 87 functions. Top 5 functions:
1020	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=607144.36MB, max=4997.28MB, minor=607059.16MB, major=17439.72MB, promoted=17354.52MB
    minor collections=289499  major collections=49 compactions=0


runtime: 00:06:32.865
vars: 191858, evals: 571289

|rho|=191858
|stable|=139069
|infl|=183498
|wpoint|=561
|sides|=5447
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182804
|called|=8360
Found 4630 contexts for 87 functions. Top 5 functions:
1045	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=618781.57MB, max=4997.28MB, minor=618695.65MB, major=17722.78MB, promoted=17636.86MB
    minor collections=295048  major collections=50 compactions=0


runtime: 00:06:42.881
vars: 194379, evals: 580649

|rho|=194379
|stable|=140510
|infl|=185826
|wpoint|=563
|sides|=5471
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185301
|called|=8584
Found 4654 contexts for 87 functions. Top 5 functions:
1069	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=630373.28MB, max=4997.28MB, minor=630286.37MB, major=17998.42MB, promoted=17911.51MB
    minor collections=300575  major collections=50 compactions=0


runtime: 00:06:53.021
vars: 196748, evals: 589546

|rho|=196748
|stable|=141799
|infl|=188011
|wpoint|=562
|sides|=5494
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187647
|called|=8737
Found 4677 contexts for 87 functions. Top 5 functions:
1092	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=641782.40MB, max=5746.87MB, minor=641694.31MB, major=18264.28MB, promoted=18176.20MB
    minor collections=306015  major collections=50 compactions=0


runtime: 00:07:03.141
vars: 199220, evals: 598854

|rho|=199220
|stable|=143191
|infl|=190291
|wpoint|=563
|sides|=5518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190095
|called|=8959
Found 4701 contexts for 87 functions. Top 5 functions:
1116	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=652913.76MB, max=5746.87MB, minor=652824.91MB, major=18533.23MB, promoted=18444.38MB
    minor collections=311322  major collections=50 compactions=0


runtime: 00:07:13.153
vars: 201898, evals: 608780

|rho|=201898
|stable|=144744
|infl|=192748
|wpoint|=563
|sides|=5544
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192747
|called|=9151
Found 4727 contexts for 87 functions. Top 5 functions:
1142	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=664191.92MB, max=5746.87MB, minor=664102.98MB, major=18816.70MB, promoted=18727.77MB
    minor collections=316700  major collections=50 compactions=0


runtime: 00:07:23.164
vars: 204370, evals: 618154

|rho|=204370
|stable|=146091
|infl|=195041
|wpoint|=563
|sides|=5568
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195195
|called|=9363
Found 4751 contexts for 87 functions. Top 5 functions:
1166	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=675342.34MB, max=5746.87MB, minor=675253.15MB, major=19088.49MB, promoted=18999.30MB
    minor collections=322017  major collections=50 compactions=0


runtime: 00:07:33.176
vars: 206739, evals: 627191

|rho|=206739
|stable|=147425
|infl|=197226
|wpoint|=562
|sides|=5591
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197541
|called|=9514
Found 4774 contexts for 87 functions. Top 5 functions:
1189	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=686570.44MB, max=5746.87MB, minor=686480.74MB, major=19351.66MB, promoted=19261.97MB
    minor collections=327371  major collections=51 compactions=0


runtime: 00:07:43.188
vars: 209015, evals: 635692

|rho|=209015
|stable|=148711
|infl|=199320
|wpoint|=561
|sides|=5614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199794
|called|=9695
Found 4797 contexts for 87 functions. Top 5 functions:
1212	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=697409.18MB, max=5746.87MB, minor=697318.74MB, major=19606.85MB, promoted=19516.41MB
    minor collections=332540  major collections=51 compactions=0


runtime: 00:07:53.200
vars: 211241, evals: 643876

|rho|=211241
|stable|=149992
|infl|=201365
|wpoint|=562
|sides|=5635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=201999
|called|=9877
Found 4818 contexts for 87 functions. Top 5 functions:
1233	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=708063.61MB, max=5746.87MB, minor=707972.19MB, major=19852.12MB, promoted=19760.70MB
    minor collections=337620  major collections=51 compactions=0


runtime: 00:08:03.263
vars: 213331, evals: 651813

|rho|=213331
|stable|=151099
|infl|=203306
|wpoint|=563
|sides|=5655
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204069
|called|=10031
Found 4838 contexts for 87 functions. Top 5 functions:
1253	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=718597.89MB, max=5746.87MB, minor=718505.37MB, major=20089.69MB, promoted=19997.16MB
    minor collections=342642  major collections=51 compactions=0


runtime: 00:08:13.375
vars: 215391, evals: 659577

|rho|=215391
|stable|=152259
|infl|=205206
|wpoint|=563
|sides|=5675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206109
|called|=10189
Found 4858 contexts for 87 functions. Top 5 functions:
1273	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=729060.61MB, max=6608.90MB, minor=728966.88MB, major=20326.30MB, promoted=20232.58MB
    minor collections=347631  major collections=51 compactions=0


runtime: 00:08:23.431
vars: 217863, evals: 668610

|rho|=217863
|stable|=153734
|infl|=207453
|wpoint|=563
|sides|=5699
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208557
|called|=10411
Found 4882 contexts for 87 functions. Top 5 functions:
1297	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=739404.94MB, max=6608.90MB, minor=739311.09MB, major=20579.20MB, promoted=20485.36MB
    minor collections=352563  major collections=51 compactions=0


runtime: 00:08:33.443
vars: 220129, evals: 677212

|rho|=220129
|stable|=154965
|infl|=209576
|wpoint|=563
|sides|=5721
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210801
|called|=10574
Found 4904 contexts for 87 functions. Top 5 functions:
1319	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=749716.18MB, max=6608.90MB, minor=749622.23MB, major=20828.85MB, promoted=20734.90MB
    minor collections=357480  major collections=51 compactions=0


runtime: 00:08:43.454
vars: 222308, evals: 685492

|rho|=222308
|stable|=156199
|infl|=211575
|wpoint|=561
|sides|=5743
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212958
|called|=10733
Found 4926 contexts for 87 functions. Top 5 functions:
1341	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=760051.34MB, max=6608.90MB, minor=759957.14MB, major=21072.28MB, promoted=20978.08MB
    minor collections=362408  major collections=51 compactions=0


runtime: 00:08:53.471
vars: 224455, evals: 693583

|rho|=224455
|stable|=157401
|infl|=213566
|wpoint|=562
|sides|=5763
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215085
|called|=10891
Found 4946 contexts for 87 functions. Top 5 functions:
1361	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=770492.59MB, max=6608.90MB, minor=770397.94MB, major=21312.80MB, promoted=21218.14MB
    minor collections=367387  major collections=52 compactions=0


runtime: 00:09:03.482
vars: 226515, evals: 701084

|rho|=226515
|stable|=158606
|infl|=215466
|wpoint|=563
|sides|=5783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217125
|called|=11052
Found 4966 contexts for 87 functions. Top 5 functions:
1381	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=780365.55MB, max=6608.90MB, minor=780270.22MB, major=21537.08MB, promoted=21441.75MB
    minor collections=372095  major collections=52 compactions=0


runtime: 00:09:13.494
vars: 228472, evals: 708434

|rho|=228472
|stable|=159663
|infl|=217271
|wpoint|=562
|sides|=5802
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219063
|called|=11201
Found 4985 contexts for 87 functions. Top 5 functions:
1400	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=790314.15MB, max=6608.90MB, minor=790218.00MB, major=21763.27MB, promoted=21667.12MB
    minor collections=376838  major collections=52 compactions=0


runtime: 00:09:23.506
vars: 230429, evals: 715755

|rho|=230429
|stable|=160810
|infl|=219076
|wpoint|=563
|sides|=5821
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221001
|called|=11356
Found 5004 contexts for 87 functions. Top 5 functions:
1419	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=800321.64MB, max=6608.90MB, minor=800224.51MB, major=21987.78MB, promoted=21890.65MB
    minor collections=381610  major collections=52 compactions=0


runtime: 00:09:33.577
vars: 232283, evals: 722919

|rho|=232283
|stable|=161809
|infl|=220786
|wpoint|=563
|sides|=5839
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222837
|called|=11529
Found 5022 contexts for 87 functions. Top 5 functions:
1437	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=810329.31MB, max=6608.90MB, minor=810231.03MB, major=22206.53MB, promoted=22108.25MB
    minor collections=386382  major collections=52 compactions=0


runtime: 00:09:43.669
vars: 234137, evals: 729823

|rho|=234137
|stable|=162853
|infl|=222496
|wpoint|=563
|sides|=5857
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224673
|called|=11645
Found 5040 contexts for 87 functions. Top 5 functions:
1455	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=820090.53MB, max=6608.90MB, minor=819991.08MB, major=22418.74MB, promoted=22319.29MB
    minor collections=391036  major collections=52 compactions=0


runtime: 00:09:53.712
vars: 236300, evals: 737770

|rho|=236300
|stable|=164071
|infl|=224491
|wpoint|=562
|sides|=5878
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226815
|called|=11811
Found 5061 contexts for 87 functions. Top 5 functions:
1476	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=829611.74MB, max=6608.90MB, minor=829512.11MB, major=22650.21MB, promoted=22550.58MB
    minor collections=395576  major collections=52 compactions=0


runtime: 00:10:03.724
vars: 238360, evals: 745591

|rho|=238360
|stable|=165231
|infl|=226391
|wpoint|=563
|sides|=5898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228855
|called|=12007
Found 5081 contexts for 87 functions. Top 5 functions:
1496	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=839122.40MB, max=6608.90MB, minor=839022.71MB, major=22873.18MB, promoted=22773.49MB
    minor collections=400111  major collections=52 compactions=0


runtime: 00:10:13.736
vars: 240317, evals: 753027

|rho|=240317
|stable|=166333
|infl|=228196
|wpoint|=562
|sides|=5917
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230793
|called|=12124
Found 5100 contexts for 87 functions. Top 5 functions:
1515	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=848630.90MB, max=6608.90MB, minor=848531.08MB, major=23088.67MB, promoted=22988.84MB
    minor collections=404645  major collections=52 compactions=0


runtime: 00:10:23.752
vars: 242274, evals: 760265

|rho|=242274
|stable|=167435
|infl|=230001
|wpoint|=563
|sides|=5936
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232731
|called|=12277
Found 5119 contexts for 87 functions. Top 5 functions:
1534	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=858127.04MB, max=6608.90MB, minor=858026.93MB, major=23304.40MB, promoted=23204.29MB
    minor collections=409173  major collections=52 compactions=0


runtime: 00:10:33.759
vars: 244177, evals: 767356

|rho|=244177
|stable|=168527
|infl|=231747
|wpoint|=561
|sides|=5955
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=234614
|called|=12429
Found 5138 contexts for 87 functions. Top 5 functions:
1553	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=867716.77MB, max=6608.90MB, minor=867616.20MB, major=23516.91MB, promoted=23416.34MB
    minor collections=413746  major collections=53 compactions=0


runtime: 00:10:43.784
vars: 245982, evals: 774098

|rho|=245982
|stable|=169523
|infl|=233421
|wpoint|=563
|sides|=5972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236403
|called|=12567
Found 5155 contexts for 87 functions. Top 5 functions:
1570	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=876988.74MB, max=6608.90MB, minor=876887.55MB, major=23724.22MB, promoted=23623.04MB
    minor collections=418167  major collections=53 compactions=0


runtime: 00:10:53.791
vars: 247733, evals: 780660

|rho|=247733
|stable|=170509
|infl|=235036
|wpoint|=563
|sides|=5989
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238137
|called|=12734
Found 5172 contexts for 87 functions. Top 5 functions:
1587	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=886188.12MB, max=6608.90MB, minor=886086.15MB, major=23926.63MB, promoted=23824.65MB
    minor collections=422553  major collections=53 compactions=0


runtime: 00:11:03.807
vars: 249409, evals: 787022

|rho|=249409
|stable|=171465
|infl|=236573
|wpoint|=561
|sides|=6006
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239796
|called|=12836
Found 5189 contexts for 87 functions. Top 5 functions:
1604	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=895352.98MB, max=6608.90MB, minor=895250.09MB, major=24118.03MB, promoted=24015.14MB
    minor collections=426923  major collections=53 compactions=0


runtime: 00:11:13.843
vars: 251132, evals: 793350

|rho|=251132
|stable|=172468
|infl|=238171
|wpoint|=562
|sides|=6022
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241503
|called|=12964
Found 5205 contexts for 87 functions. Top 5 functions:
1620	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=904511.82MB, max=7600.24MB, minor=904407.93MB, major=24317.04MB, promoted=24213.14MB
    minor collections=431290  major collections=53 compactions=0


runtime: 00:11:23.898
vars: 252780, evals: 799574

|rho|=252780
|stable|=173351
|infl|=239691
|wpoint|=563
|sides|=6038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243135
|called|=13111
Found 5221 contexts for 87 functions. Top 5 functions:
1636	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=913591.53MB, max=7600.24MB, minor=913486.53MB, major=24507.74MB, promoted=24402.75MB
    minor collections=435619  major collections=53 compactions=0


runtime: 00:11:33.946
vars: 254379, evals: 805585

|rho|=254379
|stable|=174275
|infl|=241160
|wpoint|=562
|sides|=6054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244718
|called|=13221
Found 5237 contexts for 87 functions. Top 5 functions:
1652	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=922536.07MB, max=7600.24MB, minor=922429.95MB, major=24695.68MB, promoted=24589.56MB
    minor collections=439883  major collections=53 compactions=0


runtime: 00:11:44.038
vars: 256179, evals: 812427

|rho|=256179
|stable|=175265
|infl|=242826
|wpoint|=563
|sides|=6071
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246501
|called|=13372
Found 5254 contexts for 87 functions. Top 5 functions:
1669	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=931192.42MB, max=7600.24MB, minor=931085.99MB, major=24898.50MB, promoted=24792.06MB
    minor collections=444011  major collections=53 compactions=0


runtime: 00:11:54.053
vars: 258087, evals: 819479

|rho|=258087
|stable|=176361
|infl|=244580
|wpoint|=562
|sides|=6090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248390
|called|=13508
Found 5273 contexts for 87 functions. Top 5 functions:
1688	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=940011.00MB, max=7600.24MB, minor=939904.54MB, major=25102.20MB, promoted=24995.73MB
    minor collections=448216  major collections=53 compactions=0


runtime: 00:12:04.065
vars: 259887, evals: 826274

|rho|=259887
|stable|=177353
|infl|=246246
|wpoint|=562
|sides|=6107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250173
|called|=13643
Found 5290 contexts for 87 functions. Top 5 functions:
1705	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=948824.15MB, max=7600.24MB, minor=948717.60MB, major=25305.17MB, promoted=25198.62MB
    minor collections=452419  major collections=53 compactions=0


runtime: 00:12:14.077
vars: 261638, evals: 832779

|rho|=261638
|stable|=178339
|infl|=247861
|wpoint|=562
|sides|=6124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251907
|called|=13780
Found 5307 contexts for 87 functions. Top 5 functions:
1722	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=957522.21MB, max=7600.24MB, minor=957415.50MB, major=25502.46MB, promoted=25395.76MB
    minor collections=456566  major collections=53 compactions=0


runtime: 00:12:24.092
vars: 263340, evals: 839164

|rho|=263340
|stable|=179321
|infl|=249425
|wpoint|=562
|sides|=6141
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253592
|called|=13916
Found 5324 contexts for 87 functions. Top 5 functions:
1739	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=966295.49MB, max=7600.24MB, minor=966184.31MB, major=25699.86MB, promoted=25588.69MB
    minor collections=460749  major collections=53 compactions=0


runtime: 00:12:34.104
vars: 265037, evals: 845574

|rho|=265037
|stable|=180253
|infl|=250996
|wpoint|=562
|sides|=6157
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=255273
|called|=14044
Found 5340 contexts for 87 functions. Top 5 functions:
1755	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=975301.59MB, max=7600.24MB, minor=975189.99MB, major=25896.51MB, promoted=25784.91MB
    minor collections=465043  major collections=54 compactions=0


runtime: 00:12:44.119
vars: 266685, evals: 851636

|rho|=266685
|stable|=181226
|infl|=252516
|wpoint|=563
|sides|=6173
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256905
|called|=14175
Found 5356 contexts for 87 functions. Top 5 functions:
1771	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=983963.94MB, max=7600.24MB, minor=983851.81MB, major=26080.71MB, promoted=25968.59MB
    minor collections=469174  major collections=54 compactions=0


runtime: 00:12:54.131
vars: 268230, evals: 857589

|rho|=268230
|stable|=182051
|infl|=253941
|wpoint|=563
|sides|=6188
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258435
|called|=14313
Found 5371 contexts for 87 functions. Top 5 functions:
1786	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=992630.45MB, max=7600.24MB, minor=992517.62MB, major=26261.87MB, promoted=26149.04MB
    minor collections=473306  major collections=54 compactions=0


runtime: 00:13:04.143
vars: 269775, evals: 863379

|rho|=269775
|stable|=182921
|infl|=255366
|wpoint|=562
|sides|=6203
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259965
|called|=14411
Found 5386 contexts for 87 functions. Top 5 functions:
1801	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1001303.52MB, max=7600.24MB, minor=1001189.85MB, major=26443.62MB, promoted=26329.95MB
    minor collections=477441  major collections=54 compactions=0


runtime: 00:13:14.155
vars: 271320, evals: 869063

|rho|=271320
|stable|=183791
|infl|=256791
|wpoint|=563
|sides|=6218
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261495
|called|=14533
Found 5401 contexts for 87 functions. Top 5 functions:
1816	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1009837.57MB, max=7600.24MB, minor=1009723.00MB, major=26625.02MB, promoted=26510.46MB
    minor collections=481510  major collections=54 compactions=0


runtime: 00:13:24.194
vars: 272762, evals: 874524

|rho|=272762
|stable|=184603
|infl|=258121
|wpoint|=562
|sides|=6232
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262923
|called|=14644
Found 5415 contexts for 87 functions. Top 5 functions:
1830	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1018188.02MB, max=7600.24MB, minor=1018068.26MB, major=26803.25MB, promoted=26683.50MB
    minor collections=485490  major collections=54 compactions=0


runtime: 00:13:34.278
vars: 274307, evals: 880191

|rho|=274307
|stable|=185518
|infl|=259546
|wpoint|=563
|sides|=6247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264453
|called|=14767
Found 5430 contexts for 87 functions. Top 5 functions:
1845	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1026799.97MB, max=7600.24MB, minor=1026679.12MB, major=26980.01MB, promoted=26859.15MB
    minor collections=489596  major collections=54 compactions=0


runtime: 00:13:44.337
vars: 275749, evals: 885671

|rho|=275749
|stable|=186247
|infl|=260876
|wpoint|=563
|sides|=6261
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265881
|called|=14879
Found 5444 contexts for 87 functions. Top 5 functions:
1859	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1035388.87MB, max=8740.27MB, minor=1035266.89MB, major=27155.09MB, promoted=27033.10MB
    minor collections=493691  major collections=54 compactions=0


runtime: 00:13:54.424
vars: 277554, evals: 892432

|rho|=277554
|stable|=187325
|infl|=262535
|wpoint|=562
|sides|=6279
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=267668
|called|=15020
Found 5462 contexts for 87 functions. Top 5 functions:
1877	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1043733.62MB, max=8740.27MB, minor=1043598.17MB, major=27366.24MB, promoted=27230.80MB
    minor collections=497665  major collections=54 compactions=0


runtime: 00:14:04.440
vars: 279560, evals: 899943

|rho|=279560
|stable|=188431
|infl|=264391
|wpoint|=563
|sides|=6298
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=269655
|called|=15173
Found 5481 contexts for 87 functions. Top 5 functions:
1896	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1052332.25MB, max=8740.27MB, minor=1052196.64MB, major=27587.76MB, promoted=27452.16MB
    minor collections=501765  major collections=54 compactions=0


runtime: 00:14:14.451
vars: 281517, evals: 907220

|rho|=281517
|stable|=189578
|infl|=266196
|wpoint|=563
|sides|=6317
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=271593
|called|=15327
Found 5500 contexts for 87 functions. Top 5 functions:
1915	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1060943.85MB, max=8740.27MB, minor=1060808.09MB, major=27804.07MB, promoted=27668.31MB
    minor collections=505872  major collections=54 compactions=0


runtime: 00:14:24.464
vars: 283371, evals: 914375

|rho|=283371
|stable|=190577
|infl|=267906
|wpoint|=563
|sides|=6335
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273429
|called|=15493
Found 5518 contexts for 87 functions. Top 5 functions:
1933	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1069776.61MB, max=8740.27MB, minor=1069640.66MB, major=28019.28MB, promoted=27883.33MB
    minor collections=510084  major collections=54 compactions=0


runtime: 00:14:34.475
vars: 285225, evals: 921235

|rho|=285225
|stable|=191621
|infl|=269616
|wpoint|=562
|sides|=6353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=275265
|called|=15611
Found 5536 contexts for 87 functions. Top 5 functions:
1951	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1078507.22MB, max=8740.27MB, minor=1078371.06MB, major=28232.86MB, promoted=28096.70MB
    minor collections=514247  major collections=54 compactions=0


runtime: 00:14:44.490
vars: 287079, evals: 928112

|rho|=287079
|stable|=192665
|infl|=271326
|wpoint|=563
|sides|=6371
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277101
|called|=15759
Found 5554 contexts for 87 functions. Top 5 functions:
1969	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1087355.28MB, max=8740.27MB, minor=1087218.90MB, major=28446.66MB, promoted=28310.28MB
    minor collections=518466  major collections=54 compactions=0


runtime: 00:14:54.502
vars: 288830, evals: 934620

|rho|=288830
|stable|=193696
|infl|=272941
|wpoint|=563
|sides|=6388
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278835
|called|=15893
Found 5571 contexts for 87 functions. Top 5 functions:
1986	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1095950.64MB, max=8740.27MB, minor=1095814.02MB, major=28652.44MB, promoted=28515.82MB
    minor collections=522565  major collections=55 compactions=0

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

runtime: 00:14:58.712
vars: 289551, evals: 937313

|rho|=289551
|stable|=194102
|infl|=273606
|wpoint|=563
|sides|=6395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279549
|called|=15987
Found 5578 contexts for 87 functions. Top 5 functions:
1993	contexts for L:entry state of dump_node (9985) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10099) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4656) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10088) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=1099477.12MB, max=8740.27MB, minor=1099340.33MB, major=28734.10MB, promoted=28597.32MB
    minor collections=524246  major collections=55 compactions=0


Fatal error: exception Stack overflow
