./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.218
vars: 2222, evals: 15882

|rho|=2222
|called|=56
|stable|=2185
|infl|=2029
|wpoint|=3
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=1891
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=15915.63MB, max=265.50MB, minor=15896.32MB, major=349.24MB, promoted=329.93MB
    minor collections=7588  major collections=15 compactions=0


runtime: 00:00:21.229
vars: 3240, evals: 35648

|rho|=3240
|called|=59
|stable|=826
|infl|=3052
|wpoint|=7
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=2841
Found 114 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 ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
6	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=34624.21MB, max=305.32MB, minor=34604.70MB, major=556.32MB, promoted=536.81MB
    minor collections=16510  major collections=18 compactions=0


runtime: 00:00:31.241
vars: 3477, evals: 54527

|rho|=3477
|called|=65
|stable|=972
|infl|=3289
|wpoint|=6
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3074
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=52366.97MB, max=305.32MB, minor=52347.43MB, major=748.25MB, promoted=728.71MB
    minor collections=24972  major collections=20 compactions=0


runtime: 00:00:41.253
vars: 3934, evals: 71906

|rho|=3934
|called|=51
|stable|=1961
|infl|=3742
|wpoint|=4
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3509
Found 140 contexts for 28 functions. Top 5 functions:
18	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
14	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=70169.52MB, max=305.32MB, minor=70149.93MB, major=944.12MB, promoted=924.52MB
    minor collections=33462  major collections=23 compactions=0


runtime: 00:00:51.265
vars: 4566, evals: 89557

|rho|=4566
|called|=75
|stable|=1147
|infl|=4375
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4118
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=87330.75MB, max=305.32MB, minor=87310.88MB, major=1128.71MB, promoted=1108.83MB
    minor collections=41646  major collections=25 compactions=0


runtime: 00:01:01.277
vars: 4682, evals: 105973

|rho|=4682
|called|=62
|stable|=1124
|infl|=4495
|wpoint|=8
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4234
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=103006.63MB, max=305.32MB, minor=102986.74MB, major=1295.13MB, promoted=1275.24MB
    minor collections=49122  major collections=27 compactions=0


runtime: 00:01:11.288
vars: 5272, evals: 121922

|rho|=5272
|called|=59
|stable|=2164
|infl|=5084
|wpoint|=11
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4798
Found 189 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
16	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=119366.60MB, max=305.32MB, minor=119346.63MB, major=1475.59MB, promoted=1455.62MB
    minor collections=56924  major collections=29 compactions=0


runtime: 00:01:21.300
vars: 5586, evals: 137418

|rho|=5586
|called|=64
|stable|=1993
|infl|=5399
|wpoint|=10
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5102
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=134894.67MB, max=305.32MB, minor=134874.66MB, major=1643.24MB, promoted=1623.23MB
    minor collections=64330  major collections=31 compactions=0


runtime: 00:01:31.312
vars: 6593, evals: 152325

|rho|=6593
|called|=55
|stable|=3111
|infl|=6404
|wpoint|=13
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=6054
Found 233 contexts for 32 functions. Top 5 functions:
33	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
28	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
21	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=148920.53MB, max=305.32MB, minor=148900.44MB, major=1798.09MB, promoted=1778.00MB
    minor collections=71019  major collections=33 compactions=0


runtime: 00:01:41.328
vars: 7808, evals: 168590

|rho|=7808
|called|=56
|stable|=2807
|infl|=7622
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7224
Found 274 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
24	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=167435.13MB, max=305.32MB, minor=167414.91MB, major=2003.47MB, promoted=1983.26MB
    minor collections=79849  major collections=36 compactions=0


runtime: 00:01:51.339
vars: 8503, evals: 188936

|rho|=8503
|called|=75
|stable|=3488
|infl|=8319
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7897
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=185241.61MB, max=305.32MB, minor=185221.06MB, major=2195.58MB, promoted=2175.02MB
    minor collections=88341  major collections=38 compactions=0


runtime: 00:02:01.351
vars: 10947, evals: 208872

