r2b4t4s8t10
Navigation: Rules ⇒ ltl ⇒ r2b4t4s8t10
Please specify a symmetry type:
Official symmetries
- r2b4t4s8t10/D8_4 (6574 thousand objects)
- r2b4t4s8t10/C1 (5375 thousand objects)
- r2b4t4s8t10/D8_1 (2162 thousand objects)
Last cache update: just now.
