Isn't CyberGym an open benchmark so trivial to benchmaxx anyway?