./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/softsign_w64_r1_case_1_safe.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/softsign_w64_r1_case_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/softsign_w64_r1_case_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/softsign_w64_r1_case_1_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_w64_r1_case_1_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_w64_r1_case_1_safe.c-amalgamation.i:1201:1-1201:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:1202:1-1202:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:2847:1-2847:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:2860:1-2860:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:2861:1-2861:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:4506:1-4506:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:4519:1-4519:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:4520:1-4520:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:6165:1-6165:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:6178:1-6178:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:6179:1-6179:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:7824:1-7824:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8042:5-8044:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8048:5-8052:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8056:5-8066:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8070:5-8072:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8076:5-8078:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8084:5-8088:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8089:5-8091:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8092:5-8094:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8096:5-8098:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8102:5-8104:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8108:5-8110:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8114:5-8118:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8121:5-8125:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8128:5-8132:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8135:5-8139:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8143:5-8150:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8159:13-8161:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8172:13-8174:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8184:9-8186:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8193:5-8196:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8220:9-8224:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8233:9-8237:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8243:5-8245:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8246:5-8248:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8251:5-8253:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8254:5-8256:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8257:5-8259:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8260:5-8262:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8263:5-8265:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8266:5-8268:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8271:9-8273:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8279:9-8281:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8290:13-8292:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8294:13-8296:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8300:13-8302:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8304:13-8306:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8314:9-8316:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8333:5-8335:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8378:5-8380:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8383:5-8385:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8387:5-8389:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8404:17-8406:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8415:17-8417:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8422:9-8424:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8438:5-8440:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8454:17-8456:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8465:17-8467:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8472:9-8474:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8508:5-8511:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8516:9-8518:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8521:9-8523:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8525:9-8527:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8529:5-8531:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8533:5-8535:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8551:17-8553:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8562:17-8564:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r1_case_1_safe.c-amalgamation.i:8569:9-8571: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/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/softsign_w64_r1_case_1_safe.c-amalgamation.yml/witness.yml: No such file or directory")
