>What's "the loop-free binary superoptimization task"?

http://blog.regehr.org/archives/923

edit: oops, the above link describes what a stochastic-superoptimizer is. however, if you read through the whole thing, it may give an inkling what the authors have done...