The 2020 Comparison of Tools for the Analysis of Quantitative Formal Models: Results and Reproduction

This archive contains detailed results from QComp 2020 as well as the necessary scripts and data to reproduce 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 https://qcomp.org/competition/2020/ - 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 2020   - a file tool.py providing functionalities to obtain the result from the tool output.