| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.1, ISO 8 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.1, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.1, ISO 9 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.1, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.1, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 5 | 5 | 5 | 5 | 5 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.2, ISO 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.2, ISO 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.2, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.2, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 4 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.3, ISO 7 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.3, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.3, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.3, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 4 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.4, ISO 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.4, ISO 4 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.4, ISO 5 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.4, ISO 6 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.4, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.4, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 6 | 6 | 6 | 6 | 6 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.5, ISO 21 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.5, ISO 23 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.5, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.5, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.5, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.5, XLOG 4 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 6 | 6 | 6 | 6 | 6 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.6, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 4 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 5 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 6 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 7 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.6, XLOG 8 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 8 | 8 | 8 | 8 | 8 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| Corr.2 9.1.3, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.1.3, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.1.3, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.1.3, XLOG 4 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.1.3, XLOG 5 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.1.3, XLOG 6 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 6 | 6 | 6 | 6 | 6 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7.7, ISO 30 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, ISO 31 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, ISO 32 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, ISO 33 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, ISO 34 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, ISO 36 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7.7, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| Gesamt | 8 | 8 | 8 | 8 | 8 |
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 |