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


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


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

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

runtime: 00:00:10.872
vars: 12436, evals: 22583

|rho|=12436
|stable|=7525
|infl|=12412
|wpoint|=35
|sides|=1249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10675
|called|=114
Found 493 contexts for 82 functions. Top 5 functions:
94	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
33	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
28	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
25	contexts for L:entry state of yyalloc (7677) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20761:1-20769:1
20	contexts for L:entry state of yyrealloc (7682) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20770:1-20778:1

Memory statistics: total=21351.66MB, max=305.32MB, minor=21334.04MB, major=699.32MB, promoted=681.70MB
    minor collections=10183  major collections=19 compactions=0


runtime: 00:00:20.943
vars: 22068, evals: 40324

|rho|=22068
|stable|=17557
|infl|=22044
|wpoint|=68
|sides|=1698
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19408
|called|=75
Found 942 contexts for 82 functions. Top 5 functions:
140	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
72	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
54	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
49	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
36	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=41004.82MB, max=464.37MB, minor=40983.01MB, major=1387.31MB, promoted=1365.51MB
    minor collections=19556  major collections=25 compactions=0


runtime: 00:00:31.022
vars: 32077, evals: 60718

|rho|=32077
|stable|=27124
|infl|=31989
|wpoint|=178
|sides|=2105
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28623
|called|=181
Found 1330 contexts for 83 functions. Top 5 functions:
188	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
96	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
72	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
67	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
48	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=60191.33MB, max=614.13MB, minor=60165.15MB, major=1983.22MB, promoted=1957.04MB
    minor collections=28704  major collections=28 compactions=0


runtime: 00:00:41.096
vars: 39577, evals: 75689

|rho|=39577
|stable|=34458
|infl|=39551
|wpoint|=199
|sides|=2451
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35431
|called|=118
Found 1676 contexts for 83 functions. Top 5 functions:
234	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
120	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
97	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
90	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
60	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=79920.07MB, max=812.19MB, minor=79887.02MB, major=2620.72MB, promoted=2587.66MB
    minor collections=38109  major collections=30 compactions=0


runtime: 00:00:51.167
vars: 47622, evals: 92205

|rho|=47622
|stable|=42365
|infl|=47590
|wpoint|=299
|sides|=2751
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42881
|called|=153
Found 1972 contexts for 84 functions. Top 5 functions:
280	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
144	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
108	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
100	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
72	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=99591.03MB, max=1074.12MB, minor=99555.72MB, major=3236.63MB, promoted=3201.31MB
    minor collections=47489  major collections=32 compactions=0


runtime: 00:01:01.229
vars: 56360, evals: 109521

|rho|=56360
|stable|=51084
|infl|=56310
|wpoint|=324
|sides|=3183
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50759
|called|=141
Found 2404 contexts for 84 functions. Top 5 functions:
371	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
170	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
130	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
126	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
84	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=119425.70MB, max=1235.24MB, minor=119383.95MB, major=3783.05MB, promoted=3741.29MB
    minor collections=56945  major collections=34 compactions=0


runtime: 00:01:11.272
vars: 63939, evals: 124951

|rho|=63939
|stable|=58697
|infl|=63908
|wpoint|=351
|sides|=3500
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57700
|called|=108
Found 2721 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
196	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
146	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
144	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
100	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=139669.33MB, max=1235.24MB, minor=139624.36MB, major=4422.88MB, promoted=4377.91MB
    minor collections=66598  major collections=36 compactions=0


runtime: 00:01:21.302
vars: 71171, evals: 139467

|rho|=71171
|stable|=65581
|infl|=71139
|wpoint|=449
|sides|=3770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64393
|called|=294
Found 2990 contexts for 84 functions. Top 5 functions:
420	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
216	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
162	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
162	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
108	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=158773.09MB, max=1420.53MB, minor=158721.94MB, major=4994.53MB, promoted=4943.38MB
    minor collections=75705  major collections=37 compactions=0


runtime: 00:01:31.385
vars: 78543, evals: 153041

|rho|=78543
|stable|=72976
|infl|=78491
|wpoint|=468
|sides|=4146
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71017
|called|=141
Found 3366 contexts for 84 functions. Top 5 functions:
509	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
242	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
180	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
120	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=178445.44MB, max=1633.61MB, minor=178389.41MB, major=5571.20MB, promoted=5515.17MB
    minor collections=85084  major collections=38 compactions=0


runtime: 00:01:41.460
vars: 83333, evals: 166369

|rho|=83333
|stable|=77283
|infl|=83302
|wpoint|=559
|sides|=4327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75441
|called|=197
Found 3547 contexts for 84 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=197928.20MB, max=1878.66MB, minor=197871.46MB, major=6184.90MB, promoted=6128.16MB
    minor collections=94374  major collections=39 compactions=0


runtime: 00:01:51.511
vars: 89937, evals: 189423

|rho|=89937
|stable|=81653
|infl|=89496
|wpoint|=563
|sides|=4457
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81873
|called|=471
Found 3640 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=217969.15MB, max=1878.66MB, minor=217911.49MB, major=6725.80MB, promoted=6668.14MB
    minor collections=103931  major collections=40 compactions=0


runtime: 00:02:01.569
vars: 95705, evals: 211039

|rho|=95705
|stable|=84901
|infl|=94816
|wpoint|=562
|sides|=4513
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87585
|called|=891
Found 3696 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
132	contexts for L:entry state of yytnamerr (10077) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:17653:1-17698:1

