Public Resources

• StarExec Community,
• Reference: When refering to the competition in an academic paper please use one of the following:
  • The Model Counting Competition
  • 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-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 [tba], 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 [tba], slides, solvers, competition instances, submitted benchmarks)

MC-2021

• Tracks: Model Counting, Weighted Model Counting, and Projected Model Counting
  (description, StarExec Community, format, winners, report [tba], 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)

Workshops

• 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)