0  NoSelection
a  SelectNegativeLiterals
b  PSelectNegativeLiterals
c  SelectPureVarNegLiterals
d  PSelectPureVarNegLiterals
e  SelectLargestNegLit
f  PSelectLargestNegLit
g  SelectSmallestNegLit
h  PSelectSmallestNegLit
i  SelectDiffNegLit
j  PSelectDiffNegLit
k  SelectGroundNegLit
l  PSelectGroundNegLit
m  SelectOptimalLit
n  PSelectOptimalLit
o  SelectCondOptimalLit
p  PSelectCondOptimalLit
q  SelectAllCondOptimalLit
r  PSelectAllCondOptimalLit
s  SelectOptimalRestrDepth2
t  PSelectOptimalRestrDepth2
u  SelectOptimalRestrPDepth2
v  PSelectOptimalRestrPDepth2
w  SelectOptimalRestrNDepth2
x  PSelectOptimalRestrNDepth2
y  SelectNonRROptimalLit
z  PSelectNonRROptimalLit
A  SelectNonStrongRROptimalLit
B  PSelectNonStrongRROptimalLit
C  SelectAntiRROptimalLit
D  PSelectAntiRROptimalLit
E  SelectNonAntiRROptimalLit
F  PSelectNonAntiRROptimalLit
G  SelectStrongRRNonRROptimalLit
H  PSelectStrongRRNonRROptimalLit
I  SelectUnlessUniqMax
J  PSelectUnlessUniqMax
K  SelectUnlessPosMax
L  PSelectUnlessPosMax
M  SelectUnlessUniqPosMax
N  PSelectUnlessUniqPosMax
O  SelectMinOptimalLit
P  PSelectMinOptimalLit
O1 SelectMinOptimalNoTypePred
P1 PSelectMinOptimalNoTypePred
O2 SelectMinOptimalNoXTypePred
P2 PSelectMinOptimalNoXTypePred
O3 SelectMinOptimalNoRXTypePred
P3 PSelectMinOptimalNoRXTypePred
Q  SelectUnlessUniqMaxPos
R  PSelectUnlessUniqMaxPos
S  SelectComplex
T  PSelectComplex
U  SelectComplexExceptRRHorn
V  PSelectComplexExceptRRHorn
W  SelectLComplex
X  SelectLComplex
Y  SelectMaxLComplex
Z  PSelectMaxLComplex
Y1 SelectMaxLComplexNoTypePred 
Z1 PSelectMaxLComplexNoTypePred 
Y2 SelectMaxLComplexNoXTypePred 
Z2 PSelectMaxLComplexNoXTypePred 
1  SelectComplexPreferNEQ
2  PSelectComplexPreferNEQ
3  SelectComplexPreferEQ
4  PSelectComplexPreferEQ
5  SelectComplexExceptUniqMaxHorn
6  PSelectComplexExceptUniqMaxHorn
7  SelectLargestOrientable
8  PSelectLargestOrientable
9  SelectSmallestOrientable
aa PSelectSmallestOrientable
60 MSelectComplexExceptUniqMaxHorn
70 MSelectLargestOrientable
aD MSelectSmallestOrientable
a0 SelectMinInfpos
a1 PSelectMinInfpos
a2 HSelectMinInfpos
a3 GSelectMinInfpos
a4 SelectMinInfposNoTypePred
a5 PSelectMinInfposNoTypePred
b0 SelectMin2Infpos
b1 PSelectMin2Infpos
c0 SelectComplexExceptUniqMaxPosHorn
c1 PSelectComplexExceptUniqMaxPosHorn
I1 SelectUnlessUniqMaxSmallestOrientable
I2 PSelectUnlessUniqMaxSmallestOrientable
S1 SelectNewComplex
T1 PSelectNewComplex
51 SelectNewComplexExceptUniqMaxHorn
61 PSelectNewComplexExceptUniqMaxHorn
0a SelectDivLits
0c SelectDivPreferIntoLits
0e SelectMaxLComplexG
0g SelectMaxLComplexAvoidPosPred
0i SelectMaxLComplexAvoidPosUPred


2a SelectCQArEqLast
2b SelectCQArEqFirst
2c SelectCQIArEqLast
2d SelectCQIArEqFirst
2e SelectCQAr
2f SelectCQIAr
2g SelectCQArNpEqFirst
2h SelectCQIArNpEqFirst
2i SelectGrCQArEqFirst
2j SelectCQGrArEqFirst
2k SelectCQArNTEqFirst
2l SelectCQIArNTEqFirst
2m SelectCQArNTNpEqFirst
2n SelectCQIArNTNpEqFirst
2o SelectCQArNXTEqFirst
2p SelectCQIArNXTEqFirst

2q SelectCQArNTNp
2r SelectCQIArNTNp
2s SelectCQArNT
2t SelectCQIArNT
2u SelectCQArNp
2v SelectCQIArNp



PureVarLit vorziehen
Use ordering weight (if there)
Arity ohne CQ ausprobieren!

3a SelectCQArNpEqFirstUnlessPDom
3b SelectCQArNTEqFirstUnlessPDom

4a SelectCQPrecW
4b SelectCQIPrecW
4c SelectCQPrecWNTNp
4d SelectCQIPrecWNTNp