|rho|=10947
|called|=86
|stable|=7124
|infl|=10752
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10229
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=202700.16MB, max=305.32MB, minor=202679.20MB, major=2402.90MB, promoted=2381.94MB
    minor collections=96667  major collections=40 compactions=0


runtime: 00:02:11.359
vars: 11040, evals: 229652

|rho|=11040
|called|=73
|stable|=7200
|infl|=10861
|wpoint|=17
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=10322
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=220205.58MB, max=305.32MB, minor=220184.58MB, major=2585.25MB, promoted=2564.25MB
    minor collections=105015  major collections=42 compactions=0


runtime: 00:02:21.379
vars: 14207, evals: 249778

|rho|=14207
|called|=54
|stable|=4991
|infl|=14035
|wpoint|=16
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13256
Found 596 contexts for 37 functions. Top 5 functions:
93	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
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
41	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
30	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=236902.50MB, max=351.13MB, minor=236881.06MB, major=2799.82MB, promoted=2778.38MB
    minor collections=112978  major collections=44 compactions=0


runtime: 00:02:31.414
vars: 18973, evals: 271408

|rho|=18973
|called|=38
|stable|=11722
|infl|=18796
|wpoint|=17
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17706
Found 909 contexts for 39 functions. Top 5 functions:
175	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
69	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
57	contexts for entry state of unpool (13748) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24224:1-24263:1
55	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1

Memory statistics: total=254182.14MB, max=403.80MB, minor=254159.46MB, major=3016.16MB, promoted=2993.48MB
    minor collections=121218  major collections=46 compactions=0


runtime: 00:02:41.442
vars: 20309, evals: 289106

|rho|=20309
|called|=53
|stable|=12609
|infl|=20127
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=18960
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=272152.50MB, max=403.80MB, minor=272129.74MB, major=3210.41MB, promoted=3187.64MB
    minor collections=129787  major collections=47 compactions=0


runtime: 00:02:51.454
vars: 20370, evals: 304391

|rho|=20370
|called|=61
|stable|=12923
|infl|=20179
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19021
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=289345.72MB, max=403.80MB, minor=289322.94MB, major=3397.90MB, promoted=3375.12MB
    minor collections=137987  major collections=49 compactions=0


runtime: 00:03:01.466
vars: 20523, evals: 319742

|rho|=20523
|called|=49
|stable|=13133
|infl|=20345
|wpoint|=18
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19170
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=306382.79MB, max=403.80MB, minor=306360.01MB, major=3584.21MB, promoted=3561.43MB
    minor collections=146111  major collections=50 compactions=0


runtime: 00:03:11.477
vars: 21945, evals: 337014

|rho|=21945
|called|=55
|stable|=4956
|infl|=21754
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20519
Found 1029 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=324071.47MB, max=403.80MB, minor=324048.57MB, major=3775.13MB, promoted=3752.24MB
    minor collections=154547  major collections=52 compactions=0


runtime: 00:03:21.497
vars: 22201, evals: 354378

|rho|=22201
|called|=55
|stable|=5202
|infl|=22024
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20771
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=341079.68MB, max=464.37MB, minor=341056.76MB, major=3951.61MB, promoted=3928.70MB
    minor collections=162658  major collections=53 compactions=0


runtime: 00:03:31.509
vars: 22267, evals: 370244

|rho|=22267
|called|=51
|stable|=4908
|infl|=22080
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20837
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=357584.24MB, max=464.37MB, minor=357561.32MB, major=4120.84MB, promoted=4097.92MB
    minor collections=170529  major collections=55 compactions=0


runtime: 00:03:41.524
vars: 23100, evals: 385039

|rho|=23100
|called|=52
|stable|=5905
|infl|=22910
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=21633
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=374605.21MB, max=464.37MB, minor=374582.22MB, major=4302.03MB, promoted=4279.04MB
    minor collections=178646  major collections=56 compactions=0


runtime: 00:03:51.544
vars: 23163, evals: 400389

