Iteration 1

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

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

Domination set of B2 (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 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 B3 (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 B4 (green nodes are dominated by the red node, frontier nodes have a different shape):

Domination set of C4 (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 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):

Iteration 5

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

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

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

Iteration 6

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

Domination set of D7 (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 A7 (green nodes are dominated by the red node, frontier nodes have a different shape):

Iteration 7

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

Domination set of C8 (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):

Iteration 8

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

Domination set of A9 (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 9

This is the last iteration. C10 is the domiantor.

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

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