{"source_unchanged": true, "movement_cases": 420, "simultaneous_cases": 1200, "traces": 38, "trace_transitions": 1367, "controller_traces": 9, "controller_observations": 217, "passed": true}
