Iteration 1

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of C3 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of A3 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of E3 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of B3 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 2

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of B4 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of B5 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of A5 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of A4 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 3

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of C5 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of B7 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of C6 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of A7 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 4

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of B7 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of A7 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of D9 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of B8 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of B9 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 5

This is the last iteration. A10 is the domiantor.

History exploration (blue nodes were just explored, red nodes will be explored next):

Domination set of A10 (green nodes are dominated by the red node, frontier nodes have a different shape):