GPU campaign using the DSC-2/DSC-3 solver ensemble. Results: R(5,5) floor = 137 violations (14 basins); R(6,6) > 102; R(7,7) > 197; R(8,8) > 281 (Paley proof); R(10,10) > 797 (Paley proof). Verified via exhaustive clique enumeration.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
GPU campaign using the DSC-2/DSC-3 solver ensemble. Results: R(5,5) floor = 137 violations (14 basins); R(6,6) > 102; R(7,7) > 197; R(8,8) > 281 (Paley proof); R(10,10) > 797 (Paley proof). Verified via exhaustive clique enumeration.