← Back to branch summary

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

« back to all changes in this revision

Viewing changes to benchmark/logs/20110910-23.55-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/20110910-23.55-Ulfs-MacBook-Pro/syntax1
1
 
Ticks for Basics
2
 
  max-open-metas = 5
3
 
  metas = 27
4
 
Ticks for Pr
5
 
  max-open-metas = 4
6
 
  metas = 176
7
 
Ticks for Nom
8
 
  max-open-constraints = 2
9
 
  max-open-metas = 6
10
 
  attempted-constraints = 22
11
 
  metas = 141
12
 
Ticks for Kind
13
 
  max-open-metas = 4
14
 
  metas = 22
15
 
Ticks for Cxt
16
 
  max-open-metas = 8
17
 
  metas = 108
18
 
Ticks for Loc
19
 
  max-open-metas = 8
20
 
  metas = 195
21
 
Ticks for Term
22
 
  max-open-constraints = 2
23
 
  attempted-constraints = 7
24
 
  max-open-metas = 10
25
 
  metas = 315
26
 
Ticks for Shift
27
 
  max-open-constraints = 2
28
 
  max-open-metas = 14
29
 
  attempted-constraints = 28
30
 
  metas = 269
31
 
Ticks for Eta
32
 
  max-open-constraints = 2
33
 
  max-open-metas = 18
34
 
  attempted-constraints = 29
35
 
  metas = 223
36
 
Ticks for Inst
37
 
  max-open-constraints = 2
38
 
  max-open-metas = 16
39
 
  attempted-constraints = 23
40
 
  metas = 329
41
 
Ticks for Subst
42
 
  max-open-constraints = 2
43
 
  attempted-constraints = 14
44
 
  max-open-metas = 16
45
 
  metas = 255
46
 
Ticks for Syntacticosmos
47
 
  max-open-metas = 2
48
 
  metas = 5
49
 
Ticks for UntypedLambda
50
 
  max-open-constraints = 2
51
 
  max-open-metas = 23
52
 
  attempted-constraints = 53
53
 
  metas = 111
54
 
agda -v0 -v profile:100 Syntacticosmos/UntypedLambda.agda --ignore-interfaces -iSyntacticosmos +RTS -K32M -slogs/.tmp 
55
 
   2,413,963,020 bytes allocated in the heap
56
 
     369,626,960 bytes copied during GC
57
 
      13,673,104 bytes maximum residency (39 sample(s))
58
 
         223,860 bytes maximum slop
59
 
              34 MB total memory in use (0 MB lost due to fragmentation)
60
 
 
61
 
  Generation 0:  4544 collections,     0 parallel,  0.73s,  0.74s elapsed
62
 
  Generation 1:    39 collections,     0 parallel,  0.48s,  0.50s elapsed
63
 
 
64
 
  INIT  time    0.01s  (  0.00s elapsed)
65
 
  MUT   time    3.81s  (  3.83s elapsed)
66
 
  GC    time    1.22s  (  1.24s elapsed)
67
 
  EXIT  time    0.00s  (  0.00s elapsed)
68
 
  Total time    5.04s  (  5.06s elapsed)
69
 
 
70
 
  %GC time      24.1%  (24.4% elapsed)
71
 
 
72
 
  Alloc rate    631,796,667 bytes per MUT second
73
 
 
74
 
  Productivity  75.7% of total user, 75.2% of total elapsed
75
 
 
76
 
──────────────────────────────────────────────────────────────────
77
 
Mach kernel version:
78
 
         Darwin Kernel Version 11.1.0: Tue Jul 26 16:07:11 PDT 2011; root:xnu-1699.22.81~1/RELEASE_X86_64
79
 
Kernel configured for up to 8 processors.
80
 
4 processors are physically available.
81
 
8 processors are logically available.
82
 
Processor type: i486 (Intel 80486)
83
 
Processors active: 0 1 2 3 4 5 6 7
84
 
Primary memory available: 8.00 gigabytes
85
 
Default processor set: 91 tasks, 377 threads, 8 processors
86
 
Load average: 1.13, Mach factor: 6.86