SAT report updates (need to add more about the algorithms), log update, and reducer code.