ResearchDatasetsUltra SudokuFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSudoku solvingUltra Sudoku 25x25 SMT-Solvers (test)0FSR (Success Rate)1