Created
June 30, 2025 16:55
-
-
Save santolucito/56ad161c7978d86e23df3fbdb1fe8f1f to your computer and use it in GitHub Desktop.
ARC-AGI Synthesis Results for 29ec7d0e - 2025-06-30 12:55:16
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 - 29ec7d0e</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: 29ec7d0e</h1> | |
| <div class="summary"> | |
| <h2>Summary</h2> | |
| <pre>Total synthesis problems: 240 | |
| Successful solutions: 208 | |
| Success rate: 86.7% | |
| Total time: 141.85 seconds | |
| Task: 29ec7d0e</pre> | |
| </div> | |
| <div class="failed-cells-analysis"> | |
| <h2>FAILED CELLS VISUALIZATION</h2> | |
| <h3>📋 Task: 29ec7d0e</h3> | |
| <div class="training-example"> | |
| <h4>🔍 Training Example 0:</h4> | |
| <p>Total cells: 240, Failed: 32, Success rate: 86.7%</p> | |
| <p>Failed cells (x,y,color): [(4, 0, 1), (3, 0, 1), (3, 1, 4), (4, 1, 5), (3, 2, 2), (4, 2, 4), (10, 2, 1), (11, 2, 3), (11, 3, 4), (10, 3, 1), (6, 4, 5), (7, 4, 4), (6, 5, 1), (7, 5, 1), (11, 5, 1), (12, 5, 1), (13, 5, 1), (11, 6, 2), (12, 6, 3), (13, 6, 4), (0, 10, 1), (1, 10, 1), (2, 10, 1), (3, 10, 1), (0, 11, 1), (1, 11, 2), (2, 11, 3), (3, 11, 4), (0, 12, 1), (1, 12, 3), (2, 12, 5), (3, 12, 2)]</p> | |
| <div class="failed-cells-visualization"> | |
| <h4>🔴 Failed Cells Visualization</h4> | |
| <h5>Status Grid (. = background, ✓ = success, ✗ = failed):</h5> | |
| <table class="status-grid" style="border-collapse: collapse; margin: 10px;"> | |
| <tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><th style="text-align: center; font-size: 10px; padding: 2px;">10</th><th style="text-align: center; font-size: 10px; padding: 2px;">11</th><th style="text-align: center; font-size: 10px; padding: 2px;">12</th><th style="text-align: center; font-size: 10px; padding: 2px;">13</th><th style="text-align: center; font-size: 10px; padding: 2px;">14</th><th style="text-align: center; font-size: 10px; padding: 2px;">15</th><th style="text-align: center; font-size: 10px; padding: 2px;">16</th><th style="text-align: center; font-size: 10px; padding: 2px;">17</th></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><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: #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: #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: #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: #90EE90; 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: #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: #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: #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: #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: #90EE90; 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: #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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><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: #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: #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><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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><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: #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: #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><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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">10</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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">11</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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">12</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: #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: #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: #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: #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></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">13</th><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: #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: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><td style="background-color: #f0f0f0; color: #666; width: 25px; height: 25px; text-align: center; border: 1px solid #ccc; font-size: 12px;">.</td><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> | |
| </table> | |
| <h5>Failed cells rendered:</h5> | |
| <div style="display: flex; gap: 20px; flex-wrap: wrap;"> | |
| <div class="grid-container"> | |
| <h3>Failed Cells (Example 0) 14x13</h3> | |
| <table class="arc-grid" style="border-collapse: collapse; margin: 10px;"> | |
| <tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><th style="text-align: center; font-size: 10px; padding: 2px;">10</th><th style="text-align: center; font-size: 10px; padding: 2px;">11</th><th style="text-align: center; font-size: 10px; padding: 2px;">12</th><th style="text-align: center; font-size: 10px; padding: 2px;">13</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: #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><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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: #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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #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: #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;">6</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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;">9</th><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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;">10</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: #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><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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;">11</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: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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;">12</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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) 18x14</h3> | |
| <table class="arc-grid" style="border-collapse: collapse; margin: 10px;"> | |
| <tr><th></th><th style="text-align: center; font-size: 10px; padding: 2px;">0</th><th style="text-align: center; font-size: 10px; padding: 2px;">1</th><th style="text-align: center; font-size: 10px; padding: 2px;">2</th><th style="text-align: center; font-size: 10px; padding: 2px;">3</th><th style="text-align: center; font-size: 10px; padding: 2px;">4</th><th style="text-align: center; font-size: 10px; padding: 2px;">5</th><th style="text-align: center; font-size: 10px; padding: 2px;">6</th><th style="text-align: center; font-size: 10px; padding: 2px;">7</th><th style="text-align: center; font-size: 10px; padding: 2px;">8</th><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><th style="text-align: center; font-size: 10px; padding: 2px;">10</th><th style="text-align: center; font-size: 10px; padding: 2px;">11</th><th style="text-align: center; font-size: 10px; padding: 2px;">12</th><th style="text-align: center; font-size: 10px; padding: 2px;">13</th><th style="text-align: center; font-size: 10px; padding: 2px;">14</th><th style="text-align: center; font-size: 10px; padding: 2px;">15</th><th style="text-align: center; font-size: 10px; padding: 2px;">16</th><th style="text-align: center; font-size: 10px; padding: 2px;">17</th></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">0</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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #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: #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: #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: #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;">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: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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><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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">3</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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;">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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #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: #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: #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: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-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: #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: #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: #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;">6</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: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</td></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">7</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">8</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #FF4136; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">2</td></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">9</th><td style="background-color: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</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: #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;">10</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: #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: #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: #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: #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: #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;">11</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: #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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</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: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</td></tr> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">12</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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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: #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: #0074D9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">1</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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> | |
| <tr><th style="text-align: center; font-size: 10px; padding: 2px;">13</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: #FFDC00; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">4</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: #B10DC9; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">5</td><td style="background-color: #2ECC40; color: #000000; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">3</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><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</td><td style="background-color: #000000; color: #FFFFFF; width: 20px; height: 20px; text-align: center; border: 1px solid #ccc; font-size: 10px;">0</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> | |
| </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": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 1, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 1, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 1, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 1, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 1, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 1, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 1, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 1, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 1, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 1, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 1, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 2, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 2, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 2, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 2, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 2, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 2, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 2, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 2, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 2, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 2, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 2, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 3, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 2, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "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 (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 3, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 3, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 3, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 3, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 3, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 3, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 3, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 3, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 3, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 3, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 3, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 3, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 3, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 3, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 4, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 4, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "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 (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 4, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 4, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 4, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 4, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 4, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 4, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 4, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 4, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 4, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 4, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 0, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 1, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 1, | |
| "cell_color": 5, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 2, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 2, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 2, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 6, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 2, | |
| "cell_color": 3, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 6, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 6, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 6, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 6, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 6, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 6, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 6, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 6, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 6, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 6, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 6, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 3, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 6, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 3, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 6, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 6, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 7, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 7, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 7, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 7, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 7, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 7, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 7, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 7, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 7, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 4, | |
| "cell_color": 5, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 7, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 7, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 4, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 7, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 7, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 7, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 7, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 7, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 7, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 7, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 8, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 8, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 8, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 8, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 8, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 8, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 8, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 8, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 8, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 8, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 8, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 8, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 8, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 8, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 8, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 8, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 8, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 8, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 9, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 9, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 9, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 9, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 9, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 9, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 9, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 9, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 9, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 9, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 9, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 9, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 9, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 9, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 9, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 9, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 9, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 9, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 11, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 11, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 11, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 11, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 11, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 11, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 11, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 11, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 11, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 11, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 11, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 11, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 11, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 11, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 5, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 12, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 12, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 6, | |
| "cell_y": 12, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 6, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 7, | |
| "cell_y": 12, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 6, | |
| "cell_color": 3, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 6, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 8, | |
| "cell_y": 12, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 11, | |
| "cell_y": 12, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 9, | |
| "cell_y": 12, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 10, | |
| "cell_y": 12, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 12, | |
| "cell_y": 12, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 13, | |
| "cell_y": 12, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 15, | |
| "cell_y": 12, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 14, | |
| "cell_y": 12, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 16, | |
| "cell_y": 12, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 17, | |
| "cell_y": 12, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 13, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 13, | |
| "cell_color": 4, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 13, | |
| "cell_color": 2, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 13, | |
| "cell_color": 5, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 4, | |
| "cell_y": 13, | |
| "cell_color": 3, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 5, | |
| "cell_y": 13, | |
| "cell_color": 1, | |
| "success": true, | |
| "output": "(\n(define-fun p ((in (Set cell)) (c_out cell)) Bool (set.member c_out in))\n)\n", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 10, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 11, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 11, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 11, | |
| "cell_color": 3, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 11, | |
| "cell_color": 4, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 0, | |
| "cell_y": 12, | |
| "cell_color": 1, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 1, | |
| "cell_y": 12, | |
| "cell_color": 3, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 2, | |
| "cell_y": 12, | |
| "cell_color": 5, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| }, | |
| { | |
| "task": "29ec7d0e", | |
| "example_index": 0, | |
| "cell_x": 3, | |
| "cell_y": 12, | |
| "cell_color": 2, | |
| "success": false, | |
| "output": "TIMEOUT", | |
| "num_training_examples": 4 | |
| } | |
| ] |
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: 240 | |
| Successful solutions: 208 | |
| Success rate: 86.7% | |
| Total time: 141.85 seconds | |
| Task: 29ec7d0e | |
| ================================================================================ | |
| FAILED CELLS VISUALIZATION | |
| ================================================================================ | |
| 📋 Task: 29ec7d0e | |
| ------------------------------------------------------------ | |
| 🔍 Training Example 0: | |
| Total cells: 240, Failed: 32, Success rate: 86.7% | |
| Failed cells (x,y,color): [(4, 0, 1), (3, 0, 1), (3, 1, 4), (4, 1, 5), (3, 2, 2), (4, 2, 4), (10, 2, 1), (11, 2, 3), (11, 3, 4), (10, 3, 1), (6, 4, 5), (7, 4, 4), (6, 5, 1), (7, 5, 1), (11, 5, 1), (12, 5, 1), (13, 5, 1), (11, 6, 2), (12, 6, 3), (13, 6, 4), (0, 10, 1), (1, 10, 1), (2, 10, 1), (3, 10, 1), (0, 11, 1), (1, 11, 2), (2, 11, 3), (3, 11, 4), (0, 12, 1), (1, 12, 3), (2, 12, 5), (3, 12, 2)] | |
| 🔴 Failed Cells Visualization: | |
| Status Grid (. = background, ✓ = success, ✗ = failed): | |
| Row 0: ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 1: ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 2: ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 3: ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 4: ✓ ✓ ✓ ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 5: ✓ ✓ ✓ ✓ ✓ ✓ ✗ ✗ ✓ ✓ ✓ ✗ ✗ ✗ ✓ ✓ ✓ ✓ | |
| Row 6: ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✗ ✗ ✗ ✓ ✓ ✓ ✓ | |
| Row 7: ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 8: ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 9: ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 10: ✗ ✗ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 11: ✗ ✗ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 12: ✗ ✗ ✗ ✗ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ | |
| Row 13: ✓ ✓ ✓ ✓ ✓ ✓ . . . . . . . . . . . . | |
| Failed cells rendered: | |
| Failed Cells (Example 0) 14x13: Successful Cells (Example 0) 18x14: | |
| x x | |
| 0 1 2 3 4 5 6 7 8 910111213 0 1 2 3 4 5 6 7 8 91011121314151617 | |
| 0 [40m [0m[40m [0m[40m [0m[44m [0m[44m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 0 [44m [0m[44m [0m[44m [0m[40m [0m[40m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m | |
| 1 [40m [0m[40m [0m[40m [0m[43m [0m[45m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 1 [44m [0m[41m [0m[42m [0m[40m [0m[40m [0m[44m [0m[41m [0m[42m [0m[43m [0m[45m [0m[44m [0m[41m [0m[42m [0m[43m [0m[45m [0m[44m [0m[41m [0m[42m [0m | |
| 2 [40m [0m[40m [0m[40m [0m[41m [0m[43m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[44m [0m[42m [0m[40m [0m[40m [0m 2 [44m [0m[42m [0m[45m [0m[40m [0m[40m [0m[44m [0m[42m [0m[45m [0m[41m [0m[43m [0m[40m [0m[40m [0m[45m [0m[41m [0m[43m [0m[44m [0m[42m [0m[45m [0m | |
| 3 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[44m [0m[43m [0m[40m [0m[40m [0m 3 [44m [0m[43m [0m[41m [0m[45m [0m[42m [0m[44m [0m[43m [0m[41m [0m[45m [0m[42m [0m[40m [0m[40m [0m[41m [0m[45m [0m[42m [0m[44m [0m[43m [0m[41m [0m | |
| 4 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[45m [0m[43m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 4 [44m [0m[45m [0m[43m [0m[42m [0m[41m [0m[44m [0m[40m [0m[40m [0m[42m [0m[41m [0m[44m [0m[45m [0m[43m [0m[42m [0m[41m [0m[44m [0m[45m [0m[43m [0m | |
| 5 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[44m [0m[44m [0m[40m [0m[40m [0m[40m [0m[44m [0m[44m [0m[44m [0m 5 [44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[40m [0m[40m [0m[44m [0m[44m [0m[44m [0m[40m [0m[40m [0m[40m [0m[44m [0m[44m [0m[44m [0m[44m [0m | |
| y 6 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[41m [0m[42m [0m[43m [0m 6 [44m [0m[41m [0m[42m [0m[43m [0m[45m [0m[44m [0m[41m [0m[42m [0m[43m [0m[45m [0m[44m [0m[40m [0m[40m [0m[40m [0m[45m [0m[44m [0m[41m [0m[42m [0m | |
| 7 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m y 7 [44m [0m[42m [0m[45m [0m[41m [0m[43m [0m[44m [0m[42m [0m[45m [0m[41m [0m[43m [0m[44m [0m[42m [0m[45m [0m[41m [0m[43m [0m[44m [0m[42m [0m[45m [0m | |
| 8 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 8 [44m [0m[43m [0m[41m [0m[45m [0m[42m [0m[44m [0m[43m [0m[41m [0m[45m [0m[42m [0m[44m [0m[43m [0m[41m [0m[45m [0m[42m [0m[44m [0m[43m [0m[41m [0m | |
| 9 [40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 9 [44m [0m[45m [0m[43m [0m[42m [0m[41m [0m[44m [0m[45m [0m[43m [0m[42m [0m[41m [0m[44m [0m[45m [0m[43m [0m[42m [0m[41m [0m[44m [0m[45m [0m[43m [0m | |
| 10 [44m [0m[44m [0m[44m [0m[44m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 10 [40m [0m[40m [0m[40m [0m[40m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m[44m [0m | |
| 11 [44m [0m[41m [0m[42m [0m[43m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 11 [40m [0m[40m [0m[40m [0m[40m [0m[45m [0m[44m [0m[41m [0m[42m [0m[43m [0m[45m [0m[44m [0m[41m [0m[42m [0m[43m [0m[45m [0m[44m [0m[41m [0m[42m [0m | |
| 12 [44m [0m[42m [0m[45m [0m[41m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m 12 [40m [0m[40m [0m[40m [0m[40m [0m[43m [0m[44m [0m[42m [0m[45m [0m[41m [0m[43m [0m[44m [0m[42m [0m[45m [0m[41m [0m[43m [0m[44m [0m[42m [0m[45m [0m | |
| 0 1 2 3 4 5 6 7 8 910111213 13 [44m [0m[43m [0m[41m [0m[45m [0m[42m [0m[44m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m[40m [0m | |
| 0 1 2 3 4 5 6 7 8 91011121314151617 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment