We report here a computation giving the complete list of facets for the cut polytopes over several very symmetric graphs with 15-30 edges, includingMöbius ladder M 14 , dodecahedron, Heawood, and Petersen graphs. For K 8 , it shows that the huge list of facets of the cut polytope CUTP 8 and cut cone CUT 8 , given in the literature is complete. We also confirm the conjecture that any facet of CUTP 8 is adjacent to a triangle facet. The lists of facets for K 1,l,m with (l, m) = (4, 4), (3, 5), (3, 4) solve problems in the quantum information theory.