Table 3. Conflict results on different abstractions.
oRow | oCol | TW | PW | NW | CPW | CNW | CPD | CND |
---|---|---|---|---|---|---|---|---|
1 | 28 | 59745 | 6605 | 53140 | 0 | 0 | 0 | 0 |
2 | 28 | 59640 | 6500 | 53140 | 0 | 0 | 0 | 0 |
4 | 28 | 58817 | 5755 | 53062 | 15 | 0 | 0 | 15 |
7 | 28 | 53912 | 4501 | 49411 | 246 | 11 | 11 | 248 |
14 | 28 | 5444 | 248 | 5196 | 163 | 544 | 2577 | 1367 |
28 | 1 | 59708 | 6569 | 53139 | 1 | 0 | 0 | 1 |
28 | 2 | 59321 | 6195 | 53126 | 8 | 0 | 0 | 8 |
28 | 4 | 55944 | 4512 | 51432 | 421 | 80 | 81 | 431 |
28 | 7 | 36535 | 1414 | 35121 | 490 | 744 | 2276 | 1333 |
28 | 14 | 5229 | 734 | 4495 | 327 | 871 | 3196 | 1195 |
28 | 28 | 239 | 37 | 202 | 24 | 79 | 3765 | 1204 |