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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:509:3-521:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1127:7-1136:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1161:7-1166:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1169:7-1176:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1179:7-1182:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1272:3-1279:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1286:3-1293:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1296:3-1306:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1310:3-1316:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1387:7-1403:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1524:9-1542:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1573:5-1576:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1626:11-1642:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1667:11-1685:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1840:3-1853:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1857:3-1865:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1971:3-1983:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1991:3-2008:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2012:5-2021:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2234:3-2247:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2251:3-2256:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2267:3-2284:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2292:5-2305:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2562:3-2575:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2579:3-2584:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2597:3-2614:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2622:5-2635:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2664:11-2680:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3026:5-3034:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3271:5-3277:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3282:5-3289:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3388:3-3392:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3400:3-3404:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3531:3-3549:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3557:3-3569:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3640:3-3649:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3819:3-3841:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3845:3-3853:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3966:3-3977:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3983:5-4044:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4370:3-4378:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4475:17-4478:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4480:17-4483:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4529:17-4532:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4534:17-4537:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4579:15-4582:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4584:15-4587:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4589:15-4592:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4634:15-4637:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4639:15-4642:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4644:15-4647:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4705:3-4713:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4726:5-4737:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4741:5-4758:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4785:5-4790:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4849:3-4869:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4882:3-4885:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4925:5-4928:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4908:3-4933:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4974:3-4984:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5060:5-5069:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5288:5-5292:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5297:5-5304:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5664:3-5684:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5729:3-5736:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5752:3-5759:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6414:9-6423:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6522:9-6531:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6651:5-6659:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6698:5-6733:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6900:3-6903:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6921:5-6925:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6926:5-6930:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7243:3-7256:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7260:3-7291:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7408:5-7418:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7507:3-7521:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7539:3-7553:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7590:3-7604:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7634:5-7648:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7675:9-7681:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7724:3-7737:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7749:5-7759:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7815:5-7825:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7889:3-7904:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7935:3-7940:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7945:3-7950:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7968:3-7998:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8008:5-8034:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8038:5-8136:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8140:5-8169:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8173:5-8184:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8197:3-8204:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8335:3-8345:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8378:3-8384:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8387:3-8393:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8396:3-8402:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8405:3-8411:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8414:3-8420:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8423:3-8429:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8432:3-8438:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8441:3-8447:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8450:3-8458:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8470:3-8482:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8505:3-8515:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8567:3-8581:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8636:3-8639:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8660:3-8668:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8684:3-8690:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8755:3-8769:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8782:3-8794:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8827:3-8836:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9091:3-9100:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9106:5-9124:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9162:3-9172:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9202:5-9212:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9233:3-9236:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9344:5-9351:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9354:5-9357:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9373:3-9380:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9398:5-9400:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9460:5-9462:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9595:5-9627:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9713:7-9725:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9774:7-9776:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9931:5-9943:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10159:3-10162:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10199:3-10202:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10240:3-10243:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10281:3-10284:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10322:3-10325:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10363:3-10366:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10404:3-10407:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10445:3-10448:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10486:3-10489:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10527:3-10530:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10568:3-10571:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10610:3-10613:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10746:5-10754:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10764:7-10767:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10777:9-10780:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10981:5-10984:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10994:7-11001:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11011:9-11018:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11098:5-11101:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11105:5-11108:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11177:5-11180:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11184:5-11187:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11313:5-11316:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11320:5-11323:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11359:5-11362:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11366:5-11371:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11412:5-11415:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11419:5-11422:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11556:3-11563:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11579:5-11582:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11587:5-11591:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11597:5-11604:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11633:5-11638:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11722:7-11732:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11751:7-11756:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11897:3-11910:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11914:5-11927:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11954:3-11957:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11960:3-11963:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11966:3-11969:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11975:5-11983:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11990:3-11995:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11999:3-12004:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12009:5-12012:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12041:9-12049:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12061:7-12065:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12182:7-12190:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12193:9-12197:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12228:13-12231:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12234:13-12237:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12242:9-12245:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12255:9-12263:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12266:11-12270:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12297:11-12300:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12306:15-12309:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12311:15-12314:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12319:11-12322:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12358:9-12361:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12366:11-12369:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12371:11-12374:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12379:7-12384:7 with factor 6
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12397:7-12400:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12409:11-12412:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12415:11-12418:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12423:7-12426:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12429:7-12432:7 with factor 12
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12443:7-12463:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12483:13-12489:13 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12499:11-12502:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12551:9-12557:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12568:9-12574:9 with factor 5
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12751:5-12764:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12988:5-13006:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13039:3-13042:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13050:7-13053:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13069:7-13075:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13092:3-13097:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13156:11-13164:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13182:3-13190:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13194:7-13211:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13222:5-13241:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13282:5-13285:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13322:13-13325:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13364:3-13369:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13440:5-13448:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13460:5-13469:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13485:5-13494:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13497:5-13500:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13506:5-13512:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13523:7-13526:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13531:5-13534:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13544:5-13552:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13555:5-13558:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13637:5-13645:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13657:5-13666:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13686:5-13695:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13698:5-13701:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13707:5-13719:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13730:7-13738:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13743:5-13746:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13756:5-13764:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13767:5-13770:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14384:3-14394:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14397:3-14405:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14408:3-14417:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14545:3-14551:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14561:3-14570:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14783:5-14788:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14814:7-14825:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15051:5-15054:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15071:7-15092:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15124:5-15138:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15151:7-15168:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15182:7-15205:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15217:5-15256:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15287:11-15290:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15347:13-15350:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15457:5-15460:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15465:5-15468:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15627:7-15630:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15646:7-15649:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15665:7-15668:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15726:3-15729:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15738:3-15741:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15807:3-15810:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15819:3-15822:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15888:3-15895:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15904:3-15911:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15977:3-15984:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15993:3-16000:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16025:3-16028:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16038:5-16042:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16206:3-16208:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16299:3-16302:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16363:3-16377:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16477:3-16489:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16490:3-16534:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16549:3-16553:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16663:3-16666:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16791:3-16796:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16812:3-16818:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16904:9-16918:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16940:13-16945:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16947:13-16956:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16962:13-16971:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16974:13-16977:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16989:17-16997:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16999:17-17007:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17009:17-17014:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17145:17-17154:17 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17157:17-17169:17 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17179:17-17182:17 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17190:21-17195:21 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17213:19-17222:19 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17228:21-17231:21 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17239:25-17244:25 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17262:15-17269:15 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17338:3-17369:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17481:5-17498:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17530:5-17577:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17691:3-17696:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17705:3-17718:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17724:3-17728:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17788:3-17796:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17812:3-17820:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17875:5-17885:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17933:5-17943:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18013:5-18022:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18080:5-18105:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18110:5-18118:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18209:5-18228:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18233:5-18241:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18328:5-18344:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18353:5-18382:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18392:7-18433:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18441:9-18482:9 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18495:7-18536:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18593:5-18616:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18619:5-18662:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18754:9-18762:9 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18806:7-18833:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18844:7-18891:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18946:5-18964:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18969:5-18976:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19017:5-19035:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19040:5-19047:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19156:5-19185:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19190:5-19197:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19442:13-19450:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19913:3-19918:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20119:9-20128:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20159:3-20169:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20182:3-20185:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20196:3-20205:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20257:5-20266:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20272:7-20283:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20309:3-20327:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20356:7-20365:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20399:3-20405:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20422:19-20430:19 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20443:7-20451:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20487:19-20495:19 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20518:11-20526:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20567:19-20575:19 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20720:9-20731:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20736:13-20751:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20836:3-20843:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20849:3-20903:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20930:9-20940:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20973:11-20983:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21031:7-21041:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21062:5-21069:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21092:5-21143:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21159:9-21164:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21224:15-21229:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21365:5-21385:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21405:7-21413:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21421:7-21425:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21435:5-21459:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21484:7-21492:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21500:7-21504:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21516:5-21540:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21560:7-21568:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21577:7-21581:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21737:3-21750:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21771:7-21781:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21794:7-21797:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21821:3-21839:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22336:3-22346:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22510:3-22516:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22741:3-22744:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22759:3-22769:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22918:5-22924:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22934:5-22944:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22949:5-22955:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22960:5-22970:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22975:5-22981:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23034:3-23037:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23041:5-23044:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23048:5-23051:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23055:3-23060:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23089:3-23092:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23096:5-23099:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23103:5-23106:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23110:3-23115:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23251:3-23273:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23295:5-23306:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23347:3-23356:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23386:3-23407:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23445:3-23448:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23484:3-23487:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23494:7-23504:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23513:7-23523:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23574:3-23577:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23580:3-23583:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23586:3-23592:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23611:5-23614:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23623:3-23626:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23634:3-23637:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23645:3-23648:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23691:3-23694:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23727:3-23731:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23739:3-23747:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23890:3-23899:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23905:3-23912:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24003:3-24006:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24016:3-24019:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24067:3-24070:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24247:7-24250:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24502:5-24505:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24528:3-24531:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25193:3-25196:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25253:7-25264:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25274:11-25282:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25285:11-25293:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25296:11-25301:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25331:11-25334:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25337:11-25340:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25343:11-25346:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25349:11-25352:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25430:11-25435:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25438:11-25443:11 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25465:11-25468:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25471:11-25474:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25477:11-25480:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25552:7-25560:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25575:7-25578:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25581:7-25584:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25898:5-25901:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25911:7-25914:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25924:9-25927:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25941:11-25944:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25949:11-25952:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25957:11-25960:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25980:11-25997:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26072:3-26082:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26122:3-26127:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26144:5-26147:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26152:5-26155:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26160:5-26163:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26168:5-26171:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26235:5-26244:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26249:5-26258:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26263:5-26272:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26277:5-26286:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26450:3-26478:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26487:3-26491:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26547:3-26556:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26619:5-26622:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26758:3-26766:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26866:3-26875:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27150:7-27153:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27178:5-27189:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27194:7-27197:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27202:7-27205:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27210:7-27213:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27218:7-27221:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27226:7-27229:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27269:9-27273:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27300:11-27305:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27319:9-27327:9 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27335:13-27340:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27646:5-27657:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27666:5-27693:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27788:9-27798:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27802:9-27811:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27819:7-27830:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27939:5-27947:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27961:7-27968:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27982:9-27989:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28003:11-28011:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28041:3-28054:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28171:5-28175:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28194:5-28206:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28217:7-28225:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28229:7-28232:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28241:9-28253:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28280:5-28283:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28459:9-28474:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28480:9-28494:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28499:9-28513:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28535:11-28550:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28556:11-28570:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28575:11-28589:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28611:13-28626:13 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28632:13-28646:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28651:13-28665:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28687:15-28702:15 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28708:15-28722:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28727:15-28741:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28897:9-28900:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28905:9-28908:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28912:9-28915:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28937:11-28940:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28945:11-28948:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28952:11-28955:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28977:13-28980:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28985:13-28988:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28992:13-28995:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29017:15-29020:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29025:15-29028:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29032:15-29035:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29191:9-29194:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29199:9-29202:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29206:9-29209:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29231:11-29234:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29239:11-29242:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29246:11-29249:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29271:13-29274:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29279:13-29282:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29286:13-29289:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29311:15-29314:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29319:15-29322:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29326:15-29329:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29514:9-29519:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29525:9-29529:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29534:9-29538:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29550:9-29570:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29576:9-29595:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29600:9-29619:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29631:9-29651:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29657:9-29676:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29681:9-29700:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29712:9-29717:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29723:9-29727:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29732:9-29736:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29883:7-29902:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29918:9-29937:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29953:11-29972:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29989:13-29999:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30008:11-30016:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30161:9-30164:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30169:9-30172:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30176:9-30179:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30201:11-30204:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30209:11-30212:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30216:11-30219:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30241:13-30244:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30249:13-30252:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30256:13-30259:13 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30281:15-30284:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30289:15-30292:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30296:15-30299:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30516:9-30535:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30540:9-30559:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30563:9-30582:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30602:9-30621:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30627:9-30645:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30650:9-30668:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30690:11-30709:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30715:11-30733:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30738:11-30756:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30778:13-30797:13 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30803:13-30821:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30826:13-30844:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30866:15-30885:15 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30891:15-30909:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30914:15-30932:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31103:9-31110:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31115:9-31122:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31126:9-31133:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31155:11-31162:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31167:11-31174:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31178:11-31185:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31207:13-31214:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31219:13-31226:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31230:13-31237:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31259:15-31266:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31271:15-31278:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31282:15-31289:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31445:9-31452:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31457:9-31464:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31468:9-31475:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31497:11-31504:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31509:11-31516:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31520:11-31527:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31549:13-31556:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31561:13-31568:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31572:13-31579:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31601:15-31608:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31613:15-31620:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31624:15-31631:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31792:5-31795:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31881:3-31890:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32055:9-32063:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32068:9-32076:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32080:9-32088:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32092:7-32099:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32110:9-32118:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32123:9-32131:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32135:9-32143:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32155:9-32163:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32168:9-32176:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32180:9-32188:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32200:9-32203:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32208:9-32211:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32215:9-32218:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32230:9-32233:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32238:9-32241:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32245:9-32248:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32260:9-32263:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32268:9-32271:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32275:9-32278:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32357:5-32362:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32367:5-32372:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32378:7-32384:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32391:7-32396:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32406:5-32412:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32427:5-32448:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32660:5-32669:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32678:9-32682:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32687:9-32691:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32695:9-32699:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32711:9-32715:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32720:9-32724:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32728:9-32732:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32744:9-32748:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32753:9-32757:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32761:9-32765:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32777:9-32780:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32785:9-32788:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32792:9-32795:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32807:9-32810:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32815:9-32818:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32822:9-32825:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32837:9-32841:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32846:9-32850:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32854:9-32858:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32952:5-32960:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32973:7-32984:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32995:7-33003:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33025:9-33034:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33044:11-33052:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33061:11-33069:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33151:7-33165:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33259:7-33262:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33340:9-33348:9 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33612:5-33615:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33672:9-33683:9 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33688:9-33700:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33753:9-33767:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33792:11-33802:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33819:11-33828:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34043:3-34046:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34054:5-34063:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34102:3-34124:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34127:3-34142:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34367:3-34370:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34375:3-34412:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34575:5-34578:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34583:5-34586:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34591:5-34594:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34599:5-34602:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34695:3-34706:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34884:7-34903:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34930:9-34933:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34943:9-34946:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34949:9-34952:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35132:7-35135:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35152:9-35162:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35166:9-35178:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35201:11-35212:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35216:11-35227:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35239:9-35242:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35364:3-35373:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35414:3-35423:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35469:3-35478:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35495:5-35498:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35511:3-35515:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35567:3-35570:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35572:5-35575:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35579:3-35606:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35674:5-35679:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35684:5-35689:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35694:5-35700:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35705:5-35710:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35715:5-35721:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35737:3-35747:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35762:3-35766:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35808:3-35817:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35826:3-35831:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35836:3-35841:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35887:3-35899:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35910:3-35913:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35986:3-35989:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35992:3-35999:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36007:3-36014:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36052:3-36061:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36070:3-36080:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36083:3-36091:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36134:3-36143:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36152:3-36163:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36166:3-36174:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36217:5-36227:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36230:5-36237:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36241:5-36251:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36254:5-36261:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36339:3-36342:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36344:5-36347:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36351:3-36381:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36451:3-36466:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36546:3-36549:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36553:5-36560:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36578:5-36587:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36596:5-36603:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36605:5-36614:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36706:3-36712:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36719:3-36728:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36835:7-36843:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36848:7-36856:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36861:7-36869:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36874:7-36882:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36887:7-36891:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37116:5-37119:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37129:7-37137:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37147:9-37155:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37165:11-37173:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37183:13-37191:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37201:15-37211:15 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37216:15-37219:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37260:3-37270:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37278:3-37281:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37389:5-37396:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37406:7-37413:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37423:9-37430:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37440:11-37447:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37452:11-37461:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37466:11-37469:11 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37538:11-37541:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37598:3-37604:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37609:3-37615:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37620:3-37623:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37669:5-37672:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37677:5-37680:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37685:5-37688:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37693:5-37696:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37701:5-37704:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37786:5-37789:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37794:5-37797:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37802:5-37805:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37810:5-37813:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37818:5-37821:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37912:3-37933:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37955:7-37958:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37978:7-37981:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38001:7-38004:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38024:7-38027:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38051:7-38057:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38069:9-38072:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38077:9-38080:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38085:9-38088:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38093:9-38096:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38101:9-38104:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38183:3-38189:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38194:3-38202:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38212:5-38217:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38274:7-38279:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38284:7-38289:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38294:7-38299:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38304:7-38309:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38314:7-38319:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38329:7-38332:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38337:7-38340:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38345:7-38348:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38353:7-38356:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38361:7-38364:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38498:5-38501:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38504:5-38507:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38525:3-38538:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38555:3-38569:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38585:3-38598:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38654:3-38657:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38662:3-38670:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38676:3-38684:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38689:3-38695:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38701:3-38713:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38837:7-38843:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38850:7-38856:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38863:7-38870:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38893:7-38900:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38907:7-38929:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38936:7-38942:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38954:5-38961:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39030:5-39038:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39102:3-39106:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39114:3-39133:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39235:3-39238:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39321:5-39325:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39332:5-39336:5 with factor 6
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39340:5-39347:5 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: 556
functionCalls: 6796
loops: 851
loopBreaks: 0
controlFlowStatements: 34445
expressions: 228246
instructions: 33441
integralVars: (83,4025)
arrayVars: (36,48)
pointerVars: (66,3040)