Memory statistics: total=237654.49MB, max=2160.46MB, minor=237595.97MB, major=7281.78MB, promoted=7223.26MB
    minor collections=113317  major collections=41 compactions=0


runtime: 00:02:11.628
vars: 101164, evals: 231453

|rho|=101164
|stable|=87975
|infl|=99851
|wpoint|=562
|sides|=4566
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92991
|called|=1314
Found 3749 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1
164	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1

Memory statistics: total=256546.44MB, max=2160.46MB, minor=256487.19MB, major=7806.87MB, promoted=7747.62MB
    minor collections=122326  major collections=42 compactions=0


runtime: 00:02:21.735
vars: 106033, evals: 249710

|rho|=106033
|stable|=90729
|infl|=104333
|wpoint|=561
|sides|=4614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97812
|called|=1700
Found 3797 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
212	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=274013.77MB, max=2484.53MB, minor=273953.56MB, major=8282.71MB, promoted=8222.50MB
    minor collections=130655  major collections=42 compactions=0


runtime: 00:02:31.745
vars: 111052, evals: 268378

|rho|=111052
|stable|=93588
|infl|=108971
|wpoint|=563
|sides|=4662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102783
|called|=2084
Found 3845 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
260	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=291830.33MB, max=2484.53MB, minor=291769.45MB, major=8763.66MB, promoted=8702.78MB
    minor collections=139151  major collections=43 compactions=0


runtime: 00:02:41.852
vars: 115432, evals: 284877

|rho|=115432
|stable|=96033
|infl|=113005
|wpoint|=562
|sides|=4705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107120
|called|=2428
Found 3888 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
303	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=308092.53MB, max=2857.21MB, minor=308030.75MB, major=9198.73MB, promoted=9136.95MB
    minor collections=146905  major collections=43 compactions=0


runtime: 00:02:51.871
vars: 120013, evals: 301966

|rho|=120013
|stable|=98634
|infl|=117236
|wpoint|=563
|sides|=4749
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111657
|called|=2780
Found 3932 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
347	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=324739.63MB, max=2857.21MB, minor=324677.31MB, major=9643.79MB, promoted=9581.47MB
    minor collections=154843  major collections=44 compactions=0


runtime: 00:03:01.957
vars: 123927, evals: 316625

|rho|=123927
|stable|=100838
|infl|=120846
|wpoint|=563
|sides|=4787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115533
|called|=3117
Found 3970 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
385	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=339789.42MB, max=3285.79MB, minor=339726.04MB, major=10028.47MB, promoted=9965.08MB
    minor collections=162019  major collections=44 compactions=0


runtime: 00:03:12.004
vars: 128047, evals: 332287

|rho|=128047
|stable|=103113
|infl|=124646
|wpoint|=563
|sides|=4827
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119613
|called|=3441
Found 4010 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
425	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=355141.75MB, max=3285.79MB, minor=355078.04MB, major=10437.38MB, promoted=10373.67MB
    minor collections=169340  major collections=44 compactions=0


runtime: 00:03:22.019
vars: 131858, evals: 346356

|rho|=131858
|stable|=105304
|infl|=128161
|wpoint|=563
|sides|=4864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123387
|called|=3703
Found 4047 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
462	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=369669.70MB, max=3285.79MB, minor=369603.15MB, major=10812.87MB, promoted=10746.32MB
    minor collections=176266  major collections=45 compactions=0


runtime: 00:03:32.121
vars: 135311, evals: 359366

|rho|=135311
|stable|=107227
|infl|=131340
|wpoint|=562
|sides|=4898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126806
|called|=3971
Found 4081 contexts for 87 functions. Top 5 functions:
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
496	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=383590.63MB, max=3778.66MB, minor=383520.94MB, major=11163.55MB, promoted=11093.86MB
    minor collections=182903  major collections=45 compactions=0


runtime: 00:03:42.148
vars: 139171, evals: 373825

|rho|=139171
|stable|=109377
|infl|=134906
|wpoint|=562
|sides|=4935
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130629
|called|=4268
Found 4118 contexts for 87 functions. Top 5 functions:
533	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=398114.32MB, max=3778.66MB, minor=398044.35MB, major=11546.41MB, promoted=11476.44MB
    minor collections=189829  major collections=45 compactions=0


runtime: 00:03:52.159
vars: 142581, evals: 386722

|rho|=142581
|stable|=111301
|infl|=138045
|wpoint|=561
|sides|=4969
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134004
|called|=4535
Found 4152 contexts for 87 functions. Top 5 functions:
567	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=411826.00MB, max=3778.66MB, minor=411753.27MB, major=11892.68MB, promoted=11819.95MB
    minor collections=196366  major collections=46 compactions=0


runtime: 00:04:02.238
vars: 145763, evals: 398586

|rho|=145763
|stable|=113089
|infl|=140986
|wpoint|=562
|sides|=4999
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137157
|called|=4780
Found 4182 contexts for 87 functions. Top 5 functions:
597	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=424874.40MB, max=3778.66MB, minor=424800.64MB, major=12217.19MB, promoted=12143.43MB
    minor collections=202588  major collections=46 compactions=0


runtime: 00:04:12.288
vars: 149090, evals: 411061

|rho|=149090
|stable|=114976
|infl|=144046
|wpoint|=561
|sides|=5032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140451
|called|=5043
Found 4215 contexts for 87 functions. Top 5 functions:
630	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=437945.34MB, max=3778.66MB, minor=437871.08MB, major=12542.80MB, promoted=12468.54MB
    minor collections=208820  major collections=46 compactions=0


