Solves the halting problem by using Troy to computer it's own running time.