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
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-COL
Please find below the performance char for Philosophers-COL.
Memory Consumption
CPU Consumption
Philosophers-PT
Please find below the performance char for Philosophers-PT.
Memory Consumption
CPU Consumption
PhilosophersDyn-COL
Please find below the performance char for PhilosophersDyn-COL.
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-COL
Please find below the performance char for SharedMemory-COL.
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-COL
Please find below the performance char for TokenRing-COL.
Memory Consumption
CPU Consumption
TokenRing-PT
Please find below the performance char for TokenRing-PT.
Memory Consumption
CPU Consumption
