:

2.4. 1767
3.3. 1373
10.4. 1242
(random) 1140
2.3. 1129
6.9. 1121
repeat 1050
7.6. 1021
3.4. : 936
4.2. 927
8.2. 902
FAIL 889
6.12. 883
3.1. 866
nl 772
757
7.7. 704
9.1. 700
name(,L) 695
1.3. 691
7.11. 663
1.4. 647
2.5. 643
624
7.13. clause retract 606
7.9. 596
4. 571
10.1. 570
10.7. 566
4 - 561
8.4. 542
6. 534
read(X) 531
9.3. 525
3. 513
3.2. 490
write(X) 481
8. - 458
5 454
5.2. 450
. 444
get0(X) 442
1 441
2 432
. 424
419
4 - 417
7.8. : random, , 411
op(X,Y,Z) 404
2.1. 404
7.1. 404
402

: 1.623. /Cache: 1 / 0