./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_64_64_64_thresh_0_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_64_64_64_thresh_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/poly_64_64_64_thresh_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/poly_64_64_64_thresh_0_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_64_64_64_thresh_0_safe.c-amalgamation.i:1141:1-1141:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:1142:1-1142:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:1981:1-1981:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:1982:1-1982:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:2821:1-2821:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:2840:1-2840:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3062:5-3064:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3068:5-3072:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3076:5-3086:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3090:5-3092:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3096:5-3098:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3104:5-3108:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3109:5-3111:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3112:5-3114:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3116:5-3118:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3122:5-3124:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3128:5-3130:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3134:5-3138:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3141:5-3145:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3148:5-3152:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3155:5-3159:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3163:5-3170:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3201:5-3203:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3211:5-3213:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3225:5-3227:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3228:5-3230:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3233:9-3235:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3243:9-3245:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3255:13-3257:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3268:13-3270:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3280:9-3282:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3289:5-3292:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3316:9-3320:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3329:9-3333:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3339:5-3341:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3342:5-3344:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3347:5-3349:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3350:5-3352:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3353:5-3355:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3356:5-3358:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3359:5-3361:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3362:5-3364:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3367:9-3369:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3375:9-3377:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3386:13-3388:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3390:13-3392:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3396:13-3398:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3400:13-3402:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3410:9-3412:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_64_64_64_thresh_0_safe.c-amalgamation.i:3429:5-3431: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_64_64_64_thresh_0_safe.c-amalgamation.yml/witness.yml: No such file or directory")
