ci/verification-stg-arbitration/arbitration-3.stg.result.ref
Combined check: true
Consistency: true
Deadlock freeness: true
Input properness: true
Output persistency: true
Output determinacy: true
CSC: true
USC: true
Absence of local self-triggering: true
DI interface (with exceptions): true
Normalcy: false
Mutex implementability: true