Complexity estimates:
File: 47760008437
function printAtDepth is recursive, disable interval and interval_set contexts
function rrep is recursive, disable interval and interval_set contexts
function rep is recursive, disable interval and interval_set contexts
function wrep is recursive, disable interval and interval_set contexts
function cd is recursive, disable interval and interval_set contexts
function ci is recursive, disable interval and interval_set contexts
function capture is recursive, disable interval and interval_set contexts
function wd_ is recursive, disable interval and interval_set contexts
function KC is recursive, disable interval and interval_set contexts
function _ss is recursive, disable interval and interval_set contexts
function _sm is recursive, disable interval and interval_set contexts
function _lt is recursive, disable interval and interval_set contexts
function _jd is recursive, disable interval and interval_set contexts
function _ic is recursive, disable interval and interval_set contexts
function _dj is recursive, disable interval and interval_set contexts
function _ci is recursive, disable interval and interval_set contexts
function floor_ceil is recursive, disable interval and interval_set contexts
function _abs is recursive, disable interval and interval_set contexts
function math is recursive, disable interval and interval_set contexts
function vf_ex is recursive, disable interval and interval_set contexts
function _vs is recursive, disable interval and interval_set contexts
function _vsx is recursive, disable interval and interval_set contexts
function check is recursive, disable interval and interval_set contexts
function valence is recursive, disable interval and interval_set contexts
function dot is recursive, disable interval and interval_set contexts
function dollar is recursive, disable interval and interval_set contexts
function dot_monadic is recursive, disable interval and interval_set contexts
function format is recursive, disable interval and interval_set contexts
function not_attribute is recursive, disable interval and interval_set contexts
function line is recursive, disable interval and interval_set contexts
function of is recursive, disable interval and interval_set contexts
function ex1 is recursive, disable interval and interval_set contexts
function matchI is recursive, disable interval and interval_set contexts
function dv_ex is recursive, disable interval and interval_set contexts
function cirRef_ is recursive, disable interval and interval_set contexts
function sd_ is recursive, disable interval and interval_set contexts
function overDyad is recursive, disable interval and interval_set contexts
function wleft is recursive, disable interval and interval_set contexts
function wright is recursive, disable interval and interval_set contexts
function _kclone is recursive, disable interval and interval_set contexts
function OS is recursive, disable interval and interval_set contexts
function mod is recursive, disable interval and interval_set contexts
function at_verb is recursive, disable interval and interval_set contexts
function at_ref is recursive, disable interval and interval_set contexts
function _1m_r is recursive, disable interval and interval_set contexts
function inKtreeR is recursive, disable interval and interval_set contexts
function binr is recursive, disable interval and interval_set contexts
function nodeCount_ is recursive, disable interval and interval_set contexts
function bv_ex is recursive, disable interval and interval_set contexts
function ex0 is recursive, disable interval and interval_set contexts
function ex2 is recursive, disable interval and interval_set contexts
function ex_ is recursive, disable interval and interval_set contexts
function scanDyad is recursive, disable interval and interval_set contexts
function overMonad is recursive, disable interval and interval_set contexts
function scanMonad is recursive, disable interval and interval_set contexts
function each2 is recursive, disable interval and interval_set contexts
function eachright2 is recursive, disable interval and interval_set contexts
function eachleft2 is recursive, disable interval and interval_set contexts
function eachpair2 is recursive, disable interval and interval_set contexts
function doMergeGrade is recursive, disable interval and interval_set contexts
function ssI is recursive, disable interval and interval_set contexts
function denameRecurse is recursive, disable interval and interval_set contexts
function lessmore is recursive, disable interval and interval_set contexts
function dot_ref is recursive, disable interval and interval_set contexts
function of2 is recursive, disable interval and interval_set contexts
function KEQ is recursive, disable interval and interval_set contexts
function hcode is recursive, disable interval and interval_set contexts
function reshaper is recursive, disable interval and interval_set contexts
function shapeCheck is recursive, disable interval and interval_set contexts
function firstDepth is recursive, disable interval and interval_set contexts
malloc wrapper: alloc
no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn"
Total: 47760008437
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:11.326
vars: 5057, evals: 27800

