./goblint --conf conf/svcomp23.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 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
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
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 context
function strm_to_str is recursive, disable interval context
function strm_funcall is recursive, disable interval context
function strm_ary_eq is recursive, disable interval context
function strm_inspect is recursive, disable interval context
function node_array_free is recursive, disable interval context
function node_free is recursive, disable interval context
function exec_expr is recursive, disable interval context
function pattern_match is recursive, disable interval context
function pmatch is recursive, disable interval context
function pmatch_struct is recursive, disable interval context
function exec_call is recursive, disable interval context
function flatmap_len is recursive, disable interval context
function flatmap_push is recursive, disable interval context
function GCD is recursive, disable interval context
function dump_node is recursive, disable interval context
malloc wrapper: strm_ary_new
malloc wrapper: strm_stream_new
malloc wrapper: node_op_new
malloc wrapper: exec_expr
malloc wrapper: pmatch
thread created by pthread_create, called by:
  strm_init_io_loop
  task_init
Total: 2595370978
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.874
vars: 3159, evals: 4807

|rho|=3159
|called|=174
|stable|=2565
|infl|=3053
|wpoint|=10
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2680
Found 66 contexts for 21 functions. Top 5 functions:
12	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
10	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
9	contexts for entry state of yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1
6	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1
4	contexts for entry state of yy_flush_buffer (9329) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20411:1-20435:1

Memory statistics: total=4755.55MB, max=132.00MB, minor=4746.16MB, major=183.42MB, promoted=174.03MB
    minor collections=2269  major collections=14 compactions=0


runtime: 00:00:20.886
vars: 4546, evals: 7883

|rho|=4546
|called|=137
|stable|=3915
|infl|=4422
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3923
Found 157 contexts for 31 functions. Top 5 functions:
45	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
17	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
15	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
12	contexts for entry state of yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1
10	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=8207.12MB, max=151.80MB, minor=8197.41MB, major=272.87MB, promoted=263.16MB
    minor collections=3916  major collections=16 compactions=0


runtime: 00:00:30.906
vars: 6919, evals: 12750

|rho|=6919
|called|=86
|stable|=6330
|infl|=6814
|wpoint|=16
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=6116
Found 190 contexts for 40 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
17	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
15	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
12	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1
12	contexts for entry state of yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1

Memory statistics: total=12178.23MB, max=174.57MB, minor=12168.19MB, major=393.00MB, promoted=382.96MB
    minor collections=5811  major collections=18 compactions=0


runtime: 00:00:40.933
vars: 9977, evals: 17331

|rho|=9977
|called|=199
|stable|=4968
|infl|=9869
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=8708
Found 390 contexts for 82 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
25	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
24	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
22	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
18	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1

Memory statistics: total=16781.00MB, max=230.87MB, minor=16770.13MB, major=550.90MB, promoted=540.03MB
    minor collections=8006  major collections=20 compactions=0


runtime: 00:00:50.949
vars: 10604, evals: 18803

|rho|=10604
|called|=206
|stable|=5595
|infl|=10496
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9307
Found 418 contexts for 82 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
32	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
24	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
20	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=19490.81MB, max=265.50MB, minor=19479.92MB, major=629.47MB, promoted=618.57MB
    minor collections=9299  major collections=21 compactions=0


runtime: 00:01:00.957
vars: 10675, evals: 19555

|rho|=10675
|called|=212
|stable|=5761
|infl|=10569
|wpoint|=37
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9375
Found 420 contexts for 82 functions. Top 5 functions:
49	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
33	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
24	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
20	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=21679.03MB, max=265.50MB, minor=21668.12MB, major=684.88MB, promoted=673.96MB
    minor collections=10343  major collections=22 compactions=0


runtime: 00:01:10.981
vars: 12515, evals: 23355

|rho|=12515
|called|=101
|stable|=7631
|infl|=12410
|wpoint|=37
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=11134
Found 501 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
33	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
28	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1
20	contexts for entry state of yyrealloc (9364) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20770:1-20778:1

Memory statistics: total=26600.43MB, max=305.32MB, minor=26589.35MB, major=834.35MB, promoted=823.28MB
    minor collections=12690  major collections=24 compactions=0


runtime: 00:01:21.008
vars: 15131, evals: 27855

|rho|=15131
|called|=75
|stable|=10594
|infl|=15028
|wpoint|=46
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13604
Found 647 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
48	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
33	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
25	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=31520.03MB, max=351.13MB, minor=31508.73MB, major=1011.60MB, promoted=1000.30MB
    minor collections=15036  major collections=25 compactions=0


