./Ultimate.py --spec ../sv-benchmarks/c/properties/termination.prp --file ../sv-benchmarks/c/product-lines/minepump_spec5_product42.cil.c --full-output --architecture 32bit


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