We suggest the following conventions concerning suffixes of file names:
| .dfg | For general problem files, including formulae, clauses, proofs at the same time. |
| .frm | For problem files containing at least lists of formulae. |
| .cnf | For problem files containing at least lists of clauses in conjunctive normal form. |
| .dnf | For problem files containing at least lists of clauses in disjunctive normal form. |
| .prf | For problem files containing at least lists of proofs. |