Sqlite export for benchmark results #1213
Description
SQLite is an SQL database that stores its data in single files on disk and is used as a library or command-line tool without the need for any daemon or special setup. It would be an interesting idea to let BenchExec add its produced benchmark results to an SQLite database file if the user wants this. This could be useful for example when post-processing the (running more complex data analyses) or for collecting a large database of benchmark results, e.g., all results in a particular competition across the years.
The advantage of integrating this directly instead of letting users go via CSV files and a custom SQL import is that it allows us to add all metadata from the XML files to the database, even those that are not present in the CSV files. This way the sqlite database can become a replacement for the XML files for those users who prefer it.
The sqlite export could be built into benchexec and/or table-generator.
Precedence for using sqlite as a data exchange format is for example the SMT-LIB metadata database or the Global Benchmark Database. When designing the schema for the database we should check these projects for inspiration, maybe we can even adopt (parts of) their schemata.