Candidates for logic-TPTP

No candidates exist for logic-TPTP. Upload one for this or another package?