fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Performances on Models for CTLCardinality
Last Updated
Oct 13, 2019
under construction
The MCC web site is currently under construction
Please have a look at the previous editions' material at this stage (see upper-right menu)

Introduction

This page summarizes the performances of tools for the StateSpace examination, model per model. Models are presented in alphabetical order.

Important: charts are generated only if at least one tool is able to process successfully one instance.

CloudOpsManagement, P/T

This model is a «surprise» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

FamilyReunion, Colored

This model is a «surprise» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

FamilyReunion, P/T

This model is a «surprise» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

NoC3x3, P/T

This model is a «surprise» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ARMCacheCoherence, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

AirplaneLD, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

AirplaneLD, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Angiogenesis, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

AutoFlight, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

BART, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

BART, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

BridgeAndVehicles, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

BridgeAndVehicles, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

CSRepetitions, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

CSRepetitions, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

CircadianClock, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

CircularTrains, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ClientsAndServers, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

CloudDeployment, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

CloudReconfiguration, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DES, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DLCround, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DLCshifumi, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DNAwalker, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DatabaseWithMutex, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DatabaseWithMutex, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Dekker, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Diffusion2D, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DrinkVendingMachine, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DrinkVendingMachine, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ERK, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Echo, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

EnergyBus, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Eratosthenes, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

FMS, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

FlexibleBarrier, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

GPPP, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

GlobalResAllocation, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

GlobalResAllocation, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

HexagonalGrid, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

HouseConstruction, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

HypercubeGrid, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

HypertorusGrid, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

IBM319, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

IBM5964, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

IBM703, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

IBMB2S565S3960, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

IOTPpurchase, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

JoinFreeModules, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Kanban, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

LamportFastMutEx, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

LamportFastMutEx, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

MAPK, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

MultiwaySync, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

NeighborGrid, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

NeoElection, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

NeoElection, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PaceMaker, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ParamProductionCell, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Parking, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PermAdmissibility, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PermAdmissibility, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Peterson, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Peterson, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PhaseVariation, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Philosophers, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Philosophers, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PhilosophersDyn, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PhilosophersDyn, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Planning, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PolyORBLF, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PolyORBLF, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PolyORBNT, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

PolyORBNT, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ProductionCell, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

QuasiCertifProtocol, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

QuasiCertifProtocol, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Raft, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Railroad, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Referendum, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Referendum, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ResAllocation, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Ring, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

RobotManipulation, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

RwMutex, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SafeBus, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SafeBus, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SharedMemory, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SharedMemory, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SimpleLoadBal, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SmallOperatingSystem, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Solitaire, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SquareGrid, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

SwimmingPool, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

TCPcondis, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

TokenRing, Colored

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

TokenRing, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

TriangularGrid, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

UtahNoC, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

Vasy2003, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

ASLink, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

BusinessProcesses, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DLCflexbar, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DiscoveryGPU, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

DoubleExponent, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

EGFr, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

HospitalTriage, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

MAPKbis, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

NQueens, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

RERS17pb113, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

RERS17pb114, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

RERS17pb115, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time

RefineWMG, P/T

This model is a «known» model. You will find the performance charts below, click on the chart to enlarge it.

Memory Consumption

Execution time