./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_no-overflow/instrumented_df_comb.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_no-overflow/instrumented_df_comb.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
lib/libc/stub/src/stdlib.c:38: Warning: def'n of func bsearch at lib/libc/stub/src/stdlib.c:38 (sum 1086600) conflicts with the one at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:5913 (sum 1522251); keeping the one at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:5913.
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:5924:3-5943:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6367:3-6390:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6404:3-6435:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6450:3-6489:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6503:3-6513:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6527:3-6546:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6561:3-6584:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6595:3-6626:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6651:3-6690:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6723:3-6733:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6747:5-6766:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6823:5-6864:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:6890:5-6944:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:7914:3-7993:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:8691:3-8733:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:8775:3-8793:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9186:5-9197:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9280:5-9298:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9738:3-9764:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9834:5-9846:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9856:7-9868:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9876:7-9888:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9902:7-9914:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9934:7-9946:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9956:9-9968:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:9982:9-9994:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:10065:9-10086:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:10815:3-10898:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:10933:3-11019:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:11468:5-11478:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:11485:5-11508:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:11537:17-11552:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:11751:17-11766:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12546:5-12590:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12794:5-12812:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12816:5-12834:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12838:5-12856:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12860:5-12878:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12882:5-12900:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12904:5-12922:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12926:5-12944:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12948:5-12966:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12970:5-12988:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:12992:5-13010:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13014:5-13032:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13036:5-13054:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13058:5-13076:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13080:5-13098:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13102:5-13120:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13124:5-13142:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13146:5-13159:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13163:5-13176:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13180:5-13193:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13197:5-13210:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13214:5-13227:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13231:5-13244:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13248:5-13261:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13265:5-13278:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13282:5-13295:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13299:5-13312:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13316:5-13329:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13333:5-13346:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13350:5-13363:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13367:5-13380:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13384:5-13397:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13401:5-13414:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13418:5-13431:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13435:5-13448:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13452:5-13465:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13469:5-13482:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13486:5-13499:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13503:5-13516:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13520:5-13533:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13537:5-13550:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13554:5-13567:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13571:5-13584:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13588:5-13601:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13605:5-13618:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13622:5-13635:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13639:5-13652:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13656:5-13669:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13673:5-13686:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13690:5-13703:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13707:5-13720:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13724:5-13737:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13741:5-13754:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13758:5-13771:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13775:5-13788:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13792:5-13805:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13809:5-13822:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13826:5-13839:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13843:5-13856:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13860:5-13873:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13877:5-13890:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13894:5-13907:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13911:5-13924:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13928:5-13941:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:13945:5-13958:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14094:5-14138:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14309:5-14321:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14325:5-14337:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14341:5-14353:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14357:5-14369:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14373:5-14385:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14389:5-14401:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14405:5-14417:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14421:5-14433:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14437:5-14449:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14453:5-14465:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14469:5-14481:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14485:5-14497:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14501:5-14513:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14517:5-14529:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14533:5-14545:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14549:5-14561:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14565:5-14577:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14581:5-14595:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14599:5-14613:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14617:5-14631:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14635:5-14649:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14653:5-14667:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14671:5-14685:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14689:5-14703:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14707:5-14721:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14725:5-14739:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14743:5-14757:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14761:5-14775:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14779:5-14793:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14797:5-14811:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14815:5-14829:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14833:5-14847:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14851:5-14865:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14869:5-14883:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14887:5-14901:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14905:5-14919:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14923:5-14937:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14941:5-14955:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14959:5-14973:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14977:5-14991:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:14995:5-15009:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15013:5-15027:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15031:5-15045:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15049:5-15063:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15067:5-15081:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15085:5-15099:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15103:5-15117:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15121:5-15135:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15139:5-15153:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15157:5-15171:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15175:5-15189:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15193:5-15207:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15211:5-15225:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15229:5-15243:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15247:5-15261:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15265:5-15279:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15283:5-15297:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15301:5-15315:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15319:5-15333:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15337:5-15351:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15355:5-15369:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15373:5-15387:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15391:5-15405:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15409:5-15423:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15427:5-15441:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15445:5-15459:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15463:5-15477:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15481:5-15495:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15499:5-15513:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15517:5-15531:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15535:5-15549:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15553:5-15567:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15571:5-15585:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15589:5-15603:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15607:5-15621:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15625:5-15639:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15643:5-15657:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15661:5-15675:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15679:5-15693:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15697:5-15711:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15715:5-15729:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15807:3-15818:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15834:3-15845:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:15953:5-15997:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16060:5-16104:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16299:5-16311:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16315:5-16329:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16333:5-16347:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16351:5-16365:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16369:5-16383:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16387:5-16401:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16405:5-16419:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16423:5-16437:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16441:5-16455:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16459:5-16473:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16477:5-16491:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16495:5-16509:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16513:5-16527:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16531:5-16545:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16549:5-16563:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16567:5-16581:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16585:5-16599:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16603:5-16619:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16623:5-16639:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16643:5-16659:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16663:5-16679:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16683:5-16699:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16703:5-16719:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16723:5-16739:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16743:5-16759:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16763:5-16779:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16783:5-16799:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16803:5-16819:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16823:5-16839:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16843:5-16859:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16863:5-16879:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16883:5-16899:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16903:5-16919:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16923:5-16939:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16943:5-16959:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16963:5-16979:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:16983:5-16999:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17003:5-17019:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17023:5-17039:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17043:5-17059:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17063:5-17079:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17083:5-17099:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17103:5-17119:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17123:5-17139:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17143:5-17159:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17163:5-17179:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17183:5-17199:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17203:5-17219:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17223:5-17239:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17243:5-17259:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17263:5-17279:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17283:5-17299:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17303:5-17319:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17323:5-17339:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17343:5-17359:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17363:5-17379:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17383:5-17399:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17403:5-17419:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17423:5-17439:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17443:5-17459:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17463:5-17479:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17483:5-17499:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17503:5-17519:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17523:5-17539:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17543:5-17559:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17656:3-17667:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17683:3-17694:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17802:5-17846:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:17909:5-17953:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18303:5-18315:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18319:5-18333:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18337:5-18351:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18355:5-18369:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18373:5-18387:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18391:5-18405:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18409:5-18423:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18427:5-18441:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18445:5-18459:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18463:5-18477:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18481:5-18495:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18499:5-18513:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18517:5-18531:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18535:5-18549:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18553:5-18567:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18571:5-18585:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18589:5-18603:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18607:5-18622:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18626:5-18641:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18645:5-18660:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18664:5-18679:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18683:5-18698:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18702:5-18717:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18721:5-18736:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18740:5-18755:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18759:5-18774:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18778:5-18793:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18797:5-18812:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18816:5-18831:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18835:5-18850:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18854:5-18869:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18873:5-18888:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18892:5-18907:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18911:5-18926:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18930:5-18945:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18949:5-18964:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18968:5-18983:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:18987:5-19002:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19006:5-19021:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19025:5-19040:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19044:5-19059:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19063:5-19078:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19082:5-19097:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19101:5-19116:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19120:5-19135:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19139:5-19154:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19158:5-19173:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19177:5-19192:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19196:5-19211:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19215:5-19230:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19234:5-19249:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19253:5-19268:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19272:5-19287:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19291:5-19306:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19310:5-19325:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19329:5-19344:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19348:5-19363:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19367:5-19382:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19386:5-19401:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19405:5-19420:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19424:5-19439:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19443:5-19458:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19462:5-19477:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19481:5-19496:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19500:5-19515:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19519:5-19534:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19538:5-19553:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19557:5-19572:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19576:5-19591:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19595:5-19610:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19614:5-19629:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19633:5-19648:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19652:5-19667:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19671:5-19686:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19690:5-19705:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19709:5-19724:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19728:5-19743:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19747:5-19762:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19766:5-19781:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19785:5-19800:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19804:5-19819:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:19931:3-19942:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:20369:3-20384:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:20461:3-20471:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:20478:3-20507:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:20523:3-20548:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:20669:3-20712:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:21878:3-21915:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:21934:3-21985:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22033:3-22093:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22335:3-22347:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22595:7-22634:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22680:5-22715:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22740:3-22760:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22794:5-22826:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:22881:3-22936:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:23162:3-23190:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:23269:9-23295:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:24033:3-24045:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:24165:3-24293:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:24434:5-24562:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:24566:5-24576:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:24580:5-24590:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:24594:5-24677:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:25505:3-25539:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:25552:3-25586:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:25899:19-25910:19 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:25932:19-25943:19 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:25972:5-26031:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26040:7-26090:7 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26424:17-26435:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26457:17-26468:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26638:17-26649:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26671:17-26682:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26808:19-26819:19 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26841:19-26852:19 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:26866:11-26899:11 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27045:5-27075:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27187:21-27198:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27220:21-27231:21 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27287:15-27298:15 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27396:25-27407:25 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27429:25-27440:25 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27548:25-27559:25 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27581:25-27592:25 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27633:15-27644:15 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27735:23-27746:23 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27768:23-27779:23 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27881:17-27892:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27914:17-27925:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:27939:9-27971:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28094:7-28105:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28187:17-28198:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28220:17-28231:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28298:5-28331:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28423:17-28434:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28456:17-28467:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28852:17-28863:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28885:17-28896:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28910:9-28942:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:28960:5-28972:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29080:5-29092:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29166:17-29177:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29199:17-29210:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29224:9-29257:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29378:3-29446:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29474:5-29514:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29842:3-29885:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29904:3-29934:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:29953:3-29983:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:30083:3-30279:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:30480:7-30499:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31019:7-31037:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31086:7-31104:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31198:3-31224:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31243:3-31268:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31286:3-31310:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31314:3-31334:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31365:7-31383:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31424:7-31443:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31466:3-31485:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31502:3-31527:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31561:3-31587:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31824:7-31845:7 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31901:11-31912:11 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31942:5-31954:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:31967:3-31979:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:32089:3-32128:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:32161:7-32192:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:32556:11-32568:11 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:32595:3-32606:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:32979:3-33015:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:33036:3-33063:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:33196:3-33257:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:33472:5-33497:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:33588:7-33639:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:33861:3-33879:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:33912:7-33930:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34142:7-34203:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34252:3-34263:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34354:3-34372:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34445:3-34536:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34543:3-34634:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34678:3-34696:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34769:3-34860:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:34867:3-34958:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35001:3-35012:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35146:5-35163:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35174:5-35191:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35210:5-35227:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35238:5-35255:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35274:5-35291:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35302:5-35319:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35338:5-35355:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35366:5-35383:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35402:5-35419:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35430:5-35447:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35545:3-35588:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35638:3-35698:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:35926:15-35950:15 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:36420:7-36440:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:36462:3-36484:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:36502:3-36534:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:36549:3-36579:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:36892:3-36930:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:37253:5-37334:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:37370:5-37420:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:37572:5-37600:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:37617:3-37659:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:37785:3-37832:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:39077:11-39106:11 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:39874:3-39926:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:39955:3-40009:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40045:3-40082:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40102:5-40115:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40121:3-40141:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40148:3-40172:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40238:3-40301:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40457:5-40505:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40618:5-40652:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:40686:3-40853:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:41765:7-41795:7 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:41818:3-41862:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:41881:5-41956:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:42017:7-42093:7 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:42421:3-42470:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:42550:5-42599:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:42675:7-42764:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:42804:11-42893:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:43274:5-43288:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:43292:5-43306:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:44533:3-44581:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:44619:3-44631:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:44890:3-44977:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:44984:3-45071:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45078:3-45165:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45234:3-45272:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45279:3-45366:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45688:3-45775:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45785:5-45872:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45884:3-45971:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:45980:5-45995:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46006:3-46038:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46096:5-46178:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46219:15-46300:15 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46323:11-46356:11 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46412:17-46434:17 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46440:19-46458:19 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46464:17-46474:17 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46611:7-46664:7 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46695:5-46734:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:46917:3-46999:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:47146:11-47160:11 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:47240:3-47274:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:47895:3-47910:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:47918:3-47929:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:50394:5-50412:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:50465:7-50492:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:50528:5-50546:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51165:7-51192:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51203:13-51231:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51235:13-51263:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51379:11-51397:11 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51401:11-51419:11 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51423:11-51441:11 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51445:11-51463:11 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51638:7-51656:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51660:7-51678:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:51682:7-51700:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52064:15-52088:15 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52106:19-52153:19 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52559:17-52586:17 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52590:17-52617:17 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52621:17-52648:17 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52675:17-52703:17 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52720:13-52747:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52818:5-52845:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52850:5-52876:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:52921:9-52947:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:53112:3-53123:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:53629:7-53646:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:53654:7-53673:7 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:53766:3-53777:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:54022:5-54033:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:54042:3-54069:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:54432:3-54474:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:54514:5-54534:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:55405:3-55492:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:55615:7-55633:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:55648:5-55660:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:55669:3-55692:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:55701:3-55747:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:55802:3-55841:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:56102:3-56164:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:56307:3-56364:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:56378:3-56433:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:56745:9-56767:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57328:5-57354:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57498:3-57513:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57517:3-57560:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57567:3-57588:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57661:3-57694:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57707:3-57740:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:57935:7-58020:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:58027:5-58086:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:58095:7-58145:7 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:58409:5-58494:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:58573:5-58658:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:58692:7-58800:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:58937:5-58967:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59009:9-59094:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59141:13-59226:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59242:13-59327:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59352:11-59437:11 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59447:5-59555:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59669:7-59680:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59692:5-59777:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59822:5-59855:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:59877:5-59962:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60254:5-60363:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60372:5-60384:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60492:5-60504:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60508:5-60616:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60696:3-60736:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60804:3-60832:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:60952:3-61028:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:61032:3-61097:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:61351:5-61363:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:61714:7-61759:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:62002:7-62028:7 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:62048:7-62075:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:62483:5-62508:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:64152:9-64190:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:64319:9-64345:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:65435:3-65445:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:65466:3-65494:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:65870:3-65934:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:66026:3-66058:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:66390:3-66410:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:66801:3-66821:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:67203:3-67223:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:67289:3-67308:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:67829:3-67849:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:67928:3-67947:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:68354:3-68370:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:68418:3-68436:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:68459:3-68491:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:68601:7-68622:7 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:68931:3-68979:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:69743:9-69770:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:69812:3-69838:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:69848:3-69863:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:69934:3-69953:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:70214:3-70293:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:70437:5-70463:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:70716:3-70731:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:70886:11-70897:11 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:70934:9-70945:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:70976:9-70987:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:71264:9-71279:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:71331:3-71346:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:71510:5-71521:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:71919:7-71931:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:72048:9-72059:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:72207:13-72219:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:72367:9-72379:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:72421:7-72433:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:72638:5-72650:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:73109:3-73122:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:73131:3-73150:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:73196:3-73224:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:73289:5-73307:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:73328:5-73346:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:73377:3-73397:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:74517:7-74530:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:74544:7-74557:7 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:74931:9-74969:9 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:75259:13-75282:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:75516:19-75541:19 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:75584:13-75602:13 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:76078:7-76101:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:76995:3-77083:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:78132:3-78159:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:78729:11-78752:11 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:78763:13-78806:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:78832:7-78917:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:78947:13-78970:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:78981:15-79025:15 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79186:9-79198:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79230:13-79253:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79306:15-79329:15 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79340:17-79384:17 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79545:11-79557:11 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79585:11-79608:11 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:79631:7-79766:7 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:80287:9-80299:9 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:80509:3-80535:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:80635:3-80670:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:81535:5-81622:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:81907:3-81925:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:83131:9-83151:9 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:83503:33-83542:33 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:83602:33-83636:33 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84030:41-84043:41 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84092:45-84105:45 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84185:47-84198:47 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84252:53-84265:53 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84334:35-84347:35 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84361:39-84373:39 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84377:39-84390:39 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84413:37-84425:37 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84429:37-84442:37 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84787:29-84807:29 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:84837:29-84857:29 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87389:7-87410:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87451:7-87461:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87476:9-87486:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87519:5-87539:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87547:9-87563:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87574:7-87594:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87600:9-87616:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87625:5-87645:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87670:7-87686:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87690:7-87706:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87757:7-87773:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87794:7-87810:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87849:7-87869:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87875:9-87891:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87902:7-87922:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87928:9-87944:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87954:7-87974:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:87978:7-87998:7 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88023:9-88039:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88043:9-88059:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88110:9-88126:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88147:9-88163:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88335:5-88400:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88491:9-88509:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88672:3-88691:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:88720:3-88739:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:89567:3-89588:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:89973:3-89986:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:90805:5-90832:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:91071:5-91096:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:91264:5-91283:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-coreutils/instrumented_df_comb.i:91328:3-91381:3 with factor 1
[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] Setting "ana.int.interval" to true
[Info] function posixtime is recursive, disable interval and interval_set contexts
[Info] function rpl_fcntl is recursive, disable interval and interval_set contexts
[Info] function strftime_case_ is recursive, disable interval and interval_set contexts
[Info] function mpsort_into_tmp is recursive, disable interval and interval_set contexts
[Info] function mpsort_with_tmp is recursive, disable interval and interval_set contexts
[Info] function quotearg_buffer_restyled is recursive, disable interval and interval_set contexts
[Info] function strftime_case____0 is recursive, disable interval and interval_set contexts
[Info] malloc wrapper: xmalloc
[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 ! overflow) )
[Error][Imprecise][Unsound] Function definition missing for __fxstatat
[Error][Imprecise][Unsound] Function definition missing for __xmknodat
[Error][Imprecise][Unsound] Function definition missing for __xstat64
[Error][Imprecise][Unsound] Function definition missing for __lxstat64
[Error][Imprecise][Unsound] Function definition missing for __fxstat64
[Error][Imprecise][Unsound] Function definition missing for __fxstatat64
[Error][Imprecise][Unsound] Function definition missing for __realpath_alias
[Error][Imprecise][Unsound] Function definition missing for __realpath_chk
[Error][Imprecise][Unsound] Function definition missing for __ptsname_r_alias
[Error][Imprecise][Unsound] Function definition missing for __ptsname_r_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __ptsname_r_chk
[Error][Imprecise][Unsound] Function definition missing for __wctomb_alias
[Error][Imprecise][Unsound] Function definition missing for __wctomb_chk
[Error][Imprecise][Unsound] Function definition missing for __mbstowcs_alias
[Error][Imprecise][Unsound] Function definition missing for __mbstowcs_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __mbstowcs_chk
[Error][Imprecise][Unsound] Function definition missing for __wcstombs_alias
[Error][Imprecise][Unsound] Function definition missing for __wcstombs_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wcstombs_chk
[Error][Imprecise][Unsound] Function definition missing for __builtin___stpcpy_chk
[Error][Imprecise][Unsound] Function definition missing for __stpncpy_alias
[Error][Imprecise][Unsound] Function definition missing for __stpncpy_chk
[Error][Imprecise][Unsound] Function definition missing for __read_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __pread_alias
[Error][Imprecise][Unsound] Function definition missing for __pread_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __pread_chk
[Error][Imprecise][Unsound] Function definition missing for __pread64_alias
[Error][Imprecise][Unsound] Function definition missing for __pread64_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __pread64_chk
[Error][Imprecise][Unsound] Function definition missing for __readlink_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __readlinkat_alias
[Error][Imprecise][Unsound] Function definition missing for __readlinkat_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __readlinkat_chk
[Error][Imprecise][Unsound] Function definition missing for __getcwd_alias
[Error][Imprecise][Unsound] Function definition missing for __getcwd_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __getcwd_chk
[Error][Imprecise][Unsound] Function definition missing for __getwd_warn
[Error][Imprecise][Unsound] Function definition missing for __getwd_chk
[Error][Imprecise][Unsound] Function definition missing for __confstr_alias
[Error][Imprecise][Unsound] Function definition missing for __confstr_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __confstr_chk
[Error][Imprecise][Unsound] Function definition missing for __getgroups_alias
[Error][Imprecise][Unsound] Function definition missing for __getgroups_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __getgroups_chk
[Error][Imprecise][Unsound] Function definition missing for __ttyname_r_alias
[Error][Imprecise][Unsound] Function definition missing for __ttyname_r_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __ttyname_r_chk
[Error][Imprecise][Unsound] Function definition missing for __getlogin_r_alias
[Error][Imprecise][Unsound] Function definition missing for __getlogin_r_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __getlogin_r_chk
[Error][Imprecise][Unsound] Function definition missing for __gethostname_alias
[Error][Imprecise][Unsound] Function definition missing for __gethostname_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __gethostname_chk
[Error][Imprecise][Unsound] Function definition missing for __getdomainname_alias
[Error][Imprecise][Unsound] Function definition missing for __getdomainname_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __getdomainname_chk
[Error][Imprecise][Unsound] Function definition missing for _IO_putc
[Error][Imprecise][Unsound] Function definition missing for __vdprintf_chk
[Error][Imprecise][Unsound] Function definition missing for __obstack_vprintf_chk
[Error][Imprecise][Unsound] Function definition missing for __fgets_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __fgets_unlocked_alias
[Error][Imprecise][Unsound] Function definition missing for __fgets_unlocked_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __fgets_unlocked_chk
[Error][Imprecise][Unsound] Function definition missing for newlocale
[Error][Imprecise][Unsound] Function definition missing for strtod_l
[Error][Imprecise][Unsound] Function definition missing for strtold_l
[Error][Imprecise][Unsound] Function definition missing for __recv_alias
[Error][Imprecise][Unsound] Function definition missing for __recv_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __recv_chk
[Error][Imprecise][Unsound] Function definition missing for __recvfrom_alias
[Error][Imprecise][Unsound] Function definition missing for __recvfrom_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __recvfrom_chk
[Error][Imprecise][Unsound] Function definition missing for gai_strerror
[Error][Imprecise][Unsound] Function definition missing for __builtin_strspn
[Error][Imprecise][Unsound] Function definition missing for __rawmemchr
[Error][Imprecise][Unsound] Function definition missing for __fpending
[Error][Imprecise][Unsound] Function definition missing for __btowc_alias
[Error][Imprecise][Unsound] Function definition missing for __wctob_alias
[Error][Imprecise][Unsound] Function definition missing for __mbrlen
[Error][Imprecise][Unsound] Function definition missing for __wmemcpy_alias
[Error][Imprecise][Unsound] Function definition missing for __wmemcpy_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wmemcpy_chk
[Error][Imprecise][Unsound] Function definition missing for __wmemmove_alias
[Error][Imprecise][Unsound] Function definition missing for __wmemmove_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wmemmove_chk
[Error][Imprecise][Unsound] Function definition missing for __wmempcpy_alias
[Error][Imprecise][Unsound] Function definition missing for __wmempcpy_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wmempcpy_chk
[Error][Imprecise][Unsound] Function definition missing for __wmemset_alias
[Error][Imprecise][Unsound] Function definition missing for __wmemset_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wmemset_chk
[Error][Imprecise][Unsound] Function definition missing for __wcscpy_alias
[Error][Imprecise][Unsound] Function definition missing for __wcscpy_chk
[Error][Imprecise][Unsound] Function definition missing for __wcpcpy_alias
[Error][Imprecise][Unsound] Function definition missing for __wcpcpy_chk
[Error][Imprecise][Unsound] Function definition missing for __wcsncpy_alias
[Error][Imprecise][Unsound] Function definition missing for __wcsncpy_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wcsncpy_chk
[Error][Imprecise][Unsound] Function definition missing for __wcpncpy_alias
[Error][Imprecise][Unsound] Function definition missing for __wcpncpy_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wcpncpy_chk
[Error][Imprecise][Unsound] Function definition missing for __wcscat_alias
[Error][Imprecise][Unsound] Function definition missing for __wcscat_chk
[Error][Imprecise][Unsound] Function definition missing for __wcsncat_alias
[Error][Imprecise][Unsound] Function definition missing for __wcsncat_chk
[Error][Imprecise][Unsound] Function definition missing for __vswprintf_alias
[Error][Imprecise][Unsound] Function definition missing for __vswprintf_chk
[Error][Imprecise][Unsound] Function definition missing for __vwprintf_chk
[Error][Imprecise][Unsound] Function definition missing for __vfwprintf_chk
[Error][Imprecise][Unsound] Function definition missing for __fgetws_alias
[Error][Imprecise][Unsound] Function definition missing for __fgetws_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __fgetws_chk
[Error][Imprecise][Unsound] Function definition missing for __fgetws_unlocked_alias
[Error][Imprecise][Unsound] Function definition missing for __fgetws_unlocked_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __fgetws_unlocked_chk
[Error][Imprecise][Unsound] Function definition missing for __wcrtomb_alias
[Error][Imprecise][Unsound] Function definition missing for __wcrtomb_chk
[Error][Imprecise][Unsound] Function definition missing for __mbsrtowcs_alias
[Error][Imprecise][Unsound] Function definition missing for __mbsrtowcs_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __mbsrtowcs_chk
[Error][Imprecise][Unsound] Function definition missing for __wcsrtombs_alias
[Error][Imprecise][Unsound] Function definition missing for __wcsrtombs_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wcsrtombs_chk
[Error][Imprecise][Unsound] Function definition missing for __mbsnrtowcs_alias
[Error][Imprecise][Unsound] Function definition missing for __mbsnrtowcs_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __mbsnrtowcs_chk
[Error][Imprecise][Unsound] Function definition missing for __wcsnrtombs_alias
[Error][Imprecise][Unsound] Function definition missing for __wcsnrtombs_chk_warn
[Error][Imprecise][Unsound] Function definition missing for __wcsnrtombs_chk
[Error][Imprecise][Unsound] Function definition missing for __builtin_strcspn
[Error][Imprecise][Unsound] Function definition missing for towlower
[Error][Imprecise][Unsound] Function definition missing for creat
[Error][Imprecise][Unsound] Function definition missing for strtof
[Error][Imprecise][Unsound] Function definition missing for __strtoul_internal
[Error][Imprecise][Unsound] Function definition missing for __wcstol_internal
[Error][Imprecise][Unsound] Function definition missing for __wcstoul_internal
[Error][Imprecise][Unsound] Function definition missing for strtold
[Error][Imprecise][Unsound] Function definition missing for iswcntrl
[Error][Imprecise][Unsound] Function definition missing for getgrouplist
[Error][Imprecise][Unsound] Function definition missing for __sched_cpucount
[Error][Imprecise][Unsound] Function definition missing for sched_getaffinity
[Error][Imprecise][Unsound] Function definition missing for openat
[Error][Imprecise][Unsound] Function definition missing for ftello
[Error][Imprecise][Unsound] Function definition missing for _obstack_begin
[Error][Imprecise][Unsound] Function definition missing for obstack_free
[Error][Imprecise][Unsound] Function definition missing for _obstack_newchunk
[Error][Imprecise][Unsound] Function definition missing for fchdir
[Error][Imprecise][Unsound] Function definition missing for settimeofday
[Error][Imprecise][Unsound] Function definition missing for clock_settime
[Error][Imprecise][Unsound] Function definition missing for error_at_line
[Error][Imprecise][Unsound] Function definition missing for __fpurge
[Error][Imprecise][Unsound] Function definition missing for rewinddir
[Error][Imprecise][Unsound] Function definition missing for fflush_unlocked
[Error][Imprecise][Unsound] Function definition missing for __fsetlocking
[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 utmpxname
[Error][Imprecise][Unsound] Function definition missing for __builtin_signbitf
[Error][Imprecise][Unsound] Function definition missing for __builtin_signbitl
[Error][Imprecise][Unsound] Function definition missing for group_member
[Error][Imprecise][Unsound] Function definition missing for getegid
[Error][Imprecise][Unsound] Function definition missing for canonicalize_file_name
[Error][Imprecise][Unsound] Function definition missing for sync
[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_no-overflow/instrumented_df_comb.yml/witness.yml: No such file or directory")
