The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2020. The dataset includes short benchmark descriptions by the submitters. For a more details, we refer to the report Fichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition ded...
This report presents the results of a friendly competition for formal verification andpolicy synthes...
Fitness data including original competition plate counts for all competitions analysed in this work
Instances for the Model Counting Competition 2020 - Track 1 (Model Counting) - Track 2 (Weighted Mo...
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020...
Replication package for the Dartagnan tool for SVCOMP 2020. It contains the Verifier Archive used fo...
Abstract. The use of data analysis competitions for selecting the most appropriate model for a probl...
These instances mainly consist of the formulas that have been used in the evaluation of recent model...
Benchmarks used for the paper Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Wei...
The Model Checking Contest (MCC) is an annual competition of software tools for model checking. Tool...
ICDAR 2021 Competition on Historical Map Segmentation — Submissions from participants This archive ...
In this upload, we give our models used for the participation to the Learn2Reg 2020 Challenge. We pa...
This release accounts for the ANDI datasets repository after the publication of the arxiv version of...
Replication set that contains evaluation dataset and samples for MSR2020 submitted paper: "AIMMX: Ar...
This dataset contains pragmatic features computed after each interaction with the modeling tool. Th...
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition ded...
This report presents the results of a friendly competition for formal verification andpolicy synthes...
Fitness data including original competition plate counts for all competitions analysed in this work
Instances for the Model Counting Competition 2020 - Track 1 (Model Counting) - Track 2 (Weighted Mo...
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020...
Replication package for the Dartagnan tool for SVCOMP 2020. It contains the Verifier Archive used fo...
Abstract. The use of data analysis competitions for selecting the most appropriate model for a probl...
These instances mainly consist of the formulas that have been used in the evaluation of recent model...
Benchmarks used for the paper Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Wei...
The Model Checking Contest (MCC) is an annual competition of software tools for model checking. Tool...
ICDAR 2021 Competition on Historical Map Segmentation — Submissions from participants This archive ...
In this upload, we give our models used for the participation to the Learn2Reg 2020 Challenge. We pa...
This release accounts for the ANDI datasets repository after the publication of the arxiv version of...
Replication set that contains evaluation dataset and samples for MSR2020 submitted paper: "AIMMX: Ar...
This dataset contains pragmatic features computed after each interaction with the modeling tool. Th...
International audienceCreated in 2011, the Model Checking Contest (MCC) is an annual competition ded...
This report presents the results of a friendly competition for formal verification andpolicy synthes...
Fitness data including original competition plate counts for all competitions analysed in this work
DOI
Add to ORKG