Synonyms that are in the dictionary are marked in green. Synonyms that are not in the dictionary are marked in red.
Antonyms that are in the dictionary are marked in green. Antonyms that are not in the dictionary are marked in red.
They also employed a technique Heule had developed in previous work called cube and conquer, which allowed them to test more combinations in parallel with each other.
Source: https://www.wired.com/story/a-computer-assisted-proof-solves-the-packing-coloring-problem/