stage_unit_prime (|D|<=5): Gamma' instances with K=3|D|+1: 222, failures=0
  K=1: instances=222 opt<2|D|+mwc: 54 opt>2|D|+mwc: 0
  K=2: instances=222 opt<2|D|+mwc: 0 opt>2|D|+mwc: 0
  K=3: instances=222 opt<2|D|+mwc: 0 opt>2|D|+mwc: 0
  K=3|D|+1: instances=222 opt<2|D|+mwc: 0 opt>2|D|+mwc: 0
  K=4: instances=222 opt<2|D|+mwc: 0 opt>2|D|+mwc: 0
  first break for K=1: H edges=[(0, 1), (0, 2), (1, 2)] terms=(0, 1, 2) opt=8 target=9 F=["(('r', 1), ('b', ('t', 1), 0, 1))", "(('r', 1), ('x', 1, 0))", "(('r', 1), ('x', 1, 1))", "(('r', 1), ('x', 1, 2))", "(('r', 2), ('b', ('t', 2), 0, 1))", "(('r', 2), ('x', 2, 0))", "(('r', 2), ('x', 2, 1))", "(('r', 2), ('x', 2, 2))"]
time=21.4s