runtime: 00:01:31.032
vars: 16244, evals: 30389

|rho|=16244
|called|=167
|stable|=11445
|infl|=16138
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14672
Found 692 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
48	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
41	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
31	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=35472.20MB, max=351.13MB, minor=35460.80MB, major=1147.86MB, promoted=1136.45MB
    minor collections=16922  major collections=27 compactions=0


runtime: 00:01:41.056
vars: 16739, evals: 31492

|rho|=16739
|called|=242
|stable|=11847
|infl|=16633
|wpoint|=57
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15141
Found 718 contexts for 82 functions. Top 5 functions:
95	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
48	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
48	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
34	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=37604.70MB, max=403.80MB, minor=37592.75MB, major=1203.91MB, promoted=1191.96MB
    minor collections=17939  major collections=27 compactions=0


runtime: 00:01:51.063
vars: 17561, evals: 33060

|rho|=17561
|called|=138
|stable|=12732
|infl|=17435
|wpoint|=56
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15899
Found 782 contexts for 82 functions. Top 5 functions:
138	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
50	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
34	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=40825.88MB, max=403.80MB, minor=40813.86MB, major=1290.20MB, promoted=1278.19MB
    minor collections=19475  major collections=28 compactions=0


runtime: 00:02:01.079
vars: 19351, evals: 37103

|rho|=19351
|called|=95
|stable|=14567
|infl|=19239
|wpoint|=63
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17662
Found 809 contexts for 82 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
52	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
34	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=45529.58MB, max=403.80MB, minor=45517.17MB, major=1450.94MB, promoted=1438.53MB
    minor collections=21718  major collections=29 compactions=0


runtime: 00:02:11.111
vars: 21336, evals: 40770

|rho|=21336
|called|=75
|stable|=16836
|infl|=21233
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19504
Found 952 contexts for 82 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=50086.35MB, max=464.37MB, minor=50073.49MB, major=1606.03MB, promoted=1593.18MB
    minor collections=23891  major collections=30 compactions=0


runtime: 00:02:21.135
vars: 21662, evals: 43473

|rho|=21662
|called|=82
|stable|=16715
|infl|=21559
|wpoint|=105
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19827
Found 955 contexts for 82 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
49	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
36	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=54702.62MB, max=534.03MB, minor=54689.73MB, major=1751.44MB, promoted=1738.55MB
    minor collections=26093  major collections=31 compactions=0


runtime: 00:02:31.159
vars: 24941, evals: 48677

|rho|=24941
|called|=183
|stable|=19890
|infl|=24834
|wpoint|=154
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23001
Found 1041 contexts for 83 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
59	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
41	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=58860.55MB, max=534.03MB, minor=58847.51MB, major=1891.00MB, promoted=1877.96MB
    minor collections=28076  major collections=32 compactions=0


runtime: 00:02:41.166
vars: 25629, evals: 51171

|rho|=25629
|called|=183
|stable|=20673
|infl|=25524
|wpoint|=157
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23661
Found 1069 contexts for 83 functions. Top 5 functions:
141	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
72	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
66	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
43	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=62328.44MB, max=534.03MB, minor=62315.31MB, major=1990.80MB, promoted=1977.67MB
    minor collections=29730  major collections=32 compactions=0


runtime: 00:02:51.174
vars: 27484, evals: 55272

|rho|=27484
|called|=99
|stable|=22540
|infl|=27380
|wpoint|=157
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=25432
Found 1153 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
76	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
66	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
54	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
43	contexts for entry state of yyalloc (9359) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20761:1-20769:1

Memory statistics: total=66365.20MB, max=534.03MB, minor=66351.93MB, major=2093.95MB, promoted=2080.69MB
    minor collections=31655  major collections=33 compactions=0


runtime: 00:03:01.190
vars: 30892, evals: 60563

|rho|=30892
|called|=215
|stable|=25936
|infl|=30692
|wpoint|=178
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28657
Found 1336 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
67	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=71044.14MB, max=614.13MB, minor=71030.61MB, major=2243.57MB, promoted=2230.05MB
    minor collections=33887  major collections=34 compactions=0


runtime: 00:03:11.214
vars: 31515, evals: 62529

|rho|=31515
|called|=151
|stable|=26559
|infl|=31410
|wpoint|=177
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29253
Found 1363 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
74	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=74764.02MB, max=614.13MB, minor=74750.42MB, major=2365.61MB, promoted=2352.02MB
    minor collections=35661  major collections=34 compactions=0


