:

2.4. 1895
3.3. 1457
10.4. 1327
6.9. 1235
(random) 1217
2.3. 1215
repeat 1127
7.6. 1078
4.2. 1024
3.4. : 1005
8.2. 991
FAIL 984
6.12. 978
3.1. 945
nl 882
name(,L) 801
800
7.7. 740
9.1. 739
1.3. 727
2.5. 704
7.13. clause retract 696
7.11. 693
691
1.4. 676
10.1. 648
7.9. 630
9.3. 619
10.7. 614
4 - 601
4. 600
8.4. 587
read(X) 586
3. 569
6. 561
write(X) 549
3.2. 539
8. - 502
. 493
5 487
get0(X) 484
1 483
478
2 474
5.2. 471
. 460
op(X,Y,Z) 450
4 - 449
7.8. : random, , 439
437
10. 434
var(X) 430

: 0.134. /Cache: 0 / 1