runtime: 00:04:22.299
vars: 152458, evals: 423769

|rho|=152458
|stable|=116859
|infl|=147161
|wpoint|=563
|sides|=5064
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143787
|called|=5337
Found 4247 contexts for 87 functions. Top 5 functions:
662	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=451431.22MB, max=3778.66MB, minor=451356.61MB, major=12883.16MB, promoted=12808.55MB
    minor collections=215251  major collections=46 compactions=0


runtime: 00:04:32.318
vars: 155445, evals: 434919

|rho|=155445
|stable|=118541
|infl|=149916
|wpoint|=562
|sides|=5093
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146745
|called|=5531
Found 4276 contexts for 87 functions. Top 5 functions:
691	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=463816.10MB, max=3778.66MB, minor=463740.79MB, major=13186.93MB, promoted=13111.62MB
    minor collections=221157  major collections=47 compactions=0


runtime: 00:04:42.389
vars: 158329, evals: 445574

|rho|=158329
|stable|=120127
|infl|=152576
|wpoint|=563
|sides|=5121
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149601
|called|=5759
Found 4304 contexts for 87 functions. Top 5 functions:
719	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=475996.44MB, max=4345.46MB, minor=475920.10MB, major=13484.07MB, promoted=13407.73MB
    minor collections=226964  major collections=47 compactions=0


runtime: 00:04:52.480
vars: 161267, evals: 456635

|rho|=161267
|stable|=121843
|infl|=155280
|wpoint|=562
|sides|=5150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152510
|called|=5987
Found 4333 contexts for 87 functions. Top 5 functions:
748	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=488093.46MB, max=4345.46MB, minor=488016.44MB, major=13778.42MB, promoted=13701.41MB
    minor collections=232732  major collections=47 compactions=0


runtime: 00:05:02.490
vars: 164303, evals: 468115

|rho|=164303
|stable|=123529
|infl|=158086
|wpoint|=562
|sides|=5179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155517
|called|=6219
Found 4362 contexts for 87 functions. Top 5 functions:
777	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=500468.43MB, max=4345.46MB, minor=500391.23MB, major=14088.40MB, promoted=14011.20MB
    minor collections=238633  major collections=47 compactions=0


runtime: 00:05:12.505
vars: 167187, evals: 478868

|rho|=167187
|stable|=125153
|infl|=160746
|wpoint|=563
|sides|=5207
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158373
|called|=6445
Found 4390 contexts for 87 functions. Top 5 functions:
805	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=512561.51MB, max=4345.46MB, minor=512483.80MB, major=14378.18MB, promoted=14300.47MB
    minor collections=244400  major collections=48 compactions=0


runtime: 00:05:22.516
vars: 169865, evals: 488781

|rho|=169865
|stable|=126706
|infl|=163216
|wpoint|=563
|sides|=5233
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161025
|called|=6663
Found 4416 contexts for 87 functions. Top 5 functions:
831	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=524003.25MB, max=4345.46MB, minor=523924.76MB, major=14650.19MB, promoted=14571.70MB
    minor collections=249855  major collections=48 compactions=0


runtime: 00:05:32.582
vars: 172337, evals: 498267

|rho|=172337
|stable|=128053
|infl|=165496
|wpoint|=562
|sides|=5257
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163473
|called|=6844
Found 4440 contexts for 87 functions. Top 5 functions:
855	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=535376.49MB, max=4345.46MB, minor=535296.96MB, major=14914.97MB, promoted=14835.45MB
    minor collections=255278  major collections=48 compactions=0


runtime: 00:05:42.665
vars: 174966, evals: 507973

|rho|=174966
|stable|=129557
|infl|=167915
|wpoint|=562
|sides|=5283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166076
|called|=7051
Found 4466 contexts for 87 functions. Top 5 functions:
881	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=546477.05MB, max=4997.28MB, minor=546396.79MB, major=15179.60MB, promoted=15099.35MB
    minor collections=260571  major collections=48 compactions=0


runtime: 00:05:52.675
vars: 177693, evals: 518295

|rho|=177693
|stable|=131069
|infl|=170436
|wpoint|=563
|sides|=5309
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168777
|called|=7292
Found 4492 contexts for 87 functions. Top 5 functions:
907	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=557763.99MB, max=4997.28MB, minor=557681.53MB, major=15463.38MB, promoted=15380.92MB
    minor collections=265952  major collections=48 compactions=0


runtime: 00:06:02.690
vars: 180371, evals: 528216

|rho|=180371
|stable|=132577
|infl|=172906
|wpoint|=563
|sides|=5335
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171429
|called|=7471
Found 4518 contexts for 87 functions. Top 5 functions:
933	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=569143.06MB, max=4997.28MB, minor=569060.24MB, major=15734.58MB, promoted=15651.76MB
    minor collections=271378  major collections=48 compactions=0


runtime: 00:06:12.705
vars: 182843, evals: 537370

|rho|=182843
|stable|=134014
|infl|=175157
|wpoint|=563
|sides|=5359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173877
|called|=7687
Found 4542 contexts for 87 functions. Top 5 functions:
957	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=580005.13MB, max=4997.28MB, minor=579921.70MB, major=15986.57MB, promoted=15903.14MB
    minor collections=276558  major collections=49 compactions=0


runtime: 00:06:22.719
vars: 185163, evals: 546190