runtime: 00:03:21.221
vars: 32071, evals: 63621

|rho|=32071
|called|=184
|stable|=27023
|infl|=31964
|wpoint|=177
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29783
Found 1389 contexts for 83 functions. Top 5 functions:
190	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
96	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
81	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=77013.77MB, max=614.13MB, minor=77000.15MB, major=2422.09MB, promoted=2408.48MB
    minor collections=36733  major collections=34 compactions=0


runtime: 00:03:31.237
vars: 33063, evals: 65704

|rho|=33063
|called|=130
|stable|=28086
|infl|=32953
|wpoint|=181
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30708
Found 1456 contexts for 83 functions. Top 5 functions:
234	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
98	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
82	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
50	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=80556.68MB, max=706.25MB, minor=80541.94MB, major=2520.43MB, promoted=2505.69MB
    minor collections=38423  major collections=35 compactions=0


runtime: 00:03:41.249
vars: 35174, evals: 70234

|rho|=35174
|called|=77
|stable|=30238
|infl|=35069
|wpoint|=184
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32786
Found 1489 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
100	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
82	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=85931.39MB, max=706.25MB, minor=85916.01MB, major=2710.70MB, promoted=2695.32MB
    minor collections=40986  major collections=36 compactions=0


runtime: 00:03:51.265
vars: 37505, evals: 74185

|rho|=37505
|called|=190
|stable|=32399
|infl|=37398
|wpoint|=200
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34948
Found 1658 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
90	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=90864.70MB, max=706.25MB, minor=90849.13MB, major=2880.68MB, promoted=2865.12MB
    minor collections=43339  major collections=37 compactions=0


runtime: 00:04:01.272
vars: 38055, evals: 75501

|rho|=38055
|called|=128
|stable|=32933
|infl|=37943
|wpoint|=198
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35473
Found 1683 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
96	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=93680.61MB, max=706.25MB, minor=93664.50MB, major=2960.64MB, promoted=2944.52MB
    minor collections=44681  major collections=37 compactions=0


runtime: 00:04:11.288
vars: 38198, evals: 76220

|rho|=38198
|called|=164
|stable|=33242
|infl|=38093
|wpoint|=200
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35612
Found 1687 contexts for 83 functions. Top 5 functions:
236	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
120	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=95794.37MB, max=812.19MB, minor=95778.24MB, major=3013.04MB, promoted=2996.91MB
    minor collections=45689  major collections=37 compactions=0


runtime: 00:04:21.304
vars: 39576, evals: 79488

|rho|=39576
|called|=113
|stable|=34620
|infl|=39474
|wpoint|=201
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36916
Found 1761 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
124	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
60	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=100509.59MB, max=812.19MB, minor=100493.37MB, major=3140.26MB, promoted=3124.04MB
    minor collections=47938  major collections=38 compactions=0


runtime: 00:04:31.324
vars: 42102, evals: 84008

|rho|=42102
|called|=82
|stable|=37354
|infl|=42000
|wpoint|=208
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39352
Found 1851 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
124	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
90	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=105551.23MB, max=934.02MB, minor=105534.86MB, major=3321.93MB, promoted=3305.57MB
    minor collections=50342  major collections=38 compactions=0


runtime: 00:04:41.336
vars: 42867, evals: 86250

|rho|=42867
|called|=93
|stable|=37773
|infl|=42763
|wpoint|=220
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40048
Found 1920 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=110028.17MB, max=934.02MB, minor=110011.75MB, major=3463.38MB, promoted=3446.96MB
    minor collections=52477  major collections=39 compactions=0


runtime: 00:04:51.371
vars: 43870, evals: 89450

|rho|=43870
|called|=17
|stable|=38925
|infl|=43774
|wpoint|=289
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41017
Found 1954 contexts for 83 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
98	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=114483.55MB, max=934.02MB, minor=114467.06MB, major=3610.21MB, promoted=3593.72MB
    minor collections=54602  major collections=39 compactions=0


runtime: 00:05:01.379
vars: 46587, evals: 94042

|rho|=46587
|called|=148
|stable|=41147
|infl|=46456
|wpoint|=297
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43669
Found 2015 contexts for 84 functions. Top 5 functions:
282	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
144	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
110	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=118482.39MB, max=934.02MB, minor=118465.79MB, major=3724.28MB, promoted=3707.69MB
    minor collections=56509  major collections=40 compactions=0


runtime: 00:05:11.395
vars: 47783, evals: 96832

