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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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