ResearchBenchmarksSAT Solving on CardinalitySAT Solving on CardinalityFollow—Completion RateMethod not availableNo plottable results for Completion Rate (PERCENT).Evaluation resultsMethodMethodLinksCompletion RateNo evaluation results match this method.