Salient Systems
- Zipperposition solved most, Ehoh won
- Zipperposition had declared a COI
- Ehoh associate will take the "romantic prize"
Performance Measures
- Leo-III's low efficiency is due to
higher CPU usage
- Startup time
- Mixture of internal and external reasoning
- In 300s Zipperp'n solved 697 (+22), Leo-III 654 (+155)
Portfolio Possibilities
- 5 problems unsolved, 208 all solved
- 14 unique solutions, distributed
- Portfolio of Vampire, Leo-III, Ehoh, and Zipperp'n solves 700