SHARE
TWEET

Untitled

a guest Apr 26th, 2019 54 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. cderici@snoopy:/home/cderici/pycketland/pycket$ p-regular --load-linklets r.rkt.linklet
  2. ---- LOOP BEGINS ----
  3. cpu time: 336 real time: 336 gc time: 283
  4. cpu time: 288 real time: 288 gc time: 266
  5. cpu time: 268 real time: 268 gc time: 264
  6. cpu time: 272 real time: 272 gc time: 266
  7. cpu time: 280 real time: 280 gc time: 275
  8. cpu time: 276 real time: 276 gc time: 271
  9. cpu time: 269 real time: 269 gc time: 264
  10. cpu time: 271 real time: 271 gc time: 267
  11. cpu time: 270 real time: 270 gc time: 265
  12. cpu time: 270 real time: 270 gc time: 265
  13. cpu time: 268 real time: 268 gc time: 263
  14. cpu time: 271 real time: 271 gc time: 266
  15. cpu time: 272 real time: 272 gc time: 267
  16. cpu time: 270 real time: 270 gc time: 265
  17. cpu time: 271 real time: 271 gc time: 266
  18. ---- LOOP ENDS ----
  19. cderici@snoopy:/home/cderici/pycketland/pycket$ p-stackful --load-linklets r.rkt.linklet
  20. ---- LOOP BEGINS ----
  21. cpu time: 321 real time: 321 gc time: 282
  22. cpu time: 261 real time: 261 gc time: 261
  23. cpu time: 261 real time: 261 gc time: 260
  24. cpu time: 262 real time: 262 gc time: 261
  25. cpu time: 260 real time: 260 gc time: 260
  26. cpu time: 263 real time: 263 gc time: 262
  27. cpu time: 261 real time: 261 gc time: 261
  28. cpu time: 260 real time: 260 gc time: 260
  29. cpu time: 261 real time: 261 gc time: 260
  30. cpu time: 260 real time: 260 gc time: 259
  31. cpu time: 262 real time: 262 gc time: 262
  32. cpu time: 259 real time: 259 gc time: 259
  33. cpu time: 263 real time: 263 gc time: 262
  34. cpu time: 261 real time: 261 gc time: 260
  35. cpu time: 261 real time: 261 gc time: 261
  36. ---- LOOP ENDS ----
  37. cderici@snoopy:/home/cderici/pycketland/pycket$ r r.rkt
  38. ---- LOOP BEGINS ----
  39. cpu time: 2997 real time: 2987 gc time: 2989
  40. cpu time: 2950 real time: 2940 gc time: 2941
  41. cpu time: 2949 real time: 2937 gc time: 2940
  42. cpu time: 2950 real time: 2939 gc time: 2945
  43. cpu time: 2949 real time: 2939 gc time: 2945
  44. cpu time: 2950 real time: 2939 gc time: 2946
  45. cpu time: 2948 real time: 2937 gc time: 2938
  46. cpu time: 2946 real time: 2935 gc time: 2939
  47. cpu time: 2950 real time: 2945 gc time: 2943
  48. cpu time: 2943 real time: 2932 gc time: 2940
  49. cpu time: 2940 real time: 2929 gc time: 2932
  50. cpu time: 2945 real time: 2935 gc time: 2936
  51. cpu time: 2943 real time: 2933 gc time: 2934
  52. cpu time: 2961 real time: 2952 gc time: 2956
  53. cpu time: 2945 real time: 2935 gc time: 2934
  54. ---- LOOP ENDS ----
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top