Triangle CBMC on SplitClub