Well (according to Wiki, at least, https://en.wikipedia.org/wiki/Z3_(computer)#The_Z3_as_a_universal_Turing_machine https://en.wikipedia.org/wiki/Z3_(computer)#

Well (according to Wiki, at least, https://en.wikipedia.org/wiki/Z3_(computer)#The_Z3_as_a_universal_Turing_machine https://en.wikipedia.org/wiki/Z3_(computer)#The_Z3_as_a_univ... ) the Z3 was only accidentally Turing-equivalent, and the hack for writing arbitrary programs on it was only discovered in 1998 (and wouldn't have been practically useful anyhow). The Manchester Baby was operational and ran its first program before the completion of the redesign and rebuild that made ENIAC Turing-equivalent. However, it had only been built as a technology demonstrator/testbed, and it was soon disassembled. (I say Turing-equivalent, but Turing's work wasn't the inspiration for any of these efforts to build a fully-programmable computer.)