Graph 6 Transition Choices (Rule: keep b4 and b5 equal for a4)

All unique transitions: 9 Critical unique transitions: 7

G6R1

Critical edge: a1-b1
Appearing edge: a1-b4
Critical: Yes
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a1-b4 | Removed: a4-b4

G6R2

Critical edge: a1-b3
Appearing edge: a1-b4
Critical: Yes
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a1-b4 | Removed: a4-b4

G6R3

Critical edge: a2-b3
Appearing edge: a2-b1
Critical: No
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a2-b1 | Removed: a2-b3

G6R4

Critical edge: a2-b3
Appearing edge: a2-b4
Critical: No
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a2-b4 | Removed: a2-b3

G6R5

Critical edge: a3-b4
Appearing edge: a3-b1
Critical: Yes
DONE candidate (matching with red+green): Yes
Selected status: DONE
Selected change: Added: a3-b1 | Removed: a3-b4

G6R6

Critical edge: a3-b4
Appearing edge: a3-b3
Critical: Yes
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a3-b3 | Removed: a1-b3

G6R7

Critical edge: a3-b4
Appearing edge: a3-b5
Critical: Yes
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a3-b5 | Removed: a4-b5

G6R8

Critical edge: a4-b4
Appearing edge: a4-b1
Critical: Yes
DONE candidate (matching with red+green): Yes
Selected status: DONE
Selected change: Added: a4-b1 | Removed: a4-b4

G6R9

Critical edge: a4-b4
Appearing edge: a4-b3
Critical: Yes
DONE candidate (matching with red+green): No
Selected status: TRANSITION
Selected change: Added: a4-b3 | Removed: a1-b3