Introduction

This page summarizes the performances of tools model per model. It shows the evolution of memory and CPU consumption for all the instances of each model that could be processed by at least one tool.

Performances for “Known” Models

• CTLCardinalityComparison: access performance charts here,
• CTLFireability: access performance charts here,
• CTLMarkingComparison: access performance charts here,
• CTLMix: access performance charts here,
• CTLPlaceComparison: access performance charts here,
• LTLCardinalityComparison: access performance charts here,
• LTLFireability: access performance charts here,
• LTLMarkingComparison: access performance charts here,
• LTLMix: access performance charts here,
• LTLPlaceComparison: access performance charts here,
• ReachabilityCardinalityComparison: access performance charts here,
• ReachabilityDeadlock: access performance charts here,
• ReachabilityFireability: access performance charts here,
• ReachabilityMarkingComparison: access performance charts here,
• ReachabilityMix: access performance charts here,
• ReachabilityPlaceComparison: access performance charts here,
• StateSpace: access performance charts here,

Performances for “Surprise” Models

• CTLCardinalityComparison: access performance charts here,
• CTLFireability: access performance charts here,
• CTLMarkingComparison: access performance charts here,
• CTLMix: access performance charts here,
• CTLPlaceComparison: access performance charts here,
• LTLCardinalityComparison: access performance charts here,
• LTLFireability: access performance charts here,
• LTLMarkingComparison: access performance charts here,
• LTLMix: access performance charts here,
• LTLPlaceComparison: access performance charts here,
• ReachabilityCardinalityComparison: access performance charts here,
• ReachabilityDeadlock: access performance charts here,
• ReachabilityFireability: access performance charts here,
• ReachabilityMarkingComparison: access performance charts here,
• ReachabilityMix: access performance charts here,
• ReachabilityPlaceComparison: access performance charts here,
• StateSpace: access performance charts here,