home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / sbprolog / bench < prev    next >
Encoding:
Text File  |  1993-10-23  |  2.8 KB  |  53 lines
  1. ***** Bench results on Pereira's bench (DEC3100 8Mbytes) *******
  2.  
  3.  
  4. tail_call_atom_atom took (1179 - 219.000000) / 2000 = 0.480000 milli-seconds/iteration
  5. binary_call_atom_atom took (2253 - 211.000000) / 2000 = 1.021000 milli-seconds/iteration
  6. cons_list took (2270 - 214.000000) / 2000 = 1.028000 milli-seconds/iteration
  7. walk_list took (2168 - 215.000000) / 2000 = 0.976500 milli-seconds/iteration
  8. walk_list_rec took (1089 - 215.000000) / 2000 = 0.437000 milli-seconds/iteration
  9. args(1) took (1180 - 211.000000) / 2000 = 0.484500 milli-seconds/iteration
  10. args(2) took (1805 - 215.000000) / 2000 = 0.795000 milli-seconds/iteration
  11. args(4) took (3054 - 211.000000) / 2000 = 1.421500 milli-seconds/iteration
  12. args(8) took (5593 - 211.000000) / 2000 = 2.691000 milli-seconds/iteration
  13. args(16) took (10604 - 215.000000) / 2000 = 5.194500 milli-seconds/iteration
  14. cons_term took (2348 - 214.000000) / 2000 = 1.067000 milli-seconds/iteration
  15. walk_term took (2227 - 211.000000) / 2000 = 1.008000 milli-seconds/iteration
  16. walk_term_rec took (2149 - 214.000000) / 2000 = 0.967500 milli-seconds/iteration
  17. shallow_backtracking took (1563 - 215.000000) / 2000 = 0.674000 milli-seconds/iteration
  18. deep_backtracking took (3074 - 211.000000) / 2000 = 1.431500 milli-seconds/iteration
  19. choice_point took (3266 - 210.000000) / 2000 = 1.528000 milli-seconds/iteration
  20. trail_variables took (3602 - 211.000000) / 2000 = 1.695500 milli-seconds/iteration
  21. medium_unify took (1632 - 223.000000) / 2000 = 0.704500 milli-seconds/iteration
  22. deep_unify took (4566 - 8.000000) / 100 = 45.579987 milli-seconds/iteration
  23. integer_add took (1382 - 110.000000) / 1000 = 1.272000 milli-seconds/iteration
  24. floating_add took (5070 - 110.000000) / 1000 = 4.959999 milli-seconds/iteration
  25. arg(1) took (2969 - 215.000000) / 2000 = 1.377000 milli-seconds/iteration
  26. arg(2) took (2941 - 211.000000) / 2000 = 1.365000 milli-seconds/iteration
  27. arg(4) took (2968 - 211.000000) / 2000 = 1.378500 milli-seconds/iteration
  28. arg(8) took (2965 - 214.000000) / 2000 = 1.375500 milli-seconds/iteration
  29. arg(16) took (2964 - 211.000000) / 2000 = 1.376500 milli-seconds/iteration
  30. index took (3992 - 223.000000) / 2000 = 1.884500 milli-seconds/iteration
  31. assert_unit took (80436 - 0.000000) / 1 = 80436 milli-seconds/iteration
  32. access_unit took (1324 - 8.000000) / 100 = 13.160004 milli-seconds/iteration
  33. slow_access_unit took (1293 - 4.000000) / 10 = 128.900024 milli-seconds/iteration
  34. setof took (1773 - 0.000000) / 10 = 177.300049 milli-seconds/iteration
  35. pair_setof took (2312 - 0.000000) / 10 = 231.199951 milli-seconds/iteration
  36. double_setof took (5480 - 4.000000) / 10 = 547.600098 milli-seconds/iteration
  37. bagof took (683 - 0.000000) / 10 = 68.299988 milli-seconds/iteration
  38.  
  39. ***** Bench results on Naive Reverse (DEC3100 8Mbytes) *******
  40.  
  41. SB-Prolog 3.0
  42. | ?- load(nrev).
  43. yes
  44. | ?- bench(500).
  45. 1554
  46. 1574
  47. 4792
  48. 20
  49. 3218
  50. 3198
  51. Lips = 77548.437500
  52. yes
  53.