Use another ISDP benchmark