research data . Dataset . 2020

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti;
Open Access English
  • Published: 01 Jan 2020
  • Publisher: Zenodo
Abstract
<p>Instances for the Model Counting Competition&nbsp;2020</p> <p>- Track 1 (Model Counting)<br> - Track 2 (Weighted Model Counting)<br> -&nbsp;Track 3 (Projected Model Counting)</p> <p><br> The even instances (trackX_000.mcc2020_cnf, trackX_000.mcc2020_cnf, ...) were made public for all participants during the testing phase of the solvers, whereas the private instances (trackX_001.mcc2020_cnf, trackX_003.mcc2020_cnf, ...) were used for the final evaluation and disclosed after the submission. &nbsp;For details, we refer to:&nbsp;<a href="https://mccompetition.org/2020/mc_description">https://mccompetition.org/2020/mc_description</a>.<br> Instances originate from ...
Persistent Identifiers
Download from
Zenodo
Dataset . 2020
Provider: Zenodo
Any information missing or wrong?Report an Issue