Via the TSTP

To the TSTP

• Performance data for automatic system selection
• Solutions for system certification
• Solutions for analysis and development of heuristics

From the TSTP

• Common solution language
• Solution syntax