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

Program started at Wed-15-Aug-2018 15:19.
Analysed requests from Wed-05-Nov-2014 15:02 to Wed-15-Aug-2018 15:08 (1379.00 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 15-Aug-2018 15:19.

Successful requests: 21,735 (2,236)
Average successful requests per day: 15 (319)
Successful requests for pages: 8,253 (982)
Average successful requests for pages per day: 5 (140)
Failed requests: 729 (61)
Redirected requests: 123 (16)
Distinct files requested: 573 (275)
Distinct hosts served: 4,374 (691)
Corrupt logfile lines: 35
Unwanted logfile entries: 18,639
Data transferred: 5.65 gigabytes (343.54 megabytes)
Average data transferred per day: 4.20 megabytes (49.08 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 30 requests for pages or part thereof.

dayreqspages 
Sun2279793+++++++++++++++++++++++++++
Mon38521405+++++++++++++++++++++++++++++++++++++++++++++++
Tue2643946++++++++++++++++++++++++++++++++
Wed33681399+++++++++++++++++++++++++++++++++++++++++++++++
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
974055.89%.com (Commercial)
484917.64%[unresolved numerical addresses]
2012 7.14%[domain not given]
1488 6.03%.net (Networks)
756 2.88%.de (Germany)
274 1.09%[unknown domain]
230 0.91%.in (India)
224 0.82%.edu (USA Higher Education)
73 0.69%.fr (France)
254 0.68%.uk (United Kingdom)
55 0.49%.ph (Philippines)
106 0.46%.au (Australia)
68 0.36%.br (Brazil)
69 0.32%.se (Sweden)
254 0.32%.ru (Russia)
34 0.26%.th (Thailand)
59 0.24%.pt (Portugal)
24 0.22%.co (Colombia)
26 0.21%.za (South Africa)
41 0.19%.zw (Zimbabwe)
61 0.19%.ca (Canada)
70 0.18%.jp (Japan)
44 0.17%.nz (New Zealand)
12 0.15%.pk (Pakistan)
25 0.13%.ke (Kenya)
27 0.12%.pl (Poland)
7 0.12%.np (Nepal)
21 0.11%.my (Malaysia)
47 0.11%.org (Non Profit Making Organisations)
13 0.11%.id (Indonesia)
40 0.11%.sg (Singapore)
34 0.11%.mx (Mexico)
71 0.10%.it (Italy)
30 0.09%.fi (Finland)
35 0.08%.hu (Hungary)
4 0.08%.ng (Nigeria)
42 0.07%.nl (Netherlands)
20 0.07%.vn (Vietnam)
31 0.07%.cn (China)
33 0.07%.ch (Switzerland)
23 0.06%.at (Austria)
11 0.06%.arpa (Arpanet)
37 0.06%.ar (Argentina)
14 0.05%.no (Norway)
6 0.05%.hr (Croatia)
14 0.05%.bg (Bulgaria)
5 0.04%.ie (Ireland)
5 0.04%.ug (Uganda)
22 0.04%.dk (Denmark)
11 0.04%.tw (Taiwan)
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)
21 0.02%.cz (Czech Republic)
21 0.02%.es (Spain)
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)
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)
4 0.01%.il (Israel)
7 0.01%.us (United States)
13 0.01%.ro (Romania)
1 0.01%.do (Dominican Republic)
4 .gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
3 .lv (Latvia)
2 .ir (Iran)
2 .ee (Estonia)
2 .kz (Kazakhstan)
1 .md (Moldova)
4 .lb (Lebanon)
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
303316.71%amazonaws.com
2012 7.14%[domain not given]
2003 8.91%msn.com
1120 4.31%baidu.com
795 2.54%yandex.com
76114.81%bluechipbacklinks.com
495 2.30%your-server.de
405 1.60%31
313 0.43%114
274 1.09%[unknown domain]
267 0.59%virginm.net
267 0.03%semrush.com
208 0.11%sogou.com
203 0.38%comcast.net
202 4.98%telia.com
194 0.97%41
180 0.83%103
168 0.15%mail.ru
160 0.40%btcentralplus.com
152 0.68%google.com
852331.04%[not listed: 1,292 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
176473694OS unknown
265841823Windows
 2655884  Windows NT
 3518792  Unknown Windows
 383122  Windows XP
 1010  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 32  Windows 98
327571005Macintosh
42725901Unix
 2654855  Linux
 4331  BSD
 2311  Other Unix
 32  SunOS
 22  OSF1
51958792Known 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
18278200 OK
2789206 Partial content
123301 Document moved permanently
668304 Not modified since last retrieval
2400 Bad request
45403 Access forbidden
682404 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- 1kB448 0.01%
1kB- 10kB6353 0.48%
10kB-100kB6577 4.45%
100kB- 1MB701142.17%
1MB- 10MB58526.26%
10MB-100MB6226.63%

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
1067764.67%.pdf [Adobe Portable Document Format]
31723.49%.gz [Gzip compressed files]
18823.24%  .tar.gz [Compressed archives]
61 8.43%.tbz
1079 1.26%.jpg [JPEG graphics]
5521 0.62%[directories]
6 0.54%.tgz
2732 0.41%.html [Hypertext Markup Language]
8 0.26%.zip [Zip archives]
931 0.15%.sml
403 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
151411.89%15/Aug/18 15:03/~lp15/papers/Notes/SE-I.pdf
1106 0.16%15/Aug/18 14:53/~lp15/
675 0.03%15/Aug/18 11:06/~lp15/MLbook/
557 0.67%15/Aug/18 11:39/~lp15/images/larry-home-small.jpg
460 3.97%15/Aug/18 07:34/~lp15/papers/Reports/equivclasses-slides.pdf
357 0.83%15/Aug/18 14:35/~lp15/papers/Notes/Founds-FP.pdf
345 0.30%12/Aug/18 22:00/~lp15/images/acm-logo.jpg
341 6.78%13/Aug/18 19:46/~lp15/Sue/Thesis.pdf
326 0.02%15/Aug/18 14:35/~lp15/MLbook/pub-details.html
304 0.01%15/Aug/18 03:11/~lp15/MLbook/programs/
303 0.05%15/Aug/18 07:29/~lp15/papers/Arith/
279 1.17%15/Aug/18 14:07/~lp15/papers/Formath/Residue-theorem.pdf
271 0.99%15/Aug/18 13:21/~lp15/papers/Reports/equivclasses.pdf
257 3.25%13/Aug/18 21:28/~lp15/papers/Reports/thesis.pdf
218 0.14%15/Aug/18 14:01/~lp15/papers/refereed.html
198 1.17%15/Aug/18 14:37/~lp15/papers/Formath/Goedel-ar.pdf
190 0.01%15/Aug/18 07:44/~lp15/MLbook/programs/sample2.sml
190 0.01%15/Aug/18 11:58/~lp15/MLbook/exercises/
187 0.03%15/Aug/18 14:50/~lp15/Sue/
151 0.74%13/Aug/18 21:00/~lp15/papers/Auth/jcs.pdf
142 0.03%15/Aug/18 12:06/~lp15/papers/Auth/
141 0.02%14/Aug/18 18:24/~lp15/Grants/AutoPolyFun/
140 0.14%15/Aug/18 11:11/~lp15/papers/Reports/mutil.pdf
132 0.01%14/Aug/18 19:02/~lp15/archive/
128 0.02%15/Aug/18 11:10/~lp15/papers/Formath/
126 15/Aug/18 00:27/~lp15/MLbook/programs/ROOT.sml
126 0.01%15/Aug/18 14:51/~lp15/papers/lecture-courses.html
119 0.02%14/Aug/18 20:49/~lp15/papers/Automation/
114 0.51%15/Aug/18 15:08/~lp15/papers/Reports/Bridge-ml.pdf
110 0.17%14/Aug/18 19:36/~lp15/papers/Auth/lics.pdf
108 0.02%15/Aug/18 14:54/~lp15/Grants/SET/
105 0.18%14/Aug/18 19:56/~lp15/papers/Formath/Goedel-logic.pdf
105 0.01%15/Aug/18 08:04/~lp15/MLbook/programs/sample5.sml
104 0.40%13/Aug/18 20:28/~lp15/papers/Isabelle/fleuriot-kepler.pdf
102 0.02%15/Aug/18 14:01/~lp15/MLbook/ERRATA.html
102 0.02%14/Aug/18 06:02/~lp15/MLbook/exercises/exer2.html
100 0.01%14/Aug/18 15:08/~lp15/Pages/cv.html
99 0.41%13/Aug/18 11:59/~lp15/papers/Formath/set-I.pdf
98 0.01%14/Aug/18 14:27/~lp15/papers/
97 0.01%14/Aug/18 16:13/~lp15/Grants/
94 0.25%12/Aug/18 19:28/~lp15/papers/Auth/tls.pdf
94 0.01%14/Aug/18 08:57/~lp15/papers/hol.html
93 0.08%14/Aug/18 21:58/~lp15/Usage/
93 0.01%14/Aug/18 17:14/~lp15/papers/Reports/
92 0.01%13/Aug/18 15:51/~lp15/images/
87 15/Aug/18 00:29/~lp15/MLbook/general.html
84 0.01%15/Aug/18 05:06/~lp15/papers/Isabelle/
84 0.23%15/Aug/18 13:33/~lp15/MLbook/PDF/chapter1.pdf
84 0.01%11/Aug/18 15:17/~lp15/Grants/LEO-II/
83 14/Aug/18 13:10/~lp15/SpryAssets/
10  8/Aug/18 21:43  /~lp15/SpryAssets/?C=S;O=A
82 0.14%14/Aug/18 11:52/~lp15/Pages/vita.pdf
82 0.11%15/Aug/18 10:36/~lp15/papers/Auth/SET-overview-2002.pdf
82 0.01%15/Aug/18 14:01/~lp15/papers/invited.html
82 0.01%15/Aug/18 01:42/~lp15/Grants/Automation/
77 0.58% 3/Aug/18 16:16/~lp15/Pages/Munich-slides.pdf
77 11/Aug/18 19:47/~lp15/css/
76 0.01%14/Aug/18 08:24/~lp15/MLbook/review.html
75 0.01%14/Aug/18 12:43/~lp15/papers/workshop.html
74 13/Aug/18 17:38/~lp15/papers/Notes/
73 0.36% 7/Aug/18 21:37/~lp15/papers/Arith/Sogokon-nfm14.pdf
72 12/Aug/18 18:31/~lp15/Pages/
72 0.21%14/Aug/18 07:52/~lp15/papers/Formath/Greens-theorem.pdf
72 0.24%14/Aug/18 02:39/~lp15/papers/Automation/sultana-pfreconstruction.pdf
72 0.02%14/Aug/18 15:28/~lp15/MLbook/programs/sample3.sml
71 0.01%15/Aug/18 08:34/~lp15/papers/books.html
71 14/Aug/18 19:20/~lp15/MLbook/StandardML.plist
69 0.01%14/Aug/18 19:00/~lp15/Pages/CL-English.html
69 0.01%15/Aug/18 12:01/~lp15/Grants/Alexandria/
69 0.01%14/Aug/18 21:16/~lp15/MLbook/programs/sample8-2004.sml
69 0.17%15/Aug/18 09:16/~lp15/papers/Formath/automata.pdf
68 15/Aug/18 14:02/~lp15/Grants/BeyondLinArith/
68 15/Aug/18 08:44/~lp15/MLbook/first/
68 15/Aug/18 10:39/~lp15/papers/Arith/atan-problem-1-weak.html
68 0.12%12/Aug/18 09:12/~lp15/papers/Arith/Narayanan DATE.pdf
67 0.01%15/Aug/18 05:15/~lp15/MLbook/programs/sample4.sml
66 0.01%14/Aug/18 12:29/~lp15/papers/recur.html
66 0.01%14/Aug/18 16:10/~lp15/Pages/Scream.html
65 0.13%14/Aug/18 16:20/~lp15/MLbook/PDF/contents.pdf
64 0.19%13/Aug/18 10:35/~lp15/papers/Reports/TPHOLs05.pdf
63 0.02%15/Aug/18 05:18/~lp15/MLbook/exercises/exer3.html
63 0.01%15/Aug/18 13:55/~lp15/papers/Workshop/
63 0.14%14/Aug/18 20:42/~lp15/papers/Automation/paar.pdf
63 0.30% 7/Aug/18 02:05/~lp15/papers/Bella/smartcards-jcs.pdf
62 13/Aug/18 17:37/~lp15/papers/Arith/download.html
62  3/Aug/18 16:16/~lp15/papers/Bella/
62 0.27%14/Aug/18 18:41/~lp15/papers/Bella/accountability.pdf
62 0.02%10/Aug/18 21:49/~lp15/Usage/images/
60 0.22%15/Aug/18 10:12/~lp15/papers/Automation/filtering.pdf
60  3/Aug/18 16:16/~lp15/Templates/
60 0.02%15/Aug/18 03:52/~lp15/MLbook/exercises/exer8.html
59  3/Aug/18 16:16/~lp15/tmp/
59  3/Aug/18 16:16/~lp15/Data/
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
56 0.01%15/Aug/18 03:52/~lp15/MLbook/exercises/exer4.html
56 0.15% 8/Aug/18 23:49/~lp15/papers/Formath/AC.pdf
56 0.11%14/Aug/18 09:27/~lp15/papers/Auth/multicast_verification.pdf
55  3/Aug/18 16:16/~lp15/papers/Reviews/
55 0.12%13/Aug/18 22:28/~lp15/papers/Isabelle/aisc98.pdf
54 0.13% 9/Aug/18 06:40/~lp15/papers/Bella/esorics98.pdf
54 0.31%13/Aug/18 03:22/~lp15/papers/Arith/calculemus2008.pdf
53  7/Aug/18 12:51/~lp15/papers/Ballarin/
52 0.03%14/Aug/18 15:08/~lp15/images/pilkington.jpg
52 0.03%14/Aug/18 08:20/~lp15/papers/Reviews/construct.pdf
52 0.12%13/Aug/18 07:02/~lp15/Pages/harrison-real.pdf
52 0.14%15/Aug/18 06:49/~lp15/papers/Automation/meng-termination.pdf
51 0.21%14/Aug/18 13:15/~lp15/papers/Automation/translations-jar.pdf
51 1.18%14/Aug/18 22:31/~lp15/papers/Auth/lics-slides.pdf
51 0.03%15/Aug/18 14:50/~lp15/Sue/Sue Paulson.jpg
51 13/Aug/18 22:42/~lp15/Pages/projects.html
50 0.21%15/Aug/18 01:51/~lp15/papers/Formath/reflection-slides.pdf
50 0.14%13/Aug/18 12:32/~lp15/papers/Arith/Hscc09.pdf
49 0.19%15/Aug/18 10:23/~lp15/MLbook/PDF/chapter6.pdf
49 0.05%12/Aug/18 03:00/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
49 0.12%15/Aug/18 12:39/~lp15/papers/Bella/registration.pdf
49 0.22%15/Aug/18 14:43/~lp15/MLbook/PDF/chapter2.pdf
48 15/Aug/18 12:50/~lp15/papers/UNITY/
48 0.12% 7/Aug/18 16:09/~lp15/papers/Automation/translations.pdf
48 0.01%15/Aug/18 07:24/~lp15/Grants/holisa.html
47 0.02%15/Aug/18 10:44/~lp15/MLbook/exercises/exer6.html
47 15/Aug/18 05:21/~lp15/papers/Arith/qepcad-for-mac.html
47 0.01%14/Aug/18 17:03/~lp15/Pages/ACS-proposals.html
46 0.01%15/Aug/18 13:07/~lp15/MLbook/programs/sample8.sml
46 0.02%15/Aug/18 09:05/~lp15/MLbook/programs/sample10.sml
46 0.22%11/Aug/18 07:08/~lp15/papers/UNITY/composition.pdf
46 0.11%10/Aug/18 11:16/~lp15/papers/Automation/jar-smt.pdf
46 0.14%11/Aug/18 05:10/~lp15/papers/Bella/certified-email.pdf
45 0.10% 9/Aug/18 05:44/~lp15/papers/Bella/nonrepudiation.pdf
45 0.01%12/Aug/18 08:44/~lp15/MLbook/exercises/exer7.html
45 0.19%14/Aug/18 16:20/~lp15/MLbook/PDF/chapter8.pdf
45 0.14%10/Aug/18 03:51/~lp15/papers/Formath/reflection.pdf
45 0.01%14/Aug/18 04:48/~lp15/Grants/UNITY/
44 0.10% 8/Aug/18 10:42/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
44 0.01%15/Aug/18 05:15/~lp15/MLbook/programs/sample9.sml
44 0.08%10/Aug/18 03:01/~lp15/papers/Isabelle/chap700.pdf
43 0.01%15/Aug/18 04:17/~lp15/MLbook/exercises/exer5.html
43 0.14%15/Aug/18 12:01/~lp15/images/ERC-LOGO.jpg
43 0.09%14/Aug/18 12:20/~lp15/Grants/AutoPolyFun/case.pdf
42 0.07% 9/Aug/18 15:16/~lp15/papers/UNITY/tphols01.pdf
42 0.06%14/Aug/18 18:18/~lp15/Sue/Cultures of Dance.ppt
42 0.18%14/Aug/18 16:19/~lp15/MLbook/PDF/chapter7.pdf
41 0.01%15/Aug/18 01:51/~lp15/MLbook/programs/sample7.sml
41 0.16%14/Aug/18 16:20/~lp15/MLbook/PDF/chapter10.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.02%15/Aug/18 07:49/~lp15/papers/Reviews/MLer.pdf
40 0.08%11/Aug/18 16:47/~lp15/papers/Bella/cav98.pdf
40 0.11%15/Aug/18 01:47/~lp15/papers/Arith/lpar2007.pdf
40 0.10% 9/Aug/18 11:27/~lp15/papers/Isabelle/blast.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 18:46/~lp15/papers/Bella/purchase.pdf
39 0.10%15/Aug/18 06:38/~lp15/papers/Automation/cade2011-sledge-smt.pdf
38 13/Aug/18 09:32/~lp15/MLbook/disclaimer.html
38 0.17%15/Aug/18 04:15/~lp15/MLbook/PDF/chapter5.pdf
38 14/Aug/18 08:24/~lp15/Data/relevance/
37 11/Aug/18 12:36/~lp15/Data/ho-translations/
37 0.07%15/Aug/18 11:55/~lp15/papers/Workshop/papers/kalvala-linear.pdf
37 0.07% 3/Aug/18 16:16/~lp15/papers/Arith/fmcad2009.pdf
36 0.07%12/Aug/18 14:26/~lp15/papers/UNITY/ehmety-composition.pdf
36 0.25%15/Aug/18 06:15/~lp15/papers/Arith/MetiTarski-jar.pdf
36 0.10% 7/Aug/18 07:37/~lp15/papers/Formath/milner-ind-defs.pdf
36 0.15%13/Aug/18 18:57/~lp15/papers/Formath/set-II.pdf
36 0.30%13/Aug/18 17:39/~lp15/papers/Automation/info-and-comp.pdf
35 0.13%14/Aug/18 12:40/~lp15/papers/Auth/SET-overview-IJIS.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 12/Aug/18 18:32/~lp15/MLbook/programs/notes.html
34 0.18%15/Aug/18 10:28/~lp15/MLbook/PDF/chapter3.pdf
34  3/Aug/18 16:16/~lp15/papers/Deduction/
34 0.09% 7/Aug/18 14:32/~lp15/papers/Reports/blast.pdf
34 0.16%15/Aug/18 10:27/~lp15/Grants/Alexandria/DoA.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.08%14/Aug/18 00:31/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
33 12/Aug/18 01:32/~lp15/MLbook/first/programs/
33 0.05%14/Aug/18 21:57/~lp15/papers/Arith/pdpar2006.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.10%14/Aug/18 13:44/~lp15/papers/Bella/esorics2000.pdf
32 0.17%15/Aug/18 14:06/~lp15/papers/Reports/fleuriot-kepler.pdf
32 0.14%13/Aug/18 12:50/~lp15/papers/UNITY/UNITY.pdf
32 0.06% 9/Aug/18 12:46/~lp15/papers/Auth/ijcar2001.pdf
32 0.14%15/Aug/18 03:51/~lp15/MLbook/PDF/chapter9.pdf
32 14/Aug/18 19:00/~lp15/MLbook/exercises/disclaimer.html
31 0.04%15/Aug/18 07:10/~lp15/papers/Auth/auth-slides.pdf
31 0.12%11/Aug/18 00:29/~lp15/papers/Notes/MOD-slides.pdf
31 0.06%14/Aug/18 07:55/~lp15/papers/Arith/ITP-2012-invited.pdf
30 0.06% 7/Aug/18 04:45/~lp15/papers/Formath/final.pdf
30 0.15%14/Aug/18 22:45/~lp15/MLbook/PDF/chapter4.pdf
30 0.16% 8/Aug/18 13:51/~lp15/papers/Automation/filtering-jal.pdf
30 0.21% 7/Aug/18 11:25/~lp15/papers/Reports/intro-to-isabelle.pdf
30 0.06%14/Aug/18 20:42/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
30 0.38% 8/Aug/18 13:01/~lp15/papers/Automation/reconstruction-slides.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 14/Aug/18 21:37/~lp15/papers/Workshop/matthews.html
29 0.15%10/Aug/18 00:40/~lp15/papers/Automation/reconstruction.pdf
29 0.01%14/Aug/18 19:16/~lp15/MLbook/programs/sample10-old.sml
29 0.07%13/Aug/18 00:28/~lp15/MLbook/PDF/projects-bib.pdf
29 0.04%14/Aug/18 19:48/~lp15/papers/Auth/security-protocols.pdf
29 0.01%14/Aug/18 21:20/~lp15/MLbook/programs/sample3-old.sml
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.03%14/Aug/18 04:45/~lp15/Grants/LEO-II/leo2-case.pdf
28 0.06%14/Aug/18 12:16/~lp15/papers/Arith/case-splitting.pdf
28 0.81%14/Aug/18 02:43/~lp15/Sue/Phd-Poster.pdf
28 0.06% 9/Aug/18 15:54/~lp15/papers/Workshop/papers/thompson.pdf
27 0.06%11/Aug/18 21:43/~lp15/papers/Automation/leo2-ijcar.pdf
27 0.16%14/Aug/18 10:44/~lp15/papers/Auth/tls-slides.pdf
27 0.12%10/Aug/18 06:59/~lp15/papers/Formath/constructible-slides.pdf
26 0.05%10/Aug/18 10:39/~lp15/papers/Bella/dimacs97.pdf
26 0.04%13/Aug/18 11:17/~lp15/papers/Notes/leeds-notes.pdf
26 0.08%14/Aug/18 08:49/~lp15/papers/Arith/SNC2014-invited.pdf
25 0.01%15/Aug/18 10:42/~lp15/MLbook/first/ML-syntax.ps.gz
25 0.30% 7/Aug/18 20:21/~lp15/papers/Reports/TypeClasses.pdf
25 0.04% 7/Aug/18 22:44/~lp15/papers/Formath/constructible-abstract.pdf
25 1.17%14/Aug/18 10:40/~lp15/papers/Notes/LCF+.pdf
24 13/Aug/18 01:32/~lp15/Grants/auth.html
24 0.11%15/Aug/18 10:27/~lp15/Grants/Alexandria/Part-B2.pdf
24 0.01%12/Aug/18 21:28/~lp15/papers/Formath/AC-slides.pdf
24 0.08%14/Aug/18 13:48/~lp15/papers/Formath/Goedel-logic-mine.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.15% 4/Aug/18 14:54/~lp15/papers/Reports/logics97.pdf
24 0.03%15/Aug/18 10:05/~lp15/papers/Auth/recur-slides.pdf
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.17% 3/Aug/18 16:16/~lp15/papers/Formath/Future of formalised maths.pdf
23 13/Aug/18 17:09/~lp15/papers/Workshop/paulson.html
23 0.02%13/Aug/18 09:08/~lp15/papers/Workshop/kammueller.pdf
23 14/Aug/18 16:14/~lp15/papers/Workshop/participants.html
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 14/Aug/18 18:50/~lp15/MLbook/PDF/
22 0.05%13/Aug/18 17:39/~lp15/papers/Notes/strategy.pdf
22 1.13%14/Aug/18 12:10/~lp15/papers/Arith/ITP 2012 presentation.pdf
22  3/Aug/18 16:16/~lp15/MLbook/first/programs/Functions.ML
21 0.06%15/Aug/18 04:03/~lp15/papers/Arith/case-splitting-stats.csv
21 0.10%11/Aug/18 10:10/~lp15/papers/Auth/SET-document.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  3/Aug/18 16:16/~lp15/papers/OLD.SETS/
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
21 0.10%13/Aug/18 10:57/~lp15/papers/Workshop/papers/kammueller.pdf
20 0.23%10/Aug/18 21:39/~lp15/papers/Isabelle/Cube-presentation.pdf
20 0.02% 3/Aug/18 16:16/~lp15/Grants/Automation/case.pdf
20 0.31% 7/Aug/18 07:48/~lp15/papers/Arith/metit-slides.pdf
20 15/Aug/18 10:29/~lp15/MLbook/first/programs/Modules.ML
20  9/Aug/18 15:28/~lp15/MLbook/programs/sample9-2004.sml
20 0.07% 7/Aug/18 11:44/~lp15/papers/Isabelle/sylow.pdf
20 0.57%14/Aug/18 12:10/~lp15/papers/Arith/SNC2014-slides.pdf
20 0.19% 8/Aug/18 07:28/~lp15/papers/Arith/NFM2014-slides.pdf
19 12/Aug/18 17:32/~lp15/papers/Workshop/kalvala.html
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.05%15/Aug/18 10:04/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
19  9/Aug/18 21:03/~lp15/Grants/Chaieb.html
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 13/Aug/18 02:14/~lp15/papers/Formath/ind-defs-slides.pdf
18 0.40% 9/Aug/18 20:11/~lp15/Grants/BeyondLinArith/arith-poster.pdf
18 0.14%14/Aug/18 10:09/~lp15/papers/Deduction/lecture3.pdf
18  7/Aug/18 14:51/~lp15/papers/Workshop/programme.html
17 11/Aug/18 17:40/~lp15/papers/Workshop/nipkow.html
17 0.03% 3/Aug/18 16:16/~lp15/papers/Workshop/papers/ayari.pdf
17 0.03%14/Aug/18 19:47/~lp15/Grants/Automation/final.pdf
17 0.04%13/Aug/18 16:34/~lp15/papers/Workshop/papers/voelker.pdf
17 0.24%13/Aug/18 20:32/~lp15/papers/Notes/formalizing-abst-slides.pdf
17 0.06%15/Aug/18 14:43/~lp15/papers/Workshop/papers/vigano.pdf
17 12/Aug/18 06:19/~lp15/papers/Arith/RELEASE-NOTES.txt
17 11/Aug/18 16:27/~lp15/MLbook/first/ERRATA1.txt
17 0.20% 6/Aug/18 07:22/~lp15/papers/Auth/dagstuhl2003-slides.pdf
17 0.25% 7/Aug/18 21:18/~lp15/papers/Auth/ijcar2001-slides.pdf
17 0.05%13/Aug/18 16:50/~lp15/papers/Workshop/papers/agerholm.pdf
17 0.05%11/Aug/18 20:27/~lp15/papers/Ballarin/coding.pdf
16 0.09% 5/Aug/18 14:48/~lp15/images/pilkington-full.jpg
16  3/Aug/18 16:16/~lp15/papers/Workshop/staples.html
16 0.01%14/Aug/18 17:37/~lp15/Grants/SET/case.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.82% 7/Aug/18 01:48/~lp15/papers/Formath/Goedel-slides.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  3/Aug/18 16:16/~lp15/MLbook/first/programs/Imperative.ML
16 0.16% 3/Aug/18 16:16/~lp15/papers/Bella/TPHOLs03-slides.pdf
15 0.16% 7/Aug/18 00:27/~lp15/papers/Formath/constructible-theory.pdf
15  8/Aug/18 16:54/~lp15/MLbook/first/programs/Lists-Trees.ML
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.02% 6/Aug/18 21:02/~lp15/papers/Workshop/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.54%14/Aug/18 19:59/~lp15/papers/Arith/Overcoming-slides.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.03% 9/Aug/18 02:42/~lp15/papers/Workshop/papers/owens.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 15/Aug/18 12:36/~lp15/Grants/UNITY/temporal.html
11 0.48%14/Aug/18 08:31/~lp15/papers/Notes/ARW-2018.pdf
11 3.13% 3/Aug/18 16:16/~lp15/archive/Isabelle2009-1.tar.gz
10 0.02% 3/Aug/18 16:16/~lp15/Grants/Chaieb-case.pdf
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.07%15/Aug/18 00:18/~lp15/papers/Deduction/lecture2.pdf
10 0.04%13/Aug/18 18:57/~lp15/papers/Arith/Huang-precondition.pdf
10 0.05% 3/Aug/18 16:16/~lp15/Data/relevance/tptp-2007-03-13.tbz
10 0.07%13/Aug/18 18:54/~lp15/papers/Deduction/lecture4.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  3/Aug/18 16:16/~lp15/MLbook/first/ML-syntax.dvi.gz
9  3/Aug/18 16:16/~lp15/Data/relevance/unfiltered-spass.txt
9 0.10%14/Aug/18 08:35/~lp15/papers/Formath/Sophia2017.pdf
9  3/Aug/18 16:16/~lp15/MLbook/first/ERRATA2.txt
9 0.07%14/Aug/18 14:56/~lp15/Pages/4colproof.pdf
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 0.01%13/Aug/18 21:25/~lp15/archive/Isabelle86.tar.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
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 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 0.11%14/Aug/18 08:33/~lp15/papers/Notes/Herbrand.pdf
7 2.21% 3/Aug/18 16:16/~lp15/archive/Isabelle2011.tar.gz
7 2.57% 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
39814.95%15/Aug/18 05:07[not listed: 95 files]