./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/tanh_w32_r3_case_1_safe.c-amalgamation.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/tanh_w32_r3_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/tanh_w32_r3_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/tanh_w32_r3_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/tanh_w32_r3_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/tanh_w32_r3_case_1_safe.c-amalgamation.i:1153:1-1153:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:1154:1-1154:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:1569:1-1569:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:1582:1-1582:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:1583:1-1583:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:1998:1-1998:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:2011:1-2011:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:2012:1-2012:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:2427:1-2427:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:2440:1-2440:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:2441:1-2441:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:2856:1-2856:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3074:5-3076:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3080:5-3084:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3088:5-3098:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3102:5-3104:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3108:5-3110:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3116:5-3120:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3121:5-3123:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3124:5-3126:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3128:5-3130:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3134:5-3136:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3140:5-3142:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3146:5-3150:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3153:5-3157:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3160:5-3164:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3167:5-3171:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3175:5-3182:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3191:13-3193:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3204:13-3206:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3216:9-3218:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3225:5-3228:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3252:9-3256:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3265:9-3269:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3275:5-3277:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3278:5-3280:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3283:5-3285:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3286:5-3288:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3289:5-3291:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3292:5-3294:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3295:5-3297:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3298:5-3300:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3303:9-3305:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3311:9-3313:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3322:13-3324:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3326:13-3328:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3332:13-3334:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3336:13-3338:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3346:9-3348:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3365:5-3367:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3410:5-3412:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3415:5-3417:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3419:5-3421:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3436:17-3438:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3447:17-3449:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3454:9-3456:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3470:5-3472:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3486:17-3488:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3497:17-3499:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3504:9-3506:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3540:5-3543:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3548:9-3550:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3553:9-3555:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3557:9-3559:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3561:5-3563:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3565:5-3567:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3583:17-3585:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3594:17-3596:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w32_r3_case_1_safe.c-amalgamation.i:3601:9-3603: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/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/tanh_w32_r3_case_1_safe.c-amalgamation.yml/witness.yml: No such file or directory")
