n=1 labelled graphs=1 (non-joins: 1) pairs (Gamma,Y) tested=1 violations of Lemma 4.2=0 | connected Y where 'domination' and 'total domination' differ=1, of these NOT (Y={v}, v isolated in Gamma)=0
n=2 labelled graphs=2 (non-joins: 1) pairs (Gamma,Y) tested=6 violations of Lemma 4.2=0 | connected Y where 'domination' and 'total domination' differ=2, of these NOT (Y={v}, v isolated in Gamma)=0
n=3 labelled graphs=8 (non-joins: 4) pairs (Gamma,Y) tested=56 violations of Lemma 4.2=0 | connected Y where 'domination' and 'total domination' differ=6, of these NOT (Y={v}, v isolated in Gamma)=0
n=4 labelled graphs=64 (non-joins: 38) pairs (Gamma,Y) tested=960 violations of Lemma 4.2=0 | connected Y where 'domination' and 'total domination' differ=32, of these NOT (Y={v}, v isolated in Gamma)=0
n=5 labelled graphs=1024 (non-joins: 728) pairs (Gamma,Y) tested=31744 violations of Lemma 4.2=0 | connected Y where 'domination' and 'total domination' differ=320, of these NOT (Y={v}, v isolated in Gamma)=0
n=6 labelled graphs=32768 (non-joins: 26704) pairs (Gamma,Y) tested=2064384 violations of Lemma 4.2=0 | connected Y where 'domination' and 'total domination' differ=6144, of these NOT (Y={v}, v isolated in Gamma)=0
TOTAL violations: 0  time 2.5s
