Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
MCC’2013, Performance of Tools
Last Updated
Apr. 26, 2013


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

Performances for “Surprise” Models