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.

CSRepetitions-PT

Please find below the performance char for CSRepetitions-PT.

Memory Consumption

CPU Consumption

DrinkVendingMachine-PT

Please find below the performance char for DrinkVendingMachine-PT.

Memory Consumption

CPU Consumption

GlobalRessAlloc-PT

Please find below the performance char for GlobalRessAlloc-PT.

Memory Consumption

CPU Consumption

LamportFastMutEx-PT

Please find below the performance char for LamportFastMutEx-PT.

Memory Consumption

CPU Consumption

NeoElection-PT

Please find below the performance char for NeoElection-PT.

Memory Consumption

CPU Consumption

PermAdmissibility-PT

Please find below the performance char for PermAdmissibility-PT.

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

SharedMemory-PT

Please find below the performance char for SharedMemory-PT.

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