NECLA Benchmarks : Linear and non-linear decision problems in SMTLIB format