<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Benchmark Dashboard - certeza-test-suite</title>
<script src="https://cdn.jsdelivr.net/npm/chart.js@4.4.0/dist/chart.umd.min.js"></script>
<style>
* {
margin: 0;
padding: 0;
box-sizing: border-box;
}
body {
font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, sans-serif;
background: #0d1117;
color: #c9d1d9;
padding: 20px;
}
.container {
max-width: 1400px;
margin: 0 auto;
}
header {
margin-bottom: 30px;
padding-bottom: 20px;
border-bottom: 1px solid #30363d;
}
h1 {
color: #58a6ff;
margin-bottom: 10px;
}
.metadata {
color: #8b949e;
font-size: 14px;
}
.metadata span {
margin-right: 20px;
}
.grid {
display: grid;
grid-template-columns: repeat(auto-fit, minmax(500px, 1fr));
gap: 20px;
margin-bottom: 20px;
}
.card {
background: #161b22;
border: 1px solid #30363d;
border-radius: 6px;
padding: 20px;
}
.card h2 {
color: #58a6ff;
font-size: 18px;
margin-bottom: 15px;
}
.chart-container {
position: relative;
height: 300px;
}
.stats-table {
width: 100%;
border-collapse: collapse;
font-size: 13px;
}
.stats-table th {
text-align: left;
padding: 8px;
border-bottom: 1px solid #30363d;
color: #8b949e;
font-weight: 600;
}
.stats-table td {
padding: 8px;
border-bottom: 1px solid #21262d;
}
.stats-table tr:hover {
background: #0d1117;
}
.cv-good {
color: #3fb950;
}
.cv-warning {
color: #d29922;
}
.cv-bad {
color: #f85149;
}
footer {
margin-top: 30px;
padding-top: 20px;
border-top: 1px solid #30363d;
text-align: center;
color: #8b949e;
font-size: 12px;
}
</style>
</head>
<body>
<div class="container">
<header>
<h1>📊 Benchmark Dashboard</h1>
<div class="metadata">
<span><strong>Suite:</strong> certeza-test-suite</span>
<span><strong>Timestamp:</strong> 2025-11-18T11:07:45.378Z</span>
<span><strong>Commit:</strong> <code>abc123def</code></span>
<span><strong>Branch:</strong> main</span>
</div>
</header>
<div class="grid">
<div class="card">
<h2>⏱️ Mean Execution Time</h2>
<div class="chart-container">
<canvas id="meanChart"></canvas>
</div>
</div>
<div class="card">
<h2>📊 Coefficient of Variation</h2>
<div class="chart-container">
<canvas id="cvChart"></canvas>
</div>
</div>
</div>
<div class="grid">
<div class="card" style="grid-column: 1 / -1;">
<h2>📈 Detailed Statistics</h2>
<table class="stats-table">
<thead>
<tr>
<th>Benchmark</th>
<th>Mean (ms)</th>
<th>Median (ms)</th>
<th>Std Dev</th>
<th>CV</th>
<th>CI 95%</th>
</tr>
</thead>
<tbody>
<tr>
<td><strong>trueno_vec_push</strong></td>
<td>21.613</td>
<td>21.555</td>
<td>0.891</td>
<td class="cv-good">4.12%</td>
<td>[21.10, 22.10]</td>
</tr>
<tr>
<td><strong>trueno_vec_pop</strong></td>
<td>18.392</td>
<td>18.410</td>
<td>0.185</td>
<td class="cv-good">1.01%</td>
<td>[18.25, 18.54]</td>
</tr>
<tr>
<td><strong>trueno_vec_get</strong></td>
<td>12.398</td>
<td>12.395</td>
<td>0.095</td>
<td class="cv-good">0.77%</td>
<td>[12.32, 12.48]</td>
</tr>
</tbody>
</table>
</div>
</div>
<footer>
Generated: 2025-11-18T11:11:16.488Z | Certeza Benchmark Dashboard v1.0
</footer>
</div>
<script>
const chartColors = {
primary: '#58a6ff',
success: '#3fb950',
warning: '#d29922',
danger: '#f85149',
grid: '#30363d',
text: '#c9d1d9'
};
const chartDefaults = {
responsive: true,
maintainAspectRatio: false,
plugins: {
legend: {
display: false
}
},
scales: {
y: {
beginAtZero: true,
grid: {
color: chartColors.grid
},
ticks: {
color: chartColors.text
}
},
x: {
grid: {
color: chartColors.grid
},
ticks: {
color: chartColors.text,
maxRotation: 45,
minRotation: 45
}
}
}
};
new Chart(document.getElementById('meanChart'), {
type: 'bar',
data: {
labels: ["trueno_vec_push","trueno_vec_pop","trueno_vec_get"],
datasets: [{
label: 'Mean (ms)',
data: [21.613,18.392,12.398],
backgroundColor: chartColors.primary,
borderColor: chartColors.primary,
borderWidth: 1
}]
},
options: {
...chartDefaults,
scales: {
...chartDefaults.scales,
y: {
...chartDefaults.scales.y,
title: {
display: true,
text: 'Time (ms)',
color: chartColors.text
}
}
}
}
});
const cvData = [4.12,1.01,0.77];
const cvColors = cvData.map(cv =>
cv < 5 ? chartColors.success :
cv < 10 ? chartColors.warning :
chartColors.danger
);
new Chart(document.getElementById('cvChart'), {
type: 'bar',
data: {
labels: ["trueno_vec_push","trueno_vec_pop","trueno_vec_get"],
datasets: [{
label: 'CV (%)',
data: cvData,
backgroundColor: cvColors,
borderColor: cvColors,
borderWidth: 1
}]
},
options: {
...chartDefaults,
scales: {
...chartDefaults.scales,
y: {
...chartDefaults.scales.y,
title: {
display: true,
text: 'CV (%)',
color: chartColors.text
}
}
}
}
});
</script>
</body>
</html>