TPTP2T Results Generation
Change number of sets of Solution Properties Option Level:

Problem Properties (TPTP Constraints)


Problem type Any ~ FOF CNF
Status Any ~ Theorem CounterSatisfiable Unknown
Unsatisfiable Satisfiable Open

Order Any ~ Propositional "Propositional" Finite HU Real 1st order
Predicates Any ~ 1 predicate > 1 predicate
Equality Any ~ No equality Some equality Pure equality Any equality
Unit equality Any ~ No Yes

Horn Any ~ Horn Non-Horn
Range restricted Any ~ Range restricted Not range restricted

Formulae Any ~ Small Medium Large XLarge
Clauses Any ~ Small Medium Large XLarge

Rating Any ~ Easy Difficult Unsolved
Version Any ~ Standard Incomplete Augmented
Especial Biased Unbiased
Domains Any ~ Only domains:

Solution Properties (TSTP Constraints): Set 1


System None ~ System name:

Result Any ~
Output Any ~

Selectivity Any ~ Low Medium High
Girth Any ~ Fat Thin

Solution Properties (TSTP Constraints): Set 2


System None ~ System name:

Result Any ~
Output Any ~

Selectivity Any ~ Low Medium High
Girth Any ~ Fat Thin

Output Options

Password required: