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

Program started at Mon-21-May-2012 10:04.
Analysed requests from Fri-20-Apr-2012 04:24 to Mon-21-May-2012 09:57 (31.23 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.

Figures in parentheses refer to the 7-day period ending 21-May-2012 10:04.

Successful requests: 18,393 (5,351)
Average successful requests per day: 588 (764)
Successful requests for pages: 5,052 (1,680)
Average successful requests for pages per day: 161 (239)
Failed requests: 513 (116)
Redirected requests: 138 (39)
Distinct files requested: 412 (404)
Distinct hosts served: 3,030 (759)
Corrupt logfile lines: 21
Unwanted logfile entries: 11,033
Data transferred: 4.76 gigabytes (1.74 gigabytes)
Average data transferred per day: 156.07 megabytes (254.24 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 
Sun2412745++++++++++++++++++++++++++++++++++++++
Mon2593693+++++++++++++++++++++++++++++++++++
Tue2821619+++++++++++++++++++++++++++++++
Wed3224894+++++++++++++++++++++++++++++++++++++++++++++
Thu2147651+++++++++++++++++++++++++++++++++
Fri2623799++++++++++++++++++++++++++++++++++++++++
Sat2573651+++++++++++++++++++++++++++++++++

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
673243.34%[unresolved numerical addresses]
312116.32%.net (Networks)
356113.47%.com (Commercial)
973 7.31%.in (India)
1118 4.57%.edu (USA Higher Education)
130 2.54%.ua (Ukraine)
858 2.27%.uk (United Kingdom)
232 1.49%.de (Germany)
49 1.18%.fr (France)
52 0.76%.br (Brazil)
79 0.54%.id (Indonesia)
112 0.49%[domain not given]
76 0.46%.pk (Pakistan)
65 0.41%.au (Australia)
136 0.40%.jp (Japan)
57 0.37%.za (South Africa)
127 0.27%.it (Italy)
40 0.25%.gy (Guyana)
40 0.22%.ro (Romania)
26 0.20%.ug (Uganda)
64 0.19%.se (Sweden)
25 0.16%.nz (New Zealand)
10 0.15%.bg (Bulgaria)
31 0.14%.pl (Poland)
38 0.13%.lk (Sri Lanka)
33 0.13%[unknown domain]
15 0.13%.be (Belgium)
34 0.12%.il (Israel)
32 0.12%.ru (Russia)
9 0.11%.ke (Kenya)
13 0.09%.hu (Hungary)
16 0.08%.at (Austria)
18 0.08%.no (Norway)
13 0.08%.np (Nepal)
25 0.07%.jo (Jordan)
7 0.07%.tt (Trinidad and Tobago)
31 0.07%.lt (Lithuania)
18 0.06%.mx (Mexico)
4 0.06%.zw (Zimbabwe)
4 0.06%.tw (Taiwan)
6 0.06%.th (Thailand)
3 0.05%.sa (Saudi Arabia)
3 0.05%.ng (Nigeria)
3 0.05%.tr (Turkey)
16 0.05%.ir (Iran)
24 0.05%.fi (Finland)
4 0.04%.md (Moldova)
10 0.04%.sg (Singapore)
14 0.04%.ar (Argentina)
20 0.04%.es (Spain)
3 0.04%.cl (Chile)
2 0.04%.gh (Ghana)
2 0.04%.mm (Myanmar)
4 0.04%.ps (Occupied Palestinian Territory)
13 0.03%.vn (Vietnam)
26 0.03%.nl (Netherlands)
42 0.03%.dk (Denmark)
29 0.02%.gr (Greece)
16 0.02%.ch (Switzerland)
3 0.02%.ph (Philippines)
2 0.02%.hr (Croatia)
3 0.02%.hk (Hong Kong)
1 0.02%.mil (USA Military)
1 0.02%.lb (Lebanon)
1 0.02%.pg (Papua New Guinea)
1 0.02%.ls (Lesotho)
1 0.02%.ae (United Arab Emirates)
1 0.02%.ye (Yemen)
1 0.02%.lv (Latvia)
5 0.02%.sk (Slovakia)
4 0.01%.my (Malaysia)
4 0.01%.kr (South Korea)
29 0.01%.org (Non Profit Making Organisations)
6 0.01%.pt (Portugal)
19 0.01%.ca (Canada)
2 0.01%.ee (Estonia)
3 0.01%.co (Colombia)
1 0.01%.by (Belarus)
3 0.01%.cz (Czech Republic)
7 .arpa (Arpanet)
8 .cn (China)
6 .ie (Ireland)
12 .us (United States)
1 .is (Iceland)
1 .info (Informational)
1 .cy (Cyprus)
1 .cu (Cuba)
1 .tv (Tuvalu)

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
1413 2.70%yandex.com
1063 7.51%117
708 3.90%psu.edu
642 1.07%optonline.net
490 3.94%msn.com
475 1.42%cam.ac.uk
453 3.32%tataidc.co.in
413 2.09%41
383 6.82%sbcglobal.net
296 0.42%123
291 3.21%222.186
273 0.71%comcast.net
216 0.98%106
207 1.19%49
195 0.12%scoutjet.com
190 1.37%sistrix.net
177 1.50%122.airtelbroadband.in
166 0.31%verizon.net
160 0.85%115
150 0.87%live.vodafone.in
1003255.69%[not listed: 1,018 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
2570software
1963engineering
1647notes
1630pdf
506in
492for
466of
338download
271the
229engg
214general
195system
191a
184on
182from
173p.jolate
152lecture
151computer
136development
124set
124and
115language
110life
110cycle
108diagram
107to
106diploma
105is
103projects
102protocol
9204[not listed: 1,513 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
142491917OS unknown
2109181395Windows
 6413680  Unknown Windows
 3798367  Windows XP
 322225  Windows NT
 33589  Windows 98
 3026  Windows 2000
 198  Windows Server 2003
 10  Windows 95
31051577Unix
 1045575  Linux
 42  Other Unix
 20  SunOS
41171567Macintosh
5888552Known robots
631Symbian 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
9679200 OK
7229206 Partial content
138301 Document moved permanently
1485304 Not modified since last retrieval
68403 Access forbidden
445404 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
01638 
1B- 10B9 
11B- 100B4 
101B- 1kB262 
1kB- 10kB4163 0.35%
10kB-100kB6519 4.43%
100kB- 1MB542555.44%
1MB- 10MB33521.83%
10MB-100MB3817.95%

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
1200567.35%.pdf [Adobe Portable Document Format]
51722.29%.gz [Gzip compressed files]
17322.11%  .tar.gz [Compressed archives]
68 8.50%.tbz
9 0.56%.tgz
3227 0.45%[directories]
1825 0.31%.html [Hypertext Markup Language]
2 0.28%.zip [Zip archives]
448 0.16%.jpg [JPEG graphics]
292 0.10%[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
531340.82%21/May/12 09:37/~lp15/papers/Notes/SE-I.pdf
2270 5.01%20/May/12 21:30/~lp15/papers/Reports/equivclasses-slides.pdf
864 0.17%21/May/12 08:19/~lp15/
519 0.02%21/May/12 09:49/~lp15/MLbook/
382 0.12%21/May/12 07:18/~lp15/images/larry-paulson.jpg
348 0.06%21/May/12 09:28/~lp15/papers/Arith/
275 0.67%21/May/12 09:06/~lp15/papers/Notes/Founds-FP.pdf
234 5.79%20/May/12 21:54/~lp15/papers/Reports/thesis.pdf
230 0.29%19/May/12 03:14/~lp15/papers/Reports/fleuriot-kepler.pdf
223 0.10%21/May/12 08:57/~lp15/papers/refereed.html
198 0.85%21/May/12 09:02/~lp15/papers/Auth/jcs.pdf
172 0.01%21/May/12 08:47/~lp15/MLbook/programs/
136 0.19%21/May/12 00:49/~lp15/papers/Auth/SET-overview-2002.pdf
118 0.27%20/May/12 15:26/~lp15/Pages/Munich-slides.pdf
111 21/May/12 08:40/~lp15/MLbook/exercises/
94 0.33%21/May/12 08:34/~lp15/papers/Reports/equivclasses.pdf
94 0.02%21/May/12 07:18/~lp15/Grants/AutoPolyFun/
91 0.27%21/May/12 03:25/~lp15/papers/Sets/set-II.pdf
85 0.02%21/May/12 05:33/~lp15/papers/Auth/
85 0.01%20/May/12 20:14/~lp15/papers/lecture-courses.html
82 0.01%20/May/12 20:14/~lp15/papers/Sets/
79 0.01%21/May/12 08:03/~lp15/papers/isabelle.html
77 20/May/12 20:14/~lp15/MLbook/pub-details.html
72 0.01%21/May/12 06:10/~lp15/papers/Reports/
70 0.01%21/May/12 02:52/~lp15/Sue/
69 21/May/12 07:09/~lp15/MLbook/general.html
68 20/May/12 20:14/~lp15/Pages/cv.html
67 0.11%21/May/12 06:35/~lp15/papers/Arith/Narayanan DATE.pdf
65 0.01%20/May/12 20:55/~lp15/papers/Automation/
64 0.01%21/May/12 03:58/~lp15/papers/workshop.html
63 0.31%19/May/12 07:41/~lp15/papers/Bella/smartcards-jcs.pdf
62 0.37%19/May/12 14:44/~lp15/papers/Reports/popl82.pdf
62 0.06%21/May/12 03:06/~lp15/papers/Reports/mutil.pdf
61 21/May/12 00:44/~lp15/Pages/CL-English.html
60 0.01%21/May/12 01:16/~lp15/papers/
60 0.18%21/May/12 03:34/~lp15/papers/Kammueller/sylow.pdf
58 0.15%19/May/12 13:54/~lp15/papers/Auth/tls.pdf
55 0.08%19/May/12 05:26/~lp15/Pages/vita.pdf
55 0.44%19/May/12 06:37/~lp15/papers/Arith/MetiTarski-jar.pdf
55 0.01%21/May/12 08:41/~lp15/MLbook/exercises/exer2.html
54 21/May/12 08:49/~lp15/MLbook/programs/sample2.sml.gz
54 0.06%21/May/12 09:57/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
54 0.01%20/May/12 20:14/~lp15/papers/books.html
53 0.01%21/May/12 09:27/~lp15/MLbook/review.html
52 0.01%21/May/12 04:49/~lp15/papers/UNITY/
51 21/May/12 00:59/~lp15/Grants/
49 20/May/12 20:14/~lp15/Grants/arith.html
47 0.01%20/May/12 20:14/~lp15/MLbook/ERRATA.html
47 0.01%21/May/12 05:57/~lp15/archive/
47 0.07%19/May/12 04:20/~lp15/papers/Arith/pdpar2006.pdf
46 0.01%21/May/12 08:46/~lp15/papers/invited.html
46 20/May/12 20:14/~lp15/papers/recur.html
46 21/May/12 06:12/~lp15/papers/hol.html
46 0.01%20/May/12 20:54/~lp15/Grants/LEO-II/
44 0.02%21/May/12 04:35/~lp15/MLbook/exercises/exer3.html
44 21/May/12 08:08/~lp15/MLbook/first/
44 0.05%19/May/12 10:48/~lp15/papers/Auth/yahalom.pdf
44 0.09%20/May/12 03:56/~lp15/papers/Arith/Hscc09.pdf
42 0.06%19/May/12 01:12/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
42 0.12%21/May/12 08:37/~lp15/papers/Reports/TPHOLs05.pdf
41 0.02%21/May/12 02:52/~lp15/Sue/Sue Paulson.jpg
41 21/May/12 06:22/~lp15/papers/Kammueller/
41 0.01%21/May/12 01:07/~lp15/Pages/ACS-proposals.html
40 0.06%20/May/12 20:55/~lp15/Usage/
40 0.05%19/May/12 06:05/~lp15/papers/Auth/lics.pdf
40 0.08%19/May/12 05:25/~lp15/papers/Ballarin/aisc98.pdf
40 20/May/12 20:55/~lp15/Grants/Automation/
40 0.13%20/May/12 03:05/~lp15/papers/Sets/reflection.pdf
39 20/May/12 20:55/~lp15/papers/Arith/download.html
37 0.23%18/May/12 12:46/~lp15/papers/Arith/calculemus2008.pdf
37 20/May/12 20:55/~lp15/papers/Arith/qepcad-for-mac.html
37 21/May/12 04:31/~lp15/papers/Workshop/
37 0.01%21/May/12 04:56/~lp15/Grants/SET/
36 21/May/12 00:51/~lp15/papers/Notes/
36 0.23%19/May/12 20:48/~lp15/papers/Bella/purchase-JAR.pdf
36 0.11%19/May/12 17:52/~lp15/papers/Bella/accountability.pdf
35 0.41%20/May/12 14:28/~lp15/papers/Reports/TypeClasses.pdf
34 0.07%19/May/12 22:23/~lp15/papers/Bella/esorics98.pdf
34 21/May/12 05:21/~lp15/MLbook/disclaimer.html
34 0.06%19/May/12 01:53/~lp15/papers/Arith/fmcad2009.pdf
33 0.06%19/May/12 17:50/~lp15/papers/Automation/meng-termination.pdf
33 0.13%18/May/12 07:53/~lp15/papers/Sets/reflection-slides.pdf
33 0.09%20/May/12 10:21/~lp15/papers/UNITY/Mechanizing-compositional.pdf
33 0.07%19/May/12 00:23/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
33 0.01%20/May/12 20:55/~lp15/MLbook/exercises/exer8.html
32 0.01%21/May/12 04:39/~lp15/MLbook/exercises/exer4.html
32 0.01%20/May/12 20:55/~lp15/MLbook/exercises/exer6.html
31 0.06%19/May/12 22:16/~lp15/papers/Reports/blast.pdf
31 0.02%20/May/12 20:54/~lp15/papers/paulson.bib
31 0.01%20/May/12 23:03/~lp15/MLbook/first/programs/Lists-Trees.ML
31 0.06%19/May/12 17:52/~lp15/Grants/AutoPolyFun/case.pdf
31 20/May/12 22:20/~lp15/Grants/leo2.html
30 0.07%19/May/12 01:18/~lp15/papers/Arith/case-splitting.pdf
30 0.12%20/May/12 15:26/~lp15/papers/Auth/SET-overview-IJIS.pdf
30 0.08%20/May/12 13:13/~lp15/papers/Automation/translations.pdf
30 21/May/12 00:51/~lp15/papers/Ballarin/
29 21/May/12 08:41/~lp15/MLbook/programs/notes.html
29 21/May/12 02:06/~lp15/Pages/
29 21/May/12 02:36/~lp15/MLbook/programs/sample5.sml.gz
29 0.05%21/May/12 06:37/~lp15/papers/Bella/purchase.pdf
28 21/May/12 03:48/~lp15/papers/Reviews/
28 0.11%20/May/12 05:57/~lp15/papers/Workshop/papers/paulson.pdf
27 0.06%20/May/12 04:34/~lp15/papers/Bella/nonrepudiation.pdf
27 0.01%20/May/12 20:55/~lp15/MLbook/exercises/exer5.html
27 20/May/12 15:27/~lp15/MLbook/programs/sample3.sml.gz
27 0.01%20/May/12 20:55/~lp15/MLbook/exercises/exer7.html
27 0.04%19/May/12 09:22/~lp15/papers/Automation/paar.pdf
27 0.06%18/May/12 12:57/~lp15/papers/Bella/certified-email.pdf
26 0.09%18/May/12 22:31/~lp15/papers/Notes/MOD-slides.pdf
26 21/May/12 08:47/~lp15/MLbook/programs/ROOT.sml.gz
25 21/May/12 09:02/~lp15/Grants/automation.html
25 0.03%21/May/12 00:30/~lp15/papers/Auth/auth-slides.pdf
25 0.02%20/May/12 12:05/~lp15/images/pilkington.jpg
25 0.04%20/May/12 17:47/~lp15/papers/Bella/dimacs97.pdf
25 20/May/12 23:36/~lp15/MLbook/programs/sample4.sml.gz
25 0.04%19/May/12 04:22/~lp15/papers/Sets/final.pdf
24 0.05%19/May/12 03:52/~lp15/papers/Sets/milner-ind-defs.pdf
24 20/May/12 23:27/~lp15/papers/Arith/RELEASE-NOTES.txt
24 0.02%21/May/12 08:57/~lp15/Pages/Top100Theorems.html
23 0.09%19/May/12 08:31/~lp15/papers/Automation/translations-jar.pdf
23 0.05%19/May/12 03:15/~lp15/papers/Arith/lpar2007.pdf
23 0.03%19/May/12 03:47/~lp15/papers/Notes/leeds-notes.pdf
23 0.03%18/May/12 10:49/~lp15/papers/Reports/CADE9.pdf
23 0.05%19/May/12 07:20/~lp15/papers/Bella/registration.pdf
23 20/May/12 20:54/~lp15/MLbook/exercises/disclaimer.html
23 0.09%19/May/12 01:30/~lp15/papers/Sets/set-I.pdf
23 0.05%19/May/12 07:29/~lp15/papers/Automation/cade2011-sledge-smt.pdf
22 0.03%18/May/12 00:24/~lp15/papers/Sets/constructible-abstract.pdf
22 0.13%21/May/12 06:11/~lp15/papers/Sets/constructible-slides.pdf
22 20/May/12 15:26/~lp15/MLbook/programs/sample10.sml.gz
22 0.12%21/May/12 05:02/~lp15/papers/Arith/cicm2012.pdf
21 0.09%19/May/12 04:55/~lp15/papers/Automation/filtering-jal.pdf
21 0.39%19/May/12 08:55/~lp15/papers/Auth/lics-slides.pdf
21 21/May/12 04:47/~lp15/Grants/holisa.html
21 0.04%20/May/12 16:25/~lp15/papers/Bella/esorics2000.pdf
21 0.14%19/May/12 06:45/~lp15/Grants/arith-case.pdf
21 0.08%19/May/12 09:26/~lp15/papers/Workshop/papers/kammueller.pdf
21 20/May/12 20:55/~lp15/Data/relevance/
20 20/May/12 20:55/~lp15/papers/Deduction/
20 21/May/12 01:16/~lp15/papers/Bella/
20 0.32%18/May/12 14:15/~lp15/Grants/Automation/poster.pdf
20 0.04%19/May/12 06:24/~lp15/papers/Notes/strategy.pdf
20 0.09%19/May/12 00:07/~lp15/papers/Reports/logics97.pdf
20 0.05%21/May/12 07:46/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
20 21/May/12 05:56/~lp15/MLbook/StandardML.plist
20 21/May/12 01:31/~lp15/Grants/UNITY/
19 20/May/12 15:26/~lp15/MLbook/programs/sample7.sml.gz
19 0.04%19/May/12 13:33/~lp15/papers/Workshop/papers/voelker.pdf
19 0.01%18/May/12 14:20/~lp15/Grants/Automation/case.pdf
19 0.07%19/May/12 00:18/~lp15/papers/UNITY/UNITY.pdf
19 0.72%21/May/12 01:51/~lp15/Sue/Thesis.pdf
19 20/May/12 20:55/~lp15/papers/Arith/atan-problem-1-weak.html
19 20/May/12 20:54/~lp15/Grants/Chaieb.html
19 0.03%19/May/12 02:14/~lp15/papers/Auth/ijcar2001.pdf
19 0.11%19/May/12 02:04/~lp15/papers/Automation/info-and-comp.pdf
19 0.01%21/May/12 06:45/~lp15/Grants/leo2-case.pdf
18 0.05%20/May/12 00:50/~lp15/papers/Automation/filtering.pdf
18 0.03%18/May/12 20:30/~lp15/papers/Auth/multicast_verification.pdf
18 0.03%19/May/12 01:46/~lp15/papers/Bella/cav98.pdf
18 0.04%18/May/12 19:27/~lp15/papers/UNITY/tphols01.pdf
18 0.08%19/May/12 03:42/~lp15/papers/Automation/reconstruction.pdf
18 20/May/12 23:36/~lp15/MLbook/programs/sample8.sml.gz
18 0.04%19/May/12 09:17/~lp15/papers/Sets/AC.pdf
18 0.05%19/May/12 07:03/~lp15/papers/Ballarin/coding.pdf
17 0.03%19/May/12 07:01/~lp15/papers/UNITY/ehmety-composition.pdf
17 21/May/12 04:56/~lp15/Grants/auth.html
17 0.03%19/May/12 13:33/~lp15/papers/Workshop/papers/benini.pdf
17 0.02%19/May/12 01:53/~lp15/papers/Automation/leo2-ijcar.pdf
17 0.03%20/May/12 22:51/~lp15/papers/Automation/IJCAR2004.pdf
17 0.02%20/May/12 05:50/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
17 0.02%20/May/12 14:45/~lp15/papers/Reports/CADE11.pdf
16 20/May/12 20:55/~lp15/Data/ho-translations/
16 21/May/12 09:44/~lp15/Grants/temporal.html
16 0.02%18/May/12 11:00/~lp15/papers/Auth/recur-slides.pdf
16 20/May/12 23:03/~lp15/MLbook/first/programs/Hal.ML
15 0.04%19/May/12 06:47/~lp15/papers/Auth/SET-document.pdf
15 20/May/12 23:01/~lp15/MLbook/first/programs/
15 0.04%19/May/12 13:32/~lp15/papers/Workshop/papers/nipkow.pdf
15 0.09%20/May/12 23:33/~lp15/papers/UNITY/composition.pdf
15 0.27%18/May/12 12:03/~lp15/papers/Arith/metit-slides.pdf
15 20/May/12 15:28/~lp15/MLbook/programs/sample9.sml.gz
14 21/May/12 00:51/~lp15/tmp/
14 0.02%19/May/12 16:45/~lp15/papers/Workshop/papers/thompson.pdf
14 0.01%11/May/12 13:04/~lp15/papers/Reviews/construct.pdf
14 20/May/12 20:55/~lp15/papers/Workshop/thompson.html
14 0.02%19/May/12 09:20/~lp15/papers/Workshop/papers/kalvala-linear.pdf
14 0.05%19/May/12 09:24/~lp15/papers/Workshop/papers/bednarczyk.pdf
14 0.10%19/May/12 04:31/~lp15/papers/Sets/constructible-theory.pdf
13 20/May/12 15:26/~lp15/MLbook/programs/test10.sml.gz
13 21/May/12 09:32/~lp15/MLbook/first/ERRATA3.txt
13 20/May/12 22:22/~lp15/papers/Workshop/matthews.html
13 0.20%17/May/12 11:21/~lp15/papers/Notes/formalizing-abst-slides.pdf
13 0.06%19/May/12 05:25/~lp15/papers/Reports/intro-to-isabelle.pdf
13 0.02%19/May/12 09:23/~lp15/papers/Workshop/papers/vigano.pdf
13 0.65%18/May/12 22:37/~lp15/papers/Notes/LCF+.pdf
13 0.19%18/May/12 11:23/~lp15/papers/Auth/dagstuhl2003-slides.pdf
13 0.17%18/May/12 11:12/~lp15/papers/Bella/TPHOLs03-slides.pdf
12 20/May/12 23:03/~lp15/MLbook/first/programs/ParsePrint.ML
12 0.04%20/May/12 20:54/~lp15/papers/Arith/case-splitting-stats.csv
12 0.02%19/May/12 13:40/~lp15/papers/Workshop/papers/staples.pdf
12 20/May/12 20:55/~lp15/papers/Workshop/staples.html
12 0.01%19/May/12 16:57/~lp15/papers/Workshop/papers/ayari.pdf
12 0.09%16/May/12 16:55/~lp15/papers/Auth/tls-slides.pdf
12 20/May/12 23:03/~lp15/MLbook/first/programs/Lambda.ML
12 18/May/12 13:32/~lp15/papers/Sets/ind-defs-slides.pdf
12 0.02%19/May/12 09:24/~lp15/papers/Workshop/papers/matthews.pdf
12 0.02%19/May/12 09:27/~lp15/papers/Workshop/papers/owens.pdf
12 0.10%18/May/12 12:44/~lp15/papers/Auth/SET-overview-slides.pdf
12 20/May/12 20:55/~lp15/papers/Workshop/agerholm.html
12 1.12%18/May/12 16:38/~lp15/papers/Arith/qepcad-B.1.65.Mac-10.6.tbz
12 0.36%16/May/12 12:02/~lp15/Grants/arith-poster.pdf
12 21/May/12 03:36/~lp15/papers/Workshop/programme.html
11 20/May/12 20:55/~lp15/papers/Workshop/kalvala.html
11 0.01%18/May/12 22:11/~lp15/papers/Notes/strategy-slides.pdf
11 0.01%19/May/12 22:21/~lp15/MLbook/first/ML-syntax.ps.gz
11 0.21%18/May/12 11:54/~lp15/papers/Auth/dagstuhl2001-slides.pdf
11 18/May/12 12:25/~lp15/papers/Arith/INITIO.c
11 0.03%18/May/12 23:55/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
11 0.01%19/May/12 04:27/~lp15/Grants/LEO-II/leo2-case.pdf
11 0.01%18/May/12 09:58/~lp15/Grants/Automation/final.pdf
11 0.37%20/May/12 23:10/~lp15/Sue/Phd-Poster.pdf
11 0.05%19/May/12 09:28/~lp15/papers/Workshop/papers/rasmussen.pdf
11 0.02%19/May/12 03:32/~lp15/papers/Arith/Narayanan TR.pdf
11 0.02%18/May/12 12:02/~lp15/papers/Auth/security-protocols.pdf
11 0.03%19/May/12 13:32/~lp15/papers/Workshop/papers/agerholm.pdf
11 16/May/12 16:53/~lp15/papers/Sets/AC-slides.pdf
10 0.01%20/May/12 02:19/~lp15/Grants/SET/case.pdf
10 19/May/12 12:59/~lp15/papers/Reviews/MLer.pdf
10 0.06%16/May/12 02:54/~lp15/papers/Automation/Huet colloquium.pdf
10 0.13%17/May/12 19:02/~lp15/papers/Reports/TypeClasses-slides.pdf
10 20/May/12 23:03/~lp15/MLbook/first/programs/Modules.ML
10 0.13%16/May/12 16:08/~lp15/papers/Automation/reconstruction-slides.pdf
10 0.01%20/May/12 22:58/~lp15/papers/Reports/blast-slides.pdf
10 19/May/12 22:21/~lp15/MLbook/first/ERRATA1.txt
10 0.22%16/May/12 04:39/~lp15/papers/Auth/ijcar2001-slides.pdf
10 20/May/12 22:47/~lp15/MLbook/first/ERRATA2.txt
9 20/May/12 20:55/~lp15/papers/Workshop/nipkow.html
9 0.02%19/May/12 03:13/~lp15/Grants/Chaieb-case.pdf
9 0.08%20/May/12 23:58/~lp15/papers/Deduction/lecture1.pdf
9 0.56%19/May/12 11:36/~lp15/papers/Arith/metit.tgz
9 0.02%19/May/12 06:30/~lp15/Pages/harrison-real.pdf
9 20/May/12 15:04/~lp15/archive/ERRATA.txt
9 4.72%20/May/12 15:00/~lp15/archive/Isabelle2011.tar.gz
9 0.10%16/May/12 09:41/~lp15/papers/Deduction/lecture3.pdf
9 1.33%20/May/12 23:06/~lp15/archive/Isabelle2007.tar.gz
9 0.01%19/May/12 04:24/~lp15/papers/Reports/lamport-paulson-types.pdf
9 20/May/12 15:25/~lp15/MLbook/programs/sample3-old.sml.gz
9 20/May/12 20:55/~lp15/papers/Workshop/participants.html
9 20/May/12 20:55/~lp15/Sue/Cultures of Dance.html
8 0.97%20/May/12 15:01/~lp15/archive/Isabelle2005.tar.gz
8 16/May/12 09:40/~lp15/papers/Workshop/owens.txt
8 20/May/12 23:03/~lp15/MLbook/first/programs/Functions.ML
8 20/May/12 23:36/~lp15/MLbook/programs/sample10-old.sml.gz
8 0.07%17/May/12 10:03/~lp15/papers/Deduction/lecture4.pdf
8 0.84%20/May/12 15:02/~lp15/archive/Isabelle2003.tar.gz
8 16/May/12 09:40/~lp15/Data/relevance/unfiltered-spass.txt
8 0.13%20/May/12 23:06/~lp15/archive/Isabelle93.tar.gz
8 1.19%20/May/12 15:01/~lp15/archive/Isabelle2008.tar.gz
8 20/May/12 20:55/~lp15/papers/Workshop/wolff.html
7 0.08%20/May/12 19:22/~lp15/archive/Isabelle94.tar.gz
7 1.24%20/May/12 15:01/~lp15/archive/Isabelle2009.tar.gz
7 20/May/12 23:01/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 16/May/12 09:40/~lp15/papers/Workshop/bednarczyk.txt
7 20/May/12 10:06/~lp15/MLbook/first/programs/edits.txt
7 16/May/12 21:23/~lp15/Grants/SET/final.pdf
7 20/May/12 15:27/~lp15/MLbook/programs/sample8-2004.sml.gz
7 0.01%20/May/12 20:55/~lp15/Sue/Cultures of Dance.ppt
7 0.04%20/May/12 23:06/~lp15/archive/Isabelle92.tar.gz
7 20/May/12 23:01/~lp15/Data/ho-translations/Theories.tbz
7 0.04%20/May/12 23:01/~lp15/Data/relevance/tptp-2007-03-13.tbz
7 20/May/12 15:26/~lp15/MLbook/programs/sample9-2004.sml.gz
7 2.88%20/May/12 15:01/~lp15/archive/Isabelle2009-1.tar.gz
7 21/May/12 01:30/~lp15/Grants/temporal-final.pdf
7 0.02%20/May/12 15:04/~lp15/archive/Isabelle89.tar.gz
7 17/May/12 02:07/~lp15/Data/relevance/unfiltered-E.txt
7 20/May/12 23:03/~lp15/MLbook/first/programs/Imperative.ML
6 0.31%20/May/12 21:44/~lp15/archive/Isabelle98-1.tar.gz
6 2.96%20/May/12 15:00/~lp15/archive/Isabelle2009-2.tar.gz
6 0.45%20/May/12 23:01/~lp15/Data/ho-translations/Comb.tbz
6 0.03%20/May/12 15:05/~lp15/archive/lcf.tar.gz
6 20/May/12 23:56/~lp15/papers/Workshop/heule.html
6 0.03%20/May/12 15:04/~lp15/archive/Isabelle91.tar.gz
6 20/May/12 20:55/~lp15/papers/Workshop/paulson.html
6 0.01%16/May/12 09:41/~lp15/papers/Workshop/vigano.pdf
6 0.55%21/May/12 06:45/~lp15/archive/Isabelle2002.tar.gz
6 0.01%21/May/12 07:41/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
6 1.39%20/May/12 23:01/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
6 20/May/12 15:26/~lp15/MLbook/programs/sample8-old.sml.gz
6 16/May/12 09:41/~lp15/Grants/UNITY/case.pdf
6 0.01%16/May/12 18:12/~lp15/papers/Workshop/friedrich.pdf
6 21/May/12 01:13/~lp15/Data/relevance/unfiltered-vampire.txt
6 1.06%18/May/12 11:30/~lp15/papers/Arith/qepcad-B.1.54.Mac-10.5.tbz
6 20/May/12 20:55/~lp15/papers/Workshop/futures.html
6 18/May/12 22:27/~lp15/MLbook/ERRATA.txt
6 0.23%20/May/12 15:03/~lp15/archive/Isabelle98.tar.gz
6 0.66%20/May/12 15:01/~lp15/archive/Isabelle2004.tar.gz
157 9.22%20/May/12 23:07[not listed: 47 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)