GET IN TOUCH

Model Counting Competition 2021

Tracks / Challenges

Model Counting (mc)
Compute the number of satisfying assignments to a given CNF:
Weighted Model Counting (wmc)
Compute the number of satisfying assignments to a given CNF:
Projected Model Counting (pmc)
Compute the number of satisfying assignments to a given CNF:

Call for Benchmarks

Model Counting Competition invites extended submission of collections of counting instances in the an DIMACS-based submission formats as given below.

Public+Private Instances

Download for all Tracks

Submission

Format

We refer to a comprehensive document on the description of the competition. Note that runtime requirements might still change until we have the final platform running, which we expect by April 16, 2021.

Important Dates

January 10, 2021: Announcement of the challenge (Tracks)

January 26, 2021: Announcement of the challenge (Tracks)
February 24, 2021: Format Description Online
February 21, 2021: Call for Benchmarks
March 19, 2021: Benchmarks (submit ASAP)
Please use the Google Form
March 25, 2021: Intent to Participate
Please use the Google Form
April 15, 2021: Public Instances are available
April 16, 2021: Submission of the Solvers (Feedback Phase starts)
May 7, 2021: Last Update to submissions (End of Feedback Phase)
May 17, 2021: Evaluation Phase starts
May 30, 2021: Submissions + Descriptions (Zenodo)
Please use the Google Form
July 9, 2021 & Presentation of the Results during the SAT conference

Organization

Program Co-Chair

Markus Hecher (TU Wien, Vienna)
Johannes K. Fichte (TU Dresden, Dresden)

Judge

Martin Gebser (AAU Klagenfurt). Martin has co-organized the 1st, 2nd, 6th, and 7th ASP competition.

Technical and Reproduciblity Advisor

Daniel Le Berre

Evaluation Plattform

We are happy that the director of StarExec (Aaron Stump, Iowa) accepted to host the model counting competition. The main part of the competition will run on StarExec. We evaluate the solvers in parallel also on the
Taurus Cluster in Dresden.