|rho|=47783
|called|=139
|stable|=42506
|infl|=47654
|wpoint|=299
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44781
Found 2099 contexts for 84 functions. Top 5 functions:
327	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
146	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
114	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
72	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=122183.76MB, max=934.02MB, minor=122167.08MB, major=3811.89MB, promoted=3795.20MB
    minor collections=58274  major collections=40 compactions=0


runtime: 00:05:21.439
vars: 50031, evals: 101712

|rho|=50031
|called|=94
|stable|=44791
|infl|=49915
|wpoint|=303
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46993
Found 2135 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
148	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
114	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
84	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=126815.07MB, max=1074.12MB, minor=126798.28MB, major=3945.12MB, promoted=3928.33MB
    minor collections=60482  major collections=40 compactions=0


runtime: 00:05:31.446
vars: 52759, evals: 106152

|rho|=52759
|called|=224
|stable|=47404
|infl|=52646
|wpoint|=322
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=49529
Found 2327 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
122	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=131986.06MB, max=1074.12MB, minor=131969.08MB, major=4106.69MB, promoted=4089.70MB
    minor collections=62948  major collections=41 compactions=0


runtime: 00:05:41.466
vars: 53300, evals: 107405

|rho|=53300
|called|=133
|stable|=47874
|infl|=53183
|wpoint|=320
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=50046
Found 2351 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
128	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=134877.40MB, max=1074.12MB, minor=134860.39MB, major=4185.35MB, promoted=4168.33MB
    minor collections=64327  major collections=41 compactions=0


runtime: 00:05:51.474
vars: 53452, evals: 108132

|rho|=53452
|called|=137
|stable|=48192
|infl|=53341
|wpoint|=322
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=50193
Found 2356 contexts for 84 functions. Top 5 functions:
331	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
168	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=137125.41MB, max=1074.12MB, minor=137108.39MB, major=4240.11MB, promoted=4223.09MB
    minor collections=65399  major collections=41 compactions=0


runtime: 00:06:01.485
vars: 54830, evals: 111403

|rho|=54830
|called|=115
|stable|=49573
|infl|=54722
|wpoint|=323
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51497
Found 2430 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
172	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
86	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=142070.74MB, max=1074.12MB, minor=142053.64MB, major=4372.49MB, promoted=4355.39MB
    minor collections=67758  major collections=42 compactions=0


runtime: 00:06:11.517
vars: 57356, evals: 115930

|rho|=57356
|called|=83
|stable|=52314
|infl|=57248
|wpoint|=330
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53933
Found 2520 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
172	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
130	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
126	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=147324.24MB, max=1235.24MB, minor=147307.01MB, major=4556.64MB, promoted=4539.41MB
    minor collections=70263  major collections=42 compactions=0


runtime: 00:06:21.529
vars: 59012, evals: 118791

|rho|=59012
|called|=195
|stable|=53663
|infl|=58895
|wpoint|=343
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55483
Found 2626 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
192	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
138	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=151789.13MB, max=1235.24MB, minor=151771.81MB, major=4707.57MB, promoted=4690.25MB
    minor collections=72392  major collections=42 compactions=0


runtime: 00:06:31.541
vars: 59504, evals: 120055

|rho|=59504
|called|=206
|stable|=54149
|infl|=59391
|wpoint|=345
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55950
Found 2651 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
192	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
145	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=154471.56MB, max=1235.24MB, minor=154454.22MB, major=4780.43MB, promoted=4763.08MB
    minor collections=73671  major collections=43 compactions=0


runtime: 00:06:41.548
vars: 59574, evals: 120737

|rho|=59574
|called|=123
|stable|=54314
|infl|=59463
|wpoint|=344
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56018
Found 2653 contexts for 84 functions. Top 5 functions:
377	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
192	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
96	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=156822.44MB, max=1235.24MB, minor=156805.08MB, major=4840.80MB, promoted=4823.44MB
    minor collections=74792  major collections=43 compactions=0


runtime: 00:06:51.564
vars: 61414, evals: 124607

|rho|=61414
|called|=102
|stable|=56168
|infl|=61304
|wpoint|=347
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57777
Found 2734 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
196	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
144	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
100	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=162256.42MB, max=1235.24MB, minor=162238.97MB, major=4999.61MB, promoted=4982.15MB
    minor collections=77383  major collections=43 compactions=0


runtime: 00:07:01.580
vars: 64030, evals: 128961

