Speed improvement to clique splitting by partial vectorization