[DonbunEf7]

The one described in Scott's next post [0] is the current champion, I think, coming in at 1919 states and halting iff ZFC is inconsistent.

[0] https://www.scottaaronson.com/blog/?p=2741