3 ms·The halting problem is decidable on a set of asymptotic probability 12 points by wfunction 10y ago