Skip to content

Instantly share code, notes, and snippets.

@santolucito

santolucito/31aa019c_report.html

Created June 30, 2025 16:30
Show Gist options
  • Save santolucito/0ca07455e0f4c1e3eab2ea91e0838265 to your computer and use it in GitHub Desktop.
Save santolucito/0ca07455e0f4c1e3eab2ea91e0838265 to your computer and use it in GitHub Desktop.
Download ZIP
ARC-AGI Synthesis Results for 31aa019c - 2025-06-30 12:30:57
Raw
31aa019c_report.html
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Synthesis Results - 31aa019c</title>
<style>
body {
font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
margin: 20px;
background-color: #f5f5f5;
line-height: 1.6;
}
.container {
max-width: 1200px;
margin: 0 auto;
background-color: white;
padding: 20px;
border-radius: 8px;
box-shadow: 0 2px 4px rgba(0,0,0,0.1);
}
h1, h2, h3, h4, h5 {
color: #333;
margin-top: 1.5em;
margin-bottom: 0.5em;
}
h1 {
border-bottom: 3px solid #007acc;
padding-bottom: 10px;
}
.summary {
background-color: #f9f9f9;
padding: 15px;
border-radius: 5px;
border-left: 4px solid #007acc;
margin-bottom: 20px;
}
.summary pre {
margin: 0;
font-family: 'Courier New', monospace;
white-space: pre-wrap;
}
.grid-container {
margin: 10px 0;
display: inline-block;
vertical-align: top;
}
.arc-grid {
border-collapse: collapse;
margin: 10px;
box-shadow: 0 1px 3px rgba(0,0,0,0.2);
}
.arc-grid th, .arc-grid td {
border: 1px solid #ccc;
text-align: center;
font-size: 10px;
padding: 2px;
}
.arc-grid th {
background-color: #e0e0e0;
font-weight: bold;
}
.status-grid {
border-collapse: collapse;
margin: 10px;
box-shadow: 0 1px 3px rgba(0,0,0,0.2);
}
.training-example {
border: 1px solid #ddd;
margin: 15px 0;
padding: 15px;
border-radius: 5px;
background-color: #fdfdfd;
}
.failed-cells-visualization {
background-color: #fff5f5;
border: 1px solid #fecaca;
border-radius: 5px;
padding: 10px;
margin: 10px 0;
}
.failed-cells-analysis {
margin-top: 20px;
}
p {
margin: 0.5em 0;
}
pre {
background-color: #f4f4f4;
padding: 10px;
border-radius: 3px;
overflow-x: auto;
font-size: 12px;
}
</style>
</head>
<body>
<div class="container">
<h1>Synthesis Results: 31aa019c</h1>
<div class="summary">
<h2>Summary</h2>
<pre>Total synthesis problems: 27
Successful solutions: 3
Success rate: 11.1%
Total time: 120.27 seconds
Task: 31aa019c</pre>
</div>
<div class="failed-cells-analysis">
<h2>FAILED CELLS VISUALIZATION</h2>
<h3>📋 Task: 31aa019c</h3>
<div class="training-example">
<h4>🔍 Training Example 0:</h4>
<p>Total cells: 9, Failed: 8, Success rate: 11.1%</p>
<p>Failed cells (x,y,color): [(0, 5, 2), (1, 5, 2), (0, 6, 2), (2, 5, 2), (0, 7, 2), (1, 7, 2), (2, 6, 2), (2, 7, 2)]</p>
<div class="failed-cells-visualization">
<h4>🔴 Failed Cells Visualization</h4>
<h5>Status Grid (. = background, ✓ = success, ✗ = failed):</h5>
<table class="status-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #90EE90; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✓</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
</table>
<h5>Failed cells rendered:</h5>
<div style="display: flex; gap: 20px; flex-wrap: wrap;">
<div class="grid-container">
<h3>Failed Cells (Example 0) 3x8</h3>
<table class="arc-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
</table>
</div>
<div class="grid-container">
<h3>Successful Cells (Example 0) 2x7</h3>
<table class="arc-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td></tr>
</table>
</div>
</div>
</div>
</div>
<div class="training-example">
<h4>🔍 Training Example 1:</h4>
<p>Total cells: 9, Failed: 8, Success rate: 11.1%</p>
<p>Failed cells (x,y,color): [(6, 1, 2), (6, 2, 2), (8, 1, 2), (7, 1, 2), (8, 2, 2), (6, 3, 2), (7, 3, 2), (8, 3, 2)]</p>
<div class="failed-cells-visualization">
<h4>🔴 Failed Cells Visualization</h4>
<h5>Status Grid (. = background, ✓ = success, ✗ = failed):</h5>
<table class="status-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><th style="text-align: center; font-size: 10px; padding: 2px;">8</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #90EE90; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✓</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
</table>
<h5>Failed cells rendered:</h5>
<div style="display: flex; gap: 20px; flex-wrap: wrap;">
<div class="grid-container">
<h3>Failed Cells (Example 1) 9x4</h3>
<table class="arc-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><th style="text-align: center; font-size: 10px; padding: 2px;">8</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
</table>
</div>
<div class="grid-container">
<h3>Successful Cells (Example 1) 8x3</h3>
<table class="arc-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #7FDBFF; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">6</td></tr>
</table>
</div>
</div>
</div>
</div>
<div class="training-example">
<h4>🔍 Training Example 2:</h4>
<p>Total cells: 9, Failed: 8, Success rate: 11.1%</p>
<p>Failed cells (x,y,color): [(5, 7, 2), (6, 7, 2), (7, 7, 2), (5, 8, 2), (7, 8, 2), (5, 9, 2), (7, 9, 2), (6, 9, 2)]</p>
<div class="failed-cells-visualization">
<h4>🔴 Failed Cells Visualization</h4>
<h5>Status Grid (. = background, ✓ = success, ✗ = failed):</h5>
<table class="status-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #90EE90; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✓</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td><td style="background-color: #FFB6C1; color: #000; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">✗</td></tr>
</table>
<h5>Failed cells rendered:</h5>
<div style="display: flex; gap: 20px; flex-wrap: wrap;">
<div class="grid-container">
<h3>Failed Cells (Example 2) 8x10</h3>
<table class="arc-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr>
</table>
</div>
<div class="grid-container">
<h3>Successful Cells (Example 2) 7x9</h3>
<table class="arc-grid" style="border-collapse: collapse; margin: 10px;">
<tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</td></tr>
</table>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>
Raw
31aa019c_results.json
[
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 1,
"cell_y": 6,
"cell_color": 4,
"success": true,
"output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (and (set.member c_out in) (set.member (mk-cell (x c_out) (bvadd #b00001 (bvadd #b00001 (y c_out))) #b01000) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 7,
"cell_y": 2,
"cell_color": 6,
"success": true,
"output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (and (set.member c_out in) (set.member (mk-cell (x c_out) (bvsub #b00101 (bvadd #b00001 (y c_out))) #b00110) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 0,
"cell_y": 5,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 1,
"cell_y": 5,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 0,
"cell_y": 6,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 2,
"cell_y": 5,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 0,
"cell_y": 7,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 1,
"cell_y": 7,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 2,
"cell_y": 6,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 0,
"cell_x": 2,
"cell_y": 7,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 6,
"cell_y": 1,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 6,
"cell_y": 2,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 8,
"cell_y": 1,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 7,
"cell_y": 1,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 8,
"cell_y": 2,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 6,
"cell_y": 3,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 7,
"cell_y": 3,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 1,
"cell_x": 8,
"cell_y": 3,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 6,
"cell_y": 8,
"cell_color": 3,
"success": true,
"output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (and (set.member c_out in) (set.member (mk-cell (x c_out) (bvsub #b00001 (bvadd #b00001 (bvadd #b00001 (bvsub #b00101 (y c_out))))) #b00101) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 5,
"cell_y": 7,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 6,
"cell_y": 7,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 7,
"cell_y": 7,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 5,
"cell_y": 8,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 7,
"cell_y": 8,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 5,
"cell_y": 9,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 7,
"cell_y": 9,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "31aa019c",
"example_index": 2,
"cell_x": 6,
"cell_y": 9,
"cell_color": 2,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
}
]
Raw
31aa019c_summary.txt
Summary:
Total synthesis problems: 27
Successful solutions: 3
Success rate: 11.1%
Total time: 120.27 seconds
Task: 31aa019c
================================================================================
FAILED CELLS VISUALIZATION
================================================================================
📋 Task: 31aa019c
------------------------------------------------------------
🔍 Training Example 0:
Total cells: 9, Failed: 8, Success rate: 11.1%
Failed cells (x,y,color): [(0, 5, 2), (1, 5, 2), (0, 6, 2), (2, 5, 2), (0, 7, 2), (1, 7, 2), (2, 6, 2), (2, 7, 2)]
🔴 Failed Cells Visualization:
Status Grid (. = background, ✓ = success, ✗ = failed):
Row 0: . . .
Row 1: . . .
Row 2: . . .
Row 3: . . .
Row 4: . . .
Row 5: ✗ ✗ ✗
Row 6: ✗ ✓ ✗
Row 7: ✗ ✗ ✗
Failed cells rendered:
Failed Cells (Example 0) 3x8: Successful Cells (Example 0) 2x7:
x x
0 1 2 0 1
0     0   
1     1   
2     2   
3     y 3   
y 4     4   
5     5   
6     6   
7     0 1
0 1 2
🔍 Training Example 1:
Total cells: 9, Failed: 8, Success rate: 11.1%
Failed cells (x,y,color): [(6, 1, 2), (6, 2, 2), (8, 1, 2), (7, 1, 2), (8, 2, 2), (6, 3, 2), (7, 3, 2), (8, 3, 2)]
🔴 Failed Cells Visualization:
Status Grid (. = background, ✓ = success, ✗ = failed):
Row 0: . . . . . . . . .
Row 1: . . . . . . ✗ ✗ ✗
Row 2: . . . . . . ✗ ✓ ✗
Row 3: . . . . . . ✗ ✗ ✗
Failed cells rendered:
Failed Cells (Example 1) 9x4: Successful Cells (Example 1) 8x3:
x x
0 1 2 3 4 5 6 7 8 0 1 2 3 4 5 6 7
0           0         
1           y 1         
y 2           2         
3           0 1 2 3 4 5 6 7
0 1 2 3 4 5 6 7 8
🔍 Training Example 2:
Total cells: 9, Failed: 8, Success rate: 11.1%
Failed cells (x,y,color): [(5, 7, 2), (6, 7, 2), (7, 7, 2), (5, 8, 2), (7, 8, 2), (5, 9, 2), (7, 9, 2), (6, 9, 2)]
🔴 Failed Cells Visualization:
Status Grid (. = background, ✓ = success, ✗ = failed):
Row 0: . . . . . . . .
Row 1: . . . . . . . .
Row 2: . . . . . . . .
Row 3: . . . . . . . .
Row 4: . . . . . . . .
Row 5: . . . . . . . .
Row 6: . . . . . . . .
Row 7: . . . . . ✗ ✗ ✗
Row 8: . . . . . ✗ ✓ ✗
Row 9: . . . . . ✗ ✗ ✗
Failed cells rendered:
Failed Cells (Example 2) 8x10: Successful Cells (Example 2) 7x9:
x x
0 1 2 3 4 5 6 7 0 1 2 3 4 5 6
0          0        
1          1        
2          2        
3          3        
4          y 4        
y 5          5        
6          6        
7          7        
8          8        
9          0 1 2 3 4 5 6
0 1 2 3 4 5 6 7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment