Is that the case? I would be surprised. I would assume success ratio does not change much by checking say 10^4 more combinations (it's either a simple combination of these strings and common prefxies/suffixes or if it's complex then the amount of combinations grows so fast that you are unlikely to get a hit)
I'm betting on the second option, he reused the same password somewhere else or they just got lucky ans seized the computer already unlocked
Don't think this is the case?
Prove me wrong. Show me in their source code of the OS you're running that they don't do this.
The absence of auditability is evidence for tyranny. Auditability in the case of software is open source software and open source hardware, up and down the entire stack of the device in use. Anything short of that, and you're pwned without even being able to know or prove it -- when it comes to government.
While it is technologically possible, I have never heard of a case of this actually happening.
They then use that strings output as input into the password cracking rig. They are happy to let it churn for months / years (because the case is working through the system).
So its far more likely this individual hibernated his PC with the password in memory or reused the password elsewhere than it was cracked.