:

2.4. 1476
3.3. 1181
10.4. 997
6.9. 939
(random) 932
2.3. 874
7.6. 866
repeat 787
3.4. : 760
FAIL 732
4.2. 731
6.12. 713
8.2. 679
654
3.1. 646
7.7. 612
1.3. 588
9.1. 585
1.4. 557
7.11. 543
nl 543
2.5. 536
7.9. 523
name(,L) 502
7.13. clause retract 499
489
10.1. 470
4 - 463
10.7. 461
4. 451
8.4. 434
6. 414
9.3. 408
3.2. 389
read(X) 389
5.2. 388
3. 384
380
5 369
8. - 369
get0(X) 365
write(X) 360
. 354
2 351
4 - 344
1 341
7.1. 336
7.3. 334
2.1. 331
10.3. 321
7.8. : random, , 320
. 319

: 0.507. /Cache: 1 / 0