Ma se hai già ore, minuti e secondi separati negli array, perchè li converti in timestamp per poi riconvertirli in ore-minuti-secondi? Non sarebbe più semplice così:
Codice PHP:
$tempo = $sora3[0]+$sora4[0].":".$sora3[1]+$sora4[1].":".$sora3[2]+$sora4[2] 
?