ResearchTasksCombinatorial CountingCombinatorial CountingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSynthetic-suiteCofola-WFOMC56Solved Count (Set)5May 26, 2026Cofola Real-world problems benchmarkCofola-WFOMC211Solved Instances (set)5May 26, 2026