Bugs R3 (r3b14t18s14t23)
Navigation: Rules ⇒ ltl ⇒ r3b14t18s14t23
Please specify a symmetry type:
Official symmetries
- r3b14t18s14t23/C1 (14 million objects)
- r3b14t18s14t23/C4_4 (1674 thousand objects)
- r3b14t18s14t23/C2_4 (1642 thousand objects)
- r3b14t18s14t23/C2_2 (1629 thousand objects)
- r3b14t18s14t23/C2_1 (1625 thousand objects)
- r3b14t18s14t23/C4_1 (1512 thousand objects)
Last cache update: just now.
