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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/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
Collected factors:
functions: 555
functionCalls: 6791
loops: 850
loopBreaks: 0
controlFlowStatements: 34418
expressions: 228081
instructions: 33409
integralVars: (83,4019)
arrayVars: (36,48)
pointerVars: (66,3036)

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

runtime: 00:00:11.191
vars: 2224, evals: 17068

|rho|=2224
|called|=60
|stable|=2142
|infl|=2031
|wpoint|=4
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=1893
Found 78 contexts for 24 functions. Top 5 functions:
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
7	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
7	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
5	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
4	contexts for entry state of unpool (13748) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24224:1-24263:1

Memory statistics: total=17349.47MB, max=265.50MB, minor=17330.16MB, major=365.70MB, promoted=346.39MB
    minor collections=8272  major collections=15 compactions=0


runtime: 00:00:21.207
vars: 3371, evals: 37952

|rho|=3371
|called|=88
|stable|=991
|infl|=3179
|wpoint|=8
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2968
Found 118 contexts for 28 functions. Top 5 functions:
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
11	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
10	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
8	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
8	contexts for entry state of cd (2864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=36753.95MB, max=305.32MB, minor=36734.44MB, major=577.89MB, promoted=558.37MB
    minor collections=17526  major collections=18 compactions=0


runtime: 00:00:31.215
vars: 3489, evals: 57431

|rho|=3489
|called|=94
|stable|=1370
|infl|=3302
|wpoint|=5
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3086
Found 118 contexts for 28 functions. Top 5 functions:
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
11	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
10	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
8	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
8	contexts for entry state of cd (2864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=55153.70MB, max=305.32MB, minor=55134.16MB, major=773.92MB, promoted=754.39MB
    minor collections=26301  major collections=21 compactions=0


runtime: 00:00:41.227
vars: 4099, evals: 74897

|rho|=4099
|called|=49
|stable|=2067
|infl|=3911
|wpoint|=6
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3670
Found 144 contexts for 28 functions. Top 5 functions:
20	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
16	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
12	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
8	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=73587.05MB, max=305.32MB, minor=73567.36MB, major=976.20MB, promoted=956.50MB
    minor collections=35092  major collections=23 compactions=0


runtime: 00:00:51.241
vars: 4587, evals: 93247

|rho|=4587
|called|=64
|stable|=1190
|infl|=4396
|wpoint|=9
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4139
Found 163 contexts for 28 functions. Top 5 functions:
20	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
16	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
14	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
13	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=90856.20MB, max=305.32MB, minor=90836.32MB, major=1159.58MB, promoted=1139.71MB
    minor collections=43328  major collections=25 compactions=0


runtime: 00:01:01.248
vars: 4696, evals: 110080

|rho|=4696
|called|=101
|stable|=1381
|infl|=4511
|wpoint|=9
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4248
Found 163 contexts for 28 functions. Top 5 functions:
20	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
16	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
14	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
13	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=107002.13MB, max=305.32MB, minor=106982.24MB, major=1333.06MB, promoted=1313.17MB
    minor collections=51028  major collections=28 compactions=0


runtime: 00:01:11.260
vars: 5543, evals: 126221

|rho|=5543
|called|=98
|stable|=1826
|infl|=5342
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5059
Found 199 contexts for 28 functions. Top 5 functions:
29	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
24	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
17	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
16	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=124364.85MB, max=305.32MB, minor=124344.85MB, major=1524.91MB, promoted=1504.92MB
    minor collections=59309  major collections=30 compactions=0


runtime: 00:01:21.271
vars: 5606, evals: 141816

|rho|=5606
|called|=46
|stable|=1890
|infl|=5419
|wpoint|=9
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5122
Found 199 contexts for 28 functions. Top 5 functions:
29	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
24	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
17	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
16	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=139278.87MB, max=305.32MB, minor=139258.85MB, major=1680.98MB, promoted=1660.96MB
    minor collections=66421  major collections=32 compactions=0


runtime: 00:01:31.279
vars: 7199, evals: 158244

|rho|=7199
|called|=51
|stable|=2212
|infl|=7011
|wpoint|=11
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=6645
Found 248 contexts for 32 functions. Top 5 functions:
37	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
32	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
22	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
18	contexts for entry state of DT_OFFSET (4731) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1-16211:1
16	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1

Memory statistics: total=155313.86MB, max=305.32MB, minor=155293.73MB, major=1856.64MB, promoted=1836.51MB
    minor collections=74069  major collections=34 compactions=0


runtime: 00:01:41.297
vars: 8487, evals: 177473

|rho|=8487
|called|=71
|stable|=3556
|infl|=8302
|wpoint|=15
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7881
Found 296 contexts for 32 functions. Top 5 functions:
46	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
40	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
26	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
22	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
22	contexts for entry state of cd (2864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=174287.98MB, max=305.32MB, minor=174267.44MB, major=2067.81MB, promoted=2047.26MB
    minor collections=83117  major collections=36 compactions=0


runtime: 00:01:51.313
vars: 8554, evals: 196238

|rho|=8554
|called|=75
|stable|=3473
|infl|=8360
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7948
Found 296 contexts for 32 functions. Top 5 functions:
46	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
40	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
26	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
22	contexts for entry state of dc (13750) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23934:1-23942:1
22	contexts for entry state of cd (2864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=192411.16MB, max=305.32MB, minor=192390.60MB, major=2263.13MB, promoted=2242.57MB
    minor collections=91760  major collections=38 compactions=0


runtime: 00:02:01.321
vars: 11003, evals: 218239

|rho|=11003
|called|=51
|stable|=7150
|infl|=10822
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10285
Found 401 contexts for 33 functions. Top 5 functions:
50	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
44	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
39	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
29	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
29	contexts for entry state of sz (4776) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1

Memory statistics: total=210425.66MB, max=305.32MB, minor=210404.67MB, major=2476.50MB, promoted=2455.51MB
    minor collections=100351  major collections=41 compactions=0


runtime: 00:02:11.333
vars: 11714, evals: 238197

|rho|=11714
|called|=53
|stable|=5033
|infl|=11540
|wpoint|=17
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10926
Found 434 contexts for 37 functions. Top 5 functions:
50	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
48	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
44	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
29	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
29	contexts for entry state of sz (4776) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1

Memory statistics: total=227731.57MB, max=351.13MB, minor=227710.51MB, major=2676.13MB, promoted=2655.07MB
    minor collections=108605  major collections=43 compactions=0


runtime: 00:02:21.345
vars: 15806, evals: 259125

|rho|=15806
|called|=40
|stable|=8217
|infl|=15634
|wpoint|=15
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14741
Found 710 contexts for 37 functions. Top 5 functions:
125	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
52	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
50	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
46	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
44	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=244977.58MB, max=351.13MB, minor=244955.98MB, major=2890.98MB, promoted=2869.38MB
    minor collections=116829  major collections=45 compactions=0


runtime: 00:02:31.365
vars: 19549, evals: 278285

|rho|=19549
|called|=41
|stable|=12205
|infl|=19369
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=18247
Found 942 contexts for 41 functions. Top 5 functions:
177	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
71	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
61	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
59	contexts for entry state of unpool (13748) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24224:1-24263:1

Memory statistics: total=262445.79MB, max=403.80MB, minor=262423.07MB, major=3103.34MB, promoted=3080.61MB
    minor collections=125159  major collections=47 compactions=0


runtime: 00:02:41.385
vars: 20313, evals: 295997

|rho|=20313
|called|=64
|stable|=12801
|infl|=20131
|wpoint|=22
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=18964
Found 965 contexts for 42 functions. Top 5 functions:
179	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
71	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
61	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
59	contexts for entry state of unpool (13748) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24224:1-24263:1

Memory statistics: total=280164.63MB, max=403.80MB, minor=280141.86MB, major=3294.99MB, promoted=3272.22MB
    minor collections=133609  major collections=48 compactions=0


runtime: 00:02:51.397
vars: 20456, evals: 311673

|rho|=20456
|called|=40
|stable|=12804
|infl|=20274
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19103
Found 967 contexts for 42 functions. Top 5 functions:
179	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
71	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
61	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
59	contexts for entry state of unpool (13748) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24224:1-24263:1

Memory statistics: total=297585.53MB, max=403.80MB, minor=297562.76MB, major=3483.77MB, promoted=3460.99MB
    minor collections=141917  major collections=50 compactions=0


runtime: 00:03:01.409
vars: 21208, evals: 326905

|rho|=21208
|called|=48
|stable|=13889
|infl|=21027
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19809
Found 1002 contexts for 42 functions. Top 5 functions:
182	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
73	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
70	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
60	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=315051.49MB, max=403.80MB, minor=315028.65MB, major=3673.13MB, promoted=3650.29MB
    minor collections=150246  major collections=51 compactions=0


runtime: 00:03:11.421
vars: 22104, evals: 345914

|rho|=22104
|called|=60
|stable|=4858
|infl|=21923
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20674
Found 1033 contexts for 42 functions. Top 5 functions:
185	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
73	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
70	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
60	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=333106.35MB, max=403.80MB, minor=333083.44MB, major=3859.90MB, promoted=3837.00MB
    minor collections=158856  major collections=53 compactions=0


runtime: 00:03:21.441
vars: 22222, evals: 362849

|rho|=22222
|called|=60
|stable|=5010
|infl|=22045
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20792
Found 1033 contexts for 42 functions. Top 5 functions:
185	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
73	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
70	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
60	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=350146.35MB, max=464.37MB, minor=350123.43MB, major=4036.57MB, promoted=4013.65MB
    minor collections=166982  major collections=54 compactions=0


runtime: 00:03:31.453
vars: 22812, evals: 378663

|rho|=22812
|called|=41
|stable|=6112
|infl|=22635
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=21356
Found 1059 contexts for 42 functions. Top 5 functions:
187	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
79	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
75	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
68	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=367512.09MB, max=464.37MB, minor=367489.12MB, major=4220.81MB, promoted=4197.84MB
    minor collections=175263  major collections=55 compactions=0


runtime: 00:03:41.464
vars: 23134, evals: 394256

|rho|=23134
|called|=57
|stable|=5849
|infl|=22958
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=21667
Found 1070 contexts for 42 functions. Top 5 functions:
188	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
79	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
75	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
68	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=384108.60MB, max=464.37MB, minor=384085.61MB, major=4392.64MB, promoted=4369.64MB
    minor collections=183178  major collections=57 compactions=0


runtime: 00:03:51.475
vars: 24120, evals: 409862

|rho|=24120
|called|=41
|stable|=7036
|infl|=23942
|wpoint|=27
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=22619
Found 1104 contexts for 42 functions. Top 5 functions:
192	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
83	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
78	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1
72	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1

Memory statistics: total=400002.47MB, max=464.37MB, minor=399979.43MB, major=4556.97MB, promoted=4533.93MB
    minor collections=190758  major collections=58 compactions=0


runtime: 00:04:01.486
vars: 25752, evals: 425574

|rho|=25752
|called|=52
|stable|=10088
|infl|=25572
|wpoint|=29
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24181
Found 1174 contexts for 42 functions. Top 5 functions:
199	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
96	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
84	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
83	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=418392.55MB, max=464.37MB, minor=418369.40MB, major=4777.21MB, promoted=4754.06MB
    minor collections=199528  major collections=60 compactions=0


runtime: 00:04:11.502
vars: 26479, evals: 445013

|rho|=26479
|called|=98
|stable|=10475
|infl|=26303
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24886
Found 1196 contexts for 42 functions. Top 5 functions:
201	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
96	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
84	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
83	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=436192.84MB, max=464.37MB, minor=436169.64MB, major=4968.87MB, promoted=4945.67MB
    minor collections=208016  major collections=61 compactions=0


runtime: 00:04:21.514
vars: 27617, evals: 462340

|rho|=27617
|called|=46
|stable|=11954
|infl|=27438
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=25982
Found 1238 contexts for 42 functions. Top 5 functions:
205	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
100	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
88	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
86	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=454331.05MB, max=464.37MB, minor=454307.78MB, major=5166.18MB, promoted=5142.91MB
    minor collections=216666  major collections=62 compactions=0


runtime: 00:04:31.526
vars: 28745, evals: 480729

|rho|=28745
|called|=66
|stable|=12988
|infl|=28575
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=27072
Found 1276 contexts for 42 functions. Top 5 functions:
210	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
104	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
92	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
89	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=471540.01MB, max=464.37MB, minor=471516.69MB, major=5346.06MB, promoted=5322.74MB
    minor collections=224873  major collections=64 compactions=0


runtime: 00:04:41.546
vars: 28932, evals: 498554

|rho|=28932
|called|=57
|stable|=16670
|infl|=28764
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=27255
Found 1280 contexts for 42 functions. Top 5 functions:
210	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
106	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
94	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
89	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=487871.59MB, max=464.37MB, minor=487847.99MB, major=5518.34MB, promoted=5494.74MB
    minor collections=232661  major collections=65 compactions=0


runtime: 00:04:51.562
vars: 30219, evals: 515228

|rho|=30219
|called|=73
|stable|=17635
|infl|=30042
|wpoint|=37
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28486
Found 1336 contexts for 42 functions. Top 5 functions:
214	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
112	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
98	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
91	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=505351.43MB, max=464.37MB, minor=505327.76MB, major=5706.92MB, promoted=5683.25MB
    minor collections=240996  major collections=66 compactions=0


runtime: 00:05:01.578
vars: 30280, evals: 529418

|rho|=30280
|called|=55
|stable|=17525
|infl|=30093
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28547
Found 1336 contexts for 42 functions. Top 5 functions:
214	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
112	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
98	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
91	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=522110.30MB, max=534.03MB, minor=522086.62MB, major=5889.33MB, promoted=5865.65MB
    minor collections=248988  major collections=67 compactions=0


runtime: 00:05:11.594
vars: 30409, evals: 543506

|rho|=30409
|called|=85
|stable|=17912
|infl|=30223
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28674
Found 1338 contexts for 42 functions. Top 5 functions:
214	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
112	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
98	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
91	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=538510.48MB, max=534.03MB, minor=538486.79MB, major=6064.26MB, promoted=6040.58MB
    minor collections=256810  major collections=69 compactions=0


runtime: 00:05:21.606
vars: 31949, evals: 560672

|rho|=31949
|called|=70
|stable|=19172
|infl|=31779
|wpoint|=38
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30144
Found 1408 contexts for 42 functions. Top 5 functions:
223	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
112	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
98	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
97	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=555230.36MB, max=534.03MB, minor=555206.59MB, major=6242.60MB, promoted=6218.83MB
    minor collections=264783  major collections=70 compactions=0


runtime: 00:05:31.618
vars: 32038, evals: 575223

|rho|=32038
|called|=40
|stable|=19565
|infl|=31863
|wpoint|=36
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30233
Found 1408 contexts for 42 functions. Top 5 functions:
223	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
112	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
98	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
97	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
75	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=571757.78MB, max=534.03MB, minor=571734.00MB, major=6414.89MB, promoted=6391.11MB
    minor collections=272664  major collections=71 compactions=0


runtime: 00:05:41.626
vars: 34060, evals: 591717

|rho|=34060
|called|=38
|stable|=21467
|infl|=33886
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32153
Found 1510 contexts for 44 functions. Top 5 functions:
237	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
119	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
103	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
102	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
80	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=588837.63MB, max=534.03MB, minor=588812.70MB, major=6596.30MB, promoted=6571.36MB
    minor collections=280809  major collections=72 compactions=0


runtime: 00:05:51.642
vars: 34099, evals: 605941

|rho|=34099
|called|=38
|stable|=21206
|infl|=33927
|wpoint|=40
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32192
Found 1510 contexts for 44 functions. Top 5 functions:
237	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
119	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
103	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
102	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
80	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=605560.87MB, max=534.03MB, minor=605535.93MB, major=6767.02MB, promoted=6742.08MB
    minor collections=288784  major collections=73 compactions=0


runtime: 00:06:01.654
vars: 34247, evals: 619950

|rho|=34247
|called|=64
|stable|=21262
|infl|=34063
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32338
Found 1512 contexts for 44 functions. Top 5 functions:
237	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
119	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
103	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
102	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
80	contexts for entry state of SC (4786) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1

Memory statistics: total=621917.15MB, max=534.03MB, minor=621892.20MB, major=6935.37MB, promoted=6910.42MB
    minor collections=296583  major collections=74 compactions=0


runtime: 00:06:11.666
vars: 35581, evals: 634055

|rho|=35581
|called|=92
|stable|=22913
|infl|=35381
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=33615
Found 1569 contexts for 44 functions. Top 5 functions:
242	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
128	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
110	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
105	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
81	contexts for entry state of cd (2864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=639280.43MB, max=534.03MB, minor=639254.89MB, major=7119.41MB, promoted=7093.87MB
    minor collections=304863  major collections=75 compactions=0


runtime: 00:06:21.682
vars: 35673, evals: 649347

|rho|=35673
|called|=77
|stable|=22955
|infl|=35501
|wpoint|=46
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=33707
Found 1569 contexts for 44 functions. Top 5 functions:
242	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
128	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
110	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
105	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
81	contexts for entry state of cd (2864) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23977:1-24051:1

Memory statistics: total=656246.52MB, max=534.03MB, minor=656220.96MB, major=7300.68MB, promoted=7275.11MB
    minor collections=312954  major collections=76 compactions=0


runtime: 00:06:31.694
vars: 36657, evals: 663625

|rho|=36657
|called|=40
|stable|=24186
|infl|=36484
|wpoint|=45
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34657
Found 1603 contexts for 44 functions. Top 5 functions:
246	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
132	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
114	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
108	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
84	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=672914.28MB, max=534.03MB, minor=672888.67MB, major=7480.61MB, promoted=7455.01MB
    minor collections=320903  major collections=78 compactions=0


runtime: 00:06:41.706
vars: 38291, evals: 678775

|rho|=38291
|called|=50
|stable|=25793
|infl|=38112
|wpoint|=46
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36234
Found 1660 contexts for 44 functions. Top 5 functions:
252	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
136	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
118	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
111	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
90	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=690014.57MB, max=534.03MB, minor=689988.90MB, major=7670.01MB, promoted=7644.34MB
    minor collections=329057  major collections=79 compactions=0


runtime: 00:06:51.729
vars: 38345, evals: 692683

|rho|=38345
|called|=33
|stable|=25621
|infl|=38180
|wpoint|=46
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36288
Found 1660 contexts for 44 functions. Top 5 functions:
252	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
136	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
118	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
111	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
90	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=706455.34MB, max=534.03MB, minor=706429.66MB, major=7841.78MB, promoted=7816.10MB
    minor collections=336898  major collections=80 compactions=0


runtime: 00:07:01.745
vars: 38569, evals: 708879

|rho|=38569
|called|=67
|stable|=16949
|infl|=38411
|wpoint|=47
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36501
Found 1671 contexts for 44 functions. Top 5 functions:
253	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
137	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
118	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
112	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
91	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=722891.71MB, max=534.03MB, minor=722866.01MB, major=8032.15MB, promoted=8006.45MB
    minor collections=344736  major collections=81 compactions=0


runtime: 00:07:11.757
vars: 38569, evals: 726042

|rho|=38569
|called|=67
|stable|=17310
|infl|=38413
|wpoint|=46
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36501
Found 1671 contexts for 44 functions. Top 5 functions:
253	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
137	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
118	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
112	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
91	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=739643.07MB, max=534.03MB, minor=739617.36MB, major=8222.43MB, promoted=8196.71MB
    minor collections=352724  major collections=82 compactions=0


runtime: 00:07:21.773
vars: 39203, evals: 741241

|rho|=39203
|called|=58
|stable|=10576
|infl|=39033
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37100
Found 1706 contexts for 44 functions. Top 5 functions:
256	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
146	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
126	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
114	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
92	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=756801.43MB, max=614.13MB, minor=756775.68MB, major=8419.13MB, promoted=8393.37MB
    minor collections=360906  major collections=83 compactions=0


runtime: 00:07:31.785
vars: 40145, evals: 759352

|rho|=40145
|called|=58
|stable|=11111
|infl|=39980
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38011
Found 1737 contexts for 44 functions. Top 5 functions:
258	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
150	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
130	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
114	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
94	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=775146.85MB, max=614.13MB, minor=775121.04MB, major=8621.57MB, promoted=8595.76MB
    minor collections=369655  major collections=84 compactions=0


runtime: 00:07:41.797
vars: 40215, evals: 776140

|rho|=40215
|called|=89
|stable|=11576
|infl|=40041
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38081
Found 1737 contexts for 44 functions. Top 5 functions:
258	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
150	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
130	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
114	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
94	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=792419.32MB, max=614.13MB, minor=792393.50MB, major=8809.01MB, promoted=8783.19MB
    minor collections=377891  major collections=85 compactions=0


runtime: 00:07:51.805
vars: 42376, evals: 790611

|rho|=42376
|called|=61
|stable|=13822
|infl|=42203
|wpoint|=53
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40162
Found 1817 contexts for 44 functions. Top 5 functions:
267	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
158	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
138	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
120	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
103	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=810673.06MB, max=614.13MB, minor=810647.12MB, major=8997.28MB, promoted=8971.33MB
    minor collections=386596  major collections=86 compactions=0


runtime: 00:08:01.817
vars: 42448, evals: 807411

|rho|=42448
|called|=61
|stable|=13788
|infl|=42289
|wpoint|=52
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40234
Found 1817 contexts for 44 functions. Top 5 functions:
267	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
158	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
138	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
120	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
103	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=825531.31MB, max=614.13MB, minor=825505.36MB, major=9150.28MB, promoted=9124.33MB
    minor collections=393682  major collections=87 compactions=0


runtime: 00:08:11.829
vars: 43123, evals: 823010

|rho|=43123
|called|=45
|stable|=17902
|infl|=42959
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40872
Found 1854 contexts for 44 functions. Top 5 functions:
269	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
166	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
144	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
122	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
105	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=841136.68MB, max=614.13MB, minor=841110.69MB, major=9313.32MB, promoted=9287.33MB
    minor collections=401123  major collections=88 compactions=0


runtime: 00:08:21.844
vars: 43891, evals: 837449

|rho|=43891
|called|=64
|stable|=18416
|infl|=43725
|wpoint|=57
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41617
Found 1877 contexts for 44 functions. Top 5 functions:
271	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
166	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
144	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
122	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
107	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=857531.27MB, max=614.13MB, minor=857505.25MB, major=9483.20MB, promoted=9457.18MB
    minor collections=408942  major collections=89 compactions=0


runtime: 00:08:31.865
vars: 43950, evals: 850259

|rho|=43950
|called|=55
|stable|=18298
|infl|=43774
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41676
Found 1877 contexts for 44 functions. Top 5 functions:
271	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
166	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
144	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
122	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
107	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=873791.56MB, max=614.13MB, minor=873765.54MB, major=9653.06MB, promoted=9627.04MB
    minor collections=416696  major collections=90 compactions=0


runtime: 00:08:41.876
vars: 44073, evals: 863092

|rho|=44073
|called|=60
|stable|=18557
|infl|=43897
|wpoint|=53
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41797
Found 1879 contexts for 44 functions. Top 5 functions:
271	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
166	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
144	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
122	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
107	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=889922.94MB, max=614.13MB, minor=889896.91MB, major=9822.94MB, promoted=9796.91MB
    minor collections=424388  major collections=91 compactions=0


runtime: 00:08:51.888
vars: 44804, evals: 875144

|rho|=44804
|called|=66
|stable|=19627
|infl|=44636
|wpoint|=56
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42493
Found 1914 contexts for 44 functions. Top 5 functions:
274	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
175	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
152	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
124	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
108	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=906476.62MB, max=614.13MB, minor=906450.55MB, major=10005.74MB, promoted=9979.67MB
    minor collections=432282  major collections=92 compactions=0


runtime: 00:09:01.896
vars: 45500, evals: 891072

|rho|=45500
|called|=75
|stable|=19980
|infl|=45335
|wpoint|=59
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43167
Found 1936 contexts for 44 functions. Top 5 functions:
276	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
175	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
152	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
124	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
110	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=922950.96MB, max=614.13MB, minor=922924.86MB, major=10174.17MB, promoted=10148.06MB
    minor collections=440139  major collections=93 compactions=0


runtime: 00:09:11.924
vars: 46398, evals: 905772

|rho|=46398
|called|=42
|stable|=21221
|infl|=46227
|wpoint|=57
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44033
Found 1968 contexts for 44 functions. Top 5 functions:
280	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
178	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
155	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
127	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
114	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=939332.97MB, max=614.13MB, minor=939306.84MB, major=10342.05MB, promoted=10315.91MB
    minor collections=447951  major collections=94 compactions=0


runtime: 00:09:21.940
vars: 47570, evals: 919084

|rho|=47570
|called|=32
|stable|=23987
|infl|=47412
|wpoint|=59
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=45164
Found 2009 contexts for 44 functions. Top 5 functions:
284	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
185	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
162	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
130	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
118	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=956498.64MB, max=614.13MB, minor=956472.46MB, major=10532.00MB, promoted=10505.81MB
    minor collections=456137  major collections=95 compactions=0


runtime: 00:09:31.956
vars: 48807, evals: 931560

|rho|=48807
|called|=82
|stable|=25954
|infl|=48624
|wpoint|=64
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46344
Found 2066 contexts for 44 functions. Top 5 functions:
289	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
194	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
170	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
132	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
121	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=973074.38MB, max=614.13MB, minor=973048.13MB, major=10708.75MB, promoted=10682.50MB
    minor collections=464041  major collections=96 compactions=0


runtime: 00:09:41.976
vars: 48949, evals: 945329

|rho|=48949
|called|=70
|stable|=25921
|infl|=48784
|wpoint|=64
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46486
Found 2066 contexts for 44 functions. Top 5 functions:
289	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
194	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
170	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
132	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
121	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=989138.74MB, max=614.13MB, minor=989112.48MB, major=10879.73MB, promoted=10853.47MB
    minor collections=471702  major collections=97 compactions=0


runtime: 00:09:51.988
vars: 49020, evals: 957624

|rho|=49020
|called|=70
|stable|=25981
|infl|=48845
|wpoint|=64
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46557
Found 2066 contexts for 44 functions. Top 5 functions:
289	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
194	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
170	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
132	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
121	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1004887.88MB, max=614.13MB, minor=1004861.62MB, major=11049.45MB, promoted=11023.19MB
    minor collections=479212  major collections=98 compactions=0


runtime: 00:10:02.000
vars: 50999, evals: 970735

|rho|=50999
|called|=25
|stable|=29182
|infl|=50841
|wpoint|=64
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=48463
Found 2139 contexts for 44 functions. Top 5 functions:
297	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
204	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
180	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
138	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
129	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1021076.41MB, max=614.13MB, minor=1021050.07MB, major=11232.09MB, promoted=11205.76MB
    minor collections=486931  major collections=98 compactions=0


runtime: 00:10:12.011
vars: 51710, evals: 984170

|rho|=51710
|called|=85
|stable|=14396
|infl|=51544
|wpoint|=67
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=49139
Found 2174 contexts for 44 functions. Top 5 functions:
300	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
213	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
188	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
140	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
130	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1037897.71MB, max=706.25MB, minor=1037871.33MB, major=11434.80MB, promoted=11408.42MB
    minor collections=494954  major collections=100 compactions=0


runtime: 00:10:22.031
vars: 52406, evals: 1002490

|rho|=52406
|called|=79
|stable|=15044
|infl|=52243
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=49813
Found 2196 contexts for 44 functions. Top 5 functions:
302	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
213	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
188	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
140	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
132	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1054738.37MB, max=706.25MB, minor=1054711.95MB, major=11618.22MB, promoted=11591.80MB
    minor collections=502984  major collections=100 compactions=0


runtime: 00:10:32.047
vars: 53416, evals: 1017717

|rho|=53416
|called|=78
|stable|=16107
|infl|=53252
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=50789
Found 2230 contexts for 44 functions. Top 5 functions:
306	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
217	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
192	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
143	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
136	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1072038.65MB, max=706.25MB, minor=1072012.19MB, major=11804.36MB, promoted=11777.91MB
    minor collections=511234  major collections=101 compactions=0


runtime: 00:10:42.063
vars: 54662, evals: 1031322

|rho|=54662
|called|=61
|stable|=17396
|infl|=54504
|wpoint|=71
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51989
Found 2276 contexts for 44 functions. Top 5 functions:
311	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
221	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
196	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
146	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
141	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1088033.84MB, max=706.25MB, minor=1088007.35MB, major=11966.21MB, promoted=11939.71MB
    minor collections=518862  major collections=102 compactions=0


runtime: 00:10:52.075
vars: 54726, evals: 1045892

|rho|=54726
|called|=51
|stable|=17447
|infl|=54558
|wpoint|=69
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52053
Found 2276 contexts for 44 functions. Top 5 functions:
311	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
221	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
196	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
146	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
141	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1101348.47MB, max=706.25MB, minor=1101321.97MB, major=12103.08MB, promoted=12076.58MB
    minor collections=525211  major collections=103 compactions=0


runtime: 00:11:02.087
vars: 55409, evals: 1060096

|rho|=55409
|called|=42
|stable|=21418
|infl|=55248
|wpoint|=73
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52699
Found 2313 contexts for 44 functions. Top 5 functions:
313	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
229	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
202	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
148	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
143	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1117150.50MB, max=706.25MB, minor=1117123.96MB, major=12266.28MB, promoted=12239.74MB
    minor collections=532747  major collections=104 compactions=0


runtime: 00:11:12.103
vars: 56142, evals: 1074191

|rho|=56142
|called|=72
|stable|=22046
|infl|=55977
|wpoint|=72
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53409
Found 2336 contexts for 44 functions. Top 5 functions:
315	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
229	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
202	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
148	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
145	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1133765.51MB, max=706.25MB, minor=1133738.95MB, major=12441.44MB, promoted=12414.87MB
    minor collections=540669  major collections=104 compactions=0


runtime: 00:11:22.114
vars: 56201, evals: 1085915

|rho|=56201
|called|=78
|stable|=22149
|infl|=56027
|wpoint|=71
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53468
Found 2336 contexts for 44 functions. Top 5 functions:
315	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
229	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
202	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
148	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
145	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1149821.53MB, max=706.25MB, minor=1149794.96MB, major=12611.14MB, promoted=12584.57MB
    minor collections=548326  major collections=105 compactions=0


runtime: 00:11:32.126
vars: 56318, evals: 1097551

|rho|=56318
|called|=47
|stable|=22326
|infl|=56144
|wpoint|=70
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53583
Found 2338 contexts for 44 functions. Top 5 functions:
315	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
229	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
202	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
148	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
145	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1165639.36MB, max=706.25MB, minor=1165612.78MB, major=12778.59MB, promoted=12752.01MB
    minor collections=555869  major collections=106 compactions=0


runtime: 00:11:42.138
vars: 57028, evals: 1109062

|rho|=57028
|called|=61
|stable|=23144
|infl|=56860
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54258
Found 2373 contexts for 44 functions. Top 5 functions:
318	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
238	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
210	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
150	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
146	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1182197.22MB, max=706.25MB, minor=1182170.61MB, major=12957.79MB, promoted=12931.18MB
    minor collections=563765  major collections=107 compactions=0


runtime: 00:11:52.150
vars: 57751, evals: 1124185

|rho|=57751
|called|=71
|stable|=23563
|infl|=57587
|wpoint|=77
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54959
Found 2395 contexts for 44 functions. Top 5 functions:
320	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
238	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
210	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
150	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
148	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1198730.48MB, max=706.25MB, minor=1198703.84MB, major=13128.51MB, promoted=13101.87MB
    minor collections=571650  major collections=108 compactions=0


runtime: 00:12:02.161
vars: 57816, evals: 1137640

|rho|=57816
|called|=57
|stable|=23641
|infl|=57642
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55024
Found 2395 contexts for 44 functions. Top 5 functions:
320	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
238	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
210	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
150	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
148	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1214850.44MB, max=706.25MB, minor=1214823.80MB, major=13290.33MB, promoted=13263.69MB
    minor collections=579336  major collections=108 compactions=0


runtime: 00:12:12.173
vars: 59732, evals: 1150710

|rho|=59732
|called|=50
|stable|=26098
|infl|=59579
|wpoint|=79
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56871
Found 2464 contexts for 44 functions. Top 5 functions:
328	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
246	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
218	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
156	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
156	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1231727.97MB, max=706.25MB, minor=1231701.27MB, major=13477.75MB, promoted=13451.05MB
    minor collections=587385  major collections=109 compactions=0


runtime: 00:12:22.193
vars: 60475, evals: 1162484

|rho|=60475
|called|=42
|stable|=29056
|infl|=60307
|wpoint|=82
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57575
Found 2503 contexts for 44 functions. Top 5 functions:
331	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
257	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
228	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
158	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
157	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1248145.58MB, max=706.25MB, minor=1248118.84MB, major=13658.15MB, promoted=13631.41MB
    minor collections=595214  major collections=110 compactions=0


runtime: 00:12:32.205
vars: 61198, evals: 1176153

|rho|=61198
|called|=34
|stable|=29596
|infl|=61034
|wpoint|=81
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=58276
Found 2525 contexts for 44 functions. Top 5 functions:
333	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
257	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
228	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
159	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
159	contexts for entry state of sz (4776) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1

Memory statistics: total=1264203.43MB, max=706.25MB, minor=1264176.66MB, major=13824.86MB, promoted=13798.09MB
    minor collections=602871  major collections=111 compactions=0


runtime: 00:12:42.229
vars: 61235, evals: 1188142

|rho|=61235
|called|=45
|stable|=29406
|infl|=61071
|wpoint|=81
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=58313
Found 2525 contexts for 44 functions. Top 5 functions:
333	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
257	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
228	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
159	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
159	contexts for entry state of sz (4776) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1

Memory statistics: total=1280122.25MB, max=706.25MB, minor=1280095.47MB, major=13994.58MB, promoted=13967.81MB
    minor collections=610463  major collections=112 compactions=0


runtime: 00:12:52.249
vars: 62223, evals: 1199396

|rho|=62223
|called|=32
|stable|=30787
|infl|=62060
|wpoint|=82
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59267
Found 2559 contexts for 44 functions. Top 5 functions:
337	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
261	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
232	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
163	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
163	contexts for entry state of sz (4776) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1-24118:1

Memory statistics: total=1295999.21MB, max=706.25MB, minor=1295972.41MB, major=14173.52MB, promoted=14146.72MB
    minor collections=618034  major collections=112 compactions=0


runtime: 00:13:02.257
vars: 64998, evals: 1213622

|rho|=64998
|called|=45
|stable|=18618
|infl|=64847
|wpoint|=82
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61889
Found 2707 contexts for 48 functions. Top 5 functions:
365	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
270	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
238	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
173	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
170	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1312538.14MB, max=706.25MB, minor=1312510.70MB, major=14378.31MB, promoted=14350.86MB
    minor collections=625920  major collections=113 compactions=0


runtime: 00:13:12.280
vars: 64998, evals: 1229169

|rho|=64998
|called|=24
|stable|=34165
|infl|=64847
|wpoint|=81
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61889
Found 2707 contexts for 48 functions. Top 5 functions:
365	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
270	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
238	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
173	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
170	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1328742.01MB, max=812.19MB, minor=1328714.54MB, major=14547.48MB, promoted=14520.01MB
    minor collections=633647  major collections=114 compactions=0


runtime: 00:13:22.292
vars: 66120, evals: 1248267

|rho|=66120
|called|=19
|stable|=16837
|infl|=65966
|wpoint|=83
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=62951
Found 2760 contexts for 50 functions. Top 5 functions:
372	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
272	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
238	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
177	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
174	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1345454.69MB, max=812.19MB, minor=1345425.07MB, major=14725.04MB, promoted=14695.43MB
    minor collections=641616  major collections=115 compactions=0


runtime: 00:13:32.312
vars: 66492, evals: 1265077

|rho|=66492
|called|=30
|stable|=17178
|infl|=66338
|wpoint|=84
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63312
Found 2771 contexts for 50 functions. Top 5 functions:
373	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
272	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
238	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
177	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
175	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1361703.38MB, max=812.19MB, minor=1361673.75MB, major=14894.51MB, promoted=14864.88MB
    minor collections=649365  major collections=116 compactions=0


runtime: 00:13:42.324
vars: 66531, evals: 1280484

|rho|=66531
|called|=15
|stable|=17125
|infl|=66379
|wpoint|=84
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63351
Found 2771 contexts for 50 functions. Top 5 functions:
373	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
272	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
238	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
177	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
175	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1377103.90MB, max=812.19MB, minor=1377074.27MB, major=15054.07MB, promoted=15024.44MB
    minor collections=656708  major collections=116 compactions=0


runtime: 00:13:52.336
vars: 69087, evals: 1294841

|rho|=69087
|called|=55
|stable|=18734
|infl|=68894
|wpoint|=87
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=65501
Found 2887 contexts for 61 functions. Top 5 functions:
392	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
283	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
246	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
184	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
178	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1394011.98MB, max=812.19MB, minor=1393982.25MB, major=15253.16MB, promoted=15223.43MB
    minor collections=664771  major collections=117 compactions=0


runtime: 00:14:02.350
vars: 69840, evals: 1309638

|rho|=69840
|called|=77
|stable|=19304
|infl|=69644
|wpoint|=90
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66231
Found 2910 contexts for 61 functions. Top 5 functions:
394	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
283	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
246	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
184	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
180	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1410986.15MB, max=812.19MB, minor=1410955.34MB, major=15448.41MB, promoted=15417.60MB
    minor collections=672865  major collections=118 compactions=0


runtime: 00:14:12.366
vars: 69905, evals: 1322632

|rho|=69905
|called|=65
|stable|=19237
|infl|=69699
|wpoint|=89
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66296
Found 2910 contexts for 61 functions. Top 5 functions:
394	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
283	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
246	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
184	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
180	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1428018.89MB, max=812.19MB, minor=1427988.09MB, major=15643.92MB, promoted=15613.11MB
    minor collections=680988  major collections=119 compactions=0


runtime: 00:14:22.381
vars: 70031, evals: 1335577

|rho|=70031
|called|=72
|stable|=19034
|infl|=69825
|wpoint|=90
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66420
Found 2912 contexts for 61 functions. Top 5 functions:
394	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
283	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
246	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
184	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
180	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1444784.56MB, max=812.19MB, minor=1444753.75MB, major=15835.37MB, promoted=15804.56MB
    minor collections=688983  major collections=120 compactions=0


runtime: 00:14:32.393
vars: 70757, evals: 1352096

|rho|=70757
|called|=73
|stable|=19968
|infl|=70570
|wpoint|=93
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=67123
Found 2934 contexts for 61 functions. Top 5 functions:
396	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
283	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
246	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
184	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
182	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1461802.61MB, max=812.19MB, minor=1461771.77MB, major=16023.45MB, promoted=15992.61MB
    minor collections=697098  major collections=120 compactions=0


runtime: 00:14:42.409
vars: 70847, evals: 1366471

|rho|=70847
|called|=60
|stable|=20241
|infl|=70664
|wpoint|=91
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=67213
Found 2934 contexts for 61 functions. Top 5 functions:
396	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
283	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
246	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
184	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
182	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1478954.40MB, max=812.19MB, minor=1478923.56MB, major=16208.49MB, promoted=16177.65MB
    minor collections=705277  major collections=121 compactions=0


runtime: 00:14:52.421
vars: 72332, evals: 1381881

|rho|=72332
|called|=67
|stable|=21618
|infl|=72127
|wpoint|=94
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=68630
Found 3002 contexts for 61 functions. Top 5 functions:
402	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
293	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
254	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
187	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
186	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1

Memory statistics: total=1496560.54MB, max=812.19MB, minor=1496529.64MB, major=16416.61MB, promoted=16385.71MB
    minor collections=713673  major collections=122 compactions=0

