Title: The simulator verification experiment