Towards StarExec in the Cloud

Background

• ATP and the TPTP World
• StarExec
• Containers in the Cloud

Containerisation

• StarExec
• ATP Systems
• Resource Limited Run

StarExec in the Cloud

Conclusions

The End - Any Questions?

Advertisement: The TPTP World Tour