/usr/bin/z3 fixedpoint.engine=spacer /storage/chc-comp/sally-chc-benchmarks/oral_messages/om1_with_relays_general_3_15_validity.smt2


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