On the efficiency of RESTART for multidimensional state systems · Study