02540 ; Sudoku01 ;    1 ;   0.14 ; diff: Sudoku01.out: No such file or directory
0

02540 ; Sudoku01 ;   10 ;   0.09 ; diff: Sudoku01.out: No such file or directory
0

02540 ; Sudoku01 ;  100 ;   0.08 ; diff: Sudoku01.out: No such file or directory
0

02540 ; Sudoku01 ; 1000 ;   0.09 ; diff: Sudoku01.out: No such file or directory
0

02540 ; Sudoku02 ;    1 ;   0.10 ; diff: Sudoku02.out: No such file or directory
0

02540 ; Sudoku02 ;   10 ;   0.08 ; diff: Sudoku02.out: No such file or directory
0

02540 ; Sudoku02 ;  100 ;   0.10 ; diff: Sudoku02.out: No such file or directory
0

02540 ; Sudoku02 ; 1000 ;   0.08 ; diff: Sudoku02.out: No such file or directory
0

02540 ; Sudoku03 ;    1 ;   0.08 ; diff: Sudoku03.out: No such file or directory
0

02540 ; Sudoku03 ;   10 ;   0.08 ; diff: Sudoku03.out: No such file or directory
0

02540 ; Sudoku03 ;  100 ;   0.09 ; diff: Sudoku03.out: No such file or directory
0

02540 ; Sudoku03 ; 1000 ;   0.08 ; diff: Sudoku03.out: No such file or directory
0