4 ms·

They're already trivial to crack 100% with Z3. Using something fuzzy like a neural net is by far not an optimal way to break it.