[pxOutputFilename]
outputpx.txt

[reverseSearchState]
state([at(1,a),at(2,b),at(3,c),at(4,d),at(5,e),at(6,f),at(7,g),at(8,h),blank(i),adj(a,b),adj(a,d),adj(b,a),adj(b,c),adj(b,e),adj(c,b),adj(c,f),adj(d,a),adj(d,e),adj(d,g),adj(e,d),adj(e,f),adj(e,b),adj(e,h),adj(f,e),adj(f,i),adj(f,c),adj(g,d),adj(g,h),adj(h,g),adj(h,e),adj(h,i),adj(i,f),adj(i,h)],[],[],[])

[goal]
goal([at(1,a),at(2,b),at(3,c),at(4,d),at(5,e),at(6,f),at(7,g),at(8,h)],[],[],[])

[samplesize]
10

[uptoPxDepth]
0

[pxSampleDepth]
0

[lastDepth]
0

[searchOutputFilename]
10_Astar_EIGHTPUZZLE.RESULT

[operator]
operator(puzzle8, move, [T,X,Y], [blank(Y),adj(X,Y),at(T,X)],[blank(Y),at(T,X)],[blank(X),at(T,Y)],[],[],[],1)

[reverseOperator]
operator(puzzle8, move, [T,X,Y], [blank(Y),adj(X,Y),at(T,X)],[blank(Y),at(T,X)],[blank(X),at(T,Y)],[],[],[],1)

[heuristic]
search.masstesting.ZeroHeuristic

[heuristic]
search.masstesting.OutOfPlaceHeuristic

[heuristic]
search.masstesting.EightPuzzleManhattanDistance

[statsProcessor]
search.statistics.StandardSearchStats

[statsProcessor]
search.statistics.IDAEachBoundTotalNodes

[statsProcessor]
search.statistics.StandardSearchStatsSummary

[statsProcessor]
search.statistics.IDABoundComparisonAnalysis

[statsProcessor]
search.statistics.PxDistPrediction