← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/cwf

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro/cwf
1
 
Ticks for Chain
2
 
  max-open-constraints = 0
3
 
  max-open-metas = 7
4
 
  metas = 86
5
 
Ticks for Setoid
6
 
  max-open-constraints = 5
7
 
  max-open-metas = 24
8
 
  attempted-constraints = 93
9
 
  metas = 1585
10
 
Ticks for CwF
11
 
  max-open-constraints = 13
12
 
  max-open-metas = 41
13
 
  attempted-constraints = 274
14
 
  metas = 1150
15
 
agda -v0 -v profile:100 cwf/CwF.agda --ignore-interfaces -icwf +RTS -slogs/.tmp 
16
 
   1,966,045,904 bytes allocated in the heap
17
 
   1,055,462,844 bytes copied during GC
18
 
     120,757,468 bytes maximum residency (21 sample(s))
19
 
         580,840 bytes maximum slop
20
 
             308 MB total memory in use (0 MB lost due to fragmentation)
21
 
 
22
 
  Generation 0:  3721 collections,     0 parallel,  1.48s,  1.48s elapsed
23
 
  Generation 1:    21 collections,     0 parallel,  1.32s,  1.45s elapsed
24
 
 
25
 
  INIT  time    0.01s  (  0.00s elapsed)
26
 
  MUT   time    2.73s  (  2.77s elapsed)
27
 
  GC    time    2.80s  (  2.93s elapsed)
28
 
  EXIT  time    0.00s  (  0.00s elapsed)
29
 
  Total time    5.54s  (  5.70s elapsed)
30
 
 
31
 
  %GC time      50.5%  (51.5% elapsed)
32
 
 
33
 
  Alloc rate    717,463,255 bytes per MUT second
34
 
 
35
 
  Productivity  49.3% of total user, 47.9% of total elapsed
36
 
 
37
 
──────────────────────────────────────────────────────────────────
38
 
Mach kernel version:
39
 
         Darwin Kernel Version 11.1.0: Tue Jul 26 16:07:11 PDT 2011; root:xnu-1699.22.81~1/RELEASE_X86_64
40
 
Kernel configured for up to 8 processors.
41
 
4 processors are physically available.
42
 
8 processors are logically available.
43
 
Processor type: i486 (Intel 80486)
44
 
Processors active: 0 1 2 3 4 5 6 7
45
 
Primary memory available: 8.00 gigabytes
46
 
Default processor set: 97 tasks, 404 threads, 8 processors
47
 
Load average: 1.42, Mach factor: 6.56