./Ultimate.py --spec ../sv-benchmarks/c/properties/unreach-call.prp --file ../sv-benchmarks/c/weaver/popl20-more/dot-product-array.wvr.bpl --full-output


--------------------------------------------------------------------------------


--architecture is required