./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/poly_8_8_8_thresh_4_unsafe.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/poly_8_8_8_thresh_4_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/poly_8_8_8_thresh_4_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/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1109:1-1109:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1119:1-1119:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1120:1-1120:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1141:1-1141:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1142:1-1142:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1163:1-1163:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1171:1-1171:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1393:5-1395:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1399:5-1403:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1407:5-1417:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1421:5-1423:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1427:5-1429:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1435:5-1439:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1440:5-1442:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1443:5-1445:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1447:5-1449:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1453:5-1455:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1459:5-1461:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1465:5-1469:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1472:5-1476:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1479:5-1483:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1486:5-1490:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1494:5-1501:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1532:5-1534:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1542:5-1544:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1556:5-1558:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1559:5-1561:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1564:9-1566:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1574:9-1576:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1586:13-1588:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1599:13-1601:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1611:9-1613:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1620:5-1623:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1647:9-1651:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1660:9-1664:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1670:5-1672:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1673:5-1675:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1678:5-1680:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1681:5-1683:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1684:5-1686:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1687:5-1689:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1690:5-1692:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1693:5-1695:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1698:9-1700:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1706:9-1708:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1717:13-1719:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1721:13-1723:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1727:13-1729:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1731:13-1733:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1741:9-1743:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_8_8_8_thresh_4_unsafe.c-amalgamation.i:1760:5-1762: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/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/poly_8_8_8_thresh_4_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
