(A) n=4: 46656 monotone systems (expected 6^6 = 46656), k=1..4 each; checks=186624, no-good-star with k<n: 50234, of which tight (min cover = k): 4908, counterexamples=0, time=8.9s
(B) n=5: 20000 random systems, k=1..5; checks=100000, with good star=38100, without=61900 (k<n: 41900, tight: 5381), counterexamples=0, time=18.7s
(B) n=6: 4000 random systems, k=1..6; checks=24000, with good star=8421, without=15579 (k<n: 11579, tight: 947), counterexamples=0, time=22.6s
(B) n=7: 1000 random systems, k=1..7; checks=7000, with good star=2377, without=4623 (k<n: 3623, tight: 189), counterexamples=0, time=24.7s
TOTAL counterexamples: 0
RESULT: PASS
