diff --git a/index.html b/index.html index 08dfd1129..fcd4429c2 100644 --- a/index.html +++ b/index.html @@ -993,7 +993,7 @@

Detailed Comparison

const ratio = curr_timing !== null ? (constant_time_add + curr_timing) / (constant_time_add + baseline_timing) : null; let td = document.createElement('td'); - td.appendChild(document.createTextNode(curr_timing !== null ? `${curr_timing.toFixed(2)}s (×${ratio.toFixed(2)})` : '☠')); + td.appendChild(document.createTextNode(curr_timing !== null ? `${curr_timing.toFixed(3)}s (×${ratio.toFixed(2)})` : '☠')); colorize(td, ratio); tr.appendChild(td);