|rho|=185163
|stable|=135299
|infl|=177320
|wpoint|=562
|sides|=5382
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176174
|called|=7845
Found 4565 contexts for 87 functions. Top 5 functions:
980	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=590775.19MB, max=4997.28MB, minor=590690.93MB, major=16233.54MB, promoted=16149.28MB
    minor collections=281693  major collections=49 compactions=0


runtime: 00:06:32.767
vars: 187429, evals: 554682

|rho|=187429
|stable|=136575
|infl|=179410
|wpoint|=562
|sides|=5404
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178418
|called|=8019
Found 4587 contexts for 87 functions. Top 5 functions:
1002	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=601317.57MB, max=4997.28MB, minor=601232.28MB, major=16472.84MB, promoted=16387.54MB
    minor collections=286720  major collections=49 compactions=0


runtime: 00:06:42.841
vars: 189744, evals: 563279

|rho|=189744
|stable|=137900
|infl|=181551
|wpoint|=563
|sides|=5426
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180711
|called|=8227
Found 4609 contexts for 87 functions. Top 5 functions:
1024	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=611638.57MB, max=4997.28MB, minor=611552.31MB, major=16712.86MB, promoted=16626.61MB
    minor collections=291641  major collections=49 compactions=0


runtime: 00:06:52.867
vars: 192216, evals: 572721

|rho|=192216
|stable|=139247
|infl|=183831
|wpoint|=562
|sides|=5450
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183159
|called|=8387
Found 4633 contexts for 87 functions. Top 5 functions:
1048	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=622221.30MB, max=4997.28MB, minor=622134.98MB, major=16971.12MB, promoted=16884.80MB
    minor collections=296687  major collections=49 compactions=0


runtime: 00:07:02.883
vars: 194688, evals: 581807

|rho|=194688
|stable|=140684
|infl|=186111
|wpoint|=563
|sides|=5474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185607
|called|=8613
Found 4657 contexts for 87 functions. Top 5 functions:
1072	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=632744.48MB, max=4997.28MB, minor=632657.95MB, major=17219.20MB, promoted=17132.67MB
    minor collections=301705  major collections=49 compactions=0


runtime: 00:07:12.893
vars: 196954, evals: 590521

|rho|=196954
|stable|=141915
|infl|=188201
|wpoint|=562
|sides|=5496
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187851
|called|=8756
Found 4679 contexts for 87 functions. Top 5 functions:
1094	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=643389.02MB, max=4997.28MB, minor=643302.04MB, major=17464.03MB, promoted=17377.06MB
    minor collections=306781  major collections=50 compactions=0


runtime: 00:07:22.904
vars: 199117, evals: 598481

|rho|=199117
|stable|=143089
|infl|=190196
|wpoint|=562
|sides|=5517
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189993
|called|=8921
Found 4700 contexts for 87 functions. Top 5 functions:
1115	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=653302.80MB, max=4997.28MB, minor=653215.16MB, major=17692.27MB, promoted=17604.63MB
    minor collections=311508  major collections=50 compactions=0


runtime: 00:07:32.918
vars: 201177, evals: 606248

|rho|=201177
|stable|=144293
|infl|=192096
|wpoint|=563
|sides|=5537
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192033
|called|=9085
Found 4720 contexts for 87 functions. Top 5 functions:
1135	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=663192.64MB, max=4997.28MB, minor=663104.16MB, major=17913.32MB, promoted=17824.85MB
    minor collections=316223  major collections=50 compactions=0


runtime: 00:07:42.965
vars: 203134, evals: 613681

|rho|=203134
|stable|=145395
|infl|=193901
|wpoint|=563
|sides|=5556
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193971
|called|=9267
Found 4739 contexts for 87 functions. Top 5 functions:
1154	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=672782.16MB, max=5746.87MB, minor=672692.72MB, major=18124.80MB, promoted=18035.36MB
    minor collections=320796  major collections=50 compactions=0


runtime: 00:07:53.032
vars: 205119, evals: 621042

|rho|=205119
|stable|=146525
|infl|=195721
|wpoint|=561
|sides|=5576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195936
|called|=9397
Found 4759 contexts for 87 functions. Top 5 functions:
1174	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=682459.56MB, max=5746.87MB, minor=682369.06MB, major=18337.25MB, promoted=18246.75MB
    minor collections=325410  major collections=50 compactions=0


runtime: 00:08:03.074
vars: 207357, evals: 629411

|rho|=207357
|stable|=147773
|infl|=197796
|wpoint|=563
|sides|=5597
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198153
|called|=9565
Found 4780 contexts for 87 functions. Top 5 functions:
1195	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=692092.16MB, max=5746.87MB, minor=692001.43MB, major=18566.18MB, promoted=18475.45MB
    minor collections=330003  major collections=50 compactions=0


runtime: 00:08:13.089
vars: 209566, evals: 637658

|rho|=209566
|stable|=149037
|infl|=199824
|wpoint|=561
|sides|=5619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200340
|called|=9742
Found 4802 contexts for 87 functions. Top 5 functions:
1217	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=701760.23MB, max=5746.87MB, minor=701669.41MB, major=18789.95MB, promoted=18699.13MB
    minor collections=334613  major collections=50 compactions=0


runtime: 00:08:23.103
vars: 211683, evals: 645579

|rho|=211683
|stable|=150171
|infl|=201786
|wpoint|=563
|sides|=5639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202437
|called|=9903
Found 4822 contexts for 87 functions. Top 5 functions:
1237	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=711416.70MB, max=5746.87MB, minor=711325.65MB, major=19011.62MB, promoted=18920.57MB
    minor collections=339218  major collections=50 compactions=0


