Sudoku: Difference between revisions
Content added Content deleted
| Line 4,295: | Line 4,295: | ||
if Seq.length argv = 1 then |
if Seq.length argv = 1 then |
||
let num = argv[0] |> int |
let num = argv[0] |> int |
||
printfn $"First {num} puzzles in sudoku17" |
printfn $"First {num} puzzles in sudoku17 (http://staffhome.ecm.uwa.edu.au/~00013890/sudoku17)" |
||
File.ReadLines(@"sudoku17.txt") |> Seq.take num |>Array.ofSeq |
File.ReadLines(@"sudoku17.txt") |> Seq.take num |>Array.ofSeq |
||
else |
else |
||
printfn $"All puzzles in sudoku17" |
printfn $"All puzzles in sudoku17 (http://staffhome.ecm.uwa.edu.au/~00013890/sudoku17)" |
||
File.ReadLines(@"sudoku17.txt") |>Array.ofSeq |
File.ReadLines(@"sudoku17.txt") |>Array.ofSeq |
||
watch.Start() |
watch.Start() |
||
| Line 4,365: | Line 4,365: | ||
Elapsed milliseconds = 8 ms |
Elapsed milliseconds = 8 ms |
||
All puzzles in sudoku17 |
All puzzles in sudoku17 (http://staffhome.ecm.uwa.edu.au/~00013890/sudoku17) |
||
Puzzles:49151, Total:80.99 s, Average:1.65 ms</pre> |
Puzzles:49151, Total:80.99 s, Average:1.65 ms</pre> |
||