|rho|=5057
|stable|=2080
|infl|=4823
|wpoint|=22
|sides|=321
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4547
|called|=294
Found 199 contexts for 28 functions. Top 5 functions:
31	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
31	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
18	contexts for L:entry state of DT_OFFSET (3051) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
17	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
13	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1

Memory statistics: total=21287.76MB, max=305.32MB, minor=21265.65MB, major=393.86MB, promoted=371.74MB
    minor collections=10149  major collections=14 compactions=0


runtime: 00:00:21.374
vars: 55596, evals: 92055

|rho|=55596
|stable|=33894
|infl|=51640
|wpoint|=414
|sides|=2474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50975
|called|=5188
Found 2352 contexts for 28 functions. Top 5 functions:
618	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
618	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
213	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
209	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
209	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=36131.24MB, max=403.80MB, minor=36103.68MB, major=660.43MB, promoted=632.87MB
    minor collections=17225  major collections=16 compactions=0


runtime: 00:00:31.449
vars: 92502, evals: 138973

|rho|=92502
|stable|=56976
|infl|=85833
|wpoint|=700
|sides|=4048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=84876
|called|=8761
Found 3926 contexts for 28 functions. Top 5 functions:
1047	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1047	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
356	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
352	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
352	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=48451.04MB, max=534.03MB, minor=48418.43MB, major=863.55MB, promoted=830.95MB
    minor collections=23098  major collections=17 compactions=0


