Repository for SMT-LIB benchmarks that we would like to submit to the SMT-LIB benchmark library but that are not yet ready for submission. E.g., because
- we do not yet know if the benchmark set is yet complete, or
- we have not yet chosen a structure for the benchmarks.