Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
L1- torus rows (L1 % 3 == 0: plaquette 3-colorability)
L2- torus columns (L2 % 3 == 0: plaquette 3-colorability)
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| L3x3 | n=18 verified | k=2 verified | d=? |
| L6x6 | n=72 verified | k=2 verified | d=? |