|rho|=23163
|called|=40
|stable|=5879
|infl|=22987
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=21696
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=390217.89MB, max=464.37MB, minor=390194.89MB, major=4461.45MB, promoted=4438.45MB
    minor collections=186091  major collections=57 compactions=0


runtime: 00:04:01.560
vars: 25075, evals: 415527

|rho|=25075
|called|=40
|stable|=7962
|infl|=24900
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23539
Found 1139 contexts for 42 functions. Top 5 functions:
196	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
87	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
81	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
76	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075: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=406542.90MB, max=464.37MB, minor=406519.81MB, major=4637.47MB, promoted=4614.37MB
    minor collections=193876  major collections=59 compactions=0


runtime: 00:04:11.579
vars: 26434, evals: 432851

|rho|=26434
|called|=83
|stable|=10396
|infl|=26244
|wpoint|=33
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24841
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=424346.66MB, max=464.37MB, minor=424323.46MB, major=4847.38MB, promoted=4824.19MB
    minor collections=202366  major collections=60 compactions=0


runtime: 00:04:21.591
vars: 26512, evals: 451062

|rho|=26512
|called|=94
|stable|=10710
|infl|=26337
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=24919
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=441940.49MB, max=464.37MB, minor=441917.28MB, major=5036.91MB, promoted=5013.70MB
    minor collections=210756  major collections=61 compactions=0


runtime: 00:04:31.603
vars: 28453, evals: 467164

|rho|=28453
|called|=40
|stable|=12787
|infl|=28281
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=26791
Found 1265 contexts for 42 functions. Top 5 functions:
209	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=459771.06MB, max=464.37MB, minor=459747.75MB, major=5232.00MB, promoted=5208.70MB
    minor collections=219260  major collections=63 compactions=0


runtime: 00:04:41.630
vars: 28772, evals: 485739

|rho|=28772
|called|=67
|stable|=13267
|infl|=28603
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=27099
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=475741.76MB, max=464.37MB, minor=475718.43MB, major=5400.60MB, promoted=5377.27MB
    minor collections=226876  major collections=64 compactions=0


runtime: 00:04:51.646
vars: 29465, evals: 502691

|rho|=29465
|called|=41
|stable|=17107
|infl|=29290
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=27755
Found 1313 contexts for 42 functions. Top 5 functions:
212	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=492432.41MB, max=464.37MB, minor=492408.77MB, major=5580.43MB, promoted=5556.79MB
    minor collections=234835  major collections=65 compactions=0


runtime: 00:05:01.662
vars: 30221, evals: 518946

|rho|=30221
|called|=62
|stable|=17699
|infl|=30044
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28488
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=509490.82MB, max=464.37MB, minor=509467.15MB, major=5765.26MB, promoted=5741.58MB
    minor collections=242970  major collections=67 compactions=0


runtime: 00:05:11.677
vars: 30311, evals: 532957

|rho|=30311
|called|=73
|stable|=17936
|infl|=30138
|wpoint|=35
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=28578
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=525892.84MB, max=534.03MB, minor=525869.16MB, major=5942.85MB, promoted=5919.17MB
    minor collections=250792  major collections=68 compactions=0


runtime: 00:05:21.689
vars: 31159, evals: 547071

|rho|=31159
|called|=39
|stable|=18768
|infl|=30976
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=29380
Found 1382 contexts for 42 functions. Top 5 functions:
219	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
96	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=541861.18MB, max=534.03MB, minor=541837.45MB, major=6115.73MB, promoted=6091.99MB
    minor collections=258407  major collections=69 compactions=0


runtime: 00:05:31.701
vars: 31951, evals: 563600

|rho|=31951
|called|=53
|stable|=19095
|infl|=31781
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=30146
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=558214.37MB, max=534.03MB, minor=558190.60MB, major=6283.12MB, promoted=6259.34MB
    minor collections=266205  major collections=70 compactions=0


runtime: 00:05:41.712
vars: 33292, evals: 578602

