AGCP_105 YES
AGCP_106 YES
AGCP_11 YES
AGCP_112 MAYBE
AGCP_118 MAYBE
AGCP_120 YES
AGCP_122 YES
AGCP_123 YES
AGCP_124 YES
AGCP_125 YES
AGCP_127 YES
AGCP_128 YES
AGCP_129 YES
AGCP_13 YES
AGCP_130 YES
AGCP_131 YES
AGCP_133 YES
AGCP_134 YES
AGCP_135 YES
AGCP_136 YES
AGCP_137 YES
AGCP_138 YES
AGCP_139 YES
AGCP_140 YES
AGCP_141 YES
AGCP_142 YES
AGCP_146 YES
AGCP_148 YES
AGCP_151 MAYBE
AGCP_152 YES
AGCP_153 YES
AGCP_154 YES
AGCP_155 YES
AGCP_156 YES
AGCP_157 YES
AGCP_158 YES
AGCP_159 YES
AGCP_160 YES
AGCP_161 YES
AGCP_162 YES
AGCP_164 YES
AGCP_165 YES
AGCP_166 YES
AGCP_168 YES
AGCP_169 YES
AGCP_170 YES
AGCP_171 YES
AGCP_172 YES
AGCP_173 YES
AGCP_174 YES
AGCP_175 YES
AGCP_176 YES
AGCP_180 YES
AGCP_181 MAYBE
AGCP_182 YES
AGCP_183 MAYBE
AGCP_185 MAYBE
AGCP_186 YES
AGCP_187 YES
AGCP_188 YES
AGCP_189 YES
AGCP_190 YES
AGCP_191 YES
AGCP_192 YES
AGCP_193 YES
AGCP_194 YES
AGCP_195 YES
AGCP_197 YES
AGCP_198 YES
AGCP_199 YES
AGCP_20 MAYBE
AGCP_200 YES
AGCP_201 YES
AGCP_202 YES
AGCP_203 MAYBE
AGCP_204 YES
AGCP_205 YES
AGCP_206 MAYBE
AGCP_207 YES
AGCP_208 YES
AGCP_209 YES
AGCP_210 YES
AGCP_23 MAYBE
AGCP_234 YES
AGCP_259 MAYBE
AGCP_260 MAYBE
AGCP_261 MAYBE
AGCP_29 YES
AGCP_4 YES
AGCP_51 YES
AGCP_6 NO
AGCP_60 YES
AGCP_62 MAYBE
AGCP_63 MAYBE
AGCP_76 YES
AGCP_77 MAYBE
AGCP_83 YES
AGCP_elem1 YES
AGCP_elem2 NO
AGCP_int1 YES
AGCP_int2 YES
AGCP_int3 MAYBE
AGCP_int4 YES
AGCP_int5 YES
AGCP_le1 YES
AGCP_minus1 YES
AGCP_plus1 YES
AGCP_plus10 YES
AGCP_plus11 YES
AGCP_plus12 YES
AGCP_plus13 YES
AGCP_plus14 YES
AGCP_plus15 MAYBE
AGCP_plus2 YES
AGCP_plus3 YES
AGCP_plus4 YES
AGCP_plus5 YES
AGCP_plus6 YES
AGCP_plus7 YES
AGCP_plus8 MAYBE
AGCP_plus9 YES
1AGCP_times1 MAYBE
sCOPS_111_ms YES
COPS_114 YES
COPS_115 YES
COPS_116 MAYBE
COPS_21 NO
COPS_212 NO
COPS_213 MAYBE
COPS_214 NO
COPS_215 MAYBE
COPS_223 YES
COPS_224 MAYBE
COPS_225 NO
COPS_33_ms MAYBE
COPS_34_ms YES
COPS_36 YES
COPS_38 NO
COPS_39 NO
COPS_39_ms NO
COPS_40_ms YES
COPS_74 YES
COPS_74_ms YES
COPS_80 NO
COPS_81 MAYBE
COPS_82 YES
COPS_84_ms YES
R1 MAYBE
GCR_notCR1 MAYBE
GCR_notCR2 MAYBE
GCR_notCR3 MAYBE
GCR_notCR4 MAYBE
GCR_notCR5 MAYBE
GCR_notCR6 MAYBE
GCR_notCR_NFP MAYBE
GCR_notCR_SN YES
GCR_notCR_WCR MAYBE
GCR_notCR_ternary MAYBE
GWCR_notWCR_notGCR NO
TPDB_01 MAYBE
TPDB_02 YES
TPDB_03 MAYBE
TPDB_03_ms MAYBE
TPDB_04 YES
TPDB_04_ms YES
TPDB_05 MAYBE
TPDB_05_ms MAYBE
TPDB_06 MAYBE
TPDB_06_ms MAYBE
TPDB_07 YES
TPDB_07_ms YES
TPDB_08 NO
TPDB_09 NO
TPDB_10 NO
TPDB_11 MAYBE
TPDB_11_ms MAYBE
TPDB_12 YES
TPDB_13 MAYBE
TPDB_14 YES
TPDB_14_ms YES
TPDB_15 YES
TPDB_16 MAYBE
TPDB_17 NO
TPDB_17_ms NO
TPDB_18 MAYBE
TPDB_18_ms MAYBE
TPDB_19 YES
TPDB_20 MAYBE
TPDB_21 NO
TPDB_21_ms NO
TPDB_22 YES
TPDB_22_ms YES
TPDB_23 NO
TPDB_23_ms MAYBE
TPDB_24 NO
TPDB_25 MAYBE
TPDB_25_ms MAYBE
TPDB_26 MAYBE
TPDB_26_ms MAYBE
TPDB_27 YES
TPDB_28 YES
TPDB_28_ms YES
TPDB_29 YES
TPDB_29_ms YES
TPDB_30 NO
TPDB_30_ms NO
TPDB_31 NO
TPDB_32 MAYBE
TPDB_32_ms MAYBE
TPDB_33 YES
TPDB_33_ms YES
TPDB_34 YES
TPDB_34_ms YES
TPDB_35 YES
TPDB_35_ms YES
TPDB_36 MAYBE
TPDB_36_ms MAYBE
TPDB_37 NO
TPDB_38 NO
TPDB_39 YES
TPDB_39_ms YES
TPDB_40 NO
TPDB_40_ms NO
TPDB_41 MAYBE
TPDB_41_ms MAYBE
TPDB_42 MAYBE
TPDB_42_ms MAYBE
adapted_COPS_214 NO
adapted_COPS_215 MAYBE
critical_UNC MAYBE
demo NO
demo_ms MAYBE
gen_choose_1 MAYBE
gen_choose_2 MAYBE
gen_choose_3 NO
ground_P MAYBE
ground_P_ms YES
monadic YES
no_ground YES
notGCR1 NO
notGCR2 NO
notGCR3 NO
sorts NO
sorts_ms MAYBE