valid random instances: 19035, failures: 0
  r=1  max #Z-vertices adjacent to K observed = 0   (bound 0)
  r=2  max #Z-vertices adjacent to K observed = 2   (bound 8)
  r=3  max #Z-vertices adjacent to K observed = 4   (bound 15)
  r=4  max #Z-vertices adjacent to K observed = 6   (bound 22)
  r=5  max #Z-vertices adjacent to K observed = 8   (bound 29)
  r=6  max #Z-vertices adjacent to K observed = 8   (bound 36)
