Created
June 30, 2025 16:36
-
-
Save santolucito/fe1f8b2a0a0aa991d03861ea8cf3af11 to your computer and use it in GitHub Desktop.
ARC-AGI Synthesis Results for 7c008303 - 2025-06-30 12:36:45
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
| <title>Synthesis Results - 7c008303</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: 7c008303</h1> | |
| <div class="summary"> | |
| <h2>Summary</h2> | |
| <pre>Total synthesis problems: 50 | |
| Successful solutions: 2 | |
| Success rate: 4.0% | |
| Total time: 223.89 seconds | |
| Task: 7c008303</pre> | |
| </div> | |
| <div class="failed-cells-analysis"> | |
| <h2>FAILED CELLS VISUALIZATION</h2> | |
| <h3>📋 Task: 7c008303</h3> | |
| <div class="training-example"> | |
| <h4>🔍 Training Example 0:</h4> | |
| <p>Total cells: 20, Failed: 20, Success rate: 0.0%</p> | |
| <p>Failed cells (x,y,color): [(1, 0, 2), (4, 0, 4), (0, 1, 2), (1, 1, 2), (3, 1, 4), (4, 1, 4), (5, 1, 4), (2, 1, 2), (1, 2, 2), (4, 2, 4), (4, 3, 6), (1, 3, 1), (1, 4, 1), (0, 4, 1), (2, 4, 1), (3, 4, 6), (1, 5, 1), (4, 4, 6), (5, 4, 6), (4, 5, 6)]</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: #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><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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">1</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: #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: #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><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></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: #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><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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</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: #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: #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><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></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) 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: #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: #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;">1</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><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;">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: #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: #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;">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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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><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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #7FDBFF; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">6</td><td style="background-color: #7FDBFF; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">6</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> | |
| <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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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><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)</h3><p>No cells found</p></div> | |
| </div> | |
| </div> | |
| </div> | |
| <div class="training-example"> | |
| <h4>🔍 Training Example 1:</h4> | |
| <p>Total cells: 17, Failed: 17, Success rate: 0.0%</p> | |
| <p>Failed cells (x,y,color): [(1, 1, 1), (0, 2, 1), (1, 2, 1), (0, 1, 1), (3, 0, 2), (5, 0, 2), (2, 0, 1), (5, 2, 2), (3, 2, 2), (4, 3, 1), (0, 4, 4), (1, 4, 4), (2, 4, 4), (4, 4, 1), (3, 4, 1), (5, 4, 1), (4, 5, 1)]</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: #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;">1</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: #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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</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: #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: #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 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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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;">1</th><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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 1)</h3><p>No cells found</p></div> | |
| </div> | |
| </div> | |
| </div> | |
| <div class="training-example"> | |
| <h4>🔍 Training Example 2:</h4> | |
| <p>Total cells: 13, Failed: 11, Success rate: 15.4%</p> | |
| <p>Failed cells (x,y,color): [(5, 0, 4), (5, 1, 4), (2, 0, 2), (0, 2, 2), (1, 2, 2), (2, 1, 2), (3, 2, 4), (4, 2, 4), (4, 3, 5), (3, 4, 5), (5, 5, 5)]</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: #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></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: #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></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: #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></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: #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></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: #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: #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: #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><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></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) 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: #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: #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> | |
| <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: #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: #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> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">2</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: #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: #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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td></tr> | |
| </table> | |
| </div> | |
| <div class="grid-container"> | |
| <h3>Successful Cells (Example 2) 2x6</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: #7FDBFF; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">6</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: #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> | |
| </div> | |
| </body> | |
| </html> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [ | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 0, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 0, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 2, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 3, | |
| "cell_color": 6, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 3, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 4, | |
| "cell_color": 6, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 4, | |
| "cell_color": 6, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 4, | |
| "cell_color": 6, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 1, | |
| "cell_y": 1, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 0, | |
| "cell_y": 2, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 5, | |
| "cell_color": 6, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 1, | |
| "cell_y": 2, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 0, | |
| "cell_y": 1, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 3, | |
| "cell_y": 0, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 5, | |
| "cell_y": 0, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 2, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 5, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 3, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 4, | |
| "cell_y": 3, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 0, | |
| "cell_y": 4, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 1, | |
| "cell_y": 4, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 1, | |
| "cell_y": 4, | |
| "cell_color": 6, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (and (= #b00110 (color c_out)) (set.member (mk-cell (x c_out) (bvsub #b00101 (bvsub #b00001 (y c_out))) #b00101) in)))\n)\n", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 1, | |
| "cell_y": 5, | |
| "cell_color": 6, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (and (= #b00110 (color c_out)) (set.member (mk-cell (x c_out) (bvadd #b00001 (bvadd #b00001 (bvadd #b00001 (y c_out)))) #b00101) in)))\n)\n", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 2, | |
| "cell_y": 4, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 4, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 3, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 5, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 5, | |
| "cell_y": 0, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 5, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 1, | |
| "cell_x": 4, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 2, | |
| "cell_y": 0, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 0, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 1, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 2, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 3, | |
| "cell_y": 2, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 4, | |
| "cell_y": 2, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 4, | |
| "cell_y": 3, | |
| "cell_color": 5, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 3, | |
| "cell_y": 4, | |
| "cell_color": 5, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| }, | |
| { | |
| "task": "7c008303", | |
| "example_index": 2, | |
| "cell_x": 5, | |
| "cell_y": 5, | |
| "cell_color": 5, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 3 | |
| } | |
| ] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Summary: | |
| Total synthesis problems: 50 | |
| Successful solutions: 2 | |
| Success rate: 4.0% | |
| Total time: 223.89 seconds | |
| Task: 7c008303 | |
| ================================================================================ | |
| FAILED CELLS VISUALIZATION | |
| ================================================================================ | |
| 📋 Task: 7c008303 | |
| ------------------------------------------------------------ | |
| 🔍 Training Example 0: | |
| Total cells: 20, Failed: 20, Success rate: 0.0% | |
| Failed cells (x,y,color): [(1, 0, 2), (4, 0, 4), (0, 1, 2), (1, 1, 2), (3, 1, 4), (4, 1, 4), (5, 1, 4), (2, 1, 2), (1, 2, 2), (4, 2, 4), (4, 3, 6), (1, 3, 1), (1, 4, 1), (0, 4, 1), (2, 4, 1), (3, 4, 6), (1, 5, 1), (4, 4, 6), (5, 4, 6), (4, 5, 6)] | |
| 🔴 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) 6x6: Successful Cells (Example 0): | |
| x No cells found | |
| 0 1 2 3 4 5 | |
| 0 [40m [0m[41m [0m[40m [0m[40m [0m[43m [0m[40m [0m | |
| 1 [41m [0m[41m [0m[41m [0m[43m [0m[43m [0m[43m [0m | |
| 2 [40m [0m[41m [0m[40m [0m[40m [0m[43m [0m[40m [0m | |
| y 3 [40m [0m[44m [0m[40m [0m[40m [0m[46m [0m[40m [0m | |
| 4 [44m [0m[44m [0m[44m [0m[46m [0m[46m [0m[46m [0m | |
| 5 [40m [0m[44m [0m[40m [0m[40m [0m[46m [0m[40m [0m | |
| 0 1 2 3 4 5 | |
| 🔍 Training Example 1: | |
| Total cells: 17, Failed: 17, Success rate: 0.0% | |
| Failed cells (x,y,color): [(1, 1, 1), (0, 2, 1), (1, 2, 1), (0, 1, 1), (3, 0, 2), (5, 0, 2), (2, 0, 1), (5, 2, 2), (3, 2, 2), (4, 3, 1), (0, 4, 4), (1, 4, 4), (2, 4, 4), (4, 4, 1), (3, 4, 1), (5, 4, 1), (4, 5, 1)] | |
| 🔴 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): | |
| x No cells found | |
| 0 1 2 3 4 5 | |
| 0 [40m [0m[40m [0m[44m [0m[41m [0m[40m [0m[41m [0m | |
| 1 [44m [0m[44m [0m[40m [0m[40m [0m[40m [0m[40m [0m | |
| 2 [44m [0m[44m [0m[40m [0m[41m [0m[40m [0m[41m [0m | |
| y 3 [40m [0m[40m [0m[40m [0m[40m [0m[44m [0m[40m [0m | |
| 4 [43m [0m[43m [0m[43m [0m[44m [0m[44m [0m[44m [0m | |
| 5 [40m [0m[40m [0m[40m [0m[40m [0m[44m [0m[40m [0m | |
| 0 1 2 3 4 5 | |
| 🔍 Training Example 2: | |
| Total cells: 13, Failed: 11, Success rate: 15.4% | |
| Failed cells (x,y,color): [(5, 0, 4), (5, 1, 4), (2, 0, 2), (0, 2, 2), (1, 2, 2), (2, 1, 2), (3, 2, 4), (4, 2, 4), (4, 3, 5), (3, 4, 5), (5, 5, 5)] | |
| 🔴 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 2) 6x6: Successful Cells (Example 2) 2x6: | |
| x x | |
| 0 1 2 3 4 5 0 1 | |
| 0 [40m [0m[40m [0m[41m [0m[40m [0m[40m [0m[43m [0m 0 [40m [0m[40m [0m | |
| 1 [40m [0m[40m [0m[41m [0m[40m [0m[40m [0m[43m [0m 1 [40m [0m[40m [0m | |
| 2 [41m [0m[41m [0m[40m [0m[43m [0m[43m [0m[40m [0m 2 [40m [0m[40m [0m | |
| y 3 [40m [0m[40m [0m[40m [0m[40m [0m[45m [0m[40m [0m y 3 [40m [0m[40m [0m | |
| 4 [40m [0m[40m [0m[40m [0m[45m [0m[40m [0m[40m [0m 4 [40m [0m[46m [0m | |
| 5 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[45m [0m 5 [40m [0m[46m [0m | |
| 0 1 2 3 4 5 0 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment