← Back to branch summary

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

« back to all changes in this revision

Viewing changes to benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro/ac2

  • 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-18.37-Ulfs-MacBook-Pro/ac2
1
 
Ticks for Logic
2
 
  max-open-constraints = 0
3
 
  pointers (reused) = 0
4
 
  max-open-metas = 1
5
 
  metas = 1
6
 
  pointers = 3
7
 
Ticks for Bool
8
 
  max-open-constraints = 0
9
 
  max-open-metas = 1
10
 
  pointers (reused) = 10
11
 
  metas = 36
12
 
  pointers = 138
13
 
Ticks for Nat
14
 
  max-open-constraints = 0
15
 
  pointers (reused) = 0
16
 
  max-open-metas = 1
17
 
  metas = 12
18
 
  pointers = 44
19
 
Ticks for List
20
 
  max-open-constraints = 2
21
 
  attempted-constraints = 4
22
 
  max-open-metas = 4
23
 
  metas = 32
24
 
  pointers (reused) = 76
25
 
  pointers = 127
26
 
Ticks for Fin
27
 
  max-open-constraints = 0
28
 
  max-open-metas = 4
29
 
  pointers (reused) = 7
30
 
  metas = 48
31
 
  pointers = 202
32
 
Ticks for Vec
33
 
  max-open-constraints = 0
34
 
  max-open-metas = 6
35
 
  pointers (reused) = 9
36
 
  metas = 40
37
 
  pointers = 111
38
 
Ticks for EqProof
39
 
  max-open-constraints = 0
40
 
  max-open-metas = 3
41
 
  metas = 22
42
 
  pointers = 23
43
 
  pointers (reused) = 26
44
 
Ticks for AC
45
 
  max-open-constraints = 2
46
 
  attempted-constraints = 14
47
 
  max-open-metas = 28
48
 
  metas = 417
49
 
  pointers = 971
50
 
  pointers (reused) = 1077
51
 
Ticks for Example
52
 
  max-open-constraints = 0
53
 
  max-open-metas = 7
54
 
  metas = 83
55
 
  pointers (reused) = 147
56
 
  pointers = 569
57
 
agda -v0 -v profile:100 ac/Example.agda --ignore-interfaces -iac +RTS -slogs/.tmp (null) 
58
 
     779,377,680 bytes allocated in the heap
59
 
     122,094,960 bytes copied during GC
60
 
       8,752,944 bytes maximum residency (19 sample(s))
61
 
         261,828 bytes maximum slop
62
 
              25 MB total memory in use (0 MB lost due to fragmentation)
63
 
 
64
 
                                    Tot time (elapsed)  Avg pause  Max pause
65
 
  Gen  0      1471 colls,     0 par    0.23s    0.24s     0.0002s    0.0012s
66
 
  Gen  1        19 colls,     0 par    0.15s    0.16s     0.0085s    0.0262s
67
 
 
68
 
  INIT    time    0.00s  (  0.00s elapsed)
69
 
  MUT     time    1.57s  (  1.59s elapsed)
70
 
  GC      time    0.39s  (  0.40s elapsed)
71
 
  EXIT    time    0.00s  (  0.00s elapsed)
72
 
  Total   time    1.96s  (  1.99s elapsed)
73
 
 
74
 
  %GC     time      19.7%  (20.0% elapsed)
75
 
 
76
 
  Alloc rate    496,962,714 bytes per MUT second
77
 
 
78
 
  Productivity  80.3% of total user, 79.5% of total elapsed
79
 
 
80
 
──────────────────────────────────────────────────────────────────
81
 
Mach kernel version:
82
 
         Darwin Kernel Version 11.4.0: Mon Apr  9 19:32:15 PDT 2012; root:xnu-1699.26.8~1/RELEASE_X86_64
83
 
Kernel configured for up to 8 processors.
84
 
4 processors are physically available.
85
 
8 processors are logically available.
86
 
Processor type: i486 (Intel 80486)
87
 
Processors active: 0 1 2 3 4 5 6 7
88
 
Primary memory available: 8.00 gigabytes
89
 
Default processor set: 99 tasks, 512 threads, 8 processors
90
 
Load average: 1.98, Mach factor: 6.01