./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/poly_16_16_thresh_4_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/poly_16_16_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_16_16_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_16_16_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_16_16_thresh_4_unsafe.c-amalgamation.i:1123:1-1123:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1124:1-1124:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1186:1-1186:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1196:1-1196:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1416:5-1418:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1422:5-1426:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1430:5-1440:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1444:5-1446:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1450:5-1452:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1458:5-1462:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1463:5-1465:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1466:5-1468:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1470:5-1472:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1476:5-1478:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1482:5-1484:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1488:5-1492:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1495:5-1499:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1502:5-1506:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1509:5-1513:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1517:5-1524:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1555:5-1557:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1565:5-1567:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1579:5-1581:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1582:5-1584:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1587:9-1589:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1597:9-1599:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1609:13-1611:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1622:13-1624:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1634:9-1636:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1643:5-1646:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1670:9-1674:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1683:9-1687:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_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_16_16_thresh_4_unsafe.c-amalgamation.i:1696:5-1698:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1701:5-1703:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1704:5-1706:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1707:5-1709:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1710:5-1712:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1713:5-1715:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1716:5-1718:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1721:9-1723:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1729:9-1731:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1740:13-1742:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1744:13-1746:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1750:13-1752:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1754:13-1756:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1764:9-1766:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_16_16_thresh_4_unsafe.c-amalgamation.i:1783:5-1785: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/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/poly_16_16_thresh_4_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