|rho|=64030
|called|=80
|stable|=59069
|infl|=63922
|wpoint|=356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=60247
Found 2880 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=167664.84MB, max=1235.24MB, minor=167647.25MB, major=5180.09MB, promoted=5162.50MB
    minor collections=79963  major collections=44 compactions=0


runtime: 00:07:11.599
vars: 64314, evals: 130822

|rho|=64314
|called|=93
|stable|=58798
|infl|=64204
|wpoint|=364
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=60524
Found 2887 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
146	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=171957.18MB, max=1420.53MB, minor=171939.56MB, major=5312.84MB, promoted=5295.22MB
    minor collections=82010  major collections=44 compactions=0


runtime: 00:07:21.619
vars: 67205, evals: 135912

|rho|=67205
|called|=188
|stable|=61641
|infl|=67033
|wpoint|=442
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63351
Found 2950 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
148	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=176790.71MB, max=1420.53MB, minor=176770.92MB, major=5464.25MB, promoted=5444.46MB
    minor collections=84313  major collections=44 compactions=0


runtime: 00:07:31.627
vars: 67897, evals: 137935

|rho|=67897
|called|=142
|stable|=62161
|infl|=67772
|wpoint|=441
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=64013
Found 2980 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
156	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=180522.53MB, max=1420.53MB, minor=180502.68MB, major=5576.66MB, promoted=5556.81MB
    minor collections=86093  major collections=45 compactions=0


runtime: 00:07:41.639
vars: 68391, evals: 138891

|rho|=68391
|called|=195
|stable|=62735
|infl|=68274
|wpoint|=443
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=64482
Found 3005 contexts for 84 functions. Top 5 functions:
423	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
216	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
162	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=182558.28MB, max=1420.53MB, minor=182538.41MB, major=5622.29MB, promoted=5602.41MB
    minor collections=87064  major collections=45 compactions=0


runtime: 00:07:51.646
vars: 69165, evals: 140534

|rho|=69165
|called|=137
|stable|=63595
|infl|=69039
|wpoint|=444
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=65193
Found 3068 contexts for 84 functions. Top 5 functions:
466	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
218	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
108	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=185718.05MB, max=1420.53MB, minor=185698.13MB, major=5695.78MB, promoted=5675.86MB
    minor collections=88571  major collections=45 compactions=0


runtime: 00:08:01.670
vars: 71335, evals: 145219

|rho|=71335
|called|=97
|stable|=65786
|infl|=71221
|wpoint|=448
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=67332
Found 3099 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
220	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
163	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
162	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
120	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=191232.46MB, max=1420.53MB, minor=191210.36MB, major=5876.59MB, promoted=5854.49MB
    minor collections=91199  major collections=45 compactions=0


runtime: 00:08:11.677
vars: 73706, evals: 149130

|rho|=73706
|called|=144
|stable|=67976
|infl|=73581
|wpoint|=464
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=69530
Found 3272 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
165	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=196709.80MB, max=1420.53MB, minor=196687.56MB, major=6048.46MB, promoted=6026.21MB
    minor collections=93812  major collections=46 compactions=0


runtime: 00:08:21.685
vars: 74498, evals: 150912

|rho|=74498
|called|=140
|stable|=68767
|infl|=74374
|wpoint|=465
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70288
Found 3306 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
176	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=200099.16MB, max=1420.53MB, minor=200076.80MB, major=6148.54MB, promoted=6126.18MB
    minor collections=95428  major collections=46 compactions=0


runtime: 00:08:31.713
vars: 74833, evals: 151761

|rho|=74833
|called|=229
|stable|=69265
|infl|=74722
|wpoint|=469
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70603
Found 3326 contexts for 84 functions. Top 5 functions:
469	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
240	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=202276.69MB, max=1420.53MB, minor=202254.31MB, major=6197.24MB, promoted=6174.87MB
    minor collections=96466  major collections=46 compactions=0


runtime: 00:08:41.728
vars: 76016, evals: 154457

|rho|=76016
|called|=138
|stable|=70429
|infl|=75900
|wpoint|=470
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=71716
Found 3396 contexts for 84 functions. Top 5 functions:
514	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
243	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
122	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=206590.05MB, max=1633.61MB, minor=206567.62MB, major=6310.05MB, promoted=6287.62MB
    minor collections=98523  major collections=46 compactions=0


runtime: 00:08:51.736
vars: 78076, evals: 158734

