171 B
171 B
| 1 | Circuit | Timing deviation | Value failure | Coding failure | Glitch | Deadlock | Token count failure | Nothing |
|---|---|---|---|---|---|---|---|---|
| 2 | DIMS | 89 | 8 | 11 | 10 | 4 | 5 | 8 |
| 3 | DIMS rand | 15 | 9 | 12 | 10 | 4 | 5 | 72 |
| 4 | NCLX | 96 | 8 | nan | 12 | 3 | 5 | 4 |