macchè non ci siamo
pensa che ho fatto un echo giusto x capire

<?php
$b = '00:03:00';
echo 'strcmp(): ' . strcmp($tempo, $b);
?>

il tempo impiegato è stato 00:00:03
e sai cosa mi ha restituito l'echo?--> 3 !!!!!!!