Performance Heuristics for GR(1) Unrealizable Core Computation. - Shachaf Cohen; Shahar Maoz (FM (2), 2026)