add clock optimal solver