00334 ; Sudoku01 ;    1 ;   3.90 ; 5

00334 ; Sudoku01 ;   10 ;   3.26 ; 5

00334 ; Sudoku01 ;  100 ;   3.20 ; 5

00334 ; Sudoku01 ; 1000 ;   2.70 ; 5

00334 ; Sudoku02 ;    1 ;   1.60 ; No output file

00334 ; Sudoku02 ;   10 ;   1.59 ; No output file

00334 ; Sudoku02 ;  100 ;   1.40 ; No output file

00334 ; Sudoku02 ; 1000 ;   1.62 ; No output file

00334 ; Sudoku03 ;    1 ;   3.10 ; 11

00334 ; Sudoku03 ;   10 ;   3.05 ; 11

00334 ; Sudoku03 ;  100 ;   3.02 ; 11

00334 ; Sudoku03 ; 1000 ;   3.06 ; 11