On Sun, Aug 06, 2017 at 12:09:08PM -0400, grarpamp wrote: > Define "full run". Brief read of paper seems the software is not > designed to exhaust all possible instructions... ie: from 0x0 to 0xf.... Over 10 years ago I tried _this_ "full" run. The smallest counterexample was prohibitively large for my resources or me screwed something :)