@kenshirriff This is the paper that sank the iAPX 432. It was demonstrably slower than the 8086 it was supposed to replace.
I'm *really* curious to know if there's a working copy of the '432 in existence today. Have you come across one?
https://archive.org/details/PerformanceEvaluationOfTheIntelAPX432