SMT-COMP 2025 Raw Execution Data

This archive contains raw data obtained during execution of SMT-COMP 2025. The data is divided into the individual tracks Single Query (single_query) Incremental (incremental) Model Validation (model_validation) Unsat Core Generation (unsat_core) Parallel (parallel) Each directory contains the directories for the individual divisions. Each division contains the directories for the individual solvers, e.g., single_query/Arith/cvc5/. In each of the directories, there are three files: *.logfiles.zip, which contains the raw outputs of the solver for all benchmarks, *.task.txt, which contains a textual summary of the execution, and *.task.xml.bz2, which for each benchmark contains a XML file with details of the execution.