Cohen-Macaulay binomial edge ideals of small graphs

A combinatorial property that characterizes Cohen-Macaulay binomial edge ideals has long been elusive. A recent conjecture ties the Cohen-Macaulayness of a binomial edge ideal $J_G$ to special disconnecting sets of vertices of its underlying graph $G$, called $\mathit{\text{cut}}\mathit{\text{sets}}$. More precisely, the conjecture states that $J_G$ is Cohen-Macaulay if and only if $J_G$ is unmixed and the collection of the cut sets of $G$ is an accessible set system. In this paper we prove the conjecture theoretically for all graphs with up to $12$ vertices and develop an algorithm that allows to computationally check the conjecture for all graphs with up to $15$ vertices and all blocks with whiskers where the block has at most $11$ vertices. This significantly extends previous computational results.