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