config-z3-abs.cfg

opt = z3
opt-approx = true
opt-exact = true
abs-error = true
rel-error = false
fp-power2-model = false
const-approx-real-vars = true
maxima-simplification = true