./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.816
vars: 3159, evals: 4804

|rho|=3159
|called|=192
|stable|=2562
|infl|=3053
|wpoint|=12
|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=4709.01MB, max=132.00MB, minor=4699.62MB, major=181.59MB, promoted=172.20MB
    minor collections=2248  major collections=14 compactions=0


runtime: 00:00:20.831
vars: 4546, evals: 7841

|rho|=4546
|called|=146
|stable|=3935
|infl|=4422
|wpoint|=11
|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=8165.60MB, max=151.80MB, minor=8155.89MB, major=274.42MB, promoted=264.71MB
    minor collections=3897  major collections=16 compactions=0


runtime: 00:00:30.847
vars: 6710, evals: 12342

|rho|=6710
|called|=92
|stable|=6138
|infl|=6598
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5910
Found 187 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 yy_load_buffer_state (10085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20316:1-20328:1
11	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=11899.45MB, max=174.57MB, minor=11889.43MB, major=385.65MB, promoted=375.63MB
    minor collections=5678  major collections=18 compactions=0


runtime: 00:00:40.875
vars: 9723, evals: 16887

|rho|=9723
|called|=134
|stable|=4642
|infl|=9605
|wpoint|=31
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=8472
Found 372 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
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
23	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
19	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=16412.46MB, max=230.87MB, minor=16401.62MB, major=541.18MB, promoted=530.34MB
    minor collections=7831  major collections=20 compactions=0


runtime: 00:00:50.894
vars: 10465, evals: 18534

|rho|=10465
|called|=141
|stable|=5385
|infl|=10340
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9175
Found 411 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
31	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
19	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=19278.60MB, max=265.50MB, minor=19267.70MB, major=627.95MB, promoted=617.06MB
    minor collections=9198  major collections=21 compactions=0


runtime: 00:01:00.906
vars: 10675, evals: 19314

|rho|=10675
|called|=175
|stable|=5761
|infl|=10569
|wpoint|=34
|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=21348.85MB, max=265.50MB, minor=21337.95MB, major=680.60MB, promoted=669.69MB
    minor collections=10186  major collections=22 compactions=0


runtime: 00:01:10.922
vars: 12053, evals: 22582

|rho|=12053
|called|=114
|stable|=7139
|infl|=11950
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10679
Found 494 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=25822.86MB, max=305.32MB, minor=25811.82MB, major=804.70MB, promoted=793.65MB
    minor collections=12320  major collections=23 compactions=0


runtime: 00:01:20.938
vars: 14579, evals: 27139

|rho|=14579
|called|=82
|stable|=9912
|infl|=14476
|wpoint|=42
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13115
Found 584 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
24	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=30585.11MB, max=305.32MB, minor=30573.86MB, major=985.37MB, promoted=974.13MB
    minor collections=14591  major collections=25 compactions=0


runtime: 00:01:30.961
vars: 16179, evals: 30025

|rho|=16179
|called|=189
|stable|=11291
|infl|=16071
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14608
Found 691 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=34621.99MB, max=351.13MB, minor=34610.60MB, major=1131.13MB, promoted=1119.74MB
    minor collections=16517  major collections=27 compactions=0


runtime: 00:01:40.997
vars: 16739, evals: 31359

|rho|=16739
|called|=228
|stable|=11845
|infl|=16631
|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=37162.87MB, max=403.80MB, minor=37150.92MB, major=1207.57MB, promoted=1195.62MB
    minor collections=17729  major collections=27 compactions=0


runtime: 00:01:51.005
vars: 16809, evals: 32041

|rho|=16809
|called|=118
|stable|=12010
|infl|=16703
|wpoint|=56
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=15209
Found 720 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
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
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=39391.96MB, max=403.80MB, minor=39380.00MB, major=1265.10MB, promoted=1253.14MB
    minor collections=18792  major collections=28 compactions=0


runtime: 00:02:01.016
vars: 18649, evals: 35800

|rho|=18649
|called|=97
|stable|=13865
|infl|=18541
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=16968
Found 801 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=44106.90MB, max=403.80MB, minor=44094.53MB, major=1407.21MB, promoted=1394.83MB
    minor collections=21041  major collections=29 compactions=0


runtime: 00:02:11.032
vars: 21265, evals: 40251

|rho|=21265
|called|=75
|stable|=16751
|infl|=21162
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19438
Found 947 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=48907.82MB, max=464.37MB, minor=48894.97MB, major=1586.07MB, promoted=1573.23MB
    minor collections=23330  major collections=30 compactions=0


runtime: 00:02:21.060
vars: 21549, evals: 42182

|rho|=21549
|called|=88
|stable|=16494
|infl|=21444
|wpoint|=76
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19715
Found 954 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=53162.45MB, max=464.37MB, minor=53149.58MB, major=1729.25MB, promoted=1716.39MB
    minor collections=25359  major collections=31 compactions=0


runtime: 00:02:31.084
vars: 24450, evals: 47428

|rho|=24450
|called|=182
|stable|=19494
|infl|=24284
|wpoint|=154
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=22535
Found 1016 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
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
52	contexts for entry state of yy_fatal_error (10090) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:20621:1-20629:1
39	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=57456.37MB, max=534.03MB, minor=57443.40MB, major=1867.57MB, promoted=1854.60MB
    minor collections=27407  major collections=32 compactions=0


runtime: 00:02:41.103
vars: 25564, evals: 50414

|rho|=25564
|called|=211
|stable|=20513
|infl|=25457
|wpoint|=156
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23597
Found 1068 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=61029.62MB, max=534.03MB, minor=61016.51MB, major=1974.12MB, promoted=1961.01MB
    minor collections=29111  major collections=32 compactions=0


runtime: 00:02:51.115
vars: 26626, evals: 53182

|rho|=26626
|called|=132
|stable|=21649
|infl|=26516
|wpoint|=157
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24590
Found 1137 contexts for 83 functions. Top 5 functions:
187	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
74	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=64468.25MB, max=534.03MB, minor=64455.04MB, major=2058.64MB, promoted=2045.44MB
    minor collections=30751  major collections=33 compactions=0


runtime: 00:03:01.131
vars: 28954, evals: 57953

|rho|=28954
|called|=80
|stable|=24018
|infl|=28852
|wpoint|=161
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=26876
Found 1179 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
48	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=68821.56MB, max=614.13MB, minor=68808.22MB, major=2189.81MB, promoted=2176.47MB
    minor collections=32828  major collections=34 compactions=0


runtime: 00:03:11.154
vars: 31450, evals: 62018

|rho|=31450
|called|=189
|stable|=26405
|infl|=31343
|wpoint|=178
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29189
Found 1362 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=73327.29MB, max=614.13MB, minor=73313.71MB, major=2341.17MB, promoted=2327.59MB
    minor collections=34976  major collections=34 compactions=0


runtime: 00:03:21.170
vars: 32006, evals: 63345

|rho|=32006
|called|=200
|stable|=26955
|infl|=31899
|wpoint|=179
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29719
Found 1388 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=75989.80MB, max=614.13MB, minor=75976.18MB, major=2417.60MB, promoted=2403.98MB
    minor collections=36246  major collections=35 compactions=0


runtime: 00:03:31.186
vars: 32076, evals: 63856

|rho|=32076
|called|=116
|stable|=27120
|infl|=31971
|wpoint|=176
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29787
Found 1390 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
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=78071.06MB, max=614.13MB, minor=78057.43MB, major=2469.42MB, promoted=2455.79MB
    minor collections=37239  major collections=35 compactions=0


runtime: 00:03:41.198
vars: 33567, evals: 67288

|rho|=33567
|called|=125
|stable|=28626
|infl|=33434
|wpoint|=181
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31200
Found 1468 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
51	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=82753.57MB, max=706.25MB, minor=82738.79MB, major=2599.21MB, promoted=2584.42MB
    minor collections=39471  major collections=36 compactions=0


runtime: 00:03:51.217
vars: 36025, evals: 71708

|rho|=36025
|called|=76
|stable|=31295
|infl|=35921
|wpoint|=187
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=33567
Found 1559 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
101	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
73	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=87604.05MB, max=706.25MB, minor=87588.59MB, major=2776.41MB, promoted=2760.95MB
    minor collections=41784  major collections=36 compactions=0


runtime: 00:04:01.233
vars: 37621, evals: 74496

|rho|=37621
|called|=189
|stable|=32576
|infl|=37509
|wpoint|=198
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35062
Found 1660 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=91718.76MB, max=706.25MB, minor=91703.19MB, major=2923.18MB, promoted=2907.61MB
    minor collections=43747  major collections=37 compactions=0


runtime: 00:04:11.265
vars: 38128, evals: 75779

|rho|=38128
|called|=186
|stable|=33077
|infl|=38021
|wpoint|=200
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35544
Found 1685 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
97	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=94329.16MB, max=812.19MB, minor=94313.04MB, major=2997.90MB, promoted=2981.78MB
    minor collections=44991  major collections=37 compactions=0


runtime: 00:04:21.276
vars: 38606, evals: 76838

|rho|=38606
|called|=143
|stable|=33644
|infl|=38473
|wpoint|=198
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35969
Found 1738 contexts for 83 functions. Top 5 functions:
279	contexts for entry state of lex_return (10101) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:19549:1-19558:1
122	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=97131.52MB, max=812.19MB, minor=97115.37MB, major=3070.03MB, promoted=3053.87MB
    minor collections=46327  major collections=37 compactions=0


runtime: 00:04:31.312
vars: 40038, evals: 80346

|rho|=40038
|called|=99
|stable|=35097
|infl|=39934
|wpoint|=203
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37371
Found 1768 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
64	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=101713.69MB, max=812.19MB, minor=101697.44MB, major=3211.64MB, promoted=3195.40MB
    minor collections=48513  major collections=38 compactions=0


runtime: 00:04:41.324
vars: 42654, evals: 84684

|rho|=42654
|called|=74
|stable|=37996
|infl|=42552
|wpoint|=212
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39841
Found 1914 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=106646.48MB, max=934.02MB, minor=106630.08MB, major=3383.34MB, promoted=3366.93MB
    minor collections=50865  major collections=39 compactions=0


runtime: 00:04:51.343
vars: 42938, evals: 86599

|rho|=42938
|called|=91
|stable|=37723
|infl|=42834
|wpoint|=220
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40118
Found 1921 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=110858.58MB, max=934.02MB, minor=110842.16MB, major=3519.44MB, promoted=3503.01MB
    minor collections=52874  major collections=39 compactions=0


runtime: 00:05:01.355
vars: 45826, evals: 91704

|rho|=45826
|called|=188
|stable|=40566
|infl|=45654
|wpoint|=298
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42941
Found 1982 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
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
100	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=115268.78MB, max=934.02MB, minor=115252.26MB, major=3655.03MB, promoted=3638.51MB
    minor collections=54977  major collections=40 compactions=0


runtime: 00:05:11.395
vars: 46940, evals: 94628

|rho|=46940
|called|=192
|stable|=41585
|infl|=46827
|wpoint|=299
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44003
Found 2034 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
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=119024.61MB, max=934.02MB, minor=119007.99MB, major=3763.23MB, promoted=3746.61MB
    minor collections=56768  major collections=40 compactions=0


runtime: 00:05:21.410
vars: 48002, evals: 97305

|rho|=48002
|called|=126
|stable|=42738
|infl|=47886
|wpoint|=300
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44996
Found 2103 contexts for 84 functions. Top 5 functions:
328	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=122673.75MB, max=1074.12MB, minor=122657.06MB, major=3848.66MB, promoted=3831.96MB
    minor collections=58508  major collections=40 compactions=0


runtime: 00:05:31.422
vars: 50330, evals: 102163

|rho|=50330
|called|=86
|stable|=45074
|infl|=50222
|wpoint|=305
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=47282
Found 2145 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=127350.69MB, max=1074.12MB, minor=127333.88MB, major=3983.95MB, promoted=3967.15MB
    minor collections=60739  major collections=41 compactions=0


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

|rho|=52759
|called|=192
|stable|=47404
|infl|=52646
|wpoint|=321
|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=132211.65MB, max=1074.12MB, minor=132194.67MB, major=4139.36MB, promoted=4122.38MB
    minor collections=63057  major collections=41 compactions=0


runtime: 00:05:51.445
vars: 53382, evals: 107560

|rho|=53382
|called|=190
|stable|=47966
|infl|=53269
|wpoint|=322
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=50125
Found 2354 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
129	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=135074.94MB, max=1074.12MB, minor=135057.94MB, major=4217.37MB, promoted=4200.36MB
    minor collections=64422  major collections=41 compactions=0


runtime: 00:06:01.453
vars: 53452, evals: 108132

|rho|=53452
|called|=146
|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=137266.17MB, max=1074.12MB, minor=137249.15MB, major=4272.18MB, promoted=4255.17MB
    minor collections=65467  major collections=42 compactions=0


runtime: 00:06:11.461
vars: 54830, evals: 111389

|rho|=54830
|called|=119
|stable|=49559
|infl|=54721
|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=141691.05MB, max=1074.12MB, minor=141673.95MB, major=4393.17MB, promoted=4376.07MB
    minor collections=67577  major collections=42 compactions=0


runtime: 00:06:21.493
vars: 57297, evals: 115698

|rho|=57297
|called|=85
|stable|=52243
|infl|=57184
|wpoint|=328
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53877
Found 2517 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=147128.74MB, max=1074.12MB, minor=147111.53MB, major=4577.28MB, promoted=4560.06MB
    minor collections=70170  major collections=42 compactions=0


runtime: 00:06:31.504
vars: 58948, evals: 118662

|rho|=58948
|called|=191
|stable|=53599
|infl|=58835
|wpoint|=343
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55420
Found 2625 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=151581.39MB, max=1074.12MB, minor=151564.08MB, major=4725.44MB, promoted=4708.12MB
    minor collections=72294  major collections=43 compactions=0


runtime: 00:06:41.532
vars: 59504, evals: 119985

|rho|=59504
|called|=209
|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=154303.73MB, max=1235.24MB, minor=154286.38MB, major=4800.25MB, promoted=4782.90MB
    minor collections=73592  major collections=43 compactions=0


runtime: 00:06:51.571
vars: 59574, evals: 120637

|rho|=59574
|called|=188
|stable|=54219
|infl|=59463
|wpoint|=343
|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=156517.18MB, max=1235.24MB, minor=156499.83MB, major=4855.06MB, promoted=4837.70MB
    minor collections=74647  major collections=43 compactions=0


runtime: 00:07:01.583
vars: 61161, evals: 124054

|rho|=61161
|called|=108
|stable|=55916
|infl|=61045
|wpoint|=347
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57526
Found 2732 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
98	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=161554.64MB, max=1235.24MB, minor=161537.20MB, major=4988.20MB, promoted=4970.76MB
    minor collections=77050  major collections=44 compactions=0


runtime: 00:07:11.599
vars: 63478, evals: 128284

|rho|=63478
|called|=85
|stable|=58426
|infl|=63370
|wpoint|=352
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59758
Found 2817 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
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=166635.78MB, max=1235.24MB, minor=166618.23MB, major=5164.86MB, promoted=5147.30MB
    minor collections=79473  major collections=44 compactions=0


runtime: 00:07:21.626
vars: 64243, evals: 130475

|rho|=64243
|called|=105
|stable|=58860
|infl|=64133
|wpoint|=364
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=60454
Found 2886 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=171262.39MB, max=1420.53MB, minor=171244.79MB, major=5312.93MB, promoted=5295.32MB
    minor collections=81679  major collections=44 compactions=0


runtime: 00:07:31.638
vars: 64532, evals: 133015

|rho|=64532
|called|=27
|stable|=59283
|infl|=64426
|wpoint|=432
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=60736
Found 2893 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=175833.94MB, max=1420.53MB, minor=175816.28MB, major=5458.63MB, promoted=5440.97MB
    minor collections=83859  major collections=45 compactions=0


runtime: 00:07:41.654
vars: 67832, evals: 137717

|rho|=67832
|called|=205
|stable|=62265
|infl|=67721
|wpoint|=444
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63950
Found 2978 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
155	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=179961.45MB, max=1420.53MB, minor=179941.61MB, major=5581.76MB, promoted=5561.92MB
    minor collections=85827  major collections=45 compactions=0


runtime: 00:07:51.685
vars: 68391, evals: 138895

|rho|=68391
|called|=194
|stable|=62735
|infl|=68274
|wpoint|=442
|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=182375.50MB, max=1420.53MB, minor=182355.63MB, major=5642.93MB, promoted=5623.06MB
    minor collections=86978  major collections=45 compactions=0


runtime: 00:08:01.693
vars: 69384, evals: 141062

|rho|=69384
|called|=138
|stable|=63797
|infl|=69268
|wpoint|=446
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=65408
Found 3072 contexts for 84 functions. Top 5 functions:
467	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=185862.57MB, max=1420.53MB, minor=185842.64MB, major=5725.81MB, promoted=5705.88MB
    minor collections=88640  major collections=45 compactions=0


runtime: 00:08:11.709
vars: 71382, evals: 145365

|rho|=71382
|called|=91
|stable|=65833
|infl|=71272
|wpoint|=449
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=67378
Found 3100 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=191119.03MB, max=1420.53MB, minor=191096.93MB, major=5895.22MB, promoted=5873.12MB
    minor collections=91146  major collections=46 compactions=0


runtime: 00:08:21.737
vars: 73641, evals: 149032

|rho|=73641
|called|=179
|stable|=67911
|infl|=73530
|wpoint|=463
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=69467
Found 3270 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
164	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=196283.11MB, max=1420.53MB, minor=196260.87MB, major=6059.90MB, promoted=6037.65MB
    minor collections=93609  major collections=46 compactions=0


runtime: 00:08:31.752
vars: 74508, evals: 150944

|rho|=74508
|called|=150
|stable|=68777
|infl|=74385
|wpoint|=466
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70298
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=199766.68MB, max=1420.53MB, minor=199744.32MB, major=6160.34MB, promoted=6137.98MB
    minor collections=95270  major collections=46 compactions=0


runtime: 00:08:41.764
vars: 74833, evals: 151760

|rho|=74833
|called|=248
|stable|=69264
|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=201865.76MB, max=1420.53MB, minor=201843.38MB, major=6207.29MB, promoted=6184.91MB
    minor collections=96271  major collections=46 compactions=0


runtime: 00:08:51.772
vars: 76016, evals: 154459

|rho|=76016
|called|=138
|stable|=70431
|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=206204.21MB, max=1420.53MB, minor=206181.78MB, major=6321.17MB, promoted=6298.74MB
    minor collections=98340  major collections=47 compactions=0


runtime: 00:09:01.804
vars: 77999, evals: 158533

|rho|=77999
|called|=195
|stable|=72584
|infl|=77887
|wpoint|=467
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=73665
Found 3430 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=211648.22MB, max=1633.61MB, minor=211625.71MB, major=6512.41MB, promoted=6489.90MB
    minor collections=100936  major collections=47 compactions=0


runtime: 00:09:11.832
vars: 79502, evals: 161394

|rho|=79502
|called|=102
|stable|=73815
|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=216868.54MB, max=1633.61MB, minor=216845.93MB, major=6670.84MB, promoted=6648.23MB
    minor collections=103425  major collections=47 compactions=0


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

|rho|=79686
|called|=181
|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=221347.77MB, max=1633.61MB, minor=221325.11MB, major=6803.74MB, promoted=6781.08MB
    minor collections=105562  major collections=48 compactions=0


runtime: 00:09:31.855
vars: 80012, evals: 166226

|rho|=80012
|called|=81
|stable|=74026
|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=226223.52MB, max=1633.61MB, minor=226200.81MB, major=6946.24MB, promoted=6923.53MB
    minor collections=107886  major collections=48 compactions=0


runtime: 00:09:41.907
vars: 82129, evals: 172089

|rho|=82129
|called|=124
|stable|=75822
|infl|=81953
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=77573
Found 3616 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=230748.58MB, max=1633.61MB, minor=230725.78MB, major=7072.25MB, promoted=7049.45MB
    minor collections=110044  major collections=48 compactions=0


runtime: 00:09:51.922
vars: 83572, evals: 177628

|rho|=83572
|called|=224
|stable|=76635
|infl|=83284
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=79001
Found 3630 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=235586.57MB, max=1633.61MB, minor=235563.67MB, major=7205.63MB, promoted=7182.73MB
    minor collections=112351  major collections=48 compactions=0


runtime: 00:10:01.938
vars: 85068, evals: 183094

|rho|=85068
|called|=331
|stable|=77501
|infl|=84658
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=80482
Found 3645 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=240452.79MB, max=1633.61MB, minor=240429.80MB, major=7341.56MB, promoted=7318.57MB
    minor collections=114672  major collections=49 compactions=0


runtime: 00:10:11.946
vars: 86456, evals: 188347

|rho|=86456
|called|=435
|stable|=78258
|infl|=85944
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=81857
Found 3658 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=245208.67MB, max=1633.61MB, minor=245185.57MB, major=7482.04MB, promoted=7458.94MB
    minor collections=116940  major collections=49 compactions=0


runtime: 00:10:21.989
vars: 87898, evals: 193618

|rho|=87898
|called|=575
|stable|=79116
|infl|=87274
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=83285
Found 3672 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=249914.86MB, max=1878.66MB, minor=249891.65MB, major=7612.92MB, promoted=7589.70MB
    minor collections=119184  major collections=49 compactions=0


runtime: 00:10:32.013
vars: 89291, evals: 198914

|rho|=89291
|called|=660
|stable|=79879
|infl|=88553
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=84664
Found 3686 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=254713.31MB, max=1878.66MB, minor=254690.02MB, major=7750.06MB, promoted=7726.76MB
    minor collections=121472  major collections=49 compactions=0


runtime: 00:10:42.025
vars: 90733, evals: 204330

|rho|=90733
|called|=771
|stable|=80691
|infl|=89883
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=86092
Found 3700 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=259590.99MB, max=1878.66MB, minor=259567.61MB, major=7892.81MB, promoted=7869.43MB
    minor collections=123798  major collections=49 compactions=0


runtime: 00:10:52.036
vars: 92121, evals: 209666

|rho|=92121
|called|=898
|stable|=81449
|infl|=91169
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=87467
Found 3713 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=264420.99MB, max=1878.66MB, minor=264397.51MB, major=8030.09MB, promoted=8006.61MB
    minor collections=126101  major collections=50 compactions=0


runtime: 00:11:02.048
vars: 93563, evals: 214863

|rho|=93563
|called|=988
|stable|=82306
|infl|=92499
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=88895
Found 3727 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=269173.73MB, max=1878.66MB, minor=269150.15MB, major=8165.42MB, promoted=8141.83MB
    minor collections=128368  major collections=50 compactions=0


runtime: 00:11:12.112
vars: 94902, evals: 220044

|rho|=94902
|called|=1125
|stable|=83015
|infl|=93734
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=90221
Found 3740 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=273923.24MB, max=2160.46MB, minor=273899.56MB, major=8297.09MB, promoted=8273.41MB
    minor collections=130632  major collections=50 compactions=0


runtime: 00:11:22.123
vars: 96344, evals: 225390

|rho|=96344
|called|=1225
|stable|=83827
|infl|=95064
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=91649
Found 3754 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
150	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=278757.20MB, max=2160.46MB, minor=278733.46MB, major=8431.91MB, promoted=8408.16MB
    minor collections=132937  major collections=50 compactions=0


runtime: 00:11:32.135
vars: 97786, evals: 230677

|rho|=97786
|called|=1319
|stable|=84684
|infl|=96394
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=93077
Found 3768 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
164	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=283572.02MB, max=2160.46MB, minor=283548.20MB, major=8568.08MB, promoted=8544.26MB
    minor collections=135233  major collections=50 compactions=0


runtime: 00:11:42.147
vars: 99125, evals: 235707

|rho|=99125
|called|=1420
|stable|=85438
|infl|=97629
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=94403
Found 3781 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
177	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=288257.73MB, max=2160.46MB, minor=288233.83MB, major=8698.33MB, promoted=8674.43MB
    minor collections=137468  major collections=51 compactions=0


runtime: 00:11:52.170
vars: 100464, evals: 240716

|rho|=100464
|called|=1524
|stable|=86192
|infl|=98864
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=95729
Found 3794 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
190	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=292960.02MB, max=2160.46MB, minor=292936.03MB, major=8828.00MB, promoted=8804.01MB
    minor collections=139710  major collections=51 compactions=0


runtime: 00:12:02.234
vars: 101701, evals: 245564

|rho|=101701
|called|=1617
|stable|=86844
|infl|=100004
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=96953
Found 3806 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
202	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=297577.79MB, max=2160.46MB, minor=297553.72MB, major=8952.67MB, promoted=8928.60MB
    minor collections=141912  major collections=51 compactions=0


runtime: 00:12:12.242
vars: 103142, evals: 250809

|rho|=103142
|called|=1738
|stable|=87655
|infl|=101334
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=98381
Found 3820 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
216	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=302345.09MB, max=2160.46MB, minor=302320.96MB, major=9082.56MB, promoted=9058.43MB
    minor collections=144185  major collections=51 compactions=0


runtime: 00:12:22.253
vars: 104481, evals: 255887

|rho|=104481
|called|=1836
|stable|=88409
|infl|=102569
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=99707
Found 3833 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
229	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=307075.68MB, max=2160.46MB, minor=307051.49MB, major=9215.97MB, promoted=9191.78MB
    minor collections=146441  major collections=51 compactions=0


runtime: 00:12:32.265
vars: 105820, evals: 260902

|rho|=105820
|called|=1973
|stable|=89163
|infl|=103804
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=101033
Found 3846 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
242	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=311762.46MB, max=2160.46MB, minor=311738.19MB, major=9342.83MB, promoted=9318.57MB
    minor collections=148677  major collections=52 compactions=0


runtime: 00:12:42.277
vars: 107159, evals: 265819

|rho|=107159
|called|=2044
|stable|=89917
|infl|=105039
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=102359
Found 3859 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
255	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=316436.70MB, max=2160.46MB, minor=316412.32MB, major=9470.03MB, promoted=9445.66MB
    minor collections=150905  major collections=52 compactions=0


runtime: 00:12:52.328
vars: 108429, evals: 270687

|rho|=108429
|called|=2150
|stable|=90647
|infl|=106200
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=103616
Found 3872 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
268	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=321117.44MB, max=2484.53MB, minor=321092.97MB, major=9598.12MB, promoted=9573.66MB
    minor collections=153137  major collections=52 compactions=0


runtime: 00:13:02.380
vars: 109734, evals: 275628

|rho|=109734
|called|=2245
|stable|=91367
|infl|=107414
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=104909
Found 3884 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
280	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=325763.24MB, max=2484.53MB, minor=325738.70MB, major=9725.46MB, promoted=9700.92MB
    minor collections=155353  major collections=52 compactions=0


runtime: 00:13:12.388
vars: 111073, evals: 280646

|rho|=111073
|called|=2378
|stable|=92121
|infl|=108649
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=106235
Found 3897 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
293	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=330414.28MB, max=2484.53MB, minor=330389.68MB, major=9849.53MB, promoted=9824.94MB
    minor collections=157570  major collections=52 compactions=0


runtime: 00:13:22.399
vars: 112412, evals: 285612

|rho|=112412
|called|=2452
|stable|=92875
|infl|=109884
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=107561
Found 3910 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
306	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=335121.41MB, max=2484.53MB, minor=335096.75MB, major=9977.72MB, promoted=9953.07MB
    minor collections=159815  major collections=52 compactions=0


runtime: 00:13:32.415
vars: 113673, evals: 290364

|rho|=113673
|called|=2558
|stable|=93596
|infl|=111036
|wpoint|=558
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=108809
Found 3923 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
319	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=339664.45MB, max=2484.53MB, minor=339639.73MB, major=10101.31MB, promoted=10076.59MB
    minor collections=161982  major collections=53 compactions=0


runtime: 00:13:42.427
vars: 114938, evals: 295040

|rho|=114938
|called|=2652
|stable|=94321
|infl|=112208
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=110062
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=344211.82MB, max=2484.53MB, minor=344187.02MB, major=10226.60MB, promoted=10201.81MB
    minor collections=164150  major collections=53 compactions=0


runtime: 00:13:52.442
vars: 116174, evals: 299672

|rho|=116174
|called|=2748
|stable|=95017
|infl|=113348
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=111286
Found 3947 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
343	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=348708.97MB, max=2484.53MB, minor=348684.09MB, major=10346.34MB, promoted=10321.46MB
    minor collections=166295  major collections=53 compactions=0


runtime: 00:14:02.498
vars: 117410, evals: 304295

|rho|=117410
|called|=2844
|stable|=95713
|infl|=114488
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=112510
Found 3959 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
355	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=353210.83MB, max=2484.53MB, minor=353185.86MB, major=10466.50MB, promoted=10441.53MB
    minor collections=168441  major collections=53 compactions=0


runtime: 00:14:12.517
vars: 118695, evals: 309032

|rho|=118695
|called|=2958
|stable|=96458
|infl|=115679
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=113783
Found 3971 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
367	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=357599.40MB, max=2484.53MB, minor=357574.39MB, major=10589.62MB, promoted=10564.61MB
    minor collections=170534  major collections=53 compactions=0


runtime: 00:14:22.533
vars: 119931, evals: 313676

|rho|=119931
|called|=3036
|stable|=97154
|infl|=116819
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=115007
Found 3983 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
379	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=362056.21MB, max=2484.53MB, minor=362031.14MB, major=10709.74MB, promoted=10684.68MB
    minor collections=172659  major collections=53 compactions=0


runtime: 00:14:32.545
vars: 121167, evals: 318249

|rho|=121167
|called|=3149
|stable|=97850
|infl|=117940
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=116231
Found 3995 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
391	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=366503.77MB, max=2484.53MB, minor=366473.75MB, major=10832.99MB, promoted=10802.98MB
    minor collections=174777  major collections=53 compactions=0


runtime: 00:14:42.560
vars: 122300, evals: 322605

|rho|=122300
|called|=3238
|stable|=98443
|infl|=119004
|wpoint|=560
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=117353
Found 4006 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
402	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=370743.22MB, max=2484.53MB, minor=370713.06MB, major=10947.07MB, promoted=10916.91MB
    minor collections=176799  major collections=54 compactions=0


runtime: 00:14:52.576
vars: 123384, evals: 326689

|rho|=123384
|called|=3307
|stable|=99077
|infl|=119998
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=118426
Found 4017 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
413	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=374798.00MB, max=2484.53MB, minor=374767.71MB, major=11053.75MB, promoted=11023.46MB
    minor collections=178733  major collections=54 compactions=0

