Conclusion

SSCPA is a Meta-system

• Relies on the sequential ATP systems
• Easily upgraded
• Should always beat sequential systems

Improvements

• Use good subsumed systems
• Cooperation