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

Program started at Mon-19-Feb-2018 14:04.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-19-Feb-2018 13:51 (1201.95 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 19-Feb-2018 14:04.

Successful requests: 25,115 (4,515)
Average successful requests per day: 20 (644)
Successful requests for pages: 10,151 (2,385)
Average successful requests for pages per day: 8 (340)
Failed requests: 736 (80)
Redirected requests: 140 (22)
Distinct files requested: 564 (451)
Distinct hosts served: 4,724 (874)
Corrupt logfile lines: 72
Unwanted logfile entries: 17,921
Data transferred: 6.61 gigabytes (1.05 gigabytes)
Average data transferred per day: 5.63 megabytes (153.17 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 
Sun29381099++++++++++++++++++++++
Mon45131765++++++++++++++++++++++++++++++++++++
Tue32291296++++++++++++++++++++++++++
Wed51062164++++++++++++++++++++++++++++++++++++++++++++
Thu29831192++++++++++++++++++++++++
Fri2481973++++++++++++++++++++
Sat38651662++++++++++++++++++++++++++++++++++

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
1125753.16%.com (Commercial)
485714.22%[unresolved numerical addresses]
430 7.98%.jp (Japan)
2505 7.27%[domain not given]
1853 5.30%.net (Networks)
1082 2.81%.de (Germany)
325 1.09%[unknown domain]
384 0.78%.uk (United Kingdom)
264 0.78%.edu (USA Higher Education)
211 0.77%.in (India)
99 0.64%.fr (France)
54 0.42%.ph (Philippines)
246 0.38%.ru (Russia)
100 0.37%.au (Australia)
77 0.29%.br (Brazil)
64 0.26%.se (Sweden)
26 0.19%.th (Thailand)
57 0.19%.ca (Canada)
32 0.19%.co (Colombia)
50 0.19%.pk (Pakistan)
58 0.17%.pt (Portugal)
83 0.15%.at (Austria)
39 0.15%.nz (New Zealand)
37 0.15%.zw (Zimbabwe)
55 0.14%.sg (Singapore)
18 0.12%.za (South Africa)
32 0.12%.ke (Kenya)
62 0.11%.org (Non Profit Making Organisations)
84 0.11%.it (Italy)
7 0.10%.np (Nepal)
21 0.10%.my (Malaysia)
59 0.09%.nl (Netherlands)
8 0.08%.hr (Croatia)
12 0.08%.id (Indonesia)
26 0.07%.pl (Poland)
4 0.06%.ng (Nigeria)
19 0.06%.vn (Vietnam)
19 0.06%.mx (Mexico)
27 0.06%.cn (China)
41 0.05%.fi (Finland)
12 0.04%.arpa (Arpanet)
24 0.04%.dk (Denmark)
27 0.04%.ch (Switzerland)
17 0.04%.bg (Bulgaria)
28 0.03%.es (Spain)
4 0.03%.ie (Ireland)
11 0.03%.tw (Taiwan)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
30 0.03%.gr (Greece)
31 0.03%.ua (Ukraine)
12 0.02%.na (Namibia)
11 0.02%.uz (Uzbekistan)
7 0.02%.be (Belgium)
36 0.02%.hk (Hong Kong)
23 0.02%.hu (Hungary)
11 0.02%.ar (Argentina)
23 0.02%.cz (Czech Republic)
4 0.02%.uy (Uruguay)
2 0.01%.is (Iceland)
2 0.01%.ly (Libya)
10 0.01%.no (Norway)
1 0.01%.si (Slovenia)
12 0.01%.tr (Turkey)
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%.il (Israel)
11 0.01%.ro (Romania)
1 0.01%.bd (Bangladesh)
7 .ae (United Arab Emirates)
2 .ug (Uganda)
4 .gh (Ghana)
1 .as (American Samoa)
3 .lt (Lithuania)
3 .lv (Latvia)
2 .ir (Iran)
1 .kz (Kazakhstan)
4 .lb (Lebanon)
6 .us (United States)
1 .ee (Estonia)
1 .kg (Kyrgyzstan)
1 .lu (Luxembourg)
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
441718.87%amazonaws.com
2505 7.27%[domain not given]
1590 6.84%msn.com
1150 3.92%baidu.com
113013.07%bluechipbacklinks.com
769 2.31%your-server.de
660 2.03%yandex.com
330 7.69%u-tokyo.ac.jp
325 1.09%[unknown domain]
316 0.02%exensa.net
313 0.37%114
294 0.15%sogou.com
271 0.54%virginm.net
220 4.27%telia.com
185 0.78%41
178 0.27%mail.ru
176 0.20%cam.ac.uk
176 0.95%naver.com
176 0.42%btcentralplus.com
157 0.29%14
977728.64%[not listed: 1,312 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
63pdf
60engineering
35notes
28equivalence
20for
16theorem
16prove
15and
14in
14of
14classes
13set
12r
12diploma
12class
11residue
10is
10computer
10state
10cauchy
9proof
9download
7hindi
7students
6if
6pearl
6theory
6property
6then
243[not listed: 116 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
189854685OS unknown
273752174Windows
 31861128  Windows NT
 3739889  Unknown Windows
 418131  Windows XP
 1111  Windows Server 2003
 127  Windows 2000
 66  Windows 95
 32  Windows 98
333891457Known robots
431561162Macintosh
52171652Unix
 2135642  Linux
 196  Other Unix
 32  SunOS
 22  OSF1
 120  BSD
655RISC OS
710OS/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
21516200 OK
2945206 Partial content
140301 Document moved permanently
654304 Not modified since last retrieval
45403 Access forbidden
691404 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- 1kB982 0.01%
1kB- 10kB7607 0.44%
10kB-100kB7088 4.21%
100kB- 1MB798739.08%
1MB- 10MB67626.17%
10MB-100MB7630.09%

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
1183760.45%.pdf [Adobe Portable Document Format]
51627.69%.gz [Gzip compressed files]
32727.37%  .tar.gz [Compressed archives]
83 8.72%.tbz
1127 1.07%.jpg [JPEG graphics]
6786 0.59%[directories]
6 0.46%.tgz
3365 0.36%.html [Hypertext Markup Language]
6 0.31%.zip [Zip archives]
883 0.13%.sml
506 0.21%[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
1440 9.50%19/Feb/18 13:14/~lp15/papers/Notes/SE-I.pdf
1315 0.15%19/Feb/18 13:51/~lp15/
795 0.02%19/Feb/18 09:24/~lp15/MLbook/
602 0.62%19/Feb/18 12:42/~lp15/images/larry-home-small.jpg
539 0.03%19/Feb/18 13:16/~lp15/MLbook/pub-details.html
482 3.45%19/Feb/18 11:40/~lp15/papers/Reports/equivclasses-slides.pdf
380 0.76%18/Feb/18 21:29/~lp15/papers/Notes/Founds-FP.pdf
360 1.33%19/Feb/18 13:29/~lp15/papers/Formath/Residue-theorem.pdf
355 6.04%19/Feb/18 11:40/~lp15/Sue/Thesis.pdf
348 0.04%19/Feb/18 10:03/~lp15/papers/Arith/
342 0.25%17/Feb/18 12:03/~lp15/images/acm-logo.jpg
319 0.01%19/Feb/18 08:07/~lp15/MLbook/programs/
261 0.81%19/Feb/18 11:40/~lp15/papers/Reports/equivclasses.pdf
245 0.12%19/Feb/18 08:57/~lp15/papers/refereed.html
232 2.98%19/Feb/18 10:37/~lp15/papers/Reports/thesis.pdf
224 0.02%19/Feb/18 12:23/~lp15/Sue/
210 19/Feb/18 10:04/~lp15/MLbook/exercises/
197 0.01%19/Feb/18 10:04/~lp15/MLbook/programs/sample2.sml
197 1.01%19/Feb/18 05:52/~lp15/papers/Formath/Goedel-ar.pdf
179 0.02%19/Feb/18 10:02/~lp15/Grants/AutoPolyFun/
175 0.02%19/Feb/18 03:05/~lp15/papers/Formath/
164 0.02%19/Feb/18 10:02/~lp15/papers/Automation/
154 0.13%19/Feb/18 12:27/~lp15/papers/Reports/mutil.pdf
152 0.02%19/Feb/18 10:06/~lp15/papers/Auth/
148 0.01%19/Feb/18 03:05/~lp15/papers/lecture-courses.html
141 0.02%19/Feb/18 10:06/~lp15/Grants/SET/
138 0.01%19/Feb/18 03:05/~lp15/Pages/cv.html
135 0.56%19/Feb/18 05:52/~lp15/papers/Auth/jcs.pdf
134 0.01%19/Feb/18 10:03/~lp15/Grants/
129 0.01%19/Feb/18 11:40/~lp15/papers/Reports/
128 0.55%19/Feb/18 11:40/~lp15/papers/Reports/Bridge-ml.pdf
126 0.09%19/Feb/18 06:46/~lp15/Usage/
123 0.01%19/Feb/18 03:05/~lp15/MLbook/ERRATA.html
121 0.01%19/Feb/18 10:06/~lp15/papers/
14 19/Feb/18 10:06  /~lp15/papers/?C=D;O=A
10 17/Feb/18 20:05  /~lp15/papers/?C=N;O=D
10 17/Feb/18 20:05  /~lp15/papers/?C=S;O=A
119 0.40%19/Feb/18 05:51/~lp15/papers/Isabelle/fleuriot-kepler.pdf
116 19/Feb/18 10:07/~lp15/css/
15 19/Feb/18 10:07  /~lp15/css/?C=S;O=A
15 19/Feb/18 10:07  /~lp15/css/?C=M;O=A
11 18/Feb/18 23:35  /~lp15/css/?C=D;O=A
10 17/Feb/18 20:05  /~lp15/css/?C=M;O=D
10 18/Feb/18 04:12  /~lp15/css/?C=N;O=D
10 17/Feb/18 20:05  /~lp15/css/?C=S;O=D
115 0.01%19/Feb/18 10:02/~lp15/Grants/Automation/
115 0.40%19/Feb/18 05:51/~lp15/papers/Formath/set-I.pdf
111 0.01%19/Feb/18 10:06/~lp15/papers/Isabelle/
109 0.01%19/Feb/18 13:51/~lp15/archive/
108 0.01%19/Feb/18 10:06/~lp15/images/
11 17/Feb/18 20:05  /~lp15/images/?C=N;O=D
10 17/Feb/18 20:05  /~lp15/images/?C=D;O=A
10 17/Feb/18 20:05  /~lp15/images/?C=M;O=A
107 0.25%19/Feb/18 10:38/~lp15/MLbook/PDF/chapter1.pdf
106 19/Feb/18 11:40/~lp15/tmp/
17 19/Feb/18 10:07  /~lp15/tmp/?C=M;O=A
16 19/Feb/18 10:07  /~lp15/tmp/?C=S;O=A
10 17/Feb/18 20:06  /~lp15/tmp/?C=D;O=A
106 0.01%19/Feb/18 03:05/~lp15/papers/workshop.html
105 0.32%19/Feb/18 10:38/~lp15/MLbook/PDF/chapter2.pdf
104 19/Feb/18 11:40/~lp15/SpryAssets/
15 19/Feb/18 10:07  /~lp15/SpryAssets/?C=S;O=A
10 17/Feb/18 20:05  /~lp15/SpryAssets/?C=N;O=D
10 17/Feb/18 20:05  /~lp15/SpryAssets/?C=M;O=A
10 17/Feb/18 20:06  /~lp15/SpryAssets/?C=S;O=D
103 0.14%19/Feb/18 05:52/~lp15/papers/Auth/lics.pdf
103 0.01%19/Feb/18 10:05/~lp15/MLbook/exercises/exer2.html
102 19/Feb/18 10:02/~lp15/Grants/BeyondLinArith/
101 0.01%19/Feb/18 07:46/~lp15/papers/books.html
101 0.01%19/Feb/18 03:05/~lp15/papers/hol.html
101 0.01%19/Feb/18 10:06/~lp15/Grants/LEO-II/
99 19/Feb/18 10:07/~lp15/Pages/
14 19/Feb/18 10:07  /~lp15/Pages/?C=M;O=A
10 17/Feb/18 20:06  /~lp15/Pages/?C=N;O=D
10 17/Feb/18 20:06  /~lp15/Pages/?C=S;O=A
10 17/Feb/18 20:06  /~lp15/Pages/?C=D;O=A
99 0.01%19/Feb/18 09:30/~lp15/papers/invited.html
95 0.14%19/Feb/18 05:52/~lp15/papers/Formath/Goedel-logic.pdf
93 19/Feb/18 10:07/~lp15/papers/Notes/
10 17/Feb/18 20:05  /~lp15/papers/Notes/?C=D;O=A
91 19/Feb/18 10:04/~lp15/MLbook/general.html
88 0.11%19/Feb/18 05:52/~lp15/papers/Auth/SET-overview-2002.pdf
87 19/Feb/18 11:51/~lp15/Pages/CL-English.html
85 0.12%19/Feb/18 11:51/~lp15/Pages/vita.pdf
84 19/Feb/18 10:07/~lp15/papers/Bella/
84 0.01%19/Feb/18 13:30/~lp15/papers/recur.html
84 0.55%19/Feb/18 05:51/~lp15/Pages/Munich-slides.pdf
83 0.02%19/Feb/18 11:40/~lp15/Usage/images/
82 19/Feb/18 11:40/~lp15/Templates/
10 17/Feb/18 20:07  /~lp15/Templates/?C=D;O=A
10 17/Feb/18 20:06  /~lp15/Templates/?C=M;O=A
81 19/Feb/18 10:08/~lp15/Data/
80 0.01%19/Feb/18 12:16/~lp15/MLbook/review.html
80 0.36%19/Feb/18 05:52/~lp15/papers/Arith/Sogokon-nfm14.pdf
78 19/Feb/18 11:40/~lp15/papers/Workshop/
78 0.18%18/Feb/18 07:09/~lp15/papers/Auth/tls.pdf
77 19/Feb/18 11:40/~lp15/papers/Reviews/
77 0.17%19/Feb/18 05:52/~lp15/papers/Formath/automata.pdf
76 19/Feb/18 10:06/~lp15/papers/Arith/download.html
76 0.24%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter3.pdf
76 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample5.sml
75 0.18%19/Feb/18 05:51/~lp15/papers/Formath/Greens-theorem.pdf
75 0.01%18/Feb/18 21:37/~lp15/Grants/Alexandria/
75 0.13%19/Feb/18 09:25/~lp15/MLbook/PDF/contents.pdf
74 0.21%19/Feb/18 05:52/~lp15/papers/Automation/sultana-pfreconstruction.pdf
74 0.14%19/Feb/18 05:52/~lp15/papers/Automation/paar.pdf
74 19/Feb/18 07:41/~lp15/MLbook/StandardML.plist
73 0.08%19/Feb/18 12:36/~lp15/Sue/Cultures of Dance.ppt
73 19/Feb/18 10:08/~lp15/papers/Ballarin/
73 0.27%19/Feb/18 05:52/~lp15/papers/Bella/accountability.pdf
73 0.01%19/Feb/18 10:06/~lp15/MLbook/exercises/exer8.html
72 19/Feb/18 11:48/~lp15/MLbook/first/
72 0.29%19/Feb/18 05:52/~lp15/papers/Bella/smartcards-jcs.pdf
71 19/Feb/18 10:04/~lp15/MLbook/programs/ROOT.sml
71 0.01%19/Feb/18 11:27/~lp15/MLbook/programs/sample3.sml
70 0.22%19/Feb/18 05:52/~lp15/papers/Automation/filtering.pdf
69 19/Feb/18 11:40/~lp15/papers/UNITY/
69 0.35%19/Feb/18 06:57/~lp15/papers/Arith/calculemus2008.pdf
69 0.18%19/Feb/18 11:40/~lp15/papers/Reports/TPHOLs05.pdf
69 0.11%19/Feb/18 05:51/~lp15/papers/Arith/Narayanan DATE.pdf
69 0.01%19/Feb/18 10:07/~lp15/Pages/Scream.html
68 0.24%19/Feb/18 09:41/~lp15/papers/Automation/translations-jar.pdf
67 0.22%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter10.pdf
66 0.02%19/Feb/18 13:45/~lp15/MLbook/exercises/exer3.html
66 0.21%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter4.pdf
65 0.15%19/Feb/18 05:52/~lp15/papers/Formath/AC.pdf
65 0.13%19/Feb/18 05:51/~lp15/papers/Arith/Huang-3heuristics.pdf
64 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample8-2004.sml
64 0.21%19/Feb/18 13:16/~lp15/MLbook/PDF/chapter8.pdf
64 0.01%19/Feb/18 10:08/~lp15/Grants/UNITY/
63 0.13%19/Feb/18 13:36/~lp15/papers/Bella/nonrepudiation.pdf
63 0.03%18/Feb/18 17:57/~lp15/images/pilkington.jpg
62 0.01%19/Feb/18 10:04/~lp15/MLbook/programs/sample4.sml
61 19/Feb/18 10:08/~lp15/papers/Arith/qepcad-for-mac.html
61 0.15%19/Feb/18 05:52/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
61 0.13%19/Feb/18 05:52/~lp15/papers/Bella/registration.pdf
60 19/Feb/18 10:08/~lp15/Data/ho-translations/
60 0.13%19/Feb/18 05:52/~lp15/papers/Bella/esorics98.pdf
60 0.10%19/Feb/18 05:52/~lp15/papers/Auth/multicast_verification.pdf
60 1.19%19/Feb/18 05:52/~lp15/papers/Auth/lics-slides.pdf
60 0.01%19/Feb/18 10:08/~lp15/Pages/ACS-proposals.html
59 0.13%19/Feb/18 05:52/~lp15/papers/Automation/translations.pdf
58 0.11%19/Feb/18 12:04/~lp15/papers/Isabelle/aisc98.pdf
57 19/Feb/18 10:08/~lp15/papers/Deduction/
57 0.09%19/Feb/18 05:51/~lp15/papers/Isabelle/chap700.pdf
57 0.18%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter5.pdf
57 0.13%19/Feb/18 05:51/~lp15/papers/Arith/Hscc09.pdf
56 0.20%19/Feb/18 05:51/~lp15/papers/Formath/reflection-slides.pdf
56 0.05%19/Feb/18 11:40/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
56 0.02%19/Feb/18 12:23/~lp15/Sue/Sue Paulson.jpg
56 0.11%19/Feb/18 05:51/~lp15/Grants/AutoPolyFun/case.pdf
55 0.18%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter9.pdf
55 19/Feb/18 10:08/~lp15/Data/relevance/
53 0.13%19/Feb/18 05:52/~lp15/papers/Automation/meng-termination.pdf
53 0.14%19/Feb/18 05:52/~lp15/papers/Bella/certified-email.pdf
52 0.17%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter6.pdf
52 0.10%16/Feb/18 19:01/~lp15/Pages/harrison-real.pdf
52 0.12%19/Feb/18 05:52/~lp15/papers/Automation/cade2011-sledge-smt.pdf
51 0.01%19/Feb/18 11:41/~lp15/MLbook/programs/sample9.sml
51 19/Feb/18 10:08/~lp15/Pages/projects.html
50 0.11%19/Feb/18 13:42/~lp15/papers/Automation/jar-smt.pdf
50 0.01%19/Feb/18 10:03/~lp15/Grants/holisa.html
49 0.05%19/Feb/18 05:52/~lp15/papers/Auth/yahalom.pdf
48 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample7.sml
48 0.01%19/Feb/18 10:05/~lp15/MLbook/exercises/exer4.html
48 0.19%17/Feb/18 20:27/~lp15/papers/UNITY/composition.pdf
48 0.01%19/Feb/18 10:06/~lp15/MLbook/exercises/exer7.html
48 0.08%19/Feb/18 05:51/~lp15/papers/Arith/fmcad2009.pdf
48 0.04%19/Feb/18 11:40/~lp15/papers/Reports/CADE9.pdf
48 0.14%19/Feb/18 05:51/~lp15/papers/Formath/reflection.pdf
47 0.07%19/Feb/18 11:40/~lp15/papers/UNITY/tphols01.pdf
47 0.06%19/Feb/18 05:52/~lp15/papers/Arith/pdpar2006.pdf
47 0.07%19/Feb/18 05:52/~lp15/papers/Automation/thf-sledge.pdf
46 0.32%19/Feb/18 05:52/~lp15/papers/Bella/purchase-JAR.pdf
46 0.16%19/Feb/18 05:51/~lp15/MLbook/PDF/chapter7.pdf
46 19/Feb/18 10:06/~lp15/papers/Arith/atan-problem-1-weak.html
46 0.09%19/Feb/18 09:40/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
45 19/Feb/18 10:04/~lp15/MLbook/disclaimer.html
45 0.01%19/Feb/18 10:06/~lp15/MLbook/exercises/exer6.html
45 0.28%19/Feb/18 05:51/~lp15/papers/Arith/MetiTarski-jar.pdf
45 0.06%19/Feb/18 11:40/~lp15/papers/Reports/CADE11.pdf
45 0.10%19/Feb/18 05:51/~lp15/papers/Isabelle/blast.pdf
45 0.08%19/Feb/18 05:52/~lp15/papers/Bella/purchase.pdf
44 0.08%19/Feb/18 05:52/~lp15/papers/Bella/cav98.pdf
43 0.01%19/Feb/18 10:05/~lp15/MLbook/exercises/exer5.html
43 0.02%19/Feb/18 11:12/~lp15/papers/Reviews/construct.pdf
43 0.09%19/Feb/18 05:52/~lp15/papers/Automation/IJCAR2004.pdf
43 0.10%19/Feb/18 05:51/~lp15/papers/Isabelle/coding.pdf
43 0.07%19/Feb/18 05:52/~lp15/papers/Auth/ijcar2001.pdf
42 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample8.sml
42 0.05%19/Feb/18 05:52/~lp15/papers/Auth/auth-slides.pdf
42 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample10.sml
42 0.02%12/Feb/18 03:59/~lp15/papers/Reviews/MLer.pdf
42 0.13%19/Feb/18 05:52/~lp15/papers/Auth/SET-overview-IJIS.pdf
42 0.10%19/Feb/18 05:51/~lp15/papers/Arith/lpar2007.pdf
41 2.08%19/Feb/18 05:51/~lp15/papers/Arith/FroCos-presentation.pdf
40 0.01%19/Feb/18 12:02/~lp15/MLbook/programs/test10.sml
40 19/Feb/18 10:08/~lp15/MLbook/first/programs/
40 0.08%19/Feb/18 05:51/~lp15/MLbook/PDF/projects-bib.pdf
39 0.18%19/Feb/18 05:52/~lp15/papers/Automation/filtering-jal.pdf
39 0.09%19/Feb/18 05:51/~lp15/papers/Formath/milner-ind-defs.pdf
39 0.04% 7/Feb/18 12:48/~lp15/papers/Workshop/friedrich.pdf
39 0.26%19/Feb/18 05:52/~lp15/papers/Automation/info-and-comp.pdf
38 19/Feb/18 10:04/~lp15/MLbook/programs/notes.html
38 0.07%19/Feb/18 11:40/~lp15/papers/UNITY/ehmety-composition.pdf
38 0.12%19/Feb/18 05:51/~lp15/papers/Notes/MOD-slides.pdf
38 0.10%19/Feb/18 07:07/~lp15/papers/Arith/SNC2014-invited.pdf
38 0.10%19/Feb/18 11:40/~lp15/papers/UNITY/Mechanizing-compositional.pdf
38 0.10%19/Feb/18 05:52/~lp15/papers/Bella/esorics2000.pdf
38 0.15%19/Feb/18 05:51/~lp15/papers/Formath/set-II.pdf
37 0.37%19/Feb/18 11:40/~lp15/papers/Reports/TypeClasses.pdf
37 0.07%19/Feb/18 11:56/~lp15/papers/Bella/dimacs97.pdf
36 19/Feb/18 10:03/~lp15/Grants/auth.html
36 0.17%19/Feb/18 05:52/~lp15/papers/Automation/reconstruction.pdf
36 0.04%19/Feb/18 05:52/~lp15/papers/Auth/security-protocols.pdf
35 0.06%19/Feb/18 05:52/~lp15/papers/Formath/final.pdf
35 0.04%19/Feb/18 06:25/~lp15/papers/Arith/FroCoS-2013-invited.pdf
35 0.08%18/Feb/18 01:05/~lp15/papers/Reports/blast.pdf
35 0.05%13/Feb/18 16:22/~lp15/papers/Workshop/papers/kalvala-linear.pdf
35 19/Feb/18 10:02/~lp15/Grants/Chaieb.html
35 0.14%19/Feb/18 05:52/~lp15/papers/Formath/constructible-slides.pdf
34 0.06%19/Feb/18 05:51/~lp15/papers/Arith/case-splitting.pdf
34 0.17%19/Feb/18 05:52/~lp15/papers/Auth/tls-slides.pdf
34 0.20%19/Feb/18 11:40/~lp15/papers/Reports/intro-to-isabelle.pdf
34 0.05%19/Feb/18 05:52/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
34 0.36%19/Feb/18 05:52/~lp15/papers/Automation/reconstruction-slides.pdf
34 0.02%19/Feb/18 05:52/~lp15/papers/Arith/NFM2014-invited.pdf
34 19/Feb/18 11:40/~lp15/papers/OLD.SETS/
34 0.35%19/Feb/18 11:40/~lp15/papers/Reports/ref97.pdf
34 0.64%19/Feb/18 05:52/~lp15/papers/Arith/SNC2014-slides.pdf
34 0.06%19/Feb/18 05:51/~lp15/papers/Arith/ITP-2012-invited.pdf
33 0.85%19/Feb/18 11:40/~lp15/Sue/Phd-Poster.pdf
33 0.05%19/Feb/18 05:52/~lp15/papers/Formath/constructible-abstract.pdf
33 0.04%19/Feb/18 05:52/~lp15/papers/Auth/recur-slides.pdf
33 19/Feb/18 11:40/~lp15/Sue/Cultures of Dance.html
33 0.11%19/Feb/18 05:51/~lp15/papers/Arith/cicm2012.pdf
32 0.05%19/Feb/18 11:40/~lp15/papers/Reports/Descent of BAN.pdf
32 0.22%19/Feb/18 05:52/~lp15/papers/Auth/SET-overview-slides.pdf
32 0.01%19/Feb/18 10:04/~lp15/MLbook/programs/sample3-old.sml
31 0.02%19/Feb/18 11:40/~lp15/papers/paulson.bib
31 19/Feb/18 11:40/~lp15/papers/Workshop/matthews.html
31 0.34%19/Feb/18 05:51/~lp15/Grants/Automation/poster.pdf
31 0.01%19/Feb/18 05:52/~lp15/papers/Formath/AC-slides.pdf
31 0.06%19/Feb/18 05:52/~lp15/papers/Automation/leo2-ijcar.pdf
31 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample10-old.sml
31 0.04%19/Feb/18 05:51/~lp15/papers/Notes/leeds-notes.pdf
31 0.29%19/Feb/18 11:40/~lp15/papers/Reports/TypeClasses-slides.pdf
31 0.07%19/Feb/18 11:40/~lp15/papers/Notes/strategy.pdf
31 0.14%10/Feb/18 21:17/~lp15/papers/Workshop/papers/rasmussen.pdf
31 19/Feb/18 10:05/~lp15/MLbook/exercises/disclaimer.html
30 0.06%18/Feb/18 07:09/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.05%13/Feb/18 23:42/~lp15/papers/Workshop/papers/thompson.pdf
30 1.40%19/Feb/18 05:51/~lp15/papers/Arith/ITP 2012 presentation.pdf
30 0.16%19/Feb/18 11:40/~lp15/papers/Reports/logics97.pdf
30 19/Feb/18 11:40/~lp15/papers/Workshop/participants.html
29 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample8-old.sml
29 0.08%19/Feb/18 05:52/~lp15/papers/Formath/Goedel-logic-mine.pdf
29 0.11%17/Feb/18 14:17/~lp15/papers/UNITY/UNITY.pdf
29 1.22%19/Feb/18 05:51/~lp15/papers/Notes/LCF+.pdf
28 0.18%19/Feb/18 05:52/~lp15/papers/Formath/Future of formalised maths.pdf
28 0.02%13/Feb/18 17:18/~lp15/Grants/LEO-II/leo2-case.pdf
28 0.02%19/Feb/18 05:51/~lp15/Grants/Automation/case.pdf
28 0.36%19/Feb/18 05:51/~lp15/papers/Arith/metit-slides.pdf
28 0.08%18/Feb/18 00:51/~lp15/images/ERC-LOGO.jpg
28 0.65%19/Feb/18 11:40/~lp15/Sue/Thesis-Appendices.pdf
27 0.07%19/Feb/18 10:02/~lp15/papers/Arith/case-splitting-stats.csv
27 0.11%19/Feb/18 05:52/~lp15/papers/Auth/SET-document.pdf
27 0.01%19/Feb/18 10:05/~lp15/MLbook/programs/sample9-2004.sml
27 19/Feb/18 11:40/~lp15/papers/Workshop/programme.html
26 0.02%19/Feb/18 11:40/~lp15/papers/Notes/strategy-slides.pdf
26 19/Feb/18 11:40/~lp15/papers/Workshop/staples.html
26 17/Feb/18 20:07/~lp15/MLbook/first/programs/Lambda.ML
26 19/Feb/18 11:40/~lp15/papers/Workshop/thompson.html
26 17/Feb/18 20:07/~lp15/MLbook/first/programs/Functions.ML
26 19/Feb/18 11:40/~lp15/papers/Workshop/agerholm.html
26 0.06%19/Feb/18 08:48/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
26 0.22%19/Feb/18 05:52/~lp15/papers/Arith/NFM2014-slides.pdf
25 19/Feb/18 11:40/~lp15/papers/Workshop/kalvala.html
25 0.01%19/Feb/18 05:51/~lp15/papers/Isabelle/blast-slides.pdf
25 19/Feb/18 11:40/~lp15/papers/Workshop/paulson.html
25 0.17%19/Feb/18 08:35/~lp15/Grants/BeyondLinArith/arith-case.pdf
25 17/Feb/18 20:07/~lp15/MLbook/first/programs/Modules.ML
25 0.23%19/Feb/18 05:52/~lp15/papers/Auth/dagstuhl2003-slides.pdf
25 19/Feb/18 11:40/~lp15/papers/Workshop/futures.html
25 18/Feb/18 12:59/~lp15/MLbook/first/programs/Imperative.ML
25 0.21%19/Feb/18 05:52/~lp15/papers/Bella/TPHOLs03-slides.pdf
24 19/Feb/18 11:40/~lp15/papers/Workshop/nipkow.html
24 0.32%19/Feb/18 05:52/~lp15/papers/Auth/dagstuhl2001-slides.pdf
24 0.03%19/Feb/18 05:51/~lp15/Grants/Automation/final.pdf
24 0.03%19/Feb/18 05:52/~lp15/papers/Arith/Overcoming.pdf
24 0.23%19/Feb/18 05:51/~lp15/papers/Isabelle/Cube-presentation.pdf
24 0.10%18/Feb/18 07:09/~lp15/papers/Reports/fleuriot-kepler.pdf
24 19/Feb/18 10:06/~lp15/papers/Arith/RELEASE-NOTES.txt
24 0.07%19/Feb/18 05:51/~lp15/papers/Isabelle/sylow.pdf
24 0.33%19/Feb/18 05:52/~lp15/papers/Auth/ijcar2001-slides.pdf
23 0.01%15/Feb/18 18:06/~lp15/MLbook/first/ML-syntax.ps.gz
23 0.01%19/Feb/18 05:51/~lp15/papers/Formath/ind-defs-slides.pdf
23 0.20%19/Feb/18 05:52/~lp15/papers/Formath/constructible-theory.pdf
23 0.09%18/Feb/18 13:19/~lp15/Grants/Alexandria/Part-B2.pdf
23 0.06%15/Feb/18 21:26/~lp15/papers/Workshop/papers/nipkow.pdf
23 0.27%19/Feb/18 05:51/~lp15/papers/Notes/formalizing-abst-slides.pdf
23 0.98%19/Feb/18 05:51/~lp15/papers/Formath/Goedel-slides.pdf
23 19/Feb/18 11:40/~lp15/papers/Workshop/wolff.html
22 0.03%18/Feb/18 02:19/~lp15/papers/Workshop/papers/ayari.pdf
22 0.43%19/Feb/18 05:51/~lp15/Grants/BeyondLinArith/arith-poster.pdf
22 0.05%18/Feb/18 23:48/~lp15/papers/Workshop/papers/matthews.pdf
22 19/Feb/18 10:03/~lp15/Grants/UNITY/temporal.html
21 17/Feb/18 20:07/~lp15/MLbook/first/programs/Lists-Trees.ML
21 0.12%19/Feb/18 05:52/~lp15/papers/Automation/Huet colloquium.pdf
20 19/Feb/18 11:40/~lp15/papers/Workshop/heule.html
19 17/Feb/18 20:07/~lp15/MLbook/first/programs/ParsePrint.ML
19 0.19% 5/Feb/18 14:01/~lp15/papers/Reports/popl82.pdf
19 0.01%11/Feb/18 10:51/~lp15/papers/Workshop/kammueller.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.01%19/Feb/18 11:40/~lp15/Sue/Cultures of Dance.pdf
17 0.14% 9/Feb/18 15:12/~lp15/papers/Deduction/lecture1.pdf
17 0.04% 8/Feb/18 12:25/~lp15/papers/Workshop/papers/voelker.pdf
17 0.52%19/Feb/18 05:52/~lp15/papers/Arith/Overcoming-slides.pdf
17 0.12%17/Feb/18 03:25/~lp15/papers/Deduction/lecture3.pdf
17 0.06%11/Feb/18 11:04/~lp15/papers/Workshop/papers/kammueller.pdf
16 0.03%15/Feb/18 12:09/~lp15/papers/Workshop/papers/owens.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
15 19/Feb/18 02:51/~lp15/papers/Workshop/bednarczyk.txt
15 0.03%19/Feb/18 00:05/~lp15/papers/Workshop/papers/benini.pdf
15 0.01%16/Feb/18 20:40/~lp15/Grants/SET/case.pdf
15 0.02% 7/Feb/18 12:47/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
15 2.71%17/Feb/18 20:04/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
15 0.04%16/Feb/18 21:07/~lp15/papers/Workshop/papers/vigano.pdf
15 2.97%19/Feb/18 07:34/~lp15/archive/Isabelle2009-1.tar.gz
15 0.04% 7/Feb/18 12:47/~lp15/papers/Workshop/papers/agerholm.pdf
15 0.11%18/Feb/18 07:09/~lp15/Pages/4colproof.pdf
14 14/Feb/18 12:59/~lp15/Grants/BeyondLinArith/auth-final.pdf
14 0.39%12/Feb/18 13:07/~lp15/Grants/LEO-II/leo project poster.pdf
14 0.09%18/Feb/18 07:09/~lp15/Grants/Alexandria/DoA.pdf
14 0.02% 7/Feb/18 12:47/~lp15/papers/Workshop/vigano.pdf
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.07%12/Feb/18 02:34/~lp15/images/pilkington-full.jpg
13 0.02% 9/Feb/18 19:51/~lp15/papers/Isabelle/Goedel-logic.pdf
13 16/Feb/18 20:48/~lp15/Grants/SET/final.pdf
13 0.05%19/Feb/18 02:51/~lp15/papers/Workshop/papers/bednarczyk.pdf
13 0.05%17/Feb/18 20:04/~lp15/Data/relevance/tptp-2007-03-13.tbz
13  7/Feb/18 12:48/~lp15/MLbook/first/ERRATA1.txt
12 2.49%19/Feb/18 07:34/~lp15/archive/Isabelle2009-2.tar.gz
12 0.02%11/Feb/18 17:11/~lp15/papers/Workshop/papers/staples.pdf
12 0.02% 9/Feb/18 07:43/~lp15/Grants/Chaieb-case.pdf
12 19/Feb/18 07:35/~lp15/archive/ERRATA.txt
12 0.02%15/Feb/18 08:48/~lp15/papers/Ballarin/aisc98.pdf
12 17/Feb/18 20:07/~lp15/MLbook/first/programs/Hal.ML
11  7/Feb/18 12:48/~lp15/MLbook/first/ERRATA3.txt
11 0.53%19/Feb/18 07:34/~lp15/archive/Isabelle2005.tar.gz
11 0.01%19/Feb/18 07:35/~lp15/archive/Isabelle86.tar.gz
11 2.90%19/Feb/18 07:33/~lp15/archive/Isabelle2014.tar.gz
11 0.34%19/Feb/18 07:34/~lp15/archive/Isabelle99-1.tar.gz
11 0.07%15/Feb/18 23:20/~lp15/papers/Deduction/lecture2.pdf
11 2.27%19/Feb/18 07:34/~lp15/archive/Isabelle2011.tar.gz
11 0.05%19/Feb/18 05:51/~lp15/papers/Arith/Huang-precondition.pdf
11 0.04%19/Feb/18 07:32/~lp15/archive/isabelle-users.03.gz
11 0.47%19/Feb/18 07:34/~lp15/archive/Isabelle2003.tar.gz
11 15/Feb/18 11:31/~lp15/Data/relevance/unfiltered-vampire.txt
11 0.08%19/Feb/18 05:51/~lp15/papers/Formath/Sophia2017.pdf
11 0.49%19/Feb/18 07:34/~lp15/archive/Isabelle2004.tar.gz
10 0.65%19/Feb/18 07:34/~lp15/archive/Isabelle2009.tar.gz
10 0.02% 8/Feb/18 19:20/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
10  7/Feb/18 12:47/~lp15/papers/Workshop/owens.txt
10 0.02%19/Feb/18 07:33/~lp15/archive/isabelle-users.98.gz
10 2.62%17/Feb/18 20:03/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
10 19/Feb/18 07:35/~lp15/archive/HOL-extensions.dvi.gz
10 0.06% 7/Feb/18 12:48/~lp15/papers/Deduction/lecture4.pdf
10 19/Feb/18 03:28/~lp15/Data/relevance/unfiltered-spass.txt
10 0.04%19/Feb/18 07:32/~lp15/archive/isabelle-users.04.gz
10 0.02%19/Feb/18 07:35/~lp15/archive/Isabelle89.tar.gz
10 0.14%19/Feb/18 07:35/~lp15/archive/Isabelle98.tar.gz
10 0.02% 7/Feb/18 12:48/~lp15/papers/Ballarin/coding.pdf
9 2.34%19/Feb/18 07:34/~lp15/archive/Isabelle2013.tar.gz
9 0.01%11/Feb/18 17:46/~lp15/papers/Workshop/front.pdf
9 0.01%19/Feb/18 07:33/~lp15/archive/isabelle-users.95.gz
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.55%17/Feb/18 20:02/~lp15/Data/ho-translations/Comb.tbz
9 0.02%19/Feb/18 07:35/~lp15/archive/Isabelle90.tar.gz
9 0.07%19/Feb/18 07:35/~lp15/archive/Isabelle94-7.tar.gz
9 0.02% 7/Feb/18 12:48/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 16/Feb/18 16:57/~lp15/MLbook/first/programs/edits.txt
9 0.28% 7/Feb/18 12:48/~lp15/papers/Isabelle/Goedel-slides.pdf
9 0.02%19/Feb/18 07:33/~lp15/archive/isabelle-users.99.gz
9 2.95%19/Feb/18 07:33/~lp15/archive/Isabelle2013-1.tar.gz
9 2.07%19/Feb/18 07:33/~lp15/archive/Isabelle2015.tar.gz
9 0.09%19/Feb/18 05:52/~lp15/papers/Formath/CPP 2017.pdf
9 0.04% 9/Feb/18 08:34/~lp15/papers/Isabelle/Goedel-ar.pdf
9 0.03%19/Feb/18 07:33/~lp15/archive/isabelle-users.01.gz
9 0.28%19/Feb/18 07:34/~lp15/archive/Isabelle2002.tar.gz
9 0.03%19/Feb/18 07:33/~lp15/archive/isabelle-users.02.gz
9 0.44%19/Feb/18 07:34/~lp15/archive/Isabelle2007.tar.gz
9 19/Feb/18 06:19/~lp15/Data/ho-translations/Theories.tbz
9 2.17%17/Feb/18 20:03/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 11/Feb/18 18:54/~lp15/MLbook/first/ML-syntax.dvi.gz
9 0.08%17/Feb/18 12:57/~lp15/papers/Automation/h4qed-clean.pdf
9 18/Feb/18 01:25/~lp15/Data/relevance/unfiltered-E.txt
9 0.03%19/Feb/18 07:32/~lp15/archive/isabelle-users.05.gz
9  9/Feb/18 00:33/~lp15/MLbook/first/ERRATA2.txt
8 0.06%19/Feb/18 07:35/~lp15/archive/Isabelle94-6.tar.gz
8 0.04%19/Feb/18 07:35/~lp15/archive/Isabelle94.tar.gz
8 0.15%19/Feb/18 07:34/~lp15/archive/Isabelle99.tar.gz
8 19/Feb/18 07:33/~lp15/archive/isabelle-users.90-92.gz
8 0.01%19/Feb/18 07:33/~lp15/archive/isabelle-users.96.gz
8 17/Feb/18 20:07/~lp15/Templates/publications.dwt
8 0.02%19/Feb/18 07:35/~lp15/archive/lcf.tar.gz
8 17/Feb/18 20:02/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
8 11/Feb/18 13:49/~lp15/MLbook/first/answers8.txt.gz
8 0.01%19/Feb/18 07:33/~lp15/archive/isabelle-users.97.gz
8 0.02%19/Feb/18 07:35/~lp15/archive/Isabelle91.tar.gz
8  7/Feb/18 12:48/~lp15/images/larry-paulson.jpg
8 0.09%19/Feb/18 07:35/~lp15/archive/Isabelle94-8.tar.gz
8 0.03%19/Feb/18 07:33/~lp15/archive/isabelle-users.00.gz
8 0.47%17/Feb/18 20:02/~lp15/Data/ho-translations/Abst.tbz
8 0.01%19/Feb/18 07:35/~lp15/archive/compgen.tar.gz
8 0.03% 7/Feb/18 12:48/~lp15/papers/OLD.SETS/reflection-slides.pdf
8 0.02% 7/Feb/18 12:48/~lp15/papers/OLD.SETS/AC.pdf
8 0.05%19/Feb/18 07:35/~lp15/archive/Isabelle93.tar.gz
8 1.80%19/Feb/18 07:34/~lp15/archive/Isabelle2011-1.tar.gz
8 0.01%19/Feb/18 07:33/~lp15/archive/isabelle-users.94.gz
254 5.03%19/Feb/18 07:35[not listed: 51 files]