./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_w8_r2_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_w8_r2_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_w8_r2_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_w8_r2_case_1_unsafe.c-amalgamation.i:974:5-974:62 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:974:5-974:62 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1117:1-1117:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1118:1-1118:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1149:1-1149:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1162:1-1162:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1163:1-1163:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1194:1-1194:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1207:1-1207:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1208:1-1208:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1239:1-1239:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1252:1-1252:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1253:1-1253:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1284:1-1284:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1502:5-1504:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1508:5-1512:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1516:5-1526:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1530:5-1532:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1536:5-1538:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1544:5-1548:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1549:5-1551:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1552:5-1554:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1556:5-1558:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1562:5-1564:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1568:5-1570:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1574:5-1578:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1581:5-1585:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1588:5-1592:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1595:5-1599:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1603:5-1610:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1619:13-1621:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1632:13-1634:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1644:9-1646:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1653:5-1656:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1680:9-1684:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1693:9-1697:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1703:5-1705:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1706:5-1708:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1711:5-1713:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1714:5-1716:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1717:5-1719:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1720:5-1722:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1723:5-1725:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1726:5-1728:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1731:9-1733:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1739:9-1741:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1750:13-1752:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1754:13-1756:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1760:13-1762:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1764:13-1766:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1774:9-1776:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1793:5-1795:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1838:5-1840:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1843:5-1845:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1847:5-1849:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1864:17-1866:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1875:17-1877:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1882:9-1884:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1898:5-1900:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1914:17-1916:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1925:17-1927:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1932:9-1934:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1968:5-1971:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1976:9-1978:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1981:9-1983:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1985:9-1987:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1989:5-1991:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:1993:5-1995:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:2011:17-2013:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:2022:17-2024:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w8_r2_case_1_unsafe.c-amalgamation.i:2029:9-2031: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_w8_r2_case_1_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
