n=3 b=None nostar_k=None: Claim D holds (UNSAT) (0.0s)
n=4 b=None nostar_k=None: Claim D holds (UNSAT) (0.0s)
n=5 b=None nostar_k=None: COUNTEREXAMPLE to Claim D found (0.0s)
verify: (True, None) alpha: 3  
dominating independent sets (independent re-check): []
   {01234}:01234
   {0123}:0|1|23  {0124}:01|2|4  {0134}:03|1|4  {0234}:0|24|3  {1234}:14|2|3
   {012}:0|1|2  {013}:0|1|3  {023}:0|2|3  {123}:1|2|3  {014}:0|1|4  {024}:0|2|4  {124}:1|2|4  {034}:0|3|4  {134}:1|3|4  {234}:2|3|4
   {01}:0|1  {02}:0|2  {12}:1|2  {03}:0|3  {13}:1|3  {23}:2|3  {04}:0|4  {14}:1|4  {24}:2|4  {34}:3|4
n=5 b=None nostar_k=2: COUNTEREXAMPLE to Claim D found (0.0s)
verify: (True, None) alpha: 3 good k-stars: []
dominating independent sets (independent re-check): []
   {01234}:01234
   {0123}:0|1|23  {0124}:02|1|4  {0134}:01|3|4  {0234}:0|2|34  {1234}:14|2|3
   {012}:0|1|2  {013}:0|1|3  {023}:0|2|3  {123}:1|2|3  {014}:0|1|4  {024}:0|2|4  {124}:1|2|4  {034}:0|3|4  {134}:1|3|4  {234}:2|3|4
   {01}:0|1  {02}:0|2  {12}:1|2  {03}:0|3  {13}:1|3  {23}:2|3  {04}:0|4  {14}:1|4  {24}:2|4  {34}:3|4
