How many movies have Guilherme Real and Miguel ruivo collaborated on?

They have not worked on any movies together...