Results for SpringRTS