April 4, 2019 Dataset Open Access

Arnd Hartmanns; Tim Quatmann

JSON-LD (schema.org) Export

{
  "description": "<p>This archive contains detailed results from QComp 2019 as well as the necessary scripts and data to replicate them.</p>\n\n<p>Visit http://qcomp.org for more information for QComp.</p>\n\n<p>Overview of Contents</p>\n\n<p>- `qcomp.org/` contains the state of our website from the timepoint of the competition. This includes:<br>\n&nbsp; - All benchmark files, browsable at `qcomp.org/benchmarks/index.html`<br>\n&nbsp; - Detailed competition results in a human-readable format, browsable at `qcomp.org/competition/2019/results/index.html`<br>\n- `logs/` contains the raw logfiles and data gathered by our scripts<br>\n- `scripts/` contains scripts to replicate the whole competition<br>\n- `toolpackages/` contains a package for each participating tool which includes<br>\n&nbsp; - Instructions for obtaining and installing the tool<br>\n&nbsp; - a file `invocations.json` listing the commandlines used in QComp 2019<br>\n&nbsp; - a file `tool.py` providing functionalities to obtain the result from the tool output.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "University of Twente", 
      "@type": "Person", 
      "name": "Arnd Hartmanns"
    }, 
    {
      "affiliation": "RWTH Aachen University", 
      "@type": "Person", 
      "name": "Tim Quatmann"
    }
  ], 
  "url": "https://zenodo.org/record/2628302", 
  "datePublished": "2019-04-04", 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/a79e42d5-5980-4af3-882b-35292b05c071/QComp2019.zip", 
      "encodingFormat": "zip", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.2628302", 
  "@id": "https://doi.org/10.5281/zenodo.2628302", 
  "@type": "Dataset", 
  "name": "The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Replication"
}