With the release of SMT-LIB 2.7 we now have a mix of benchmarks that have a `:version` of 2.6 and 2.7. Hence, we should store the version of a benchmark in the database.
With the release of SMT-LIB 2.7 we now have a mix of benchmarks that have a
:versionof 2.6 and 2.7.Hence, we should store the version of a benchmark in the database.