fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
Performances for the CTLMarkingComparison Examination
Last Updated
Apr. 26, 2013

Introduction

This page summarizes the performances of tools for CTLCardinalityComparison, model per model. You may also access to the results and the scores.

Important: charts are generated only if at least one tool is able to process successfully one instance.

QuasiCertifProtocol-PT

Please find below the performance char for QuasiCertifProtocol-PT.

Memory Consumption

CPU Consumption