./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/poly_16_16_16_16_thresh_5_unsafe.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_16_16_16_16_thresh_5_unsafe.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_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1109:1-1109:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1123:1-1123:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1124:1-1124:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1186:1-1186:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1187:1-1187:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1249:1-1249:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1250:1-1250:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1312:1-1312:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1322:1-1322:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1546:5-1548:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1552:5-1556:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1560:5-1570:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1574:5-1576:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1580:5-1582:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1588:5-1592:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1593:5-1595:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1596:5-1598:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1600:5-1602:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1606:5-1608:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1612:5-1614:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1618:5-1622:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1625:5-1629:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1632:5-1636:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1639:5-1643:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1647:5-1654:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1685:5-1687:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1695:5-1697:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1709:5-1711:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1712:5-1714:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1717:9-1719:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1727:9-1729:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1739:13-1741:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1752:13-1754:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1764:9-1766:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1773:5-1776:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1800:9-1804:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1813:9-1817:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1823:5-1825:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1826:5-1828:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1831:5-1833:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1834:5-1836:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1837:5-1839:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1840:5-1842:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1843:5-1845:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1846:5-1848:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1851:9-1853:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1859:9-1861:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1870:13-1872:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1874:13-1876:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1880:13-1882:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1884:13-1886:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1894:9-1896:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.i:1913:5-1915: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/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/poly_16_16_16_16_thresh_5_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
