./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_unreach-call/poly_32_32_thresh_1_safe.c-amalgamation.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_unreach-call/poly_32_32_thresh_1_safe.c-amalgamation.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.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
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1109:1-1109:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1129:1-1129:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1130:1-1130:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1348:1-1348:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1361:1-1361:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1581:5-1583:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1587:5-1591:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1595:5-1605:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1609:5-1611:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1615:5-1617:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1623:5-1627:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1628:5-1630:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1631:5-1633:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1635:5-1637:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1641:5-1643:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1647:5-1649:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1653:5-1657:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1660:5-1664:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1667:5-1671:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1674:5-1678:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1682:5-1689:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1720:5-1722:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1730:5-1732:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1744:5-1746:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1747:5-1749:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1752:9-1754:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1762:9-1764:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1774:13-1776:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1787:13-1789:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1799:9-1801:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1808:5-1811:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1835:9-1839:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1848:9-1852:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1858:5-1860:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1861:5-1863:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1866:5-1868:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1869:5-1871:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1872:5-1874:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1875:5-1877:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1878:5-1880:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1881:5-1883:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1886:9-1888:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1894:9-1896:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1905:13-1907:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1909:13-1911:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1915:13-1917:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1919:13-1921:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1929:9-1931:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_thresh_1_safe.c-amalgamation.i:1948:5-1950:5 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] 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 ! call(reach_error())) )
[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_unreach-call/poly_32_32_thresh_1_safe.c-amalgamation.yml/witness.yml: No such file or directory")
