regress1/datatypes/non-simple-rec-param.smt2
regress1/decision/error3.smtv1.smt2
regress1/decision/quant-Arrays_Q1-noinfer.smt2
- regress1/decision/quant-symmetric_unsat_7.smt2
regress1/error.cvc
regress1/errorcrash.smt2
regress1/fmf-fun-dbu.smt2
regress1/nl/NAVIGATION2.smt2
# sat or unknown in different builds
regress1/nl/issue3307.smt2
+ # waiting until we enable proofs in master
+ regress1/proofs/macro-res-exp-crowding-lit-inside-unit.smt2
# slow with sygus-inference after removing anti-skolemization
regress1/quantifiers/anti-sk-simp.smt2
# no longer support snorm option