Does fe70 tile a rectangle?
fe70 is the 10-cell polyomino B(1.2^3.1^3) shown here, the last open case of Dahlke's gun theorem. This is a volunteer search for a rectangle it tiles; each square on the map is one rectangle size, checked by a complete computer search.
Join the search
Download version 0.8.0, enter a name and press Start. It uses only the RAM and CPU you allow, and can be paused any time.
Rectangle sizes
- Impossible240
- Timed out11
- Running now2
- Not searched yet533
Height H goes up, width W across; only W ≤ H is shown, and darker green means a longer search. Sizes with a side below 135 or equal to 136 are ruled out by exact strip computations; sizes failing the coloring conditions (20 divides W x H, and an odd side needs 8 to divide the other) cannot be tiled and are not drawn.
Latest pictures
When a border can be filled, the search goes deeper; these are the deepest fillings volunteers found, colored by piece orientation.
border 22 filled; border 24 impossible
by Drakou111
border 20 filled; border 22 impossible
by Drakou111
Running now
| Size | Volunteer | Order | Started |
|---|---|---|---|
| 175 x 208 | Drakou111 | retry | 4 h ago |
| 185 x 200 | zach | retry | 28 min ago |
Leaderboard
| # | Name | Settled | Timed out | Hours |
|---|---|---|---|---|
| 1 | Drakou111 | 228 | 22 | 298 |
| 2 | zach | 15 | 0 | 36 |
Recent results
| Size | Result | Volunteer | Search | When |
|---|---|---|---|---|
| 176 x 210 | impossible | zach | 3.0 h | 28 min ago |
| 144 x 205 | impossible | zach | 2.6 h | 3 h ago |
| 176 x 205 | impossible | Drakou111 | 3.0 h | 4 h ago |
| 168 x 195 | impossible | zach | 4.7 h | 6 h ago |
| 170 x 196 | impossible | Drakou111 | 1.5 h | 7 h ago |
| 168 x 175 | impossible | Drakou111 | 2.7 h | 8 h ago |
| 135 x 208 | impossible | zach | 3.4 h | 11 h ago |
| 135 x 216 | impossible | Drakou111 | 2.6 h | 11 h ago |
| 135 x 184 | impossible | Drakou111 | 40 min | 14 h ago |
| 160 x 184 | impossible | Drakou111 | 1.5 h | 15 h ago |
| 150 x 196 | impossible | Drakou111 | 1.2 h | 16 h ago |
| 147 x 200 | impossible | Drakou111 | 1.4 h | 17 h ago |
| 160 x 183 | impossible | Drakou111 | 2.1 h | 17 h ago |
| 135 x 216 | timed out | Drakou111 | 3.6 h | 17 h ago |
| 185 x 200 | timed out | Drakou111 | 3.5 h | 17 h ago |