diff --git a/run_tb.sh b/run_tb.sh
index f7ed68e..223744e 100755
--- a/run_tb.sh
+++ b/run_tb.sh
@@ -116,12 +116,14 @@ run_top_selected() {
     local fail=0
     for c in $cases; do
         local log="/tmp/run_tb_top_k${k}_c${c}.log"
-        echo "  xsim mlkem_kg_k$k -R -testplusarg CASE=$c   (log: $log)"
-        xsim "mlkem_kg_k$k" -R -testplusarg "CASE=$c" > "$log" 2>&1
+        echo "  xsim mlkem_kg_k$k -R -testplusarg CASE=$c"
+        echo "========================================" | tee "$log"
+        xsim "mlkem_kg_k$k" -R -testplusarg "CASE=$c" 2>&1 | tee -a "$log"
+        echo "========================================" | tee -a "$log"
         local pf nf
         pf=$(grep -oE 'PASS|FAIL' "$log" | tail -1)
         nf=$(grep -c 'cannot be opened' "$log")
-        echo "    K=$k CASE=$c -> ${pf:-NORESULT}  (file-not-found=$nf)"
+        echo "    K=$k CASE=$c -> ${pf:-NORESULT}  (file-not-found=$nf, log: $log)"
         { [ "$pf" = "PASS" ] && [ "$nf" -eq 0 ]; } || fail=1
     done
     return $fail