./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/poly_32_32_32_32_thresh_1_safe.c-amalgamation.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/poly_32_32_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_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_32_32_thresh_1_safe.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_32_thresh_1_safe.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_32_thresh_1_safe.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_32_thresh_1_safe.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_32_thresh_1_safe.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_32_thresh_1_safe.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_32_thresh_1_safe.c-amalgamation.i:1568:1-1568:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:1786:1-1786:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:1799:1-1799:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2023:5-2025:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2029:5-2033:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2037:5-2047:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2051:5-2053:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2057:5-2059:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2065:5-2069:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2070:5-2072:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2073:5-2075:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2077:5-2079:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2083:5-2085:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2089:5-2091:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2095:5-2099:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2102:5-2106:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2109:5-2113:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2116:5-2120:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2124:5-2131:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2162:5-2164:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2172:5-2174:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2186:5-2188:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2189:5-2191:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2194:9-2196:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2204:9-2206:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2216:13-2218:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2229:13-2231:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2241:9-2243:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2250:5-2253:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2277:9-2281:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2290:9-2294:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2300:5-2302:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2303:5-2305:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2308:5-2310:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2311:5-2313:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2314:5-2316:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2317:5-2319:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2320:5-2322:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2323:5-2325:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2328:9-2330:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2336:9-2338:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2347:13-2349:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2351:13-2353:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2357:13-2359:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2361:13-2363:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2371:9-2373:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_32_32_32_32_thresh_1_safe.c-amalgamation.i:2390:5-2392: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/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/poly_32_32_32_32_thresh_1_safe.c-amalgamation.yml/witness.yml: No such file or directory")