runtime: 00:08:33.118
vars: 213743, evals: 653439

|rho|=213743
|stable|=151369
|infl|=203686
|wpoint|=563
|sides|=5659
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204477
|called|=10067
Found 4842 contexts for 87 functions. Top 5 functions:
1257	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=721295.91MB, max=5746.87MB, minor=721204.45MB, major=19230.07MB, promoted=19138.61MB
    minor collections=343928  major collections=50 compactions=0


runtime: 00:08:43.137
vars: 215700, evals: 660614

|rho|=215700
|stable|=152471
|infl|=205491
|wpoint|=563
|sides|=5678
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206415
|called|=10221
Found 4861 contexts for 87 functions. Top 5 functions:
1276	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=730549.52MB, max=5746.87MB, minor=730457.47MB, major=19434.81MB, promoted=19342.77MB
    minor collections=348341  major collections=51 compactions=0


runtime: 00:08:53.148
vars: 217554, evals: 667721

|rho|=217554
|stable|=153515
|infl|=207201
|wpoint|=563
|sides|=5696
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208251
|called|=10368
Found 4879 contexts for 87 functions. Top 5 functions:
1294	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=739864.27MB, max=5746.87MB, minor=739771.47MB, major=19637.69MB, promoted=19544.89MB
    minor collections=352782  major collections=51 compactions=0


runtime: 00:09:03.166
vars: 219408, evals: 674625

|rho|=219408
|stable|=154559
|infl|=208911
|wpoint|=563
|sides|=5714
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210087
|called|=10538
Found 4897 contexts for 87 functions. Top 5 functions:
1312	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=749092.60MB, max=5746.87MB, minor=748998.88MB, major=19838.04MB, promoted=19744.32MB
    minor collections=357182  major collections=51 compactions=0


runtime: 00:09:13.245
vars: 221213, evals: 681291

|rho|=221213
|stable|=155597
|infl|=210570
|wpoint|=562
|sides|=5732
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211874
|called|=10644
Found 4915 contexts for 87 functions. Top 5 functions:
1330	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=758160.55MB, max=5746.87MB, minor=758065.86MB, major=20029.40MB, promoted=19934.72MB
    minor collections=361506  major collections=51 compactions=0


runtime: 00:09:23.308
vars: 222964, evals: 687858

|rho|=222964
|stable|=156585
|infl|=212185
|wpoint|=562
|sides|=5749
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213608
|called|=10780
Found 4932 contexts for 87 functions. Top 5 functions:
1347	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=767249.59MB, max=5746.87MB, minor=767153.81MB, major=20221.02MB, promoted=20125.24MB
    minor collections=365839  major collections=51 compactions=0


runtime: 00:09:33.378
vars: 224970, evals: 695417

|rho|=224970
|stable|=157691
|infl|=214041
|wpoint|=563
|sides|=5768
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215595
|called|=10935
Found 4951 contexts for 87 functions. Top 5 functions:
1366	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=776246.54MB, max=6608.90MB, minor=776150.55MB, major=20428.95MB, promoted=20332.96MB
    minor collections=370129  major collections=51 compactions=0


runtime: 00:09:43.393
vars: 226965, evals: 702883

|rho|=226965
|stable|=158831
|infl|=215873
|wpoint|=561
|sides|=5788
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217569
|called|=11092
Found 4971 contexts for 87 functions. Top 5 functions:
1386	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=785216.25MB, max=6608.90MB, minor=785120.20MB, major=20631.92MB, promoted=20535.87MB
    minor collections=374407  major collections=51 compactions=0


runtime: 00:09:53.408
vars: 228884, evals: 710022

|rho|=228884
|stable|=159895
|infl|=217651
|wpoint|=563
|sides|=5806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219471
|called|=11259
Found 4989 contexts for 87 functions. Top 5 functions:
1404	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=794096.52MB, max=6608.90MB, minor=794000.34MB, major=20835.46MB, promoted=20739.27MB
    minor collections=378641  major collections=51 compactions=0


runtime: 00:10:03.418
vars: 230738, evals: 717027

|rho|=230738
|stable|=160939
|infl|=219361
|wpoint|=563
|sides|=5824
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221307
|called|=11398
Found 5007 contexts for 87 functions. Top 5 functions:
1422	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=803139.62MB, max=6608.90MB, minor=803043.16MB, major=21034.13MB, promoted=20937.67MB
    minor collections=382953  major collections=51 compactions=0


runtime: 00:10:13.429
vars: 232592, evals: 723855

|rho|=232592
|stable|=162028
|infl|=221071
|wpoint|=563
|sides|=5842
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223143
|called|=11560
Found 5025 contexts for 87 functions. Top 5 functions:
1440	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=812101.19MB, max=6608.90MB, minor=812004.30MB, major=21230.15MB, promoted=21133.26MB
    minor collections=387227  major collections=52 compactions=0


runtime: 00:10:23.444
vars: 234240, evals: 730253

|rho|=234240
|stable|=162911
|infl|=222591
|wpoint|=563
|sides|=5858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224775
|called|=11670
Found 5041 contexts for 87 functions. Top 5 functions:
1456	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=820820.24MB, max=6608.90MB, minor=820722.77MB, major=21415.58MB, promoted=21318.10MB
    minor collections=391384  major collections=52 compactions=0


