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

Program started at Tue-07-Nov-2017 11:53.
Analysed requests from Wed-05-Nov-2014 15:02 to Tue-07-Nov-2017 11:46 (1097.86 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 07-Nov-2017 11:53.

Successful requests: 23,115 (3,622)
Average successful requests per day: 21 (517)
Successful requests for pages: 9,258 (1,792)
Average successful requests for pages per day: 8 (255)
Failed requests: 808 (51)
Redirected requests: 158 (39)
Distinct files requested: 614 (432)
Distinct hosts served: 5,055 (1,071)
Corrupt logfile lines: 4
Unwanted logfile entries: 18,123
Data transferred: 5.83 gigabytes (592.57 megabytes)
Average data transferred per day: 5.44 megabytes (84.65 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 40 requests for pages or part thereof.

dayreqspages 
Sun29381159+++++++++++++++++++++++++++++
Mon43551681+++++++++++++++++++++++++++++++++++++++++++
Tue30931188++++++++++++++++++++++++++++++
Wed33211363+++++++++++++++++++++++++++++++++++
Thu32751310+++++++++++++++++++++++++++++++++
Fri26201051+++++++++++++++++++++++++++
Sat35131506++++++++++++++++++++++++++++++++++++++

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
1047057.58%.com (Commercial)
550018.53%[unresolved numerical addresses]
1632 6.25%.net (Networks)
1036 3.21%[domain not given]
825 2.80%.de (Germany)
514 1.07%.uk (United Kingdom)
483 1.04%[unknown domain]
149 1.02%.fr (France)
247 0.96%.in (India)
258 0.94%.edu (USA Higher Education)
54 0.47%.ph (Philippines)
101 0.47%.au (Australia)
244 0.37%.ru (Russia)
83 0.36%.br (Brazil)
149 0.28%.it (Italy)
30 0.27%.th (Thailand)
63 0.27%.se (Sweden)
74 0.23%.pt (Portugal)
26 0.21%.co (Colombia)
50 0.17%.ca (Canada)
85 0.17%.jp (Japan)
41 0.17%.nz (New Zealand)
17 0.17%.pk (Pakistan)
37 0.16%.zw (Zimbabwe)
20 0.16%.ar (Argentina)
54 0.16%.org (Non Profit Making Organisations)
60 0.14%.sg (Singapore)
18 0.13%.za (South Africa)
23 0.13%.vn (Vietnam)
25 0.12%.my (Malaysia)
7 0.12%.np (Nepal)
24 0.11%.ke (Kenya)
21 0.11%.id (Indonesia)
47 0.10%.es (Spain)
57 0.10%.nl (Netherlands)
38 0.09%.pl (Poland)
6 0.09%.ng (Nigeria)
24 0.09%.arpa (Arpanet)
24 0.08%.at (Austria)
31 0.06%.ch (Switzerland)
6 0.06%.lk (Sri Lanka)
15 0.05%.tw (Taiwan)
22 0.05%.ua (Ukraine)
22 0.05%.cn (China)
14 0.05%.hr (Croatia)
15 0.05%.mx (Mexico)
20 0.04%.fi (Finland)
13 0.04%.bg (Bulgaria)
30 0.04%.gr (Greece)
2 0.04%.kz (Kazakhstan)
19 0.04%.hu (Hungary)
3 0.04%.ie (Ireland)
20 0.03%.dk (Denmark)
12 0.03%.be (Belgium)
4 0.03%.ye (Yemen)
24 0.03%.tr (Turkey)
12 0.03%.na (Namibia)
14 0.02%.us (United States)
36 0.02%.hk (Hong Kong)
8 0.02%.si (Slovenia)
22 0.02%.cz (Czech Republic)
11 0.02%.no (Norway)
12 0.02%.gov (USA Government)
4 0.02%.uy (Uruguay)
7 0.02%.biz (Businesses)
11 0.02%.il (Israel)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
1 0.02%.om (Oman)
5 0.01%.cl (Chile)
1 0.01%.mil (USA Military)
3 0.01%.int (International Treaty Organisations)
13 0.01%.cy (Cyprus)
15 0.01%.ro (Romania)
3 0.01%.ir (Iran)
2 0.01%.ug (Uganda)
1 0.01%.kg (Kyrgyzstan)
4 .gh (Ghana)
1 .as (American Samoa)
5 .lt (Lithuania)
5 .ae (United Arab Emirates)
3 .lv (Latvia)
4 .lb (Lebanon)
2 .ve (Venezuela)
3 .by (Belarus)
1 .lu (Luxembourg)
3 .st (Saint Tome and Principe)
4 .ec (Ecuador)
3 .bn (Brunei Darussalam)
1 .md (Moldova)
1 .cr (Costa Rica)
2 .info (Informational)

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
369819.02%amazonaws.com
1898 7.70%msn.com
1257 4.77%baidu.com
1036 3.21%[domain not given]
76114.35%bluechipbacklinks.com
548 1.90%yandex.com
483 1.04%[unknown domain]
483 2.18%your-server.de
363 0.07%46
344 0.67%114
329 0.24%sogou.com
320 0.45%cam.ac.uk
241 0.56%virginm.net
219 1.12%216.244
216 4.82%telia.com
213 0.95%41
173 0.25%mail.ru
172 0.43%btcentralplus.com
150 0.33%14
148 0.66%103
1006335.29%[not listed: 1,381 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
70software
66pdf
65engineering
40notes
28equivalence
20for
17theorem
15prove
14in
14of
14classes
14and
13set
13residue
12r
12proof
12diploma
12class
11cauchy
10is
10computer
9state
9download
7hindi
7students
6if
6pearl
6theory
6property
6then
241[not listed: 117 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
171093794OS unknown
273792138Windows
 4015997  Unknown Windows
 2930985  Windows NT
 404131  Windows XP
 1010  Windows Server 2003
 117  Windows 2000
 66  Windows 95
 32  Windows 98
333301320Macintosh
428641223Known robots
52388762Unix
 2332735  Linux
 2912  BSD
 2211  Other Unix
 32  SunOS
 22  OSF1
655RISC 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
19214200 OK
3264206 Partial content
158301 Document moved permanently
637304 Not modified since last retrieval
45403 Access forbidden
755404 Document not found
8405 Method not allowed

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
0697 
1B- 10B2 
11B- 100B0 
101B- 1kB523 0.01%
1kB- 10kB7137 0.49%
10kB-100kB6703 4.50%
100kB- 1MB735942.93%
1MB- 10MB63527.20%
10MB-100MB5924.86%

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
1123266.10%.pdf [Adobe Portable Document Format]
21822.42%.gz [Gzip compressed files]
12122.25%  .tar.gz [Compressed archives]
63 7.55%.tbz
1195 1.50%.jpg [JPEG graphics]
6072 0.63%[directories]
6 0.61%.zip [Zip archives]
6 0.52%.tgz
3186 0.40%.html [Hypertext Markup Language]
763 0.12%.sml
374 0.15%[not listed: 8 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
169111.94% 7/Nov/17 11:24/~lp15/papers/Notes/SE-I.pdf
1250 0.16% 7/Nov/17 10:37/~lp15/
733 0.03% 7/Nov/17 07:18/~lp15/MLbook/
710 0.04% 7/Nov/17 11:46/~lp15/MLbook/pub-details.html
18  6/Nov/17 17:41  /~lp15/MLbook/pub-details.html?utm_source=hackernewsletter&utm_medium=email&utm_term=books
583 0.67% 7/Nov/17 07:16/~lp15/images/larry-home-small.jpg
483 4.06% 6/Nov/17 19:36/~lp15/papers/Reports/equivclasses-slides.pdf
381 7.39% 6/Nov/17 19:36/~lp15/Sue/Thesis.pdf
381 1.50% 7/Nov/17 09:58/~lp15/papers/Formath/Residue-theorem.pdf
375 0.86% 7/Nov/17 07:39/~lp15/papers/Notes/Founds-FP.pdf
343 0.29% 5/Nov/17 09:43/~lp15/images/acm-logo.jpg
318 0.05% 7/Nov/17 07:33/~lp15/papers/Arith/
307 0.01% 7/Nov/17 11:00/~lp15/MLbook/programs/
295 3.63% 7/Nov/17 01:21/~lp15/papers/Reports/thesis.pdf
272 0.95% 7/Nov/17 03:37/~lp15/papers/Reports/equivclasses.pdf
224 0.01% 7/Nov/17 09:15/~lp15/MLbook/exercises/
222 0.02% 7/Nov/17 11:00/~lp15/Grants/Alexandria/
211 0.13% 7/Nov/17 08:57/~lp15/papers/refereed.html
206 0.03% 6/Nov/17 19:36/~lp15/Sue/
204 1.20% 7/Nov/17 03:54/~lp15/papers/Formath/Goedel-ar.pdf
182 0.01% 6/Nov/17 23:55/~lp15/MLbook/programs/sample2.sml
173 0.44% 7/Nov/17 08:45/~lp15/MLbook/PDF/chapter1.pdf
150 0.02% 7/Nov/17 11:22/~lp15/Grants/AutoPolyFun/
144 0.03% 7/Nov/17 07:15/~lp15/papers/Auth/
139 0.02% 7/Nov/17 08:28/~lp15/papers/Formath/
137 0.43% 7/Nov/17 08:54/~lp15/images/ERC-LOGO.jpg
136 0.13% 6/Nov/17 19:36/~lp15/papers/Reports/mutil.pdf
135 0.02% 7/Nov/17 08:40/~lp15/papers/Automation/
129 0.58% 7/Nov/17 08:01/~lp15/papers/Reports/Bridge-ml.pdf
128 0.02% 7/Nov/17 02:36/~lp15/MLbook/ERRATA.html
127 0.60% 6/Nov/17 19:36/~lp15/papers/Auth/jcs.pdf
125 0.01% 6/Nov/17 19:34/~lp15/Pages/cv.html
124 0.02% 6/Nov/17 19:35/~lp15/Grants/SET/
123 0.46% 6/Nov/17 19:35/~lp15/papers/Isabelle/fleuriot-kepler.pdf
122 0.01% 6/Nov/17 19:35/~lp15/papers/lecture-courses.html
117 0.01% 7/Nov/17 10:04/~lp15/Grants/
115 0.01% 7/Nov/17 06:35/~lp15/images/
115 0.01% 7/Nov/17 11:29/~lp15/papers/Reports/
114 0.44% 6/Nov/17 22:49/~lp15/papers/Formath/set-I.pdf
112 0.08% 7/Nov/17 09:23/~lp15/Usage/
102 0.17% 7/Nov/17 10:11/~lp15/papers/Formath/Goedel-logic.pdf
98 0.01% 7/Nov/17 05:52/~lp15/MLbook/exercises/exer2.html
92 0.01% 7/Nov/17 02:28/~lp15/papers/Isabelle/
92 0.01% 7/Nov/17 10:49/~lp15/Grants/LEO-II/
91 0.01% 7/Nov/17 00:41/~lp15/archive/
90 0.01% 7/Nov/17 02:17/~lp15/papers/books.html
88  6/Nov/17 20:45/~lp15/MLbook/general.html
88 0.01% 7/Nov/17 03:27/~lp15/papers/
88 0.23% 7/Nov/17 11:21/~lp15/papers/Auth/tls.pdf
86 0.01% 6/Nov/17 12:41/~lp15/papers/hol.html
85 0.11% 6/Nov/17 19:36/~lp15/papers/Auth/SET-overview-2002.pdf
85 0.01% 6/Nov/17 16:17/~lp15/papers/workshop.html
84 0.42% 7/Nov/17 03:37/~lp15/papers/Arith/Sogokon-nfm14.pdf
83 0.13% 6/Nov/17 19:34/~lp15/Pages/vita.pdf
83 0.01% 7/Nov/17 02:03/~lp15/papers/invited.html
83 0.12% 6/Nov/17 19:36/~lp15/papers/Auth/lics.pdf
83 0.64% 7/Nov/17 04:18/~lp15/Pages/Munich-slides.pdf
83 0.01% 7/Nov/17 01:50/~lp15/Grants/Automation/
82  6/Nov/17 15:56/~lp15/Grants/BeyondLinArith/
75 0.02% 7/Nov/17 06:01/~lp15/MLbook/exercises/exer8.html
74 0.02% 7/Nov/17 02:35/~lp15/Usage/images/
11  4/Nov/17 15:06  /~lp15/Usage/images/?C=M;O=A
73 0.01% 6/Nov/17 20:35/~lp15/papers/Workshop/
71  6/Nov/17 20:09/~lp15/Pages/
71 0.01% 7/Nov/17 07:40/~lp15/MLbook/review.html
71 0.23% 6/Nov/17 22:13/~lp15/papers/Automation/sultana-pfreconstruction.pdf
71  6/Nov/17 19:36/~lp15/SpryAssets/
71 0.17% 7/Nov/17 07:14/~lp15/papers/Formath/automata.pdf
70  7/Nov/17 11:36/~lp15/Pages/CL-English.html
68 0.01% 7/Nov/17 07:33/~lp15/MLbook/programs/sample8-2004.sml
68  6/Nov/17 02:01/~lp15/MLbook/first/
67 0.02% 6/Nov/17 19:35/~lp15/MLbook/exercises/exer3.html
67  6/Nov/17 19:34/~lp15/papers/Notes/
67 0.01% 7/Nov/17 10:46/~lp15/papers/recur.html
67 0.20% 6/Nov/17 19:36/~lp15/papers/Reports/TPHOLs05.pdf
67  6/Nov/17 14:37/~lp15/MLbook/StandardML.plist
67 0.30% 6/Nov/17 20:53/~lp15/papers/Bella/smartcards-jcs.pdf
67  6/Nov/17 19:59/~lp15/css/
66 0.28% 6/Nov/17 19:35/~lp15/papers/Bella/accountability.pdf
66 0.11% 6/Nov/17 14:38/~lp15/MLbook/PDF/contents.pdf
66 0.24% 7/Nov/17 10:59/~lp15/MLbook/PDF/chapter2.pdf
65  6/Nov/17 19:36/~lp15/tmp/
10  5/Nov/17 03:57  /~lp15/tmp/?C=S;O=A
10  6/Nov/17 16:50  /~lp15/tmp/?C=D;O=A
65 0.23% 7/Nov/17 07:14/~lp15/papers/Automation/filtering.pdf
65 0.18% 6/Nov/17 19:35/~lp15/papers/Formath/Greens-theorem.pdf
64 0.17% 6/Nov/17 19:35/~lp15/papers/Formath/AC.pdf
63 0.26% 6/Nov/17 22:15/~lp15/papers/Automation/translations-jar.pdf
62  6/Nov/17 22:06/~lp15/papers/Arith/download.html
62 0.14% 6/Nov/17 19:35/~lp15/papers/Bella/esorics98.pdf
60 0.25% 7/Nov/17 06:53/~lp15/MLbook/PDF/chapter3.pdf
60 0.24% 7/Nov/17 08:57/~lp15/Grants/Alexandria/Part-B2.pdf
60 0.03% 4/Nov/17 19:14/~lp15/images/pilkington.jpg
60 0.10% 6/Nov/17 19:34/~lp15/papers/Arith/Narayanan DATE.pdf
60 0.01% 7/Nov/17 07:34/~lp15/MLbook/programs/sample5.sml
59 0.39% 7/Nov/17 08:57/~lp15/Grants/Alexandria/DoA.pdf
58  6/Nov/17 19:36/~lp15/papers/UNITY/
58 0.01% 7/Nov/17 10:20/~lp15/MLbook/programs/sample3.sml
58 0.16% 7/Nov/17 02:22/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
58 0.13% 7/Nov/17 09:12/~lp15/papers/Automation/paar.pdf
57  6/Nov/17 23:54/~lp15/MLbook/programs/ROOT.sml
57 0.12% 7/Nov/17 09:34/~lp15/papers/Arith/Huang-3heuristics.pdf
57 0.01% 7/Nov/17 07:37/~lp15/MLbook/programs/sample4.sml
56 0.11% 6/Nov/17 19:36/~lp15/papers/Auth/multicast_verification.pdf
56 0.22% 7/Nov/17 10:23/~lp15/papers/Formath/reflection-slides.pdf
56  6/Nov/17 19:36/~lp15/Templates/
56  6/Nov/17 19:34/~lp15/papers/Arith/qepcad-for-mac.html
56 0.03% 6/Nov/17 15:56/~lp15/Sue/Sue Paulson.jpg
55 0.01% 6/Nov/17 19:34/~lp15/Pages/ACS-proposals.html
55 0.01% 6/Nov/17 19:35/~lp15/Grants/UNITY/
54 0.01% 6/Nov/17 19:35/~lp15/MLbook/exercises/exer4.html
54 0.12% 5/Nov/17 04:23/~lp15/Pages/harrison-real.pdf
53  7/Nov/17 07:50/~lp15/papers/Bella/
53 0.05% 6/Nov/17 19:36/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
52 0.11% 7/Nov/17 04:12/~lp15/papers/Bella/nonrepudiation.pdf
52 0.14% 6/Nov/17 19:34/~lp15/papers/Arith/Hscc09.pdf
51 0.29% 6/Nov/17 22:15/~lp15/papers/Arith/calculemus2008.pdf
51 0.14% 6/Nov/17 19:36/~lp15/papers/Automation/meng-termination.pdf
50  7/Nov/17 08:50/~lp15/Data/ho-translations/
50 0.01% 6/Nov/17 19:35/~lp15/MLbook/exercises/exer5.html
50 0.12% 6/Nov/17 21:01/~lp15/papers/Automation/translations.pdf
50 0.01% 6/Nov/17 19:35/~lp15/MLbook/exercises/exer7.html
50  7/Nov/17 04:11/~lp15/Data/
50 0.20% 7/Nov/17 06:25/~lp15/papers/Formath/set-II.pdf
49 1.16% 7/Nov/17 10:54/~lp15/papers/Auth/lics-slides.pdf
48 0.01% 6/Nov/17 18:58/~lp15/MLbook/programs/sample7.sml
48 0.21% 6/Nov/17 17:41/~lp15/MLbook/PDF/chapter4.pdf
48 0.22% 6/Nov/17 03:53/~lp15/papers/UNITY/composition.pdf
48 0.11% 6/Nov/17 19:35/~lp15/papers/Bella/registration.pdf
48 0.14% 7/Nov/17 11:21/~lp15/papers/Bella/certified-email.pdf
47 0.10% 5/Nov/17 22:56/~lp15/Grants/AutoPolyFun/case.pdf
47 0.31% 6/Nov/17 19:36/~lp15/papers/Automation/info-and-comp.pdf
46  6/Nov/17 22:49/~lp15/papers/Reviews/
46  6/Nov/17 19:35/~lp15/papers/Deduction/
46 0.09% 6/Nov/17 23:24/~lp15/papers/Bella/cav98.pdf
46 0.10% 6/Nov/17 19:35/~lp15/papers/Isabelle/aisc98.pdf
46 0.09% 6/Nov/17 19:34/~lp15/papers/Arith/fmcad2009.pdf
46 0.01% 6/Nov/17 19:34/~lp15/Pages/Scream.html
45 0.19% 6/Nov/17 15:16/~lp15/MLbook/PDF/chapter5.pdf
44 0.05% 6/Nov/17 19:36/~lp15/papers/Reports/CADE9.pdf
44 0.14% 6/Nov/17 19:35/~lp15/papers/Formath/reflection.pdf
43 0.07% 6/Nov/17 15:19/~lp15/papers/UNITY/tphols01.pdf
43 0.01% 6/Nov/17 19:35/~lp15/Grants/holisa.html
43 0.05% 6/Nov/17 19:36/~lp15/papers/Auth/yahalom.pdf
43 0.10% 6/Nov/17 19:35/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
42  6/Nov/17 08:23/~lp15/MLbook/disclaimer.html
42 0.01% 6/Nov/17 23:12/~lp15/MLbook/exercises/exer6.html
42 0.06% 6/Nov/17 23:47/~lp15/papers/Arith/pdpar2006.pdf
42 0.05% 6/Nov/17 14:59/~lp15/papers/Workshop/friedrich.pdf
42 0.08% 6/Nov/17 19:35/~lp15/papers/Bella/purchase.pdf
42  7/Nov/17 08:50/~lp15/Data/relevance/
41 0.07% 6/Nov/17 19:35/~lp15/papers/Isabelle/chap700.pdf
40 0.02% 3/Nov/17 11:24/~lp15/papers/Reviews/MLer.pdf
40 0.35% 6/Nov/17 19:35/~lp15/papers/Bella/purchase-JAR.pdf
40 0.26% 6/Nov/17 19:34/~lp15/papers/Arith/MetiTarski-jar.pdf
40 0.17% 6/Nov/17 14:13/~lp15/MLbook/PDF/chapter7.pdf
40 0.18% 7/Nov/17 06:59/~lp15/papers/UNITY/UNITY.pdf
40 0.06% 6/Nov/17 19:36/~lp15/papers/Automation/thf-sledge.pdf
39 0.10% 7/Nov/17 08:01/~lp15/papers/Reports/blast.pdf
39 0.01% 6/Nov/17 17:32/~lp15/MLbook/programs/sample8.sml
39 0.10% 7/Nov/17 00:42/~lp15/papers/Arith/lpar2007.pdf
39 0.16% 6/Nov/17 14:13/~lp15/MLbook/PDF/chapter10.pdf
39 0.09% 6/Nov/17 19:36/~lp15/papers/Automation/jar-smt.pdf
39  6/Nov/17 19:34/~lp15/Pages/projects.html
38  6/Nov/17 19:35/~lp15/papers/Ballarin/
38 0.10% 6/Nov/17 19:35/~lp15/papers/Isabelle/coding.pdf
38 0.09% 6/Nov/17 19:35/~lp15/papers/Isabelle/blast.pdf
37 0.08% 6/Nov/17 19:36/~lp15/papers/UNITY/ehmety-composition.pdf
37  6/Nov/17 19:34/~lp15/papers/Arith/atan-problem-1-weak.html
36 0.01% 5/Nov/17 23:19/~lp15/MLbook/programs/sample10.sml
36 0.01% 5/Nov/17 23:17/~lp15/MLbook/programs/sample9.sml
36 0.05% 6/Nov/17 16:09/~lp15/Sue/Cultures of Dance.ppt
35  7/Nov/17 06:39/~lp15/MLbook/first/programs/
35 0.43% 6/Nov/17 19:36/~lp15/papers/Automation/reconstruction-slides.pdf
35 0.09% 6/Nov/17 19:35/~lp15/papers/Formath/milner-ind-defs.pdf
34 0.18% 6/Nov/17 19:36/~lp15/papers/Automation/reconstruction.pdf
34 0.02% 6/Nov/17 17:35/~lp15/papers/Reviews/construct.pdf
34 0.05% 6/Nov/17 19:36/~lp15/papers/Reports/CADE11.pdf
34 0.11% 6/Nov/17 19:36/~lp15/papers/UNITY/Mechanizing-compositional.pdf
33 0.12% 7/Nov/17 07:29/~lp15/papers/Auth/SET-overview-IJIS.pdf
33 0.08% 6/Nov/17 19:36/~lp15/papers/Automation/IJCAR2004.pdf
32 0.18% 6/Nov/17 19:36/~lp15/papers/Automation/filtering-jal.pdf
32 0.22% 6/Nov/17 19:36/~lp15/papers/Reports/intro-to-isabelle.pdf
32 0.06% 6/Nov/17 22:15/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
32 0.17% 5/Nov/17 11:52/~lp15/papers/Workshop/papers/rasmussen.pdf
32 0.06% 6/Nov/17 19:36/~lp15/papers/Auth/ijcar2001.pdf
32  6/Nov/17 19:35/~lp15/MLbook/exercises/disclaimer.html
31 0.06% 6/Nov/17 19:35/~lp15/papers/Formath/final.pdf
31 0.12% 6/Nov/17 19:34/~lp15/papers/Notes/MOD-slides.pdf
31 0.14% 6/Nov/17 14:13/~lp15/MLbook/PDF/chapter6.pdf
31 0.09% 6/Nov/17 19:35/~lp15/papers/Bella/esorics2000.pdf
31 0.06% 7/Nov/17 03:26/~lp15/papers/Arith/ITP-2012-invited.pdf
30  7/Nov/17 10:21/~lp15/MLbook/programs/notes.html
30 0.01% 5/Nov/17 23:17/~lp15/MLbook/programs/test10.sml
30 0.04% 6/Nov/17 20:06/~lp15/papers/Auth/auth-slides.pdf
30 0.05% 6/Nov/17 06:11/~lp15/papers/Workshop/papers/kalvala-linear.pdf
30 0.02% 6/Nov/17 19:34/~lp15/papers/Arith/NFM2014-invited.pdf
30  6/Nov/17 19:34/~lp15/papers/OLD.SETS/
30 0.14% 6/Nov/17 14:13/~lp15/MLbook/PDF/chapter8.pdf
30 0.37% 6/Nov/17 19:36/~lp15/papers/Reports/ref97.pdf
30 0.08% 6/Nov/17 19:36/~lp15/papers/Automation/cade2011-sledge-smt.pdf
29 0.03% 7/Nov/17 09:34/~lp15/Grants/LEO-II/leo2-case.pdf
29 0.07% 6/Nov/17 19:34/~lp15/papers/Notes/strategy.pdf
28 0.04% 6/Nov/17 19:34/~lp15/papers/Arith/FroCoS-2013-invited.pdf
28 0.05% 6/Nov/17 19:34/~lp15/papers/Arith/case-splitting.pdf
28 0.06% 6/Nov/17 19:36/~lp15/papers/Automation/leo2-ijcar.pdf
28 0.04% 6/Nov/17 19:36/~lp15/papers/Auth/security-protocols.pdf
28 0.04% 6/Nov/17 19:36/~lp15/papers/Auth/recur-slides.pdf
28 1.74% 6/Nov/17 19:34/~lp15/papers/Arith/FroCos-presentation.pdf
28 0.12% 6/Nov/17 14:45/~lp15/MLbook/PDF/chapter9.pdf
27  6/Nov/17 00:04/~lp15/Grants/auth.html
27 0.05% 6/Nov/17 19:36/~lp15/papers/Reports/Descent of BAN.pdf
27 0.06% 6/Nov/17 07:40/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
27 0.06% 6/Nov/17 19:35/~lp15/papers/Bella/dimacs97.pdf
27 0.22% 6/Nov/17 19:36/~lp15/papers/Auth/SET-overview-slides.pdf
26 0.33% 6/Nov/17 19:36/~lp15/papers/Reports/TypeClasses.pdf
26 0.84% 6/Nov/17 19:36/~lp15/Sue/Phd-Poster.pdf
26 0.05% 2/Nov/17 04:46/~lp15/papers/Workshop/papers/thompson.pdf
26 0.04% 6/Nov/17 19:35/~lp15/papers/Formath/constructible-abstract.pdf
26 0.08% 6/Nov/17 19:34/~lp15/papers/Arith/SNC2014-invited.pdf
26 0.13% 6/Nov/17 19:35/~lp15/papers/Formath/constructible-slides.pdf
26 0.76% 6/Nov/17 19:36/~lp15/Sue/Thesis-Appendices.pdf
25 0.05% 6/Nov/17 06:03/~lp15/papers/Workshop/papers/voelker.pdf
25 0.16% 6/Nov/17 19:36/~lp15/papers/Reports/logics97.pdf
25  6/Nov/17 01:08/~lp15/MLbook/programs/sample3-old.sml
24 0.15% 6/Nov/17 19:36/~lp15/papers/Auth/tls-slides.pdf
24  6/Nov/17 19:36/~lp15/papers/Workshop/paulson.html
24  6/Nov/17 01:06/~lp15/MLbook/first/programs/Lambda.ML
24  5/Nov/17 16:37/~lp15/MLbook/first/programs/Functions.ML
24 0.01% 5/Nov/17 23:17/~lp15/MLbook/programs/sample9-2004.sml
24  6/Nov/17 19:36/~lp15/papers/Workshop/participants.html
23 0.17% 6/Nov/17 19:35/~lp15/papers/Formath/Future of formalised maths.pdf
23  6/Nov/17 19:36/~lp15/papers/Workshop/matthews.html
23 0.01% 6/Nov/17 19:35/~lp15/papers/Formath/AC-slides.pdf
23 0.03% 6/Nov/17 19:34/~lp15/papers/Notes/leeds-notes.pdf
23  6/Nov/17 19:36/~lp15/papers/Workshop/thompson.html
23  6/Nov/17 19:36/~lp15/papers/Workshop/agerholm.html
23  7/Nov/17 08:30/~lp15/papers/Workshop/programme.html
22  6/Nov/17 19:36/~lp15/papers/Workshop/staples.html
22  7/Nov/17 00:24/~lp15/MLbook/programs/sample8-old.sml
22 0.01% 6/Nov/17 19:36/~lp15/papers/paulson.bib
22 0.07% 6/Nov/17 19:35/~lp15/papers/Formath/Goedel-logic-mine.pdf
22 0.11% 2/Nov/17 16:32/~lp15/papers/Reports/fleuriot-kepler.pdf
21  6/Nov/17 19:36/~lp15/papers/Workshop/kalvala.html
21 0.10% 6/Nov/17 19:36/~lp15/papers/Auth/SET-document.pdf
21 0.02% 6/Nov/17 20:04/~lp15/papers/Arith/Overcoming.pdf
21 0.01% 5/Nov/17 23:20/~lp15/MLbook/programs/sample10-old.sml
21 0.02% 1/Nov/17 16:52/~lp15/Grants/Automation/case.pdf
21 1.25% 6/Nov/17 21:36/~lp15/papers/Arith/ITP 2012 presentation.pdf
21 0.05% 7/Nov/17 03:17/~lp15/MLbook/PDF/projects-bib.pdf
21 1.13% 6/Nov/17 19:34/~lp15/papers/Notes/LCF+.pdf
21 0.21% 6/Nov/17 19:34/~lp15/papers/Arith/NFM2014-slides.pdf
21  6/Nov/17 19:36/~lp15/Sue/Cultures of Dance.html
21 0.09% 6/Nov/17 19:34/~lp15/papers/Arith/cicm2012.pdf
20 0.06% 6/Nov/17 19:34/~lp15/papers/Arith/case-splitting-stats.csv
20 0.28% 4/Nov/17 11:05/~lp15/Grants/Automation/poster.pdf
20 0.20% 6/Nov/17 11:55/~lp15/papers/Isabelle/Cube-presentation.pdf
20 0.33% 7/Nov/17 09:34/~lp15/papers/Arith/metit-slides.pdf
20 0.07%26/Oct/17 20:32/~lp15/papers/Reports/lamport-paulson-types.pdf
19 0.01%28/Oct/17 15:57/~lp15/MLbook/first/ML-syntax.ps.gz
19 0.06% 4/Nov/17 08:10/~lp15/papers/Workshop/papers/nipkow.pdf
19 0.24% 6/Nov/17 19:36/~lp15/papers/Reports/TypeClasses-slides.pdf
19 0.02% 4/Nov/17 05:57/~lp15/papers/Workshop/kammueller.pdf
19 0.05% 6/Nov/17 19:35/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
19 0.07% 6/Nov/17 19:35/~lp15/papers/Isabelle/sylow.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18  6/Nov/17 19:36/~lp15/papers/Workshop/nipkow.html
18 0.20% 3/Oct/16 06:36/~lp15/papers/Reports/popl82.pdf
18  6/Nov/17 19:35/~lp15/papers/Formath/ind-defs-slides.pdf
18  6/Nov/17 19:35/~lp15/Grants/Chaieb.html
18 0.55% 6/Nov/17 19:34/~lp15/papers/Arith/SNC2014-slides.pdf
18  7/Nov/17 02:22/~lp15/papers/Workshop/futures.html
18  6/Nov/17 19:36/~lp15/papers/Workshop/wolff.html
17 0.02% 6/Nov/17 19:34/~lp15/papers/Notes/strategy-slides.pdf
17 0.03%31/Oct/17 16:13/~lp15/papers/Workshop/papers/ayari.pdf
17 0.29% 6/Nov/17 19:37/~lp15/papers/Auth/dagstuhl2001-slides.pdf
17 0.44% 5/Nov/17 16:49/~lp15/Grants/BeyondLinArith/arith-poster.pdf
17 0.63% 5/Nov/17 05:21/~lp15/Grants/LEO-II/leo project poster.pdf
17 0.14%29/Oct/17 01:24/~lp15/Grants/BeyondLinArith/arith-case.pdf
17  6/Nov/17 20:06/~lp15/MLbook/PDF/
17 0.04% 2/Nov/17 01:04/~lp15/papers/Workshop/papers/matthews.pdf
17  3/Nov/17 14:16/~lp15/MLbook/first/programs/Modules.ML
17  7/Nov/17 08:30/~lp15/Grants/UNITY/temporal.html
17  6/Nov/17 19:34/~lp15/papers/Arith/RELEASE-NOTES.txt
17 0.21% 6/Nov/17 19:36/~lp15/papers/Auth/dagstuhl2003-slides.pdf
17 0.08% 5/Nov/17 23:15/~lp15/papers/Workshop/papers/kammueller.pdf
16  6/Nov/17 19:36/~lp15/papers/Workshop/heule.html
16 0.01% 4/Nov/17 13:43/~lp15/Grants/SET/case.pdf
16 0.03%29/Oct/17 04:26/~lp15/Grants/Automation/final.pdf
16 0.01% 6/Nov/17 19:35/~lp15/papers/Isabelle/blast-slides.pdf
16 0.24% 6/Nov/17 19:34/~lp15/papers/Notes/formalizing-abst-slides.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16  5/Nov/17 10:42/~lp15/MLbook/first/programs/Imperative.ML
15  6/Nov/17 01:29/~lp15/MLbook/first/programs/ParsePrint.ML
15 0.01% 6/Nov/17 19:36/~lp15/Sue/Cultures of Dance.pdf
15 0.17% 6/Nov/17 19:35/~lp15/papers/Formath/constructible-theory.pdf
15 30/Oct/17 12:45/~lp15/MLbook/first/programs/Lists-Trees.ML
15 0.10% 6/Nov/17 19:36/~lp15/papers/Automation/Huet colloquium.pdf
15 0.13% 4/Nov/17 02:38/~lp15/papers/Deduction/lecture3.pdf
15 0.26% 7/Nov/17 11:22/~lp15/papers/Auth/ijcar2001-slides.pdf
15 0.04% 7/Nov/17 09:49/~lp15/papers/Workshop/papers/agerholm.pdf
15 0.16% 6/Nov/17 19:35/~lp15/papers/Bella/TPHOLs03-slides.pdf
14 0.03%31/Oct/17 19:34/~lp15/papers/Isabelle/Goedel-logic.pdf
14 0.79% 6/Nov/17 19:35/~lp15/papers/Formath/Goedel-slides.pdf
13 0.12%21/Sep/16 21:51/~lp15/papers/Deduction/lecture1.pdf
13 0.08% 4/Nov/17 15:09/~lp15/papers/Isabelle/Goedel-ar.pdf
13 0.02% 4/Nov/17 02:19/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
13 2.71% 7/Nov/17 08:52/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
13 0.56% 6/Nov/17 19:34/~lp15/papers/Arith/Overcoming-slides.pdf
13  6/Nov/17 10:23/~lp15/MLbook/first/ERRATA1.txt
12 0.02% 3/Nov/17 21:23/~lp15/papers/Workshop/papers/benini.pdf
12 0.05%30/Oct/17 16:25/~lp15/papers/Workshop/papers/bednarczyk.pdf
11 31/Oct/17 06:24/~lp15/Grants/BeyondLinArith/auth-final.pdf
11 0.02%28/Sep/16 05:20/~lp15/papers/Workshop/vigano.pdf
11 0.05% 7/Nov/17 08:52/~lp15/Data/relevance/tptp-2007-03-13.tbz
11 27/Oct/17 21:04/~lp15/MLbook/first/programs/Hal.ML
10 0.02% 2/Nov/17 14:47/~lp15/Grants/Chaieb-case.pdf
10 30/Sep/16 18:23/~lp15/papers/Workshop/bednarczyk.txt
10 0.03% 4/Nov/17 02:02/~lp15/papers/Workshop/papers/vigano.pdf
10 0.10% 6/Nov/17 18:30/~lp15/papers/Automation/h4qed-clean.pdf
9 0.06%28/Sep/16 04:33/~lp15/images/pilkington-full.jpg
9 27/Oct/17 13:06/~lp15/MLbook/first/ERRATA3.txt
9 0.01% 3/Nov/17 18:33/~lp15/papers/Workshop/papers/staples.pdf
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 31/Oct/17 06:20/~lp15/Grants/SET/final.pdf
9 0.05% 6/Nov/17 15:35/~lp15/papers/Deduction/lecture2.pdf
9 27/Oct/17 14:20/~lp15/Grants/UNITY/case.pdf
9 0.02%24/Oct/17 21:55/~lp15/papers/Workshop/papers/owens.pdf
9 3.02%28/Sep/16 22:02/~lp15/archive/Isabelle2009-1.tar.gz
9  7/Nov/17 08:56/~lp15/Data/relevance/unfiltered-vampire.txt
9 0.02% 3/Nov/17 09:20/~lp15/papers/Ballarin/coding.pdf
8 0.03% 1/Nov/17 16:16/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
8 26/Oct/17 18:20/~lp15/MLbook/programs/sample3.sml.gz
8 2.14%28/Oct/17 00:34/~lp15/archive/Isabelle2011.tar.gz
8 2.28% 4/Nov/17 11:13/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 0.07% 6/Nov/17 15:33/~lp15/papers/Deduction/lecture4.pdf
8 0.02%31/Oct/17 11:36/~lp15/papers/Ballarin/aisc98.pdf
7 0.52% 4/Nov/17 11:10/~lp15/Data/ho-translations/Comb.tbz
7 0.02% 1/Nov/17 13:58/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
7 30/Oct/17 21:27/~lp15/papers/Workshop/owens.txt
7  1/Nov/17 22:51/~lp15/MLbook/first/programs/edits.txt
7 0.36% 1/Nov/17 21:47/~lp15/papers/Isabelle/Goedel-slides.pdf
7 0.03% 5/Nov/17 21:24/~lp15/papers/Arith/Narayanan TR.pdf
7 30/Oct/17 03:03/~lp15/Data/relevance/unfiltered-spass.txt
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 0.04% 2/Nov/17 21:30/~lp15/Pages/4colproof.pdf
35220.85% 7/Nov/17 11:23[not listed: 99 files]