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