runtime: 00:10:33.454
vars: 235942, evals: 736491

|rho|=235942
|stable|=163893
|infl|=224155
|wpoint|=562
|sides|=5875
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226460
|called|=11788
Found 5058 contexts for 87 functions. Top 5 functions:
1473	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=829374.51MB, max=6608.90MB, minor=829276.34MB, major=21596.13MB, promoted=21497.96MB
    minor collections=395463  major collections=52 compactions=0


runtime: 00:10:43.465
vars: 237573, evals: 742641

|rho|=237573
|stable|=164804
|infl|=225655
|wpoint|=561
|sides|=5891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228075
|called|=11918
Found 5074 contexts for 87 functions. Top 5 functions:
1489	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=837923.28MB, max=6608.90MB, minor=837824.27MB, major=21775.08MB, promoted=21676.08MB
    minor collections=399539  major collections=52 compactions=0


runtime: 00:10:53.500
vars: 239204, evals: 748799

|rho|=239204
|stable|=165715
|infl|=227160
|wpoint|=561
|sides|=5907
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229689
|called|=12044
Found 5090 contexts for 87 functions. Top 5 functions:
1505	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=846592.87MB, max=6608.90MB, minor=846492.92MB, major=21954.69MB, promoted=21854.73MB
    minor collections=403672  major collections=52 compactions=0


runtime: 00:11:03.550
vars: 240832, evals: 754741

|rho|=240832
|stable|=166668
|infl|=228671
|wpoint|=563
|sides|=5922
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231303
|called|=12164
Found 5105 contexts for 87 functions. Top 5 functions:
1520	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=855040.10MB, max=6608.90MB, minor=854939.14MB, major=22129.91MB, promoted=22028.95MB
    minor collections=407700  major collections=52 compactions=0


runtime: 00:11:13.625
vars: 242377, evals: 760525

|rho|=242377
|stable|=167538
|infl|=230096
|wpoint|=563
|sides|=5937
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=232833
|called|=12298
Found 5120 contexts for 87 functions. Top 5 functions:
1535	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=863347.62MB, max=6608.90MB, minor=863245.64MB, major=22301.37MB, promoted=22199.40MB
    minor collections=411661  major collections=52 compactions=0


runtime: 00:11:23.664
vars: 244224, evals: 767418

|rho|=244223
|stable|=168574
|infl|=231765
|wpoint|=562
|sides|=5955
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=234661
|called|=12459
Found 5138 contexts for 87 functions. Top 5 functions:
1553	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=871671.26MB, max=6608.90MB, minor=871569.23MB, major=22489.69MB, promoted=22387.66MB
    minor collections=415630  major collections=52 compactions=0


runtime: 00:11:33.678
vars: 245982, evals: 774213

|rho|=245982
|stable|=169523
|infl|=233421
|wpoint|=563
|sides|=5972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236403
|called|=12602
Found 5155 contexts for 87 functions. Top 5 functions:
1570	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=880108.39MB, max=6608.90MB, minor=880006.32MB, major=22683.22MB, promoted=22581.15MB
    minor collections=419653  major collections=52 compactions=0


runtime: 00:11:43.693
vars: 247733, evals: 780726

|rho|=247733
|stable|=170509
|infl|=235036
|wpoint|=563
|sides|=5989
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=238137
|called|=12701
Found 5172 contexts for 87 functions. Top 5 functions:
1587	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=888512.43MB, max=6608.90MB, minor=888410.27MB, major=22866.65MB, promoted=22764.49MB
    minor collections=423660  major collections=52 compactions=0


runtime: 00:11:53.703
vars: 249435, evals: 787057

|rho|=249435
|stable|=171491
|infl|=236600
|wpoint|=562
|sides|=6006
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239822
|called|=12837
Found 5189 contexts for 87 functions. Top 5 functions:
1604	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=896895.66MB, max=6608.90MB, minor=896793.33MB, major=23045.59MB, promoted=22943.25MB
    minor collections=427658  major collections=52 compactions=0


runtime: 00:12:03.718
vars: 251083, evals: 793236

|rho|=251083
|stable|=172419
|infl|=238120
|wpoint|=562
|sides|=6022
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241454
|called|=12963
Found 5205 contexts for 87 functions. Top 5 functions:
1620	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=905324.26MB, max=6608.90MB, minor=905221.63MB, major=23224.64MB, promoted=23122.00MB
    minor collections=431677  major collections=52 compactions=0


runtime: 00:12:13.733
vars: 252677, evals: 799265

|rho|=252677
|stable|=173255
|infl|=239596
|wpoint|=563
|sides|=6037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243033
|called|=13087
Found 5220 contexts for 87 functions. Top 5 functions:
1635	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=913678.49MB, max=6608.90MB, minor=913575.38MB, major=23400.75MB, promoted=23297.64MB
    minor collections=435661  major collections=53 compactions=0


runtime: 00:12:23.747
vars: 254222, evals: 804991

|rho|=254222
|stable|=174163
|infl|=241021
|wpoint|=562
|sides|=6052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244563
|called|=13207
Found 5235 contexts for 87 functions. Top 5 functions:
1650	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=921721.62MB, max=6608.90MB, minor=921617.94MB, major=23567.85MB, promoted=23464.18MB
    minor collections=439496  major collections=53 compactions=0


runtime: 00:12:33.762
vars: 255713, evals: 810589

