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

CSRepetitions-COL

Please find below the performance char for CSRepetitions-COL.

Memory Consumption

CPU Consumption

CSRepetitions-PT

Please find below the performance char for CSRepetitions-PT.

Memory Consumption

CPU Consumption

Dekker-PT

Please find below the performance char for Dekker-PT.

Memory Consumption

CPU Consumption

DotAndBoxes-COL

Please find below the performance char for DotAndBoxes-COL.

Memory Consumption

CPU Consumption

DrinkVendingMachine-COL

Please find below the performance char for DrinkVendingMachine-COL.

Memory Consumption

CPU Consumption

DrinkVendingMachine-PT

Please find below the performance char for DrinkVendingMachine-PT.

Memory Consumption

CPU Consumption

Echo-PT

Please find below the performance char for Echo-PT.

Memory Consumption

CPU Consumption

Eratosthenes-PT

Please find below the performance char for Eratosthenes-PT.

Memory Consumption

CPU Consumption

FMS-PT

Please find below the performance char for FMS-PT.

Memory Consumption

CPU Consumption

GlobalRessAlloc-COL

Please find below the performance char for GlobalRessAlloc-COL.

Memory Consumption

CPU Consumption

GlobalRessAlloc-PT

Please find below the performance char for GlobalRessAlloc-PT.

Memory Consumption

CPU Consumption

Kanban-PT

Please find below the performance char for Kanban-PT.

Memory Consumption

CPU Consumption

LamportFastMutEx-COL

Please find below the performance char for LamportFastMutEx-COL.

Memory Consumption

CPU Consumption

LamportFastMutEx-PT

Please find below the performance char for LamportFastMutEx-PT.

Memory Consumption

CPU Consumption

MAPK-PT

Please find below the performance char for MAPK-PT.

Memory Consumption

CPU Consumption

NeoElection-COL

Please find below the performance char for NeoElection-COL.

Memory Consumption

CPU Consumption

NeoElection-PT

Please find below the performance char for NeoElection-PT.

Memory Consumption

CPU Consumption

PermAdmissibility-COL

Please find below the performance char for PermAdmissibility-COL.

Memory Consumption

CPU Consumption

PermAdmissibility-PT

Please find below the performance char for PermAdmissibility-PT.

Memory Consumption

CPU Consumption

Peterson-COL

Please find below the performance char for Peterson-COL.

Memory Consumption

CPU Consumption

Peterson-PT

Please find below the performance char for Peterson-PT.

Memory Consumption

CPU Consumption

Philosophers-PT

Please find below the performance char for Philosophers-PT.

Memory Consumption

CPU Consumption

PhilosophersDyn-PT

Please find below the performance char for PhilosophersDyn-PT.

Memory Consumption

CPU Consumption

Railroad-PT

Please find below the performance char for Railroad-PT.

Memory Consumption

CPU Consumption

RessAllocation-PT

Please find below the performance char for RessAllocation-PT.

Memory Consumption

CPU Consumption

Ring-PT

Please find below the performance char for Ring-PT.

Memory Consumption

CPU Consumption

RwMutex-PT

Please find below the performance char for RwMutex-PT.

Memory Consumption

CPU Consumption

SharedMemory-PT

Please find below the performance char for SharedMemory-PT.

Memory Consumption

CPU Consumption

SimpleLoadBal-COL

Please find below the performance char for SimpleLoadBal-COL.

Memory Consumption

CPU Consumption

SimpleLoadBal-PT

Please find below the performance char for SimpleLoadBal-PT.

Memory Consumption

CPU Consumption

TokenRing-PT

Please find below the performance char for TokenRing-PT.

Memory Consumption

CPU Consumption