|rho|=78076
|called|=84
|stable|=72674
|infl|=77964
|wpoint|=468
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=73736
Found 3436 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
244	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
180	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=212365.97MB, max=1633.61MB, minor=212343.46MB, major=6510.37MB, promoted=6487.85MB
    minor collections=101278  major collections=47 compactions=0


runtime: 00:09:01.755
vars: 79502, evals: 161391

|rho|=79502
|called|=104
|stable|=73812
|infl|=79392
|wpoint|=487
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75039
Found 3559 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=217314.99MB, max=1633.61MB, minor=217292.38MB, major=6661.74MB, promoted=6639.13MB
    minor collections=103637  major collections=47 compactions=0


runtime: 00:09:11.787
vars: 79686, evals: 163907

|rho|=79686
|called|=167
|stable|=73515
|infl|=79578
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75221
Found 3561 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=221827.34MB, max=1633.61MB, minor=221804.68MB, major=6796.06MB, promoted=6773.40MB
    minor collections=105789  major collections=47 compactions=0


runtime: 00:09:21.795
vars: 80012, evals: 166268

|rho|=80012
|called|=80
|stable|=74032
|infl|=79904
|wpoint|=555
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75544
Found 3564 contexts for 84 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
132	contexts for entry state of yytnamerr (10071) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17653:1-17698:1

Memory statistics: total=226779.43MB, max=1633.61MB, minor=226756.72MB, major=6938.86MB, promoted=6916.15MB
    minor collections=108150  major collections=47 compactions=0


runtime: 00:09:31.802
vars: 82233, evals: 172407

|rho|=82233
|called|=110
|stable|=75881
|infl|=82049
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=77675
Found 3617 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=231503.47MB, max=1633.61MB, minor=231480.67MB, major=7067.86MB, promoted=7045.06MB
    minor collections=110404  major collections=48 compactions=0


runtime: 00:09:41.826
vars: 83675, evals: 177918

|rho|=83675
|called|=220
|stable|=76693
|infl|=83379
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=79103
Found 3631 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=236396.02MB, max=1633.61MB, minor=236373.12MB, major=7208.88MB, promoted=7185.98MB
    minor collections=112736  major collections=48 compactions=0


runtime: 00:09:51.857
vars: 85220, evals: 183585

|rho|=85220
|called|=341
|stable|=77608
|infl|=84804
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=80633
Found 3646 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=241372.03MB, max=1878.66MB, minor=241349.03MB, major=7351.08MB, promoted=7328.08MB
    minor collections=115109  major collections=48 compactions=0


runtime: 00:10:01.865
vars: 86681, evals: 189226

|rho|=86681
|called|=462
|stable|=78394
|infl|=86140
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=82079
Found 3661 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=246462.46MB, max=1878.66MB, minor=246439.36MB, major=7495.19MB, promoted=7472.08MB
    minor collections=117536  major collections=48 compactions=0


runtime: 00:10:11.873
vars: 88207, evals: 194788

|rho|=88207
|called|=572
|stable|=79290
|infl|=87559
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=83591
Found 3675 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=251440.91MB, max=1878.66MB, minor=251417.69MB, major=7639.05MB, promoted=7615.83MB
    minor collections=119911  major collections=49 compactions=0


runtime: 00:10:21.884
vars: 89649, evals: 200243

|rho|=89649
|called|=687
|stable|=80057
|infl|=88889
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=85019
Found 3689 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=256400.87MB, max=1878.66MB, minor=256377.55MB, major=7780.07MB, promoted=7756.75MB
    minor collections=122276  major collections=49 compactions=0


runtime: 00:10:31.900
vars: 91091, evals: 205762

|rho|=91091
|called|=796
|stable|=80869
|infl|=90219
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=86447
Found 3703 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=261390.99MB, max=1878.66MB, minor=261367.58MB, major=7918.22MB, promoted=7894.81MB
    minor collections=124655  major collections=49 compactions=0


runtime: 00:10:41.911
vars: 92636, evals: 211386

|rho|=92636
|called|=916
|stable|=81784
|infl|=91644
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=87977
Found 3718 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=266462.37MB, max=1878.66MB, minor=266438.87MB, major=8060.69MB, promoted=8037.19MB
    minor collections=127074  major collections=49 compactions=0


runtime: 00:10:51.919
vars: 94078, evals: 216841

|rho|=94078
|called|=1033
|stable|=82551
|infl|=92974
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=89405
Found 3732 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
138	contexts for entry state of yy_symbol_print (10067) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:17572:1-17588:1

Memory statistics: total=271439.45MB, max=1878.66MB, minor=271415.85MB, major=8200.88MB, promoted=8177.28MB
    minor collections=129447  major collections=50 compactions=0


