cwf 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. Ticks for Chain
  2. max-open-constraints = 0
  3. max-open-metas = 7
  4. metas = 85
  5. Ticks for Setoid
  6. max-open-constraints = 5
  7. max-open-metas = 24
  8. attempted-constraints = 93
  9. metas = 1576
  10. Ticks for CwF
  11. max-open-constraints = 13
  12. max-open-metas = 45
  13. attempted-constraints = 294
  14. metas = 1150
  15. agda -v0 -v profile:100 cwf/CwF.agda --ignore-interfaces -icwf +RTS -slogs/.tmp
  16. 2,088,275,464 bytes allocated in the heap
  17. 1,071,119,764 bytes copied during GC
  18. 111,478,364 bytes maximum residency (20 sample(s))
  19. 550,048 bytes maximum slop
  20. 311 MB total memory in use (0 MB lost due to fragmentation)
  21. Generation 0: 3955 collections, 0 parallel, 1.55s, 1.55s elapsed
  22. Generation 1: 20 collections, 0 parallel, 1.30s, 1.42s elapsed
  23. INIT time 0.01s ( 0.00s elapsed)
  24. MUT time 2.88s ( 2.89s elapsed)
  25. GC time 2.85s ( 2.98s elapsed)
  26. EXIT time 0.00s ( 0.00s elapsed)
  27. Total time 5.74s ( 5.87s elapsed)
  28. %GC time 49.6% (50.7% elapsed)
  29. Alloc rate 721,734,319 bytes per MUT second
  30. Productivity 50.2% of total user, 49.1% of total elapsed
  31. ──────────────────────────────────────────────────────────────────
  32. Mach kernel version:
  33. Darwin Kernel Version 11.1.0: Tue Jul 26 16:07:11 PDT 2011; root:xnu-1699.22.81~1/RELEASE_X86_64
  34. Kernel configured for up to 8 processors.
  35. 4 processors are physically available.
  36. 8 processors are logically available.
  37. Processor type: i486 (Intel 80486)
  38. Processors active: 0 1 2 3 4 5 6 7
  39. Primary memory available: 8.00 gigabytes
  40. Default processor set: 98 tasks, 414 threads, 8 processors
  41. Load average: 1.34, Mach factor: 6.64