ResearchDatasetsPHOLEFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSAT SolvingPHOLE1.05MRPP r˜9SAT SolvingPHOLE structured SAT family1MRPP r-tilde6