fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
Performances for the ReachabilityCardinalityComparison 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.

HouseConstruction-PT

Please find below the performance char for HouseConstruction-PT.

Memory Consumption

CPU Consumption

IBMB2S565S3960-PT

Please find below the performance char for IBMB2S565S3960-PT.

Memory Consumption

CPU Consumption

QuasiCertifProtocol-PT

Please find below the performance char for QuasiCertifProtocol-PT.

Memory Consumption

CPU Consumption

Vasy2003-PT

Please find below the performance char for Vasy2003-PT.

Memory Consumption

CPU Consumption