← Back to branch summary

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

« back to all changes in this revision

Viewing changes to benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro/syntax1

  • 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/20121005-20.31-Ulfs-MacBook-Pro/syntax1
1
 
Ticks for Basics
2
 
  max-open-constraints = 0
3
 
  pointers = 0
4
 
  pointers (reused) = 0
5
 
  max-open-metas = 1
6
 
  metas = 13
7
 
Ticks for Pr
8
 
  max-open-constraints = 0
9
 
  pointers = 0
10
 
  pointers (reused) = 0
11
 
  max-open-metas = 3
12
 
  metas = 88
13
 
Ticks for Nom
14
 
  pointers = 0
15
 
  pointers (reused) = 0
16
 
  max-open-constraints = 2
17
 
  max-open-metas = 4
18
 
  attempted-constraints = 8
19
 
  metas = 87
20
 
Ticks for Kind
21
 
  max-open-constraints = 0
22
 
  pointers = 0
23
 
  pointers (reused) = 0
24
 
  max-open-metas = 1
25
 
  metas = 10
26
 
Ticks for Cxt
27
 
  max-open-constraints = 0
28
 
  pointers = 0
29
 
  pointers (reused) = 0
30
 
  max-open-metas = 1
31
 
  metas = 59
32
 
Ticks for Loc
33
 
  max-open-constraints = 0
34
 
  pointers = 0
35
 
  pointers (reused) = 0
36
 
  max-open-metas = 6
37
 
  metas = 145
38
 
Ticks for Term
39
 
  pointers = 0
40
 
  pointers (reused) = 0
41
 
  max-open-constraints = 2
42
 
  attempted-constraints = 4
43
 
  max-open-metas = 10
44
 
  metas = 241
45
 
Ticks for Shift
46
 
  pointers = 0
47
 
  pointers (reused) = 0
48
 
  max-open-constraints = 2
49
 
  max-open-metas = 14
50
 
  attempted-constraints = 16
51
 
  metas = 230
52
 
Ticks for Eta
53
 
  pointers = 0
54
 
  pointers (reused) = 0
55
 
  max-open-constraints = 2
56
 
  attempted-constraints = 12
57
 
  max-open-metas = 18
58
 
  metas = 185
59
 
Ticks for Inst
60
 
  pointers = 0
61
 
  pointers (reused) = 0
62
 
  max-open-constraints = 2
63
 
  attempted-constraints = 9
64
 
  max-open-metas = 16
65
 
  metas = 276
66
 
Ticks for Subst
67
 
  pointers = 0
68
 
  pointers (reused) = 0
69
 
  max-open-constraints = 2
70
 
  attempted-constraints = 8
71
 
  max-open-metas = 13
72
 
  metas = 202
73
 
Ticks for Syntacticosmos
74
 
  max-open-constraints = 0
75
 
  pointers = 0
76
 
  pointers (reused) = 0
77
 
  max-open-metas = 1
78
 
  metas = 1
79
 
Ticks for UntypedLambda
80
 
  pointers = 0
81
 
  pointers (reused) = 0
82
 
  max-open-constraints = 2
83
 
  attempted-constraints = 20
84
 
  max-open-metas = 23
85
 
  metas = 101
86
 
agda -v0 -v profile:100 Syntacticosmos/UntypedLambda.agda --ignore-interfaces -iSyntacticosmos +RTS -K32M -slogs/.tmp (null) 
87
 
   1,636,293,952 bytes allocated in the heap
88
 
     321,732,516 bytes copied during GC
89
 
      10,706,432 bytes maximum residency (34 sample(s))
90
 
         227,624 bytes maximum slop
91
 
              29 MB total memory in use (0 MB lost due to fragmentation)
92
 
 
93
 
                                    Tot time (elapsed)  Avg pause  Max pause
94
 
  Gen  0      3093 colls,     0 par    0.63s    0.64s     0.0002s    0.0011s
95
 
  Gen  1        34 colls,     0 par    0.42s    0.43s     0.0128s    0.0290s
96
 
 
97
 
  INIT    time    0.00s  (  0.00s elapsed)
98
 
  MUT     time    2.53s  (  2.54s elapsed)
99
 
  GC      time    1.05s  (  1.07s elapsed)
100
 
  EXIT    time    0.00s  (  0.00s elapsed)
101
 
  Total   time    3.59s  (  3.61s elapsed)
102
 
 
103
 
  %GC     time      29.3%  (29.6% elapsed)
104
 
 
105
 
  Alloc rate    647,000,470 bytes per MUT second
106
 
 
107
 
  Productivity  70.7% of total user, 70.3% of total elapsed
108
 
 
109
 
──────────────────────────────────────────────────────────────────
110
 
Mach kernel version:
111
 
         Darwin Kernel Version 11.4.0: Mon Apr  9 19:32:15 PDT 2012; root:xnu-1699.26.8~1/RELEASE_X86_64
112
 
Kernel configured for up to 8 processors.
113
 
4 processors are physically available.
114
 
8 processors are logically available.
115
 
Processor type: i486 (Intel 80486)
116
 
Processors active: 0 1 2 3 4 5 6 7
117
 
Primary memory available: 8.00 gigabytes
118
 
Default processor set: 103 tasks, 548 threads, 8 processors
119
 
Load average: 1.45, Mach factor: 6.54