static void TestBattleship(string sBenchmarkPath, int iSize)
{
SDRPlanner.AddAllKnownToGiven = true;
Battleship bs = new Battleship(iSize * 10);
string sBenchmark = bs.Name;
bs.WriteDomain(sBenchmarkPath + sBenchmark);
bs.WriteProblem(sBenchmarkPath + sBenchmark);
SDRPlanner.TagsCount = 2;
SDRPlanner.AddTagRefutationToGoal = false;
//BeliefState.AddAllKnownToGiven = true;
//TestCLG(sBenchmarkPath + sBenchmark + "\\", 2);
TestBenchmark(sBenchmarkPath, sBenchmark, 25, true, false);
}