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


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


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

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

runtime: 00:00:10.830
vars: 12906, evals: 23347

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

Memory statistics: total=21949.23MB, max=305.32MB, minor=21931.71MB, major=725.37MB, promoted=707.85MB
    minor collections=10468  major collections=20 compactions=0


runtime: 00:00:20.904
vars: 22145, evals: 40440

|rho|=22145
|stable|=17664
|infl|=22121
|wpoint|=68
|sides|=1704
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19474
|called|=34
Found 947 contexts for 82 functions. Top 5 functions:
140	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=41985.71MB, max=464.37MB, minor=41964.00MB, major=1421.45MB, promoted=1399.75MB
    minor collections=20023  major collections=26 compactions=0


runtime: 00:00:30.963
vars: 32661, evals: 62161

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

Memory statistics: total=61872.14MB, max=614.13MB, minor=61845.35MB, major=2041.87MB, promoted=2015.08MB
    minor collections=29505  major collections=29 compactions=0


runtime: 00:00:41.033
vars: 40442, evals: 77435

|rho|=40442
|stable|=35478
|infl|=40400
|wpoint|=200
|sides|=2514
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36175
|called|=131
Found 1738 contexts for 83 functions. Top 5 functions:
277	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
122	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
98	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=82447.52MB, max=812.19MB, minor=82413.47MB, major=2693.80MB, promoted=2659.75MB
    minor collections=39314  major collections=31 compactions=0


runtime: 00:00:51.080
vars: 48855, evals: 95975

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

Memory statistics: total=102544.76MB, max=1074.12MB, minor=102506.49MB, major=3325.16MB, promoted=3286.89MB
    minor collections=48896  major collections=33 compactions=0


runtime: 00:01:01.151
vars: 58419, evals: 114109

|rho|=58419
|stable|=53177
|infl|=58373
|wpoint|=328
|sides|=3216
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52750
|called|=105
Found 2436 contexts for 84 functions. Top 5 functions:
374	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
172	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
95	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=123073.82MB, max=1235.24MB, minor=123032.07MB, major=3947.88MB, promoted=3906.13MB
    minor collections=58684  major collections=35 compactions=0


runtime: 00:01:11.189
vars: 66686, evals: 129326

|rho|=66686
|stable|=61728
|infl|=66657
|wpoint|=358
|sides|=3645
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60157
|called|=80
Found 2865 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
146	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=143459.80MB, max=1420.53MB, minor=143412.66MB, major=4584.37MB, promoted=4537.23MB
    minor collections=68404  major collections=37 compactions=0


runtime: 00:01:21.252
vars: 73677, evals: 144676

|rho|=73677
|stable|=68131
|infl|=73639
|wpoint|=449
|sides|=3860
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=66721
|called|=97
Found 3079 contexts for 84 functions. Top 5 functions:
466	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
220	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
116	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=163903.16MB, max=1633.61MB, minor=163850.51MB, major=5170.50MB, promoted=5117.85MB
    minor collections=78150  major collections=38 compactions=0


runtime: 00:01:31.303
vars: 81771, evals: 159728

|rho|=81771
|stable|=76409
|infl|=81733
|wpoint|=473
|sides|=4242
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74051
|called|=89
Found 3461 contexts for 84 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10109) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
244	contexts for L:entry state of node_str_new (4666) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for L:entry state of node_op_new (4589) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10098) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10079) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=184303.36MB, max=1633.61MB, minor=184247.27MB, major=5787.06MB, promoted=5730.97MB
    minor collections=87876  major collections=39 compactions=0


runtime: 00:01:41.341
vars: 86642, evals: 176902

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

Memory statistics: total=204576.85MB, max=1878.66MB, minor=204519.96MB, major=6371.06MB, promoted=6314.18MB
    minor collections=97544  major collections=40 compactions=0


runtime: 00:01:51.408
vars: 92822, evals: 200179

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

Memory statistics: total=225243.72MB, max=2160.46MB, minor=225185.71MB, major=6962.24MB, promoted=6904.23MB
    minor collections=107399  major collections=41 compactions=0


runtime: 00:02:01.443
vars: 98633, evals: 221933

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

Memory statistics: total=245009.44MB, max=2160.46MB, minor=244950.51MB, major=7517.92MB, promoted=7458.99MB
    minor collections=116824  major collections=42 compactions=0


