List your company

Ultra Sudoku

Benchmarks

TaskDatasetSOTA resultTrendResults
Ultra Sudoku 25x25 SMT-Solvers (test)
0FSR (Success Rate)
1