:

2.4. 1784
3.3. 1378
10.4. 1247
2.3. 1147
(random) 1145
6.9. 1141
repeat 1068
7.6. 1023
4.2. 949
3.4. : 942
8.2. 917
FAIL 909
6.12. 891
3.1. 867
nl 786
765
name(,L) 710
7.7. 707
9.1. 704
1.3. 698
7.11. 664
1.4. 651
2.5. 647
629
7.13. clause retract 628
7.9. 597
10.7. 581
4. 576
10.1. 571
4 - 570
8.4. 544
9.3. 539
6. 535
read(X) 534
3. 519
3.2. 494
write(X) 487
8. - 462
5 458
5.2. 455
. 452
get0(X) 449
1 447
2 439
. 426
4 - 420
420
7.8. : random, , 418
2.1. 406
406
op(X,Y,Z) 406
7.1. 404

: 5.887. /Cache: 1 / 0