Table 4.

Test inputs for stopping at the stop line.

Inputs	Description	Expected Result
Do	Original input set	|Ro|
D1	New input set D1 = {x, y+d | x, y in Do, d is positive value}	|R1| (Satisfying |Ro| ≤ |R1|)