n=9 edges=16 closure_complete=1 steps=20
n=9 edges=15 closure_complete=0 steps=0
MUTANT (cube test without edge b-d):
SYM n=8 k=3 lem3=1 part=0/1 canonH=1 canonRo=1 lem3cut=0 topPass=1 tests=560 workingReps=242 weightedWorking=242 weightedR=560
SYM n=9 k=4 lem3=1 part=0/1 canonH=1 canonRo=154 lem3cut=0 topPass=154 tests=4326 workingReps=798 weightedWorking=798 weightedR=4326
SYM n=10 k=6 lem3=1 part=0/1 canonH=2 canonRo=8772 lem3cut=36 topPass=8736 tests=120036 workingReps=48463 weightedWorking=96264 weightedR=236208
