Now many state-of-the-art hardware verification programs incorporate Gomes's findings. "The idea is, basically, you run your program, and if it's taking too long you restart it" with a new ordering, Gomes says, "because your computer may end up getting into an unlucky run, and hopefully the next run will be a lucky one." Gomes hopes to further improve algorithms by studying how people combine various rules and patterns when they play Sudoku.