n=3 k=2 b=None: COL_k holds for all star-free systems (UNSAT after 3 refinements, 0.0s)
n=4 k=2 b=None: COL_k holds for all star-free systems (UNSAT after 5 refinements, 0.0s)
n=4 k=3 b=None: COL_k holds for all star-free systems (UNSAT after 7 refinements, 0.0s)
n=5 k=2 b=None: COL_k holds for all star-free systems (UNSAT after 8 refinements, 0.0s)
n=5 k=3 b=None: COL_k holds for all star-free systems (UNSAT after 17 refinements, 0.0s)
n=5 k=4 b=None: COL_k holds for all star-free systems (UNSAT after 16 refinements, 0.0s)
n=6 k=2 b=None: COL_k holds for all star-free systems (UNSAT after 16 refinements, 0.0s)
n=6 k=3 b=None: COL_k holds for all star-free systems (UNSAT after 42 refinements, 0.0s)
n=6 k=4 b=None: COL_k holds for all star-free systems (UNSAT after 50 refinements, 0.0s)
n=6 k=5 b=None: COL_k holds for all star-free systems (UNSAT after 37 refinements, 0.0s)
n=7 k=5 b=None: COL_k holds for all star-free systems (UNSAT after 180 refinements, 0.3s)
n=7 k=6 b=None: COL_k holds for all star-free systems (UNSAT after 88 refinements, 0.2s)
  ... 200 refinements, 0.8s
  ... 400 refinements, 2.4s
n=8 k=5 b=None: COL_k holds for all star-free systems (UNSAT after 415 refinements, 2.5s)
  ... 200 refinements, 0.6s
  ... 400 refinements, 2.1s
n=8 k=6 b=None: COL_k holds for all star-free systems (UNSAT after 513 refinements, 3.0s)
  ... 200 refinements, 1.3s
n=8 k=7 b=None: COL_k holds for all star-free systems (UNSAT after 214 refinements, 1.4s)
