02054 ; Sudoku01 ; 1 ; 2.02 ; 2 02054 ; Sudoku01 ; 10 ; 0.63 ; 2 02054 ; Sudoku01 ; 100 ; 2.06 ; 2 02054 ; Sudoku01 ; 1000 ; 1.94 ; 2 02054 ; Sudoku02 ; 1 ; 2.06 ; 2 02054 ; Sudoku02 ; 10 ; 2.30 ; 2 02054 ; Sudoku02 ; 100 ; 2.35 ; 2 02054 ; Sudoku02 ; 1000 ; 2.35 ; 2 02054 ; Sudoku03 ; 1 ; 76.79 ; diff: Sudoku03.out: No such file or directory 0 02054 ; Sudoku03 ; 10 ; 38.73 ; diff: Sudoku03.out: No such file or directory 0 02054 ; Sudoku03 ; 100 ; 2.87 ; diff: Sudoku03.out: No such file or directory 0 02054 ; Sudoku03 ; 1000 ; 9.38 ; diff: Sudoku03.out: No such file or directory 0