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