Published April 4, 2019 | Version v1
Dataset Open

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

  • 1. University of Twente
  • 2. RWTH Aachen University


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 Download all
18.8 MB Preview Download