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

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