|rho|=33292
|called|=37
|stable|=20829
|infl|=33120
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31408
Found 1487 contexts for 44 functions. Top 5 functions:
235	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=574477.77MB, max=534.03MB, minor=574452.86MB, major=6456.12MB, promoted=6431.21MB
    minor collections=273960  major collections=71 compactions=0


runtime: 00:05:51.728
vars: 34062, evals: 593787

|rho|=34062
|called|=39
|stable|=21505
|infl|=33888
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32155
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=590868.88MB, max=534.03MB, minor=590843.94MB, major=6623.60MB, promoted=6598.66MB
    minor collections=281777  major collections=72 compactions=0


runtime: 00:06:01.752
vars: 34124, evals: 607370

|rho|=34124
|called|=64
|stable|=21259
|infl|=33940
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32217
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=606871.08MB, max=534.03MB, minor=606846.14MB, major=6787.59MB, promoted=6762.65MB
    minor collections=289408  major collections=73 compactions=0


runtime: 00:06:11.763
vars: 34253, evals: 621053

|rho|=34253
|called|=47
|stable|=21232
|infl|=34069
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=32344
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=622858.26MB, max=534.03MB, minor=622833.31MB, major=6951.09MB, promoted=6926.13MB
    minor collections=297032  major collections=74 compactions=0


runtime: 00:06:21.775
vars: 35622, evals: 635362

|rho|=35622
|called|=93
|stable|=23012
|infl|=35436
|wpoint|=45
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=33656
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=639376.00MB, max=534.03MB, minor=639350.46MB, major=7127.62MB, promoted=7102.08MB
    minor collections=304908  major collections=75 compactions=0


runtime: 00:06:31.791
vars: 35673, evals: 649203

|rho|=35673
|called|=55
|stable|=22811
|infl|=35501
|wpoint|=45
|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=655692.52MB, max=534.03MB, minor=655666.95MB, major=7301.21MB, promoted=7275.65MB
    minor collections=312689  major collections=76 compactions=0


runtime: 00:06:41.802
vars: 36657, evals: 663286

|rho|=36657
|called|=40
|stable|=24165
|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=671983.68MB, max=534.03MB, minor=671958.08MB, major=7476.08MB, promoted=7450.47MB
    minor collections=320459  major collections=78 compactions=0


runtime: 00:06:51.814
vars: 38282, evals: 677572

|rho|=38282
|called|=42
|stable|=25724
|infl|=38103
|wpoint|=47
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36225
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=688238.40MB, max=534.03MB, minor=688212.73MB, major=7655.81MB, promoted=7630.14MB
    minor collections=328210  major collections=79 compactions=0


runtime: 00:07:01.834
vars: 38333, evals: 690779

|rho|=38333
|called|=50
|stable|=25835
|infl|=38169
|wpoint|=45
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36276
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=703781.06MB, max=534.03MB, minor=703755.39MB, major=7819.78MB, promoted=7794.10MB
    minor collections=335622  major collections=80 compactions=0


runtime: 00:07:11.845
vars: 38569, evals: 704928

|rho|=38569
|called|=64
|stable|=12998
|infl|=38411
|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=719460.54MB, max=534.03MB, minor=719434.85MB, major=8003.18MB, promoted=7977.48MB
    minor collections=343099  major collections=81 compactions=0


runtime: 00:07:21.853
vars: 38569, evals: 721759

|rho|=38569
|called|=51
|stable|=13027
|infl|=38413
|wpoint|=45
|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=735789.92MB, max=534.03MB, minor=735764.20MB, major=8191.18MB, promoted=8165.46MB
    minor collections=350886  major collections=82 compactions=0


runtime: 00:07:31.869
vars: 38771, evals: 737517

|rho|=38771
|called|=41
|stable|=25757
|infl|=38611
|wpoint|=46
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=36694
Found 1680 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
141	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
122	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=752384.99MB, max=614.13MB, minor=752359.26MB, major=8368.58MB, promoted=8342.84MB
    minor collections=358800  major collections=83 compactions=0


runtime: 00:07:41.884
vars: 40104, evals: 753989

