Web Server Statistics for the Computer Laboratory (Larry Paulson's pages only)

Program started at Mon-20-May-2013 10:03.
Analysed requests from Tue-09-Apr-2013 04:20 to Wed-08-May-2013 10:52 (29.27 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Successful requests: 13,543
Average successful requests per day: 462
Successful requests for pages: 4,871
Average successful requests for pages per day: 166
Failed requests: 442
Redirected requests: 95
Distinct files requested: 459
Distinct hosts served: 2,649
Corrupt logfile lines: 17
Unwanted logfile entries: 10,683
Data transferred: 5.05 gigabytes
Average data transferred per day: 176.70 megabytes

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 20 requests for pages or part thereof.

dayreqspages 
Sun1402521+++++++++++++++++++++++++++
Mon1655560++++++++++++++++++++++++++++
Tue2258859+++++++++++++++++++++++++++++++++++++++++++
Wed2185708++++++++++++++++++++++++++++++++++++
Thu2333802+++++++++++++++++++++++++++++++++++++++++
Fri2245887+++++++++++++++++++++++++++++++++++++++++++++
Sat1465534+++++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
414837.09%[unresolved numerical addresses]
152519.12%.net (Networks)
351516.02%.com (Commercial)
47 6.01%.cn (China)
550 4.40%.de (Germany)
803 3.14%.uk (United Kingdom)
349 2.82%.in (India)
858 1.95%.edu (USA Higher Education)
41 1.71%.fr (France)
139 1.47%.au (Australia)
96 1.34%.jp (Japan)
44 0.47%.gh (Ghana)
154 0.40%[domain not given]
72 0.32%.br (Brazil)
92 0.32%.id (Indonesia)
89 0.29%.np (Nepal)
95 0.26%.gr (Greece)
13 0.26%.pl (Poland)
22 0.20%.tr (Turkey)
42 0.19%.za (South Africa)
22 0.15%.pk (Pakistan)
10 0.14%.gov (USA Government)
49 0.14%.it (Italy)
52 0.13%.ca (Canada)
7 0.12%.no (Norway)
68 0.11%.jo (Jordan)
85 0.10%.ru (Russia)
5 0.10%.ye (Yemen)
49 0.09%.arpa (Arpanet)
10 0.08%[unknown domain]
17 0.08%.ie (Ireland)
2 0.07%.ke (Kenya)
25 0.06%.se (Sweden)
17 0.06%.ph (Philippines)
38 0.06%.nl (Netherlands)
18 0.05%.ch (Switzerland)
35 0.05%.sg (Singapore)
6 0.05%.nz (New Zealand)
3 0.05%.tz (Tanzania)
12 0.05%.my (Malaysia)
28 0.04%.il (Israel)
21 0.04%.co (Colombia)
5 0.03%.fi (Finland)
3 0.03%.rw (Rwanda)
3 0.03%.eg (Egypt)
2 0.03%.sl (Sierra Leone)
11 0.03%.vn (Vietnam)
6 0.02%.ro (Romania)
2 0.02%.lt (Lithuania)
34 0.02%.org (Non Profit Making Organisations)
20 0.02%.mx (Mexico)
24 0.02%.at (Austria)
1 0.02%.zw (Zimbabwe)
10 0.02%.pt (Portugal)
14 0.01%.sk (Slovakia)
8 0.01%.th (Thailand)
16 0.01%.es (Spain)
13 0.01%.dk (Denmark)
15 0.01%.cz (Czech Republic)
8 0.01%.hr (Croatia)
3 0.01%.bg (Bulgaria)
1 .ae (United Arab Emirates)
28 .uz (Uzbekistan)
6 .ua (Ukraine)
1 .cc (Cocos (Keeling) Islands)
1 .tw (Taiwan)
1 .hk (Hong Kong)
1 .io (British Indian Ocean Territory)
3 .be (Belgium)
1 .cl (Chile)
2 .gt (Guatemala)
15 .ar (Argentina)
1 .li (Liechtenstein)
1 .py (Paraguay)
2 .tt (Trinidad and Tobago)
2 .info (Informational)
1 .us (United States)
2 .by (Belarus)
2 .ee (Estonia)
1 .bn (Brunei Darussalam)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
1377 6.69%msn.com
600 2.69%cam.ac.uk
477 2.71%117
386 1.36%psu.edu
369 1.91%yandex.com
346 2.83%baidu.com
278 0.04%scoutjet.com
226 1.30%sistrix.net
172 0.19%218.30
17112.44%123
154 0.40%[domain not given]
152 0.84%137.110
149 0.98%41
147 0.87%virginmedia.com
142 0.79%59
140 0.14%comcastbusiness.net
129 0.82%comcast.net
129 0.40%yasni.de
128 0.87%115
124 0.62%101
774761.11%[not listed: 965 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
877software
691engineering
686pdf
513notes
288in
196for
139of
95enginnering
90on
89the
75a
71journal
65fundamentals
62design
61semantic
56compiler
54diploma
53equivalence
47carlo
46ghezzi
46paulson
42and
42by
41download
40rule
37class
35engg
35computer
33dance
33strategies
2764[not listed: 721 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
138292010OS unknown
262401133Windows
 4740756  Unknown Windows
 1386313  Windows XP
 5541  Windows NT
 4112  Windows 2000
 44  Windows 3.1
 114  Windows Server 2003
 33  Windows 98
31227746Known robots
41198436Macintosh
5900431Unix
 895428  Linux
 32  Other Unix
 11  BSD
 10  SunOS
620Symbian OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
8995200 OK
4005206 Partial content
95301 Document moved permanently
543304 Not modified since last retrieval
77403 Access forbidden
365404 Document not found

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
0665 
1B- 10B8 
11B- 100B1 
101B- 1kB197 
1kB- 10kB3533 0.30%
10kB-100kB4872 2.98%
100kB- 1MB378532.08%
1MB- 10MB39521.01%
10MB-100MB8743.62%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
752547.00%.pdf [Adobe Portable Document Format]
38032.28%.gz [Gzip compressed files]
16832.22%  .tar.gz [Compressed archives]
9119.17%.tbz
3253 0.44%[directories]
3 0.40%.zip [Zip archives]
1618 0.26%.html [Hypertext Markup Language]
3 0.19%.tgz
451 0.15%.jpg [JPEG graphics]
219 0.11%[not listed: 7 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
224317.72% 8/May/13 10:50/~lp15/papers/Notes/SE-I.pdf
1685 4.07% 8/May/13 04:30/~lp15/papers/Reports/equivclasses-slides.pdf
740 0.14% 8/May/13 06:19/~lp15/
453 0.02% 8/May/13 02:11/~lp15/MLbook/
382 0.12% 8/May/13 09:17/~lp15/images/larry-paulson.jpg
295 0.05% 8/May/13 09:54/~lp15/papers/Arith/
277 7.18% 8/May/13 05:55/~lp15/papers/Reports/thesis.pdf
243 0.08% 8/May/13 08:57/~lp15/papers/refereed.html
179 0.43% 7/May/13 15:43/~lp15/papers/Reports/popl82.pdf
160 0.01% 8/May/13 01:27/~lp15/MLbook/programs/
108 0.56% 7/May/13 06:18/~lp15/papers/Auth/jcs.pdf
100 0.01% 8/May/13 05:22/~lp15/papers/Sets/
94 0.01% 8/May/13 01:12/~lp15/papers/Automation/
86 0.02% 8/May/13 00:55/~lp15/papers/Auth/
85  8/May/13 10:33/~lp15/MLbook/exercises/
85 2.07% 6/May/13 23:50/~lp15/Sue/Thesis.pdf
81 0.24% 7/May/13 06:55/~lp15/papers/Notes/Founds-FP.pdf
78 0.29% 8/May/13 10:52/~lp15/papers/Reports/equivclasses.pdf
76 0.01% 8/May/13 01:31/~lp15/papers/lecture-courses.html
76 0.01% 8/May/13 01:05/~lp15/Grants/AutoPolyFun/
74  8/May/13 00:48/~lp15/MLbook/pub-details.html
70 0.19% 8/May/13 09:07/~lp15/papers/Auth/tls.pdf
69 0.01% 8/May/13 01:17/~lp15/papers/
10  6/May/13 19:50  /~lp15/papers/?C=D;O=A
69 0.01% 8/May/13 01:02/~lp15/papers/Reports/
67 0.15% 6/May/13 09:38/~lp15/papers/Bella/esorics98.pdf
65 0.01% 8/May/13 00:47/~lp15/papers/isabelle.html
64 0.01% 8/May/13 01:10/~lp15/Sue/
64 0.31% 7/May/13 04:54/~lp15/papers/Bella/smartcards-jcs.pdf
63 0.06% 7/May/13 07:41/~lp15/papers/Reports/mutil.pdf
62  8/May/13 01:10/~lp15/Pages/cv.html
61 0.01% 8/May/13 07:25/~lp15/archive/
61 0.19% 7/May/13 21:56/~lp15/papers/Reports/fleuriot-kepler.pdf
60 0.16% 6/May/13 19:48/~lp15/Pages/Munich-slides.pdf
59 0.09% 8/May/13 08:00/~lp15/Pages/vita.pdf
59 0.01% 8/May/13 01:18/~lp15/MLbook/ERRATA.html
59 0.01% 8/May/13 00:37/~lp15/Grants/Automation/
57  7/May/13 22:15/~lp15/MLbook/general.html
57 0.01% 8/May/13 01:19/~lp15/Grants/LEO-II/
56 0.01% 8/May/13 01:20/~lp15/papers/workshop.html
55  8/May/13 00:22/~lp15/Pages/
54 0.37% 7/May/13 23:23/~lp15/papers/Arith/MetiTarski-jar.pdf
53  8/May/13 00:54/~lp15/papers/UNITY/
53 0.08% 6/May/13 20:54/~lp15/papers/Auth/SET-overview-2002.pdf
52 0.01% 6/May/13 11:46/~lp15/MLbook/review.html
52 0.01% 7/May/13 16:15/~lp15/Grants/leo2.html
50  8/May/13 01:23/~lp15/Grants/
49  7/May/13 11:19/~lp15/papers/Bella/
10  4/May/13 06:25  /~lp15/papers/Bella/?C=M;O=A
47  8/May/13 01:03/~lp15/MLbook/programs/sample2.sml.gz
47 0.28% 7/May/13 19:55/~lp15/papers/Automation/reconstruction.pdf
47 0.01% 8/May/13 01:06/~lp15/papers/recur.html
47  8/May/13 01:11/~lp15/papers/hol.html
47 0.01% 7/May/13 20:27/~lp15/Grants/SET/
46 0.06% 8/May/13 01:17/~lp15/Usage/
46  8/May/13 01:09/~lp15/papers/books.html
44 0.19% 7/May/13 08:22/~lp15/papers/Auth/SET-overview-IJIS.pdf
43  8/May/13 01:07/~lp15/Pages/CL-English.html
42  7/May/13 16:54/~lp15/papers/Arith/download.html
42  4/May/13 14:09/~lp15/papers/Notes/
42 0.02% 6/May/13 23:50/~lp15/Sue/Sue Paulson.jpg
40  6/May/13 19:50/~lp15/tmp/
40 0.01% 8/May/13 01:16/~lp15/papers/invited.html
39 0.19% 8/May/13 05:29/~lp15/papers/Sets/set-II.pdf
39 0.06% 7/May/13 00:36/~lp15/papers/Arith/Narayanan DATE.pdf
38 0.19% 7/May/13 18:44/~lp15/papers/Automation/translations-jar.pdf
38  6/May/13 19:21/~lp15/papers/Workshop/
37 0.12% 5/May/13 02:37/~lp15/papers/Kammueller/sylow.pdf
36 0.09% 8/May/13 07:55/~lp15/papers/Bella/nonrepudiation.pdf
36 0.12% 7/May/13 15:29/~lp15/papers/UNITY/Mechanizing-compositional.pdf
36 0.01% 4/May/13 20:28/~lp15/Grants/UNITY/
35 0.17% 7/May/13 21:47/~lp15/papers/Bella/accountability.pdf
34 0.01% 7/May/13 05:10/~lp15/MLbook/exercises/exer2.html
33  8/May/13 00:58/~lp15/Grants/arith.html
32  7/May/13 06:46/~lp15/MLbook/first/
32 0.08% 6/May/13 00:04/~lp15/papers/Automation/paar.pdf
31 0.02% 7/May/13 10:59/~lp15/Pages/Top100Theorems.html
30 0.01% 3/May/13 13:24/~lp15/MLbook/exercises/exer4.html
30 0.07% 7/May/13 21:55/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.20% 8/May/13 00:28/~lp15/papers/Reports/intro-to-isabelle.pdf
30  3/May/13 03:58/~lp15/papers/Ballarin/
30  3/May/13 03:58/~lp15/papers/Kammueller/
30 0.10% 8/May/13 05:23/~lp15/papers/Sets/reflection.pdf
29  8/May/13 04:55/~lp15/papers/Deduction/
29  4/May/13 14:09/~lp15/images/
29 0.03% 6/May/13 19:42/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
28 0.48% 7/May/13 00:36/~lp15/papers/Arith/metit-slides.pdf
28 0.05% 7/May/13 00:36/~lp15/papers/Arith/pdpar2006.pdf
27 0.01% 7/May/13 04:24/~lp15/MLbook/exercises/exer3.html
27 2.05%23/Apr/13 10:54/~lp15/archive/Isabelle2005.tar.gz
27 0.07% 8/May/13 10:24/~lp15/papers/Arith/lpar2007.pdf
27 0.02% 7/May/13 21:58/~lp15/images/pilkington.jpg
27  6/May/13 19:27/~lp15/Data/relevance/
26 0.01% 7/May/13 19:01/~lp15/MLbook/first/programs/Lists-Trees.ML
26  7/May/13 04:51/~lp15/MLbook/disclaimer.html
26 0.01% 8/May/13 02:26/~lp15/MLbook/exercises/exer6.html
26 0.06% 5/May/13 20:55/~lp15/papers/Bella/purchase.pdf
26 0.12% 4/May/13 22:30/~lp15/papers/Sets/set-I.pdf
25 0.02% 7/May/13 06:39/~lp15/papers/paulson.bib
25  5/May/13 03:04/~lp15/MLbook/first/programs/
25  8/May/13 01:03/~lp15/MLbook/programs/sample3.sml.gz
25 0.06% 8/May/13 08:14/~lp15/papers/Bella/dimacs97.pdf
25 0.16% 7/May/13 00:36/~lp15/papers/Arith/calculemus2008.pdf
25 0.11% 3/May/13 18:28/~lp15/papers/Sets/reflection-slides.pdf
25  8/May/13 02:19/~lp15/papers/Arith/atan-problem-1-weak.html
25  4/May/13 23:30/~lp15/Pages/ACS-proposals.html
25 0.07% 8/May/13 06:57/~lp15/papers/Arith/Hscc09.pdf
24  1/May/13 15:55/~lp15/SpryAssets/
24 4.97% 6/May/13 22:18/~lp15/archive/Isabelle2011.tar.gz
24 0.09% 7/May/13 21:21/~lp15/papers/Reports/TPHOLs05.pdf
24 0.04% 4/May/13 17:48/~lp15/papers/Auth/lics.pdf
24 0.08% 8/May/13 08:04/~lp15/papers/Sets/AC.pdf
24 0.04% 7/May/13 00:36/~lp15/papers/Arith/ITP-2012-invited.pdf
23 0.08% 8/May/13 05:45/~lp15/papers/Sets/milner-ind-defs.pdf
23 0.06% 6/May/13 08:19/~lp15/papers/Reports/blast.pdf
23 0.06% 2/May/13 17:26/~lp15/papers/Auth/multicast_verification.pdf
23  7/May/13 10:16/~lp15/papers/Workshop/papers/
23 0.08% 7/May/13 17:32/~lp15/papers/Bella/certified-email.pdf
22 0.01% 6/May/13 03:04/~lp15/MLbook/exercises/exer5.html
22 0.07% 6/May/13 05:47/~lp15/papers/Automation/translations.pdf
22 0.12% 2/May/13 17:27/~lp15/papers/UNITY/composition.pdf
22 9.36%29/Apr/13 17:08/~lp15/archive/Isabelle2011-1.tar.gz
21 28/Apr/13 06:13/~lp15/papers/Reviews/
21  7/May/13 07:20/~lp15/Grants/automation.html
21  4/May/13 20:58/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
21 0.14% 3/May/13 18:32/~lp15/papers/Automation/filtering-jal.pdf
21  7/May/13 04:04/~lp15/papers/Arith/qepcad-for-mac.html
21 0.05% 7/May/13 00:36/~lp15/papers/Arith/fmcad2009.pdf
21 0.01% 6/May/13 15:16/~lp15/MLbook/exercises/exer8.html
21 0.22% 8/May/13 01:59/~lp15/papers/Automation/info-and-comp.pdf
20  3/May/13 18:31/~lp15/Data/ho-translations/
20 0.05% 7/May/13 22:31/~lp15/papers/UNITY/ehmety-composition.pdf
20 0.05% 6/May/13 19:50/~lp15/papers/UNITY/tphols01.pdf
20 1.25% 7/May/13 00:36/~lp15/papers/Arith/ITP 2012 presentation.pdf
20 8.22% 4/May/13 20:58/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
20 8.40% 4/May/13 20:58/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
19 0.05% 6/May/13 19:14/~lp15/papers/Workshop/papers/paulson.pdf
19 0.05% 2/May/13 21:47/~lp15/papers/Workshop/papers/voelker.pdf
19  7/May/13 06:54/~lp15/Grants/holisa.html
19 0.03% 5/May/13 08:02/~lp15/papers/Auth/yahalom.pdf
19 0.06% 4/May/13 20:01/~lp15/papers/Bella/registration.pdf
18 0.04% 7/May/13 00:36/~lp15/papers/Arith/case-splitting.pdf
18 0.16% 4/May/13 10:19/~lp15/papers/Bella/purchase-JAR.pdf
18 0.05% 6/May/13 21:43/~lp15/papers/Notes/strategy.pdf
18 0.31% 7/May/13 14:51/~lp15/papers/Automation/reconstruction-slides.pdf
18 0.01% 6/May/13 10:42/~lp15/MLbook/exercises/exer7.html
18 0.05% 4/May/13 21:43/~lp15/papers/Ballarin/aisc98.pdf
18 0.04% 6/May/13 05:49/~lp15/papers/Sets/final.pdf
17  7/May/13 07:00/~lp15/MLbook/programs/notes.html
17 0.05% 3/May/13 20:21/~lp15/papers/Automation/leo2-ijcar.pdf
17 0.48% 3/May/13 18:12/~lp15/papers/Auth/lics-slides.pdf
17 0.01% 4/May/13 14:09/~lp15/Usage/images/
17 0.05% 4/May/13 17:50/~lp15/papers/Bella/esorics2000.pdf
17 0.04% 3/May/13 18:12/~lp15/papers/Auth/ijcar2001.pdf
17  4/May/13 18:12/~lp15/MLbook/exercises/disclaimer.html
17  4/May/13 10:05/~lp15/MLbook/first/programs/Imperative.ML
17 0.05% 3/May/13 18:32/~lp15/papers/Automation/cade2011-sledge-smt.pdf
16 0.07% 3/May/13 18:31/~lp15/papers/Automation/filtering.pdf
16 0.12% 6/May/13 19:50/~lp15/papers/Auth/tls-slides.pdf
16  8/May/13 01:02/~lp15/MLbook/programs/ROOT.sml.gz
16 0.17% 5/May/13 14:05/~lp15/papers/Sets/constructible-theory.pdf
16 0.14% 4/May/13 17:50/~lp15/papers/Auth/SET-overview-slides.pdf
16 0.05% 3/May/13 03:30/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
16 0.02% 6/May/13 18:46/~lp15/papers/Reports/CADE9.pdf
16 0.07% 5/May/13 18:56/~lp15/papers/Reports/lamport-paulson-types.pdf
15 0.05% 3/May/13 18:33/~lp15/papers/Arith/case-splitting-stats.csv
15 0.03% 4/May/13 12:47/~lp15/Grants/Automation/final.pdf
15 0.08% 3/May/13 18:29/~lp15/papers/Sets/constructible-slides.pdf
15 0.05% 5/May/13 10:19/~lp15/papers/Automation/meng-termination.pdf
15  8/May/13 01:04/~lp15/MLbook/programs/sample5.sml.gz
15 0.08% 7/May/13 00:36/~lp15/papers/Arith/cicm2012.pdf
15 0.01% 7/May/13 07:37/~lp15/papers/Sets/AC-slides.pdf
14 0.03% 2/May/13 21:47/~lp15/papers/Workshop/papers/staples.pdf
14 0.23% 3/May/13 18:30/~lp15/papers/Reports/TypeClasses.pdf
14 0.03% 4/May/13 15:18/~lp15/papers/Bella/cav98.pdf
14 0.03% 2/May/13 17:26/~lp15/Grants/AutoPolyFun/case.pdf
13 0.03% 5/May/13 21:48/~lp15/papers/Sets/constructible-abstract.pdf
13 0.03% 2/May/13 21:46/~lp15/papers/Workshop/papers/benini.pdf
13 0.02% 3/May/13 18:25/~lp15/papers/Auth/auth-slides.pdf
13  8/May/13 01:04/~lp15/MLbook/programs/sample8.sml.gz
13 0.06% 7/May/13 13:55/~lp15/papers/Notes/MOD-slides.pdf
13 0.03% 4/May/13 07:43/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
13 0.05% 2/May/13 21:47/~lp15/papers/Workshop/papers/vigano.pdf
13  5/May/13 03:48/~lp15/Grants/temporal.html
13 0.05% 3/May/13 18:27/~lp15/papers/Ballarin/coding.pdf
12  8/May/13 05:36/~lp15/papers/Workshop/kalvala.html
12  6/May/13 19:38/~lp15/Grants/auth.html
12 0.02% 8/May/13 09:17/~lp15/papers/Workshop/papers/ayari.pdf
12 0.01% 2/May/13 21:47/~lp15/Grants/SET/case.pdf
12 0.10% 3/May/13 11:49/~lp15/papers/Automation/Huet colloquium.pdf
12 0.19% 2/May/13 17:27/~lp15/papers/Notes/formalizing-abst-slides.pdf
12 0.03% 3/May/13 18:29/~lp15/papers/Automation/IJCAR2004.pdf
12 0.03% 5/May/13 02:02/~lp15/papers/Workshop/papers/kalvala-linear.pdf
12  8/May/13 01:04/~lp15/MLbook/programs/sample4.sml.gz
12  8/May/13 01:04/~lp15/MLbook/programs/sample9.sml.gz
12 0.04% 6/May/13 21:43/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
12 0.15% 3/May/13 18:29/~lp15/papers/Bella/TPHOLs03-slides.pdf
11 0.01% 7/May/13 12:22/~lp15/papers/Notes/strategy-slides.pdf
11  2/May/13 21:47/~lp15/papers/Workshop/paulson.html
11 0.02% 2/May/13 19:40/~lp15/papers/Notes/leeds-notes.pdf
11 0.17% 3/May/13 18:30/~lp15/papers/Reports/TypeClasses-slides.pdf
11 0.02% 6/May/13 02:52/~lp15/Sue/Cultures of Dance.ppt
11 0.02% 2/May/13 21:47/~lp15/papers/Workshop/papers/thompson.pdf
11 0.01% 4/May/13 19:11/~lp15/Grants/UNITY/case.pdf
11 0.06% 4/May/13 06:04/~lp15/papers/UNITY/UNITY.pdf
11  2/May/13 17:27/~lp15/papers/Arith/RELEASE-NOTES.txt
11 0.11% 2/May/13 23:37/~lp15/papers/Deduction/lecture4.pdf
11 0.03% 4/May/13 10:47/~lp15/papers/Automation/thf-sledge.pdf
11 0.25% 6/May/13 21:47/~lp15/papers/Auth/ijcar2001-slides.pdf
11 0.06% 2/May/13 23:32/~lp15/papers/Workshop/papers/kammueller.pdf
10 0.22% 3/May/13 18:12/~lp15/papers/Auth/dagstuhl2001-slides.pdf
10  8/May/13 01:04/~lp15/MLbook/programs/sample7.sml.gz
10 0.13% 7/May/13 14:25/~lp15/papers/Deduction/lecture1.pdf
10  3/May/13 18:24/~lp15/papers/Sets/ind-defs-slides.pdf
10 0.05% 2/May/13 21:47/~lp15/papers/Workshop/papers/bednarczyk.pdf
10  6/May/13 03:51/~lp15/archive/ERRATA.txt
10  3/May/13 04:15/~lp15/MLbook/first/programs/Modules.ML
10 0.02% 2/May/13 21:47/~lp15/papers/Workshop/papers/owens.pdf
10  3/May/13 04:15/~lp15/MLbook/first/programs/Functions.ML
10 0.06% 2/May/13 21:47/~lp15/papers/Workshop/papers/rasmussen.pdf
10 0.02% 3/May/13 18:25/~lp15/papers/Auth/recur-slides.pdf
10  2/May/13 21:58/~lp15/MLbook/first/ERRATA1.txt
10  4/May/13 07:47/~lp15/Grants/Chaieb.html
9  2/May/13 21:47/~lp15/papers/Workshop/staples.html
9 0.01% 2/May/13 17:26/~lp15/Grants/LEO-II/leo2-case.pdf
9 0.05% 3/May/13 18:13/~lp15/papers/Auth/SET-document.pdf
9 0.03% 8/May/13 09:30/~lp15/papers/Workshop/papers/nipkow.pdf
9 0.34% 2/May/13 22:30/~lp15/Grants/LEO-II/leo project poster.pdf
9  8/May/13 01:04/~lp15/MLbook/programs/sample10.sml.gz
9 0.01% 7/May/13 23:37/~lp15/Grants/Automation/case.pdf
9 0.02% 2/May/13 21:46/~lp15/papers/Workshop/papers/matthews.pdf
9 0.02% 2/May/13 21:47/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
9 0.04% 6/May/13 08:19/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 0.05% 3/May/13 17:57/~lp15/papers/Reports/logics97.pdf
9 0.02% 3/May/13 18:11/~lp15/papers/Auth/security-protocols.pdf
9 0.11% 6/May/13 19:49/~lp15/Grants/arith-case.pdf
9  2/May/13 21:47/~lp15/MLbook/StandardML.plist
9  6/May/13 00:30/~lp15/MLbook/first/programs/Hal.ML
9  2/May/13 17:27/~lp15/Sue/Cultures of Dance.html
9  7/May/13 22:14/~lp15/css/
8  4/May/13 15:57/~lp15/papers/Workshop/matthews.html
8 0.12% 3/May/13 18:39/~lp15/Grants/Automation/poster.pdf
8  5/May/13 03:04/~lp15/MLbook/first/answers1-5.txt.gz
8  3/May/13 04:15/~lp15/MLbook/first/programs/Lambda.ML
8  2/May/13 21:47/~lp15/papers/Workshop/thompson.html
8 0.01% 2/May/13 21:47/~lp15/papers/Workshop/kammueller.pdf
8 7.31% 3/May/13 14:16/~lp15/archive/Isabelle2012.tar.gz
8  3/May/13 04:15/~lp15/papers/Workshop/futures.html
8 0.02% 3/May/13 16:03/~lp15/papers/Workshop/papers/agerholm.pdf
8 0.32% 2/May/13 17:27/~lp15/Sue/Thesis-Appendices.pdf
8  2/May/13 21:46/~lp15/papers/Workshop/programme.html
7  2/May/13 21:47/~lp15/papers/Workshop/nipkow.html
7 0.01% 3/May/13 03:43/~lp15/papers/Workshop/front.pdf
7  2/May/13 21:46/~lp15/papers/Workshop/owens.txt
7 20/Apr/13 23:41/~lp15/papers/Reviews/MLer.pdf
7 0.07% 5/May/13 08:58/~lp15/papers/Deduction/lecture2.pdf
7 0.02%28/Apr/13 17:59/~lp15/Pages/harrison-real.pdf
7 1.83% 2/May/13 21:46/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
7  6/May/13 06:15/~lp15/Templates/
7 0.07% 2/May/13 21:47/~lp15/papers/Deduction/lecture3.pdf
7 0.03% 2/May/13 12:29/~lp15/papers/Arith/Narayanan TR.pdf
7  6/May/13 14:05/~lp15/papers/Reports/blast-slides.pdf
7 0.10% 3/May/13 18:12/~lp15/papers/Auth/dagstuhl2003-slides.pdf
7  6/May/13 19:14/~lp15/papers/Workshop/participants.html
7 0.01% 2/May/13 21:47/~lp15/papers/Workshop/ayari.pdf
6  3/May/13 04:15/~lp15/MLbook/first/programs/ParsePrint.ML
6 2.79%23/Apr/13 10:54/~lp15/archive/Isabelle2009-2.tar.gz
6  2/May/13 21:47/~lp15/Grants/UNITY/final.pdf
6  5/May/13 05:45/~lp15/Grants/SET/final.pdf
6 0.01% 3/May/13 18:24/~lp15/papers/Reports/CADE11.pdf
6  2/May/13 21:46/~lp15/Data/ho-translations/Theories.tbz
6  2/May/13 21:47/~lp15/papers/Workshop/agerholm.html
6  7/May/13 10:16/~lp15/Data/
6  3/May/13 04:15/~lp15/papers/Workshop/wolff.html
5  2/May/13 17:27/~lp15/Sue/Cultures of Dance.pdf
5 30/Apr/13 03:53/~lp15/MLbook/programs/test10.sml.gz
5  2/May/13 21:47/~lp15/MLbook/first/ERRATA3.txt
5 0.01% 8/May/13 06:57/~lp15/Grants/Chaieb-case.pdf
5 0.42% 8/May/13 06:23/~lp15/Data/ho-translations/Comb.tbz
5  7/May/13 11:27/~lp15/papers/Workshop/heule.html
5  2/May/13 21:47/~lp15/papers/Workshop/bednarczyk.txt
5 0.02% 5/May/13 19:22/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
5  5/May/13 03:05/~lp15/MLbook/first/answers8.txt.gz
5 0.19% 2/May/13 17:27/~lp15/Sue/Phd-Poster.pdf
5 0.01% 2/May/13 17:27/~lp15/papers/Arith/Overcoming.pdf
5 23/Apr/13 13:18/~lp15/MLbook/programs/sample8-2004.sml.gz
5 0.01% 2/May/13 21:47/~lp15/papers/Workshop/vigano.pdf
5 0.43% 3/May/13 16:48/~lp15/archive/Isabelle2002.tar.gz
5 0.30% 2/May/13 17:27/~lp15/papers/Arith/Overcoming-slides.pdf
5 0.34% 2/May/13 17:27/~lp15/papers/Notes/LCF+.pdf
5  5/May/13 18:42/~lp15/Data/relevance/unfiltered-spass.txt
5  2/May/13 21:47/~lp15/Grants/temporal-final.pdf
5 0.14% 2/May/13 17:26/~lp15/Grants/arith-poster.pdf
5  5/May/13 17:24/~lp15/Data/relevance/unfiltered-E.txt
149 6.20% 8/May/13 07:26[not listed: 53 files]

This analysis was produced by analog 6.0.
Running time: 1 second.

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)