https://smt-comp.github.io/2021/divisions/qf-nonlinearintarith
Qf_nonlinearintarith | SMT-COMP
Jan 29, 2024 - The International Satisfiability Modulo Theories (SMT) Competition.
qfsmtcomp
https://smt-comp.github.io/2023/results/qf-nonlinearintarith-model-validation
Qf_nonlinearintarith Model Validation | SMT-COMP
Jan 29, 2024 - The International Satisfiability Modulo Theories (SMT) Competition.
model validationqfsmtcomp