and-or YES
elimdup MAYBE
eq YES
eq2 MAYBE
eq3 YES
gncr NO
if1 YES
if2 YES
if3 YES
if4 YES
if5 YES
if6 YES
if7 YES
if8 YES
imply YES
inc YES
inc2 YES
inc3 NO
insert MAYBE
insert2 MAYBE
insert3 MAYBE
int1 MAYBE
int2 MAYBE
int3 YES
le-ge YES
le MAYBE
le2 YES
len-app YES
len-qrev YES
len-rev MAYBE
len-round YES
len-round2 YES
min-max YES
min-max2 MAYBE
min YES
min2 MAYBE
min3 MAYBE
min4 MAYBE
min5 NO
minus YES
minus2 YES
mirror YES
ordered YES
qplus YES
seteq MAYBE
seteq2 MAYBE
seteq3 MAYBE
seteq4 MAYBE
subseteq MAYBE
tree1 MAYBE
tree2 MAYBE
tree3 MAYBE
tree4 MAYBE
tree5 YES
tree6 YES