Introduction
This page summarizes the performances of tools for the LTLCardinality examination, model per model. Models are presented in alphabetical order (some with prefix «surprise» are in fact «scrambled» versions of «known» model).
Important: charts are generated only if at least one tool is able to process successfully one instance.
CSRepetitions-COL («known» model)
Please find below the performance char for CSRepetitions-COL.
Memory Consumption
CPU Consumption
DatabaseWithMutex-COL («surprise» model)
Please find below the performance char for DatabaseWithMutex-COL.
Memory Consumption
CPU Consumption
DotAndBoxes-COL («known» model)
Please find below the performance char for DotAndBoxes-COL.
Memory Consumption
CPU Consumption
DrinkVendingMachine-COL («known» model)
Please find below the performance char for DrinkVendingMachine-COL.
Memory Consumption
CPU Consumption
GlobalResAllocation-COL («known» model)
Please find below the performance char for GlobalResAllocation-COL.
Memory Consumption
CPU Consumption
LamportFastMutEx-COL («known» model)
Please find below the performance char for LamportFastMutEx-COL.
Memory Consumption
CPU Consumption
NeoElection-COL («known» model)
Please find below the performance char for NeoElection-COL.
Memory Consumption
CPU Consumption
PermAdmissibility-COL («known» model)
Please find below the performance char for PermAdmissibility-COL.
Memory Consumption
CPU Consumption
Peterson-COL («known» model)
Please find below the performance char for Peterson-COL.
Memory Consumption
CPU Consumption
Philosophers-COL («known» model)
Please find below the performance char for Philosophers-COL.
Memory Consumption
CPU Consumption
PhilosophersDyn-COL («known» model)
Please find below the performance char for PhilosophersDyn-COL.
Memory Consumption
CPU Consumption
PolyORBLF-COL («surprise» model)
Please find below the performance char for PolyORBLF-COL.
Memory Consumption
CPU Consumption
PolyORBNT-COL («surprise» model)
Please find below the performance char for PolyORBNT-COL.
Memory Consumption
CPU Consumption
QuasiCertifProtocol-COL («known» model)
Please find below the performance char for QuasiCertifProtocol-COL.
Memory Consumption
CPU Consumption
SharedMemory-COL («known» model)
Please find below the performance char for SharedMemory-COL.
Memory Consumption
CPU Consumption
SimpleLoadBal-COL («known» model)
Please find below the performance char for SimpleLoadBal-COL.
Memory Consumption
CPU Consumption
SurpriseCSRepetitions-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseCSRepetitions-COL.
Memory Consumption
CPU Consumption
SurpriseDotAndBoxes-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseDotAndBoxes-COL.
Memory Consumption
CPU Consumption
SurpriseDrinkVendingMachine-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseDrinkVendingMachine-COL.
Memory Consumption
CPU Consumption
SurpriseGlobalResAllocation-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseGlobalResAllocation-COL.
Memory Consumption
CPU Consumption
SurpriseLamportFastMutEx-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseLamportFastMutEx-COL.
Memory Consumption
CPU Consumption
SurpriseNeoElection-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseNeoElection-COL.
Memory Consumption
CPU Consumption
SurprisePermAdmissibility-COL («scrambled» version of the «known» model)
Please find below the performance char for SurprisePermAdmissibility-COL.
Memory Consumption
CPU Consumption
SurprisePeterson-COL («scrambled» version of the «known» model)
Please find below the performance char for SurprisePeterson-COL.
Memory Consumption
CPU Consumption
SurprisePhilosophers-COL («scrambled» version of the «known» model)
Please find below the performance char for SurprisePhilosophers-COL.
Memory Consumption
CPU Consumption
SurprisePhilosophersDyn-COL («scrambled» version of the «known» model)
Please find below the performance char for SurprisePhilosophersDyn-COL.
Memory Consumption
CPU Consumption
SurpriseQuasiCertifProtocol-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseQuasiCertifProtocol-COL.
Memory Consumption
CPU Consumption
SurpriseSharedMemory-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseSharedMemory-COL.
Memory Consumption
CPU Consumption
SurpriseSimpleLoadBal-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseSimpleLoadBal-COL.
Memory Consumption
CPU Consumption
SurpriseTokenRing-COL («scrambled» version of the «known» model)
Please find below the performance char for SurpriseTokenRing-COL.
Memory Consumption
CPU Consumption
TokenRing-COL («known» model)
Please find below the performance char for TokenRing-COL.
Memory Consumption
CPU Consumption
