G nodes: [9, 4, 3, 2, 8, 6, 0, 1, 7, 5]
Terminals used for benchmarking: [9, 5, 8, 1, 2]

Method: SP:
Time taken: 0.0017 seconds
Tree size: 13.0
Tree edges: [(9, 3, {}), (9, 8, {}), (9, 0, {}), (9, 4, {}), (3, 7, {}), (3, 8, {}), (3, 0, {}), (3, 4, {}), (7, 5, {}), (8, 4, {}), (0, 1, {}), (0, 4, {}), (4, 2, {})]
Tree nodes: [9, 3, 7, 5, 8, 0, 1, 4, 2]
Method: KB:
Time taken: 0.0058 seconds
Tree size: 1.0
Tree edges: [(9, 8, {'weight': 1})]
Tree nodes: [9, 2, 8, 1, 5]
Method: RSP:
Time taken: 0.0008 seconds
Tree size: 8.0
Tree edges: [(2, 4, {}), (4, 8, {}), (8, 9, {}), (9, 3, {}), (3, 7, {}), (3, 0, {}), (7, 5, {}), (0, 1, {})]
Tree nodes: [2, 4, 8, 9, 3, 7, 5, 0, 1]
Method: SPM:
Time taken: 0.0004 seconds
Tree size: 8.0
Tree edges: [(3, 8, {'weight': 1}), (3, 7, {'weight': 1}), (3, 4, {'weight': 1}), (3, 0, {'weight': 1}), (3, 9, {'weight': 1}), (4, 2, {'weight': 1}), (1, 0, {'weight': 1}), (7, 5, {'weight': 1})]
Tree nodes: [3, 8, 9, 4, 1, 0, 7, 5, 2]
Method: ASP:
Time taken: 0.0002 seconds
Tree size: 13.0
Tree edges: [(9, 3, {}), (9, 8, {}), (9, 0, {}), (9, 4, {}), (3, 7, {}), (3, 8, {}), (3, 0, {}), (3, 4, {}), (7, 5, {}), (8, 4, {}), (0, 1, {}), (0, 4, {}), (4, 2, {})]
Tree nodes: [9, 3, 7, 5, 8, 0, 1, 4, 2]
Method: EXA:
Time taken: 0.0016 seconds
Tree size: 8.0
Tree edges: [(9, 4, {'weight': 1}), (9, 8, {'weight': 1}), (9, 0, {'weight': 1}), (9, 3, {'weight': 1}), (4, 2, {'weight': 1}), (3, 7, {'weight': 1}), (0, 1, {'weight': 1}), (7, 5, {'weight': 1})]
Tree nodes: [9, 4, 3, 2, 8, 0, 1, 7, 5]
Method: MEXA:
Time taken: 0.0011 seconds
Tree size: 8.0
Tree edges: [(9, 4, {'weight': 1}), (9, 8, {'weight': 1}), (9, 0, {'weight': 1}), (9, 3, {'weight': 1}), (4, 2, {'weight': 1}), (7, 5, {'weight': 1}), (7, 3, {'weight': 1}), (0, 1, {'weight': 1})]
Tree nodes: [9, 4, 8, 7, 5, 2, 0, 1, 3]
Method: EXA+:
Time taken: 0.0026 seconds
Tree size: 8.0
Tree edges: [(9, 4, {'weight': 1}), (9, 8, {'weight': 1}), (9, 0, {'weight': 1}), (9, 3, {'weight': 1}), (4, 2, {'weight': 1}), (7, 5, {'weight': 1}), (7, 3, {'weight': 1}), (0, 1, {'weight': 1})]
Tree nodes: [9, 4, 8, 7, 5, 2, 0, 1, 3]