ApproxIndexes.Indexes.ExecuteSATForest C# (CSharp) Method

        public static string ExecuteSATForest(IndexArgumentSetup setup, string nick)
        {
            var idxname = String.Format ("{0}/Index.SATForest", nick);
            return Execute (setup, nick, idxname, (db) => {
                var expected_prob = 0.9;
                var prob = 0.17;
                var satapprox = new  SAT_Forest();
                int numindexes = (int)Math.Ceiling(Math.Log(1.0 - expected_prob) / Math.Log(1 - prob));
                satapprox.Build(db, numindexes, new Random());
                return satapprox;
            });
        }