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

Problem Properties (TPTP Constraints)

Problem type Any ~ THF TFF 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
Arithmetic Any ~ No arithmetic Any arithmetic
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 ~
Solution equality Any ~ No equality Any equality
Selectivity Any ~ Low Medium High
Girth Any ~ Fat Thin

Solution Properties (TSTP Constraints): Set 2

System None ~ System name:
Result Any ~
Output Any ~
Solution equality Any ~ No equality Any equality
Selectivity Any ~ Low Medium High
Girth Any ~ Fat Thin

Output Options

Password required:

Created by Alex Roederer, University of Miami, 2008