eq-diff1
eq-diff2
eq-diff3
prp-irp
prp-asyp
prp-pdw
prp-adp
prp-npa1
prp-npa2
cls-nothing2
cls-com
cls-maxc1
cls-maxqc1
cls-maxqc2
cax-dw
cax-adc
cls-oo
scm-cls
scm-sco
scm-eqc1
scm-eqc2
scm-op
scm-dp
scm-spo
scm-eqp1
scm-eqp2
scm-dom1
scm-dom2
scm-rng1
scm-rng2
scm-hv
scm-svf1
scm-svf2
scm-avf1
scm-avf2
scm-int
scm-uni