|rho|=40104
|called|=76
|stable|=11144
|infl|=39925
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37970
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=769481.46MB, max=614.13MB, minor=769455.65MB, major=8570.92MB, promoted=8545.11MB
    minor collections=366953  major collections=84 compactions=0


runtime: 00:07:51.896
vars: 40176, evals: 770849

|rho|=40176
|called|=90
|stable|=11512
|infl|=40012
|wpoint|=49
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=38042
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=786375.13MB, max=614.13MB, minor=786349.31MB, major=8755.12MB, promoted=8729.30MB
    minor collections=375009  major collections=85 compactions=0


runtime: 00:08:01.908
vars: 42086, evals: 785622

|rho|=42086
|called|=48
|stable|=13474
|infl|=41923
|wpoint|=52
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39883
Found 1806 contexts for 44 functions. Top 5 functions:
266	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
102	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=803549.80MB, max=614.13MB, minor=803523.87MB, major=8937.39MB, promoted=8911.46MB
    minor collections=383199  major collections=86 compactions=0


runtime: 00:08:11.919
vars: 42413, evals: 800793

|rho|=42413
|called|=69
|stable|=14016
|infl|=42254
|wpoint|=52
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40199
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=819013.12MB, max=614.13MB, minor=818987.17MB, major=9095.07MB, promoted=9069.12MB
    minor collections=390573  major collections=87 compactions=0


runtime: 00:08:21.935
vars: 42579, evals: 817147

|rho|=42579
|called|=36
|stable|=17400
|infl|=42421
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40361
Found 1821 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
160	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
140	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=833254.78MB, max=614.13MB, minor=833228.82MB, major=9242.94MB, promoted=9216.97MB
    minor collections=397365  major collections=88 compactions=0


runtime: 00:08:31.946
vars: 43857, evals: 831604

|rho|=43857
|called|=56
|stable|=18560
|infl|=43677
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41583
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=849888.02MB, max=614.13MB, minor=849862.00MB, major=9416.59MB, promoted=9390.57MB
    minor collections=405297  major collections=89 compactions=0


runtime: 00:08:41.958
vars: 43908, evals: 844763

|rho|=43908
|called|=42
|stable|=18473
|infl|=43742
|wpoint|=53
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41634
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=866362.44MB, max=614.13MB, minor=866336.42MB, major=9588.79MB, promoted=9562.76MB
    minor collections=413153  major collections=90 compactions=0


runtime: 00:08:51.970
vars: 44031, evals: 857601

|rho|=44031
|called|=63
|stable|=18768
|infl|=43866
|wpoint|=53
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41755
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=882446.10MB, max=614.13MB, minor=882420.07MB, major=9757.74MB, promoted=9731.71MB
    minor collections=420823  major collections=91 compactions=0


runtime: 00:09:01.981
vars: 44573, evals: 870093

|rho|=44573
|called|=45
|stable|=19321
|infl|=44403
|wpoint|=56
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42271
Found 1905 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
171	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
148	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=898309.27MB, max=614.13MB, minor=898283.21MB, major=9927.04MB, promoted=9900.98MB
    minor collections=428387  major collections=92 compactions=0


runtime: 00:09:11.993
vars: 45498, evals: 884564

|rho|=45498
|called|=43
|stable|=20087
|infl|=45333
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43165
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=914774.71MB, max=614.13MB, minor=914748.61MB, major=10103.33MB, promoted=10077.22MB
    minor collections=436239  major collections=93 compactions=0


runtime: 00:09:22.004
vars: 45532, evals: 898024

|rho|=45532
|called|=57
|stable|=19952
|infl|=45367
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43199
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=930447.07MB, max=614.13MB, minor=930420.97MB, major=10263.33MB, promoted=10237.22MB
    minor collections=443713  major collections=93 compactions=0


runtime: 00:09:32.024
vars: 47439, evals: 911743

