:

2.4. 1603
3.3. 1267
10.4. 1139
(random) 1030
6.9. 1009
7.6. 967
2.3. 960
repeat 887
3.4. : 833
FAIL 811
4.2. 806
6.12. 791
3.1. 788
8.2. 777
723
7.7. 656
9.1. 647
1.3. 644
nl 638
1.4. 611
7.11. 603
2.5. 587
name(,L) 569
7.9. 564
7.13. clause retract 562
549
10.7. 528
10.1. 527
4 - 526
4. 507
8.4. 484
6. 468
3. 453
9.3. 435
read(X) 428
3.2. 424
5.2. 420
write(X) 409
8. - 401
400
4 - 394
5 393
. 389
get0(X) 385
2.1. 379
2 377
7.3. 373
. 372
1 370
op(X,Y,Z) 364
7.8. : random, , 363
7.1. 362

: 0.309. /Cache: 0 / 1