Selection

Stage 1

No analysis yet.

Status

Idle

Waiting for the first run.

Search

0 states

No expanded nodes yet.

Replay

0 / 0

Replay starts after a result exists.

Simulation Replay

Best available run

Mode Proof

Frame 0

Action Waiting

Progress 0%

Time 0.0s

Checkpoint 0

Current Result

Exact solver output for the selected stage.

Batch Status

Live summary of every checked stage.

Path Analysis

Confirmed reachability and current bottleneck.

Reachable Transitions

Witnessed landmark-to-landmark hops from the exact simulation.

Level Table

All stages with the latest proof status.