./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/poly_256_thresh_1_safe.c-amalgamation.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/poly_256_thresh_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/poly_256_thresh_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/poly_256_thresh_1_safe.c-amalgamation.i:1109:1-1109:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1219:1-1219:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1277:1-1277:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1495:5-1497:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1501:5-1505:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1509:5-1519:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1523:5-1525:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1529:5-1531:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1537:5-1541:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1542:5-1544:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1545:5-1547:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1549:5-1551:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1555:5-1557:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1561:5-1563:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1567:5-1571:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1574:5-1578:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1581:5-1585:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1588:5-1592:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1596:5-1603:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1634:5-1636:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1644:5-1646:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1658:5-1660:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1661:5-1663:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1666:9-1668:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1676:9-1678:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1688:13-1690:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1701:13-1703:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1713:9-1715:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1722:5-1725:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1749:9-1753:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1762:9-1766:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1772:5-1774:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1775:5-1777:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1780:5-1782:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1783:5-1785:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1786:5-1788:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1789:5-1791:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1792:5-1794:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1795:5-1797:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1800:9-1802:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1808:9-1810:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1819:13-1821:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1823:13-1825:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1829:13-1831:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1833:13-1835:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1843:9-1845:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_256_thresh_1_safe.c-amalgamation.i:1862:5-1864:5 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] math function -> enabling tmpSpecial analysis and floating-point domain
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Analyzer] About to crash!

Fatal error: exception Failure("Yaml_unix.of_file: /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/poly_256_thresh_1_safe.c-amalgamation.yml/witness.yml: No such file or directory")
