#!/bin/bash input="$1" output="$2/$(basename $1 smt2)out" ./z3 -v:0 fp.spacer.use_sage=false fp.xform.slice=true fp.spacer.global=true fp.spacer.concretize=true fp.spacer.conjecture=true fp.xform.inline_linear=true fp.xform.inline_eager=true fp.xform.tail_simplifier_pve=false fp.engine=spacer fp.print_statistics=true fp.spacer.elim_aux=true fp.spacer.reach_dnf=true fp.spacer.iuc=1 fp.spacer.iuc.arith=1 fp.validate=true fp.spacer.ground_pobs=true fp.spacer.mbqi=false fp.spacer.iuc.print_farkas_stats=false fp.spacer.iuc.old_hyp_reducer=false fp.spacer.ctp=true fp.spacer.native_mbp=true fp.spacer.use_iuc=false fp.spacer.expand_bnd=false "$input" 2> "$output"
back to Spacer
