ResearchDatasetsPHOLEPHOLEFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingPHOLE1.05MRPP r˜9SAT SolvingPHOLE structured SAT family1MRPP r-tilde6