./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_valid-memsafety/ln_3args_klee-sa_ko_158_infer_uaf.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_valid-memsafety/ln_3args_klee-sa_ko_158_infer_uaf.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/valid-memsafety.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-free) ) -> enabling soundness analyses "base, useAfterFree"[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-deref) ) -> enabling soundness analyses "base, memOutOfBounds"[0;0;00m
[0;34m[Info] Setting "ana.arrayoob" to true[0;0;00m
[0;34m[Info] Setting "cil.addNestedScopeAttr" to true[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-memtrack) ) -> enabling soundness analyses "memLeak"[0;0;00m
[0;34m[Info] Setting "ana.malloc.unique_address_count" to 5[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53249:9-53255:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53313:13-53351:22 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53354:9-53373:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53376:13-53386:48 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53404:9-53442:18 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53491:13-53529:22 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53551:17-53599:26 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53610:13-53616:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53633:9-53638:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53643:9-53648:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53691:9-53701:62 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53725:17-53763:26 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53789:25-53827:34 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53835:25-53873:34 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53885:21-53923:30 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53927:9-53975:18 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:53997:9-54002:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54007:9-54012:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54017:9-54022:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54027:9-54032:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54037:9-54043:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54048:9-54053:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54058:9-54064:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54075:13-54077:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54079:9-54084:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54086:9-54124:18 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54137:9-54143:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54154:9-54159:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54168:13-54183:27 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54197:9-54235:18 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54238:9-54243:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54248:9-54253:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54286:17-54308:26 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54311:13-54317:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54319:13-54324:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54331:9-54336:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54341:9-54346:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54354:9-54360:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54379:13-54385:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54392:9-54440:18 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54443:9-54445:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54469:13-54475:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54478:13-54484:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54487:13-54493:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54501:13-54507:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54519:13-54521:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54522:13-54570:22 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54650:33-54652:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54659:33-54661:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54673:9-54692:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54695:13-54705:48 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54750:29-54752:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54759:29-54761:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54846:33-54848:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54855:33-54857:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54915:37-54917:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54924:37-54926:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54931:25-54944:34 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54959:13-54965:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54982:9-54987:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:54992:9-54997:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55040:9-55050:62 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55101:37-55103:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55110:37-55112:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55134:29-55136:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55179:45-55181:45 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55188:45-55190:45 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55234:45-55236:45 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55243:45-55245:45 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55259:29-55261:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55298:41-55300:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55307:41-55309:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55349:29-55351:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55358:29-55360:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55365:17-55378:26 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55404:9-55409:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55414:9-55419:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55424:9-55429:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55434:9-55439:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55444:9-55450:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55455:9-55460:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55465:9-55471:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55482:13-55484:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55486:9-55491:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55520:29-55522:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55529:29-55531:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55553:9-55559:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55570:9-55575:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55584:13-55599:27 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55640:29-55642:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55649:29-55651:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55663:9-55668:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55673:9-55678:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55711:17-55733:26 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55736:13-55742:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55744:13-55749:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55756:9-55761:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55766:9-55771:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55779:9-55785:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55804:13-55810:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55844:29-55846:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55853:29-55855:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55860:17-55873:26 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55880:9-55882:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55906:13-55912:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55915:13-55921:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55924:13-55930:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55938:13-55944:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55956:13-55958:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55986:33-55988:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:55995:33-55997:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56002:21-56015:30 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56042:5-56045:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56217:5-56222:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56239:5-56241:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56381:9-56386:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56420:17-56422:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56499:9-56499:17 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56519:17-56528:17 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56590:5-56607:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56624:9-56626:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:56628:9-56632:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85167:5-85226:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85239:5-85255:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85278:5-85282:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85290:5-85298:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85536:13-85543:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85775:13-85782:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85914:5-85925:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85931:5-85933:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85982:5-85984:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85989:5-85991:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:85996:5-85998:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86072:9-86072:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86084:9-86084:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86096:9-86096:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86108:9-86108:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86139:17-86139:23 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86201:17-86205:17 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86208:17-86212:17 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86221:21-86225:21 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86228:21-86232:21 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86241:25-86245:25 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86248:25-86252:25 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86261:29-86265:29 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86268:29-86272:29 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86281:33-86285:33 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86288:33-86292:33 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86301:37-86305:37 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86308:37-86312:37 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86321:41-86325:41 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86328:41-86332:41 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86341:45-86345:45 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86348:45-86352:45 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86361:49-86365:49 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86368:49-86372:49 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86381:53-86385:53 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86388:53-86392:53 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86401:57-86405:57 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86408:57-86412:57 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86421:61-86425:61 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86428:61-86432:61 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86480:5-86482:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86638:9-86642:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86651:5-86674:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86745:13-86747:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86761:9-86769:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86834:21-86834:79 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86808:21-86808:79 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86842:9-86850:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86856:5-86858:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86878:5-86884:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86914:13-86918:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86941:9-86944:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:86999:17-87002:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87034:17-87037:17 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87066:33-87068:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87074:29-87086:29 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87115:21-87117:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87122:17-87125:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87864:5-87873:21 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:87906:5-87916:21 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88051:5-88072:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88094:9-88118:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88157:5-88159:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88162:9-88167:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88196:5-88198:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88334:9-88336:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88337:9-88337:72 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88346:25-88348:25 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88465:33-88467:33 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88635:5-88637:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88717:9-88736:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88968:5-88986:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:88994:5-89020:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89031:5-89044:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89090:17-89090:33 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89233:5-89237:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89448:9-89453:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89481:9-89486:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89487:9-89493:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89495:13-89500:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89542:13-89553:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89561:17-89570:17 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89574:13-89586:13 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89596:5-89604:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:89944:5-89978:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90001:5-90021:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90049:13-90055:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90138:5-90143:14 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90262:9-90264:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90417:9-90421:18 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90425:13-90429:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90432:13-90436:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90441:13-90445:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90453:13-90457:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90461:17-90465:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90470:17-90474:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90502:13-90506:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90511:13-90515:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90524:17-90528:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90533:17-90537:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90546:21-90550:30 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90555:21-90559:30 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90568:25-90572:34 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90689:5-90691:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:90803:5-90807:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91178:5-91193:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91399:13-91406:13 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91417:5-91419:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91527:9-91531:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91557:5-91575:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91771:5-91775:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:91811:5-91816:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92011:5-92044:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92074:9-92086:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92105:5-92109:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92249:17-92254:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92363:9-92370:57 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92379:5-92385:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92418:13-92429:13 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92437:5-92475:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92610:13-92610:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92634:17-92636:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92646:25-92648:25 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92662:13-92662:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92686:17-92688:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92698:25-92700:25 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92734:9-92772:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92819:5-92848:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92855:9-92869:27 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92900:9-92902:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92905:5-92915:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92923:13-92926:13 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92958:5-92962:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92963:5-92968:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92976:5-92980:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:92993:9-92996:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93048:5-93051:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93184:5-93199:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93247:13-93251:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93289:17-93292:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93326:17-93330:26 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93401:17-93405:26 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93423:13-93427:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93471:9-93475:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93554:9-93554:10 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93584:5-93589:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93597:9-93603:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93606:9-93612:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93706:5-93711:14 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93756:5-93761:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93766:9-93766:15 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93884:5-93896:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93903:5-93915:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93923:9-93923:23 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93940:9-93940:23 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:93988:9-93998:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94019:9-94029:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94483:13-94483:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94499:9-94528:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94535:9-94593:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94706:5-94710:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94711:5-94715:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94733:5-94738:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94822:5-94917:30 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:94967:13-94971:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95002:5-95006:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95007:5-95011:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95029:5-95034:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95155:21-95158:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95161:21-95164:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95177:21-95180:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95183:21-95186:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95203:13-95206:13 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95212:13-95217:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95247:5-95249:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95261:5-95287:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95329:13-95337:13 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95374:21-95378:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95393:13-95398:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95425:5-95435:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95446:17-95448:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95453:9-95456:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95458:5-95461:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95472:13-95478:13 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95489:5-95498:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95509:17-95509:23 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95537:5-95543:31 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95545:9-95545:37 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95675:5-95679:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95686:5-95688:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95752:9-95752:11 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95769:17-95769:23 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95837:5-95847:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95855:5-95858:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95949:13-95953:68 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:95974:17-95991:67 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96050:13-96050:21 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96061:13-96066:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96134:17-96145:17 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96162:5-96164:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96205:13-96205:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96216:13-96216:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96368:5-96372:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96396:17-96406:17 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96456:9-96462:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96482:5-96484:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96568:13-96568:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96579:13-96579:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:96599:5-96603:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97124:13-97135:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97146:9-97165:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97213:13-97213:58 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97228:13-97248:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97289:25-97296:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97320:5-97322:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97323:5-97333:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97388:5-97403:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97446:13-97455:22 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97636:5-97638:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97639:5-97643:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97646:5-97659:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97667:5-97671:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97674:9-97678:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97681:5-97685:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97687:9-97691:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97697:9-97697:11 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97722:5-97726:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97727:5-97731:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97732:5-97736:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97940:9-97942:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97937:5-97943:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:97945:5-97947:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98213:9-98217:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98274:5-98295:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98424:9-98424:23 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98643:9-98670:25 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98699:9-98713:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98733:13-98733:58 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98853:17-98903:44 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98910:5-98932:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:98976:25-98976:39 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99018:25-99044:25 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99088:21-99101:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99131:21-99140:65 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99156:25-99156:80 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99348:9-99356:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99357:9-99365:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99366:9-99374:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99375:9-99383:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99384:9-99392:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99393:9-99401:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99402:9-99410:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99411:9-99419:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99420:9-99428:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99429:9-99437:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99438:9-99446:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99447:9-99455:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99456:9-99464:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99465:9-99473:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99474:9-99482:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99483:9-99491:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99492:9-99497:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99498:9-99503:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99504:9-99509:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99510:9-99515:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99516:9-99521:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99522:9-99527:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99528:9-99533:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99534:9-99539:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99540:9-99545:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99546:9-99551:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99552:9-99557:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99558:9-99563:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99564:9-99569:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99570:9-99575:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99576:9-99581:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99582:9-99587:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99588:9-99593:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99594:9-99599:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99600:9-99605:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99606:9-99611:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99612:9-99617:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99618:9-99623:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99624:9-99629:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99630:9-99635:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99636:9-99641:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99642:9-99647:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99648:9-99653:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99654:9-99659:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99660:9-99665:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99666:9-99671:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99672:9-99677:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99678:9-99683:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99684:9-99689:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99690:9-99695:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99696:9-99701:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99702:9-99707:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99708:9-99713:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99714:9-99719:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99720:9-99725:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99726:9-99731:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99732:9-99737:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99738:9-99743:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99744:9-99749:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99750:9-99755:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99756:9-99761:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99762:9-99767:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99768:9-99773:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99774:9-99779:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99814:13-99818:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99865:9-99881:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99918:9-99934:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:99966:9-99976:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100005:5-100028:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100046:5-100052:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100065:13-100069:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100072:5-100080:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100082:5-100088:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100146:9-100146:24 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100157:9-100157:24 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100167:5-100185:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100284:9-100303:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100363:9-100371:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:100386:9-100386:23 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:102470:5-102510:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:110763:9-110770:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:110789:9-110791:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:110796:9-110817:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:110837:17-110844:50 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:110869:13-110892:13 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:110958:5-110979:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111013:9-111033:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111077:5-111079:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111214:9-111216:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111263:13-111263:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111280:9-111284:57 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111287:17-111291:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111296:13-111299:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111301:17-111305:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111309:9-111313:57 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111315:13-111319:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111320:13-111324:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111331:13-111335:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111338:13-111342:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111363:13-111367:61 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111369:17-111373:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111378:13-111381:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111383:17-111387:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111392:13-111395:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111396:13-111399:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111401:17-111405:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111406:17-111410:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111417:17-111421:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111424:17-111428:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111457:9-111461:57 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111464:17-111468:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111473:13-111476:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111478:17-111482:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111486:9-111490:57 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111492:13-111496:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111497:13-111501:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111508:13-111512:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111515:13-111519:42 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111540:13-111544:61 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111546:17-111550:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111555:13-111558:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111560:17-111564:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111569:13-111572:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111573:13-111576:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111578:17-111582:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111583:17-111587:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111594:17-111598:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111601:17-111605:46 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111733:13-111733:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111744:13-111744:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111951:13-111956:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:111964:9-111973:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:112224:9-112228:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:112271:5-112289:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:112316:5-112339:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:112385:9-112385:21 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:112418:21-112422:21 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:112432:25-112432:37 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:152961:9-152967:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:152998:9-153008:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153030:9-153039:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153169:5-153185:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153260:5-153262:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153267:13-153269:13 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153292:5-153314:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153552:5-153562:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153903:9-153911:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153981:5-153985:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:153987:5-153989:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154067:9-154074:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154075:9-154086:67 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154103:13-154109:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154305:17-154305:75 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154308:21-154319:21 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154330:13-154374:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154384:21-154384:79 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154387:25-154398:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154465:21-154468:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154483:21-154483:72 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154502:25-154502:83 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154505:29-154516:29 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154583:25-154586:25 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154600:21-154600:72 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154612:21-154671:21 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154855:25-154858:25 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:154963:9-154984:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155223:13-155230:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155378:5-155380:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155415:5-155417:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155548:5-155548:74 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155597:13-155601:34 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155604:13-155609:37 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155676:13-155678:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155680:9-155688:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155813:5-155830:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155860:5-155868:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155888:5-155893:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155919:23-155919:111 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155939:21-155945:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155962:29-155962:35 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:155966:25-155978:25 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156110:5-156113:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156114:5-156117:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156224:13-156226:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156265:9-156281:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156303:9-156303:15 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156321:5-156329:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156422:5-156438:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156474:9-156476:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156479:9-156481:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156525:5-156543:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156555:5-156572:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:156581:5-156583:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:158818:9-158820:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:158823:9-158825:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:158854:9-158878:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:158884:9-158911:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:158964:9-158967:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:158976:9-159003:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159004:9-159007:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159009:13-159014:13 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159192:5-159196:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159222:13-159237:13 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159294:9-159299:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159489:17-159503:35 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159513:21-159515:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159521:21-159523:21 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159524:21-159531:21 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159538:29-159540:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159598:37-159598:43 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159641:21-159643:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159717:5-159736:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159754:5-159757:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159879:9-159883:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159897:9-159897:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159927:13-159935:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159955:5-159976:27 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:159982:5-160001:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160011:5-160014:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160015:5-160015:110 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160019:5-160037:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160061:5-160077:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160090:5-160127:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160296:5-160303:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160335:9-160339:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160739:9-160752:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160869:17-160871:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160979:13-160982:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:160994:17-160996:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161008:17-161011:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161094:17-161099:26 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161123:5-161128:14 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161178:13-161181:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161237:9-161249:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161508:5-161526:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161530:5-161548:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161608:9-161635:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161882:5-161886:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161887:5-161900:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161902:5-161907:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:161939:13-161945:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162017:5-162025:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162036:5-162040:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162285:17-162289:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162604:9-162607:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162608:9-162612:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162613:9-162617:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162618:9-162622:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162623:9-162627:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162628:9-162632:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162633:9-162637:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162638:9-162642:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162643:9-162647:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162648:9-162652:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162653:9-162657:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162658:9-162662:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162663:9-162667:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162668:9-162672:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162673:9-162677:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162678:9-162682:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162683:9-162687:18 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162688:9-162694:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162695:9-162701:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162702:9-162708:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162709:9-162715:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162716:9-162722:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162723:9-162729:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162730:9-162736:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162737:9-162743:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162744:9-162750:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162751:9-162757:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162758:9-162764:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162765:9-162771:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162772:9-162778:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162779:9-162785:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162786:9-162792:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162793:9-162799:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162800:9-162806:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162807:9-162813:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162814:9-162820:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162821:9-162827:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162828:9-162834:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162835:9-162841:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162842:9-162848:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162849:9-162855:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162856:9-162862:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162863:9-162869:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162870:9-162876:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162877:9-162883:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162884:9-162890:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162891:9-162897:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162898:9-162904:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162905:9-162911:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162912:9-162918:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162919:9-162925:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162926:9-162932:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162933:9-162939:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162940:9-162946:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162947:9-162953:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162954:9-162960:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162961:9-162967:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162968:9-162974:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162975:9-162981:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162982:9-162988:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162989:9-162995:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:162996:9-163002:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163003:9-163009:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163010:9-163016:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163017:9-163023:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163024:9-163030:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163031:9-163037:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163038:9-163044:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163045:9-163051:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163052:9-163058:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163059:9-163065:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163066:9-163072:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163073:9-163079:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163080:9-163086:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163087:9-163093:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163094:9-163100:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163101:9-163107:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163108:9-163114:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163115:9-163121:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163122:9-163128:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163129:9-163135:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163172:13-163176:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163224:9-163240:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163281:5-163283:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163358:9-163361:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163362:9-163368:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163369:9-163375:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163376:9-163382:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163383:9-163389:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163390:9-163396:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163397:9-163403:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163404:9-163410:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163411:9-163417:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163418:9-163424:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163425:9-163431:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163432:9-163438:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163439:9-163445:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163446:9-163452:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163453:9-163459:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163460:9-163466:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163467:9-163473:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163474:9-163482:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163483:9-163491:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163492:9-163500:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163501:9-163509:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163510:9-163518:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163519:9-163527:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163528:9-163536:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163537:9-163545:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163546:9-163554:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163555:9-163563:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163564:9-163572:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163573:9-163581:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163582:9-163590:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163591:9-163599:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163600:9-163608:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163609:9-163617:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163618:9-163626:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163627:9-163635:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163636:9-163644:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163645:9-163653:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163654:9-163662:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163663:9-163671:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163672:9-163680:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163681:9-163689:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163690:9-163698:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163699:9-163707:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163708:9-163716:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163717:9-163725:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163726:9-163734:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163735:9-163743:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163744:9-163752:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163753:9-163761:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163762:9-163770:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163771:9-163779:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163780:9-163788:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163789:9-163797:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163798:9-163806:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163807:9-163815:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163816:9-163824:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163825:9-163833:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163834:9-163842:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163843:9-163851:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163852:9-163860:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163861:9-163869:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163870:9-163878:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163879:9-163887:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163888:9-163896:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163897:9-163905:18 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163948:13-163952:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:163976:5-163978:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164015:5-164017:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164088:9-164091:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164092:9-164098:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164099:9-164105:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164106:9-164112:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164113:9-164119:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164120:9-164126:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164127:9-164133:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164134:9-164140:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164141:9-164147:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164148:9-164154:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164155:9-164161:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164162:9-164168:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164169:9-164175:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164176:9-164182:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164183:9-164189:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164190:9-164196:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164197:9-164203:18 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164204:9-164211:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164212:9-164219:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164220:9-164227:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164228:9-164235:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164236:9-164243:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164244:9-164251:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164252:9-164259:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164260:9-164267:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164268:9-164275:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164276:9-164283:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164284:9-164291:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164292:9-164299:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164300:9-164307:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164308:9-164315:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164316:9-164323:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164324:9-164331:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164332:9-164339:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164340:9-164347:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164348:9-164355:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164356:9-164363:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164364:9-164371:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164372:9-164379:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164380:9-164387:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164388:9-164395:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164396:9-164403:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164404:9-164411:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164412:9-164419:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164420:9-164427:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164428:9-164435:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164436:9-164443:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164444:9-164451:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164452:9-164459:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164460:9-164467:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164468:9-164475:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164476:9-164483:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164484:9-164491:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164492:9-164499:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164500:9-164507:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164508:9-164515:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164516:9-164523:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164524:9-164531:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164532:9-164539:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164540:9-164547:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164548:9-164555:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164556:9-164563:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164564:9-164571:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164572:9-164579:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164580:9-164587:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164588:9-164595:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164596:9-164603:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164604:9-164611:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164612:9-164619:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164620:9-164627:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164628:9-164635:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164636:9-164643:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164644:9-164651:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164652:9-164659:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164660:9-164667:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164668:9-164675:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164676:9-164683:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164684:9-164691:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164692:9-164699:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164700:9-164707:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164708:9-164715:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164758:13-164762:13 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164786:5-164788:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164813:9-164829:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164858:9-164874:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:164934:5-164962:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165074:5-165079:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165198:9-165202:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165249:9-165282:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165283:9-165311:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165393:9-165393:44 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165488:9-165492:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165534:9-165534:54 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165731:5-165754:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:165755:5-165761:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177301:13-177314:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177352:5-177372:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177553:18-177553:81 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177573:17-177573:33 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177606:13-177606:118 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177610:13-177612:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177725:9-177727:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:177783:9-177787:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178027:13-178027:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178038:13-178038:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178053:13-178053:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178064:13-178064:19 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178080:9-178080:23 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178088:5-178098:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178252:9-178255:18 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178362:25-178377:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178424:21-178433:21 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178634:25-178634:30 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178730:21-178730:44 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178778:37-178778:42 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:178798:37-178798:42 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179437:9-179459:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179460:9-179462:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179463:9-179465:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179466:9-179472:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179516:5-179516:74 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179574:9-179574:25 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179582:5-179588:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179595:5-179606:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179763:5-179782:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:179839:5-179847:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180044:5-180047:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180064:5-180069:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180131:9-180134:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180275:9-180278:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180476:9-180479:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180620:9-180623:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180815:9-180828:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180914:5-180916:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180937:13-180937:25 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:180958:21-180958:33 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:187892:17-187898:17 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:187900:21-187905:21 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:187907:17-187909:17 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:187961:13-187969:49 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:187990:9-188005:27 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:188051:13-188058:22 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:188059:13-188066:22 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:210446:5-210464:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/coreutils-v8.31/ln_3args_klee-sa_ko_158_infer_uaf.c:210495:5-210499:5 with factor 8
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] function posixtime is recursive, disable interval and interval_set contexts
[Info] function __strftime_internal_185715 is recursive, disable interval and interval_set contexts
[Info] function __strftime_internal_87620 is recursive, disable interval and interval_set contexts
[Info] function calc_eclosure_iter_244873 is recursive, disable interval and interval_set contexts
[Info] function check_arrival_expand_ecl_sub_245678 is recursive, disable interval and interval_set contexts
[Info] function check_dst_limits_calc_pos_1_245577 is recursive, disable interval and interval_set contexts
[Info] function duplicate_node_closure_245166 is recursive, disable interval and interval_set contexts
[Info] function mpsort_into_tmp_179514 is recursive, disable interval and interval_set contexts
[Info] function mpsort_with_tmp_179508 is recursive, disable interval and interval_set contexts
[Info] function parse_expression_244914 is recursive, disable interval and interval_set contexts
[Info] function peek_token_244887 is recursive, disable interval and interval_set contexts
[Info] function transit_state_bkref_245635 is recursive, disable interval and interval_set contexts
[Info] malloc wrapper: xmalloc
[Info] malloc wrapper: create_token_tree_244987
[Info] malloc wrapper: re_node_set_init_copy_244662
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] math function -> enabling tmpSpecial analysis and floating-point domain
[Info] SV-COMP specification: CHECK( init(main()), LTL(G valid-free) )
CHECK( init(main()), LTL(G valid-deref) )
CHECK( init(main()), LTL(G valid-memtrack) )
[Error][Imprecise][Unsound] Function definition missing for wctype
[Error][Imprecise][Unsound] Function definition missing for newlocale
[Error][Imprecise][Unsound] Function definition missing for strtod_l
[Error][Imprecise][Unsound] Function definition missing for uselocale
[Error][Imprecise][Unsound] Function definition missing for strtold
[Error][Imprecise][Unsound] Function definition missing for fchdir
[Error][Imprecise][Unsound] Function definition missing for gai_strerror
[Error][Imprecise][Unsound] Function definition missing for tzset
[Error][Imprecise][Unsound] Function definition missing for fpathconf
[Error][Imprecise][Unsound] Function definition missing for iswctype
[Error][Imprecise][Unsound] Function definition missing for fchmodat
[Error][Imprecise][Unsound] Function definition missing for fchownat
[Error][Imprecise][Unsound] Function definition missing for fflush_unlocked
[Error][Imprecise][Unsound] Function definition missing for lchmod
[Error][Imprecise][Unsound] Function definition missing for unlinkat
[Error][Imprecise][Unsound] Function definition missing for symlinkat
[Error][Imprecise][Unsound] Function definition missing for __fpurge
[Error][Imprecise][Unsound] Function definition missing for strtof
[Error][Imprecise][Unsound] Function definition missing for iswcntrl
[Error][Imprecise][Unsound] Function definition missing for getgroups
[Error][Imprecise][Unsound] Function definition missing for getgrouplist
[Error][Imprecise][Unsound] Function definition missing for timegm
[Error][Imprecise][Unsound] Function definition missing for sched_getaffinity
[Error][Imprecise][Unsound] Function definition missing for btowc
[Error][Imprecise][Unsound] Function definition missing for endmntent
[Error][Imprecise][Unsound] Function definition missing for getmntent
[Error][Imprecise][Unsound] Function definition missing for setmntent
[Error][Imprecise][Unsound] Function definition missing for gnu_dev_makedev
[Error][Imprecise][Unsound] Function definition missing for utmpxname
[Error][Imprecise][Unsound] Function definition missing for renameat2
[Error][Imprecise][Unsound] Function definition missing for settimeofday
[Error][Imprecise][Unsound] Function definition missing for error_at_line
[Error][Imprecise][Unsound] Function definition missing for strtoimax
[Error][Imprecise][Unsound] Function definition missing for strtoumax
[Error][Analyzer] About to crash!

Fatal error: exception Failure("Yaml_unix.of_file: /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_valid-memsafety/ln_3args_klee-sa_ko_158_infer_uaf.yml/witness.yml: No such file or directory")
