| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 8.10.2.4, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 4 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 6 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 7 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 8 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 9 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 10a | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 10b | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 11 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 12a | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 12b | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 13 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, ISO 14 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 3a | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 3b | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 4a | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 4b | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 5a | 1 | 1 | 1 | 1 | 1 |
| ISO 8.10.2.4, XLOG 5b | 1 | 1 | 1 | 1 | 1 |
| Total | 22 | 22 | 22 | 22 | 22 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| XLOG 3.1.2, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.2, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.2, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.2, XLOG 4 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.2, XLOG 5 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.2, XLOG 6 | 1 | 1 | 1 | 1 | 1 |
| Total | 6 | 6 | 6 | 6 | 6 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| XLOG 3.1.3, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 4 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 5 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 6 | 0 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 7 | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 8a | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 8b | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 9a | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 9b | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 10a | 1 | 1 | 1 | 1 | 1 |
| XLOG 3.1.3, XLOG 10b | 1 | 1 | 1 | 1 | 1 |
| Total | 12 | 13 | 13 | 13 | 13 |
amd64, Windows 11
| gnu | GNU Prolog 1.5.0 |
| j | Dogelog Player 1.3.2, Oracle Corporation, Java 24 |
| js | Dogelog Player 1.3.2, node, JavaScript 23.10.0 |
| py | Dogelog Player 1.3.2, PyPy, Python 3.11.11 |
| cnt | Number of Test Cases |