:

2.4. 2074
3.3. 1580
10.4. 1450
(random) 1405
6.9. 1368
2.3. 1318
4.2. 1220
repeat 1217
7.6. 1172
6.12. 1142
8.2. 1090
3.1. 1069
3.4. : 1066
FAIL 1062
nl 1052
name(,L) 876
858
7.7. 799
7.13. clause retract 788
1.3. 783
9.1. 772
759
2.5. 749
1.4. 721
7.11. 719
10.1. 718
9.3. 691
read(X) 678
10.7. 660
7.9. 656
3. 647
8.4. 635
4 - 634
4. 623
3.2. 622
6. 620
write(X) 607
get0(X) 563
8. - 547
5 540
1 531
2 524
. 523
511
7.8. : random, , 503
5.2. 503
4 - 500
. 488
op(X,Y,Z) 482
1.1. 478
REDO 471
5.1. 467

: 0.912. /Cache: 1 / 0