Public Resources

• StarExec Community,
• Reference: When refering to the competition in an academic paper please use one of the following:
  • The Model Counting Competitions 2021-2023
  • The Model Counting Competition 2020
  • Model Counting Competition 2025: Competition Instances - draft
  • Model Counting Competition 2024: Competition Instances
  • Model Counting Competition 2023: Competition Instances
  • Model Counting Competition 2022: Competition Instances
  • Model Counting Competition 2021: Competition Instances
  • Model Counting Competition 2020: Competition Instances

Model Counting Competition

MC-2025

Part of SAT 2025

• Tracks: Model Counting, Weighted Model Counting, Weighted Model Counting (negative weights), Projected Model Counting, Projected Weighted Model Counting
  (description, format, winners, report [tba], slides, solvers [tba], competition instances - draft, submitted benchmarks - draft

MC-2024

Part of SAT 2024

• Tracks: Model Counting, Weighted Model Counting, Weighted Model Counting (negative weights), Projected Model Counting, Projected Weighted Model Counting
  (description, StarExec Community, format, winners, report [tba], slides, solvers, competition instances, submitted benchmarks

MC-2023

Part of SAT 2023

• Tracks: Model Counting, Weighted Model Counting, Projected Model Counting, Projected Weighted Model Counting
  (description, StarExec Community, format, winners, report, slides, solvers, competition instances, submitted benchmarks)

MC-2022

Part of FLoC Olympic Games

• Tracks: Model Counting, Weighted Model Counting, Projected Model Counting, Projected Weighted Model Counting
  (description, StarExec Community, format, winners, report, slides, solvers, competition instances, submitted benchmarks)

MC-2021

• Tracks: Model Counting, Weighted Model Counting, and Projected Model Counting
  (description, StarExec Community, format, winners, report, slides, solvers, competition instances, submitted benchmarks)

MC-2020

The results of each Model Counting Competition are documented in a report.

• Tracks: Model Counting, Weighted Model Counting, and Projected Model Counting
  (description, format, winners, report, slides, solvers, competition instances, submitted benchmarks)

@article{10.1145/3459080,
	address = {New York, NY, USA},
	articleno = {13},
	author = {Fichte, Johannes K. and Hecher, Markus and Hamiti, Florim},
	doi = {10.1145/3459080},
	issn = {1084-6654},
	issue_date = {December 2021},
	journal = {ACM J. Exp. Algorithmics},
	month = {oct},
	numpages = {26},
	publisher = {Association for Computing Machinery},
	title = {The Model Counting Competition 2020},
	volume = {26},
	year = {2021}}

Workshops

• 2024 Workshop on Counting, Sampling, and Synthesis (in person event)
  (program)
• 2024 Workshop on Counting, Sampling, and Synthesis (in person event)
  (program)
• 2023 Workshop on Counting and Sampling (in person event)
  (program)
• 2022 Workshop on Counting and Sampling (in person event)
  (program, abstracts, slides)
• Workshop 2021
  (program, abstracts, slides , recordings)
• 2020 Model Counting Workshop
  (program, abstracts, slides , recordings)