Redundant processors run different programs