What is the name of the biggest crocodile that lived in dinosaur time?

the biggest crocodile in the world and in dinosaur time would be the sarcosuchus he was the most powerful crocodile ever seen he took on the t-rex maney times and he won all of them.thev crocodile died around 100 millon years ago