Before revision:  By relaxing the requirement of\fresh  exact and deterministic solutions, FRESH reaches high performance: the experiments indeed show that, with a recall larger than 80\% and precision 100\%, we have at least a factor 10 improvement in performance over the state-of-the-art exact approach.
After revision:  We experimentally compare\fresh exact and deterministic solutions, FRESH reaches high performance: the experiments indeed show that, with a recall larger than 80\% and precision 100\%, we have at least a factor 10 improvement in performance over the state-of-the-art exact approach.