The complexity of algorithms for a completion of partial groupoids to a variety of semigroups is stated.