runtime: 00:00:41.524
vars: 122084, evals: 176569

|rho|=122084
|stable|=75575
|infl|=113217
|wpoint|=930
|sides|=5308
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112053
|called|=11656
Found 5186 contexts for 28 functions. Top 5 functions:
1392	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1392	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
470	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
466	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
466	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=59223.05MB, max=706.25MB, minor=59187.50MB, major=1027.23MB, promoted=991.67MB
    minor collections=28234  major collections=18 compactions=0


runtime: 00:00:51.588
vars: 147198, evals: 208509

|rho|=147198
|stable|=91320
|infl|=136501
|wpoint|=1124
|sides|=6380
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135120
|called|=14061
Found 6258 contexts for 28 functions. Top 5 functions:
1683	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1683	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
568	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
564	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
564	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=69041.54MB, max=812.19MB, minor=68997.83MB, major=1176.39MB, promoted=1132.68MB
    minor collections=32913  major collections=19 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24009:7-24009:24!

runtime: 00:01:00.330
vars: 165680, evals: 231981

|rho|=165680
|stable|=102987
|infl|=153602
|wpoint|=1268
|sides|=7167
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152100
|called|=15872
Found 7045 contexts for 28 functions. Top 5 functions:
1899	contexts for L:entry state of cd (1184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1
1899	contexts for L:entry state of dc (13787) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
639	contexts for L:entry state of kerr (1087) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
635	contexts for L:entry state of sz (3096) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1
635	contexts for L:entry state of bp (1139) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=76719.34MB, max=934.01MB, minor=76673.76MB, major=1281.46MB, promoted=1235.89MB
    minor collections=36573  major collections=19 compactions=0


Fatal error: exception Stack overflow
