Results for: hoare-laval-pactCorrelli