fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Performances on Models for QuasiLiveness
Last Updated
May 14, 2023

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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