Conclusion

Status Quo!

• StarExec (almost) containerised
• E, Vampire, Leo-III containerised
• RLR working outside containers

Quo Vadis?

• Complete StarExec containerisation
• RLR replaces runsolver in containers
• Kubernetes and AWS

Please Clone and Test ...