(G) gadget identity, 3000 random path gadgets (l=1..5), exact rationals: failures = 0
(R) literal-subset check  m=(1, 1) l=(2, 2): 5 random instances, errors so far = 0
(R) literal-subset check  m=(2, 1) l=(2, 2): 5 random instances, errors so far = 0
(R) literal-subset check  m=(1, 2, 1) l=(2, 2, 2): 5 random instances, errors so far = 0
(R) literal-subset check  m=(2, 1) l=(3, 2): 5 random instances, errors so far = 0
(R) energy identity + minimiser check m=(2, 3, 2) l=(2, 2, 2): 10 random instances, errors so far = 0
(R) energy identity + minimiser check m=(3, 3, 3, 2) l=(2, 2, 2, 2): 10 random instances, errors so far = 0
(R) energy identity + minimiser check m=(2, 2, 2) l=(3, 2, 4): 10 random instances, errors so far = 0
(R) energy identity + minimiser check m=(1, 4, 1, 3) l=(2, 2, 2, 2): 10 random instances, errors so far = 0
(R) energy identity + minimiser check m=(3, 2, 3) l=(2, 3, 2): 10 random instances, errors so far = 0
(C) chain lemma, n=2 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=3 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=4 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=5 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=6 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=7 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=8 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=9 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
(C) chain lemma, n=10 bonds, 20 random instances x 4 boundary conditions, literal subset flips: errors so far = 0
TOTAL ERRORS: 0
