Contents

The TPTP Problem Library

The Mathematics Domains

Systems' Performances

Conclusion