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

Program started at Mon-11-Feb-2019 11:01.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-11-Feb-2019 10:53 (1558.83 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 11-Feb-2019 11:01.

Successful requests: 22,712 (4,608)
Average successful requests per day: 14 (658)
Successful requests for pages: 8,507 (1,965)
Average successful requests for pages per day: 5 (280)
Failed requests: 741 (61)
Redirected requests: 145 (27)
Distinct files requested: 608 (566)
Distinct hosts served: 4,502 (764)
Corrupt logfile lines: 3
Unwanted logfile entries: 16,620
Data transferred: 6.28 gigabytes (1.03 gigabytes)
Average data transferred per day: 4.12 megabytes (149.98 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 50 requests for pages or part thereof.

dayreqspages 
Sun2339798++++++++++++++++
Mon59012299++++++++++++++++++++++++++++++++++++++++++++++
Tue31031023+++++++++++++++++++++
Wed32371271++++++++++++++++++++++++++
Thu29101151++++++++++++++++++++++++
Fri2258804+++++++++++++++++
Sat29641161++++++++++++++++++++++++

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
1028756.06%.com (Commercial)
429914.79%[unresolved numerical addresses]
2634 9.08%[domain not given]
1450 5.68%.net (Networks)
849 3.62%.de (Germany)
301 1.13%.uk (United Kingdom)
319 0.88%[unknown domain]
237 0.80%.edu (USA Higher Education)
201 0.78%.in (India)
104 0.68%.fr (France)
51 0.56%.nl (Netherlands)
54 0.44%.ph (Philippines)
92 0.39%.au (Australia)
84 0.35%.br (Brazil)
86 0.31%.se (Sweden)
83 0.30%.pt (Portugal)
257 0.30%.ru (Russia)
207 0.27%.it (Italy)
32 0.22%.co (Colombia)
66 0.21%.pl (Poland)
25 0.20%.th (Thailand)
71 0.19%.jp (Japan)
39 0.18%.zw (Zimbabwe)
48 0.16%.ca (Canada)
38 0.15%.nz (New Zealand)
18 0.15%.pk (Pakistan)
19 0.13%.za (South Africa)
7 0.11%.np (Nepal)
24 0.11%.ke (Kenya)
22 0.10%.my (Malaysia)
40 0.10%.sg (Singapore)
43 0.10%.org (Non Profit Making Organisations)
37 0.09%.dk (Denmark)
15 0.09%.bg (Bulgaria)
11 0.08%.id (Indonesia)
24 0.08%.be (Belgium)
5 0.07%.ng (Nigeria)
19 0.06%.vn (Vietnam)
28 0.06%.cn (China)
10 0.06%.il (Israel)
26 0.06%.at (Austria)
29 0.05%.fi (Finland)
35 0.05%.gr (Greece)
23 0.05%.ar (Argentina)
10 0.05%.arpa (Arpanet)
7 0.05%.hr (Croatia)
15 0.04%.mx (Mexico)
26 0.04%.ch (Switzerland)
5 0.03%.ie (Ireland)
31 0.03%.es (Spain)
11 0.03%.tw (Taiwan)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
13 0.03%.hu (Hungary)
16 0.02%.no (Norway)
12 0.02%.na (Namibia)
36 0.02%.hk (Hong Kong)
22 0.02%.cz (Czech Republic)
18 0.02%.tr (Turkey)
4 0.02%.uy (Uruguay)
25 0.02%.ua (Ukraine)
2 0.01%.is (Iceland)
2 0.01%.ly (Libya)
2 0.01%.al (Albania)
1 0.01%.si (Slovenia)
10 0.01%.gov (USA Government)
3 0.01%.ir (Iran)
12 0.01%.ro (Romania)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
13 0.01%.cy (Cyprus)
8 0.01%.ee (Estonia)
1 0.01%.pe (Peru)
2 0.01%.ug (Uganda)
4 .gh (Ghana)
1 .as (American Samoa)
7 .lt (Lithuania)
5 .ae (United Arab Emirates)
3 .lv (Latvia)
1 .kz (Kazakhstan)
4 .lb (Lebanon)
6 .us (United States)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
1 .do (Dominican Republic)
1 .am (Armenia)
1 .sk (Slovakia)
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
355618.10%amazonaws.com
2634 9.08%[domain not given]
1791 8.27%msn.com
1182 4.35%baidu.com
76113.34%bluechipbacklinks.com
641 1.76%yandex.com
550 2.23%your-server.de
319 0.88%[unknown domain]
315 0.39%114
278 0.16%sogou.com
266 1.74%sky.com
243 0.52%virginm.net
194 4.46%telia.com
190 0.02%semrush.com
184 0.84%41
167 0.16%mail.ru
162 0.58%cam.ac.uk
152 0.31%14
143 0.30%btcentralplus.com
137 0.57%google.com
884731.95%[not listed: 1,301 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
178673666OS unknown
270592063Windows
 2716929  Windows NT
 3610892  Unknown Windows
 368123  Windows XP
 33995  Windows 98
 1111  Windows Server 2003
 97  Windows 2000
 66  Windows 95
327571135Known robots
42562920Macintosh
52432705Unix
 2393695  Linux
 216  Other Unix
 32  SunOS
 22  OSF1
 130  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
19239200 OK
2796206 Partial content
145301 Document moved permanently
677304 Not modified since last retrieval
3400 Bad request
45403 Access forbidden
693404 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- 1kB573 0.01%
1kB- 10kB6524 0.45%
10kB-100kB6675 4.10%
100kB- 1MB753239.73%
1MB- 10MB63126.02%
10MB-100MB7829.69%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
1128266.03%.pdf [Adobe Portable Document Format]
38921.71%.gz [Gzip compressed files]
24421.45%  .tar.gz [Compressed archives]
77 8.88%.tbz
1041 1.09%.jpg [JPEG graphics]
5806 0.57%[directories]
14 0.56%.zip [Zip archives]
6 0.48%.tgz
2701 0.35%.html [Hypertext Markup Language]
898 0.14%.sml
498 0.19%[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
1362 9.63% 9/Feb/19 08:01/~lp15/papers/Notes/SE-I.pdf
1070 0.14%11/Feb/19 10:04/~lp15/
659 0.03%11/Feb/19 09:41/~lp15/MLbook/
517 0.55%11/Feb/19 09:47/~lp15/images/larry-home-small.jpg
458 3.62% 9/Feb/19 12:55/~lp15/papers/Reports/equivclasses-slides.pdf
366 0.79%10/Feb/19 11:57/~lp15/papers/Notes/Founds-FP.pdf
344 0.27% 8/Feb/19 21:28/~lp15/images/acm-logo.jpg
341 6.07%10/Feb/19 14:52/~lp15/Sue/Thesis.pdf
304 0.96%10/Feb/19 22:38/~lp15/papers/Reports/equivclasses.pdf
298 0.04%11/Feb/19 01:02/~lp15/papers/Arith/
293 0.01%11/Feb/19 10:24/~lp15/MLbook/programs/
280 0.02%11/Feb/19 10:23/~lp15/MLbook/pub-details.html
264 1.06%10/Feb/19 18:54/~lp15/papers/Formath/Residue-theorem.pdf
233 3.14%10/Feb/19 22:03/~lp15/papers/Reports/thesis.pdf
192 0.11%10/Feb/19 20:14/~lp15/papers/refereed.html
191 0.02%10/Feb/19 21:00/~lp15/Sue/
190 1.02% 9/Feb/19 08:01/~lp15/papers/Formath/Goedel-ar.pdf
186 0.01%11/Feb/19 10:41/~lp15/MLbook/exercises/
185 0.01%10/Feb/19 12:46/~lp15/MLbook/programs/sample2.sml
151 0.03%11/Feb/19 10:14/~lp15/papers/Auth/
140 0.02% 9/Feb/19 19:44/~lp15/papers/Automation/
138 0.12%10/Feb/19 17:20/~lp15/papers/Reports/mutil.pdf
137 0.02%11/Feb/19 10:17/~lp15/Grants/AutoPolyFun/
133 0.02%10/Feb/19 21:43/~lp15/papers/Formath/
132 0.57%10/Feb/19 23:15/~lp15/papers/Auth/jcs.pdf
125 0.02%10/Feb/19 23:17/~lp15/Grants/SET/
122 0.01%10/Feb/19 16:48/~lp15/papers/lecture-courses.html
109 0.01%10/Feb/19 19:13/~lp15/Grants/
109 0.01% 9/Feb/19 10:52/~lp15/Grants/LEO-II/
107 0.01%11/Feb/19 01:02/~lp15/papers/
10  7/Feb/19 05:36  /~lp15/papers/?C=N;O=D
10  7/Feb/19 05:36  /~lp15/papers/?C=S;O=A
10  7/Feb/19 05:36  /~lp15/papers/?C=D;O=A
107 0.01%11/Feb/19 09:17/~lp15/archive/
105 0.01% 9/Feb/19 08:00/~lp15/Pages/cv.html
105 0.36% 6/Feb/19 18:53/~lp15/papers/Isabelle/fleuriot-kepler.pdf
103 0.14%11/Feb/19 10:52/~lp15/papers/Auth/lics.pdf
102 0.16%10/Feb/19 07:59/~lp15/papers/Formath/Goedel-logic.pdf
101 0.01%11/Feb/19 09:47/~lp15/MLbook/ERRATA.html
101 0.01% 9/Feb/19 11:00/~lp15/images/
10  9/Feb/19 10:16  /~lp15/images/?C=N;O=D
100 0.07%11/Feb/19 07:56/~lp15/Usage/
100 0.01%10/Feb/19 15:24/~lp15/papers/Reports/
99 0.01% 9/Feb/19 08:01/~lp15/papers/Isabelle/
97  9/Feb/19 08:01/~lp15/papers/Notes/
12  6/Feb/19 04:17  /~lp15/papers/Notes/?C=D;O=A
96 0.36%10/Feb/19 15:25/~lp15/papers/Formath/set-I.pdf
90 0.22%11/Feb/19 09:41/~lp15/MLbook/PDF/chapter1.pdf
89 0.01%10/Feb/19 22:26/~lp15/papers/hol.html
88  9/Feb/19 08:00/~lp15/Pages/
10  4/Feb/19 15:18  /~lp15/Pages/?C=M;O=A
88 0.11% 8/Feb/19 10:30/~lp15/papers/Auth/SET-overview-2002.pdf
88 0.01%10/Feb/19 14:04/~lp15/MLbook/exercises/exer2.html
88  9/Feb/19 08:00/~lp15/css/
87 11/Feb/19 09:47/~lp15/MLbook/general.html
87 0.14% 9/Feb/19 20:06/~lp15/Pages/vita.pdf
87  9/Feb/19 14:13/~lp15/SpryAssets/
86 0.21%11/Feb/19 00:48/~lp15/papers/Auth/tls.pdf
84 0.01%10/Feb/19 14:40/~lp15/Grants/Automation/
83 0.32%11/Feb/19 09:44/~lp15/MLbook/PDF/chapter6.pdf
81 0.57% 9/Feb/19 13:26/~lp15/Pages/Munich-slides.pdf
80 10/Feb/19 16:47/~lp15/Grants/BeyondLinArith/
79 0.33%10/Feb/19 09:19/~lp15/papers/Bella/smartcards-jcs.pdf
78 0.01%10/Feb/19 09:37/~lp15/papers/workshop.html
77  8/Feb/19 12:21/~lp15/papers/Bella/
77 0.31%11/Feb/19 09:43/~lp15/MLbook/PDF/chapter2.pdf
76  8/Feb/19 10:53/~lp15/tmp/
76 0.20% 9/Feb/19 09:29/~lp15/papers/Formath/Greens-theorem.pdf
75 0.01%10/Feb/19 21:50/~lp15/Pages/Scream.html
75 0.34% 9/Feb/19 17:25/~lp15/papers/Arith/Sogokon-nfm14.pdf
74  9/Feb/19 02:25/~lp15/papers/Reviews/
74 0.01% 9/Feb/19 11:13/~lp15/papers/invited.html
73 10/Feb/19 08:55/~lp15/MLbook/programs/ROOT.sml
73 0.20% 9/Feb/19 17:55/~lp15/papers/Reports/TPHOLs05.pdf
73 0.26%11/Feb/19 10:24/~lp15/MLbook/PDF/chapter8.pdf
73 0.02%11/Feb/19 10:07/~lp15/Usage/images/
73 0.01%10/Feb/19 09:02/~lp15/MLbook/programs/sample5.sml
72 10/Feb/19 12:03/~lp15/Pages/CL-English.html
72 0.22% 8/Feb/19 02:04/~lp15/papers/Automation/sultana-pfreconstruction.pdf
72 0.01%10/Feb/19 11:55/~lp15/MLbook/programs/sample3.sml
72  8/Feb/19 12:39/~lp15/Templates/
72 0.27%11/Feb/19 09:44/~lp15/MLbook/PDF/chapter7.pdf
71 0.01%10/Feb/19 16:48/~lp15/papers/books.html
71 0.01%11/Feb/19 01:20/~lp15/papers/Workshop/
71 0.01% 9/Feb/19 17:23/~lp15/papers/recur.html
71  9/Feb/19 03:10/~lp15/Data/
70 0.23%11/Feb/19 10:44/~lp15/papers/Automation/filtering.pdf
69 0.25% 8/Feb/19 13:50/~lp15/papers/Reports/Bridge-ml.pdf
69 0.13% 9/Feb/19 11:42/~lp15/papers/Automation/paar.pdf
69  9/Feb/19 03:27/~lp15/MLbook/StandardML.plist
68 0.01%10/Feb/19 20:48/~lp15/MLbook/programs/sample8-2004.sml
68 0.11% 8/Feb/19 23:29/~lp15/papers/Arith/Narayanan DATE.pdf
67  8/Feb/19 11:39/~lp15/papers/Arith/download.html
67 0.01%10/Feb/19 19:32/~lp15/MLbook/review.html
67 10/Feb/19 19:46/~lp15/MLbook/first/
67  8/Feb/19 21:19/~lp15/papers/Ballarin/
67 0.12%11/Feb/19 09:45/~lp15/MLbook/PDF/contents.pdf
66 0.01%10/Feb/19 22:38/~lp15/Grants/Alexandria/
66 0.26% 8/Feb/19 22:26/~lp15/papers/Bella/accountability.pdf
65 0.01%10/Feb/19 18:39/~lp15/MLbook/exercises/exer8.html
64 0.14%10/Feb/19 21:33/~lp15/papers/Formath/automata.pdf
63 0.13% 9/Feb/19 10:33/~lp15/papers/Arith/Huang-3heuristics.pdf
63 0.16% 8/Feb/19 21:16/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
62  9/Feb/19 13:57/~lp15/papers/UNITY/
62 0.01% 9/Feb/19 18:28/~lp15/MLbook/programs/sample4.sml
61 0.02% 8/Feb/19 20:53/~lp15/MLbook/exercises/exer3.html
61 0.31% 9/Feb/19 10:55/~lp15/papers/Arith/calculemus2008.pdf
61 0.01%11/Feb/19 08:42/~lp15/Pages/ACS-proposals.html
60 0.22%11/Feb/19 09:43/~lp15/MLbook/PDF/chapter3.pdf
60 0.15%10/Feb/19 19:24/~lp15/papers/Formath/AC.pdf
60 0.13% 8/Feb/19 02:51/~lp15/papers/Bella/esorics98.pdf
60 0.23%11/Feb/19 09:44/~lp15/MLbook/PDF/chapter10.pdf
60 0.01%10/Feb/19 16:37/~lp15/Grants/holisa.html
60 0.01%10/Feb/19 18:15/~lp15/Grants/UNITY/
57 0.10% 9/Feb/19 04:12/~lp15/papers/Auth/multicast_verification.pdf
57 0.11% 9/Feb/19 14:15/~lp15/papers/Isabelle/aisc98.pdf
57 0.20%11/Feb/19 09:44/~lp15/MLbook/PDF/chapter9.pdf
56 0.24%11/Feb/19 10:15/~lp15/MLbook/PDF/chapter4.pdf
56 0.21%11/Feb/19 09:44/~lp15/MLbook/PDF/chapter5.pdf
56 0.14% 8/Feb/19 02:02/~lp15/papers/Automation/meng-termination.pdf
55 0.21%11/Feb/19 10:53/~lp15/papers/Automation/translations-jar.pdf
55 0.01%11/Feb/19 00:55/~lp15/MLbook/programs/sample8.sml
54 0.07% 5/Feb/19 18:31/~lp15/Sue/Cultures of Dance.ppt
54 0.20% 8/Feb/19 01:52/~lp15/papers/Formath/reflection-slides.pdf
54 10/Feb/19 18:15/~lp15/papers/Arith/qepcad-for-mac.html
53 0.03%10/Feb/19 22:40/~lp15/images/pilkington.jpg
53 0.02%10/Feb/19 21:00/~lp15/Sue/Sue Paulson.jpg
53 0.01%11/Feb/19 01:44/~lp15/MLbook/exercises/exer7.html
53 0.13%10/Feb/19 12:01/~lp15/papers/Arith/Hscc09.pdf
52 0.12%10/Feb/19 21:37/~lp15/papers/Automation/translations.pdf
52 0.05%11/Feb/19 08:19/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
51 0.11% 4/Feb/19 11:46/~lp15/Pages/harrison-real.pdf
51 1.04% 7/Feb/19 22:13/~lp15/papers/Auth/lics-slides.pdf
49 0.14% 8/Feb/19 23:51/~lp15/papers/Formath/reflection.pdf
49 0.13% 7/Feb/19 19:01/~lp15/papers/Bella/certified-email.pdf
48 0.11% 7/Feb/19 21:13/~lp15/papers/Bella/registration.pdf
47 0.01%10/Feb/19 16:44/~lp15/MLbook/programs/sample7.sml
47 0.10% 7/Feb/19 19:28/~lp15/papers/Bella/nonrepudiation.pdf
47 0.09% 9/Feb/19 04:22/~lp15/papers/Bella/cav98.pdf
47 0.12% 8/Feb/19 04:03/~lp15/papers/Arith/lpar2007.pdf
47 0.01% 9/Feb/19 02:58/~lp15/MLbook/exercises/exer6.html
47 0.29% 9/Feb/19 17:04/~lp15/papers/Arith/MetiTarski-jar.pdf
46 0.01%10/Feb/19 17:08/~lp15/MLbook/programs/sample9.sml
46 0.02% 6/Feb/19 12:22/~lp15/papers/Reviews/MLer.pdf
46 0.20% 6/Feb/19 06:29/~lp15/papers/UNITY/composition.pdf
46 0.11% 8/Feb/19 03:49/~lp15/papers/Formath/milner-ind-defs.pdf
45 10/Feb/19 08:23/~lp15/Data/ho-translations/
45  9/Feb/19 14:20/~lp15/papers/Deduction/
45 0.07% 9/Feb/19 08:32/~lp15/papers/UNITY/tphols01.pdf
45 0.07% 9/Feb/19 15:11/~lp15/papers/Automation/thf-sledge.pdf
45  8/Feb/19 12:00/~lp15/Data/relevance/
44 0.01% 9/Feb/19 09:18/~lp15/MLbook/programs/sample10.sml
44 0.07% 8/Feb/19 01:52/~lp15/papers/Isabelle/chap700.pdf
43 0.01%10/Feb/19 13:35/~lp15/MLbook/exercises/exer4.html
43 10/Feb/19 08:21/~lp15/MLbook/disclaimer.html
43 0.10% 7/Feb/19 17:05/~lp15/papers/Automation/jar-smt.pdf
43 0.07% 9/Feb/19 16:04/~lp15/papers/Arith/fmcad2009.pdf
43 0.09% 8/Feb/19 11:38/~lp15/Grants/AutoPolyFun/case.pdf
43 0.10%10/Feb/19 16:35/~lp15/papers/Isabelle/blast.pdf
43 0.07% 8/Feb/19 01:03/~lp15/papers/Bella/purchase.pdf
42 5.19%10/Feb/19 19:12/~lp15/Grants/Alexandria/poster.pdf
42 0.20% 8/Feb/19 21:34/~lp15/papers/Reports/fleuriot-kepler.pdf
42 0.11%11/Feb/19 10:09/~lp15/papers/Isabelle/coding.pdf
42  9/Feb/19 16:02/~lp15/Pages/projects.html
42 0.04% 8/Feb/19 00:36/~lp15/papers/Reports/CADE9.pdf
41 0.05% 8/Feb/19 09:08/~lp15/papers/Auth/auth-slides.pdf
41 0.01% 8/Feb/19 20:54/~lp15/MLbook/exercises/exer5.html
41 0.30% 9/Feb/19 01:27/~lp15/papers/Automation/info-and-comp.pdf
40 0.09% 8/Feb/19 04:58/~lp15/papers/Automation/IJCAR2004.pdf
40 0.06% 9/Feb/19 08:22/~lp15/papers/Arith/pdpar2006.pdf
40 0.05% 4/Feb/19 11:46/~lp15/papers/Workshop/friedrich.pdf
40 0.09% 8/Feb/19 19:08/~lp15/papers/Automation/cade2011-sledge-smt.pdf
39 0.01%10/Feb/19 17:11/~lp15/MLbook/programs/test10.sml
39 0.08% 8/Feb/19 07:23/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
39 10/Feb/19 20:33/~lp15/papers/Arith/atan-problem-1-weak.html
39 0.11%10/Feb/19 22:38/~lp15/images/ERC-LOGO.jpg
38  9/Feb/19 18:00/~lp15/MLbook/programs/notes.html
38 0.13% 9/Feb/19 00:20/~lp15/papers/Notes/MOD-slides.pdf
38 0.29% 8/Feb/19 09:14/~lp15/papers/Bella/purchase-JAR.pdf
38 0.05% 8/Feb/19 07:49/~lp15/papers/Reports/CADE11.pdf
38 0.19% 8/Feb/19 16:33/~lp15/papers/Workshop/papers/rasmussen.pdf
38 0.11%10/Feb/19 18:07/~lp15/papers/UNITY/Mechanizing-compositional.pdf
38 0.06%10/Feb/19 19:10/~lp15/papers/Auth/ijcar2001.pdf
38 0.01%10/Feb/19 16:43/~lp15/MLbook/programs/sample3-old.sml
37 0.04% 9/Feb/19 13:17/~lp15/papers/Arith/FroCoS-2013-invited.pdf
37 0.04%10/Feb/19 17:22/~lp15/papers/Auth/yahalom.pdf
37 1.07%10/Feb/19 20:25/~lp15/papers/Notes/LCF+.pdf
37 0.41% 9/Feb/19 13:08/~lp15/papers/Reports/ref97.pdf
37 0.08% 8/Feb/19 22:56/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
36 0.07% 9/Feb/19 18:19/~lp15/papers/UNITY/ehmety-composition.pdf
36 0.08% 7/Feb/19 23:46/~lp15/papers/Reports/blast.pdf
36 0.02% 7/Feb/19 19:01/~lp15/papers/paulson.bib
36 0.12% 8/Feb/19 21:33/~lp15/papers/Auth/SET-overview-IJIS.pdf
35 0.05%10/Feb/19 15:28/~lp15/papers/Reports/Descent of BAN.pdf
35 0.16% 8/Feb/19 13:47/~lp15/papers/Automation/reconstruction.pdf
35 0.02%11/Feb/19 09:20/~lp15/papers/Reviews/construct.pdf
35 1.88% 5/Feb/19 20:32/~lp15/papers/Arith/FroCos-presentation.pdf
35 0.06% 8/Feb/19 12:36/~lp15/papers/Arith/ITP-2012-invited.pdf
34  9/Feb/19 19:48/~lp15/MLbook/first/programs/
34 0.04% 9/Feb/19 02:10/~lp15/papers/Auth/security-protocols.pdf
33 0.07% 8/Feb/19 14:05/~lp15/papers/Arith/case-splitting.pdf
33 0.17% 8/Feb/19 17:10/~lp15/papers/Automation/filtering-jal.pdf
33 10/Feb/19 09:14/~lp15/MLbook/first/programs/Lambda.ML
33 0.01% 9/Feb/19 18:22/~lp15/MLbook/programs/sample10-old.sml
33  8/Feb/19 13:36/~lp15/MLbook/PDF/
33 0.06% 9/Feb/19 15:50/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
32 0.06% 9/Feb/19 13:10/~lp15/papers/Formath/final.pdf
32  8/Feb/19 11:54/~lp15/Grants/auth.html
32 0.01% 9/Feb/19 02:39/~lp15/MLbook/programs/sample8-old.sml
32 0.06% 7/Feb/19 23:43/~lp15/papers/Workshop/papers/thompson.pdf
32 0.05% 6/Feb/19 16:28/~lp15/papers/Workshop/papers/kalvala-linear.pdf
32 0.37% 9/Feb/19 08:34/~lp15/papers/Automation/reconstruction-slides.pdf
32 0.07%11/Feb/19 09:44/~lp15/MLbook/PDF/projects-bib.pdf
32 0.09% 8/Feb/19 05:13/~lp15/papers/Bella/esorics2000.pdf
31 0.03%10/Feb/19 22:12/~lp15/Grants/LEO-II/leo2-case.pdf
31 0.04% 9/Feb/19 17:32/~lp15/papers/Notes/leeds-notes.pdf
31 0.21% 8/Feb/19 08:53/~lp15/papers/Reports/intro-to-isabelle.pdf
31 0.01%10/Feb/19 16:42/~lp15/MLbook/programs/sample9-2004.sml
30 0.33% 7/Feb/19 20:09/~lp15/papers/Reports/TypeClasses.pdf
30 0.06% 8/Feb/19 17:04/~lp15/papers/Automation/leo2-ijcar.pdf
30 0.83% 8/Feb/19 01:19/~lp15/Sue/Phd-Poster.pdf
30 0.06% 9/Feb/19 16:20/~lp15/papers/Bella/dimacs97.pdf
30 0.02% 9/Feb/19 16:07/~lp15/papers/Arith/NFM2014-invited.pdf
30 0.12%10/Feb/19 20:04/~lp15/papers/Arith/cicm2012.pdf
30 0.13% 8/Feb/19 04:08/~lp15/papers/Formath/set-II.pdf
29 0.05% 9/Feb/19 13:17/~lp15/papers/Formath/constructible-abstract.pdf
29 0.08% 8/Feb/19 08:32/~lp15/papers/Arith/SNC2014-invited.pdf
28 0.33% 9/Feb/19 16:46/~lp15/Grants/Automation/poster.pdf
28 0.11%10/Feb/19 14:56/~lp15/papers/UNITY/UNITY.pdf
28 0.20% 9/Feb/19 20:22/~lp15/papers/Auth/SET-overview-slides.pdf
28 0.16% 8/Feb/19 05:26/~lp15/papers/Reports/logics97.pdf
28  9/Feb/19 13:11/~lp15/Grants/Chaieb.html
28  8/Feb/19 15:54/~lp15/MLbook/exercises/disclaimer.html
28 0.12% 8/Feb/19 15:27/~lp15/papers/Formath/constructible-slides.pdf
28 0.69% 8/Feb/19 02:49/~lp15/Sue/Thesis-Appendices.pdf
27 0.18% 9/Feb/19 20:32/~lp15/papers/Formath/Future of formalised maths.pdf
27  8/Feb/19 09:04/~lp15/papers/Workshop/matthews.html
27 0.15% 7/Feb/19 22:07/~lp15/papers/Auth/tls-slides.pdf
27 0.08% 6/Feb/19 15:14/~lp15/papers/Workshop/papers/nipkow.pdf
27 0.06% 8/Feb/19 22:36/~lp15/papers/Notes/strategy.pdf
27 0.32%10/Feb/19 22:17/~lp15/papers/Arith/metit-slides.pdf
27 0.03% 8/Feb/19 06:02/~lp15/papers/Auth/recur-slides.pdf
27 10/Feb/19 23:57/~lp15/MLbook/first/programs/Imperative.ML
26 0.11% 8/Feb/19 07:38/~lp15/papers/Auth/SET-document.pdf
26 0.01% 9/Feb/19 18:57/~lp15/papers/Formath/AC-slides.pdf
26 1.17% 9/Feb/19 08:17/~lp15/papers/Arith/ITP 2012 presentation.pdf
26  8/Feb/19 07:42/~lp15/papers/OLD.SETS/
26  8/Feb/19 00:49/~lp15/Sue/Cultures of Dance.html
26  8/Feb/19 10:36/~lp15/papers/Workshop/programme.html
25 0.02% 5/Feb/19 15:37/~lp15/Grants/Automation/case.pdf
25 0.07% 8/Feb/19 12:44/~lp15/papers/Formath/Goedel-logic-mine.pdf
25 10/Feb/19 17:03/~lp15/MLbook/first/programs/Modules.ML
25 1.16%10/Feb/19 09:02/~lp15/papers/Formath/Goedel-slides.pdf
25  9/Feb/19 02:38/~lp15/MLbook/first/programs/Functions.ML
25 0.08% 7/Feb/19 23:55/~lp15/papers/Isabelle/sylow.pdf
24 0.02% 9/Feb/19 14:26/~lp15/papers/Arith/Overcoming.pdf
24 0.55%11/Feb/19 00:32/~lp15/papers/Arith/SNC2014-slides.pdf
24  8/Feb/19 12:44/~lp15/papers/Workshop/participants.html
23 0.06% 8/Feb/19 10:55/~lp15/papers/Arith/case-splitting-stats.csv
23 0.26% 7/Feb/19 23:22/~lp15/papers/Reports/TypeClasses-slides.pdf
23 0.23% 9/Feb/19 12:05/~lp15/papers/Isabelle/Cube-presentation.pdf
23 0.21% 9/Feb/19 11:20/~lp15/papers/Arith/NFM2014-slides.pdf
22  8/Feb/19 05:29/~lp15/papers/Workshop/kalvala.html
22 0.02% 7/Feb/19 13:23/~lp15/papers/Notes/strategy-slides.pdf
22 0.45%10/Feb/19 13:23/~lp15/Grants/BeyondLinArith/arith-poster.pdf
22 0.16% 9/Feb/19 16:50/~lp15/Grants/BeyondLinArith/arith-case.pdf
22 0.05% 8/Feb/19 06:07/~lp15/papers/Workshop/papers/voelker.pdf
22 0.27% 9/Feb/19 16:41/~lp15/papers/Notes/formalizing-abst-slides.pdf
22 10/Feb/19 12:19/~lp15/papers/Workshop/thompson.html
21 0.21% 6/Feb/19 04:29/~lp15/papers/Reports/popl82.pdf
21 0.01% 6/Feb/19 10:32/~lp15/MLbook/first/ML-syntax.ps.gz
21 0.03% 5/Feb/19 00:06/~lp15/papers/Workshop/papers/ayari.pdf
21 0.04% 4/Feb/19 21:19/~lp15/papers/Workshop/papers/benini.pdf
21 0.03%11/Feb/19 00:52/~lp15/papers/Workshop/vigano.pdf
21  8/Feb/19 07:12/~lp15/papers/Workshop/agerholm.html
21 0.23% 7/Feb/19 21:41/~lp15/papers/Auth/dagstuhl2003-slides.pdf
20  9/Feb/19 08:15/~lp15/papers/Workshop/nipkow.html
20  8/Feb/19 09:39/~lp15/papers/Workshop/staples.html
20  7/Feb/19 21:54/~lp15/papers/Formath/ind-defs-slides.pdf
20 0.03% 5/Feb/19 23:55/~lp15/Grants/Automation/final.pdf
20 0.01% 9/Feb/19 12:49/~lp15/papers/Isabelle/blast-slides.pdf
20  8/Feb/19 05:20/~lp15/papers/Workshop/paulson.html
20 0.02% 4/Feb/19 21:01/~lp15/papers/Workshop/kammueller.pdf
20 0.06% 7/Feb/19 20:24/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
20 0.01% 8/Feb/19 22:52/~lp15/MLbook/first/programs/Hal.ML
20 0.18% 8/Feb/19 07:02/~lp15/papers/Bella/TPHOLs03-slides.pdf
19 0.19% 8/Feb/19 13:48/~lp15/papers/Formath/constructible-theory.pdf
19 0.26% 9/Feb/19 20:48/~lp15/papers/Auth/dagstuhl2001-slides.pdf
19 0.08%11/Feb/19 09:02/~lp15/papers/Workshop/papers/kammueller.pdf
18  8/Feb/19 04:49/~lp15/MLbook/first/programs/ParsePrint.ML
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.01%10/Feb/19 16:46/~lp15/Grants/SET/case.pdf
18 0.15% 9/Feb/19 11:27/~lp15/papers/Deduction/lecture1.pdf
18 0.10% 9/Feb/19 16:25/~lp15/papers/Automation/Huet colloquium.pdf
18 0.03% 8/Feb/19 09:46/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
18 0.13% 7/Feb/19 08:46/~lp15/papers/Deduction/lecture3.pdf
18  9/Feb/19 12:30/~lp15/papers/Arith/RELEASE-NOTES.txt
18  9/Feb/19 12:29/~lp15/papers/Workshop/futures.html
18 0.25% 8/Feb/19 15:48/~lp15/papers/Auth/ijcar2001-slides.pdf
17  6/Feb/19 08:52/~lp15/MLbook/first/programs/Lists-Trees.ML
17 0.04% 7/Feb/19 00:52/~lp15/papers/Workshop/papers/matthews.pdf
17 0.03%10/Feb/19 10:30/~lp15/papers/Workshop/papers/owens.pdf
17 0.05% 4/Feb/19 21:03/~lp15/papers/Workshop/papers/agerholm.pdf
17  8/Feb/19 13:22/~lp15/papers/Workshop/wolff.html
16 0.01%11/Feb/19 01:37/~lp15/Sue/Cultures of Dance.pdf
16 0.02%10/Feb/19 22:48/~lp15/papers/Workshop/papers/staples.pdf
16 11/Feb/19 01:20/~lp15/papers/Workshop/bednarczyk.txt
16 0.10% 6/Feb/19 13:08/~lp15/papers/Isabelle/Goedel-ar.pdf
16 0.05% 8/Feb/19 04:18/~lp15/papers/Workshop/papers/vigano.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
15 0.08% 6/Feb/19 14:08/~lp15/images/pilkington-full.jpg
15 0.06%11/Feb/19 01:20/~lp15/papers/Workshop/papers/bednarczyk.pdf
15 0.45% 8/Feb/19 18:12/~lp15/papers/Arith/Overcoming-slides.pdf
15 0.04%30/Jan/19 19:59/~lp15/papers/Reports/lamport-paulson-types.pdf
14  6/Feb/19 06:04/~lp15/Grants/BeyondLinArith/auth-final.pdf
14  8/Feb/19 16:12/~lp15/papers/Workshop/heule.html
14 0.05%10/Feb/19 16:43/~lp15/Grants/Alexandria/Part-B2.pdf
14 0.02% 4/Feb/19 21:19/~lp15/papers/Isabelle/Goedel-logic.pdf
14 11/Feb/19 10:02/~lp15/Grants/UNITY/temporal.html
14  6/Feb/19 08:52/~lp15/MLbook/first/ERRATA1.txt
13 0.03% 6/Feb/19 17:30/~lp15/Grants/Chaieb-case.pdf
13 0.37% 4/Feb/19 11:46/~lp15/Grants/LEO-II/leo project poster.pdf
13  7/Feb/19 07:55/~lp15/Grants/SET/final.pdf
13 2.74% 4/Feb/19 11:46/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
13 0.06% 4/Feb/19 11:46/~lp15/Data/relevance/tptp-2007-03-13.tbz
13 0.03% 6/Feb/19 10:27/~lp15/papers/Ballarin/aisc98.pdf
12 2.30% 4/Feb/19 11:46/~lp15/archive/Isabelle2009-2.tar.gz
12  6/Feb/19 08:52/~lp15/MLbook/first/ERRATA3.txt
12 0.08% 9/Feb/19 11:16/~lp15/Grants/Alexandria/DoA.pdf
12 0.08% 9/Feb/19 03:16/~lp15/papers/Deduction/lecture4.pdf
12 2.82% 4/Feb/19 11:46/~lp15/archive/Isabelle2009-1.tar.gz
12 0.03% 4/Feb/19 11:46/~lp15/papers/Ballarin/coding.pdf
11  4/Feb/19 21:01/~lp15/papers/Workshop/owens.txt
11 0.06% 8/Feb/19 16:46/~lp15/papers/Deduction/lecture2.pdf
10  4/Feb/19 23:59/~lp15/Grants/UNITY/final.pdf
10  6/Feb/19 08:52/~lp15/MLbook/first/programs/edits.txt
10 0.65% 5/Feb/19 22:16/~lp15/Data/ho-translations/Abst.tbz
10 0.01% 6/Feb/19 15:31/~lp15/papers/Workshop/ayari.pdf
10 0.07% 7/Feb/19 01:40/~lp15/Pages/4colproof.pdf
9 0.62% 6/Feb/19 15:31/~lp15/Data/ho-translations/Comb.tbz
9  4/Feb/19 11:46/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
9 0.02% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
9 0.03% 4/Feb/19 11:46/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 0.36% 4/Feb/19 11:46/~lp15/archive/Isabelle99-1.tar.gz
9 0.30% 4/Feb/19 11:46/~lp15/papers/Isabelle/Goedel-slides.pdf
9 0.26% 4/Feb/19 11:46/~lp15/archive/Isabelle2002.tar.gz
9 0.04% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/reflection-slides.pdf
9 0.02% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/AC.pdf
9  6/Feb/19 08:52/~lp15/MLbook/first/ML-syntax.dvi.gz
9 0.25% 9/Feb/19 15:39/~lp15/papers/Notes/ARW-2018.pdf
9  4/Feb/19 11:46/~lp15/Data/relevance/unfiltered-spass.txt
9  4/Feb/19 11:46/~lp15/Data/relevance/unfiltered-vampire.txt
9 0.09%31/Jan/19 17:51/~lp15/papers/Automation/h4qed-clean.pdf
9 10/Feb/19 09:04/~lp15/Data/relevance/unfiltered-E.txt
9  6/Feb/19 08:52/~lp15/MLbook/first/ERRATA2.txt
8  8/Feb/19 12:01/~lp15/Pages/Lawrence Paulson (C90DEAF0) %E2%80%93 Public.asc
8 0.01% 8/Feb/19 23:25/~lp15/papers/Workshop/front.pdf
8 0.55%11/Feb/19 00:44/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
8 0.47% 4/Feb/19 11:46/~lp15/archive/Isabelle2005.tar.gz
8  6/Feb/19 08:52/~lp15/MLbook/first/answers8.txt.gz
8 0.01% 4/Feb/19 11:46/~lp15/archive/Isabelle86.tar.gz
8 2.54% 4/Feb/19 11:46/~lp15/archive/Isabelle2014.tar.gz
8 0.04% 7/Feb/19 22:48/~lp15/papers/Formath/Greens-theorem-JAR.pdf
8  6/Feb/19 08:52/~lp15/MLbook/first/answers1-5.txt.gz
8  4/Feb/19 11:46/~lp15/images/larry-paulson.jpg
8 0.08%10/Feb/19 13:57/~lp15/papers/Formath/CPP 2017.pdf
8 0.11% 9/Feb/19 11:43/~lp15/papers/Notes/Herbrand.pdf
8  4/Feb/19 11:46/~lp15/archive/ERRATA.txt
8 2.00% 4/Feb/19 11:46/~lp15/archive/Isabelle2011.tar.gz
8  4/Feb/19 20:57/~lp15/Grants/UNITY/case.pdf
8 0.04% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/constructible-slides.pdf
8 2.65% 4/Feb/19 11:46/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8  4/Feb/19 11:46/~lp15/papers/OLD.SETS/ind-defs-slides.pdf
8 0.41% 4/Feb/19 11:46/~lp15/archive/Isabelle2003.tar.gz
8 0.07% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/constructible-theory.pdf
8 0.02%10/Feb/19 15:52/~lp15/archive/Isabelle89.tar.gz
8 1.31% 4/Feb/19 11:46/~lp15/archive/Isabelle2011-1.tar.gz
8 0.01% 8/Feb/19 07:45/~lp15/papers/Reports/milestones_intro.pdf
8 0.07% 9/Feb/19 14:23/~lp15/papers/Formath/Sophia2017.pdf
8  6/Feb/19 06:29/~lp15/Grants/UNITY/UNITY-final.pdf
8 0.43% 4/Feb/19 11:46/~lp15/archive/Isabelle2004.tar.gz
7 0.03% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/set-I.pdf
7 0.55% 4/Feb/19 11:46/~lp15/archive/Isabelle2009.tar.gz
7 0.01% 4/Feb/19 11:46/~lp15/papers/OLD.SETS/final.pdf
7  4/Feb/19 11:46/~lp15/Templates/publications.dwt
7 0.08% 4/Feb/19 11:46/~lp15/archive/Isabelle94-7.tar.gz
7 0.05% 7/Feb/19 20:30/~lp15/papers/Formath/counting-roots.pdf
7 0.02% 4/Feb/19 11:46/~lp15/archive/isabelle-users.98.gz
7  4/Feb/19 11:46/~lp15/Data/ho-translations/Theories.tbz
7 0.03% 9/Feb/19 20:26/~lp15/papers/Arith/Huang-precondition.pdf
7 0.03% 4/Feb/19 11:46/~lp15/archive/isabelle-users.03.gz
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 0.04% 4/Feb/19 11:46/~lp15/archive/isabelle-users.04.gz
32511.22%10/Feb/19 09:57[not listed: 74 files]