Changing the value in the Seed field will generate the corresponding input to the Input field.
Pressing the Download button will download the inputs for seed values seed, seed+1, ..., seed+#cases-1 at once.

By running your program locally against the generated input and pasting the output of your program into the Output field, the visualization results will be displayed.
Pressing the ▶ button starts animation.
By pressing the Save as PNG button, you can download the visualization results.

The color (c), internal state (q), repaint color (A), new internal state (S), and movement direction (D) of the current position are displayed above the visualization results.

Hovering the mouse cursor over each cell of the grid displays the coordinates and color number in a tooltip.
The black line extending from the robot represents the movement path from the previous target.
The flag icon represents the next target, and turning on "show targets" will display all unvisited targets.
Turning on "show number" will display the color number on each cell.
Turning on both "show number" and "show targets" will display the order of the targets.

You can quickly switch between multiple outputs by pressing the Select File button at the top and selecting the directory containing the output files.
By naming the output file 1234.txt or abcd_1234.txt, the seed number (in this case 1234) is automatically set when the file is selected.

The text area to the bottom of the grid displays the transition rules used at each turn (t).
By clicking the ▲▼ icons located above the text area, you can sort the list by each column.

The heatmap to the right of the grid shows the usage frequency for each rule (c, q).
Unused rules are shown in gray, with low usage being white and high usage being strong red.
The transition rule used in the current turn is highlighted in blue, and the rule for the next turn is highlighted in green.
If C×Q>100000, the heatmap will not be displayed.