public void Run( string puzzle = "SQ1~P13", int min = 0, int sec = 0, string solver = "fr!", string pool = BatchSolveComponent.PoolDefault, double minR = 0, double maxR = 2000, string save = null) { if (min == 0 && sec == 0) { min = 3; } var pathHelper = new PathHelper(); var compLib = new LibraryComponent(pathHelper.GetRelDataPath("Lib")); var selection = compLib.GetPuzzlesWithCachingUsingRegex(puzzle).ToArray(); if (!selection.Any()) { throw new Exception($"Not puzzles found '{puzzle}', should be SQ1~P5 or SQ1, etc"); } var solverRun = new SolverRun(); solverRun.Init(); solverRun.AddRange( selection .OrderBy(x => x.Rating) .Where(x => x.Rating >= minR && x.Rating <= maxR) ); var batch = new BatchSolveComponent(); batch.SolverRun(new BatchSolveComponent.BatchArgs(puzzle, min, sec, solver, pool, minR, maxR, save) { Console = new TextWriterAdapter(System.Console.Out) }, solverRun); }
public static int SolverRun(string puzzle, int min, int sec, string solver, string pool, double minR, double maxR, SolverRun solverRun) { var args = new FluentString(" ") .Append(puzzle).Sep() .Append($"--solver {solver}").Sep() .Append($"--pool {pool}").Sep() .If(min > 0, $"--min {min}").Sep() .If(sec > 0, $"--sec {sec}").Sep() .If(minR > 0, $"--min-rating {minR}").Sep() .If(maxR < 2000, $"--min-rating {maxR}"); System.Console.WriteLine($"Arguments: {args}"); var exitRequested = false; SolverCommand?executing = null; // Setup: Report and cancellation var benchId = DateTime.Now.ToString("s").Replace(':', '-'); var outFile = $"./benchmark--{benchId}.txt"; var outTele = $"./telemetry--{benchId}.csv"; var outFolder = "./results/"; if (!Directory.Exists(outFolder)) { Directory.CreateDirectory(outFolder); } var info = new FileInfo(Path.Combine(outFolder, outFile)); var tele = new FileInfo(Path.Combine(outFolder, outTele)); using var report = File.CreateText(info.FullName); using var repTele = File.CreateText(tele.FullName); System.Console.CancelKeyPress += (o, e) => { report.Flush(); System.Console.WriteLine("Ctrl+C detected; cancel requested"); if (executing != null) { executing.ExitConditions.ExitRequested = true; } exitRequested = true; }; ISokobanSolutionRepository?solutionRepo = File.Exists("./solutions.json") && !DevHelper.IsDebug() ? new JsonSokobanSolutionRepository("./solutions.json") : null; ISolverRunTracking?runTracking = null; var results = new List <(Strategy, List <SolverResultSummary>)>(); var perm = GetPermutations(solver, pool).ToList(); var countStrat = 0; foreach (var strat in perm) { countStrat++; System.Console.WriteLine($"(Strategy {countStrat}/{perm.Count}) {strat}"); var ioc = new SolverContainerByType(new Dictionary <Type, Func <Type, object> >() { { typeof(ISolverPool), _ => PoolFactory(strat.Pool) }, { typeof(ISolverQueue), _ => new SolverQueueConcurrent() }, { typeof(ISolverRunTracking), _ => runTracking }, { typeof(ISokobanSolutionRepository), _ => solutionRepo }, }); var solverCommand = new SolverCommand { ServiceProvider = ioc, ExitConditions = new ExitConditions() { Duration = TimeSpan.FromMinutes(min).Add(TimeSpan.FromSeconds(sec)), MemAvail = DevHelper.GiB_1, // Stops the machine hanging / swapping to death StopOnSolution = true, }, AggProgress = new ConsoleProgressNotifier(repTele), CheckAbort = x => exitRequested, }; var runner = new BatchSolveComponent( report, System.Console.Out, solutionRepo, runTracking, 5, false); var solverInstance = SolverFactory(strat.Solver, ioc); var summary = runner.Run(solverRun, solverCommand, solverInstance, false); results.Add((strat, summary)); } // Header var extras = new Dictionary <string, string>() { { "Args", args }, { "Report", info.FullName } }; DevHelper.WriteFullDevelopmentContext(report, extras); DevHelper.WriteFullDevelopmentContext(System.Console.Out, extras); // Body var reportRow = GenerateReport(results).ToList(); MapToReporting.Create <SummaryLine>() .AddColumn("Solver", x => x.Strategy.Solver) .AddColumn("Pool", x => x.Strategy.Pool) .AddColumn("Puzzle", x => x.Result.Puzzle.Ident) .AddColumn("State", x => x.Result.Exited) .AddColumn("Solutions", x => (x.Result.Solutions?.Count ?? 0) == 0 ? null : (int?)x.Result.Solutions.Count) .AddColumn("Statistics", x => x.Result.Exited == ExitConditions.Conditions.Error ? x.Result.Exited.ToString() : x.Result.Statistics?.ToString(false, true) ) .RenderTo(reportRow, new MapToReportingRendererText(), report) .RenderTo(reportRow, new MapToReportingRendererText(), System.Console.Out); return(results.Any(x => x.Item2.Any(y => y.Exited == ExitConditions.Conditions.Error)) ? -1 : 0); // All exceptions }