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

Dekker-PT

Please find below the performance char for Dekker-PT.

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-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-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-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

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-PT

Please find below the performance char for SimpleLoadBal-PT.

Memory Consumption

CPU Consumption