./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_r4_case_1_unsafe.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_r4_case_1_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/softsign_w64_r4_case_1_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/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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_r4_case_1_unsafe.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())) )
[Info][Witness] couldn't parse entry: find uuid
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1041:5-1041:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1041:5-1041:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1041:5-1041:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1041:5-1041:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1042:5-1042:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1042:5-1042:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1042:5-1042:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1042:5-1042:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1043:5-1043:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1043:5-1043:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1043:5-1043:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1043:5-1043:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1044:5-1044:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1044:5-1044:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1044:5-1044:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1044:5-1044:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1045:5-1045:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1045:5-1045:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1045:5-1045:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1045:5-1045:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1046:5-1046:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1046:5-1046:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1046:5-1046:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1046:5-1046:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1047:5-1047:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1047:5-1047:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1047:5-1047:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1047:5-1047:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1048:5-1048:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1048:5-1048:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1048:5-1048:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1048:5-1048:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1049:5-1049:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1049:5-1049:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1049:5-1049:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1049:5-1049:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1050:5-1050:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1050:5-1050:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1050:5-1050:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1050:5-1050:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1051:5-1051:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1051:5-1051:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1051:5-1051:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1051:5-1051:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1052:5-1052:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1052:5-1052:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1052:5-1052:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1052:5-1052:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1053:5-1053:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1053:5-1053:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1053:5-1053:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1053:5-1053:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1054:5-1054:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1054:5-1054:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1054:5-1054:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1054:5-1054:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1055:5-1055:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1055:5-1055:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1055:5-1055:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1055:5-1055:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1056:5-1056:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1056:5-1056:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1056:5-1056:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1056:5-1056:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1057:5-1057:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1057:5-1057:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1057:5-1057:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1057:5-1057:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1058:5-1058:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1058:5-1058:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1058:5-1058:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1058:5-1058:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1059:5-1059:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1059:5-1059:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1059:5-1059:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1059:5-1059:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1060:5-1060:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1060:5-1060:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1060:5-1060:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1060:5-1060:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1061:5-1061:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1061:5-1061:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1061:5-1061:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1061:5-1061:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1062:5-1062:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1062:5-1062:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1062:5-1062:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1062:5-1062:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1063:5-1063:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1063:5-1063:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1063:5-1063:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1063:5-1063:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1064:5-1064:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1064:5-1064:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1064:5-1064:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1064:5-1064:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1065:5-1065:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1065:5-1065:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1065:5-1065:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1065:5-1065:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1066:5-1066:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1066:5-1066:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1066:5-1066:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1066:5-1066:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1067:5-1067:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1067:5-1067:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1067:5-1067:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1067:5-1067:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1068:5-1068:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1068:5-1068:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1068:5-1068:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1068:5-1068:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1069:5-1069:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1069:5-1069:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1069:5-1069:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1069:5-1069:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1070:5-1070:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1070:5-1070:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1070:5-1070:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1070:5-1070:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1071:5-1071:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1071:5-1071:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1071:5-1071:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1071:5-1071:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8462:13-8463:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8435:5-8435:81)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8173:17-8173:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8175:13-8175:35)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8175:13-8175:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8436:5-8436:79)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8109:9-8109:41)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1073:5-1073:58)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:183:1-187:1)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:188:1-192:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:193:15-197:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:198:1-202:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:203:1-207:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:208:1-212:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r1' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:1198:1-2852:2)
[Warning][Deadcode] Function 'hop_softsign_w64_r1_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:2853:1-2854:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r1_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:2855:1-2856:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r2' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:2857:1-4511:2)
[Warning][Deadcode] Function 'hop_softsign_w64_r2_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:4512:1-4513:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r2_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:4514:1-4515:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r3' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:4516:1-6170:2)
[Warning][Deadcode] Function 'hop_softsign_w64_r3_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6171:1-6172:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r3_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6173:1-6174:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r4_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7830:1-7831:1)
[Warning][Deadcode] Function 'hop_softsign_w64_r4_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7832:1-7833:1)
[Warning][Deadcode] Function 'k2c_linear_func' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8038:1-8039:1)
[Warning][Deadcode] Function 'k2c_exponential_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8041:1-8045:1)
[Warning][Deadcode] Function 'k2c_relu_func' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8047:1-8053:1)
[Warning][Deadcode] Function 'k2c_hard_sigmoid_func' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8055:1-8067:1)
[Warning][Deadcode] Function 'k2c_tanh_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8069:1-8073:1)
[Warning][Deadcode] Function 'k2c_sigmoid_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8075:1-8079:1)
[Warning][Deadcode] Function 'k2c_softmax_func' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8081:1-8099:1)
[Warning][Deadcode] Function 'k2c_softplus_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8101:1-8105:1)
[Warning][Deadcode] Function 'k2c_LeakyReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8113:1-8119:1)
[Warning][Deadcode] Function 'k2c_PReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8120:1-8126:1)
[Warning][Deadcode] Function 'k2c_ELU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8127:1-8133:1)
[Warning][Deadcode] Function 'k2c_ThresholdedReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8134:1-8140:1)
[Warning][Deadcode] Function 'k2c_ReLU' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8141:1-8151:1)
[Warning][Deadcode] Function 'k2c_matmul' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8152:1-8164:1)
[Warning][Deadcode] Function 'k2c_sub2idx' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8179:1-8190:1)
[Warning][Deadcode] Function 'k2c_idx2sub' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8191:1-8197:1)
[Warning][Deadcode] Function 'k2c_dot' is uncalled: 71 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8198:1-8311:1)
[Warning][Deadcode] Function 'k2c_bias_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8312:1-8318:1)
[Warning][Deadcode] Function 'k2c_read_array' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8319:1-8338:1)
[Warning][Deadcode] Function 'k2c_lstmcell' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8339:1-8390:1)
[Warning][Deadcode] Function 'k2c_lstm' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8391:1-8426:1)
[Warning][Deadcode] Function 'k2c_grucell' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8477:1-8536:1)
[Warning][Deadcode] Function 'k2c_gru' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8537:1-8573:1)
[Warning][Deadcode] Function 'k2c_simpleRNN' has dead code:
  on lines 8450..8451 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8450-8451)
  on lines 8453..8455 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8453-8455)
  on lines 8472..8473 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8472-8473)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 20 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:20-20)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 156
  dead: 354 (346 in uncalled functions)
  total lines: 510
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-571] condition 'i < (size_t )size' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8108:9-8108:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-571] condition 'i < (size_t )units' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8438:9-8438:34)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition '! return_sequences' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8471:9-8471:26)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:19:53-19:54)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-571] condition 'k < (size_t )innerdim' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8172:17-8172:49)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-571] condition 'return_sequences' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8464:17-8464:33)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:7824:1-7824:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-571] condition 'j___0 < (size_t )units' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8465:21-8465:46)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'go_backwards' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:8449:9-8449:21)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6179:1-6179:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 256U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w64_r4_case_1_unsafe.c-amalgamation.i:6178:1-6178:36)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 1
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 1
SV-COMP result: ERROR (witness error)