runtime: 00:11:01.946
vars: 95520, evals: 222245

|rho|=95520
|called|=1178
|stable|=83363
|infl|=94304
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=90833
Found 3746 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
142	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=276403.67MB, max=1878.66MB, minor=276379.97MB, major=8338.53MB, promoted=8314.83MB
    minor collections=131815  major collections=50 compactions=0


runtime: 00:11:11.998
vars: 96962, evals: 227592

|rho|=96962
|called|=1252
|stable|=84220
|infl|=95634
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=92261
Found 3760 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
156	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=281355.08MB, max=2160.46MB, minor=281331.28MB, major=8479.24MB, promoted=8455.44MB
    minor collections=134176  major collections=50 compactions=0


runtime: 00:11:22.009
vars: 98404, evals: 233005

|rho|=98404
|called|=1364
|stable|=85032
|infl|=96964
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=93689
Found 3774 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
170	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1

Memory statistics: total=286270.91MB, max=2160.46MB, minor=286247.06MB, major=8617.64MB, promoted=8593.78MB
    minor collections=136520  major collections=50 compactions=0


runtime: 00:11:32.017
vars: 99846, evals: 238460

|rho|=99846
|called|=1476
|stable|=85799
|infl|=98294
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=95117
Found 3788 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
184	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=291293.04MB, max=2160.46MB, minor=291269.10MB, major=8757.83MB, promoted=8733.90MB
    minor collections=138914  major collections=50 compactions=0


runtime: 00:11:42.024
vars: 101239, evals: 243699

|rho|=101239
|called|=1587
|stable|=86607
|infl|=99573
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=96496
Found 3802 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
198	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=296216.11MB, max=2160.46MB, minor=296192.09MB, major=8893.28MB, promoted=8869.27MB
    minor collections=141262  major collections=51 compactions=0


runtime: 00:11:52.040
vars: 102627, evals: 248945

|rho|=102627
|called|=1693
|stable|=87365
|infl|=100859
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=97871
Found 3815 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
211	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=301159.53MB, max=2160.46MB, minor=301135.43MB, major=9030.88MB, promoted=9006.78MB
    minor collections=143620  major collections=51 compactions=0


runtime: 00:12:02.099
vars: 104015, evals: 254104

|rho|=104015
|called|=1806
|stable|=88168
|infl|=102130
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=99245
Found 3829 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
225	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=306027.91MB, max=2160.46MB, minor=306003.71MB, major=9158.12MB, promoted=9133.93MB
    minor collections=145941  major collections=51 compactions=0


runtime: 00:12:12.111
vars: 105408, evals: 259416

|rho|=105408
|called|=1913
|stable|=88931
|infl|=103424
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=100625
Found 3842 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
238	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=310932.58MB, max=2160.46MB, minor=310908.33MB, major=9296.45MB, promoted=9272.20MB
    minor collections=148280  major collections=51 compactions=0


runtime: 00:12:22.118
vars: 106850, evals: 264714

|rho|=106850
|called|=2021
|stable|=89743
|infl|=104754
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=102053
Found 3856 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
252	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=315857.71MB, max=2160.46MB, minor=315833.36MB, major=9433.06MB, promoted=9408.71MB
    minor collections=150628  major collections=51 compactions=0


runtime: 00:12:32.126
vars: 108189, evals: 269838

|rho|=108189
|called|=2123
|stable|=90497
|infl|=105989
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=103379
Found 3869 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
265	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=320714.86MB, max=2160.46MB, minor=320690.43MB, major=9566.11MB, promoted=9541.68MB
    minor collections=152945  major collections=52 compactions=0


runtime: 00:12:42.141
vars: 109528, evals: 274900

|rho|=109528
|called|=2227
|stable|=91251
|infl|=107224
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=104705
Found 3882 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
278	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=325522.46MB, max=2160.46MB, minor=325497.96MB, major=9696.31MB, promoted=9671.81MB
    minor collections=155237  major collections=52 compactions=0


runtime: 00:12:52.165
vars: 110867, evals: 279918

|rho|=110867
|called|=2345
|stable|=92005
|infl|=108459
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=106031
Found 3895 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
291	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=330351.62MB, max=2484.53MB, minor=330327.03MB, major=9826.26MB, promoted=9801.66MB
    minor collections=157540  major collections=52 compactions=0


runtime: 00:13:02.204
vars: 112206, evals: 284892

