Hello Rusty,
There are in fact three solvers who appear on this forum and who
are on the leader board.
What I don't quite understand is how anyone can solve AND type
a cryptic 15x15 in 1.39 minute!
Look at the stats for last Sunday Cryptic and the best time was
1.39 mns - Now, apart from the solving (and reading the clue in
the first place!), even given all the answers, I could not type them
in that time - and I am a fast touch typist!
Even if the solvers can just dictate to their computer, I hardly think
it feasible - logically, however cleaver they might be!