runtime: 00:02:11.489
vars: 104152, evals: 242590

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

Memory statistics: total=263972.88MB, max=2484.53MB, minor=263913.27MB, major=8047.42MB, promoted=7987.81MB
    minor collections=125867  major collections=43 compactions=0


runtime: 00:02:21.576
vars: 109150, evals: 261331

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

Memory statistics: total=281698.02MB, max=2857.21MB, minor=281637.45MB, major=8536.77MB, promoted=8476.21MB
    minor collections=134318  major collections=43 compactions=0


runtime: 00:02:31.583
vars: 114143, evals: 279980

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

Memory statistics: total=299332.92MB, max=2857.21MB, minor=299271.65MB, major=9018.36MB, promoted=8957.09MB
    minor collections=142727  major collections=44 compactions=0


runtime: 00:02:41.661
vars: 118675, evals: 296896

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

Memory statistics: total=315777.77MB, max=2857.21MB, minor=315715.57MB, major=9455.98MB, promoted=9393.79MB
    minor collections=150569  major collections=44 compactions=0


runtime: 00:02:51.672
vars: 123207, evals: 313999

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

Memory statistics: total=332432.01MB, max=2857.21MB, minor=332369.27MB, major=9902.46MB, promoted=9839.72MB
    minor collections=158510  major collections=45 compactions=0


runtime: 00:03:01.751
vars: 127327, evals: 329316

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

Memory statistics: total=348044.93MB, max=3285.79MB, minor=347981.04MB, major=10305.70MB, promoted=10241.82MB
    minor collections=165955  major collections=45 compactions=0


runtime: 00:03:11.781
vars: 131447, evals: 344987

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

Memory statistics: total=363283.19MB, max=3285.79MB, minor=363216.90MB, major=10715.88MB, promoted=10649.59MB
    minor collections=173220  major collections=45 compactions=0


runtime: 00:03:21.792
vars: 135258, evals: 359104

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

Memory statistics: total=377749.32MB, max=3285.79MB, minor=377680.20MB, major=11093.00MB, promoted=11023.88MB
    minor collections=180117  major collections=46 compactions=0


runtime: 00:03:31.859
vars: 138760, evals: 372221

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

Memory statistics: total=391699.04MB, max=3778.66MB, minor=391628.72MB, major=11445.10MB, promoted=11374.78MB
    minor collections=186769  major collections=46 compactions=0


runtime: 00:03:41.886
vars: 142522, evals: 386390

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

Memory statistics: total=405746.01MB, max=3778.66MB, minor=405673.41MB, major=11815.74MB, promoted=11743.14MB
    minor collections=193466  major collections=46 compactions=0


runtime: 00:03:51.897
vars: 146073, evals: 399621

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

Memory statistics: total=419560.39MB, max=3778.66MB, minor=419487.16MB, major=12165.95MB, promoted=12092.72MB
    minor collections=200053  major collections=47 compactions=0


runtime: 00:04:01.957
vars: 149266, evals: 411714

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

Memory statistics: total=432794.14MB, max=3778.66MB, minor=432719.89MB, major=12495.57MB, promoted=12421.32MB
    minor collections=206363  major collections=47 compactions=0


runtime: 00:04:12.049
vars: 152562, evals: 424062

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

Memory statistics: total=445856.17MB, max=4345.46MB, minor=445781.21MB, major=12825.23MB, promoted=12750.27MB
    minor collections=212592  major collections=47 compactions=0


runtime: 00:04:22.061
vars: 155868, evals: 436516

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

Memory statistics: total=458773.00MB, max=4345.46MB, minor=458697.79MB, major=13152.87MB, promoted=13077.65MB
    minor collections=218751  major collections=47 compactions=0


runtime: 00:04:32.081
vars: 158948, evals: 448043

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

Memory statistics: total=471345.96MB, max=4345.46MB, minor=471270.09MB, major=13462.62MB, promoted=13386.75MB
    minor collections=224746  major collections=48 compactions=0


runtime: 00:04:42.109
vars: 161935, evals: 459078

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

Memory statistics: total=483835.46MB, max=4345.46MB, minor=483758.62MB, major=13761.18MB, promoted=13684.35MB
    minor collections=230701  major collections=48 compactions=0

