n=2 graphs=2 | chi computed for 1 | (2chi-1)m<n-1: 0, equality cases: 1, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 1, Prop5.1 fails: 0
n=3 graphs=8 | chi computed for 1 | (2chi-1)m<n-1: 0, equality cases: 1, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 1, Prop5.1 fails: 0
n=4 graphs=64 | chi computed for 13 | (2chi-1)m<n-1: 0, equality cases: 13, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 13, Prop5.1 fails: 0
n=5 graphs=1024 | chi computed for 1 | (2chi-1)m<n-1: 0, equality cases: 1, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 1, Prop5.1 fails: 0
n=6 graphs=32768 | chi computed for 361 | (2chi-1)m<n-1: 0, equality cases: 361, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 1, Prop5.1 fails: 0
n=7 graphs=2097152 | chi computed for 841 | (2chi-1)m<n-1: 0, equality cases: 841, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 841, Prop5.1 fails: 0
n=8 graphs=268435456 | chi computed for 20161 | (2chi-1)m<n-1: 0, equality cases: 20161, min slack among exact: 0 | original form fails: 0 | Thm5.3 violations: 0 | bipartite(chi<=2, exact) 1, Prop5.1 fails: 0
TOTAL failures: melnikov(M2)=0 melnikov(M)=0 thm5.3=0 prop5.1=0