|rho|=112206
|called|=2434
|stable|=92759
|infl|=109694
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=107357
Found 3908 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
304	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=335076.95MB, max=2484.53MB, minor=335052.28MB, major=9962.77MB, promoted=9938.11MB
    minor collections=159793  major collections=52 compactions=0


runtime: 00:13:12.216
vars: 113570, evals: 289978

|rho|=113570
|called|=2550
|stable|=93538
|infl|=110941
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=108707
Found 3922 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
318	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=339826.85MB, max=2484.53MB, minor=339802.13MB, major=10095.70MB, promoted=10070.99MB
    minor collections=162058  major collections=52 compactions=0


runtime: 00:13:22.223
vars: 114987, evals: 295136

|rho|=114987
|called|=2685
|stable|=94370
|infl|=112259
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=110111
Found 3935 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
331	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=344684.66MB, max=2484.53MB, minor=344659.88MB, major=10227.76MB, promoted=10202.98MB
    minor collections=164374  major collections=52 compactions=0


runtime: 00:13:32.231
vars: 116254, evals: 300020

|rho|=116254
|called|=2756
|stable|=95052
|infl|=113419
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=111365
Found 3948 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
344	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=349420.37MB, max=2484.53MB, minor=349395.51MB, major=10359.10MB, promoted=10334.25MB
    minor collections=166633  major collections=53 compactions=0


runtime: 00:13:42.238
vars: 117562, evals: 304909

|rho|=117562
|called|=2853
|stable|=95775
|infl|=114634
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=112661
Found 3960 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
356	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=354153.24MB, max=2484.53MB, minor=354128.31MB, major=10487.93MB, promoted=10463.00MB
    minor collections=168890  major collections=53 compactions=0


runtime: 00:13:52.266
vars: 118852, evals: 309700

|rho|=118852
|called|=2956
|stable|=96523
|infl|=115818
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=113938
Found 3973 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
369	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=358864.44MB, max=2484.53MB, minor=358839.42MB, major=10612.04MB, promoted=10587.02MB
    minor collections=171136  major collections=53 compactions=0


runtime: 00:14:02.313
vars: 120137, evals: 314505

|rho|=120137
|called|=3052
|stable|=97225
|infl|=117009
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=115211
Found 3985 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
381	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=363541.39MB, max=2857.21MB, minor=363516.29MB, major=10738.45MB, promoted=10713.35MB
    minor collections=173367  major collections=53 compactions=0


runtime: 00:14:12.321
vars: 121373, evals: 319290

|rho|=121373
|called|=3173
|stable|=97921
|infl|=118149
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=116435
Found 3997 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
393	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=368114.83MB, max=2857.21MB, minor=368084.88MB, major=10867.39MB, promoted=10837.43MB
    minor collections=175545  major collections=53 compactions=0


runtime: 00:14:22.328
vars: 122712, evals: 324105

|rho|=122712
|called|=3254
|stable|=98675
|infl|=119384
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=117761
Found 4010 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
406	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=372736.86MB, max=2857.21MB, minor=372706.76MB, major=10991.90MB, promoted=10961.80MB
    minor collections=177749  major collections=53 compactions=0


runtime: 00:14:32.336
vars: 123948, evals: 328851

|rho|=123948
|called|=3348
|stable|=99370
|infl|=120524
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=118985
Found 4022 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
418	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=377372.22MB, max=2857.21MB, minor=377341.98MB, major=11116.43MB, promoted=11086.18MB
    minor collections=179960  major collections=54 compactions=0


runtime: 00:14:42.343
vars: 125184, evals: 333422

|rho|=125184
|called|=3443
|stable|=100067
|infl|=121664
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=120209
Found 4034 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
430	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=381843.98MB, max=2857.21MB, minor=381813.59MB, major=11236.24MB, promoted=11205.85MB
    minor collections=182092  major collections=54 compactions=0


runtime: 00:14:52.369
vars: 126371, evals: 337883

|rho|=126371
|called|=3539
|stable|=100759
|infl|=122753
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=121384
Found 4046 contexts for 87 functions. Top 5 functions:
515	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
442	contexts for entry state of dump_node (9987) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:13189:1-13460:1
264	contexts for entry state of node_str_new (6346) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10606:1-10619:1
198	contexts for entry state of node_op_new (6269) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:10270:1-10286:1
179	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1

Memory statistics: total=386313.32MB, max=2857.21MB, minor=386282.78MB, major=11353.12MB, promoted=11322.59MB
    minor collections=184223  major collections=54 compactions=0

