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 for more information for QComp.

Overview of Contents

- `` contains the state of our website from the timepoint of the competition. This includes:
  - All benchmark files, browsable at ``
  - Detailed competition results in a human-readable format, browsable at ``
- `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 `` providing functionalities to obtain the result from the tool output.

Files (18.8 MB)
Name Size
18.8 MB Download
All versions This version
Views 6767
Downloads 1313
Data volume 244.8 MB244.8 MB
Unique views 5757
Unique downloads 1212


Cite as