|rho|=47439
|called|=37
|stable|=22260
|infl|=47276
|wpoint|=61
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=45037
Found 2005 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
183	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
160	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=946510.75MB, max=614.13MB, minor=946484.57MB, major=10438.88MB, promoted=10412.70MB
    minor collections=451373  major collections=94 compactions=0


runtime: 00:09:42.031
vars: 48022, evals: 924396

|rho|=48022
|called|=41
|stable|=25308
|infl|=47852
|wpoint|=61
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=45590
Found 2035 contexts for 44 functions. Top 5 functions:
287	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
190	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
166	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
119	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=963074.26MB, max=614.13MB, minor=963048.04MB, major=10617.60MB, promoted=10591.38MB
    minor collections=459272  major collections=95 compactions=0


runtime: 00:09:52.063
vars: 48947, evals: 937995

|rho|=48947
|called|=32
|stable|=26141
|infl|=48782
|wpoint|=62
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46484
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=979032.07MB, max=614.13MB, minor=979005.81MB, major=10787.55MB, promoted=10761.29MB
    minor collections=466881  major collections=96 compactions=0


runtime: 00:10:02.075
vars: 48969, evals: 950141

|rho|=48969
|called|=47
|stable|=25895
|infl|=48804
|wpoint|=63
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=46506
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=994786.33MB, max=614.13MB, minor=994760.07MB, major=10957.85MB, promoted=10931.59MB
    minor collections=474394  major collections=97 compactions=0


runtime: 00:10:12.090
vars: 49949, evals: 962630

