1 Predicate nrev/0
Case |
gnu |
j |
js |
py |
6001 x nrev |
162 |
375 |
1192 |
1766 |
Total |
162 |
375 |
1192 |
1766 |
2 Predicate crypt/0
Case |
gnu |
j |
js |
py |
301 x crypt |
282 |
290 |
844 |
782 |
Total |
282 |
290 |
844 |
782 |
3 Predicate deriv/0
Case |
gnu |
j |
js |
py |
30001 x deriv |
197 |
357 |
988 |
1156 |
Total |
197 |
357 |
988 |
1156 |
4 Predicate poly/0
Case |
gnu |
j |
js |
py |
61 x poly |
180 |
329 |
1032 |
1812 |
Total |
180 |
329 |
1032 |
1812 |
5 Predicate sortq/0
Case |
gnu |
j |
js |
py |
6001 x sortq |
255 |
447 |
1299 |
1703 |
Total |
255 |
447 |
1299 |
1703 |
6 Predicate tictac/0
Case |
gnu |
j |
js |
py |
11 x tictac |
459 |
518 |
1574 |
1688 |
Total |
459 |
518 |
1574 |
1688 |
7 Predicate queens/0
Case |
gnu |
j |
js |
py |
16 x queens |
331 |
378 |
1266 |
1125 |
Total |
331 |
378 |
1266 |
1125 |
8 Predicate query/0
Case |
gnu |
j |
js |
py |
3001 x query |
510 |
636 |
1923 |
1812 |
Total |
510 |
636 |
1923 |
1812 |
9 Predicate mtak/0
Case |
gnu |
j |
js |
py |
31 x mtak |
297 |
550 |
1663 |
1922 |
Total |
297 |
550 |
1663 |
1922 |
10 Predicate perfect/0
Case |
gnu |
j |
js |
py |
16 x perfect |
264 |
351 |
1012 |
1110 |
Total |
264 |
351 |
1012 |
1110 |
11 Predicate calc/0
Case |
gnu |
j |
js |
py |
20001 x calc |
221 |
346 |
1003 |
1265 |
Total |
221 |
346 |
1003 |
1265 |
12 Legend
AMD Ryzen 5 4500U with Radeon Graphics, Windows 11 Pro
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 |