CLI: measure on which percentage of the proofs each algorithm performed better than the others #83

Open

Assignees

Labels

opened

This kind of measurement seems to be related to TPTP's SOTAC (State-of-the-art contribution)...

Metadata

Assignees

Zahnentferner

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests