Open philzook58 opened 3 years ago
It would make sense to submit our smtlib files for tough problems as SMT-lib benchmarks. It might lead to a feedback loop of solvers getting better at handling our kind of problems.
https://smt-comp.github.io/benchmark_submission.html https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks
It would make sense to submit our smtlib files for tough problems as SMT-lib benchmarks. It might lead to a feedback loop of solvers getting better at handling our kind of problems.
https://smt-comp.github.io/benchmark_submission.html https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks