How many movies have Dean Devlin and Michael Lindemann collaborated on?

They have not worked on any movies together...