Unfortunately my reducto account was disabled rigth after this launch. But would be uploading benchmarks for rest at https://idp-leaderboard.org/