Table 1

NRS Orthogonal Strongly Closed Knuth-Bendix Parallel Closed
example 1 MAYBE YES MAYBE YES
example 2 YES YES YES YES
example 3 MAYBE MAYBE MAYBE MAYBE
example 4 MAYBE MAYBE YES YES
example 5 MAYBE MAYBE MAYBE MAYBE
example 6 MAYBE MAYBE MAYBE MAYBE
example 7 MAYBE MAYBE NO MAYBE
example 8 MAYBE MAYBE NO MAYBE
example 9 MAYBE MAYBE MAYBE MAYBE
example 10 MAYBE MAYBE MAYBE MAYBE
example 11 MAYBE MAYBE NO MAYBE
example 12 MAYBE YES YES YES
example 13 MAYBE MAYBE NO MAYBE
example 14 MAYBE MAYBE YES MAYBE
example 15 MAYBE MAYBE NO MAYBE
example 16 YES YES YES YES
example 17 YES MAYBE YES YES
example 18 MAYBE MAYBE MAYBE MAYBE
example 19 MAYBE MAYBE MAYBE MAYBE
example 20 MAYBE MAYBE MAYBE MAYBE
example 21 MAYBE MAYBE NO MAYBE
example 22 YES MAYBE YES YES
example 23 MAYBE MAYBE MAYBE MAYBE
example 24 MAYBE YES YES YES
example 25 MAYBE YES MAYBE MAYBE
example 26 MAYBE MAYBE NO MAYBE
example 27 MAYBE MAYBE MAYBE MAYBE
example 28 MAYBE MAYBE YES MAYBE
example 29 MAYBE MAYBE YES MAYBE
example 30 YES YES YES YES