./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_128_128_thresh_3_unsafe.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_128_128_thresh_3_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_128_128_thresh_3_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_128_128_thresh_3_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_128_128_thresh_3_unsafe.c-amalgamation.i:1167:1-1167:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:1168:1-1168:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4477:1-4477:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4509:1-4509:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4729:5-4731:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4735:5-4739:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4743:5-4753:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4757:5-4759:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4763:5-4765:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4771:5-4775:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4776:5-4778:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4779:5-4781:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4783:5-4785:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4789:5-4791:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4795:5-4797:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4801:5-4805:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4808:5-4812:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4815:5-4819:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4822:5-4826:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4830:5-4837:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4868:5-4870:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4878:5-4880:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4892:5-4894:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4895:5-4897:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4900:9-4902:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4910:9-4912:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4922:13-4924:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4935:13-4937:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4947:9-4949:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4956:5-4959:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4983:9-4987:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:4996:9-5000:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5006:5-5008:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5009:5-5011:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5014:5-5016:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5017:5-5019:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5020:5-5022:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5023:5-5025:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5026:5-5028:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5029:5-5031:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5034:9-5036:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5042:9-5044:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5053:13-5055:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5057:13-5059:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5063:13-5065:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5067:13-5069:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5077:9-5079:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_128_128_thresh_3_unsafe.c-amalgamation.i:5096:5-5098: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_128_128_thresh_3_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
