Size 8

0 isomorphism classes.

No magmas of this size are in the database yet.

Commentary

No magma of size 8 satisfies Equation 677. Jose Brox confirmed this with an exhaustive Mace4 search taking 41 minutes (reported on the Zulip thread, Dec 7, 2024; configuration: selection_order 2, selection_measure 3, skolems_last). [text written by Claude]

last edited by dwrensha at 2026-05-15 16:53:02 · history