SMT-LIB-benchmarks-tmp

This serves as a temporary repository for objects that need sorting or validation, e.g. benchmarks.