| Predicates | j | js | py |
|---|---|---|---|
| nrev/0 | 31.432 | 61.084 | 125.454 |
| crypt/0 | 18.300 | 39.630 | 151.787 |
| deriv/0 | 26.288 | 41.257 | 215.552 |
| poly/0 | 18.705 | 35.126 | 270.925 |
| sortq/0 | 30.938 | 56.860 | 195.978 |
| tictac/0 | 36.075 | 67.336 | 213.593 |
| queens/0 | 32.343 | 63.479 | 278.761 |
| query/0 | 33.936 | 70.026 | 300.888 |
| mtak/0 | 33.390 | 66.323 | 186.481 |
| perfect/0 | 31.829 | 58.116 | 276.137 |
| calc/0 | 25.173 | 41.740 | 180.371 |
| Total | 318.409 | 600.978 | 2395.926 |
Apple A18 Pro, Darwin Kernel Version 25.5.0: Mon Apr 27 20:41:22 PDT 2026; root:xnu-12377.121.6~2/RELEASE_ARM64_T8140
| j | Dogelog Player 2.2.3, Oracle Corporation, Java 26.0.1 |
| js | Dogelog Player 2.2.3, Node, JavaScript 26.4.0 |
| py | Dogelog Player 2.2.3, PyPy, Python 3.11.15 |