|rho|=49949
|called|=36
|stable|=27211
|infl|=49783
|wpoint|=63
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=47452
Found 2100 contexts for 44 functions. Top 5 functions:
293	contexts for entry state of kerr (2767) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1-14271:1
198	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
174	contexts for entry state of ci (4771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24052:1-24075:1
135	contexts for entry state of amem (13746) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24195:1-24223:1
125	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=1010411.67MB, max=614.13MB, minor=1010385.37MB, major=11127.61MB, promoted=11101.31MB
    minor collections=481846  major collections=98 compactions=0


runtime: 00:10:22.102
vars: 51450, evals: 975894

|rho|=51450
|called|=60
|stable|=14063
|infl|=51281
|wpoint|=66
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=48888
Found 2165 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
209	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
184	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=1026680.03MB, max=614.13MB, minor=1026653.67MB, major=11322.76MB, promoted=11296.40MB
    minor collections=489604  major collections=99 compactions=0


runtime: 00:10:32.113
vars: 52396, evals: 992654

|rho|=52396
|called|=63
|stable|=14883
|infl|=52232
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=49803
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=1043813.15MB, max=614.13MB, minor=1043786.74MB, major=11511.97MB, promoted=11485.56MB
    minor collections=497774  major collections=100 compactions=0


runtime: 00:10:42.129
vars: 52435, evals: 1008835

|rho|=52435
|called|=81
|stable|=14967
|infl|=52273
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=49842
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=1060593.08MB, max=706.25MB, minor=1060566.66MB, major=11693.37MB, promoted=11666.95MB
    minor collections=505776  major collections=101 compactions=0


runtime: 00:10:52.136
vars: 54354, evals: 1022032

|rho|=54354
|called|=60
|stable|=17027
|infl|=54193
|wpoint|=69
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51692
Found 2265 contexts for 44 functions. Top 5 functions:
310	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
140	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=1077918.64MB, max=706.25MB, minor=1077892.15MB, major=11877.46MB, promoted=11850.97MB
    minor collections=514038  major collections=102 compactions=0


runtime: 00:11:02.156
vars: 54666, evals: 1036324

|rho|=54666
|called|=87
|stable|=17398
|infl|=54508
|wpoint|=73
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51993
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=1091868.82MB, max=706.25MB, minor=1091842.31MB, major=12019.69MB, promoted=11993.18MB
    minor collections=520690  major collections=102 compactions=0


runtime: 00:11:12.168
vars: 54761, evals: 1050132

|rho|=54761
|called|=45
|stable|=18813
|infl|=54608
|wpoint|=68
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52088
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=1104397.50MB, max=706.25MB, minor=1104371.00MB, major=12148.53MB, promoted=12122.02MB
    minor collections=526665  major collections=103 compactions=0


runtime: 00:11:22.179
vars: 56099, evals: 1064892

|rho|=56099
|called|=78
|stable|=22116
|infl|=55920
|wpoint|=73
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53366
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=1120724.06MB, max=706.25MB, minor=1120697.50MB, major=12320.97MB, promoted=12294.40MB
    minor collections=534450  major collections=104 compactions=0


runtime: 00:11:32.187
vars: 56144, evals: 1077069

|rho|=56144
|called|=92
|stable|=21919
|infl|=55979
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53411
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=1137125.09MB, max=706.25MB, minor=1137098.52MB, major=12493.46MB, promoted=12466.89MB
    minor collections=542272  major collections=105 compactions=0


runtime: 00:11:42.203
vars: 56232, evals: 1088789

|rho|=56232
|called|=79
|stable|=22192
|infl|=56065
|wpoint|=71
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53499
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=1153177.37MB, max=706.25MB, minor=1153150.80MB, major=12664.14MB, promoted=12637.56MB
    minor collections=549926  major collections=106 compactions=0


runtime: 00:11:52.214
vars: 56333, evals: 1100181

|rho|=56333
|called|=75
|stable|=22146
|infl|=56159
|wpoint|=72
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53598
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=1168660.00MB, max=706.25MB, minor=1168633.43MB, major=12829.52MB, promoted=12802.94MB
    minor collections=557309  major collections=106 compactions=0


runtime: 00:12:02.226
vars: 57063, evals: 1111071

|rho|=57063
|called|=41
|stable|=23104
|infl|=56897
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54293
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=1184836.38MB, max=706.25MB, minor=1184809.77MB, major=13002.99MB, promoted=12976.38MB
    minor collections=565023  major collections=107 compactions=0


runtime: 00:12:12.242
vars: 57751, evals: 1126419

|rho|=57751
|called|=86
|stable|=23522
|infl|=57587
|wpoint|=78
|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=1200351.82MB, max=706.25MB, minor=1200325.18MB, major=13157.38MB, promoted=13130.74MB
    minor collections=572422  major collections=108 compactions=0


runtime: 00:12:22.253
vars: 57841, evals: 1139507

|rho|=57841
|called|=72
|stable|=23798
|infl|=57675
|wpoint|=75
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=55049
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=1215724.06MB, max=706.25MB, minor=1215697.42MB, major=13309.50MB, promoted=13282.85MB
    minor collections=579753  major collections=109 compactions=0


runtime: 00:12:32.265
vars: 59801, evals: 1152623

|rho|=59801
|called|=37
|stable|=27478
|infl|=59644
|wpoint|=79
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56936
Found 2468 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
248	contexts for entry state of ic (13749) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23925:1-23933:1
220	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=1232333.54MB, max=706.25MB, minor=1232306.83MB, major=13497.50MB, promoted=13470.79MB
    minor collections=587673  major collections=109 compactions=0


runtime: 00:12:42.281
vars: 60483, evals: 1163640

|rho|=60483
|called|=39
|stable|=29017
|infl|=60315
|wpoint|=80
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57583
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=1248606.86MB, max=706.25MB, minor=1248580.11MB, major=13673.22MB, promoted=13646.47MB
    minor collections=595433  major collections=110 compactions=0


runtime: 00:12:52.296
vars: 61200, evals: 1177070

|rho|=61200
|called|=67
|stable|=29492
|infl|=61036
|wpoint|=84
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=58278
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=1264070.57MB, max=706.25MB, minor=1264043.79MB, major=13836.60MB, promoted=13809.82MB
    minor collections=602808  major collections=111 compactions=0


runtime: 00:13:02.312
vars: 61237, evals: 1188867

|rho|=61237
|called|=32
|stable|=29584
|infl|=61075
|wpoint|=81
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=58315
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=1279693.75MB, max=706.25MB, minor=1279666.98MB, major=14002.32MB, promoted=13975.54MB
    minor collections=610258  major collections=112 compactions=0


runtime: 00:13:12.328
vars: 62302, evals: 1199723

|rho|=62302
|called|=36
|stable|=30950
|infl|=62129
|wpoint|=80
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59341
Found 2564 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
164	contexts for entry state of bp (2819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1-24097:1
164	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=1295205.90MB, max=706.25MB, minor=1295179.09MB, major=14179.24MB, promoted=14152.43MB
    minor collections=617655  major collections=113 compactions=0


runtime: 00:13:22.340
vars: 64998, evals: 1213663

|rho|=64998
|called|=63
|stable|=18659
|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=1311174.60MB, max=706.25MB, minor=1311147.15MB, major=14375.78MB, promoted=14348.33MB
    minor collections=625270  major collections=113 compactions=0


runtime: 00:13:32.355
vars: 64998, evals: 1228182

|rho|=64998
|called|=16
|stable|=33178
|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=1326506.15MB, max=812.19MB, minor=1326478.67MB, major=14537.33MB, promoted=14509.86MB
    minor collections=632581  major collections=114 compactions=0


runtime: 00:13:42.367
vars: 66114, evals: 1246529

|rho|=66114
|called|=31
|stable|=16821
|infl|=65959
|wpoint|=85
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=62945
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=1342259.38MB, max=812.19MB, minor=1342229.76MB, major=14703.14MB, promoted=14673.52MB
    minor collections=640092  major collections=115 compactions=0


runtime: 00:13:52.395
vars: 66463, evals: 1262644

|rho|=66463
|called|=31
|stable|=17007
|infl|=66295
|wpoint|=83
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63283
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=1358063.62MB, max=812.19MB, minor=1358033.99MB, major=14867.16MB, promoted=14837.53MB
    minor collections=647629  major collections=116 compactions=0


runtime: 00:14:02.411
vars: 66523, evals: 1277808

|rho|=66523
|called|=25
|stable|=17173
|infl|=66369
|wpoint|=83
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63343
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=1373040.45MB, max=812.19MB, minor=1373010.81MB, major=15022.15MB, promoted=14992.52MB
    minor collections=654770  major collections=116 compactions=0


runtime: 00:14:12.422
vars: 69068, evals: 1292326

|rho|=69068
|called|=67
|stable|=18665
|infl|=68874
|wpoint|=89
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=65482
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=1388964.69MB, max=812.19MB, minor=1388934.96MB, major=15208.60MB, promoted=15178.87MB
    minor collections=662364  major collections=117 compactions=0


runtime: 00:14:22.438
vars: 69838, evals: 1306592

|rho|=69838
|called|=63
|stable|=19289
|infl|=69642
|wpoint|=90
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66229
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=1405560.12MB, max=812.19MB, minor=1405529.32MB, major=15404.01MB, promoted=15373.21MB
    minor collections=670278  major collections=118 compactions=0


runtime: 00:14:32.446
vars: 69872, evals: 1318751

|rho|=69872
|called|=98
|stable|=19478
|infl|=69677
|wpoint|=90
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66263
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=1421472.36MB, max=812.19MB, minor=1421441.55MB, major=15587.25MB, promoted=15556.45MB
    minor collections=677866  major collections=119 compactions=0


runtime: 00:14:42.470
vars: 69992, evals: 1330778

|rho|=69992
|called|=96
|stable|=19490
|infl|=69797
|wpoint|=89
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=66381
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=1437049.08MB, max=812.19MB, minor=1437018.27MB, major=15766.61MB, promoted=15735.80MB
    minor collections=685294  major collections=119 compactions=0


runtime: 00:14:52.485
vars: 70755, evals: 1345828

|rho|=70755
|called|=57
|stable|=19952
|infl|=70568
|wpoint|=93
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=67121
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=1453022.58MB, max=812.19MB, minor=1452991.74MB, major=15946.21MB, promoted=15915.37MB
    minor collections=692911  major collections=120 compactions=0

