<?php

$tc = 123123;

echo '<script>setInterval(function(){ window.location.href="sonuc/'.$tc.'"; }, 1000);</script>';
?>

Yukarıdaki kodun çıktısı ;

<script>setInterval(function(){ window.location.href="sonuc/123123"; }, 1000);</script>

Sizde aynı çıktıyı üretmiyorsa değişkeninizde problem olabilir. PHP versiyonunda problem olaiblir server elinizdeyse min 5.4 kullanın. bende bu şekilde dopru sonuç üretiyor. side $tc değişkenini elle kurun doğru sonuç alıyorsanız. Değişkenin gelişinde problem var demektir.