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

Program started at Mon-16-Apr-2018 11:39.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-16-Apr-2018 11:35 (1257.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 16-Apr-2018 11:39.

Successful requests: 23,412 (3,819)
Average successful requests per day: 18 (545)
Successful requests for pages: 9,178 (1,772)
Average successful requests for pages per day: 7 (253)
Failed requests: 742 (77)
Redirected requests: 135 (27)
Distinct files requested: 562 (350)
Distinct hosts served: 5,074 (1,116)
Corrupt logfile lines: 80
Unwanted logfile entries: 17,544
Data transferred: 5.76 gigabytes (552.66 megabytes)
Average data transferred per day: 4.69 megabytes (78.95 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 
Sun2538942++++++++++++++++++++++++
Mon42221621+++++++++++++++++++++++++++++++++++++++++
Tue36451341++++++++++++++++++++++++++++++++++
Wed35501532+++++++++++++++++++++++++++++++++++++++
Thu34361433++++++++++++++++++++++++++++++++++++
Fri2450886+++++++++++++++++++++++
Sat35711423++++++++++++++++++++++++++++++++++++

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
1075457.79%.com (Commercial)
495015.98%[unresolved numerical addresses]
1788 6.90%.net (Networks)
1548 4.92%[domain not given]
966 2.91%.de (Germany)
354 1.16%.edu (USA Higher Education)
283 1.13%[unknown domain]
214 1.01%.in (India)
379 0.89%.uk (United Kingdom)
82 0.70%.fr (France)
56 0.52%.ph (Philippines)
112 0.51%.au (Australia)
73 0.36%.br (Brazil)
241 0.28%.ru (Russia)
105 0.25%.jp (Japan)
47 0.25%.se (Sweden)
61 0.23%.pt (Portugal)
26 0.22%.th (Thailand)
25 0.22%.co (Colombia)
59 0.20%.ca (Canada)
39 0.20%.pk (Pakistan)
48 0.18%.nz (New Zealand)
37 0.17%.zw (Zimbabwe)
100 0.16%.it (Italy)
45 0.16%.nl (Netherlands)
41 0.15%.sg (Singapore)
20 0.14%.za (South Africa)
25 0.13%.ke (Kenya)
83 0.12%.gr (Greece)
7 0.12%.np (Nepal)
74 0.12%.dk (Denmark)
49 0.11%.org (Non Profit Making Organisations)
21 0.11%.my (Malaysia)
46 0.11%.ch (Switzerland)
41 0.10%.at (Austria)
25 0.09%.arpa (Arpanet)
15 0.09%.ie (Ireland)
11 0.09%.id (Indonesia)
26 0.09%.hu (Hungary)
33 0.08%.pl (Poland)
32 0.08%.bg (Bulgaria)
4 0.07%.ng (Nigeria)
36 0.07%.cn (China)
19 0.07%.vn (Vietnam)
6 0.05%.hr (Croatia)
25 0.05%.fi (Finland)
1 0.04%.om (Oman)
14 0.04%.mx (Mexico)
23 0.04%.tr (Turkey)
11 0.03%.tw (Taiwan)
4 0.03%.ly (Libya)
16 0.03%.no (Norway)
35 0.03%.es (Spain)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
35 0.03%.cz (Czech Republic)
12 0.03%.na (Namibia)
9 0.02%.be (Belgium)
42 0.02%.hk (Hong Kong)
14 0.02%.ar (Argentina)
7 0.02%.lv (Latvia)
5 0.02%.gh (Ghana)
4 0.02%.uy (Uruguay)
3 0.02%.is (Iceland)
1 0.02%.si (Slovenia)
4 0.01%.ec (Ecuador)
23 0.01%.ua (Ukraine)
4 0.01%.ug (Uganda)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
14 0.01%.ro (Romania)
12 0.01%.il (Israel)
14 0.01%.cy (Cyprus)
3 0.01%.bd (Bangladesh)
3 0.01%.ir (Iran)
6 0.01%.sk (Slovakia)
7 0.01%.us (United States)
1 .eg (Egypt)
3 .ao (Angola)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
1 .am (Armenia)
2 .ee (Estonia)
1 .kz (Kazakhstan)
4 .lb (Lebanon)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
4 .cl (Chile)
1 .info (Informational)
3 .bn (Brunei Darussalam)
1 .md (Moldova)

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
413919.05%amazonaws.com
1755 8.30%msn.com
1548 4.92%[domain not given]
1165 4.58%baidu.com
794 2.34%yandex.com
76114.52%bluechipbacklinks.com
605 2.34%your-server.de
334 0.34%sogou.com
313 0.43%114
283 1.13%[unknown domain]
275 0.59%virginm.net
198 0.05%64.62
194 4.85%telia.com
187 0.96%41
179 0.30%cam.ac.uk
168 0.16%mail.ru
158 0.03%4
157 0.47%verizon.net
156 0.40%14
154 0.36%btcentralplus.com
988933.89%[not listed: 1,367 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
65software
63pdf
60engineering
35notes
28equivalence
20for
15prove
14in
14of
14classes
14theorem
14and
13set
12r
12residue
12diploma
12class
11cauchy
10is
10computer
9proof
9state
9download
7hindi
7students
6if
6pearl
6theory
6property
6then
241[not listed: 116 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
171203569OS unknown
270572114Windows
 29431008  Windows NT
 3693951  Unknown Windows
 391129  Windows XP
 1010  Windows Server 2003
 108  Windows 2000
 66  Windows 95
 42  Windows 98
331281518Known robots
434121171Macintosh
52655783Unix
 2608765  Linux
 249  Other Unix
 185  BSD
 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
19727200 OK
3065206 Partial content
135301 Document moved permanently
620304 Not modified since last retrieval
45403 Access forbidden
697404 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- 1kB561 0.01%
1kB- 10kB7153 0.48%
10kB-100kB6992 4.79%
100kB- 1MB734242.61%
1MB- 10MB60326.41%
10MB-100MB6225.69%

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
1134165.32%.pdf [Adobe Portable Document Format]
26623.39%.gz [Gzip compressed files]
15123.19%  .tar.gz [Compressed archives]
73 7.73%.tbz
1099 1.21%.jpg [JPEG graphics]
8 0.65%.tgz
6085 0.62%[directories]
3093 0.40%.html [Hypertext Markup Language]
33 0.28%.zip [Zip archives]
856 0.14%.sml
35 0.11%.csv
523 0.16%[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
139310.73%15/Apr/18 07:27/~lp15/papers/Notes/SE-I.pdf
1217 0.16%16/Apr/18 11:34/~lp15/
836 0.03%16/Apr/18 09:25/~lp15/MLbook/
592 0.69%16/Apr/18 11:34/~lp15/images/larry-home-small.jpg
525 4.50%16/Apr/18 05:48/~lp15/papers/Reports/equivclasses-slides.pdf
507 0.03%16/Apr/18 09:52/~lp15/MLbook/pub-details.html
396 1.66%16/Apr/18 11:31/~lp15/papers/Formath/Residue-theorem.pdf
372 0.87%16/Apr/18 02:49/~lp15/papers/Notes/Founds-FP.pdf
355 0.05%16/Apr/18 09:24/~lp15/papers/Arith/
344 6.72%13/Apr/18 14:24/~lp15/Sue/Thesis.pdf
342 0.01%16/Apr/18 08:47/~lp15/MLbook/programs/
339 0.29% 9/Apr/18 09:13/~lp15/images/acm-logo.jpg
310 3.64%15/Apr/18 19:38/~lp15/papers/Reports/thesis.pdf
283 1.01%15/Apr/18 21:02/~lp15/papers/Reports/equivclasses.pdf
232 0.13%16/Apr/18 08:57/~lp15/papers/refereed.html
225 0.01%16/Apr/18 09:26/~lp15/MLbook/exercises/
210 0.03%16/Apr/18 08:48/~lp15/Sue/
201 0.01%15/Apr/18 17:01/~lp15/MLbook/programs/sample2.sml
191 1.13%15/Apr/18 05:54/~lp15/papers/Formath/Goedel-ar.pdf
169 0.03%16/Apr/18 11:34/~lp15/papers/Auth/
168 0.02%15/Apr/18 21:49/~lp15/Grants/AutoPolyFun/
162 0.39%16/Apr/18 08:45/~lp15/MLbook/PDF/chapter1.pdf
153 0.57%16/Apr/18 08:45/~lp15/MLbook/PDF/chapter2.pdf
150 0.02%16/Apr/18 03:06/~lp15/papers/Formath/
150 0.02%16/Apr/18 03:02/~lp15/papers/Automation/
148 0.14%14/Apr/18 21:54/~lp15/papers/Reports/mutil.pdf
144 0.02%16/Apr/18 04:54/~lp15/MLbook/ERRATA.html
135 0.01%16/Apr/18 03:04/~lp15/papers/lecture-courses.html
128 0.61%16/Apr/18 11:35/~lp15/papers/Auth/jcs.pdf
127 0.01%15/Apr/18 22:00/~lp15/Pages/cv.html
125 0.02%16/Apr/18 08:46/~lp15/Grants/SET/
121 0.01%16/Apr/18 02:09/~lp15/Grants/
119 0.01%16/Apr/18 04:27/~lp15/papers/Reports/
116 0.48%15/Apr/18 17:28/~lp15/papers/Formath/set-I.pdf
112 0.19%16/Apr/18 09:05/~lp15/papers/Formath/Goedel-logic.pdf
110 0.55%15/Apr/18 19:51/~lp15/papers/Reports/Bridge-ml.pdf
109 0.08%15/Apr/18 11:57/~lp15/Usage/
108 0.16%14/Apr/18 20:12/~lp15/papers/Auth/lics.pdf
106 0.01%16/Apr/18 09:44/~lp15/papers/hol.html
106 0.40%15/Apr/18 20:18/~lp15/papers/Isabelle/fleuriot-kepler.pdf
104 0.01%16/Apr/18 03:19/~lp15/archive/
103 0.01%16/Apr/18 02:23/~lp15/Grants/Automation/
100 0.01%16/Apr/18 08:51/~lp15/MLbook/exercises/exer2.html
99 0.01%15/Apr/18 18:41/~lp15/papers/books.html
98 0.01%16/Apr/18 10:19/~lp15/images/
98 0.01%16/Apr/18 03:03/~lp15/papers/Isabelle/
97 0.40%16/Apr/18 09:18/~lp15/MLbook/PDF/chapter3.pdf
96 15/Apr/18 12:33/~lp15/MLbook/general.html
96 0.13%15/Apr/18 00:43/~lp15/papers/Auth/SET-overview-2002.pdf
95 0.01%16/Apr/18 04:26/~lp15/papers/workshop.html
92 0.23%15/Apr/18 07:27/~lp15/papers/Auth/tls.pdf
91 0.18%16/Apr/18 08:45/~lp15/MLbook/PDF/contents.pdf
88 0.15%16/Apr/18 08:19/~lp15/Pages/vita.pdf
88 0.01%16/Apr/18 08:46/~lp15/Grants/LEO-II/
87 15/Apr/18 07:27/~lp15/Grants/BeyondLinArith/
86 0.01%15/Apr/18 04:28/~lp15/MLbook/review.html
86 0.01%15/Apr/18 18:36/~lp15/Grants/Alexandria/
85 0.01%15/Apr/18 07:27/~lp15/papers/invited.html
84 0.32%16/Apr/18 09:18/~lp15/MLbook/PDF/chapter5.pdf
82 0.21%14/Apr/18 21:55/~lp15/papers/Formath/milner-ind-defs.pdf
81 0.01%15/Apr/18 01:24/~lp15/papers/
79 16/Apr/18 04:54/~lp15/Pages/CL-English.html
79 0.01%16/Apr/18 08:26/~lp15/papers/recur.html
78 0.31%14/Apr/18 21:55/~lp15/papers/Bella/accountability.pdf
77 0.38%15/Apr/18 18:50/~lp15/papers/Arith/Sogokon-nfm14.pdf
74 14/Apr/18 19:59/~lp15/MLbook/StandardML.plist
73 0.55%15/Apr/18 22:00/~lp15/Pages/Munich-slides.pdf
71 0.20%15/Apr/18 09:01/~lp15/papers/Formath/Greens-theorem.pdf
71 0.01%15/Apr/18 21:58/~lp15/MLbook/programs/sample8-2004.sml
71 0.17%12/Apr/18 21:55/~lp15/papers/Formath/automata.pdf
70 0.02%15/Apr/18 21:32/~lp15/MLbook/exercises/exer8.html
69 0.22%14/Apr/18 21:55/~lp15/papers/Automation/sultana-pfreconstruction.pdf
68 0.02%16/Apr/18 09:26/~lp15/MLbook/exercises/exer3.html
68 15/Apr/18 11:51/~lp15/MLbook/programs/ROOT.sml
68 0.01%16/Apr/18 03:04/~lp15/papers/Workshop/
68 0.12%16/Apr/18 03:59/~lp15/papers/Arith/Narayanan DATE.pdf
67 16/Apr/18 03:02/~lp15/papers/Arith/download.html
67 12/Apr/18 13:58/~lp15/SpryAssets/
67 0.09%16/Apr/18 09:03/~lp15/Sue/Cultures of Dance.ppt
66 15/Apr/18 01:25/~lp15/papers/Notes/
66 0.01%15/Apr/18 15:13/~lp15/MLbook/programs/sample5.sml
65 15/Apr/18 21:59/~lp15/Pages/
65 0.24%14/Apr/18 22:35/~lp15/papers/Automation/filtering.pdf
65 15/Apr/18 05:58/~lp15/MLbook/first/
65 0.30%15/Apr/18 13:07/~lp15/papers/Bella/smartcards-jcs.pdf
64  3/Apr/18 12:03/~lp15/css/
63 16/Apr/18 03:01/~lp15/papers/UNITY/
63 0.01%15/Apr/18 19:28/~lp15/MLbook/programs/sample3.sml
63 0.18%14/Apr/18 21:54/~lp15/papers/Reports/TPHOLs05.pdf
63 0.13%15/Apr/18 22:31/~lp15/papers/Automation/paar.pdf
62 0.25%15/Apr/18 07:27/~lp15/papers/Automation/translations-jar.pdf
62 0.16%14/Apr/18 21:55/~lp15/papers/Formath/AC.pdf
60 0.26%16/Apr/18 08:45/~lp15/MLbook/PDF/chapter4.pdf
60 0.35%16/Apr/18 03:08/~lp15/papers/Arith/calculemus2008.pdf
60 0.01%16/Apr/18 08:31/~lp15/MLbook/programs/sample4.sml
60 0.15%16/Apr/18 03:59/~lp15/papers/Arith/Hscc09.pdf
59 0.01%16/Apr/18 09:16/~lp15/Pages/Scream.html
58 0.16%14/Apr/18 20:12/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
57 0.12%14/Apr/18 20:13/~lp15/papers/Arith/Huang-3heuristics.pdf
57 0.03%16/Apr/18 01:11/~lp15/Sue/Sue Paulson.jpg
56 0.11%14/Apr/18 20:12/~lp15/papers/Auth/multicast_verification.pdf
54 15/Apr/18 01:24/~lp15/papers/Bella/
54 0.03%15/Apr/18 22:00/~lp15/images/pilkington.jpg
54 14/Apr/18 09:25/~lp15/papers/Arith/qepcad-for-mac.html
54 0.22%16/Apr/18 08:46/~lp15/MLbook/PDF/chapter8.pdf
53 0.13%14/Apr/18 21:55/~lp15/papers/Bella/esorics98.pdf
53 0.05%14/Apr/18 21:54/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
52 0.09%16/Apr/18 10:01/~lp15/papers/Isabelle/chap700.pdf
52 0.11%14/Apr/18 21:54/~lp15/papers/Isabelle/aisc98.pdf
52 0.21%16/Apr/18 11:31/~lp15/papers/Formath/reflection-slides.pdf
52 0.12%15/Apr/18 22:00/~lp15/Pages/harrison-real.pdf
52 0.02% 3/Apr/18 12:03/~lp15/Usage/images/
52 0.15%14/Apr/18 21:55/~lp15/papers/Bella/certified-email.pdf
51 15/Apr/18 01:25/~lp15/papers/Reviews/
51 0.35%16/Apr/18 03:05/~lp15/papers/Arith/MetiTarski-jar.pdf
51  3/Apr/18 12:03/~lp15/Templates/
51 0.10%16/Apr/18 10:18/~lp15/papers/Arith/fmcad2009.pdf
50  3/Apr/18 12:03/~lp15/tmp/
50 0.01%14/Apr/18 20:14/~lp15/MLbook/exercises/exer7.html
50  3/Apr/18 12:03/~lp15/Data/
50 0.11%14/Apr/18 21:55/~lp15/papers/Bella/registration.pdf
50 0.01%16/Apr/18 08:46/~lp15/Grants/UNITY/
49 0.01%15/Apr/18 16:18/~lp15/MLbook/exercises/exer4.html
49 0.03%14/Apr/18 21:30/~lp15/papers/Reviews/MLer.pdf
49 0.18%16/Apr/18 08:46/~lp15/MLbook/PDF/chapter10.pdf
49 1.15%14/Apr/18 20:12/~lp15/papers/Auth/lics-slides.pdf
48 0.11%14/Apr/18 21:55/~lp15/papers/Bella/nonrepudiation.pdf
48 0.14%14/Apr/18 21:55/~lp15/papers/Automation/meng-termination.pdf
48 0.01%14/Apr/18 20:14/~lp15/Grants/holisa.html
48 0.06%16/Apr/18 07:43/~lp15/papers/Auth/yahalom.pdf
47 0.11%14/Apr/18 21:55/~lp15/papers/Automation/jar-smt.pdf
46 15/Apr/18 13:49/~lp15/Data/ho-translations/
46 0.11%15/Apr/18 13:50/~lp15/papers/Automation/translations.pdf
46 0.18%16/Apr/18 08:54/~lp15/MLbook/PDF/chapter7.pdf
45 0.01%16/Apr/18 08:46/~lp15/MLbook/programs/sample8.sml
45 0.11%16/Apr/18 03:04/~lp15/papers/Arith/lpar2007.pdf
45 0.10%15/Apr/18 23:03/~lp15/papers/Automation/IJCAR2004.pdf
45 0.01%15/Apr/18 07:27/~lp15/Pages/ACS-proposals.html
44 0.20%16/Apr/18 04:28/~lp15/papers/UNITY/composition.pdf
44 0.07%14/Apr/18 21:54/~lp15/papers/UNITY/tphols01.pdf
44 0.33%14/Apr/18 21:55/~lp15/papers/Bella/purchase-JAR.pdf
44 15/Apr/18 01:24/~lp15/papers/Ballarin/
44 0.14%15/Apr/18 19:24/~lp15/papers/Formath/reflection.pdf
44 0.10%15/Apr/18 10:50/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
43 0.01%15/Apr/18 12:11/~lp15/MLbook/programs/sample7.sml
43 0.01%14/Apr/18 23:45/~lp15/MLbook/programs/sample9.sml
43 0.10%14/Apr/18 21:54/~lp15/papers/Isabelle/blast.pdf
42 16/Apr/18 03:02/~lp15/papers/Arith/atan-problem-1-weak.html
42 0.04%14/Apr/18 21:54/~lp15/papers/Reports/CADE9.pdf
42 0.08%15/Apr/18 08:35/~lp15/papers/Bella/purchase.pdf
41 0.01%14/Apr/18 14:30/~lp15/MLbook/programs/sample10.sml
41 0.01%16/Apr/18 09:26/~lp15/MLbook/exercises/exer5.html
41 0.08%15/Apr/18 15:08/~lp15/papers/Bella/cav98.pdf
41 0.05%16/Apr/18 10:28/~lp15/papers/Workshop/friedrich.pdf
40 15/Apr/18 18:01/~lp15/MLbook/programs/notes.html
40 0.03%15/Apr/18 15:52/~lp15/papers/Reviews/construct.pdf
40 0.16%16/Apr/18 08:46/~lp15/MLbook/PDF/chapter9.pdf
40 15/Apr/18 07:29/~lp15/Data/relevance/
39 0.06%14/Apr/18 21:54/~lp15/papers/Reports/CADE11.pdf
39 15/Apr/18 21:59/~lp15/Pages/projects.html
39 0.09%16/Apr/18 08:37/~lp15/Grants/AutoPolyFun/case.pdf
38 15/Apr/18 09:17/~lp15/MLbook/disclaimer.html
38 0.01%14/Apr/18 20:14/~lp15/MLbook/exercises/exer6.html
38 0.06%14/Apr/18 21:55/~lp15/papers/Automation/thf-sledge.pdf
37 0.01%15/Apr/18 05:59/~lp15/MLbook/programs/test10.sml
37 0.13%15/Apr/18 18:19/~lp15/papers/Auth/SET-overview-IJIS.pdf
37 0.24%16/Apr/18 11:26/~lp15/papers/Reports/intro-to-isabelle.pdf
37 0.06%16/Apr/18 03:08/~lp15/papers/Arith/pdpar2006.pdf
37 0.43%14/Apr/18 21:54/~lp15/papers/Reports/ref97.pdf
37 0.28%14/Apr/18 23:52/~lp15/papers/Automation/info-and-comp.pdf
36 15/Apr/18 01:25/~lp15/papers/Deduction/
36 0.09% 9/Apr/18 11:41/~lp15/papers/Reports/blast.pdf
36 0.05%14/Apr/18 20:38/~lp15/papers/Auth/auth-slides.pdf
36 0.14%15/Apr/18 16:50/~lp15/papers/Notes/MOD-slides.pdf
36 0.06%14/Apr/18 17:43/~lp15/papers/Workshop/papers/kalvala-linear.pdf
36 0.10%14/Apr/18 21:54/~lp15/papers/Isabelle/coding.pdf
36 0.11%15/Apr/18 16:16/~lp15/papers/UNITY/Mechanizing-compositional.pdf
36 0.07%14/Apr/18 20:12/~lp15/papers/Auth/ijcar2001.pdf
35 0.11%14/Apr/18 23:18/~lp15/papers/Arith/case-splitting-stats.csv
35 0.19%14/Apr/18 21:53/~lp15/papers/Workshop/papers/rasmussen.pdf
34 0.06%14/Apr/18 21:55/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
34 0.09%14/Apr/18 20:12/~lp15/papers/Automation/cade2011-sledge-smt.pdf
34 0.07%16/Apr/18 03:07/~lp15/papers/Arith/ITP-2012-invited.pdf
33 0.07%14/Apr/18 21:54/~lp15/papers/UNITY/ehmety-composition.pdf
33 0.02%14/Apr/18 23:36/~lp15/papers/paulson.bib
33 0.06%15/Apr/18 13:41/~lp15/papers/Arith/case-splitting.pdf
33 0.39%14/Apr/18 21:55/~lp15/papers/Automation/reconstruction-slides.pdf
33 14/Apr/18 20:14/~lp15/MLbook/exercises/disclaimer.html
32 0.17%14/Apr/18 20:12/~lp15/papers/Automation/filtering-jal.pdf
32 0.10%15/Apr/18 18:35/~lp15/images/ERC-LOGO.jpg
32 0.09%16/Apr/18 03:07/~lp15/papers/Arith/SNC2014-invited.pdf
32 0.01%15/Apr/18 03:28/~lp15/MLbook/programs/sample3-old.sml
31 0.06%15/Apr/18 05:52/~lp15/papers/Formath/final.pdf
31 0.02%14/Apr/18 14:30/~lp15/MLbook/first/ML-syntax.ps.gz
31 15/Apr/18 10:20/~lp15/MLbook/first/programs/
31 14/Apr/18 14:30/~lp15/MLbook/first/programs/Lambda.ML
31 0.06%15/Apr/18 18:42/~lp15/papers/Bella/dimacs97.pdf
31 0.09%14/Apr/18 21:55/~lp15/papers/Bella/esorics2000.pdf
31 15/Apr/18 03:28/~lp15/Grants/Chaieb.html
31 1.91%16/Apr/18 03:02/~lp15/papers/Arith/FroCos-presentation.pdf
30 0.06%15/Apr/18 21:47/~lp15/papers/Automation/leo2-ijcar.pdf
30 0.16%15/Apr/18 01:52/~lp15/papers/Auth/tls-slides.pdf
30 0.13%16/Apr/18 08:46/~lp15/MLbook/PDF/chapter6.pdf
30 0.07%16/Apr/18 08:46/~lp15/MLbook/PDF/projects-bib.pdf
30 0.26%16/Apr/18 01:49/~lp15/papers/Auth/dagstuhl2003-slides.pdf
30 0.14%15/Apr/18 20:03/~lp15/papers/Formath/constructible-slides.pdf
30 0.14%14/Apr/18 21:55/~lp15/papers/Formath/set-II.pdf
29 16/Apr/18 03:29/~lp15/Grants/auth.html
29 0.33%14/Apr/18 21:54/~lp15/papers/Reports/TypeClasses.pdf
29 0.05%15/Apr/18 21:27/~lp15/papers/Reports/Descent of BAN.pdf
29 0.01%16/Apr/18 01:25/~lp15/MLbook/programs/sample10-old.sml
29 0.01%14/Apr/18 18:00/~lp15/MLbook/programs/sample9-2004.sml
29 0.04%15/Apr/18 23:19/~lp15/papers/Auth/security-protocols.pdf
28 0.01%16/Apr/18 07:09/~lp15/MLbook/programs/sample8-old.sml
28 0.03%13/Apr/18 08:26/~lp15/Grants/LEO-II/leo2-case.pdf
28 0.15%14/Apr/18 21:55/~lp15/papers/Automation/reconstruction.pdf
28 0.07%16/Apr/18 06:37/~lp15/papers/Workshop/papers/voelker.pdf
28 0.12%13/Apr/18 18:22/~lp15/papers/UNITY/UNITY.pdf
28 14/Apr/18 14:30/~lp15/MLbook/first/programs/Functions.ML
27 16/Apr/18 06:36/~lp15/Pages/Lawrence Paulson (C90DEAF0) %E2%80%93 Public.asc
27 0.06% 9/Apr/18 20:25/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
27 0.05%15/Apr/18 07:49/~lp15/papers/Workshop/papers/thompson.pdf
27 0.06%15/Apr/18 22:48/~lp15/papers/Notes/strategy.pdf
27 0.03%14/Apr/18 20:12/~lp15/papers/Auth/recur-slides.pdf
26 0.03% 8/Apr/18 05:19/~lp15/papers/Arith/FroCoS-2013-invited.pdf
26 0.02%15/Apr/18 18:35/~lp15/tmp/tamarack2.zip
26 15/Apr/18 08:33/~lp15/MLbook/first/programs/Modules.ML
26 0.73% 7/Apr/18 17:40/~lp15/Sue/Thesis-Appendices.pdf
25 0.01%14/Apr/18 21:55/~lp15/papers/Formath/AC-slides.pdf
25 0.07%15/Apr/18 23:26/~lp15/papers/Workshop/papers/vigano.pdf
25 0.02%15/Apr/18 17:05/~lp15/papers/Arith/NFM2014-invited.pdf
25 0.15%14/Apr/18 21:54/~lp15/papers/Reports/logics97.pdf
25 15/Apr/18 06:26/~lp15/MLbook/first/programs/Imperative.ML
25 0.11%16/Apr/18 03:06/~lp15/papers/Arith/cicm2012.pdf
25 0.10%14/Apr/18 00:15/~lp15/papers/Workshop/papers/kammueller.pdf
24 0.16%14/Apr/18 20:24/~lp15/papers/Formath/Future of formalised maths.pdf
24 15/Apr/18 21:21/~lp15/MLbook/first/programs/Lists-Trees.ML
24 0.76% 7/Apr/18 00:54/~lp15/Sue/Phd-Poster.pdf
24 0.04%14/Apr/18 13:45/~lp15/papers/Formath/constructible-abstract.pdf
24 0.20%14/Apr/18 20:12/~lp15/papers/Auth/SET-overview-slides.pdf
23 15/Apr/18 08:32/~lp15/MLbook/first/programs/ParsePrint.ML
23 16/Apr/18 06:29/~lp15/papers/Workshop/matthews.html
23 0.30%14/Apr/18 20:14/~lp15/Grants/Automation/poster.pdf
23 0.07%11/Apr/18 14:36/~lp15/papers/Workshop/papers/nipkow.pdf
23 0.03%13/Apr/18 14:03/~lp15/papers/Notes/leeds-notes.pdf
23 1.31%16/Apr/18 03:06/~lp15/papers/Arith/ITP 2012 presentation.pdf
23 0.07%15/Apr/18 17:06/~lp15/papers/Formath/Goedel-logic-mine.pdf
23 0.65%16/Apr/18 03:09/~lp15/papers/Arith/SNC2014-slides.pdf
23 16/Apr/18 06:28/~lp15/papers/Workshop/participants.html
22 0.02%14/Apr/18 20:14/~lp15/Grants/Automation/case.pdf
22 0.36%16/Apr/18 03:07/~lp15/papers/Arith/metit-slides.pdf
21 0.10%15/Apr/18 07:37/~lp15/papers/Auth/SET-document.pdf
21 0.11% 6/Apr/18 07:19/~lp15/papers/Reports/fleuriot-kepler.pdf
21 14/Apr/18 20:13/~lp15/papers/Arith/RELEASE-NOTES.txt
21 15/Apr/18 01:25/~lp15/papers/OLD.SETS/
21 1.08%11/Apr/18 11:55/~lp15/papers/Notes/LCF+.pdf
21 12/Apr/18 12:24/~lp15/Sue/Cultures of Dance.html
20 0.02%13/Apr/18 14:04/~lp15/papers/Notes/strategy-slides.pdf
20 0.01%14/Apr/18 21:55/~lp15/papers/Formath/ind-defs-slides.pdf
20 0.24%14/Apr/18 21:54/~lp15/papers/Reports/TypeClasses-slides.pdf
19 16/Apr/18 06:28/~lp15/papers/Workshop/programme.html
19 0.18%15/Apr/18 16:32/~lp15/papers/Bella/TPHOLs03-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.20% 3/Oct/16 06:36/~lp15/papers/Reports/popl82.pdf
18 16/Apr/18 06:31/~lp15/papers/Workshop/kalvala.html
18 0.03%14/Apr/18 20:14/~lp15/Grants/Automation/final.pdf
18 0.01%14/Apr/18 21:54/~lp15/papers/Isabelle/blast-slides.pdf
18 0.15% 6/Apr/18 23:32/~lp15/Grants/BeyondLinArith/arith-case.pdf
18 0.21%14/Apr/18 21:54/~lp15/papers/Isabelle/Cube-presentation.pdf
18 16/Apr/18 06:31/~lp15/papers/Workshop/thompson.html
18 15/Apr/18 01:12/~lp15/Grants/UNITY/temporal.html
18 0.05%14/Apr/18 21:54/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 0.01%15/Apr/18 10:20/~lp15/MLbook/first/programs/Hal.ML
18 0.19%10/Apr/18 15:08/~lp15/papers/Arith/NFM2014-slides.pdf
17 16/Apr/18 06:32/~lp15/papers/Workshop/staples.html
17 0.03%10/Apr/18 02:37/~lp15/papers/Workshop/papers/ayari.pdf
17 0.15% 8/Apr/18 18:03/~lp15/papers/Deduction/lecture3.pdf
17 0.01% 9/Apr/18 19:44/~lp15/papers/Workshop/kammueller.pdf
17 16/Apr/18 06:31/~lp15/papers/Workshop/agerholm.html
17 0.06%14/Apr/18 21:54/~lp15/papers/Isabelle/sylow.pdf
17 15/Apr/18 05:58/~lp15/MLbook/first/ERRATA1.txt
17 14/Apr/18 19:03/~lp15/MLbook/first/ERRATA2.txt
16 16/Apr/18 06:32/~lp15/papers/Workshop/nipkow.html
16 0.17%14/Apr/18 21:55/~lp15/papers/Formath/constructible-theory.pdf
16 0.39% 6/Apr/18 23:32/~lp15/Grants/BeyondLinArith/arith-poster.pdf
16 16/Apr/18 06:31/~lp15/papers/Workshop/paulson.html
16 0.02%16/Apr/18 06:04/~lp15/papers/Workshop/vigano.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 0.27%14/Apr/18 20:12/~lp15/papers/Auth/ijcar2001-slides.pdf
15 11/Apr/18 13:39/~lp15/Grants/BeyondLinArith/auth-final.pdf
15 0.24%14/Apr/18 20:12/~lp15/papers/Auth/dagstuhl2001-slides.pdf
15 16/Apr/18 06:31/~lp15/papers/Workshop/bednarczyk.txt
15 0.14% 3/Apr/18 22:34/~lp15/papers/Deduction/lecture1.pdf
15 0.10%15/Apr/18 18:36/~lp15/Grants/Alexandria/DoA.pdf
15 0.22%13/Apr/18 14:03/~lp15/papers/Notes/formalizing-abst-slides.pdf
15 0.74% 4/Apr/18 22:28/~lp15/papers/Formath/Goedel-slides.pdf
15  5/Apr/18 17:51/~lp15/papers/Workshop/futures.html
15 0.04%10/Apr/18 00:00/~lp15/papers/Workshop/papers/agerholm.pdf
14 0.01% 6/Apr/18 11:43/~lp15/Grants/SET/case.pdf
14 0.03% 3/Apr/18 12:03/~lp15/papers/Workshop/papers/matthews.pdf
14 0.03%14/Apr/18 23:40/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
14  7/Apr/18 00:46/~lp15/papers/Workshop/wolff.html
13 14/Apr/18 14:30/~lp15/MLbook/first/ERRATA3.txt
13 0.01% 3/Apr/18 12:03/~lp15/papers/Arith/Overcoming.pdf
13 0.08% 3/Apr/18 12:03/~lp15/papers/Automation/Huet colloquium.pdf
13 2.62%16/Apr/18 08:44/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
13 0.53%10/Apr/18 12:32/~lp15/papers/Arith/Overcoming-slides.pdf
13 0.03% 8/Apr/18 21:14/~lp15/papers/Workshop/papers/owens.pdf
12 0.07%14/Apr/18 13:23/~lp15/images/pilkington-full.jpg
12 0.06%15/Apr/18 07:27/~lp15/Grants/Alexandria/Part-B2.pdf
12 0.02% 3/Oct/16 04:35/~lp15/papers/Isabelle/Goedel-logic.pdf
12 0.05% 9/Apr/18 01:16/~lp15/papers/Workshop/papers/bednarczyk.pdf
12 0.06%16/Apr/18 08:45/~lp15/Data/relevance/tptp-2007-03-13.tbz
11 0.01% 7/Apr/18 00:54/~lp15/Sue/Cultures of Dance.pdf
11 0.02%14/Apr/18 01:42/~lp15/Grants/Chaieb-case.pdf
11 0.36%13/Apr/18 06:10/~lp15/Grants/LEO-II/leo project poster.pdf
11 14/Apr/18 16:03/~lp15/Grants/SET/final.pdf
11 0.07%15/Apr/18 18:01/~lp15/papers/Deduction/lecture2.pdf
11 16/Apr/18 08:45/~lp15/Data/relevance/unfiltered-spass.txt
11 0.03% 3/Apr/18 12:03/~lp15/papers/Ballarin/aisc98.pdf
11 3.24%13/Apr/18 12:27/~lp15/archive/Isabelle2009-1.tar.gz
10  3/Apr/18 12:03/~lp15/papers/Workshop/heule.html
10 0.08%12/Apr/18 12:38/~lp15/papers/Deduction/lecture4.pdf
10 16/Apr/18 08:45/~lp15/Data/relevance/unfiltered-vampire.txt
10 0.03%13/Apr/18 06:13/~lp15/papers/Ballarin/coding.pdf
9 0.01% 3/Apr/18 12:03/~lp15/papers/Workshop/papers/staples.pdf
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.62%16/Apr/18 08:40/~lp15/Data/ho-translations/Comb.tbz
9 0.02% 3/Apr/18 12:03/~lp15/papers/Workshop/papers/benini.pdf
9 16/Apr/18 06:31/~lp15/papers/Workshop/owens.txt
9 0.09%12/Apr/18 06:10/~lp15/papers/Automation/h4qed-clean.pdf
8 16/Apr/18 08:39/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
8 0.03%13/Apr/18 20:12/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
8 14/Apr/18 14:30/~lp15/MLbook/first/programs/edits.txt
8 11/Apr/18 08:45/~lp15/MLbook/PDF/
8 0.06% 6/Apr/18 22:32/~lp15/papers/Isabelle/Goedel-ar.pdf
8 0.65%16/Apr/18 03:22/~lp15/papers/Arith/metit.tgz
8 2.26%16/Apr/18 08:43/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 16/Apr/18 08:39/~lp15/Data/ho-translations/Theories.tbz
8 16/Apr/18 08:45/~lp15/Data/relevance/unfiltered-E.txt
43623.55%16/Apr/18 08:42[not listed: 109 files]