./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/softsign_w16_r3_case_0_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/softsign_w16_r3_case_0_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/softsign_w16_r3_case_0_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/softsign_w16_r3_case_0_safe.c-amalgamation.i:974:5-974:62 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:974:5-974:62 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1129:1-1129:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1130:1-1130:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1239:1-1239:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1252:1-1252:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1253:1-1253:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1362:1-1362:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1375:1-1375:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1376:1-1376:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1485:1-1485:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1498:1-1498:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1499:1-1499:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1608:1-1608:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1826:5-1828:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1832:5-1836:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1840:5-1850:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1854:5-1856:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1860:5-1862:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1868:5-1872:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1873:5-1875:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1876:5-1878:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1880:5-1882:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1886:5-1888:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1892:5-1894:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1898:5-1902:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1905:5-1909:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1912:5-1916:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1919:5-1923:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1927:5-1934:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1943:13-1945:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1956:13-1958:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1968:9-1970:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:1977:5-1980:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2004:9-2008:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2017:9-2021:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2027:5-2029:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2030:5-2032:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2035:5-2037:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2038:5-2040:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2041:5-2043:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2044:5-2046:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2047:5-2049:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2050:5-2052:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2055:9-2057:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2063:9-2065:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2074:13-2076:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2078:13-2080:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2084:13-2086:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2088:13-2090:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2098:9-2100:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2117:5-2119:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2162:5-2164:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2167:5-2169:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2171:5-2173:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2188:17-2190:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2199:17-2201:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2206:9-2208:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2222:5-2224:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2238:17-2240:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2249:17-2251:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2256:9-2258:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2292:5-2295:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2300:9-2302:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2305:9-2307:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2309:9-2311:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2313:5-2315:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2317:5-2319:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2335:17-2337:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2346:17-2348:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w16_r3_case_0_safe.c-amalgamation.i:2353:9-2355:9 with factor 12
[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/softsign_w16_r3_case_0_safe.c-amalgamation.yml/witness.yml: No such file or directory")
