Dataset Open Access

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Replication

Arnd Hartmanns; Tim Quatmann


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Arnd Hartmanns</dc:creator>
  <dc:creator>Tim Quatmann</dc:creator>
  <dc:date>2019-04-04</dc:date>
  <dc:description>This archive contains detailed results from QComp 2019 as well as the necessary scripts and data to replicate them.

Visit http://qcomp.org for more information for QComp.

Overview of Contents

- `qcomp.org/` contains the state of our website from the timepoint of the competition. This includes:
  - All benchmark files, browsable at `qcomp.org/benchmarks/index.html`
  - Detailed competition results in a human-readable format, browsable at `qcomp.org/competition/2019/results/index.html`
- `logs/` contains the raw logfiles and data gathered by our scripts
- `scripts/` contains scripts to replicate the whole competition
- `toolpackages/` contains a package for each participating tool which includes
  - Instructions for obtaining and installing the tool
  - a file `invocations.json` listing the commandlines used in QComp 2019
  - a file `tool.py` providing functionalities to obtain the result from the tool output.</dc:description>
  <dc:identifier>https://zenodo.org/record/2628302</dc:identifier>
  <dc:identifier>10.5281/zenodo.2628302</dc:identifier>
  <dc:identifier>oai:zenodo.org:2628302</dc:identifier>
  <dc:relation>doi:10.5281/zenodo.2628301</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Replication</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>dataset</dc:type>
</oai_dc:dc>
131
18
views
downloads
All versions This version
Views 131131
Downloads 1818
Data volume 338.9 MB338.9 MB
Unique views 114114
Unique downloads 1717

Share

Cite as