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

Program started at Mon-10-Dec-2018 15:34.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-10-Dec-2018 15:26 (1496.02 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 10-Dec-2018 15:34.

Successful requests: 22,511 (3,575)
Average successful requests per day: 15 (510)
Successful requests for pages: 8,748 (1,572)
Average successful requests for pages per day: 5 (224)
Failed requests: 808 (95)
Redirected requests: 148 (29)
Distinct files requested: 598 (561)
Distinct hosts served: 4,905 (940)
Corrupt logfile lines: 3
Unwanted logfile entries: 18,363
Data transferred: 6.23 gigabytes (887.01 megabytes)
Average data transferred per day: 4.26 megabytes (126.72 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 
Sun2566926++++++++++++++++++++++++
Mon45751801++++++++++++++++++++++++++++++++++++++++++++++
Tue36331421++++++++++++++++++++++++++++++++++++
Wed32361337++++++++++++++++++++++++++++++++++
Thu32321259++++++++++++++++++++++++++++++++
Fri2195751+++++++++++++++++++
Sat30741253++++++++++++++++++++++++++++++++

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
1037253.56%.com (Commercial)
462716.15%[unresolved numerical addresses]
1651 6.62%[domain not given]
1500 6.46%.net (Networks)
301 3.81%[unknown domain]
1004 3.09%.de (Germany)
290 0.99%.edu (USA Higher Education)
123 0.92%.it (Italy)
226 0.82%.in (India)
326 0.75%.uk (United Kingdom)
77 0.65%.fr (France)
54 0.44%.ph (Philippines)
94 0.40%.au (Australia)
75 0.37%.br (Brazil)
88 0.30%.ca (Canada)
271 0.30%.ru (Russia)
65 0.26%.se (Sweden)
59 0.21%.nz (New Zealand)
25 0.21%.th (Thailand)
97 0.20%.jp (Japan)
27 0.20%.co (Colombia)
63 0.19%.pt (Portugal)
32 0.18%.za (South Africa)
40 0.17%.zw (Zimbabwe)
39 0.17%.nl (Netherlands)
116 0.15%.cn (China)
11 0.12%.pk (Pakistan)
27 0.12%.ar (Argentina)
7 0.11%.np (Nepal)
22 0.11%.my (Malaysia)
24 0.11%.ke (Kenya)
40 0.10%.sg (Singapore)
51 0.10%.org (Non Profit Making Organisations)
35 0.10%.ch (Switzerland)
28 0.10%.vn (Vietnam)
38 0.09%.at (Austria)
12 0.09%.id (Indonesia)
27 0.09%.pl (Poland)
37 0.08%.hr (Croatia)
4 0.07%.ng (Nigeria)
17 0.06%.mx (Mexico)
21 0.05%.arpa (Arpanet)
16 0.05%.ro (Romania)
21 0.05%.fi (Finland)
12 0.05%.fo (Faroe Islands)
14 0.05%.tw (Taiwan)
27 0.05%.dk (Denmark)
22 0.05%.bg (Bulgaria)
2 0.05%.am (Armenia)
18 0.04%.il (Israel)
16 0.04%.tr (Turkey)
15 0.04%.be (Belgium)
5 0.04%.ie (Ireland)
3 0.03%.lk (Sri Lanka)
37 0.03%.gr (Greece)
23 0.03%.es (Spain)
15 0.03%.no (Norway)
4 0.03%.ye (Yemen)
9 0.03%.lb (Lebanon)
4 0.03%.ly (Libya)
12 0.02%.na (Namibia)
36 0.02%.hk (Hong Kong)
10 0.02%.hu (Hungary)
21 0.02%.cz (Czech Republic)
4 0.02%.uy (Uruguay)
2 0.01%.is (Iceland)
1 0.01%.si (Slovenia)
8 0.01%.om (Oman)
30 0.01%.ua (Ukraine)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
2 0.01%.lu (Luxembourg)
5 0.01%.ug (Uganda)
1 0.01%.io (British Indian Ocean Territory)
4 .gh (Ghana)
7 .ae (United Arab Emirates)
1 .as (American Samoa)
1 .jo (Jordan)
1 .tt (Trinidad and Tobago)
3 .lt (Lithuania)
3 .lv (Latvia)
1 .bw (Botswana)
1 .by (Belarus)
2 .ir (Iran)
1 .kz (Kazakhstan)
6 .us (United States)
1 .ps (Occupied Palestinian Territory)
2 .bh (Bahrain)
2 .ee (Estonia)
3 .biz (Businesses)
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
329316.90%amazonaws.com
1898 8.35%msn.com
1651 6.62%[domain not given]
1102 3.93%baidu.com
771 2.90%yandex.com
76113.44%bluechipbacklinks.com
734 2.53%your-server.de
519 0.05%semrush.com
354 0.23%sogou.com
315 0.43%114
301 3.81%[unknown domain]
244 0.52%virginm.net
195 4.49%telia.com
195 0.84%41
169 0.13%mail.ru
161 0.11%cam.ac.uk
153 0.31%btcentralplus.com
152 0.14%googleusercontent.com
147 0.31%14
140 0.67%103
925633.27%[not listed: 1,415 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
173583616OS unknown
269831997Windows
 30201033  Windows NT
 3565816  Unknown Windows
 370123  Windows XP
 1010  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 32  Windows 98
326531189Known robots
429771125Macintosh
52504801Unix
 2421768  Linux
 6227  Other Unix
 32  SunOS
 22  OSF1
 162  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
18926200 OK
2851206 Partial content
148301 Document moved permanently
734304 Not modified since last retrieval
45403 Access forbidden
763404 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- 1kB456 
1kB- 10kB6814 0.51%
10kB-100kB6685 4.11%
100kB- 1MB714039.12%
1MB- 10MB64126.47%
10MB-100MB7629.79%

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
1097865.54%.pdf [Adobe Portable Document Format]
29923.73%.gz [Gzip compressed files]
20023.56%  .tar.gz [Compressed archives]
71 7.44%.tbz
1114 1.17%.jpg [JPEG graphics]
5973 0.63%[directories]
7 0.57%.tgz
2775 0.38%.html [Hypertext Markup Language]
5 0.22%.zip [Zip archives]
820 0.13%.sml
469 0.18%[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
140710.05%10/Dec/18 13:35/~lp15/papers/Notes/SE-I.pdf
1347 0.18%10/Dec/18 15:12/~lp15/
747 0.04%10/Dec/18 13:07/~lp15/MLbook/
603 0.65%10/Dec/18 14:45/~lp15/images/larry-home-small.jpg
483 3.96% 9/Dec/18 07:45/~lp15/papers/Reports/equivclasses-slides.pdf
431 1.74%10/Dec/18 14:53/~lp15/papers/Formath/Residue-theorem.pdf
418 0.89% 9/Dec/18 19:58/~lp15/papers/Notes/Founds-FP.pdf
378 0.03%10/Dec/18 08:22/~lp15/MLbook/pub-details.html
350 1.15%10/Dec/18 09:58/~lp15/papers/Reports/equivclasses.pdf
340 6.20% 9/Dec/18 02:21/~lp15/Sue/Thesis.pdf
339 0.27% 4/Dec/18 12:07/~lp15/images/acm-logo.jpg
335 0.02%10/Dec/18 13:42/~lp15/MLbook/programs/
311 0.05%10/Dec/18 06:51/~lp15/papers/Arith/
228 3.06% 4/Dec/18 16:14/~lp15/papers/Reports/thesis.pdf
220 0.12%10/Dec/18 14:21/~lp15/papers/refereed.html
208 1.12% 9/Dec/18 20:51/~lp15/papers/Formath/Goedel-ar.pdf
203 0.01%10/Dec/18 11:42/~lp15/MLbook/exercises/
185 0.01%10/Dec/18 08:33/~lp15/MLbook/programs/sample2.sml
182 0.02% 9/Dec/18 15:49/~lp15/Sue/
154 0.13%10/Dec/18 11:01/~lp15/papers/Reports/mutil.pdf
147 0.03%10/Dec/18 11:01/~lp15/papers/Auth/
140 0.03%10/Dec/18 09:53/~lp15/Grants/SET/
135 0.02% 9/Dec/18 14:22/~lp15/Grants/AutoPolyFun/
134 0.02%10/Dec/18 15:08/~lp15/papers/Formath/
134 0.01%10/Dec/18 14:58/~lp15/papers/lecture-courses.html
121 0.54% 8/Dec/18 08:44/~lp15/papers/Auth/jcs.pdf
121 0.01%10/Dec/18 13:10/~lp15/papers/Automation/
118 0.57% 9/Dec/18 22:28/~lp15/papers/Reports/Bridge-ml.pdf
114 0.01% 9/Dec/18 22:14/~lp15/Grants/Alexandria/
112 0.01% 9/Dec/18 13:09/~lp15/Pages/cv.html
109 0.61% 5/Dec/18 01:34/~lp15/Pages/Munich-slides.pdf
106 0.01%10/Dec/18 13:06/~lp15/MLbook/ERRATA.html
106 0.27%10/Dec/18 08:28/~lp15/MLbook/PDF/chapter1.pdf
105 0.01%10/Dec/18 04:04/~lp15/Grants/
105 0.15%10/Dec/18 11:57/~lp15/papers/Auth/lics.pdf
105 0.02%10/Dec/18 08:10/~lp15/MLbook/exercises/exer8.html
103 0.01%10/Dec/18 11:53/~lp15/archive/
103 0.35% 4/Dec/18 12:06/~lp15/papers/Isabelle/fleuriot-kepler.pdf
102 0.07% 9/Dec/18 23:26/~lp15/Usage/
99 0.01% 9/Dec/18 09:16/~lp15/papers/Reports/
98 0.01%10/Dec/18 12:10/~lp15/papers/
98 0.01%10/Dec/18 11:42/~lp15/MLbook/exercises/exer2.html
97 0.36% 9/Dec/18 19:44/~lp15/papers/Formath/set-I.pdf
93 10/Dec/18 14:39/~lp15/MLbook/general.html
92 0.01%10/Dec/18 06:20/~lp15/Grants/LEO-II/
91 0.11% 9/Dec/18 12:49/~lp15/papers/Auth/SET-overview-2002.pdf
90 0.01% 6/Dec/18 16:09/~lp15/images/
10  5/Dec/18 04:41  /~lp15/images/?C=D;O=A
89 0.13% 7/Dec/18 20:07/~lp15/papers/Formath/Goedel-logic.pdf
89 0.21% 9/Dec/18 22:17/~lp15/papers/Auth/tls.pdf
88 0.14% 9/Dec/18 13:09/~lp15/Pages/vita.pdf
83 0.01% 9/Dec/18 06:34/~lp15/Grants/Automation/
82 0.01% 8/Dec/18 04:30/~lp15/papers/Isabelle/
81 0.01% 6/Dec/18 15:26/~lp15/papers/invited.html
80 0.01% 9/Dec/18 18:19/~lp15/Pages/Scream.html
79 0.28%10/Dec/18 08:31/~lp15/MLbook/PDF/chapter8.pdf
77 0.01% 8/Dec/18 21:05/~lp15/papers/workshop.html
75 0.20% 9/Dec/18 13:24/~lp15/papers/Formath/Greens-theorem.pdf
74  5/Dec/18 08:42/~lp15/Pages/
74 5.64% 7/Dec/18 19:13/~lp15/Grants/Alexandria/poster.pdf
74  6/Dec/18 19:33/~lp15/css/
74 0.34% 4/Dec/18 21:56/~lp15/papers/Arith/Sogokon-nfm14.pdf
73  7/Dec/18 21:25/~lp15/Grants/BeyondLinArith/
73  6/Dec/18 17:52/~lp15/SpryAssets/
72  7/Dec/18 19:53/~lp15/papers/Notes/
72 0.01% 8/Dec/18 08:40/~lp15/papers/hol.html
71 0.22% 4/Dec/18 12:06/~lp15/papers/Automation/sultana-pfreconstruction.pdf
71  9/Dec/18 23:32/~lp15/MLbook/StandardML.plist
70 0.28%10/Dec/18 08:28/~lp15/MLbook/PDF/chapter2.pdf
69  9/Dec/18 20:12/~lp15/Pages/CL-English.html
69 0.24% 8/Dec/18 12:13/~lp15/papers/Formath/reflection-slides.pdf
69 0.27% 7/Dec/18 18:54/~lp15/papers/Bella/accountability.pdf
69 0.29% 5/Dec/18 00:50/~lp15/papers/Bella/smartcards-jcs.pdf
68 0.01% 8/Dec/18 15:47/~lp15/MLbook/review.html
68 0.01% 9/Dec/18 14:27/~lp15/papers/books.html
66  9/Dec/18 22:12/~lp15/papers/Arith/download.html
66 0.01% 9/Dec/18 03:25/~lp15/MLbook/programs/sample3.sml
66 0.01%10/Dec/18 11:01/~lp15/papers/Workshop/
66 0.19%10/Dec/18 12:51/~lp15/papers/Reports/TPHOLs05.pdf
65 0.02%10/Dec/18 10:29/~lp15/MLbook/exercises/exer3.html
65  9/Dec/18 22:47/~lp15/papers/Bella/
65 0.01%10/Dec/18 13:07/~lp15/MLbook/programs/sample5.sml
64 0.01% 9/Dec/18 03:31/~lp15/MLbook/programs/sample8-2004.sml
64 0.14% 6/Dec/18 02:12/~lp15/papers/Formath/automata.pdf
64 10/Dec/18 08:27/~lp15/MLbook/first/
63 0.11% 9/Dec/18 10:15/~lp15/papers/Auth/multicast_verification.pdf
63  9/Dec/18 22:13/~lp15/MLbook/programs/ROOT.sml
62 0.20% 7/Dec/18 23:34/~lp15/papers/Automation/filtering.pdf
62 0.01% 7/Dec/18 16:34/~lp15/papers/recur.html
62 0.12%10/Dec/18 08:23/~lp15/MLbook/PDF/contents.pdf
61 0.31% 5/Dec/18 08:44/~lp15/papers/Arith/calculemus2008.pdf
60  4/Dec/18 12:07/~lp15/Templates/
60 0.15% 7/Dec/18 18:37/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
60 0.09% 9/Dec/18 05:12/~lp15/papers/Arith/Narayanan DATE.pdf
59 0.02%10/Dec/18 01:53/~lp15/Usage/images/
58  4/Dec/18 17:19/~lp15/tmp/
58 0.12%10/Dec/18 02:37/~lp15/papers/Arith/Huang-3heuristics.pdf
58 0.12%10/Dec/18 06:42/~lp15/papers/Automation/paar.pdf
57 0.03% 9/Dec/18 13:09/~lp15/images/pilkington.jpg
57  6/Dec/18 19:03/~lp15/Data/
57 0.14% 8/Dec/18 23:58/~lp15/papers/Arith/Hscc09.pdf
56 0.14% 8/Dec/18 07:22/~lp15/papers/Formath/AC.pdf
56 0.12% 9/Dec/18 06:42/~lp15/papers/Bella/esorics98.pdf
56 0.01% 9/Dec/18 15:15/~lp15/MLbook/programs/sample4.sml
55  8/Dec/18 22:31/~lp15/papers/Reviews/
53 0.03%10/Dec/18 07:21/~lp15/papers/Reviews/MLer.pdf
52 0.19%10/Dec/18 02:32/~lp15/papers/Automation/translations-jar.pdf
52  9/Dec/18 18:34/~lp15/papers/UNITY/
52 0.02% 9/Dec/18 13:09/~lp15/Sue/Sue Paulson.jpg
51 0.10% 7/Dec/18 15:27/~lp15/papers/Isabelle/aisc98.pdf
51  4/Dec/18 18:55/~lp15/papers/Ballarin/
50 0.10% 6/Dec/18 03:03/~lp15/Pages/harrison-real.pdf
50 1.09% 8/Dec/18 13:07/~lp15/papers/Auth/lics-slides.pdf
50 0.13% 6/Dec/18 14:07/~lp15/papers/Automation/meng-termination.pdf
50 0.01%10/Dec/18 05:17/~lp15/Grants/UNITY/
49 0.16%10/Dec/18 08:29/~lp15/MLbook/PDF/chapter5.pdf
49 10/Dec/18 06:33/~lp15/papers/Arith/qepcad-for-mac.html
49 0.01% 8/Dec/18 05:59/~lp15/Grants/holisa.html
48 0.10% 6/Dec/18 20:45/~lp15/papers/Bella/nonrepudiation.pdf
48 0.01% 9/Dec/18 15:33/~lp15/MLbook/exercises/exer6.html
48 0.04%10/Dec/18 11:47/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
48 0.01% 6/Dec/18 07:05/~lp15/Pages/ACS-proposals.html
48 0.10% 8/Dec/18 09:12/~lp15/papers/Bella/registration.pdf
47 0.01%10/Dec/18 06:39/~lp15/MLbook/programs/sample10.sml
47 0.18%10/Dec/18 08:32/~lp15/MLbook/PDF/chapter10.pdf
46 0.10% 7/Dec/18 09:33/~lp15/papers/Automation/translations.pdf
46 0.20% 4/Dec/18 12:07/~lp15/papers/UNITY/composition.pdf
46 0.12% 4/Dec/18 12:06/~lp15/papers/Bella/certified-email.pdf
45 0.01% 9/Dec/18 15:43/~lp15/MLbook/exercises/exer4.html
45 0.07% 7/Dec/18 05:22/~lp15/papers/UNITY/tphols01.pdf
44 0.01% 9/Dec/18 03:35/~lp15/MLbook/programs/sample8.sml
44 0.03% 7/Dec/18 21:31/~lp15/papers/Reviews/construct.pdf
44 0.10% 7/Dec/18 17:55/~lp15/papers/Isabelle/blast.pdf
44 0.13% 5/Dec/18 22:36/~lp15/papers/Formath/reflection.pdf
43 0.01% 9/Dec/18 03:20/~lp15/MLbook/programs/sample9.sml
43 0.06% 4/Dec/18 12:06/~lp15/papers/Isabelle/chap700.pdf
43 0.01% 7/Dec/18 18:01/~lp15/MLbook/exercises/exer7.html
43 0.07% 8/Dec/18 06:14/~lp15/papers/Bella/purchase.pdf
43 0.34%10/Dec/18 15:16/~lp15/papers/Automation/info-and-comp.pdf
42 0.10% 5/Dec/18 10:27/~lp15/papers/Arith/lpar2007.pdf
42 0.05% 8/Dec/18 20:10/~lp15/Sue/Cultures of Dance.ppt
42 0.09% 8/Dec/18 19:36/~lp15/papers/Automation/jar-smt.pdf
42 0.04% 7/Dec/18 18:13/~lp15/papers/Reports/CADE9.pdf
41 10/Dec/18 13:42/~lp15/Data/ho-translations/
41 10/Dec/18 10:35/~lp15/papers/Deduction/
41 0.01% 9/Dec/18 20:53/~lp15/MLbook/exercises/exer5.html
41 0.20%10/Dec/18 15:16/~lp15/papers/Automation/reconstruction.pdf
41 0.16%10/Dec/18 12:20/~lp15/MLbook/PDF/chapter6.pdf
41 0.10%10/Dec/18 14:32/~lp15/papers/Isabelle/coding.pdf
41 0.08% 9/Dec/18 10:10/~lp15/Grants/AutoPolyFun/case.pdf
41 0.06% 8/Dec/18 12:10/~lp15/papers/Automation/thf-sledge.pdf
40 0.01%10/Dec/18 00:11/~lp15/MLbook/programs/sample7.sml
40 0.10% 9/Dec/18 09:20/~lp15/papers/Reports/blast.pdf
40  8/Dec/18 08:52/~lp15/MLbook/disclaimer.html
39 0.17%10/Dec/18 08:29/~lp15/MLbook/PDF/chapter3.pdf
39 0.01% 9/Dec/18 10:47/~lp15/MLbook/programs/test10.sml
39 10/Dec/18 14:16/~lp15/papers/Arith/atan-problem-1-weak.html
39 0.07%10/Dec/18 13:53/~lp15/papers/Arith/fmcad2009.pdf
38 0.13% 4/Dec/18 12:06/~lp15/papers/Auth/SET-overview-IJIS.pdf
38 0.05% 4/Dec/18 12:07/~lp15/papers/Workshop/friedrich.pdf
38 0.04% 8/Dec/18 20:52/~lp15/papers/Auth/yahalom.pdf
37 0.05% 4/Dec/18 12:06/~lp15/papers/Auth/auth-slides.pdf
37 0.07% 6/Dec/18 17:50/~lp15/papers/Bella/cav98.pdf
37 0.11%10/Dec/18 11:01/~lp15/papers/UNITY/UNITY.pdf
37 0.18%10/Dec/18 07:51/~lp15/papers/Workshop/papers/rasmussen.pdf
37 0.11% 9/Dec/18 22:14/~lp15/images/ERC-LOGO.jpg
36  7/Dec/18 17:34/~lp15/MLbook/first/programs/
36 0.23% 5/Dec/18 17:33/~lp15/papers/Arith/MetiTarski-jar.pdf
36 0.08% 4/Dec/18 12:06/~lp15/papers/Automation/IJCAR2004.pdf
36  8/Dec/18 13:49/~lp15/Pages/projects.html
36 0.09% 6/Dec/18 14:14/~lp15/papers/Formath/milner-ind-defs.pdf
36 0.07% 4/Dec/18 12:07/~lp15/papers/Arith/ITP-2012-invited.pdf
36  9/Dec/18 15:36/~lp15/Data/relevance/
35 0.28% 9/Dec/18 04:09/~lp15/papers/Bella/purchase-JAR.pdf
35 0.05% 4/Dec/18 12:06/~lp15/papers/Reports/CADE11.pdf
34 1.74%10/Dec/18 10:11/~lp15/papers/Arith/FroCos-presentation.pdf
34 0.14% 8/Dec/18 19:36/~lp15/papers/Formath/set-II.pdf
33 0.04% 5/Dec/18 13:22/~lp15/papers/Arith/FroCoS-2013-invited.pdf
33 0.07% 5/Dec/18 20:08/~lp15/papers/UNITY/ehmety-composition.pdf
33 0.12% 9/Dec/18 22:24/~lp15/papers/Notes/MOD-slides.pdf
33 0.04% 9/Dec/18 22:04/~lp15/papers/Arith/pdpar2006.pdf
33 0.14%10/Dec/18 08:31/~lp15/MLbook/PDF/chapter7.pdf
33  9/Dec/18 18:39/~lp15/MLbook/first/programs/Functions.ML
33 0.13%10/Dec/18 08:32/~lp15/MLbook/PDF/chapter9.pdf
32 0.09%10/Dec/18 06:39/~lp15/papers/UNITY/Mechanizing-compositional.pdf
32 0.07% 4/Dec/18 16:10/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
31 0.05% 4/Dec/18 12:43/~lp15/papers/Workshop/papers/kalvala-linear.pdf
31 0.37% 8/Dec/18 05:57/~lp15/papers/Automation/reconstruction-slides.pdf
31 0.15%10/Dec/18 03:26/~lp15/papers/Reports/fleuriot-kepler.pdf
31 0.07% 5/Dec/18 14:49/~lp15/papers/Automation/cade2011-sledge-smt.pdf
31 0.01% 9/Dec/18 03:21/~lp15/MLbook/programs/sample3-old.sml
30  8/Dec/18 19:02/~lp15/MLbook/programs/notes.html
30 0.05% 4/Dec/18 12:06/~lp15/papers/Formath/final.pdf
30 0.06% 8/Dec/18 17:25/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.20% 9/Dec/18 20:08/~lp15/papers/Reports/intro-to-isabelle.pdf
30 0.04% 9/Dec/18 08:26/~lp15/papers/Auth/security-protocols.pdf
30 0.05% 4/Dec/18 12:07/~lp15/papers/Auth/ijcar2001.pdf
29 0.02% 9/Dec/18 18:42/~lp15/papers/paulson.bib
29 0.03% 8/Dec/18 14:21/~lp15/Grants/LEO-II/leo2-case.pdf
29 0.05% 8/Dec/18 02:38/~lp15/papers/Automation/leo2-ijcar.pdf
29  9/Dec/18 10:38/~lp15/MLbook/first/programs/Lambda.ML
29 0.05% 4/Dec/18 12:07/~lp15/papers/Workshop/papers/thompson.pdf
29 0.05% 4/Dec/18 12:07/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
29 0.32% 9/Dec/18 22:47/~lp15/papers/Reports/ref97.pdf
28 0.05% 9/Dec/18 20:30/~lp15/papers/Arith/case-splitting.pdf
28 0.14% 9/Dec/18 10:58/~lp15/papers/Automation/filtering-jal.pdf
28 0.05% 5/Dec/18 03:02/~lp15/papers/Bella/dimacs97.pdf
27 0.01% 9/Dec/18 15:14/~lp15/MLbook/programs/sample8-old.sml
27 0.04% 4/Dec/18 12:06/~lp15/papers/Reports/Descent of BAN.pdf
27  9/Dec/18 16:21/~lp15/MLbook/first/programs/Modules.ML
27 0.12% 8/Dec/18 17:21/~lp15/papers/Formath/constructible-slides.pdf
26 0.29% 9/Dec/18 12:53/~lp15/papers/Reports/TypeClasses.pdf
26 0.01% 9/Dec/18 10:43/~lp15/MLbook/programs/sample10-old.sml
26 0.01% 7/Dec/18 08:11/~lp15/papers/Arith/NFM2014-invited.pdf
26 0.04% 4/Dec/18 16:08/~lp15/papers/Formath/constructible-abstract.pdf
26 0.07% 6/Dec/18 17:06/~lp15/papers/Bella/esorics2000.pdf
26 0.68% 4/Dec/18 12:07/~lp15/Sue/Thesis-Appendices.pdf
25 0.07% 8/Dec/18 16:32/~lp15/papers/Arith/case-splitting-stats.csv
25  9/Dec/18 05:34/~lp15/Grants/Chaieb.html
24  4/Dec/18 12:07/~lp15/Grants/auth.html
24 0.70% 4/Dec/18 12:07/~lp15/Sue/Phd-Poster.pdf
24 0.07% 8/Dec/18 12:09/~lp15/papers/Workshop/papers/nipkow.pdf
24 0.03% 7/Dec/18 20:57/~lp15/papers/Notes/leeds-notes.pdf
24 0.06%10/Dec/18 08:32/~lp15/MLbook/PDF/projects-bib.pdf
24 0.18% 8/Dec/18 13:53/~lp15/papers/Auth/SET-overview-slides.pdf
24 0.01% 8/Dec/18 16:37/~lp15/MLbook/programs/sample9-2004.sml
24 0.13% 5/Dec/18 05:53/~lp15/papers/Reports/logics97.pdf
24 0.07% 4/Dec/18 12:07/~lp15/papers/Arith/SNC2014-invited.pdf
24  7/Dec/18 18:01/~lp15/MLbook/exercises/disclaimer.html
24  9/Dec/18 22:44/~lp15/MLbook/first/programs/Imperative.ML
23  9/Dec/18 00:10/~lp15/MLbook/first/programs/ParsePrint.ML
23 0.10%10/Dec/18 08:29/~lp15/MLbook/PDF/chapter4.pdf
23 0.01% 4/Dec/18 12:06/~lp15/papers/Formath/AC-slides.pdf
23  8/Dec/18 14:33/~lp15/MLbook/PDF/
23 0.03% 6/Dec/18 21:44/~lp15/papers/Auth/recur-slides.pdf
22 0.03% 9/Dec/18 13:41/~lp15/papers/Workshop/papers/ayari.pdf
22 0.15% 4/Dec/18 12:07/~lp15/papers/Formath/Future of formalised maths.pdf
22 10/Dec/18 06:55/~lp15/MLbook/first/programs/Lists-Trees.ML
22  8/Dec/18 07:29/~lp15/papers/Workshop/matthews.html
22 0.12% 4/Dec/18 12:06/~lp15/papers/Auth/tls-slides.pdf
22 0.05% 4/Dec/18 12:07/~lp15/papers/Notes/strategy.pdf
22 0.06% 4/Dec/18 12:07/~lp15/papers/Formath/Goedel-logic-mine.pdf
22  4/Dec/18 12:07/~lp15/papers/OLD.SETS/
22  4/Dec/18 12:07/~lp15/papers/Workshop/programme.html
21 0.23%10/Dec/18 07:19/~lp15/papers/Reports/popl82.pdf
21 0.03% 8/Dec/18 11:19/~lp15/Grants/Automation/final.pdf
21 0.02% 4/Dec/18 16:53/~lp15/Grants/Automation/case.pdf
21 0.29% 6/Dec/18 22:46/~lp15/papers/Arith/metit-slides.pdf
21  9/Dec/18 22:14/~lp15/papers/Arith/RELEASE-NOTES.txt
21 1.00% 7/Dec/18 03:38/~lp15/papers/Notes/LCF+.pdf
20 0.01% 6/Dec/18 08:09/~lp15/papers/Formath/ind-defs-slides.pdf
20 0.08%10/Dec/18 13:41/~lp15/Grants/Alexandria/Part-B2.pdf
20 0.25% 4/Dec/18 12:07/~lp15/Grants/Automation/poster.pdf
20 0.06% 7/Dec/18 17:12/~lp15/papers/Workshop/papers/vigano.pdf
20 0.19% 8/Dec/18 12:53/~lp15/papers/Arith/NFM2014-slides.pdf
20  8/Dec/18 06:28/~lp15/papers/Workshop/participants.html
20  7/Dec/18 16:51/~lp15/Sue/Cultures of Dance.html
20 0.09% 4/Dec/18 12:06/~lp15/papers/Arith/cicm2012.pdf
19 10/Dec/18 08:43/~lp15/papers/Workshop/kalvala.html
19  9/Dec/18 22:52/~lp15/papers/Workshop/staples.html
19 0.01% 4/Dec/18 12:07/~lp15/MLbook/first/ML-syntax.ps.gz
19 0.08% 4/Dec/18 12:07/~lp15/papers/Auth/SET-document.pdf
19 0.22% 4/Dec/18 12:06/~lp15/papers/Reports/TypeClasses-slides.pdf
19 0.15% 4/Dec/18 12:07/~lp15/Grants/BeyondLinArith/arith-case.pdf
19 0.98% 4/Dec/18 12:07/~lp15/papers/Arith/ITP 2012 presentation.pdf
19 0.06% 7/Dec/18 11:40/~lp15/papers/Isabelle/sylow.pdf
19 0.47% 4/Dec/18 12:07/~lp15/papers/Arith/SNC2014-slides.pdf
19 0.19% 7/Dec/18 16:26/~lp15/papers/Auth/dagstuhl2003-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18  6/Dec/18 19:36/~lp15/papers/Workshop/paulson.html
18 0.18% 4/Dec/18 12:06/~lp15/papers/Isabelle/Cube-presentation.pdf
18 0.23%10/Dec/18 12:59/~lp15/papers/Notes/formalizing-abst-slides.pdf
18 0.05% 9/Dec/18 22:51/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 0.01% 8/Dec/18 06:21/~lp15/MLbook/first/programs/Hal.ML
18 0.08%10/Dec/18 06:41/~lp15/papers/Workshop/papers/kammueller.pdf
17 0.01% 4/Dec/18 12:07/~lp15/papers/Notes/strategy-slides.pdf
17 0.01% 4/Dec/18 12:06/~lp15/papers/Isabelle/blast-slides.pdf
17  4/Dec/18 12:07/~lp15/papers/Workshop/thompson.html
17 0.86%10/Dec/18 12:24/~lp15/papers/Formath/Goedel-slides.pdf
17  4/Dec/18 12:07/~lp15/papers/Workshop/agerholm.html
17  9/Dec/18 12:51/~lp15/papers/Workshop/futures.html
17 0.05% 4/Dec/18 12:07/~lp15/papers/Workshop/papers/agerholm.pdf
17 0.15% 4/Dec/18 12:06/~lp15/papers/Bella/TPHOLs03-slides.pdf
16 0.22%10/Dec/18 05:58/~lp15/papers/Auth/dagstuhl2001-slides.pdf
16 0.36% 4/Dec/18 12:07/~lp15/Grants/BeyondLinArith/arith-poster.pdf
16 0.02% 7/Dec/18 08:11/~lp15/papers/Arith/Overcoming.pdf
16 0.04% 4/Dec/18 13:04/~lp15/papers/Workshop/papers/voelker.pdf
16 0.03% 7/Dec/18 05:02/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
16 0.01% 4/Dec/18 12:07/~lp15/papers/Workshop/kammueller.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
15  4/Dec/18 12:07/~lp15/papers/Workshop/nipkow.html
15 0.09% 8/Dec/18 23:42/~lp15/images/pilkington-full.jpg
15 0.16% 9/Dec/18 20:16/~lp15/papers/Formath/constructible-theory.pdf
15 0.09%10/Dec/18 02:36/~lp15/papers/Automation/Huet colloquium.pdf
15 0.03% 4/Dec/18 12:07/~lp15/papers/Workshop/papers/matthews.pdf
15 0.06% 6/Dec/18 02:44/~lp15/papers/Workshop/papers/bednarczyk.pdf
15 0.12% 8/Dec/18 15:04/~lp15/papers/Deduction/lecture3.pdf
15 0.04%30/Nov/18 15:06/~lp15/papers/Reports/lamport-paulson-types.pdf
15  4/Dec/18 12:07/~lp15/papers/Workshop/wolff.html
14 0.12% 4/Dec/18 12:07/~lp15/papers/Deduction/lecture1.pdf
14  8/Dec/18 05:52/~lp15/MLbook/first/ERRATA1.txt
13 0.01% 4/Dec/18 12:07/~lp15/Grants/SET/case.pdf
13 0.02% 8/Dec/18 06:57/~lp15/papers/Isabelle/Goedel-logic.pdf
13 0.02% 4/Dec/18 12:07/~lp15/papers/Workshop/vigano.pdf
13 2.63% 6/Dec/18 06:18/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
13 0.19% 4/Dec/18 12:07/~lp15/papers/Auth/ijcar2001-slides.pdf
12 0.01% 7/Dec/18 05:19/~lp15/Sue/Cultures of Dance.pdf
12  4/Dec/18 12:07/~lp15/papers/Workshop/heule.html
12  4/Dec/18 12:07/~lp15/papers/Workshop/bednarczyk.txt
12 0.02% 8/Dec/18 14:22/~lp15/papers/Workshop/papers/benini.pdf
12 0.39% 8/Dec/18 13:38/~lp15/papers/Arith/Overcoming-slides.pdf
12 2.90% 7/Dec/18 13:36/~lp15/archive/Isabelle2009-1.tar.gz
12 0.12% 7/Dec/18 13:28/~lp15/papers/Automation/h4qed-clean.pdf
11 0.02% 9/Dec/18 04:08/~lp15/Grants/Chaieb-case.pdf
11 0.35% 9/Dec/18 04:17/~lp15/Grants/LEO-II/leo project poster.pdf
11 10/Dec/18 07:48/~lp15/Grants/UNITY/temporal.html
11 0.02% 4/Dec/18 12:07/~lp15/papers/Workshop/papers/owens.pdf
11 0.05% 4/Dec/18 12:07/~lp15/Data/relevance/tptp-2007-03-13.tbz
11 0.03% 9/Dec/18 16:20/~lp15/papers/Ballarin/coding.pdf
10  4/Dec/18 12:07/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 0.01% 7/Dec/18 02:12/~lp15/papers/Workshop/papers/staples.pdf
10 0.05%10/Dec/18 04:45/~lp15/papers/Isabelle/Goedel-ar.pdf
10 0.02%10/Dec/18 04:01/~lp15/papers/Ballarin/aisc98.pdf
9 10/Dec/18 15:26/~lp15/Pages/Lawrence Paulson (C90DEAF0) %E2%80%93 Public.asc
9  4/Dec/18 12:07/~lp15/MLbook/first/ERRATA3.txt
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.59% 7/Dec/18 13:06/~lp15/Data/ho-translations/Comb.tbz
9  8/Dec/18 12:37/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
9  9/Dec/18 03:20/~lp15/Grants/SET/final.pdf
9 0.05% 8/Dec/18 23:49/~lp15/Grants/Alexandria/DoA.pdf
9 0.05% 5/Dec/18 01:12/~lp15/papers/Deduction/lecture2.pdf
9  6/Dec/18 15:26/~lp15/Grants/UNITY/case.pdf
9 0.05% 9/Dec/18 05:24/~lp15/papers/Deduction/lecture4.pdf
9  4/Dec/18 12:07/~lp15/Data/relevance/unfiltered-vampire.txt
8 2.27% 4/Dec/18 12:07/~lp15/archive/Isabelle2009-2.tar.gz
8 0.02% 9/Dec/18 23:04/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
8 0.65% 4/Dec/18 12:07/~lp15/archive/Isabelle2005.tar.gz
8 0.02% 4/Dec/18 12:07/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
8 0.35% 8/Dec/18 19:05/~lp15/archive/Isabelle99-1.tar.gz
8 0.52% 4/Dec/18 12:07/~lp15/Data/ho-translations/Abst.tbz
8 2.10% 8/Dec/18 05:52/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 0.56% 4/Dec/18 12:07/~lp15/archive/Isabelle2003.tar.gz
8 0.08% 9/Dec/18 07:51/~lp15/papers/Formath/Sophia2017.pdf
7 0.55%10/Dec/18 01:27/~lp15/archive/Isabelle2009.tar.gz
7  4/Dec/18 12:07/~lp15/Templates/publications.dwt
7 0.01% 4/Dec/18 12:07/~lp15/archive/Isabelle86.tar.gz
7 2.55% 4/Dec/18 12:07/~lp15/archive/Isabelle2014.tar.gz
7  4/Dec/18 12:07/~lp15/papers/Workshop/owens.txt
7 0.29% 4/Dec/18 12:07/~lp15/papers/Isabelle/Goedel-slides.pdf
7  9/Dec/18 07:08/~lp15/images/larry-paulson.jpg
7 0.57%27/Nov/18 07:42/~lp15/papers/Arith/metit.tgz
7 2.00% 4/Dec/18 12:07/~lp15/archive/Isabelle2011.tar.gz
7 0.04% 6/Dec/18 22:18/~lp15/papers/Arith/Huang-precondition.pdf
7  4/Dec/18 12:07/~lp15/Data/relevance/unfiltered-spass.txt
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7  8/Dec/18 19:42/~lp15/Data/relevance/unfiltered-E.txt
7 0.52% 4/Dec/18 12:07/~lp15/archive/Isabelle2004.tar.gz
7 0.05% 4/Dec/18 12:07/~lp15/Pages/4colproof.pdf
37614.49% 9/Dec/18 09:56[not listed: 100 files]