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

Program started at Mon-13-Aug-2018 13:51.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-13-Aug-2018 13:38 (1376.94 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 13-Aug-2018 13:51.

Successful requests: 21,872 (2,328)
Average successful requests per day: 15 (332)
Successful requests for pages: 8,358 (1,035)
Average successful requests for pages per day: 6 (147)
Failed requests: 749 (57)
Redirected requests: 124 (16)
Distinct files requested: 577 (291)
Distinct hosts served: 4,383 (678)
Corrupt logfile lines: 38
Unwanted logfile entries: 18,320
Data transferred: 5.65 gigabytes (352.41 megabytes)
Average data transferred per day: 4.20 megabytes (50.34 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 
Sun2279793++++++++++++++++++++
Mon40291496++++++++++++++++++++++++++++++++++++++
Tue2630917+++++++++++++++++++++++
Wed33411442+++++++++++++++++++++++++++++++++++++
Thu32811277++++++++++++++++++++++++++++++++
Fri33381276++++++++++++++++++++++++++++++++
Sat29741157+++++++++++++++++++++++++++++

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
977455.86%.com (Commercial)
495717.74%[unresolved numerical addresses]
1993 7.15%[domain not given]
1483 5.91%.net (Networks)
756 2.82%.de (Germany)
270 1.09%[unknown domain]
232 0.93%.in (India)
223 0.82%.edu (USA Higher Education)
261 0.81%.uk (United Kingdom)
75 0.69%.fr (France)
55 0.49%.ph (Philippines)
106 0.47%.au (Australia)
69 0.36%.br (Brazil)
255 0.33%.ru (Russia)
70 0.32%.se (Sweden)
35 0.25%.th (Thailand)
59 0.24%.pt (Portugal)
24 0.22%.co (Colombia)
28 0.20%.za (South Africa)
74 0.20%.jp (Japan)
41 0.19%.zw (Zimbabwe)
64 0.18%.ca (Canada)
44 0.17%.nz (New Zealand)
15 0.15%.pk (Pakistan)
25 0.13%.ke (Kenya)
76 0.13%.it (Italy)
7 0.12%.np (Nepal)
21 0.11%.my (Malaysia)
13 0.11%.id (Indonesia)
45 0.11%.org (Non Profit Making Organisations)
39 0.11%.sg (Singapore)
37 0.11%.mx (Mexico)
39 0.09%.hu (Hungary)
39 0.08%.nl (Netherlands)
26 0.08%.pl (Poland)
28 0.08%.fi (Finland)
4 0.08%.ng (Nigeria)
21 0.08%.vn (Vietnam)
29 0.06%.cn (China)
23 0.06%.at (Austria)
32 0.06%.ch (Switzerland)
12 0.06%.arpa (Arpanet)
36 0.05%.ar (Argentina)
14 0.05%.no (Norway)
6 0.05%.hr (Croatia)
14 0.05%.bg (Bulgaria)
4 0.04%.ie (Ireland)
22 0.04%.dk (Denmark)
11 0.04%.tw (Taiwan)
25 0.03%.es (Spain)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
28 0.03%.gr (Greece)
8 0.03%.be (Belgium)
12 0.03%.na (Namibia)
36 0.02%.hk (Hong Kong)
19 0.02%.cz (Czech Republic)
13 0.02%.tr (Turkey)
4 0.02%.uy (Uruguay)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
2 0.02%.mil (USA Military)
1 0.02%.si (Slovenia)
14 0.02%.ro (Romania)
10 0.01%.io (British Indian Ocean Territory)
22 0.01%.ua (Ukraine)
14 0.01%.cy (Cyprus)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
5 0.01%.il (Israel)
2 0.01%.ug (Uganda)
4 .gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
3 .lv (Latvia)
2 .ir (Iran)
2 .kz (Kazakhstan)
1 .md (Moldova)
4 .lb (Lebanon)
6 .us (United States)
5 .by (Belarus)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
3 .bn (Brunei Darussalam)
3 .cl (Chile)
1 .om (Oman)

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
301216.75%amazonaws.com
1997 8.77%msn.com
1993 7.15%[domain not given]
1140 4.31%baidu.com
774 2.52%yandex.com
76114.83%bluechipbacklinks.com
490 2.29%your-server.de
405 1.60%31
313 0.43%114
308 0.03%semrush.com
270 1.09%[unknown domain]
263 0.57%virginm.net
212 0.12%sogou.com
204 1.01%41
202 4.98%telia.com
201 0.37%comcast.net
190 0.97%103
168 0.15%mail.ru
164 0.41%btcentralplus.com
153 0.69%google.com
865230.96%[not listed: 1,289 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
61pdf
60engineering
35notes
28equivalence
20for
15prove
14in
14of
14classes
14and
13set
13theorem
12r
12diploma
12class
10is
10computer
9residue
9proof
9state
9download
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
239[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
177213794OS unknown
266691838Windows
 2725893  Windows NT
 3528796  Unknown Windows
 388124  Windows XP
 1010  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 32  Windows 98
32713985Macintosh
42733897Unix
 2662851  Linux
 4331  BSD
 2311  Other Unix
 32  SunOS
 22  OSF1
51984815Known robots
655RISC OS
720OS/2

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
18384200 OK
2806206 Partial content
124301 Document moved permanently
682304 Not modified since last retrieval
2400 Bad request
45403 Access forbidden
702404 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- 1kB564 0.01%
1kB- 10kB6348 0.48%
10kB-100kB6563 4.45%
100kB- 1MB705942.44%
1MB- 10MB57826.14%
10MB-100MB6126.48%

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
1073664.48%.pdf [Adobe Portable Document Format]
31423.51%.gz [Gzip compressed files]
18723.26%  .tar.gz [Compressed archives]
61 8.44%.tbz
1079 1.26%.jpg [JPEG graphics]
10 0.72%.tgz
5626 0.62%[directories]
2732 0.41%.html [Hypertext Markup Language]
8 0.26%.zip [Zip archives]
897 0.15%.sml
409 0.16%[not listed: 10 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
150611.89%13/Aug/18 13:03/~lp15/papers/Notes/SE-I.pdf
1152 0.16%13/Aug/18 12:30/~lp15/
677 0.03%13/Aug/18 10:40/~lp15/MLbook/
561 0.67%13/Aug/18 12:19/~lp15/images/larry-home-small.jpg
470 4.05%13/Aug/18 08:38/~lp15/papers/Reports/equivclasses-slides.pdf
352 0.81%12/Aug/18 20:21/~lp15/papers/Notes/Founds-FP.pdf
345 0.30%12/Aug/18 22:00/~lp15/images/acm-logo.jpg
340 6.75%12/Aug/18 21:43/~lp15/Sue/Thesis.pdf
320 0.02%13/Aug/18 10:58/~lp15/MLbook/pub-details.html
315 0.05%13/Aug/18 11:36/~lp15/papers/Arith/
305 0.01%13/Aug/18 10:57/~lp15/MLbook/programs/
295 1.23%13/Aug/18 12:57/~lp15/papers/Formath/Residue-theorem.pdf
279 1.01%13/Aug/18 02:07/~lp15/papers/Reports/equivclasses.pdf
258 3.26%13/Aug/18 08:42/~lp15/papers/Reports/thesis.pdf
218 0.14%13/Aug/18 08:57/~lp15/papers/refereed.html
193 1.14% 9/Aug/18 14:46/~lp15/papers/Formath/Goedel-ar.pdf
192 0.01%13/Aug/18 09:45/~lp15/MLbook/exercises/
189 0.01%13/Aug/18 10:10/~lp15/MLbook/programs/sample2.sml
185 0.02%13/Aug/18 11:18/~lp15/Sue/
145 0.72%12/Aug/18 19:59/~lp15/papers/Auth/jcs.pdf
145 0.02%13/Aug/18 10:53/~lp15/Grants/AutoPolyFun/
143 0.03%13/Aug/18 01:43/~lp15/papers/Auth/
140 0.14%12/Aug/18 12:19/~lp15/papers/Reports/mutil.pdf
130 0.01%10/Aug/18 15:13/~lp15/archive/
126 0.02%13/Aug/18 11:32/~lp15/papers/Formath/
124 0.01%12/Aug/18 14:49/~lp15/papers/lecture-courses.html
119 0.02%12/Aug/18 16:17/~lp15/papers/Automation/
115 13/Aug/18 10:26/~lp15/MLbook/programs/ROOT.sml
114 0.52%13/Aug/18 08:15/~lp15/papers/Reports/Bridge-ml.pdf
110 0.02%13/Aug/18 06:35/~lp15/Grants/SET/
107 0.16%13/Aug/18 09:17/~lp15/papers/Auth/lics.pdf
104 0.18%10/Aug/18 17:53/~lp15/papers/Formath/Goedel-logic.pdf
103 0.40%12/Aug/18 19:45/~lp15/papers/Isabelle/fleuriot-kepler.pdf
103 0.02%10/Aug/18 19:46/~lp15/MLbook/exercises/exer2.html
102 0.01%13/Aug/18 11:37/~lp15/papers/
101 0.02%13/Aug/18 08:44/~lp15/MLbook/ERRATA.html
100 0.01%13/Aug/18 08:00/~lp15/Pages/cv.html
100 0.41%13/Aug/18 11:59/~lp15/papers/Formath/set-I.pdf
99 0.01%13/Aug/18 13:06/~lp15/Grants/
95 0.25%12/Aug/18 19:28/~lp15/papers/Auth/tls.pdf
94 0.01%11/Aug/18 18:33/~lp15/images/
94 0.01%12/Aug/18 21:57/~lp15/papers/hol.html
93 0.08%12/Aug/18 18:32/~lp15/Usage/
93 0.01%13/Aug/18 12:59/~lp15/MLbook/programs/sample5.sml
93 0.25%13/Aug/18 10:37/~lp15/MLbook/PDF/chapter1.pdf
93 0.01%13/Aug/18 09:16/~lp15/papers/Reports/
87 0.15%12/Aug/18 19:24/~lp15/Pages/vita.pdf
86 12/Aug/18 22:16/~lp15/MLbook/general.html
86 0.01%11/Aug/18 15:17/~lp15/Grants/LEO-II/
84 11/Aug/18 14:31/~lp15/SpryAssets/
10  8/Aug/18 21:43  /~lp15/SpryAssets/?C=S;O=A
83 0.01%12/Aug/18 16:34/~lp15/papers/Isabelle/
83 0.01%13/Aug/18 10:32/~lp15/Grants/Automation/
82 0.11%12/Aug/18 15:40/~lp15/papers/Auth/SET-overview-2002.pdf
79 0.01%13/Aug/18 09:19/~lp15/papers/invited.html
77 0.01%13/Aug/18 10:40/~lp15/MLbook/review.html
77 0.58% 3/Aug/18 16:16/~lp15/Pages/Munich-slides.pdf
77 11/Aug/18 19:47/~lp15/css/
75 12/Aug/18 18:31/~lp15/Pages/
75 0.01%11/Aug/18 14:53/~lp15/papers/workshop.html
74  7/Aug/18 20:11/~lp15/papers/Notes/
73 0.21%13/Aug/18 09:00/~lp15/papers/Formath/Greens-theorem.pdf
73 0.36% 7/Aug/18 21:37/~lp15/papers/Arith/Sogokon-nfm14.pdf
72 0.24%13/Aug/18 00:37/~lp15/papers/Automation/sultana-pfreconstruction.pdf
72 0.14%13/Aug/18 12:59/~lp15/MLbook/PDF/contents.pdf
71 0.01%13/Aug/18 06:26/~lp15/MLbook/programs/sample3.sml
71 11/Aug/18 19:47/~lp15/MLbook/StandardML.plist
70 0.12%12/Aug/18 09:12/~lp15/papers/Arith/Narayanan DATE.pdf
69 12/Aug/18 12:54/~lp15/Grants/BeyondLinArith/
69 13/Aug/18 10:38/~lp15/MLbook/first/
69 0.01%13/Aug/18 03:46/~lp15/papers/books.html
68 13/Aug/18 09:02/~lp15/Pages/CL-English.html
68  3/Aug/18 16:16/~lp15/papers/Bella/
68 0.01%13/Aug/18 11:00/~lp15/Grants/Alexandria/
68 0.01%13/Aug/18 09:17/~lp15/MLbook/programs/sample8-2004.sml
68 0.16%12/Aug/18 23:44/~lp15/papers/Formath/automata.pdf
68 0.01%11/Aug/18 03:36/~lp15/papers/recur.html
67  7/Aug/18 12:18/~lp15/papers/Arith/download.html
67 0.32% 7/Aug/18 02:05/~lp15/papers/Bella/smartcards-jcs.pdf
66 11/Aug/18 18:30/~lp15/papers/Arith/atan-problem-1-weak.html
66 0.20%13/Aug/18 10:35/~lp15/papers/Reports/TPHOLs05.pdf
66 0.02%12/Aug/18 06:30/~lp15/MLbook/exercises/exer8.html
65 0.01%12/Aug/18 15:37/~lp15/papers/Workshop/
64 0.01%13/Aug/18 10:49/~lp15/MLbook/programs/sample4.sml
64 0.02%10/Aug/18 21:49/~lp15/Usage/images/
64 0.01%13/Aug/18 11:17/~lp15/Pages/Scream.html
62 0.02%11/Aug/18 21:19/~lp15/MLbook/exercises/exer3.html
61 0.22%11/Aug/18 21:20/~lp15/papers/Automation/filtering.pdf
61 0.27%13/Aug/18 00:12/~lp15/papers/Bella/accountability.pdf
60  3/Aug/18 16:16/~lp15/Templates/
60  3/Aug/18 16:16/~lp15/Data/
59  3/Aug/18 16:16/~lp15/tmp/
58 0.01%13/Aug/18 13:37/~lp15/MLbook/exercises/exer4.html
58 0.15% 8/Aug/18 23:49/~lp15/papers/Formath/AC.pdf
58 0.13% 8/Aug/18 11:38/~lp15/papers/Arith/Huang-3heuristics.pdf
58 0.16%10/Aug/18 10:37/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
57  3/Aug/18 16:16/~lp15/papers/Reviews/
57 0.11% 7/Aug/18 17:21/~lp15/papers/Auth/multicast_verification.pdf
56 0.13%11/Aug/18 09:37/~lp15/papers/Automation/paar.pdf
55 0.25%13/Aug/18 04:37/~lp15/MLbook/PDF/chapter2.pdf
54 0.13% 9/Aug/18 06:40/~lp15/papers/Bella/esorics98.pdf
54 0.12%11/Aug/18 11:07/~lp15/papers/Isabelle/aisc98.pdf
54 0.31%13/Aug/18 03:22/~lp15/papers/Arith/calculemus2008.pdf
54 0.23%13/Aug/18 07:13/~lp15/MLbook/PDF/chapter8.pdf
53 0.21%13/Aug/18 04:01/~lp15/MLbook/PDF/chapter6.pdf
53 0.05%12/Aug/18 03:00/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
53  7/Aug/18 12:51/~lp15/papers/Ballarin/
52 0.21%12/Aug/18 23:30/~lp15/papers/Automation/translations-jar.pdf
52 0.03%13/Aug/18 06:54/~lp15/images/pilkington.jpg
52 0.03%13/Aug/18 11:04/~lp15/papers/Reviews/construct.pdf
52 0.12%13/Aug/18 07:02/~lp15/Pages/harrison-real.pdf
51 0.14% 8/Aug/18 16:48/~lp15/papers/Automation/meng-termination.pdf
51 0.03%13/Aug/18 11:18/~lp15/Sue/Sue Paulson.jpg
51  8/Aug/18 01:33/~lp15/Pages/projects.html
50 0.20% 9/Aug/18 06:37/~lp15/papers/Formath/reflection-slides.pdf
50 1.15%11/Aug/18 21:33/~lp15/papers/Auth/lics-slides.pdf
50 0.01%13/Aug/18 09:01/~lp15/Grants/holisa.html
50 0.12%11/Aug/18 23:28/~lp15/papers/Bella/registration.pdf
50 0.14%13/Aug/18 12:32/~lp15/papers/Arith/Hscc09.pdf
49 0.01%13/Aug/18 10:46/~lp15/MLbook/programs/sample8.sml
49  3/Aug/18 16:16/~lp15/papers/UNITY/
49 0.01%13/Aug/18 09:46/~lp15/Grants/UNITY/
48 0.11% 8/Aug/18 10:42/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
48 0.12% 7/Aug/18 16:09/~lp15/papers/Automation/translations.pdf
47 0.19%12/Aug/18 20:18/~lp15/MLbook/PDF/chapter10.pdf
47 10/Aug/18 19:23/~lp15/papers/Arith/qepcad-for-mac.html
47 0.01%12/Aug/18 08:44/~lp15/MLbook/exercises/exer7.html
47 0.14%11/Aug/18 05:10/~lp15/papers/Bella/certified-email.pdf
46 0.11% 9/Aug/18 05:44/~lp15/papers/Bella/nonrepudiation.pdf
46 0.01%12/Aug/18 15:11/~lp15/MLbook/exercises/exer5.html
46 0.23%11/Aug/18 07:08/~lp15/papers/UNITY/composition.pdf
46 0.11%10/Aug/18 11:16/~lp15/papers/Automation/jar-smt.pdf
45 0.01%10/Aug/18 09:46/~lp15/MLbook/exercises/exer6.html
45 0.01%13/Aug/18 05:21/~lp15/Pages/ACS-proposals.html
45 0.14%10/Aug/18 03:51/~lp15/papers/Formath/reflection.pdf
44 0.08%10/Aug/18 03:01/~lp15/papers/Isabelle/chap700.pdf
44 0.09%10/Aug/18 20:04/~lp15/Grants/AutoPolyFun/case.pdf
43 0.02%13/Aug/18 07:58/~lp15/MLbook/programs/sample10.sml
43 0.01%12/Aug/18 09:13/~lp15/MLbook/programs/sample9.sml
43 0.19%13/Aug/18 00:23/~lp15/MLbook/PDF/chapter7.pdf
42 0.07% 9/Aug/18 15:16/~lp15/papers/UNITY/tphols01.pdf
41 0.01%12/Aug/18 15:15/~lp15/MLbook/programs/sample7.sml
41 0.08%11/Aug/18 16:47/~lp15/papers/Bella/cav98.pdf
41 0.04% 7/Aug/18 09:39/~lp15/papers/Reports/CADE9.pdf
41 0.06%11/Aug/18 17:04/~lp15/papers/Automation/thf-sledge.pdf
40 0.18%13/Aug/18 07:36/~lp15/MLbook/PDF/chapter5.pdf
40 0.05%12/Aug/18 06:04/~lp15/Sue/Cultures of Dance.ppt
40 0.10% 9/Aug/18 11:27/~lp15/papers/Isabelle/blast.pdf
39 0.02% 3/Aug/18 16:16/~lp15/papers/Reviews/MLer.pdf
39 0.11%11/Aug/18 18:57/~lp15/papers/Isabelle/coding.pdf
39 0.05% 9/Aug/18 17:10/~lp15/papers/Workshop/friedrich.pdf
39 0.07%13/Aug/18 13:17/~lp15/papers/Bella/purchase.pdf
39 12/Aug/18 18:57/~lp15/Data/relevance/
38 11/Aug/18 12:36/~lp15/Data/ho-translations/
38 13/Aug/18 09:32/~lp15/MLbook/disclaimer.html
38 0.10% 8/Aug/18 19:21/~lp15/papers/Arith/lpar2007.pdf
38 0.12%13/Aug/18 11:00/~lp15/images/ERC-LOGO.jpg
37 0.07% 3/Aug/18 16:16/~lp15/papers/Arith/fmcad2009.pdf
37 0.10%13/Aug/18 09:12/~lp15/papers/Automation/cade2011-sledge-smt.pdf
36 12/Aug/18 18:32/~lp15/MLbook/programs/notes.html
36 0.07%12/Aug/18 14:26/~lp15/papers/UNITY/ehmety-composition.pdf
36 0.19%13/Aug/18 00:23/~lp15/MLbook/PDF/chapter3.pdf
36 0.26%13/Aug/18 09:11/~lp15/papers/Arith/MetiTarski-jar.pdf
36 0.10% 7/Aug/18 07:37/~lp15/papers/Formath/milner-ind-defs.pdf
36 0.15%12/Aug/18 22:49/~lp15/papers/Formath/set-II.pdf
36 0.29%12/Aug/18 19:45/~lp15/papers/Automation/info-and-comp.pdf
35 0.09% 7/Aug/18 14:32/~lp15/papers/Reports/blast.pdf
35 0.30% 9/Aug/18 11:11/~lp15/papers/Bella/purchase-JAR.pdf
35 0.08%13/Aug/18 05:45/~lp15/papers/Automation/IJCAR2004.pdf
35 0.05% 8/Aug/18 04:16/~lp15/papers/Reports/CADE11.pdf
34  3/Aug/18 16:16/~lp15/papers/Deduction/
34 0.06%13/Aug/18 04:49/~lp15/papers/Workshop/papers/kalvala-linear.pdf
34 0.04%13/Aug/18 12:38/~lp15/papers/Auth/yahalom.pdf
34 2.04%12/Aug/18 14:51/~lp15/papers/Arith/FroCos-presentation.pdf
34 0.14%11/Aug/18 19:44/~lp15/MLbook/PDF/chapter9.pdf
33 12/Aug/18 01:32/~lp15/MLbook/first/programs/
33 0.12%10/Aug/18 20:35/~lp15/papers/Auth/SET-overview-IJIS.pdf
33 0.17%11/Aug/18 18:00/~lp15/papers/Reports/fleuriot-kepler.pdf
33 0.18% 9/Aug/18 08:08/~lp15/papers/Workshop/papers/rasmussen.pdf
33 0.10%12/Aug/18 21:59/~lp15/papers/UNITY/Mechanizing-compositional.pdf
33 0.08%11/Aug/18 11:38/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
32 0.12%11/Aug/18 00:29/~lp15/papers/Notes/MOD-slides.pdf
32 0.23% 7/Aug/18 11:25/~lp15/papers/Reports/intro-to-isabelle.pdf
32 0.14%13/Aug/18 12:50/~lp15/papers/UNITY/UNITY.pdf
32 0.09%13/Aug/18 03:59/~lp15/papers/Bella/esorics2000.pdf
32 0.06% 9/Aug/18 12:46/~lp15/papers/Auth/ijcar2001.pdf
32 11/Aug/18 10:56/~lp15/MLbook/exercises/disclaimer.html
31 0.06% 7/Aug/18 04:45/~lp15/papers/Formath/final.pdf
31 0.38% 8/Aug/18 13:01/~lp15/papers/Automation/reconstruction-slides.pdf
31 0.05%11/Aug/18 19:56/~lp15/papers/Arith/pdpar2006.pdf
31 0.07%13/Aug/18 00:28/~lp15/MLbook/PDF/projects-bib.pdf
31 0.06%13/Aug/18 09:11/~lp15/papers/Arith/ITP-2012-invited.pdf
30 0.04% 3/Aug/18 16:16/~lp15/papers/Auth/auth-slides.pdf
30 0.15%13/Aug/18 00:23/~lp15/MLbook/PDF/chapter4.pdf
30 0.16% 8/Aug/18 13:51/~lp15/papers/Automation/filtering-jal.pdf
30 0.16%10/Aug/18 00:40/~lp15/papers/Automation/reconstruction.pdf
30 0.37% 8/Aug/18 08:37/~lp15/papers/Reports/ref97.pdf
29 0.04%12/Aug/18 23:38/~lp15/papers/Arith/FroCoS-2013-invited.pdf
29 0.13%13/Aug/18 08:31/~lp15/Grants/Alexandria/DoA.pdf
29 0.05% 5/Aug/18 15:55/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
28 0.01% 9/Aug/18 15:28/~lp15/MLbook/programs/test10.sml
28 0.05%11/Aug/18 21:50/~lp15/papers/Reports/Descent of BAN.pdf
28 0.06% 9/Aug/18 15:54/~lp15/papers/Workshop/papers/thompson.pdf
28 10/Aug/18 01:18/~lp15/MLbook/PDF/
28 0.04%11/Aug/18 08:37/~lp15/papers/Auth/security-protocols.pdf
28 0.12%10/Aug/18 06:59/~lp15/papers/Formath/constructible-slides.pdf
28 0.01%11/Aug/18 22:46/~lp15/MLbook/programs/sample3-old.sml
27 0.03% 6/Aug/18 21:28/~lp15/Grants/LEO-II/leo2-case.pdf
27 0.06%12/Aug/18 23:38/~lp15/papers/Arith/case-splitting.pdf
27 0.06%11/Aug/18 21:43/~lp15/papers/Automation/leo2-ijcar.pdf
27 0.81%13/Aug/18 09:00/~lp15/Sue/Phd-Poster.pdf
26 13/Aug/18 01:32/~lp15/Grants/auth.html
26 0.32% 7/Aug/18 20:21/~lp15/papers/Reports/TypeClasses.pdf
26 0.16% 7/Aug/18 12:00/~lp15/papers/Auth/tls-slides.pdf
26 0.06%10/Aug/18 10:39/~lp15/papers/Bella/dimacs97.pdf
26 0.01%13/Aug/18 05:40/~lp15/MLbook/programs/sample10-old.sml
26 0.04%13/Aug/18 11:17/~lp15/papers/Notes/leeds-notes.pdf
25 13/Aug/18 13:38/~lp15/papers/Workshop/matthews.html
25 0.01%12/Aug/18 21:28/~lp15/papers/Formath/AC-slides.pdf
25 0.08% 5/Aug/18 20:10/~lp15/papers/Formath/Goedel-logic-mine.pdf
25 0.04% 7/Aug/18 22:44/~lp15/papers/Formath/constructible-abstract.pdf
25 0.08% 7/Aug/18 18:02/~lp15/papers/Arith/SNC2014-invited.pdf
24 0.01% 3/Aug/18 16:16/~lp15/papers/Arith/NFM2014-invited.pdf
24 0.19%10/Aug/18 00:46/~lp15/papers/Auth/SET-overview-slides.pdf
24 0.02%13/Aug/18 09:08/~lp15/papers/Workshop/kammueller.pdf
24 0.15% 4/Aug/18 14:54/~lp15/papers/Reports/logics97.pdf
24 13/Aug/18 02:38/~lp15/papers/Workshop/participants.html
24 0.68%13/Aug/18 13:04/~lp15/Sue/Thesis-Appendices.pdf
23 0.29%11/Aug/18 09:28/~lp15/papers/Reports/popl82.pdf
23 0.01%10/Aug/18 01:20/~lp15/MLbook/first/ML-syntax.ps.gz
23 0.17% 3/Aug/18 16:16/~lp15/papers/Formath/Future of formalised maths.pdf
23 11/Aug/18 09:11/~lp15/papers/Workshop/paulson.html
23 0.25%10/Aug/18 21:39/~lp15/papers/Isabelle/Cube-presentation.pdf
23 0.02% 3/Aug/18 16:16/~lp15/Grants/Automation/case.pdf
23 1.11% 7/Aug/18 04:05/~lp15/papers/Notes/LCF+.pdf
23 0.03% 3/Aug/18 16:16/~lp15/papers/Auth/recur-slides.pdf
22 0.01% 3/Aug/18 16:16/~lp15/papers/paulson.bib
22 0.07% 5/Aug/18 04:32/~lp15/papers/Workshop/papers/nipkow.pdf
22  3/Aug/18 16:16/~lp15/MLbook/first/programs/Lambda.ML
22  3/Aug/18 16:16/~lp15/MLbook/first/programs/Functions.ML
22 0.07% 7/Aug/18 11:44/~lp15/papers/Isabelle/sylow.pdf
22 0.11%13/Aug/18 10:57/~lp15/papers/Workshop/papers/kammueller.pdf
21 0.10%11/Aug/18 10:10/~lp15/papers/Auth/SET-document.pdf
21 0.10%13/Aug/18 08:57/~lp15/Grants/Alexandria/Part-B2.pdf
21 0.28% 3/Aug/18 16:16/~lp15/Grants/Automation/poster.pdf
21 0.26%10/Aug/18 02:27/~lp15/papers/Reports/TypeClasses-slides.pdf
21 0.05% 8/Aug/18 10:48/~lp15/papers/Notes/strategy.pdf
21 1.09% 8/Aug/18 19:23/~lp15/papers/Arith/ITP 2012 presentation.pdf
21  3/Aug/18 16:16/~lp15/papers/OLD.SETS/
21 0.20% 8/Aug/18 07:28/~lp15/papers/Arith/NFM2014-slides.pdf
21 13/Aug/18 03:30/~lp15/Sue/Cultures of Dance.html
21 0.10%13/Aug/18 06:01/~lp15/papers/Arith/cicm2012.pdf
20 0.06%10/Aug/18 07:00/~lp15/papers/Arith/case-splitting-stats.csv
20 0.31% 7/Aug/18 07:48/~lp15/papers/Arith/metit-slides.pdf
20  8/Aug/18 16:50/~lp15/MLbook/first/programs/Modules.ML
20  9/Aug/18 15:28/~lp15/MLbook/programs/sample9-2004.sml
20  9/Aug/18 21:03/~lp15/Grants/Chaieb.html
19 12/Aug/18 17:32/~lp15/papers/Workshop/kalvala.html
19 0.01%13/Aug/18 02:14/~lp15/papers/Formath/ind-defs-slides.pdf
19  9/Aug/18 15:28/~lp15/MLbook/programs/sample8-old.sml
19 0.15% 3/Aug/18 16:16/~lp15/Grants/BeyondLinArith/arith-case.pdf
19 0.51% 3/Aug/18 16:16/~lp15/papers/Arith/SNC2014-slides.pdf
19 0.20% 6/Aug/18 07:22/~lp15/papers/Auth/dagstuhl2003-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.02% 9/Aug/18 15:50/~lp15/papers/Notes/strategy-slides.pdf
18 0.40% 9/Aug/18 20:11/~lp15/Grants/BeyondLinArith/arith-poster.pdf
18 0.03% 3/Aug/18 16:16/~lp15/Grants/Automation/final.pdf
18 0.89% 7/Aug/18 01:48/~lp15/papers/Formath/Goedel-slides.pdf
18 12/Aug/18 06:19/~lp15/papers/Arith/RELEASE-NOTES.txt
18 0.05%10/Aug/18 03:35/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18  3/Aug/18 16:16/~lp15/MLbook/first/programs/Imperative.ML
18  7/Aug/18 14:51/~lp15/papers/Workshop/programme.html
17 11/Aug/18 17:40/~lp15/papers/Workshop/nipkow.html
17 0.09% 5/Aug/18 14:48/~lp15/images/pilkington-full.jpg
17 0.03% 3/Aug/18 16:16/~lp15/papers/Workshop/papers/ayari.pdf
17 0.04%11/Aug/18 09:46/~lp15/papers/Workshop/papers/voelker.pdf
17 0.03% 6/Aug/18 21:02/~lp15/papers/Workshop/vigano.pdf
17 11/Aug/18 16:27/~lp15/MLbook/first/ERRATA1.txt
17 0.25% 7/Aug/18 21:18/~lp15/papers/Auth/ijcar2001-slides.pdf
17 0.05%11/Aug/18 20:27/~lp15/papers/Ballarin/coding.pdf
17 0.17% 3/Aug/18 16:16/~lp15/papers/Bella/TPHOLs03-slides.pdf
16  3/Aug/18 16:16/~lp15/papers/Workshop/staples.html
16 0.16% 7/Aug/18 00:27/~lp15/papers/Formath/constructible-theory.pdf
16  8/Aug/18 16:54/~lp15/MLbook/first/programs/Lists-Trees.ML
16 0.22% 3/Aug/18 16:16/~lp15/papers/Notes/formalizing-abst-slides.pdf
16  3/Aug/18 16:16/~lp15/papers/Workshop/thompson.html
16 0.03% 9/Aug/18 23:22/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
16 0.14% 5/Aug/18 02:52/~lp15/papers/Deduction/lecture3.pdf
16  3/Aug/18 16:16/~lp15/papers/Workshop/agerholm.html
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16  9/Aug/18 10:26/~lp15/papers/Workshop/futures.html
16 0.05% 9/Aug/18 12:27/~lp15/papers/Workshop/papers/agerholm.pdf
15 0.01% 9/Aug/18 12:36/~lp15/Grants/SET/case.pdf
15 0.01% 3/Aug/18 16:16/~lp15/papers/Isabelle/blast-slides.pdf
15 0.02% 3/Aug/18 16:16/~lp15/papers/Arith/Overcoming.pdf
15 0.15% 3/Aug/18 16:16/~lp15/papers/Deduction/lecture1.pdf
15 0.09% 3/Aug/18 16:16/~lp15/papers/Automation/Huet colloquium.pdf
15 0.04% 3/Aug/18 16:16/~lp15/papers/Workshop/papers/matthews.pdf
15 0.05%11/Aug/18 16:29/~lp15/papers/Workshop/papers/vigano.pdf
14  3/Aug/18 16:16/~lp15/MLbook/first/programs/ParsePrint.ML
14 0.01%13/Aug/18 01:11/~lp15/Sue/Cultures of Dance.pdf
14 11/Aug/18 22:17/~lp15/Grants/BeyondLinArith/auth-final.pdf
14 0.03% 7/Aug/18 13:16/~lp15/papers/Isabelle/Goedel-logic.pdf
14 0.03% 9/Aug/18 02:42/~lp15/papers/Workshop/papers/owens.pdf
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
14  3/Aug/18 16:16/~lp15/papers/Workshop/wolff.html
13 0.20% 3/Aug/18 16:16/~lp15/papers/Auth/dagstuhl2001-slides.pdf
13  8/Aug/18 12:44/~lp15/papers/Workshop/heule.html
13 0.06%11/Aug/18 18:02/~lp15/papers/Workshop/papers/bednarczyk.pdf
13 0.49%11/Aug/18 22:15/~lp15/papers/Arith/Overcoming-slides.pdf
13 0.03%13/Aug/18 06:48/~lp15/papers/Ballarin/aisc98.pdf
12  3/Aug/18 16:16/~lp15/MLbook/first/ERRATA3.txt
12  3/Aug/18 16:16/~lp15/papers/Workshop/bednarczyk.txt
12 0.39% 7/Aug/18 03:25/~lp15/Grants/LEO-II/leo project poster.pdf
12 2.81% 3/Aug/18 16:16/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 0.02%13/Aug/18 11:51/~lp15/papers/Workshop/papers/staples.pdf
11 0.02% 3/Aug/18 16:16/~lp15/Grants/Chaieb-case.pdf
11 3.13% 3/Aug/18 16:16/~lp15/archive/Isabelle2009-1.tar.gz
10 0.02% 3/Aug/18 16:16/~lp15/papers/Workshop/papers/benini.pdf
10  5/Aug/18 07:37/~lp15/Grants/SET/final.pdf
10 0.72%31/Jul/18 22:21/~lp15/papers/Arith/metit.tgz
10 12/Aug/18 23:14/~lp15/Grants/UNITY/temporal.html
10 0.05%10/Aug/18 17:15/~lp15/papers/Arith/Huang-precondition.pdf
10 0.05% 3/Aug/18 16:16/~lp15/Data/relevance/tptp-2007-03-13.tbz
10 0.43% 6/Aug/18 11:51/~lp15/papers/Notes/ARW-2018.pdf
10  3/Aug/18 16:16/~lp15/MLbook/first/programs/Hal.ML
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.03% 4/Aug/18 04:09/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 10/Aug/18 05:54/~lp15/papers/Workshop/owens.txt
9 0.06% 3/Aug/18 16:16/~lp15/papers/Deduction/lecture2.pdf
9  3/Aug/18 16:16/~lp15/MLbook/first/ML-syntax.dvi.gz
9 0.07% 8/Aug/18 02:08/~lp15/papers/Deduction/lecture4.pdf
9  3/Aug/18 16:16/~lp15/Data/relevance/unfiltered-spass.txt
9  3/Aug/18 16:16/~lp15/MLbook/first/ERRATA2.txt
8 2.50% 3/Aug/18 16:16/~lp15/archive/Isabelle2009-2.tar.gz
8 0.02% 3/Aug/18 16:16/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
8  3/Aug/18 16:16/~lp15/MLbook/first/answers8.txt.gz
8  3/Aug/18 16:16/~lp15/MLbook/first/answers1-5.txt.gz
8 0.33% 3/Aug/18 16:16/~lp15/papers/Isabelle/Goedel-slides.pdf
8 0.05% 6/Aug/18 14:33/~lp15/papers/Isabelle/Goedel-ar.pdf
8  3/Aug/18 16:16/~lp15/Data/relevance/unfiltered-vampire.txt
8 0.07% 8/Aug/18 01:32/~lp15/papers/Automation/h4qed-clean.pdf
8 0.09%12/Aug/18 09:32/~lp15/papers/Formath/Sophia2017.pdf
8 0.06%11/Aug/18 09:26/~lp15/Pages/4colproof.pdf
7  4/Aug/18 11:20/~lp15/Pages/Lawrence Paulson (C90DEAF0) %E2%80%93 Public.asc
7 0.53% 3/Aug/18 16:16/~lp15/Data/ho-translations/Comb.tbz
7 0.52% 3/Aug/18 16:16/~lp15/archive/Isabelle2005.tar.gz
7 0.01% 3/Aug/18 16:16/~lp15/archive/Isabelle86.tar.gz
7 2.82% 3/Aug/18 16:16/~lp15/archive/Isabelle2014.tar.gz
7 0.33% 3/Aug/18 16:16/~lp15/archive/Isabelle99-1.tar.gz
7  3/Aug/18 16:16/~lp15/MLbook/first/programs/edits.txt
7  3/Aug/18 16:16/~lp15/images/larry-paulson.jpg
7 2.22% 3/Aug/18 16:16/~lp15/archive/Isabelle2011.tar.gz
7 2.58% 3/Aug/18 16:16/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 0.03% 3/Aug/18 16:16/~lp15/papers/OLD.SETS/reflection-slides.pdf
7 0.02% 3/Aug/18 16:16/~lp15/papers/OLD.SETS/AC.pdf
7 0.45% 3/Aug/18 16:16/~lp15/archive/Isabelle2003.tar.gz
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 0.47% 3/Aug/18 16:16/~lp15/archive/Isabelle2004.tar.gz
39414.29%12/Aug/18 10:45[not listed: 97 files]