|rho|=255713
|stable|=175024
|infl|=242388
|wpoint|=561
|sides|=6067
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246039
|called|=13325
Found 5250 contexts for 87 functions. Top 5 functions:
1665	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=929786.47MB, max=6608.90MB, minor=929682.11MB, major=23732.66MB, promoted=23628.30MB
    minor collections=443341  major collections=53 compactions=0


runtime: 00:12:43.773
vars: 257209, evals: 816118

|rho|=257209
|stable|=175890
|infl|=243776
|wpoint|=563
|sides|=6081
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247521
|called|=13437
Found 5264 contexts for 87 functions. Top 5 functions:
1679	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=937808.79MB, max=6608.90MB, minor=937703.66MB, major=23897.05MB, promoted=23791.92MB
    minor collections=447166  major collections=53 compactions=0


runtime: 00:12:53.787
vars: 258651, evals: 821516

|rho|=258651
|stable|=176702
|infl|=245106
|wpoint|=563
|sides|=6095
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248949
|called|=13548
Found 5278 contexts for 87 functions. Top 5 functions:
1693	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=945764.32MB, max=6608.90MB, minor=945658.34MB, major=24058.05MB, promoted=23952.07MB
    minor collections=450959  major collections=53 compactions=0


runtime: 00:13:03.862
vars: 260093, evals: 826917

|rho|=260093
|stable|=177514
|infl|=246436
|wpoint|=563
|sides|=6109
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250377
|called|=13662
Found 5292 contexts for 87 functions. Top 5 functions:
1707	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=953809.90MB, max=6608.90MB, minor=953702.95MB, major=24219.34MB, promoted=24112.40MB
    minor collections=454795  major collections=53 compactions=0


runtime: 00:13:13.956
vars: 261486, evals: 832213

|rho|=261486
|stable|=178277
|infl|=247715
|wpoint|=562
|sides|=6123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251756
|called|=13773
Found 5306 contexts for 87 functions. Top 5 functions:
1721	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=961794.49MB, max=7600.24MB, minor=961686.53MB, major=24376.69MB, promoted=24268.73MB
    minor collections=458602  major collections=53 compactions=0


runtime: 00:13:24.015
vars: 262874, evals: 837351

|rho|=262874
|stable|=179080
|infl|=249001
|wpoint|=563
|sides|=6136
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=253131
|called|=13877
Found 5319 contexts for 87 functions. Top 5 functions:
1734	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=969557.92MB, max=7600.24MB, minor=969444.75MB, major=24537.85MB, promoted=24424.67MB
    minor collections=462302  major collections=53 compactions=0


runtime: 00:13:34.090
vars: 264559, evals: 843773

|rho|=264559
|stable|=180000
|infl|=250545
|wpoint|=561
|sides|=6153
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254799
|called|=14014
Found 5336 contexts for 87 functions. Top 5 functions:
1751	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=977501.94MB, max=7600.24MB, minor=977388.72MB, major=24714.76MB, promoted=24601.54MB
    minor collections=466090  major collections=53 compactions=0


runtime: 00:13:44.100
vars: 266224, evals: 849981

|rho|=266224
|stable|=180945
|infl|=252086
|wpoint|=561
|sides|=6169
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256448
|called|=14138
Found 5352 contexts for 87 functions. Top 5 functions:
1767	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=985464.66MB, max=7600.24MB, minor=985351.41MB, major=24887.31MB, promoted=24774.06MB
    minor collections=469887  major collections=53 compactions=0


runtime: 00:13:54.115
vars: 267818, evals: 856001

|rho|=267818
|stable|=181819
|infl|=253561
|wpoint|=562
|sides|=6184
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258027
|called|=14258
Found 5367 contexts for 87 functions. Top 5 functions:
1782	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=993383.42MB, max=7600.24MB, minor=993270.10MB, major=25060.22MB, promoted=24946.91MB
    minor collections=473663  major collections=53 compactions=0


runtime: 00:14:04.129
vars: 269390, evals: 861904

|rho|=269390
|stable|=182715
|infl|=255001
|wpoint|=561
|sides|=6200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=259582
|called|=14388
Found 5383 contexts for 87 functions. Top 5 functions:
1798	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1001402.08MB, max=7600.24MB, minor=1001288.64MB, major=25227.99MB, promoted=25114.55MB
    minor collections=477487  major collections=53 compactions=0


runtime: 00:14:14.144
vars: 270908, evals: 867625

|rho|=270908
|stable|=183559
|infl|=256411
|wpoint|=563
|sides|=6214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=261087
|called|=14518
Found 5397 contexts for 87 functions. Top 5 functions:
1812	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1009385.18MB, max=7600.24MB, minor=1009271.52MB, major=25396.06MB, promoted=25282.40MB
    minor collections=481293  major collections=53 compactions=0


runtime: 00:14:24.155
vars: 272453, evals: 873300

|rho|=272453
|stable|=184429
|infl|=257836
|wpoint|=563
|sides|=6229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=262617
|called|=14642
Found 5412 contexts for 87 functions. Top 5 functions:
1827	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1017423.55MB, max=7600.24MB, minor=1017305.36MB, major=25564.59MB, promoted=25446.40MB
    minor collections=485125  major collections=53 compactions=0


runtime: 00:14:34.169
vars: 273895, evals: 878781

|rho|=273895
|stable|=185203
|infl|=259166
|wpoint|=563
|sides|=6243
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264045
|called|=14735
Found 5426 contexts for 87 functions. Top 5 functions:
1841	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1025483.97MB, max=7600.24MB, minor=1025365.35MB, major=25730.34MB, promoted=25611.72MB
    minor collections=488969  major collections=54 compactions=0


