Description
benchmarks:
https://github.com/chc-comp/chc-comp22-benchmarks/blob/main/LIA-Lin-Arrays/chc-LIA-Lin-Arrays_225.smt2.gz
https://github.com/chc-comp/chc-comp22-benchmarks/blob/main/LIA-Lin-Arrays/chc-LIA-Lin-Arrays_338.smt2.gz
https://github.com/chc-comp/chc-comp22-benchmarks/blob/main/LIA-Lin-Arrays/chc-LIA-Lin-Arrays_399.smt2.gz
options:
fp.spacer.global=true fp.spacer.gg.conjecture=true fp.spacer.gg.concretize=true fp.spacer.gg.subsume=true fp.xform.slice=true fp.xform.inline_linear=true fp.xform.inline_eager=true fp.xform.tail_simplifier_pve=true fp.engine=spacer fp.print_statistics=false 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=false 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.weak_abs=true fp.spacer.q3=true fp.spacer.q3.use_qgen=true
commit: cf8c198