• shareshare
  • link
  • cite
  • add
auto_awesome_motion View all 2 versions
Research data . Dataset . 2019

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

Arnd Hartmanns; Tim Quatmann;
Open Access
Published: 04 Apr 2019
Publisher: Zenodo
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.
Subjects by Vocabulary

ACM Computing Classification System: GeneralLiterature_MISCELLANEOUS