SHARE
TWEET

Untitled

a guest Apr 21st, 2019 55 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. cderici@snoopy:/home/cderici/pycketland/pycket$ p-stackful --load-linklets r.rkt.linklet
  2. cpu time: 34 real time: 34 gc time: 15
  3. cpu time: 23 real time: 23 gc time: 12
  4. cpu time: 22 real time: 22 gc time: 14
  5. cpu time: 12 real time: 12 gc time: 12
  6. cpu time: 12 real time: 12 gc time: 13
  7. cpu time: 12 real time: 12 gc time: 12
  8. cpu time: 12 real time: 12 gc time: 12
  9. cpu time: 12 real time: 12 gc time: 12
  10. cpu time: 12 real time: 12 gc time: 12
  11. cpu time: 12 real time: 12 gc time: 13
  12. cpu time: 12 real time: 12 gc time: 12
  13. cpu time: 12 real time: 12 gc time: 13
  14. cpu time: 12 real time: 12 gc time: 12
  15. cpu time: 11 real time: 11 gc time: 12
  16. cpu time: 12 real time: 12 gc time: 12
  17. cderici@snoopy:/home/cderici/pycketland/pycket$ p-regular --load-linklets r.rkt.linklet
  18. cpu time: 14 real time: 14 gc time: 9
  19. cpu time: 10 real time: 10 gc time: 7
  20. cpu time: 17 real time: 17 gc time: 9
  21. cpu time: 8 real time: 8 gc time: 8
  22. cpu time: 12 real time: 12 gc time: 8
  23. cpu time: 8 real time: 8 gc time: 8
  24. cpu time: 8 real time: 8 gc time: 8
  25. cpu time: 8 real time: 8 gc time: 9
  26. cpu time: 8 real time: 8 gc time: 8
  27. cpu time: 8 real time: 8 gc time: 8
  28. cpu time: 8 real time: 8 gc time: 8
  29. cpu time: 8 real time: 8 gc time: 8
  30. cpu time: 8 real time: 8 gc time: 8
  31. cpu time: 9 real time: 9 gc time: 8
  32. cpu time: 8 real time: 8 gc time: 8
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top