Published February 3, 2025 | Version v1
Dataset Open

SMT-COMP 2024 Raw Execution Data

Authors/Creators

  • 1. ROR icon Masaryk University
  • 2. ROR icon Laboratoire d'Intégration des Systèmes et des Technologies
  • 3. ROR icon Max Planck Institute for Informatics

Description

This archive contains the raw data obtained during execution of SMT-COMP 2024.

Files

Files (900.5 MB)

Name Size
md5:5f1e544cac1c7d34fd53de07c276ca3b
900.5 MB Download