./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_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1117:1-1117:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1118:1-1118:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1129:1-1129:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1130:1-1130:38 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1153:1-1153:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1160:1-1160:31 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1384:5-1386:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1390:5-1394:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1398:5-1408:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1412:5-1414:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1418:5-1420:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1426:5-1430:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1431:5-1433:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1434:5-1436:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1438:5-1440:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1444:5-1446:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1456:5-1460:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1463:5-1467:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1470:5-1474:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1477:5-1481:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1485:5-1492:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1523:5-1525:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1533:5-1535:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1547:5-1549:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1550:5-1552:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1555:9-1557:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1565:9-1567:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1577:13-1579:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1590:13-1592:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1602:9-1604:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1611:5-1614:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1638:9-1642:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1651:9-1655:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1661:5-1663:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1664:5-1666:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1669:5-1671:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1672:5-1674:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1675:5-1677:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1678:5-1680:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1681:5-1683:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_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_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1689:9-1691:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1697:9-1699:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1708:13-1710:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1712:13-1714:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1718:13-1720:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1722:13-1724:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1732:9-1734:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/poly_4_4_4_4_thresh_5_unsafe.c-amalgamation.i:1751:5-1753: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_4_4_4_4_thresh_5_unsafe.c-amalgamation.yml/witness.yml: No such file or directory")
