## 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.