Please find enclosed the brute results for the StateSpace examination. We display only the score of tools that provide a results for at least one instance of one model. You may access to the scoring for this examination here.
The legend for the values is provided below:
- nc: the tool does not compete this examination for this model/instance,
- cc: the tool cannot compute this examination for this model/instance,
- to: the tool cannot compute this examination for this model/instance within the maximum allowed time,
- mp: the tool encountered a memory problem (stack overflow or memory full),
- nf: there is no formula available for thys type of examination (typically, this concerns P/T nets where comparing marking cardinality has no signification when there is no equivalent colored net).
Please note that, for some models/instances, we could not reformat the number of the state space (apparently over 10**239 states) and then provide "∞ (ovf)" as an answer.
