Skip to content

Instantly share code, notes, and snippets.

@santolucito

santolucito/f25fbde4_report.html

Created June 30, 2025 17:02
Show Gist options
  • Save santolucito/fca9e1017c65082e57497eb66dcb7f8e to your computer and use it in GitHub Desktop.
Save santolucito/fca9e1017c65082e57497eb66dcb7f8e to your computer and use it in GitHub Desktop.
Download ZIP
ARC-AGI Synthesis Results for f25fbde4 - 2025-06-30 13:02:20
Raw
f25fbde4_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 - f25fbde4</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: f25fbde4</h1>
<div class="summary">
<h2>Summary</h2>
<pre>Total synthesis problems: 72
Successful solutions: 14
Success rate: 19.4%
Total time: 241.33 seconds
Task: f25fbde4</pre>
</div>
<div class="failed-cells-analysis">
<h2>FAILED CELLS VISUALIZATION</h2>
<h3>📋 Task: f25fbde4</h3>
<div class="training-example">
<h4>🔍 Training Example 0:</h4>
<p>Total cells: 32, Failed: 24, Success rate: 25.0%</p>
<p>Failed cells (x,y,color): [(4, 0, 4), (3, 0, 4), (2, 0, 4), (3, 1, 4), (5, 0, 4), (2, 1, 4), (5, 1, 4), (4, 1, 4), (0, 2, 4), (1, 2, 4), (4, 2, 4), (6, 2, 4), (5, 2, 4), (7, 2, 4), (0, 3, 4), (5, 3, 4), (5, 4, 4), (7, 3, 4), (4, 4, 4), (6, 3, 4), (3, 5, 4), (2, 5, 4), (4, 5, 4), (5, 5, 4)]</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: #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><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: #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: #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><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: #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: #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: #90EE90; 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><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;">3</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: #90EE90; 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: #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><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;">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: #90EE90; 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><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: #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: #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><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: #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>
</table>
<h5>Failed cells rendered:</h5>
<div style="display: flex; gap: 20px; flex-wrap: wrap;">
<div class="grid-container">
<h3>Failed Cells (Example 0) 8x6</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
<tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
<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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
</table>
</div>
<div class="grid-container">
<h3>Successful Cells (Example 0) 5x5</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></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></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></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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
<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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
</table>
</div>
</div>
</div>
</div>
<div class="training-example">
<h4>🔍 Training Example 1:</h4>
<p>Total cells: 16, Failed: 15, Success rate: 6.2%</p>
<p>Failed cells (x,y,color): [(2, 0, 4), (2, 1, 4), (3, 0, 4), (3, 1, 4), (0, 2, 4), (1, 2, 4), (2, 2, 4), (0, 3, 4), (1, 3, 4), (2, 3, 4), (4, 4, 4), (3, 3, 4), (4, 5, 4), (5, 4, 4), (5, 5, 4)]</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></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: #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: #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: #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: #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: #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><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: #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: #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><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: #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: #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;">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: #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) 6x6</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></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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
<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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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 class="grid-container">
<h3>Successful Cells (Example 1) 4x3</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></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></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></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: #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 2:</h4>
<p>Total cells: 24, Failed: 19, Success rate: 20.8%</p>
<p>Failed cells (x,y,color): [(2, 0, 4), (3, 0, 4), (0, 2, 4), (3, 1, 4), (2, 1, 4), (1, 2, 4), (2, 2, 4), (3, 2, 4), (0, 3, 4), (1, 3, 4), (2, 3, 4), (3, 3, 4), (3, 5, 4), (3, 4, 4), (3, 6, 4), (4, 6, 4), (5, 6, 4), (4, 7, 4), (5, 7, 4)]</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></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: #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: #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: #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: #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: #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><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: #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: #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><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: #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: #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><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: #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><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: #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><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;">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: #90EE90; 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><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) 6x8</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></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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
<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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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 class="grid-container">
<h3>Successful Cells (Example 2) 4x8</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></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></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></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></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></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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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>
</div>
</body>
</html>
Raw
f25fbde4_results.json
[
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 3,
"cell_y": 2,
"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) (bvsub #b00101 (y c_out)) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 2,
"cell_y": 2,
"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) (bvsub #b00101 (y c_out)) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 1,
"cell_y": 3,
"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 (bvadd #b00001 (bvadd #b00001 (x c_out))) (y c_out) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 2,
"cell_y": 3,
"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) (bvsub #b00101 (y c_out)) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 3,
"cell_y": 3,
"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) (bvsub #b00101 (y c_out)) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 4,
"cell_y": 3,
"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 (bvsub #b00001 (bvadd #b00001 (bvadd #b00001 (bvsub #b00001 (x c_out))))) (y c_out) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 4,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 3,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 2,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 3,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 5,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 2,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 5,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 4,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 0,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 1,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 4,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 6,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 5,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 7,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 0,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 2,
"cell_y": 4,
"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 (bvsub #b00101 (y c_out)))) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 3,
"cell_y": 4,
"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 (bvsub #b00101 (y c_out)))) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 5,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 3,
"cell_y": 2,
"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 (bvadd #b00001 (bvadd #b00001 (x c_out))) (bvadd #b00001 (y c_out)) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 5,
"cell_y": 4,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 7,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 4,
"cell_y": 4,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 6,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 3,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 2,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 4,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 2,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 0,
"cell_x": 5,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 2,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 3,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 3,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 0,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 1,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 2,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 0,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 1,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 2,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 4,
"cell_y": 4,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 3,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 4,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 5,
"cell_y": 4,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 1,
"cell_x": 5,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 0,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 0,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 1,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 1,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 5,
"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))) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 4,
"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))) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 7,
"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) (bvsub #b00001 (bvsub #b00101 (bvadd #b00001 (y c_out)))) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 6,
"cell_color": 4,
"success": true,
"output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (let ((_let_1 (x c_out))) (and (set.member c_out in) (= _let_1 (bvadd #b00001 (bvadd #b00001 (bvadd #b00001 (bvsub #b00001 _let_1))))))))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 2,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 7,
"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 (bvadd #b00001 (bvadd #b00001 (bvadd #b00001 (bvadd #b00001 (bvsub #b00001 (x c_out)))))) (y c_out) #b00100) in)))\n)\n",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 0,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 1,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 2,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 3,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 5,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 4,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 3,
"cell_y": 6,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 4,
"cell_y": 6,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 5,
"cell_y": 6,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 4,
"cell_y": 7,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
},
{
"task": "f25fbde4",
"example_index": 2,
"cell_x": 5,
"cell_y": 7,
"cell_color": 4,
"success": false,
"output": "TIMEOUT",
"num_training_examples": 3
}
]
Raw
f25fbde4_summary.txt
Summary:
Total synthesis problems: 72
Successful solutions: 14
Success rate: 19.4%
Total time: 241.33 seconds
Task: f25fbde4
================================================================================
FAILED CELLS VISUALIZATION
================================================================================
📋 Task: f25fbde4
------------------------------------------------------------
🔍 Training Example 0:
Total cells: 32, Failed: 24, Success rate: 25.0%
Failed cells (x,y,color): [(4, 0, 4), (3, 0, 4), (2, 0, 4), (3, 1, 4), (5, 0, 4), (2, 1, 4), (5, 1, 4), (4, 1, 4), (0, 2, 4), (1, 2, 4), (4, 2, 4), (6, 2, 4), (5, 2, 4), (7, 2, 4), (0, 3, 4), (5, 3, 4), (5, 4, 4), (7, 3, 4), (4, 4, 4), (6, 3, 4), (3, 5, 4), (2, 5, 4), (4, 5, 4), (5, 5, 4)]
🔴 Failed Cells Visualization:
Status Grid (. = background, ✓ = success, ✗ = failed):
Row 0: . . ✗ ✗ ✗ ✗ . .
Row 1: . . ✗ ✗ ✗ ✗ . .
Row 2: ✗ ✗ ✓ ✓ ✗ ✗ ✗ ✗
Row 3: ✗ ✓ ✓ ✓ ✓ ✗ ✗ ✗
Row 4: . . ✓ ✓ ✗ ✗ . .
Row 5: . . ✗ ✗ ✗ ✗ . .
Failed cells rendered:
Failed Cells (Example 0) 8x6: Successful Cells (Example 0) 5x5:
x x
0 1 2 3 4 5 6 7 0 1 2 3 4
0          0      
1          1      
2          y 2      
y 3          3      
4          4      
5          0 1 2 3 4
0 1 2 3 4 5 6 7
🔍 Training Example 1:
Total cells: 16, Failed: 15, Success rate: 6.2%
Failed cells (x,y,color): [(2, 0, 4), (2, 1, 4), (3, 0, 4), (3, 1, 4), (0, 2, 4), (1, 2, 4), (2, 2, 4), (0, 3, 4), (1, 3, 4), (2, 3, 4), (4, 4, 4), (3, 3, 4), (4, 5, 4), (5, 4, 4), (5, 5, 4)]
🔴 Failed Cells Visualization:
Status Grid (. = background, ✓ = success, ✗ = failed):
Row 0: . . ✗ ✗ . .
Row 1: . . ✗ ✗ . .
Row 2: ✗ ✗ ✗ ✓ . .
Row 3: ✗ ✗ ✗ ✗ . .
Row 4: . . . . ✗ ✗
Row 5: . . . . ✗ ✗
Failed cells rendered:
Failed Cells (Example 1) 6x6: Successful Cells (Example 1) 4x3:
x x
0 1 2 3 4 5 0 1 2 3
0        0     
1        y 1     
2        2     
y 3        0 1 2 3
4       
5       
0 1 2 3 4 5
🔍 Training Example 2:
Total cells: 24, Failed: 19, Success rate: 20.8%
Failed cells (x,y,color): [(2, 0, 4), (3, 0, 4), (0, 2, 4), (3, 1, 4), (2, 1, 4), (1, 2, 4), (2, 2, 4), (3, 2, 4), (0, 3, 4), (1, 3, 4), (2, 3, 4), (3, 3, 4), (3, 5, 4), (3, 4, 4), (3, 6, 4), (4, 6, 4), (5, 6, 4), (4, 7, 4), (5, 7, 4)]
🔴 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 2) 6x8: Successful Cells (Example 2) 4x8:
x x
0 1 2 3 4 5 0 1 2 3
0        0     
1        1     
2        2     
3        3     
y 4        y 4     
5        5     
6        6     
7        7     
0 1 2 3 4 5 0 1 2 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment