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.

HouseConstruction-PT

Please find below the performance char for HouseConstruction-PT.

Memory Consumption

CPU Consumption

IBMB2S565S3960-PT

Please find below the performance char for IBMB2S565S3960-PT.

Memory Consumption

CPU Consumption

QuasiCertifProtocol-PT

Please find below the performance char for QuasiCertifProtocol-PT.

Memory Consumption

CPU Consumption

Vasy2003-PT

Please find below the performance char for Vasy2003-PT.

Memory Consumption

CPU Consumption