| CARVIEW |
Select Language
HTTP/2 200
server: nginx
date: Thu, 15 Jan 2026 21:29:08 GMT
content-type: text/html
last-modified: Thu, 19 Sep 2024 14:32:32 GMT
vary: Accept-Encoding
etag: W/"66ec3600-640b"
content-encoding: gzip
QComp - Quantitative Verification Benchmark Set - qcomp.org
Quantitative Verification Benchmark Set
Licensing and Citations
(close)
This benchmark set, including all models and results, is provided under the terms of the
CC-BY 4.0 license.
If you redistribute the benchmark set – modified, in part, or whole – or individual benchmarks, make sure to keep and appropriately display all necessary license and author information.
If you use the benchmark set or individual benchmarks, for example in performance comparisons, please cite the benchmark set or the invidivual benchmarks.
To refer to a specific benchmark, cite the publication linked as "first presented in" for each model.
Cite the following article to refer to the benchmark set as a whole:
Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, and Enno Ruijters:
The Quantitative Verification Benchmark Set.
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019).
Lecture Notes in Computer Science, vol. 11427, Springer, 2019.
Search
Models
| Model | Name | Type | Original | Params | States | Properties | Notes | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
No models found for the specified criteria.
(close)
A model. Version . Last updated on .
Created and submitted by .
Created by , and
and submitted by .
First presented in: [0] .
Part of .
Parameters
Properties
Files
Results
-
/ ,
/
()
()
Parameters: = , (reference results)Reference results.
Results obtained on using old version of the model with version (part of ) on an system with GB RAM running and using the following command:.
Performance dataTotal time: Peak memory:
Version history
| v | date | notes |
Notes
For general questions or comments concerning the benchmark set, contact
.
If you have questions concerning a specific model, please contact the submitter listed for that model.