Dataset Open Access

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

Arnd Hartmanns; Tim Quatmann

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.

Files (18.8 MB)
Name Size
QComp2019.zip
md5:b6ed40197c1ab64c7d54b382b857e720
18.8 MB Download
7
1
views
downloads
All versions This version
Views 77
Downloads 11
Data volume 18.8 MB18.8 MB
Unique views 33
Unique downloads 11

Share

Cite as