AGCP_128 YES Complementation
AGCP_130 YES Complementation
AGCP_133 YES Complementation
AGCP_137 YES Complementation
AGCP_140 YES Complementation
AGCP_146 YES Complementation
AGCP_165 YES Complementation
AGCP_174 YES Complementation
AGCP_180 YES Complementation
AGCP_186 YES Complementation
AGCP_197 YES Complementation
AGCP_210 YES Complementation
AGCP_234 YES Complementation
AGCP_6 NO General Disproof
AGCP_60 YES Redundancy
AGCP_elem2 NO General Disproof
COPS_21 NO General Disproof
COPS_212 NO General Disproof
COPS_214 NO General Disproof
COPS_223 YES Other
COPS_225 NO General Disproof
COPS_36 YES Instantiation
COPS_38 NO RI Disproof
COPS_39 NO RI Disproof
COPS_39_ms NO RI Disproof
COPS_74 YES Instantiation
COPS_74_ms YES Instantiation
COPS_80 NO General Disproof
COPS_82 YES Instantiation
GWCR_notWCR_notGCR NO General Disproof
TPDB_02 YES Other
TPDB_04 YES Other
TPDB_04_ms YES Other
TPDB_08 NO General Disproof
TPDB_09 NO General Disproof
TPDB_10 NO General Disproof
TPDB_14 YES Instantiation
TPDB_14_ms YES Instantiation
TPDB_17 NO RI Disproof
TPDB_17_ms NO RI Disproof
TPDB_21 NO General Disproof
TPDB_21_ms NO General Disproof
TPDB_22 YES Instantiation + Constructor Rules
TPDB_22_ms YES Instantiation + Constructor Rules
TPDB_23 NO General Disproof
TPDB_24 NO RI Disproof
TPDB_28 YES Instantiation + Constructor Rules
TPDB_28_ms YES Constructor Rules
TPDB_30 NO General Disproof
TPDB_30_ms NO General Disproof
TPDB_31 NO General Disproof
TPDB_33 YES Instantiation
TPDB_33_ms YES Instantiation
TPDB_34 YES Instantiation
TPDB_34_ms YES Instantiation
TPDB_37 NO General Disproof
TPDB_38 NO General Disproof
TPDB_39 YES Other
TPDB_40 NO General Disproof
TPDB_40_ms NO General Disproof
adapted_COPS_214 NO General Disproof
demo NO General Disproof
gen_choose_3 NO General Disproof
ground_P_ms YES Other
no_ground YES Redundancy
notGCR1 NO General Disproof
notGCR2 NO General Disproof
notGCR3 NO General Disproof
sorts NO General Disproof