01323 ; Sudoku01 ;    1 ;   1.78 ; No output file

01323 ; Sudoku01 ;   10 ;   1.59 ; No output file

01323 ; Sudoku01 ;  100 ;   1.57 ; No output file

01323 ; Sudoku01 ; 1000 ;   1.55 ; No output file

01323 ; Sudoku02 ;    1 ;   2.11 ; 0

01323 ; Sudoku02 ;   10 ;   2.12 ; 0

01323 ; Sudoku02 ;  100 ;   2.16 ; 0

01323 ; Sudoku02 ; 1000 ;   2.02 ; 0

01323 ; Sudoku03 ;    1 ;   2.44 ; 6

01323 ; Sudoku03 ;   10 ;   2.42 ; 6

01323 ; Sudoku03 ;  100 ;   1.76 ; 18

01323 ; Sudoku03 ; 1000 ;   2.43 ; 6