runtime: 00:14:44.184
vars: 275337, evals: 884060

|rho|=275337
|stable|=186098
|infl|=260496
|wpoint|=562
|sides|=6257
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265473
|called|=14843
Found 5440 contexts for 87 functions. Top 5 functions:
1855	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1033212.26MB, max=7600.24MB, minor=1033093.10MB, major=25886.34MB, promoted=25767.18MB
    minor collections=492654  major collections=54 compactions=0


runtime: 00:14:54.198
vars: 276698, evals: 889306

|rho|=276698
|stable|=186829
|infl|=261740
|wpoint|=561
|sides|=6271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=266820
|called|=14957
Found 5454 contexts for 87 functions. Top 5 functions:
1869	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1041050.54MB, max=7600.24MB, minor=1040930.72MB, major=26040.25MB, promoted=25920.43MB
    minor collections=496391  major collections=54 compactions=0


runtime: 00:15:04.217
vars: 278118, evals: 894479

|rho|=278118
|stable|=187664
|infl|=263061
|wpoint|=563
|sides|=6284
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=268227
|called|=15061
Found 5467 contexts for 87 functions. Top 5 functions:
1882	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1048821.25MB, max=7600.24MB, minor=1048696.48MB, major=26201.14MB, promoted=26076.38MB
    minor collections=500095  major collections=54 compactions=0


runtime: 00:15:14.228
vars: 279487, evals: 899735

|rho|=279487
|stable|=188403
|infl|=264314
|wpoint|=561
|sides|=6298
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=269581
|called|=15173
Found 5481 contexts for 87 functions. Top 5 functions:
1896	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1056893.99MB, max=7600.24MB, minor=1056768.36MB, major=26358.40MB, promoted=26232.77MB
    minor collections=503944  major collections=54 compactions=0


runtime: 00:15:24.267
vars: 280899, evals: 905018

|rho|=280899
|stable|=189185
|infl|=265626
|wpoint|=563
|sides|=6311
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270981
|called|=15277
Found 5494 contexts for 87 functions. Top 5 functions:
1909	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1064904.09MB, max=7600.24MB, minor=1064768.72MB, major=26529.17MB, promoted=26393.80MB
    minor collections=507759  major collections=54 compactions=0


runtime: 00:15:34.305
vars: 282498, evals: 910966

|rho|=282498
|stable|=190109
|infl|=267095
|wpoint|=562
|sides|=6327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272564
|called|=15404
Found 5510 contexts for 87 functions. Top 5 functions:
1925	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1073045.45MB, max=7600.24MB, minor=1072909.82MB, major=26710.78MB, promoted=26575.15MB
    minor collections=511641  major collections=54 compactions=0


runtime: 00:15:44.392
vars: 284092, evals: 916981

|rho|=284092
|stable|=190983
|infl|=268571
|wpoint|=563
|sides|=6342
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=274143
|called|=15526
Found 5525 contexts for 87 functions. Top 5 functions:
1940	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1081348.31MB, max=7600.24MB, minor=1081212.39MB, major=26897.20MB, promoted=26761.28MB
    minor collections=515600  major collections=54 compactions=0


runtime: 00:15:54.466
vars: 285843, evals: 923480

|rho|=285843
|stable|=191969
|infl|=270186
|wpoint|=563
|sides|=6359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=275877
|called|=15681
Found 5542 contexts for 87 functions. Top 5 functions:
1957	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1089265.63MB, max=7600.24MB, minor=1089129.51MB, major=27086.89MB, promoted=26950.77MB
    minor collections=519375  major collections=54 compactions=0


runtime: 00:16:04.477
vars: 287670, evals: 930290

|rho|=287669
|stable|=193030
|infl|=271855
|wpoint|=562
|sides|=6377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277685
|called|=15815
Found 5560 contexts for 87 functions. Top 5 functions:
1975	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1097250.79MB, max=7600.24MB, minor=1097114.52MB, major=27278.82MB, promoted=27142.56MB
    minor collections=523182  major collections=54 compactions=0


runtime: 00:16:14.491
vars: 289448, evals: 936999

|rho|=289448
|stable|=193999
|infl|=273511
|wpoint|=562
|sides|=6394
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279447
|called|=15939
Found 5577 contexts for 87 functions. Top 5 functions:
1992	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1105335.26MB, max=7600.24MB, minor=1105198.84MB, major=27470.14MB, promoted=27333.73MB
    minor collections=527037  major collections=54 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13238:3-13238:47!

runtime: 00:16:14.972
vars: 289551, evals: 937265

|rho|=289551
|stable|=194102
|infl|=273565
|wpoint|=562
|sides|=6395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279548
|called|=15987
Found 5578 contexts for 87 functions. Top 5 functions:
1993	contexts for L:entry state of dump_node (9993) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:13189:1-13460:1
512	contexts for L:entry state of lex_return (10107) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:19549:1-19558:1
264	contexts for L:entry state of node_str_new (4664) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10606:1-10619:1
198	contexts for L:entry state of node_op_new (4587) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:10270:1-10286:1
179	contexts for L:entry state of yy_fatal_error (10096) on /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/streem/main.c:20621:1-20629:1

Memory statistics: total=1105669.74MB, max=7600.23MB, minor=1105533.24MB, major=27476.99MB, promoted=27340.49MB
    minor collections=527197  major collections=54 compactions=0


Fatal error: exception Stack overflow
