./Ultimate.py --spec ../sv-benchmarks/c/properties/unreach-call.prp --file ../sv-benchmarks/c/weaver/chl/nzb-file-symm.wvr.bpl --full-output


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


--architecture is required