ResearchDatasetsUltra SudokuUltra SudokuFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSudoku solvingUltra Sudoku 25x25 SMT-Solvers (test)0FSR (Success Rate)1