./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_32_32_32_thresh_4_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_32_32_32_thresh_4_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_32_32_32_thresh_4_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_32_32_32_thresh_4_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_32_32_32_thresh_4_unsafe.c-amalgamation.i:1129:1-1129:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1130:1-1130:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1348:1-1348:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1349:1-1349:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1567:1-1567:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1580:1-1580:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1802:5-1804:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1808:5-1812:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1816:5-1826:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1830:5-1832:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1836:5-1838:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1844:5-1848:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1849:5-1851:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1852:5-1854:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1856:5-1858:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1862:5-1864:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1868:5-1870:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1874:5-1878:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1881:5-1885:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1888:5-1892:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1895:5-1899:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1903:5-1910:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1941:5-1943:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1951:5-1953:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1965:5-1967:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1968:5-1970:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1973:9-1975:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1983:9-1985:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:1995:13-1997:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2008:13-2010:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2020:9-2022:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2029:5-2032:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2056:9-2060:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2069:9-2073:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2079:5-2081:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2082:5-2084:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2087:5-2089:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2090:5-2092:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2093:5-2095:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2096:5-2098:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2099:5-2101:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2102:5-2104:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2107:9-2109:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2115:9-2117:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2126:13-2128:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2130:13-2132:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2136:13-2138:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2140:13-2142:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2150:9-2152:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_thresh_4_unsafe.c-amalgamation.i:2169:5-2171: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_32_32_32_thresh_4_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
