Primary-edge violation detection on Synthetic priority-graph (edge-covered)
0.945BT AUROCPrimary-edge monitor
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Primary-edge monitorModel=7B2026.06 | 0.945 | 0.837 | 0.108 | |
| Primary-edge monitorModel=14B2026.06 | 0.927 | 0.786 | 0.141 | |
| Primary-edge monitorModel=3B2026.06 | 0.903 | 0.733 | 0.17 |