CPF Category

The CPF category is the combined category of CPF-TRS category and CPF-CTRS category. The category runs its component categories and the total score is computed.

Input

See the corresponding sections of CPF-TRS category and CPF-CTRS category.

Problem

The problem is to answer the question whether a certified proof of an input (C)TRS is confluent or not.

Problem Selection

See the corresponding sections of CPF-TRS category and CPF-CTRS category.

Output Format

See the corresponding sections of CPF-TRS category and CPF-CTRS category.

Scoring

The score is the sum of the scores for the component categories.