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

Program started at Tue-21-Nov-2017 11:55.
Analysed requests from Wed-05-Nov-2014 15:02 to Tue-21-Nov-2017 11:44 (1111.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 21-Nov-2017 11:55.

Successful requests: 23,765 (3,952)
Average successful requests per day: 21 (564)
Successful requests for pages: 9,045 (1,656)
Average successful requests for pages per day: 8 (236)
Failed requests: 991 (253)
Redirected requests: 149 (24)
Distinct files requested: 600 (375)
Distinct hosts served: 5,063 (1,099)
Corrupt logfile lines: 5
Unwanted logfile entries: 18,147
Data transferred: 6.10 gigabytes (676.86 megabytes)
Average data transferred per day: 5.61 megabytes (96.69 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 
Sun2662965+++++++++++++++++++++++++
Mon43261529+++++++++++++++++++++++++++++++++++++++
Tue31471129+++++++++++++++++++++++++++++
Wed37031561++++++++++++++++++++++++++++++++++++++++
Thu35181402++++++++++++++++++++++++++++++++++++
Fri2502839+++++++++++++++++++++
Sat39071620+++++++++++++++++++++++++++++++++++++++++

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
1070556.75%.com (Commercial)
591618.22%[unresolved numerical addresses]
1745 5.91%.net (Networks)
980 3.50%.de (Germany)
1038 2.96%[domain not given]
117 2.62%.fr (France)
307 1.04%.edu (USA Higher Education)
246 0.93%[unknown domain]
241 0.93%.in (India)
385 0.91%.uk (United Kingdom)
149 0.57%.au (Australia)
56 0.47%.ph (Philippines)
66 0.32%.br (Brazil)
241 0.28%.ru (Russia)
92 0.26%.pt (Portugal)
75 0.25%.se (Sweden)
26 0.21%.th (Thailand)
64 0.21%.at (Austria)
65 0.21%.ca (Canada)
104 0.20%.jp (Japan)
25 0.20%.co (Colombia)
39 0.19%.zw (Zimbabwe)
109 0.19%.it (Italy)
40 0.16%.nz (New Zealand)
17 0.15%.pk (Pakistan)
24 0.15%.za (South Africa)
33 0.12%.mx (Mexico)
7 0.11%.np (Nepal)
25 0.11%.ke (Kenya)
59 0.11%.org (Non Profit Making Organisations)
22 0.11%.my (Malaysia)
43 0.10%.sg (Singapore)
42 0.09%.ch (Switzerland)
12 0.08%.id (Indonesia)
32 0.08%.cn (China)
45 0.08%.nl (Netherlands)
35 0.07%.ar (Argentina)
22 0.07%.arpa (Arpanet)
4 0.07%.ng (Nigeria)
19 0.07%.vn (Vietnam)
21 0.06%.pl (Poland)
5 0.06%.lk (Sri Lanka)
48 0.06%.cz (Czech Republic)
41 0.05%.gr (Greece)
19 0.05%.dk (Denmark)
8 0.05%.hr (Croatia)
21 0.04%.fi (Finland)
13 0.04%.bg (Bulgaria)
11 0.04%.ie (Ireland)
11 0.03%.tw (Taiwan)
40 0.03%.hk (Hong Kong)
4 0.03%.ye (Yemen)
12 0.02%.na (Namibia)
28 0.02%.ro (Romania)
9 0.02%.be (Belgium)
4 0.02%.si (Slovenia)
27 0.02%.es (Spain)
14 0.02%.hu (Hungary)
17 0.02%.tr (Turkey)
4 0.02%.uy (Uruguay)
2 0.02%.cm (Cameroon)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
9 0.01%.no (Norway)
10 0.01%.us (United States)
3 0.01%.bd (Bangladesh)
21 0.01%.ua (Ukraine)
2 0.01%.lu (Luxembourg)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
14 0.01%.il (Israel)
13 0.01%.cy (Cyprus)
3 0.01%.ug (Uganda)
3 0.01%.ir (Iran)
4 .gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
2 .by (Belarus)
3 .lv (Latvia)
1 .kz (Kazakhstan)
6 .cl (Chile)
4 .lb (Lebanon)
1 .jo (Jordan)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
3 .bn (Brunei Darussalam)
1 .tt (Trinidad and Tobago)

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
385218.06%amazonaws.com
1805 8.68%msn.com
1324 4.66%baidu.com
1038 2.96%[domain not given]
807 2.87%yandex.com
76113.73%bluechipbacklinks.com
543 2.26%your-server.de
370 0.06%46
363 1.87%216.244
327 0.22%sogou.com
314 0.41%114
291 0.65%virginm.net
246 0.93%[unknown domain]
199 4.62%telia.com
187 0.26%cam.ac.uk
182 0.87%41
171 0.84%103
164 0.15%mail.ru
162 0.45%14
159 0.34%btcentralplus.com
1050035.11%[not listed: 1,432 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
68pdf
67software
62engineering
37notes
30equivalence
21for
17theorem
16and
16class
15prove
14in
14of
14classes
13set
13residue
12r
12diploma
10is
10computer
9proof
9state
9download
8cauchy
7quotient
7hindi
7students
6if
6pearl
6theory
6property
248[not listed: 118 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
174363711OS unknown
276582082Windows
 3086950  Windows NT
 4101939  Unknown Windows
 407135  Windows XP
 4540  Windows 2000
 1010  Windows Server 2003
 66  Windows 95
 32  Windows 98
328781221Known robots
431681184Macintosh
52581828Unix
 2465745  Linux
 9274  BSD
 195  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
19706200 OK
3428206 Partial content
149301 Document moved permanently
631304 Not modified since last retrieval
45403 Access forbidden
946404 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
0697 
1B- 10B2 
11B- 100B0 
101B- 1kB568 0.01%
1kB- 10kB6946 0.45%
10kB-100kB7007 4.53%
100kB- 1MB784243.76%
1MB- 10MB64326.38%
10MB-100MB6024.87%

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
1212666.94%.pdf [Adobe Portable Document Format]
22023.24%.gz [Gzip compressed files]
12123.08%  .tar.gz [Compressed archives]
58 6.50%.tbz
1137 1.24%.jpg [JPEG graphics]
5819 0.58%[directories]
6 0.50%.tgz
3226 0.39%.html [Hypertext Markup Language]
2 0.22%.zip [Zip archives]
3 0.13%.key
738 0.11%.sml
430 0.16%[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
162811.41%21/Nov/17 10:24/~lp15/papers/Notes/SE-I.pdf
1227 0.16%21/Nov/17 11:44/~lp15/
737 0.04%21/Nov/17 11:39/~lp15/MLbook/pub-details.html
16 21/Nov/17 10:57  /~lp15/MLbook/pub-details.html?utm_source=hackernewsletter&utm_medium=email&utm_term=books
709 0.02%21/Nov/17 11:40/~lp15/MLbook/
623 4.23%20/Nov/17 17:36/~lp15/papers/Reports/equivclasses-slides.pdf
594 0.65%21/Nov/17 10:58/~lp15/images/larry-home-small.jpg
484 1.80%21/Nov/17 10:29/~lp15/papers/Formath/Residue-theorem.pdf
423 0.92%21/Nov/17 01:14/~lp15/papers/Notes/Founds-FP.pdf
362 6.71%20/Nov/17 15:12/~lp15/Sue/Thesis.pdf
338 0.27%14/Nov/17 09:41/~lp15/images/acm-logo.jpg
325 0.01%21/Nov/17 09:23/~lp15/MLbook/programs/
313 1.01%21/Nov/17 10:45/~lp15/papers/Reports/equivclasses.pdf
302 0.04%20/Nov/17 21:06/~lp15/papers/Arith/
268 3.10%21/Nov/17 09:11/~lp15/papers/Reports/thesis.pdf
220 0.12%21/Nov/17 08:57/~lp15/papers/refereed.html
214 0.03%21/Nov/17 10:05/~lp15/Sue/
211 1.15%20/Nov/17 21:35/~lp15/papers/Formath/Goedel-ar.pdf
210 0.48%21/Nov/17 10:53/~lp15/MLbook/PDF/chapter1.pdf
192 0.01%20/Nov/17 22:44/~lp15/MLbook/exercises/
186 0.01%21/Nov/17 09:23/~lp15/MLbook/programs/sample2.sml
186 0.58%20/Nov/17 12:41/~lp15/papers/Formath/set-I.pdf
183 0.02%20/Nov/17 12:11/~lp15/MLbook/ERRATA.html
167 0.15%21/Nov/17 02:32/~lp15/papers/Reports/mutil.pdf
151 0.03%20/Nov/17 21:55/~lp15/papers/Auth/
149 0.66%21/Nov/17 09:22/~lp15/papers/Auth/jcs.pdf
144 0.02%21/Nov/17 05:46/~lp15/Grants/AutoPolyFun/
142 0.61%21/Nov/17 11:07/~lp15/papers/Reports/Bridge-ml.pdf
138 0.02%21/Nov/17 01:01/~lp15/papers/Automation/
133 0.02%20/Nov/17 13:02/~lp15/papers/Formath/
133 0.01%21/Nov/17 00:15/~lp15/papers/lecture-courses.html
124 0.01%20/Nov/17 21:52/~lp15/Pages/cv.html
124 0.02%20/Nov/17 06:43/~lp15/Grants/SET/
121 0.01%21/Nov/17 11:16/~lp15/Grants/
114 0.18%20/Nov/17 23:28/~lp15/papers/Formath/Goedel-logic.pdf
114 0.42%21/Nov/17 00:15/~lp15/papers/Isabelle/fleuriot-kepler.pdf
113 0.16%20/Nov/17 22:59/~lp15/papers/Auth/lics.pdf
104 0.01%21/Nov/17 08:25/~lp15/images/
11 18/Nov/17 18:47  /~lp15/images/?C=M;O=A
10 21/Nov/17 03:51  /~lp15/images/?C=N;O=D
104 0.01%21/Nov/17 00:15/~lp15/papers/Reports/
101 0.01%21/Nov/17 10:55/~lp15/Grants/LEO-II/
100 0.01%21/Nov/17 03:41/~lp15/Grants/Alexandria/
100 0.01%20/Nov/17 21:07/~lp15/archive/
95 0.07%21/Nov/17 11:11/~lp15/Usage/
94 0.01%21/Nov/17 09:20/~lp15/Grants/Automation/
93 0.01%20/Nov/17 18:03/~lp15/MLbook/exercises/exer2.html
92 0.01%21/Nov/17 00:15/~lp15/papers/books.html
91 0.14%21/Nov/17 10:16/~lp15/Pages/vita.pdf
89 0.12%20/Nov/17 21:10/~lp15/papers/Auth/SET-overview-2002.pdf
87 0.22%19/Nov/17 21:27/~lp15/papers/Auth/tls.pdf
86 0.19%19/Nov/17 18:13/~lp15/papers/Formath/automata.pdf
86 0.01%21/Nov/17 00:14/~lp15/papers/Isabelle/
86 0.66%21/Nov/17 04:21/~lp15/Pages/Munich-slides.pdf
84 0.01%21/Nov/17 08:11/~lp15/papers/hol.html
84 0.01%21/Nov/17 07:15/~lp15/papers/workshop.html
82 0.01%20/Nov/17 11:04/~lp15/papers/invited.html
82 0.15%21/Nov/17 04:41/~lp15/MLbook/PDF/contents.pdf
79 20/Nov/17 15:14/~lp15/papers/
79 0.41%21/Nov/17 10:45/~lp15/papers/Arith/Sogokon-nfm14.pdf
77 20/Nov/17 13:35/~lp15/MLbook/general.html
76 0.27%20/Nov/17 20:51/~lp15/papers/Automation/filtering.pdf
75 20/Nov/17 19:05/~lp15/Pages/CL-English.html
75 20/Nov/17 19:08/~lp15/Grants/BeyondLinArith/
75 0.20%21/Nov/17 10:19/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
73 18/Nov/17 13:11/~lp15/Pages/
73 0.23%16/Nov/17 03:38/~lp15/papers/Automation/sultana-pfreconstruction.pdf
72 0.01%20/Nov/17 23:56/~lp15/papers/recur.html
72 0.32%20/Nov/17 16:37/~lp15/papers/Bella/smartcards-jcs.pdf
72 0.30%21/Nov/17 02:45/~lp15/MLbook/PDF/chapter2.pdf
71 0.20%18/Nov/17 13:15/~lp15/papers/Formath/Greens-theorem.pdf
71 0.20%20/Nov/17 21:47/~lp15/papers/Reports/TPHOLs05.pdf
70 19/Nov/17 01:52/~lp15/papers/Notes/
70 0.01%19/Nov/17 23:53/~lp15/MLbook/review.html
70 0.28%18/Nov/17 13:11/~lp15/papers/Bella/accountability.pdf
69 0.01%21/Nov/17 10:16/~lp15/papers/Workshop/
68 0.02%20/Nov/17 09:13/~lp15/MLbook/exercises/exer3.html
68 0.26%20/Nov/17 17:34/~lp15/MLbook/PDF/chapter6.pdf
68 0.20%21/Nov/17 03:41/~lp15/images/ERC-LOGO.jpg
67 18/Nov/17 14:21/~lp15/SpryAssets/
67 0.14%21/Nov/17 10:20/~lp15/papers/Automation/paar.pdf
67 18/Nov/17 03:27/~lp15/MLbook/StandardML.plist
67 20/Nov/17 02:02/~lp15/css/
66 0.15%20/Nov/17 06:21/~lp15/papers/Arith/Huang-3heuristics.pdf
65 20/Nov/17 18:36/~lp15/tmp/
64 0.01%21/Nov/17 08:10/~lp15/MLbook/programs/sample3.sml
64 0.01%20/Nov/17 05:33/~lp15/MLbook/exercises/exer8.html
62 0.03%20/Nov/17 21:52/~lp15/images/pilkington.jpg
62 20/Nov/17 13:14/~lp15/MLbook/first/
62 0.01%21/Nov/17 10:21/~lp15/MLbook/programs/sample5.sml
61 21/Nov/17 01:50/~lp15/papers/Arith/download.html
61 19/Nov/17 14:47/~lp15/papers/Bella/
61 0.23%20/Nov/17 17:33/~lp15/MLbook/PDF/chapter10.pdf
61 0.23%20/Nov/17 10:33/~lp15/papers/Formath/reflection-slides.pdf
61 0.01%21/Nov/17 11:13/~lp15/Pages/ACS-proposals.html
61 0.02%20/Nov/17 06:00/~lp15/Usage/images/
10 19/Nov/17 18:20  /~lp15/Usage/images/?C=M;O=A
61 0.01%21/Nov/17 09:20/~lp15/Grants/UNITY/
60 0.15%21/Nov/17 08:22/~lp15/papers/Automation/translations.pdf
59 19/Nov/17 21:35/~lp15/papers/UNITY/
59 0.15%20/Nov/17 05:19/~lp15/papers/Formath/AC.pdf
59 1.26%19/Nov/17 19:02/~lp15/papers/Auth/lics-slides.pdf
59 0.10%21/Nov/17 04:35/~lp15/papers/Arith/Narayanan DATE.pdf
58 0.10%21/Nov/17 00:15/~lp15/papers/Auth/multicast_verification.pdf
57 0.07%19/Nov/17 14:20/~lp15/Sue/Cultures of Dance.ppt
56 0.01%20/Nov/17 04:56/~lp15/MLbook/programs/sample8-2004.sml
56 0.13%20/Nov/17 23:51/~lp15/papers/Automation/jar-smt.pdf
56 0.03%20/Nov/17 21:06/~lp15/Sue/Sue Paulson.jpg
56 0.07%20/Nov/17 21:53/~lp15/papers/Auth/yahalom.pdf
56 0.14%20/Nov/17 18:24/~lp15/papers/Arith/Hscc09.pdf
55 0.13%21/Nov/17 02:31/~lp15/papers/Bella/esorics98.pdf
55 0.24%19/Nov/17 19:53/~lp15/MLbook/PDF/chapter5.pdf
55 20/Nov/17 11:13/~lp15/MLbook/programs/ROOT.sml
55 0.29%20/Nov/17 09:00/~lp15/papers/Arith/calculemus2008.pdf
54 0.22%21/Nov/17 08:48/~lp15/papers/Automation/translations-jar.pdf
54 0.09%21/Nov/17 11:27/~lp15/papers/UNITY/tphols01.pdf
54 0.05%21/Nov/17 04:57/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
52 19/Nov/17 13:01/~lp15/Templates/
51 0.24%20/Nov/17 17:32/~lp15/MLbook/PDF/chapter3.pdf
51 0.02%20/Nov/17 15:19/~lp15/papers/Reviews/MLer.pdf
51 0.11%20/Nov/17 17:08/~lp15/Pages/harrison-real.pdf
51 20/Nov/17 22:40/~lp15/papers/Arith/qepcad-for-mac.html
51 0.25%20/Nov/17 20:31/~lp15/MLbook/PDF/chapter7.pdf
50 0.24%20/Nov/17 17:32/~lp15/MLbook/PDF/chapter4.pdf
50 0.10%18/Nov/17 13:15/~lp15/papers/Isabelle/aisc98.pdf
50 0.14%18/Nov/17 13:11/~lp15/papers/Automation/meng-termination.pdf
50 0.01%19/Nov/17 17:39/~lp15/Grants/holisa.html
49 0.11%21/Nov/17 00:26/~lp15/papers/Bella/nonrepudiation.pdf
49 21/Nov/17 02:00/~lp15/Data/
48 0.09%21/Nov/17 05:09/~lp15/papers/Bella/cav98.pdf
48 0.01%19/Nov/17 19:53/~lp15/MLbook/exercises/exer7.html
47 20/Nov/17 01:05/~lp15/Data/ho-translations/
47 0.01%20/Nov/17 21:07/~lp15/MLbook/exercises/exer4.html
47 0.30%21/Nov/17 11:20/~lp15/papers/Arith/MetiTarski-jar.pdf
47 0.10%19/Nov/17 03:07/~lp15/papers/Bella/registration.pdf
46 0.21%16/Nov/17 11:28/~lp15/papers/UNITY/composition.pdf
46 0.13%19/Nov/17 11:10/~lp15/papers/Bella/certified-email.pdf
45 0.01%20/Nov/17 04:56/~lp15/MLbook/programs/sample4.sml
45 0.14%20/Nov/17 15:12/~lp15/papers/Formath/reflection.pdf
44 18/Nov/17 13:15/~lp15/papers/Reviews/
44 0.07%19/Nov/17 16:19/~lp15/papers/Isabelle/chap700.pdf
44 0.28%20/Nov/17 21:37/~lp15/Grants/Alexandria/DoA.pdf
44 0.21%19/Nov/17 19:53/~lp15/MLbook/PDF/chapter8.pdf
43 21/Nov/17 09:39/~lp15/papers/Deduction/
43 0.01%21/Nov/17 05:32/~lp15/MLbook/exercises/exer5.html
43 0.08%21/Nov/17 02:11/~lp15/papers/Bella/purchase.pdf
43 0.19%21/Nov/17 10:47/~lp15/MLbook/PDF/chapter9.pdf
43 0.07%18/Nov/17 13:11/~lp15/papers/Automation/thf-sledge.pdf
42 0.01%20/Nov/17 04:56/~lp15/MLbook/programs/sample7.sml
42 0.10%20/Nov/17 09:11/~lp15/papers/Arith/lpar2007.pdf
42 0.34%21/Nov/17 04:13/~lp15/papers/Bella/purchase-JAR.pdf
42 0.10%20/Nov/17 05:19/~lp15/papers/Isabelle/blast.pdf
41 0.01%20/Nov/17 04:56/~lp15/MLbook/programs/sample9.sml
41 0.03%18/Nov/17 20:06/~lp15/papers/Reviews/construct.pdf
41 0.09%21/Nov/17 00:56/~lp15/papers/Automation/IJCAR2004.pdf
41 0.07%18/Nov/17 13:11/~lp15/papers/Arith/fmcad2009.pdf
41 0.05%21/Nov/17 04:21/~lp15/papers/Auth/security-protocols.pdf
41 0.04%19/Nov/17 09:28/~lp15/papers/Reports/CADE9.pdf
40 20/Nov/17 16:31/~lp15/papers/Ballarin/
40 0.08%21/Nov/17 04:51/~lp15/Grants/AutoPolyFun/case.pdf
40 0.09%21/Nov/17 06:35/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
40 0.33%18/Nov/17 16:54/~lp15/papers/Automation/info-and-comp.pdf
39 0.08%21/Nov/17 03:34/~lp15/papers/UNITY/ehmety-composition.pdf
39 0.10%17/Nov/17 20:38/~lp15/papers/Reports/blast.pdf
39 0.06%19/Nov/17 19:35/~lp15/papers/Reports/CADE11.pdf
39 21/Nov/17 02:01/~lp15/Pages/projects.html
38 21/Nov/17 08:10/~lp15/MLbook/disclaimer.html
38 18/Nov/17 13:11/~lp15/MLbook/first/programs/
38 0.10%20/Nov/17 12:36/~lp15/papers/Isabelle/coding.pdf
38 20/Nov/17 21:08/~lp15/papers/Arith/atan-problem-1-weak.html
38 0.05%21/Nov/17 03:35/~lp15/papers/Workshop/friedrich.pdf
38 19/Nov/17 03:26/~lp15/Data/relevance/
37 0.15%20/Nov/17 21:58/~lp15/Grants/Alexandria/Part-B2.pdf
37 0.01%18/Nov/17 17:48/~lp15/MLbook/exercises/exer6.html
37 0.48%18/Nov/17 13:11/~lp15/papers/Automation/reconstruction-slides.pdf
37 0.28%20/Nov/17 21:10/~lp15/papers/Auth/SET-overview-slides.pdf
36 0.01%20/Nov/17 11:05/~lp15/MLbook/programs/sample10.sml
36 0.09%19/Nov/17 19:53/~lp15/MLbook/PDF/projects-bib.pdf
36 0.11%20/Nov/17 17:45/~lp15/papers/UNITY/Mechanizing-compositional.pdf
35 0.07%19/Nov/17 04:28/~lp15/papers/Formath/final.pdf
35 0.05%21/Nov/17 03:25/~lp15/papers/Auth/auth-slides.pdf
35 0.06%21/Nov/17 10:20/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
35 0.05%20/Nov/17 15:36/~lp15/papers/Arith/pdpar2006.pdf
35 0.18%19/Nov/17 17:15/~lp15/papers/Workshop/papers/rasmussen.pdf
35 0.09%20/Nov/17 23:56/~lp15/papers/Formath/milner-ind-defs.pdf
35 0.06%20/Nov/17 08:42/~lp15/papers/Auth/ijcar2001.pdf
35 0.15%21/Nov/17 11:37/~lp15/papers/Formath/set-II.pdf
34 20/Nov/17 04:55/~lp15/MLbook/programs/notes.html
34 0.18%21/Nov/17 00:10/~lp15/papers/Automation/reconstruction.pdf
34 0.40%19/Nov/17 20:28/~lp15/papers/Reports/ref97.pdf
34 1.91%18/Nov/17 13:11/~lp15/papers/Arith/FroCos-presentation.pdf
33 0.01%20/Nov/17 04:56/~lp15/MLbook/programs/sample8.sml
33 0.06%20/Nov/17 07:33/~lp15/papers/Automation/leo2-ijcar.pdf
33 0.12%19/Nov/17 12:10/~lp15/papers/Auth/SET-overview-IJIS.pdf
33 0.12%18/Nov/17 13:15/~lp15/papers/Notes/MOD-slides.pdf
33 0.08%20/Nov/17 15:26/~lp15/papers/Automation/cade2011-sledge-smt.pdf
33 0.06%19/Nov/17 22:50/~lp15/papers/Arith/ITP-2012-invited.pdf
32 0.40%18/Nov/17 13:15/~lp15/papers/Reports/TypeClasses.pdf
32 0.06%19/Nov/17 19:53/~lp15/papers/Bella/dimacs97.pdf
32 0.22%18/Nov/17 14:45/~lp15/papers/Reports/intro-to-isabelle.pdf
32 0.14%13/Nov/17 19:28/~lp15/papers/UNITY/UNITY.pdf
32 18/Nov/17 13:11/~lp15/Pages/Scream.html
31 0.03%21/Nov/17 08:55/~lp15/Grants/LEO-II/leo2-case.pdf
31 0.17%18/Nov/17 13:11/~lp15/papers/Automation/filtering-jal.pdf
30 0.04%18/Nov/17 13:11/~lp15/papers/Arith/FroCoS-2013-invited.pdf
30 0.06%19/Nov/17 20:52/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.06%20/Nov/17 14:18/~lp15/papers/Workshop/papers/thompson.pdf
30 0.05%20/Nov/17 15:42/~lp15/papers/Workshop/papers/kalvala-linear.pdf
30 0.09%20/Nov/17 16:37/~lp15/papers/Bella/esorics2000.pdf
29 0.08%20/Nov/17 11:42/~lp15/papers/Arith/SNC2014-invited.pdf
29 19/Nov/17 11:39/~lp15/MLbook/exercises/disclaimer.html
29 0.14%19/Nov/17 18:59/~lp15/papers/Formath/constructible-slides.pdf
28 0.01%20/Nov/17 04:57/~lp15/MLbook/programs/test10.sml
28 18/Nov/17 13:11/~lp15/Grants/auth.html
28 0.05%20/Nov/17 15:28/~lp15/papers/Reports/Descent of BAN.pdf
28 0.87%21/Nov/17 09:21/~lp15/Sue/Phd-Poster.pdf
28 0.03%19/Nov/17 10:39/~lp15/papers/Auth/recur-slides.pdf
27 0.04%18/Nov/17 13:15/~lp15/papers/Notes/leeds-notes.pdf
27 0.02%19/Nov/17 18:16/~lp15/papers/Arith/NFM2014-invited.pdf
27 0.16%20/Nov/17 18:36/~lp15/papers/Reports/logics97.pdf
27 20/Nov/17 04:56/~lp15/MLbook/programs/sample3-old.sml
26 0.25%20/Nov/17 15:21/~lp15/papers/Reports/popl82.pdf
26 0.19%18/Nov/17 13:15/~lp15/papers/Formath/Future of formalised maths.pdf
26 0.05%20/Nov/17 14:18/~lp15/papers/Arith/case-splitting.pdf
26 0.15%18/Nov/17 13:11/~lp15/papers/Auth/tls-slides.pdf
26 0.06%20/Nov/17 22:02/~lp15/papers/Workshop/papers/voelker.pdf
26 0.12%19/Nov/17 07:49/~lp15/papers/Reports/fleuriot-kepler.pdf
25 20/Nov/17 11:28/~lp15/MLbook/first/programs/Lambda.ML
25 0.01%20/Nov/17 04:57/~lp15/MLbook/programs/sample10-old.sml
25 0.04%18/Nov/17 13:15/~lp15/papers/Formath/constructible-abstract.pdf
25 0.24%19/Nov/17 19:01/~lp15/papers/Auth/dagstuhl2003-slides.pdf
24 18/Nov/17 13:15/~lp15/papers/Workshop/matthews.html
24 0.01%20/Nov/17 12:22/~lp15/papers/Formath/AC-slides.pdf
24 0.07%19/Nov/17 05:31/~lp15/papers/Workshop/papers/nipkow.pdf
24 0.06%20/Nov/17 23:19/~lp15/papers/Notes/strategy.pdf
24 0.02%20/Nov/17 15:17/~lp15/Grants/Automation/case.pdf
24 18/Nov/17 13:15/~lp15/papers/OLD.SETS/
24 1.08%18/Nov/17 13:15/~lp15/papers/Notes/LCF+.pdf
24 0.10%20/Nov/17 21:52/~lp15/papers/Arith/cicm2012.pdf
24 21/Nov/17 05:55/~lp15/papers/Workshop/programme.html
23 18/Nov/17 13:15/~lp15/papers/Workshop/kalvala.html
23 0.31%20/Nov/17 00:06/~lp15/Grants/Automation/poster.pdf
23 0.33%20/Nov/17 23:57/~lp15/papers/Notes/formalizing-abst-slides.pdf
23 1.28%18/Nov/17 13:11/~lp15/papers/Arith/ITP 2012 presentation.pdf
23 0.37%18/Nov/17 13:11/~lp15/papers/Arith/metit-slides.pdf
23 17/Nov/17 14:25/~lp15/MLbook/first/programs/Functions.ML
23 0.02%17/Nov/17 11:40/~lp15/papers/Workshop/kammueller.pdf
23 0.06%20/Nov/17 21:57/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
23 20/Nov/17 01:57/~lp15/papers/Workshop/participants.html
23 0.10%19/Nov/17 14:14/~lp15/papers/Workshop/papers/kammueller.pdf
22 0.01%13/Nov/17 16:56/~lp15/MLbook/first/ML-syntax.ps.gz
22 0.55%20/Nov/17 22:44/~lp15/Grants/BeyondLinArith/arith-poster.pdf
22 0.01%18/Nov/17 13:15/~lp15/papers/paulson.bib
22 0.07%18/Nov/17 13:15/~lp15/papers/Isabelle/sylow.pdf
22 0.07%17/Nov/17 22:14/~lp15/papers/Reports/lamport-paulson-types.pdf
22 0.62%18/Nov/17 13:15/~lp15/Sue/Thesis-Appendices.pdf
21 18/Nov/17 13:15/~lp15/papers/Workshop/staples.html
21 0.10%18/Nov/17 18:07/~lp15/papers/Auth/SET-document.pdf
21 0.03%20/Nov/17 00:06/~lp15/Grants/Automation/final.pdf
21 0.06%18/Nov/17 13:15/~lp15/papers/Formath/Goedel-logic-mine.pdf
21 20/Nov/17 22:48/~lp15/MLbook/first/programs/Modules.ML
21 18/Nov/17 13:11/~lp15/Grants/Chaieb.html
21 0.61%18/Nov/17 13:11/~lp15/papers/Arith/SNC2014-slides.pdf
21 0.20%18/Nov/17 13:11/~lp15/papers/Arith/NFM2014-slides.pdf
21 19/Nov/17 10:42/~lp15/papers/Workshop/futures.html
21 20/Nov/17 20:15/~lp15/MLbook/first/programs/Imperative.ML
20 0.24%19/Nov/17 17:56/~lp15/papers/Reports/TypeClasses-slides.pdf
20 0.17%18/Nov/17 13:11/~lp15/Grants/BeyondLinArith/arith-case.pdf
20 0.24%18/Nov/17 13:15/~lp15/papers/Isabelle/Cube-presentation.pdf
20 18/Nov/17 14:19/~lp15/papers/Workshop/thompson.html
19 0.03%17/Nov/17 19:43/~lp15/papers/Workshop/papers/ayari.pdf
19 20/Nov/17 04:56/~lp15/MLbook/programs/sample8-old.sml
19 0.68%19/Nov/17 15:14/~lp15/papers/Arith/Overcoming-slides.pdf
19 20/Nov/17 04:57/~lp15/MLbook/programs/sample9-2004.sml
19 18/Nov/17 13:15/~lp15/papers/Workshop/agerholm.html
19 17/Nov/17 19:48/~lp15/MLbook/first/ERRATA1.txt
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.02%18/Nov/17 13:15/~lp15/papers/Notes/strategy-slides.pdf
18 18/Nov/17 13:15/~lp15/papers/Formath/ind-defs-slides.pdf
18 19/Nov/17 19:36/~lp15/MLbook/first/programs/Lists-Trees.ML
18 0.02%18/Nov/17 13:11/~lp15/papers/Arith/Overcoming.pdf
18 20/Nov/17 08:54/~lp15/papers/Workshop/paulson.html
18 18/Nov/17 13:15/~lp15/Sue/Cultures of Dance.html
17 0.60%20/Nov/17 07:37/~lp15/Grants/LEO-II/leo project poster.pdf
17 0.16%17/Nov/17 04:05/~lp15/papers/Deduction/lecture1.pdf
17 0.10%18/Nov/17 13:11/~lp15/papers/Automation/Huet colloquium.pdf
17 0.03%19/Nov/17 05:15/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
17 20/Nov/17 22:26/~lp15/Grants/UNITY/temporal.html
17 0.14%18/Nov/17 21:25/~lp15/papers/Deduction/lecture3.pdf
17 0.93%18/Nov/17 13:15/~lp15/papers/Formath/Goedel-slides.pdf
17 0.17%21/Nov/17 06:32/~lp15/papers/Bella/TPHOLs03-slides.pdf
17 19/Nov/17 02:29/~lp15/papers/Workshop/wolff.html
16 18/Nov/17 16:35/~lp15/MLbook/first/programs/ParsePrint.ML
16 18/Nov/17 13:15/~lp15/papers/Workshop/nipkow.html
16 0.05%18/Nov/17 13:11/~lp15/papers/Arith/case-splitting-stats.csv
16 0.05%18/Nov/17 20:46/~lp15/papers/Workshop/papers/vigano.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 0.27%18/Nov/17 13:11/~lp15/papers/Auth/ijcar2001-slides.pdf
15 19/Nov/17 00:29/~lp15/MLbook/first/ERRATA3.txt
15 0.01%18/Nov/17 13:15/~lp15/papers/Isabelle/blast-slides.pdf
15 0.03% 9/Nov/17 15:04/~lp15/papers/Workshop/papers/matthews.pdf
15 0.02%16/Nov/17 11:58/~lp15/papers/Workshop/vigano.pdf
15 0.04%21/Nov/17 11:39/~lp15/papers/Workshop/papers/agerholm.pdf
14 0.16%18/Nov/17 13:15/~lp15/papers/Formath/constructible-theory.pdf
14 0.22%18/Nov/17 13:11/~lp15/papers/Auth/dagstuhl2001-slides.pdf
14 19/Nov/17 09:14/~lp15/papers/Workshop/heule.html
14 0.01%15/Nov/17 18:31/~lp15/Grants/SET/case.pdf
14 18/Nov/17 13:11/~lp15/papers/Arith/RELEASE-NOTES.txt
13 0.02%20/Nov/17 22:58/~lp15/papers/Workshop/papers/staples.pdf
13 16/Nov/17 14:22/~lp15/papers/Workshop/bednarczyk.txt
13 0.06%20/Nov/17 14:16/~lp15/papers/Workshop/papers/bednarczyk.pdf
13 0.01%21/Nov/17 11:39/~lp15/MLbook/first/programs/Hal.ML
12 0.01%18/Nov/17 13:15/~lp15/Sue/Cultures of Dance.pdf
12 0.02%17/Nov/17 03:03/~lp15/papers/Workshop/papers/benini.pdf
12 0.02% 3/Oct/16 04:35/~lp15/papers/Isabelle/Goedel-logic.pdf
12 2.55%14/Nov/17 08:02/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
12 0.03%18/Nov/17 15:14/~lp15/papers/Ballarin/aisc98.pdf
12 0.12%21/Nov/17 06:35/~lp15/papers/Automation/h4qed-clean.pdf
11 0.01%19/Nov/17 15:23/~lp15/papers/Workshop/front.pdf
11 13/Nov/17 13:10/~lp15/Grants/BeyondLinArith/auth-final.pdf
11 0.03%18/Nov/17 05:29/~lp15/papers/Ballarin/coding.pdf
10  9/Nov/17 01:00/~lp15/Grants/UNITY/final.pdf
10 20/Nov/17 13:29/~lp15/MLbook/PDF/
10 0.07%16/Nov/17 15:27/~lp15/papers/Deduction/lecture2.pdf
10 0.02% 9/Nov/17 21:50/~lp15/papers/Workshop/papers/owens.pdf
9 0.06%28/Sep/16 04:33/~lp15/images/pilkington-full.jpg
9 0.02%10/Nov/17 10:55/~lp15/Grants/Chaieb-case.pdf
9 13/Nov/17 16:23/~lp15/papers/Workshop/owens.txt
9 16/Nov/17 09:57/~lp15/Grants/UNITY/case.pdf
9 0.04% 7/Nov/17 08:52/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 2.89%28/Sep/16 22:02/~lp15/archive/Isabelle2009-1.tar.gz
9 13/Nov/17 10:53/~lp15/Data/relevance/unfiltered-vampire.txt
9 12/Nov/17 07:54/~lp15/MLbook/first/ERRATA2.txt
8 20/Nov/17 09:53/~lp15/Templates/publications.dwt
8 0.02%18/Nov/17 23:17/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
8 18/Nov/17 18:54/~lp15/MLbook/first/answers1-5.txt.gz
8  9/Nov/17 04:05/~lp15/Grants/SET/final.pdf
8 0.41%20/Nov/17 16:09/~lp15/papers/Isabelle/Goedel-slides.pdf
8 21/Nov/17 09:47/~lp15/images/larry-paulson.jpg
41525.84%21/Nov/17 07:41[not listed: 108 files]