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

Program started at Mon-08-Jan-2018 14:24.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-08-Jan-2018 14:13 (1159.97 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 08-Jan-2018 14:24.

Successful requests: 21,627 (2,699)
Average successful requests per day: 18 (385)
Successful requests for pages: 8,536 (1,315)
Average successful requests for pages per day: 7 (187)
Failed requests: 764 (97)
Redirected requests: 133 (22)
Distinct files requested: 570 (374)
Distinct hosts served: 4,588 (869)
Corrupt logfile lines: 62
Unwanted logfile entries: 16,119
Data transferred: 5.56 gigabytes (380.11 megabytes)
Average data transferred per day: 4.91 megabytes (54.30 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 
Sun2401853++++++++++++++++++++++
Mon44501764+++++++++++++++++++++++++++++++++++++++++++++
Tue2553878++++++++++++++++++++++
Wed31381270++++++++++++++++++++++++++++++++
Thu30611233+++++++++++++++++++++++++++++++
Fri28441135+++++++++++++++++++++++++++++
Sat31801403++++++++++++++++++++++++++++++++++++

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
1046159.54%.com (Commercial)
454615.99%[unresolved numerical addresses]
1455 6.10%.net (Networks)
847 3.07%.de (Germany)
830 2.77%[domain not given]
777 2.72%[unknown domain]
229 0.98%.in (India)
212 0.82%.edu (USA Higher Education)
83 0.80%.fr (France)
273 0.68%.uk (United Kingdom)
54 0.49%.ph (Philippines)
126 0.47%.au (Australia)
94 0.42%.jp (Japan)
65 0.34%.br (Brazil)
239 0.32%.ru (Russia)
47 0.26%.se (Sweden)
26 0.25%.co (Colombia)
29 0.24%.th (Thailand)
69 0.22%.pt (Portugal)
28 0.20%.pk (Pakistan)
39 0.18%.nz (New Zealand)
37 0.17%.zw (Zimbabwe)
61 0.17%.ca (Canada)
20 0.16%.za (South Africa)
33 0.16%.ke (Kenya)
93 0.15%.it (Italy)
23 0.13%.my (Malaysia)
61 0.13%.org (Non Profit Making Organisations)
39 0.13%.fi (Finland)
7 0.12%.np (Nepal)
10 0.12%.ng (Nigeria)
38 0.11%.sg (Singapore)
49 0.11%.nl (Netherlands)
14 0.09%.id (Indonesia)
28 0.09%.vn (Vietnam)
29 0.07%.cn (China)
45 0.07%.ua (Ukraine)
25 0.07%.pl (Poland)
22 0.07%.at (Austria)
12 0.05%.arpa (Arpanet)
23 0.05%.ro (Romania)
6 0.05%.ie (Ireland)
12 0.05%.il (Israel)
6 0.05%.hr (Croatia)
15 0.05%.bg (Bulgaria)
23 0.05%.dk (Denmark)
23 0.04%.ch (Switzerland)
5 0.04%.lt (Lithuania)
11 0.04%.mx (Mexico)
36 0.04%.gr (Greece)
10 0.04%.be (Belgium)
11 0.04%.tw (Taiwan)
17 0.03%.hu (Hungary)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
13 0.03%.na (Namibia)
26 0.03%.es (Spain)
36 0.02%.hk (Hong Kong)
30 0.02%.cz (Czech Republic)
16 0.02%.no (Norway)
4 0.02%.uy (Uruguay)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
1 0.02%.bd (Bangladesh)
1 0.02%.si (Slovenia)
17 0.02%.tr (Turkey)
9 0.02%.ar (Argentina)
6 0.01%.ae (United Arab Emirates)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
1 0.01%.om (Oman)
2 0.01%.kz (Kazakhstan)
13 0.01%.ir (Iran)
2 0.01%.ug (Uganda)
3 0.01%.ec (Ecuador)
4 0.01%.gh (Ghana)
1 .as (American Samoa)
3 .lv (Latvia)
4 .lb (Lebanon)
6 .us (United States)
2 .lu (Luxembourg)
2 .ee (Estonia)
3 .biz (Businesses)
5 .sk (Slovakia)
3 .st (Saint Tome and Principe)
3 .bn (Brunei Darussalam)
3 .cl (Chile)

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
373219.32%amazonaws.com
1643 8.13%msn.com
1180 4.95%baidu.com
112515.51%bluechipbacklinks.com
830 2.77%[domain not given]
777 2.72%[unknown domain]
722 2.48%yandex.com
522 2.41%your-server.de
365 0.42%sogou.com
312 0.44%114
237 0.61%virginm.net
195 5.04%telia.com
183 0.90%41
168 0.19%mail.ru
165 0.92%103
162 0.44%14
157 0.38%btcentralplus.com
138 0.31%t-ipconnect.de
133 0.02%4
131 0.05%changedetection.com
875032.01%[not listed: 1,232 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
67software
63pdf
62engineering
37notes
28equivalence
20for
18prove
17theorem
14in
14of
14classes
14and
13set
13residue
12r
12diploma
12class
10is
10proof
10computer
9state
9download
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
240[not listed: 115 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
167573460OS unknown
270702256Windows
 40971246  Unknown Windows
 2531852  Windows NT
 408132  Windows XP
 1410  Windows Server 2003
 118  Windows 2000
 66  Windows 95
 32  Windows 98
327611160Known robots
42664951Macintosh
52331684Unix
 2300675  Linux
 145  Other Unix
 32  SunOS
 22  OSF1
 120  BSD
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
18086200 OK
2913206 Partial content
133301 Document moved permanently
628304 Not modified since last retrieval
45403 Access forbidden
719404 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- 1kB578 0.01%
1kB- 10kB6374 0.46%
10kB-100kB6500 4.49%
100kB- 1MB682842.03%
1MB- 10MB58926.96%
10MB-100MB5926.06%

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
1064364.91%.pdf [Adobe Portable Document Format]
25423.62%.gz [Gzip compressed files]
15123.44%  .tar.gz [Compressed archives]
60 7.85%.tbz
978 1.10%.jpg [JPEG graphics]
5724 0.65%[directories]
6 0.54%.tgz
2812 0.40%.html [Hypertext Markup Language]
3 0.36%.zip [Zip archives]
6 0.28%.key
738 0.12%.sml
403 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
145811.54% 8/Jan/18 12:33/~lp15/papers/Notes/SE-I.pdf
1143 0.16% 8/Jan/18 13:06/~lp15/
700 0.03% 8/Jan/18 13:37/~lp15/MLbook/
508 0.62% 8/Jan/18 13:06/~lp15/images/larry-home-small.jpg
478 4.09% 8/Jan/18 07:05/~lp15/papers/Reports/equivclasses-slides.pdf
403 1.69% 8/Jan/18 14:13/~lp15/papers/Formath/Residue-theorem.pdf
399 0.02% 8/Jan/18 13:55/~lp15/MLbook/pub-details.html
364 0.88% 8/Jan/18 01:39/~lp15/papers/Notes/Founds-FP.pdf
344 6.89% 5/Jan/18 21:05/~lp15/Sue/Thesis.pdf
338 0.30%28/Dec/17 19:20/~lp15/images/acm-logo.jpg
304 0.05% 8/Jan/18 12:02/~lp15/papers/Arith/
291 0.01% 8/Jan/18 03:46/~lp15/MLbook/programs/
262 0.96% 8/Jan/18 13:37/~lp15/papers/Reports/equivclasses.pdf
247 3.19% 6/Jan/18 01:27/~lp15/papers/Reports/thesis.pdf
216 0.14% 8/Jan/18 12:32/~lp15/papers/refereed.html
191 0.63% 8/Jan/18 09:27/~lp15/papers/Reports/Bridge-ml.pdf
190 1.14% 5/Jan/18 21:05/~lp15/papers/Formath/Goedel-ar.pdf
188 0.01% 8/Jan/18 01:08/~lp15/MLbook/exercises/
180 0.02% 8/Jan/18 11:28/~lp15/Sue/
174 0.01% 7/Jan/18 17:23/~lp15/MLbook/programs/sample2.sml
152 0.03% 8/Jan/18 04:22/~lp15/papers/Auth/
148 0.02% 8/Jan/18 11:48/~lp15/Grants/AutoPolyFun/
145 0.14% 8/Jan/18 00:03/~lp15/papers/Reports/mutil.pdf
139 0.02% 8/Jan/18 04:34/~lp15/papers/Automation/
138 0.03% 8/Jan/18 12:21/~lp15/Grants/SET/
137 0.02% 8/Jan/18 01:08/~lp15/papers/Formath/
136 0.67% 6/Jan/18 18:01/~lp15/papers/Auth/jcs.pdf
124 0.01% 8/Jan/18 12:32/~lp15/papers/lecture-courses.html
122 0.11% 8/Jan/18 01:08/~lp15/Usage/
116 0.01% 8/Jan/18 01:07/~lp15/Grants/
111 0.01% 8/Jan/18 01:07/~lp15/Pages/cv.html
111 0.02% 8/Jan/18 01:08/~lp15/MLbook/ERRATA.html
111 0.01% 8/Jan/18 11:09/~lp15/images/
111 0.01% 8/Jan/18 01:06/~lp15/papers/Reports/
109 0.42% 6/Jan/18 14:36/~lp15/papers/Isabelle/fleuriot-kepler.pdf
108 0.16% 8/Jan/18 11:06/~lp15/papers/Auth/lics.pdf
98 0.01% 8/Jan/18 01:07/~lp15/Grants/Automation/
97 0.16% 7/Jan/18 15:19/~lp15/papers/Formath/Goedel-logic.pdf
96 0.01% 8/Jan/18 12:13/~lp15/Grants/LEO-II/
96 0.40% 5/Jan/18 21:05/~lp15/papers/Formath/set-I.pdf
94 0.01% 8/Jan/18 01:08/~lp15/papers/Isabelle/
88 0.01% 8/Jan/18 09:58/~lp15/archive/
85 0.01% 8/Jan/18 07:51/~lp15/papers/books.html
84 0.01% 6/Jan/18 02:04/~lp15/MLbook/exercises/exer2.html
83 0.01% 8/Jan/18 01:07/~lp15/Grants/BeyondLinArith/
81  8/Jan/18 02:10/~lp15/MLbook/general.html
81 0.01% 8/Jan/18 01:06/~lp15/papers/workshop.html
80 0.14% 8/Jan/18 12:31/~lp15/Pages/vita.pdf
80 0.11% 6/Jan/18 13:49/~lp15/papers/Auth/SET-overview-2002.pdf
80 0.01% 6/Jan/18 16:43/~lp15/papers/
80 0.01% 8/Jan/18 07:11/~lp15/papers/invited.html
80 0.01% 8/Jan/18 01:52/~lp15/Pages/Scream.html
80 0.43% 8/Jan/18 11:22/~lp15/papers/Arith/Sogokon-nfm14.pdf
78 0.01% 8/Jan/18 01:08/~lp15/papers/hol.html
78 0.64% 6/Jan/18 17:26/~lp15/Pages/Munich-slides.pdf
76  8/Jan/18 11:10/~lp15/Pages/
76 0.21% 5/Jan/18 21:04/~lp15/papers/Auth/tls.pdf
76  8/Jan/18 02:20/~lp15/MLbook/StandardML.plist
75  7/Jan/18 04:17/~lp15/papers/Notes/
73 0.24% 8/Jan/18 09:57/~lp15/MLbook/PDF/chapter2.pdf
71  5/Jan/18 21:04/~lp15/SpryAssets/
70  8/Jan/18 01:08/~lp15/Pages/CL-English.html
70 0.24% 7/Jan/18 03:32/~lp15/papers/Automation/sultana-pfreconstruction.pdf
70 0.33% 5/Jan/18 21:05/~lp15/papers/Bella/smartcards-jcs.pdf
69 0.26% 7/Jan/18 18:37/~lp15/papers/Automation/filtering.pdf
69 0.21% 7/Jan/18 01:20/~lp15/papers/Formath/Greens-theorem.pdf
68  6/Jan/18 04:23/~lp15/tmp/
10  6/Jan/18 04:23  /~lp15/tmp/?C=S;O=A
68 0.01% 8/Jan/18 01:08/~lp15/papers/recur.html
68 0.19% 8/Jan/18 12:56/~lp15/MLbook/PDF/chapter1.pdf
68  5/Jan/18 20:51/~lp15/css/
67 0.17% 6/Jan/18 10:53/~lp15/papers/Formath/automata.pdf
67 0.01% 8/Jan/18 07:03/~lp15/MLbook/programs/sample5.sml
65 0.02% 8/Jan/18 03:45/~lp15/MLbook/exercises/exer8.html
64 0.02% 6/Jan/18 20:31/~lp15/MLbook/exercises/exer3.html
64 0.01% 7/Jan/18 14:32/~lp15/MLbook/review.html
64 0.01% 8/Jan/18 10:55/~lp15/papers/Workshop/
63  7/Jan/18 19:25/~lp15/MLbook/first/
62 0.27% 5/Jan/18 21:03/~lp15/papers/Bella/accountability.pdf
61  5/Jan/18 21:04/~lp15/papers/Arith/download.html
61 0.27% 8/Jan/18 08:25/~lp15/papers/Automation/translations-jar.pdf
61  6/Jan/18 22:34/~lp15/papers/Bella/
61 0.01% 8/Jan/18 01:07/~lp15/Grants/Alexandria/
61 0.15% 8/Jan/18 06:15/~lp15/papers/Bella/registration.pdf
60 0.15% 7/Jan/18 03:22/~lp15/papers/Bella/esorics98.pdf
60 0.11% 7/Jan/18 16:15/~lp15/papers/Arith/Narayanan DATE.pdf
59  7/Jan/18 20:19/~lp15/papers/UNITY/
59 0.01% 8/Jan/18 11:50/~lp15/MLbook/programs/sample4.sml
59 0.18% 5/Jan/18 21:04/~lp15/papers/Reports/TPHOLs05.pdf
58 0.12% 8/Jan/18 13:34/~lp15/papers/Auth/multicast_verification.pdf
57 0.16% 5/Jan/18 22:01/~lp15/papers/Formath/AC.pdf
57 0.15% 8/Jan/18 02:06/~lp15/papers/Automation/translations.pdf
57  5/Jan/18 20:50/~lp15/MLbook/programs/ROOT.sml
57 0.13% 5/Jan/18 21:04/~lp15/papers/Arith/Huang-3heuristics.pdf
57 0.43% 7/Jan/18 21:08/~lp15/papers/Arith/MetiTarski-jar.pdf
57 0.01% 5/Jan/18 20:50/~lp15/MLbook/programs/sample3.sml
57 0.01% 8/Jan/18 11:35/~lp15/Pages/ACS-proposals.html
56  5/Jan/18 21:05/~lp15/Templates/
56  5/Jan/18 20:51/~lp15/Data/
56 0.02% 5/Jan/18 21:05/~lp15/Usage/images/
56 0.16% 5/Jan/18 21:04/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
55 0.01% 5/Jan/18 20:50/~lp15/MLbook/programs/sample8-2004.sml
55 0.12% 7/Jan/18 15:26/~lp15/papers/Automation/paar.pdf
54 0.05% 7/Jan/18 16:40/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
54  8/Jan/18 12:33/~lp15/papers/Arith/qepcad-for-mac.html
54 0.15% 6/Jan/18 19:08/~lp15/papers/Arith/Hscc09.pdf
53 0.13% 8/Jan/18 07:46/~lp15/papers/Bella/nonrepudiation.pdf
53 0.11% 7/Jan/18 14:21/~lp15/papers/Isabelle/aisc98.pdf
53 0.21% 6/Jan/18 21:32/~lp15/papers/Formath/reflection-slides.pdf
53 0.31% 7/Jan/18 20:11/~lp15/papers/Arith/calculemus2008.pdf
53 0.11% 6/Jan/18 00:11/~lp15/MLbook/PDF/contents.pdf
51  7/Jan/18 20:38/~lp15/Data/ho-translations/
51  5/Jan/18 21:04/~lp15/papers/Reviews/
50 0.12% 3/Jan/18 11:27/~lp15/Pages/harrison-real.pdf
50 0.01% 8/Jan/18 13:20/~lp15/Grants/UNITY/
49 0.03% 7/Jan/18 21:38/~lp15/images/pilkington.jpg
49 1.19% 5/Jan/18 21:04/~lp15/papers/Auth/lics-slides.pdf
48 0.01% 6/Jan/18 18:09/~lp15/MLbook/exercises/exer7.html
47 0.01% 5/Jan/18 20:51/~lp15/MLbook/exercises/exer4.html
47  5/Jan/18 21:03/~lp15/papers/Ballarin/
47 0.14% 6/Jan/18 21:02/~lp15/papers/Bella/certified-email.pdf
46 0.08% 8/Jan/18 04:42/~lp15/papers/Isabelle/chap700.pdf
46 0.02% 5/Jan/18 20:51/~lp15/MLbook/exercises/exer6.html
46 0.13% 5/Jan/18 21:04/~lp15/papers/Automation/meng-termination.pdf
44 0.02% 8/Jan/18 07:42/~lp15/Sue/Sue Paulson.jpg
44 0.01% 8/Jan/18 00:16/~lp15/Grants/holisa.html
44 0.06% 8/Jan/18 11:51/~lp15/papers/Auth/yahalom.pdf
44 0.15% 7/Jan/18 20:22/~lp15/papers/Formath/reflection.pdf
43  7/Jan/18 07:44/~lp15/papers/Deduction/
43 0.06% 7/Jan/18 06:38/~lp15/papers/Auth/auth-slides.pdf
43 0.10% 6/Jan/18 00:27/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
42 0.01% 8/Jan/18 09:03/~lp15/MLbook/programs/sample7.sml
42 0.02% 8/Jan/18 04:25/~lp15/papers/Reviews/MLer.pdf
42 0.07% 6/Jan/18 02:03/~lp15/papers/UNITY/tphols01.pdf
42 0.11% 7/Jan/18 05:14/~lp15/papers/Isabelle/blast.pdf
42  5/Jan/18 23:58/~lp15/Data/relevance/
41 0.01% 5/Jan/18 20:51/~lp15/MLbook/exercises/exer5.html
41 0.20% 2/Oct/16 15:38/~lp15/papers/UNITY/composition.pdf
41 0.10% 8/Jan/18 07:56/~lp15/papers/Automation/IJCAR2004.pdf
41 0.10% 7/Jan/18 00:27/~lp15/papers/Automation/jar-smt.pdf
41 0.09% 7/Jan/18 20:41/~lp15/Grants/AutoPolyFun/case.pdf
41 0.04% 7/Jan/18 19:33/~lp15/papers/Reports/CADE9.pdf
40 0.10% 7/Jan/18 03:18/~lp15/papers/Reports/blast.pdf
40 0.08% 8/Jan/18 02:48/~lp15/papers/Bella/cav98.pdf
40 0.08% 7/Jan/18 07:42/~lp15/papers/Arith/fmcad2009.pdf
40 0.05% 3/Jan/18 11:53/~lp15/papers/Workshop/friedrich.pdf
39  8/Jan/18 08:54/~lp15/MLbook/disclaimer.html
39 0.01% 5/Jan/18 20:50/~lp15/MLbook/programs/sample9.sml
39 0.11% 6/Jan/18 17:36/~lp15/papers/Arith/lpar2007.pdf
39  5/Jan/18 21:04/~lp15/Pages/projects.html
39  8/Jan/18 11:13/~lp15/papers/Arith/atan-problem-1-weak.html
39 0.07% 8/Jan/18 09:34/~lp15/papers/Bella/purchase.pdf
39 0.06% 5/Jan/18 21:03/~lp15/papers/Automation/thf-sledge.pdf
37 0.01% 8/Jan/18 00:45/~lp15/MLbook/programs/sample8.sml
37 0.13% 7/Jan/18 22:48/~lp15/Grants/Alexandria/Part-B2.pdf
37 0.33% 8/Jan/18 03:45/~lp15/papers/Bella/purchase-JAR.pdf
36  7/Jan/18 06:39/~lp15/MLbook/first/programs/
36 0.21% 7/Jan/18 04:43/~lp15/papers/Automation/reconstruction.pdf
35 0.08% 7/Jan/18 02:13/~lp15/papers/UNITY/ehmety-composition.pdf
35 0.08% 8/Jan/18 07:35/~lp15/papers/Arith/case-splitting.pdf
35 0.01% 5/Jan/18 20:50/~lp15/MLbook/programs/sample10.sml
35 0.05% 8/Jan/18 12:55/~lp15/Sue/Cultures of Dance.ppt
35 0.02% 7/Jan/18 10:21/~lp15/papers/Reviews/construct.pdf
35 0.10% 5/Jan/18 21:05/~lp15/papers/Isabelle/coding.pdf
35 0.29% 6/Jan/18 10:06/~lp15/papers/Automation/info-and-comp.pdf
34 0.08% 7/Jan/18 20:11/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
34 0.19% 7/Jan/18 03:46/~lp15/papers/Automation/filtering-jal.pdf
34 0.12% 6/Jan/18 19:14/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.05% 5/Jan/18 21:04/~lp15/papers/Reports/CADE11.pdf
34 0.09% 5/Jan/18 21:05/~lp15/papers/Formath/milner-ind-defs.pdf
33 0.06% 7/Jan/18 17:45/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
33 0.10% 8/Jan/18 10:24/~lp15/papers/UNITY/Mechanizing-compositional.pdf
32 0.12% 7/Jan/18 14:18/~lp15/papers/Notes/MOD-slides.pdf
32 0.06% 7/Jan/18 17:03/~lp15/papers/Auth/ijcar2001.pdf
32 0.09% 6/Jan/18 03:47/~lp15/papers/Automation/cade2011-sledge-smt.pdf
31  5/Jan/18 20:50/~lp15/MLbook/programs/notes.html
31 0.06% 5/Jan/18 21:05/~lp15/papers/Formath/final.pdf
31 0.42% 5/Jan/18 21:03/~lp15/papers/Automation/reconstruction-slides.pdf
31 0.15% 5/Jan/18 05:52/~lp15/papers/UNITY/UNITY.pdf
31 0.18% 5/Jan/18 11:16/~lp15/papers/Workshop/papers/rasmussen.pdf
31 1.99% 5/Jan/18 21:04/~lp15/papers/Arith/FroCos-presentation.pdf
31 0.14% 6/Jan/18 19:33/~lp15/papers/Formath/set-II.pdf
30 0.13% 7/Jan/18 01:29/~lp15/MLbook/PDF/chapter3.pdf
30 0.01% 8/Jan/18 01:01/~lp15/MLbook/programs/test10.sml
30 0.06% 6/Jan/18 15:47/~lp15/papers/Workshop/papers/thompson.pdf
30 0.05% 3/Jan/18 11:24/~lp15/papers/Workshop/papers/kalvala-linear.pdf
30 0.10% 5/Jan/18 20:50/~lp15/MLbook/PDF/chapter9.pdf
30 0.06% 8/Jan/18 09:36/~lp15/papers/Arith/ITP-2012-invited.pdf
30 0.16% 8/Jan/18 14:06/~lp15/Pages/4colproof.pdf
29  6/Jan/18 10:31/~lp15/Grants/auth.html
29 0.38% 6/Jan/18 17:16/~lp15/papers/Reports/TypeClasses.pdf
29 0.04% 5/Jan/18 21:04/~lp15/papers/Arith/pdpar2006.pdf
29 0.36% 5/Jan/18 21:04/~lp15/papers/Reports/ref97.pdf
29  5/Jan/18 21:04/~lp15/papers/Workshop/participants.html
28 0.05% 5/Jan/18 21:04/~lp15/papers/Reports/Descent of BAN.pdf
28 0.06% 7/Jan/18 14:14/~lp15/papers/Automation/leo2-ijcar.pdf
28 0.06% 5/Jan/18 21:03/~lp15/papers/Bella/dimacs97.pdf
28 1.43% 5/Jan/18 21:04/~lp15/papers/Arith/ITP 2012 presentation.pdf
28  8/Jan/18 04:34/~lp15/papers/OLD.SETS/
27 0.04% 5/Jan/18 21:04/~lp15/papers/Arith/FroCoS-2013-invited.pdf
27 0.03% 3/Jan/18 09:34/~lp15/Grants/LEO-II/leo2-case.pdf
27  5/Jan/18 21:04/~lp15/papers/Workshop/matthews.html
27 0.11% 5/Jan/18 20:50/~lp15/MLbook/PDF/chapter4.pdf
27 0.16% 5/Jan/18 21:04/~lp15/papers/Auth/tls-slides.pdf
27 0.20% 6/Jan/18 12:10/~lp15/papers/Reports/intro-to-isabelle.pdf
27 0.02% 5/Jan/18 21:04/~lp15/papers/Arith/NFM2014-invited.pdf
27 0.12% 7/Jan/18 06:18/~lp15/MLbook/PDF/chapter8.pdf
27 0.09% 6/Jan/18 13:51/~lp15/papers/Bella/esorics2000.pdf
26  8/Jan/18 01:48/~lp15/MLbook/first/programs/Modules.ML
26 0.08% 5/Jan/18 21:04/~lp15/papers/Arith/SNC2014-invited.pdf
26  7/Jan/18 15:16/~lp15/papers/Workshop/programme.html
25 0.36% 5/Jan/18 20:51/~lp15/Grants/Automation/poster.pdf
25 0.13% 7/Jan/18 18:24/~lp15/papers/Reports/fleuriot-kepler.pdf
25 0.04% 5/Jan/18 21:05/~lp15/papers/Formath/constructible-abstract.pdf
25 0.03% 6/Jan/18 16:53/~lp15/papers/Auth/security-protocols.pdf
25  5/Jan/18 20:51/~lp15/MLbook/exercises/disclaimer.html
25 0.13% 5/Jan/18 21:05/~lp15/papers/Formath/constructible-slides.pdf
25  5/Jan/18 20:50/~lp15/MLbook/programs/sample3-old.sml
24 0.78% 5/Jan/18 21:04/~lp15/Sue/Phd-Poster.pdf
24 0.20% 5/Jan/18 21:04/~lp15/papers/Auth/SET-overview-slides.pdf
24 0.08% 7/Jan/18 21:39/~lp15/images/ERC-LOGO.jpg
24 0.15% 6/Jan/18 02:03/~lp15/papers/Reports/logics97.pdf
24 0.21% 5/Jan/18 21:04/~lp15/papers/Auth/dagstuhl2003-slides.pdf
24  7/Jan/18 16:32/~lp15/Sue/Cultures of Dance.html
24 0.68% 5/Jan/18 21:05/~lp15/Sue/Thesis-Appendices.pdf
23 0.02% 5/Jan/18 21:04/~lp15/papers/paulson.bib
23  8/Jan/18 05:34/~lp15/MLbook/first/programs/Lists-Trees.ML
23  6/Jan/18 08:41/~lp15/MLbook/first/programs/Lambda.ML
23 0.03% 5/Jan/18 21:04/~lp15/papers/Notes/leeds-notes.pdf
23 0.03% 5/Jan/18 21:04/~lp15/papers/Auth/recur-slides.pdf
22 0.01% 5/Jan/18 21:05/~lp15/papers/Formath/AC-slides.pdf
22 0.08% 5/Jan/18 20:50/~lp15/MLbook/PDF/chapter6.pdf
22 0.02% 5/Jan/18 20:51/~lp15/Grants/Automation/case.pdf
22 0.07% 5/Jan/18 21:05/~lp15/papers/Formath/Goedel-logic-mine.pdf
22  3/Jan/18 08:25/~lp15/MLbook/first/programs/Functions.ML
22 0.08% 6/Jan/18 22:02/~lp15/papers/Isabelle/sylow.pdf
21 0.16% 5/Jan/18 21:05/~lp15/papers/Formath/Future of formalised maths.pdf
21 0.11% 5/Jan/18 21:04/~lp15/papers/Auth/SET-document.pdf
21 0.07% 6/Jan/18 11:32/~lp15/papers/Workshop/papers/nipkow.pdf
21 0.08% 6/Jan/18 21:46/~lp15/MLbook/PDF/chapter5.pdf
21 0.01% 5/Jan/18 20:50/~lp15/MLbook/programs/sample10-old.sml
21 0.27% 5/Jan/18 21:04/~lp15/papers/Reports/TypeClasses-slides.pdf
21 0.09% 6/Jan/18 22:48/~lp15/MLbook/PDF/chapter10.pdf
21 0.26% 5/Jan/18 21:05/~lp15/papers/Isabelle/Cube-presentation.pdf
21  5/Jan/18 20:51/~lp15/MLbook/PDF/
21 0.05% 5/Jan/18 21:04/~lp15/papers/Notes/strategy.pdf
21 0.05% 7/Jan/18 06:30/~lp15/papers/Workshop/papers/matthews.pdf
21  5/Jan/18 21:04/~lp15/papers/Workshop/thompson.html
21  7/Jan/18 10:53/~lp15/papers/Workshop/futures.html
21  8/Jan/18 13:50/~lp15/MLbook/first/programs/Imperative.ML
21 0.10% 5/Jan/18 21:04/~lp15/papers/Arith/cicm2012.pdf
20  5/Jan/18 21:04/~lp15/papers/Workshop/kalvala.html
20  5/Jan/18 21:04/~lp15/papers/Workshop/staples.html
20  5/Jan/18 20:50/~lp15/MLbook/programs/sample8-old.sml
20 0.05% 4/Jan/18 23:56/~lp15/papers/Workshop/papers/voelker.pdf
20 0.12% 7/Jan/18 22:48/~lp15/Grants/Alexandria/DoA.pdf
20 0.31% 5/Jan/18 21:04/~lp15/papers/Notes/formalizing-abst-slides.pdf
20 0.33% 5/Jan/18 21:04/~lp15/papers/Arith/metit-slides.pdf
20 0.09% 6/Jan/18 21:46/~lp15/MLbook/PDF/chapter7.pdf
20  5/Jan/18 20:50/~lp15/MLbook/programs/sample9-2004.sml
20 1.06% 5/Jan/18 21:04/~lp15/papers/Notes/LCF+.pdf
20  5/Jan/18 20:51/~lp15/Grants/Chaieb.html
19 0.22% 5/Jan/18 01:42/~lp15/papers/Reports/popl82.pdf
19 0.03% 5/Jan/18 20:51/~lp15/Grants/Automation/final.pdf
19 0.16% 5/Jan/18 20:51/~lp15/Grants/BeyondLinArith/arith-case.pdf
19  5/Jan/18 21:04/~lp15/papers/Workshop/agerholm.html
19 0.58% 7/Jan/18 13:31/~lp15/papers/Arith/SNC2014-slides.pdf
19 0.20% 6/Jan/18 21:02/~lp15/papers/Arith/NFM2014-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18  5/Jan/18 21:05/~lp15/papers/Formath/ind-defs-slides.pdf
18  6/Jan/18 04:59/~lp15/papers/Workshop/heule.html
18  5/Jan/18 21:04/~lp15/papers/Workshop/paulson.html
18  7/Jan/18 04:53/~lp15/Grants/UNITY/temporal.html
18 0.19% 6/Jan/18 23:02/~lp15/papers/Bella/TPHOLs03-slides.pdf
17  5/Jan/18 21:04/~lp15/papers/Workshop/nipkow.html
17 0.05% 5/Jan/18 21:04/~lp15/papers/Arith/case-splitting-stats.csv
17 0.02% 5/Jan/18 21:04/~lp15/papers/Notes/strategy-slides.pdf
17 0.01%25/Dec/17 15:42/~lp15/MLbook/first/ML-syntax.ps.gz
17 0.03% 5/Jan/18 12:56/~lp15/papers/Workshop/papers/ayari.pdf
17 0.20% 5/Jan/18 21:05/~lp15/papers/Formath/constructible-theory.pdf
17 0.43% 5/Jan/18 20:51/~lp15/Grants/BeyondLinArith/arith-poster.pdf
17 0.04% 5/Jan/18 20:50/~lp15/MLbook/PDF/projects-bib.pdf
17 0.96% 7/Jan/18 23:23/~lp15/papers/Formath/Goedel-slides.pdf
17 0.05% 5/Jan/18 21:04/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17 0.09% 8/Jan/18 07:31/~lp15/papers/Workshop/papers/kammueller.pdf
17  5/Jan/18 21:04/~lp15/papers/Workshop/wolff.html
16  7/Jan/18 13:30/~lp15/Grants/SET/final.pdf
16 0.15% 4/Jan/18 16:41/~lp15/papers/Deduction/lecture3.pdf
16  5/Jan/18 21:04/~lp15/papers/Arith/RELEASE-NOTES.txt
16 0.02% 3/Jan/18 11:24/~lp15/papers/Workshop/kammueller.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 0.28% 8/Jan/18 07:40/~lp15/papers/Auth/ijcar2001-slides.pdf
16 0.05% 3/Jan/18 11:24/~lp15/papers/Workshop/papers/agerholm.pdf
15 0.25% 7/Jan/18 08:10/~lp15/papers/Auth/dagstuhl2001-slides.pdf
15 0.01% 5/Jan/18 21:05/~lp15/papers/Isabelle/blast-slides.pdf
15 0.15% 4/Jan/18 16:42/~lp15/papers/Deduction/lecture1.pdf
15 0.03% 8/Jan/18 13:51/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
15  6/Jan/18 11:02/~lp15/MLbook/first/ERRATA1.txt
14 31/Dec/17 15:38/~lp15/MLbook/first/programs/ParsePrint.ML
14 0.03% 6/Jan/18 14:04/~lp15/papers/Workshop/papers/benini.pdf
14 0.01% 4/Jan/18 15:13/~lp15/Grants/SET/case.pdf
14 0.02% 5/Jan/18 21:04/~lp15/papers/Arith/Overcoming.pdf
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.09% 5/Jan/18 21:04/~lp15/papers/Automation/Huet colloquium.pdf
12 0.03% 3/Jan/18 11:36/~lp15/Grants/Chaieb-case.pdf
12 0.02% 3/Oct/16 04:35/~lp15/papers/Isabelle/Goedel-logic.pdf
12 0.02% 3/Jan/18 11:24/~lp15/papers/Workshop/vigano.pdf
12 2.69% 6/Jan/18 02:40/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
12 0.04% 7/Jan/18 16:21/~lp15/papers/Workshop/papers/vigano.pdf
12 0.49% 5/Jan/18 21:04/~lp15/papers/Arith/Overcoming-slides.pdf
12 0.03% 6/Jan/18 02:44/~lp15/papers/Workshop/papers/owens.pdf
12 0.01% 7/Jan/18 05:25/~lp15/MLbook/first/programs/Hal.ML
12 0.10% 8/Jan/18 11:26/~lp15/papers/Formath/Sophia2017.pdf
11 0.01% 5/Jan/18 21:04/~lp15/Sue/Cultures of Dance.pdf
11 0.05% 3/Jan/18 11:24/~lp15/papers/Workshop/papers/bednarczyk.pdf
11 0.03% 8/Jan/18 04:09/~lp15/papers/Ballarin/aisc98.pdf
10 29/Dec/17 08:01/~lp15/MLbook/first/ERRATA3.txt
10  3/Jan/18 11:44/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 0.01% 3/Jan/18 11:24/~lp15/papers/Workshop/papers/staples.pdf
10 30/Sep/16 18:23/~lp15/papers/Workshop/bednarczyk.txt
10 0.41% 6/Jan/18 16:19/~lp15/Grants/LEO-II/leo project poster.pdf
10 3.17%25/Dec/17 16:36/~lp15/archive/Isabelle2009-1.tar.gz
9 0.06%28/Sep/16 04:33/~lp15/images/pilkington-full.jpg
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.04%30/Dec/17 09:58/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 0.03% 3/Jan/18 11:27/~lp15/papers/OLD.SETS/AC.pdf
8 0.06% 3/Jan/18 11:49/~lp15/papers/Deduction/lecture2.pdf
8 0.03% 5/Jan/18 02:41/~lp15/papers/Arith/Narayanan TR.pdf
8 28/Dec/17 11:33/~lp15/Data/relevance/unfiltered-spass.txt
8  5/Jan/18 13:18/~lp15/MLbook/first/ERRATA2.txt
8 0.02% 3/Jan/18 11:54/~lp15/papers/Ballarin/coding.pdf
7 2.53%25/Dec/17 16:36/~lp15/archive/Isabelle2009-2.tar.gz
7 0.02% 3/Jan/18 11:27/~lp15/papers/OLD.SETS/final.pdf
7 0.50% 7/Jan/18 10:44/~lp15/Data/ho-translations/Comb.tbz
7  4/Jan/18 06:45/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 0.02% 3/Jan/18 11:27/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
7 0.56%25/Dec/17 19:55/~lp15/archive/Isabelle2005.tar.gz
7 0.01%26/Dec/17 01:15/~lp15/archive/Isabelle86.tar.gz
7 0.02% 3/Jan/18 11:27/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
7 29/Dec/17 07:51/~lp15/papers/Workshop/owens.txt
7 0.38% 3/Jan/18 11:27/~lp15/papers/Isabelle/Goedel-slides.pdf
7 0.51% 4/Jan/18 12:38/~lp15/Data/ho-translations/Abst.tbz
7 31/Dec/17 08:16/~lp15/MLbook/first/ML-syntax.dvi.gz
7 0.06% 3/Jan/18 11:49/~lp15/papers/Deduction/lecture4.pdf
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7  6/Jan/18 20:18/~lp15/Data/relevance/unfiltered-vampire.txt
7 0.07%25/Dec/17 18:55/~lp15/papers/Automation/h4qed-clean.pdf
7  4/Jan/18 16:46/~lp15/Data/relevance/unfiltered-E.txt
37823.18% 8/Jan/18 04:47[not listed: 98 files]