Submissions for team SmartDolphin on problem leaderboard leaderboard