Olson later estimated the total length of Tappenosaurus to be 18 feet , comparing it in size with the largest of the dinocephalians, a more advanced group of synapsids that lived later in the Permian.