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

Program started at Mon-15-Oct-2018 10:51.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-15-Oct-2018 10:45 (1439.82 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-Oct-2018 10:51.

Successful requests: 24,753 (4,261)
Average successful requests per day: 17 (608)
Successful requests for pages: 9,483 (1,788)
Average successful requests for pages per day: 6 (255)
Failed requests: 924 (150)
Redirected requests: 149 (34)
Distinct files requested: 616 (423)
Distinct hosts served: 5,082 (1,089)
Corrupt logfile lines: 22
Unwanted logfile entries: 20,220
Data transferred: 6.53 gigabytes (944.47 megabytes)
Average data transferred per day: 4.65 megabytes (134.92 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 
Sun29441047+++++++++++++++++++++++++++
Mon45951856+++++++++++++++++++++++++++++++++++++++++++++++
Tue31681131+++++++++++++++++++++++++++++
Wed35031428++++++++++++++++++++++++++++++++++++
Thu44351739++++++++++++++++++++++++++++++++++++++++++++
Fri2577999+++++++++++++++++++++++++
Sat35311283+++++++++++++++++++++++++++++++++

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
1063955.23%.com (Commercial)
535515.61%[unresolved numerical addresses]
2326 6.81%[domain not given]
1625 5.91%.net (Networks)
1015 2.87%.de (Germany)
680 2.02%.uk (United Kingdom)
468 1.94%[unknown domain]
329 1.13%.edu (USA Higher Education)
76 0.92%.br (Brazil)
232 0.82%.in (India)
111 0.65%.au (Australia)
77 0.61%.fr (France)
54 0.42%.ph (Philippines)
259 0.42%.ru (Russia)
75 0.32%.ca (Canada)
112 0.30%.se (Sweden)
75 0.30%.jp (Japan)
67 0.21%.pt (Portugal)
101 0.20%.it (Italy)
26 0.20%.th (Thailand)
28 0.20%.co (Colombia)
28 0.20%.za (South Africa)
43 0.17%.nz (New Zealand)
46 0.17%.zw (Zimbabwe)
42 0.13%.sg (Singapore)
51 0.13%.dk (Denmark)
14 0.12%.pk (Pakistan)
25 0.11%.ke (Kenya)
52 0.10%.org (Non Profit Making Organisations)
7 0.10%.np (Nepal)
22 0.10%.my (Malaysia)
54 0.09%.nl (Netherlands)
37 0.09%.bg (Bulgaria)
23 0.09%.vn (Vietnam)
27 0.08%.pl (Poland)
11 0.08%.id (Indonesia)
4 0.07%.ng (Nigeria)
25 0.06%.ua (Ukraine)
19 0.06%.mx (Mexico)
20 0.05%.at (Austria)
14 0.05%.arpa (Arpanet)
29 0.05%.cn (China)
13 0.05%.tw (Taiwan)
7 0.04%.hr (Croatia)
37 0.04%.gr (Greece)
3 0.04%.ir (Iran)
18 0.04%.tr (Turkey)
8 0.04%.ie (Ireland)
26 0.04%.ch (Switzerland)
37 0.04%.fi (Finland)
16 0.03%.hu (Hungary)
12 0.03%.be (Belgium)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
4 0.03%.si (Slovenia)
38 0.03%.hk (Hong Kong)
12 0.02%.na (Namibia)
21 0.02%.es (Spain)
5 0.02%.uy (Uruguay)
12 0.02%.ar (Argentina)
12 0.02%.no (Norway)
21 0.02%.cz (Czech Republic)
3 0.01%.er (Eritrea)
4 0.01%.is (Iceland)
2 0.01%.ly (Libya)
1 0.01%.gy (Guyana)
1 0.01%.jo (Jordan)
4 0.01%.ug (Uganda)
11 0.01%.gov (USA Government)
5 0.01%.il (Israel)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
3 0.01%.om (Oman)
5 0.01%.kz (Kazakhstan)
4 0.01%.lt (Lithuania)
13 0.01%.cy (Cyprus)
1 0.01%.by (Belarus)
3 0.01%.bw (Botswana)
13 .ro (Romania)
4 .gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
1 .am (Armenia)
2 .lu (Luxembourg)
4 .lv (Latvia)
4 .cl (Chile)
4 .lb (Lebanon)
6 .us (United States)
2 .sa (Saudi Arabia)
1 .sk (Slovakia)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
4 .bn (Brunei Darussalam)
1 .ec (Ecuador)
1 .ee (Estonia)

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
322315.20%amazonaws.com
2326 6.81%[domain not given]
1923 8.52%msn.com
1461 6.80%yandex.com
1108 3.78%baidu.com
76112.82%bluechipbacklinks.com
721 2.35%your-server.de
492 1.30%cam.ac.uk
468 1.94%[unknown domain]
329 0.43%114
320 0.07%46
298 0.10%sogou.com
269 0.58%virginm.net
213 0.74%103
210 0.94%41
206 0.01%semrush.com
205 4.29%telia.com
180 0.22%mail.ru
161 0.32%14
160 0.33%comcast.net
971932.47%[not listed: 1,421 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
71software
67pdf
66engineering
41notes
28equivalence
21for
16theorem
15prove
14in
14of
14classes
14and
13set
12r
12proof
12diploma
12class
11computer
11download
10is
10residue
9state
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
249[not listed: 117 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
186884105OS unknown
276182229Windows
 33721097  Windows NT
 3824984  Unknown Windows
 394123  Windows XP
 1010  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 32  Windows 98
330341113Macintosh
425101088Known robots
52863928Unix
 2816910  Linux
 249  Other Unix
 185  BSD
 32  SunOS
 22  OSF1
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
20845200 OK
3190206 Partial content
149301 Document moved permanently
718304 Not modified since last retrieval
45403 Access forbidden
878404 Document not found
1416 Requested range not valid

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- 1kB532 0.01%
1kB- 10kB7591 0.50%
10kB-100kB7277 4.38%
100kB- 1MB791841.33%
1MB- 10MB65825.84%
10MB-100MB7827.94%

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
1206962.50%.pdf [Adobe Portable Document Format]
40522.89%.gz [Gzip compressed files]
25522.66%  .tar.gz [Compressed archives]
10711.46%.tbz
1144 1.15%.jpg [JPEG graphics]
6355 0.59%[directories]
6 0.46%.tgz
3128 0.38%.html [Hypertext Markup Language]
8 0.22%.zip [Zip archives]
944 0.14%.sml
587 0.20%[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
168111.12%15/Oct/18 10:12/~lp15/papers/Notes/SE-I.pdf
1285 0.15%15/Oct/18 10:35/~lp15/
824 0.04%15/Oct/18 09:57/~lp15/MLbook/
605 0.63%15/Oct/18 10:35/~lp15/images/larry-home-small.jpg
511 4.27%15/Oct/18 09:55/~lp15/papers/Reports/equivclasses-slides.pdf
490 0.03%15/Oct/18 10:35/~lp15/MLbook/pub-details.html
406 0.81%15/Oct/18 07:23/~lp15/papers/Notes/Founds-FP.pdf
368 1.14%15/Oct/18 08:34/~lp15/papers/Reports/equivclasses.pdf
354 0.01%15/Oct/18 10:28/~lp15/MLbook/programs/
341 0.26% 8/Oct/18 14:38/~lp15/images/acm-logo.jpg
339 5.76%14/Oct/18 14:16/~lp15/Sue/Thesis.pdf
319 0.04%15/Oct/18 03:56/~lp15/papers/Arith/
295 1.16%15/Oct/18 10:22/~lp15/papers/Formath/Residue-theorem.pdf
278 3.23%14/Oct/18 12:30/~lp15/papers/Reports/thesis.pdf
205 0.11%15/Oct/18 08:57/~lp15/papers/refereed.html
202 0.01%14/Oct/18 20:08/~lp15/MLbook/exercises/
197 0.01%15/Oct/18 09:36/~lp15/MLbook/programs/sample2.sml
190 0.97%13/Oct/18 04:33/~lp15/papers/Formath/Goedel-ar.pdf
187 0.02%14/Oct/18 13:55/~lp15/Sue/
167 0.41%15/Oct/18 09:48/~lp15/MLbook/PDF/chapter1.pdf
154 0.02%15/Oct/18 04:33/~lp15/papers/Auth/
150 0.12%15/Oct/18 06:23/~lp15/papers/Reports/mutil.pdf
149 0.68%15/Oct/18 06:52/~lp15/papers/Reports/Bridge-ml.pdf
143 0.55%15/Oct/18 09:57/~lp15/MLbook/PDF/chapter2.pdf
140 0.02%14/Oct/18 17:26/~lp15/papers/Formath/
139 0.01%15/Oct/18 08:18/~lp15/papers/Automation/
138 0.02%15/Oct/18 06:05/~lp15/Grants/SET/
135 0.01%15/Oct/18 07:21/~lp15/Grants/AutoPolyFun/
132 1.49%14/Oct/18 19:04/~lp15/papers/Notes/LCF+.pdf
130 0.55%14/Oct/18 22:16/~lp15/papers/Auth/jcs.pdf
120 0.01%14/Oct/18 23:05/~lp15/archive/
119 0.01%14/Oct/18 19:46/~lp15/papers/lecture-courses.html
118 0.01%14/Oct/18 15:12/~lp15/papers/
10 13/Oct/18 20:47  /~lp15/papers/?C=N;O=D
10  8/Oct/18 06:56  /~lp15/papers/?C=S;O=A
114 0.01%14/Oct/18 17:26/~lp15/papers/Reports/
112 0.02%15/Oct/18 04:58/~lp15/MLbook/exercises/exer8.html
111 0.01%15/Oct/18 08:03/~lp15/Pages/cv.html
111 0.01%15/Oct/18 06:01/~lp15/MLbook/exercises/exer2.html
106 0.07%14/Oct/18 11:23/~lp15/Usage/
106 0.14%14/Oct/18 21:32/~lp15/papers/Auth/lics.pdf
106 0.36%14/Oct/18 14:24/~lp15/papers/Isabelle/fleuriot-kepler.pdf
103 0.01%15/Oct/18 09:01/~lp15/MLbook/ERRATA.html
103 0.01%14/Oct/18 17:27/~lp15/Grants/
99 0.34%14/Oct/18 15:34/~lp15/MLbook/PDF/chapter4.pdf
99 0.01%13/Oct/18 03:33/~lp15/images/
10  4/Oct/18 15:49  /~lp15/images/?C=M;O=A
98 0.01%14/Oct/18 21:48/~lp15/papers/Isabelle/
97 0.39%15/Oct/18 09:57/~lp15/MLbook/PDF/chapter3.pdf
97 0.34%14/Oct/18 02:06/~lp15/papers/Formath/set-I.pdf
96 0.14%14/Oct/18 20:37/~lp15/papers/Formath/Goedel-logic.pdf
96 13/Oct/18 03:44/~lp15/papers/Notes/
11 13/Oct/18 03:44  /~lp15/papers/Notes/?C=S;O=A
10  8/Oct/18 16:27  /~lp15/papers/Notes/?C=N;O=D
10 12/Oct/18 21:11  /~lp15/papers/Notes/?C=D;O=A
96 0.22%15/Oct/18 04:33/~lp15/papers/Auth/tls.pdf
95 0.01%15/Oct/18 01:00/~lp15/Grants/LEO-II/
94 15/Oct/18 07:21/~lp15/Pages/
10  4/Oct/18 15:50  /~lp15/Pages/?C=M;O=A
10  8/Oct/18 17:54  /~lp15/Pages/?C=N;O=D
10 10/Oct/18 20:04  /~lp15/Pages/?C=S;O=A
10  4/Oct/18 15:50  /~lp15/Pages/?C=D;O=A
94 0.11%14/Oct/18 17:27/~lp15/papers/Auth/SET-overview-2002.pdf
91 15/Oct/18 06:53/~lp15/MLbook/general.html
91 0.13%15/Oct/18 05:50/~lp15/Pages/vita.pdf
88 0.02%15/Oct/18 06:19/~lp15/MLbook/exercises/exer3.html
88 0.01%15/Oct/18 05:29/~lp15/Grants/Automation/
86 15/Oct/18 07:19/~lp15/tmp/
11  9/Oct/18 19:46  /~lp15/tmp/?C=S;O=A
86 0.01%14/Oct/18 23:26/~lp15/Pages/Scream.html
85 13/Oct/18 17:18/~lp15/css/
82 0.21%14/Oct/18 03:43/~lp15/papers/Formath/Greens-theorem.pdf
82 0.01%15/Oct/18 08:50/~lp15/MLbook/review.html
82 13/Oct/18 11:54/~lp15/SpryAssets/
82 0.01%14/Oct/18 20:05/~lp15/Pages/ACS-proposals.html
82 0.01%15/Oct/18 01:00/~lp15/papers/workshop.html
81 0.29%15/Oct/18 05:19/~lp15/MLbook/PDF/chapter8.pdf
80 0.01%14/Oct/18 15:34/~lp15/MLbook/programs/sample3.sml
80 0.01%13/Oct/18 14:18/~lp15/papers/hol.html
79 0.34%14/Oct/18 14:57/~lp15/papers/Arith/Sogokon-nfm14.pdf
78 0.14%15/Oct/18 09:54/~lp15/MLbook/PDF/contents.pdf
78 0.52%14/Oct/18 12:40/~lp15/Pages/Munich-slides.pdf
77 0.01%15/Oct/18 10:42/~lp15/papers/invited.html
77 0.01%14/Oct/18 04:40/~lp15/MLbook/programs/sample5.sml
77 14/Oct/18 08:08/~lp15/MLbook/StandardML.plist
76 0.01%14/Oct/18 03:53/~lp15/papers/books.html
76 0.01%14/Oct/18 20:31/~lp15/MLbook/programs/sample4.sml
75 15/Oct/18 05:48/~lp15/Grants/BeyondLinArith/
75 14/Oct/18 20:43/~lp15/papers/Bella/
75 0.21%14/Oct/18 06:44/~lp15/papers/Automation/sultana-pfreconstruction.pdf
75 0.01%15/Oct/18 01:04/~lp15/papers/Workshop/
75 0.19%15/Oct/18 00:47/~lp15/papers/Reports/TPHOLs05.pdf
73 14/Oct/18 01:05/~lp15/MLbook/first/
71 14/Oct/18 13:57/~lp15/Pages/CL-English.html
70 0.01%15/Oct/18 10:07/~lp15/MLbook/programs/sample8-2004.sml
70 0.15%13/Oct/18 04:33/~lp15/papers/Formath/automata.pdf
70 14/Oct/18 13:09/~lp15/Templates/
70 0.01%14/Oct/18 17:44/~lp15/papers/recur.html
69 0.27%14/Oct/18 11:31/~lp15/MLbook/PDF/chapter7.pdf
69 0.02%13/Oct/18 19:10/~lp15/Usage/images/
68 14/Oct/18 21:56/~lp15/papers/Reviews/
68 0.24%14/Oct/18 11:10/~lp15/MLbook/PDF/chapter5.pdf
68 0.01%14/Oct/18 19:47/~lp15/Grants/Alexandria/
68 15/Oct/18 09:47/~lp15/MLbook/programs/ROOT.sml
68 0.10%15/Oct/18 09:50/~lp15/papers/Arith/Narayanan DATE.pdf
67 12/Oct/18 18:29/~lp15/Data/
67 0.13%15/Oct/18 10:00/~lp15/papers/Automation/paar.pdf
66 15/Oct/18 04:30/~lp15/papers/UNITY/
66 0.16%13/Oct/18 19:25/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
65 0.20%14/Oct/18 16:10/~lp15/papers/Automation/filtering.pdf
64 14/Oct/18 07:50/~lp15/papers/Arith/download.html
64 0.22%14/Oct/18 11:10/~lp15/MLbook/PDF/chapter6.pdf
64 0.23%11/Oct/18 23:37/~lp15/papers/Bella/accountability.pdf
64 0.27%12/Oct/18 16:59/~lp15/papers/Bella/smartcards-jcs.pdf
63 0.03%15/Oct/18 08:03/~lp15/images/pilkington.jpg
63 0.21%15/Oct/18 08:51/~lp15/MLbook/PDF/chapter10.pdf
62 0.11%13/Oct/18 13:03/~lp15/papers/Auth/multicast_verification.pdf
62 0.03%14/Oct/18 13:55/~lp15/Sue/Sue Paulson.jpg
60 0.14%14/Oct/18 02:51/~lp15/papers/Formath/AC.pdf
59 0.11%13/Oct/18 04:33/~lp15/papers/Arith/Huang-3heuristics.pdf
59 12/Oct/18 16:48/~lp15/papers/Ballarin/
56 0.20%14/Oct/18 00:26/~lp15/papers/Automation/translations-jar.pdf
56 0.12%10/Oct/18 09:40/~lp15/papers/Bella/esorics98.pdf
56 0.21%15/Oct/18 10:14/~lp15/papers/Formath/reflection-slides.pdf
56 0.01%13/Oct/18 12:36/~lp15/Grants/holisa.html
56 0.01%13/Oct/18 12:23/~lp15/Grants/UNITY/
55 0.27%14/Oct/18 08:17/~lp15/papers/Arith/calculemus2008.pdf
54 0.05%14/Oct/18 08:04/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
54 0.13%13/Oct/18 23:49/~lp15/papers/Automation/meng-termination.pdf
54 0.12%14/Oct/18 16:05/~lp15/papers/Arith/Hscc09.pdf
53 0.14%13/Oct/18 06:52/~lp15/papers/Bella/certified-email.pdf
52 0.01%14/Oct/18 20:48/~lp15/MLbook/programs/sample7.sml
52 0.01%15/Oct/18 06:43/~lp15/MLbook/exercises/exer6.html
52 0.10% 9/Oct/18 19:11/~lp15/Pages/harrison-real.pdf
52 0.01%15/Oct/18 04:30/~lp15/MLbook/exercises/exer7.html
51 0.06%13/Oct/18 16:14/~lp15/Sue/Cultures of Dance.ppt
51 1.05%14/Oct/18 16:59/~lp15/papers/Auth/lics-slides.pdf
51 14/Oct/18 17:49/~lp15/Data/relevance/
50 14/Oct/18 19:56/~lp15/Data/ho-translations/
50 0.09%14/Oct/18 02:07/~lp15/papers/Isabelle/aisc98.pdf
50 14/Oct/18 09:51/~lp15/papers/Arith/qepcad-for-mac.html
50 0.17%14/Oct/18 11:10/~lp15/MLbook/PDF/chapter9.pdf
49 0.01%15/Oct/18 04:08/~lp15/MLbook/exercises/exer4.html
49 14/Oct/18 19:41/~lp15/MLbook/first/programs/
49 0.01%15/Oct/18 09:33/~lp15/MLbook/programs/sample9.sml
49 0.01%14/Oct/18 22:19/~lp15/MLbook/exercises/exer5.html
49 0.11%14/Oct/18 22:37/~lp15/papers/Automation/translations.pdf
48 0.02%14/Oct/18 00:11/~lp15/papers/Reviews/MLer.pdf
48 0.19%14/Oct/18 23:03/~lp15/papers/UNITY/composition.pdf
48 0.10%13/Oct/18 13:47/~lp15/papers/Bella/registration.pdf
47 0.01%14/Oct/18 01:29/~lp15/MLbook/programs/sample8.sml
47 0.09%15/Oct/18 03:35/~lp15/papers/Bella/nonrepudiation.pdf
47 15/Oct/18 09:48/~lp15/MLbook/disclaimer.html
47 0.14%15/Oct/18 05:35/~lp15/papers/Formath/reflection.pdf
46 0.11%15/Oct/18 01:14/~lp15/papers/Arith/lpar2007.pdf
45 13/Oct/18 20:24/~lp15/papers/Deduction/
45 0.07%13/Oct/18 10:40/~lp15/papers/Isabelle/chap700.pdf
45 14/Oct/18 11:10/~lp15/MLbook/PDF/
44 0.01%15/Oct/18 10:17/~lp15/MLbook/programs/sample10.sml
44 0.05%13/Oct/18 22:09/~lp15/papers/Workshop/friedrich.pdf
43 11/Oct/18 00:46/~lp15/Pages/projects.html
42 0.01%14/Oct/18 21:04/~lp15/MLbook/programs/test10.sml
42 0.09%14/Oct/18 02:50/~lp15/papers/Automation/jar-smt.pdf
42 0.07%13/Oct/18 16:08/~lp15/papers/Arith/fmcad2009.pdf
42 0.07%15/Oct/18 04:34/~lp15/papers/Bella/purchase.pdf
42 0.01%14/Oct/18 21:00/~lp15/MLbook/programs/sample3-old.sml
41 0.12%13/Oct/18 13:07/~lp15/papers/Auth/SET-overview-IJIS.pdf
41 0.07%15/Oct/18 04:58/~lp15/papers/Bella/cav98.pdf
41 0.06%12/Oct/18 07:05/~lp15/papers/UNITY/tphols01.pdf
41 0.06%14/Oct/18 08:14/~lp15/papers/Arith/pdpar2006.pdf
41 0.11%14/Oct/18 19:47/~lp15/images/ERC-LOGO.jpg
41 0.10%14/Oct/18 22:27/~lp15/papers/Formath/milner-ind-defs.pdf
41 0.05%14/Oct/18 05:08/~lp15/papers/Automation/thf-sledge.pdf
40 0.05%14/Oct/18 01:08/~lp15/papers/Auth/auth-slides.pdf
40 0.01%14/Oct/18 20:43/~lp15/MLbook/first/programs/Lambda.ML
40 0.12%14/Oct/18 02:10/~lp15/papers/Notes/MOD-slides.pdf
40 14/Oct/18 13:40/~lp15/MLbook/first/programs/Functions.ML
40 14/Oct/18 23:01/~lp15/papers/Arith/atan-problem-1-weak.html
40 0.08%14/Oct/18 22:59/~lp15/papers/Isabelle/blast.pdf
39 0.27%13/Oct/18 17:47/~lp15/papers/Bella/purchase-JAR.pdf
39 0.08%14/Oct/18 22:55/~lp15/papers/Automation/IJCAR2004.pdf
39 0.08%13/Oct/18 04:47/~lp15/Grants/AutoPolyFun/case.pdf
39 0.04%12/Oct/18 18:28/~lp15/papers/Reports/CADE9.pdf
39 0.08%13/Oct/18 17:42/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
39 0.16%14/Oct/18 22:27/~lp15/papers/Formath/set-II.pdf
39 0.28%14/Oct/18 22:59/~lp15/papers/Automation/info-and-comp.pdf
38 0.07%14/Oct/18 22:54/~lp15/papers/UNITY/ehmety-composition.pdf
38 0.24%13/Oct/18 02:21/~lp15/papers/Arith/MetiTarski-jar.pdf
38 0.02%11/Oct/18 08:48/~lp15/papers/Reviews/construct.pdf
37 15/Oct/18 07:07/~lp15/MLbook/programs/notes.html
37 0.18%14/Oct/18 22:59/~lp15/papers/Automation/filtering-jal.pdf
37 0.09%14/Oct/18 00:33/~lp15/papers/Isabelle/coding.pdf
37 0.05%14/Oct/18 12:15/~lp15/papers/Reports/CADE11.pdf
37 0.04%13/Oct/18 13:14/~lp15/papers/Auth/yahalom.pdf
36 0.17%13/Oct/18 23:20/~lp15/papers/Workshop/papers/rasmussen.pdf
36 0.10%14/Oct/18 07:11/~lp15/papers/UNITY/Mechanizing-compositional.pdf
36 0.04%14/Oct/18 16:57/~lp15/papers/Auth/security-protocols.pdf
35 0.08% 6/Oct/18 05:36/~lp15/papers/Reports/blast.pdf
35 14/Oct/18 21:11/~lp15/MLbook/first/programs/Modules.ML
35 0.08%15/Oct/18 10:09/~lp15/MLbook/PDF/projects-bib.pdf
35 0.01%14/Oct/18 20:42/~lp15/MLbook/programs/sample9-2004.sml
35 0.08%15/Oct/18 07:20/~lp15/papers/Automation/cade2011-sledge-smt.pdf
34 0.01%14/Oct/18 20:41/~lp15/MLbook/programs/sample10-old.sml
34 1.70%14/Oct/18 11:20/~lp15/papers/Arith/FroCos-presentation.pdf
34 14/Oct/18 08:08/~lp15/MLbook/exercises/disclaimer.html
33 0.01%14/Oct/18 13:40/~lp15/MLbook/first/programs/ParsePrint.ML
33 0.06%14/Oct/18 22:27/~lp15/papers/Formath/final.pdf
33 0.06%15/Oct/18 02:04/~lp15/papers/Arith/case-splitting.pdf
33 0.05%15/Oct/18 10:18/~lp15/papers/Workshop/papers/kalvala-linear.pdf
33 0.11%14/Oct/18 23:05/~lp15/papers/UNITY/UNITY.pdf
32 0.06%11/Oct/18 23:30/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
32 0.36%14/Oct/18 22:41/~lp15/papers/Automation/reconstruction-slides.pdf
32 0.02%15/Oct/18 10:08/~lp15/papers/Arith/NFM2014-invited.pdf
32 0.32%13/Oct/18 11:04/~lp15/papers/Reports/ref97.pdf
31 0.01%15/Oct/18 03:38/~lp15/MLbook/programs/sample8-old.sml
31 0.06%15/Oct/18 09:00/~lp15/papers/Bella/dimacs97.pdf
31 0.14%12/Oct/18 13:05/~lp15/papers/Automation/reconstruction.pdf
31 0.05%13/Oct/18 19:25/~lp15/papers/Workshop/papers/thompson.pdf
31 0.05%15/Oct/18 07:33/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
31 0.08%14/Oct/18 08:08/~lp15/papers/Bella/esorics2000.pdf
31 0.05%14/Oct/18 17:40/~lp15/papers/Auth/ijcar2001.pdf
31 14/Oct/18 11:35/~lp15/papers/Workshop/programme.html
30 0.03%13/Oct/18 16:15/~lp15/papers/Arith/FroCoS-2013-invited.pdf
30 0.13%13/Oct/18 18:34/~lp15/papers/Reports/fleuriot-kepler.pdf
30 15/Oct/18 10:41/~lp15/MLbook/first/programs/Imperative.ML
30 0.05%14/Oct/18 04:38/~lp15/papers/Arith/ITP-2012-invited.pdf
29 14/Oct/18 04:39/~lp15/Grants/auth.html
29 0.02%13/Oct/18 19:26/~lp15/Grants/LEO-II/leo2-case.pdf
29 0.14%13/Oct/18 13:13/~lp15/papers/Auth/tls-slides.pdf
29 0.06%13/Oct/18 04:33/~lp15/papers/Notes/strategy.pdf
29 0.12%15/Oct/18 05:19/~lp15/papers/Formath/constructible-slides.pdf
28 0.02%13/Oct/18 16:15/~lp15/papers/paulson.bib
28 0.01%14/Oct/18 13:40/~lp15/MLbook/first/programs/Lists-Trees.ML
28 0.04%14/Oct/18 08:02/~lp15/papers/Reports/Descent of BAN.pdf
28 13/Oct/18 19:25/~lp15/papers/Workshop/matthews.html
28 0.01%15/Oct/18 05:35/~lp15/papers/Formath/AC-slides.pdf
28 0.05%13/Oct/18 04:34/~lp15/papers/Automation/leo2-ijcar.pdf
28 0.03%13/Oct/18 18:30/~lp15/papers/Notes/leeds-notes.pdf
28 0.05%13/Oct/18 19:25/~lp15/papers/Workshop/papers/voelker.pdf
28 0.17%14/Oct/18 17:28/~lp15/papers/Reports/intro-to-isabelle.pdf
28 0.08%13/Oct/18 04:34/~lp15/papers/Formath/Goedel-logic-mine.pdf
28 0.19%14/Oct/18 16:57/~lp15/papers/Auth/SET-overview-slides.pdf
28 14/Oct/18 01:23/~lp15/papers/OLD.SETS/
27 0.17%13/Oct/18 18:20/~lp15/papers/Formath/Future of formalised maths.pdf
27 0.07%13/Oct/18 19:22/~lp15/papers/Workshop/papers/nipkow.pdf
27 0.03%13/Oct/18 13:13/~lp15/papers/Auth/recur-slides.pdf
27 15/Oct/18 07:54/~lp15/Grants/Chaieb.html
27 0.01%15/Oct/18 10:11/~lp15/MLbook/first/programs/Hal.ML
26 0.07%14/Oct/18 14:57/~lp15/papers/Arith/case-splitting-stats.csv
26 0.02%14/Oct/18 14:34/~lp15/papers/Notes/strategy-slides.pdf
26 0.70%13/Oct/18 16:14/~lp15/Sue/Phd-Poster.pdf
26 1.29%13/Oct/18 17:12/~lp15/papers/Arith/ITP 2012 presentation.pdf
26 0.14%15/Oct/18 05:16/~lp15/papers/Reports/logics97.pdf
26 0.07%13/Oct/18 01:55/~lp15/papers/Arith/SNC2014-invited.pdf
26 0.24%13/Oct/18 11:41/~lp15/papers/Auth/dagstuhl2003-slides.pdf
26 0.10%15/Oct/18 02:59/~lp15/papers/Workshop/papers/kammueller.pdf
25 14/Oct/18 16:57/~lp15/papers/Workshop/staples.html
25 0.25% 8/Oct/18 14:23/~lp15/papers/Reports/TypeClasses.pdf
25 15/Oct/18 03:06/~lp15/papers/Workshop/paulson.html
25 0.02%13/Oct/18 17:40/~lp15/Grants/Automation/case.pdf
25 0.34%13/Oct/18 21:20/~lp15/papers/Arith/metit-slides.pdf
25 0.07%13/Oct/18 19:25/~lp15/papers/Workshop/papers/vigano.pdf
25 0.04%13/Oct/18 18:16/~lp15/papers/Formath/constructible-abstract.pdf
25 13/Oct/18 19:25/~lp15/papers/Workshop/participants.html
25 0.10%13/Oct/18 20:11/~lp15/papers/Arith/cicm2012.pdf
25 0.56%13/Oct/18 16:14/~lp15/Sue/Thesis-Appendices.pdf
24 0.11%13/Oct/18 13:13/~lp15/papers/Auth/SET-document.pdf
24 14/Oct/18 09:53/~lp15/papers/Workshop/agerholm.html
24 13/Oct/18 23:44/~lp15/Sue/Cultures of Dance.html
23 0.01%11/Oct/18 18:29/~lp15/MLbook/first/ML-syntax.ps.gz
23 0.13%14/Oct/18 03:49/~lp15/Grants/Alexandria/DoA.pdf
23 14/Oct/18 08:56/~lp15/papers/Workshop/thompson.html
23 0.07%15/Oct/18 05:35/~lp15/papers/Isabelle/sylow.pdf
23 13/Oct/18 22:09/~lp15/papers/Workshop/futures.html
22 13/Oct/18 22:08/~lp15/papers/Workshop/kalvala.html
22 0.08%15/Oct/18 07:07/~lp15/Grants/Alexandria/Part-B2.pdf
22 0.25%13/Oct/18 04:33/~lp15/Grants/Automation/poster.pdf
22 0.23%14/Oct/18 18:11/~lp15/papers/Isabelle/Cube-presentation.pdf
22 0.02%14/Oct/18 16:57/~lp15/papers/Workshop/kammueller.pdf
22 0.56%13/Oct/18 01:22/~lp15/papers/Arith/SNC2014-slides.pdf
22 0.19%14/Oct/18 04:01/~lp15/papers/Arith/NFM2014-slides.pdf
22 13/Oct/18 22:09/~lp15/papers/Workshop/wolff.html
21 14/Oct/18 05:54/~lp15/papers/Formath/ind-defs-slides.pdf
21 0.22%13/Oct/18 04:34/~lp15/papers/Reports/TypeClasses-slides.pdf
21 0.15%13/Oct/18 16:11/~lp15/Grants/BeyondLinArith/arith-case.pdf
21 0.22%13/Oct/18 16:15/~lp15/papers/Notes/formalizing-abst-slides.pdf
20 13/Oct/18 19:25/~lp15/papers/Workshop/nipkow.html
20 0.03%13/Oct/18 19:25/~lp15/papers/Workshop/papers/ayari.pdf
20 0.42%12/Oct/18 20:26/~lp15/Grants/BeyondLinArith/arith-poster.pdf
20 0.03%15/Oct/18 10:45/~lp15/Grants/Automation/final.pdf
20 0.93%13/Oct/18 23:34/~lp15/papers/Formath/Goedel-slides.pdf
19 0.19% 1/Oct/18 23:32/~lp15/papers/Reports/popl82.pdf
19 0.12%13/Oct/18 19:25/~lp15/papers/Deduction/lecture3.pdf
19 0.17%14/Oct/18 01:05/~lp15/papers/Bella/TPHOLs03-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.25%13/Oct/18 20:13/~lp15/papers/Auth/dagstuhl2001-slides.pdf
18 13/Oct/18 22:09/~lp15/papers/Workshop/heule.html
18 0.04%13/Oct/18 19:25/~lp15/papers/Workshop/papers/matthews.pdf
18 0.11%14/Oct/18 16:57/~lp15/papers/Deduction/lecture2.pdf
18 0.02%14/Oct/18 09:46/~lp15/papers/Workshop/vigano.pdf
18 13/Oct/18 12:13/~lp15/papers/Arith/RELEASE-NOTES.txt
18 0.24%14/Oct/18 17:29/~lp15/papers/Auth/ijcar2001-slides.pdf
17 0.09%14/Oct/18 20:16/~lp15/images/pilkington-full.jpg
17 0.16%13/Oct/18 10:30/~lp15/papers/Formath/constructible-theory.pdf
17 0.01%13/Oct/18 04:34/~lp15/papers/Isabelle/blast-slides.pdf
17 0.12% 6/Oct/18 02:10/~lp15/papers/Deduction/lecture1.pdf
17 0.03% 9/Oct/18 09:26/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
17 3.04%11/Oct/18 15:02/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
17 14/Oct/18 23:43/~lp15/Grants/UNITY/temporal.html
17 0.04%13/Oct/18 19:19/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17  8/Oct/18 00:49/~lp15/MLbook/first/ERRATA1.txt
17 0.05%13/Oct/18 19:25/~lp15/papers/Workshop/papers/agerholm.pdf
16 14/Oct/18 04:42/~lp15/MLbook/first/ERRATA3.txt
16 0.03%14/Oct/18 01:10/~lp15/Grants/Chaieb-case.pdf
16 13/Oct/18 19:25/~lp15/papers/Workshop/bednarczyk.txt
16 0.01%13/Oct/18 19:25/~lp15/Grants/SET/case.pdf
16 0.02%13/Oct/18 16:15/~lp15/papers/Arith/Overcoming.pdf
16 0.09%13/Oct/18 16:15/~lp15/papers/Automation/Huet colloquium.pdf
16 0.07%13/Oct/18 08:11/~lp15/Data/relevance/tptp-2007-03-13.tbz
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 2.72% 8/Oct/18 01:32/~lp15/archive/Isabelle2009-1.tar.gz
15 15/Oct/18 07:52/~lp15/Pages/Lawrence Paulson (C90DEAF0) %E2%80%93 Public.asc
15 0.01%13/Oct/18 16:15/~lp15/Sue/Cultures of Dance.pdf
15 0.84%13/Oct/18 07:47/~lp15/Data/ho-translations/Abst.tbz
15 0.06%13/Oct/18 19:28/~lp15/papers/Workshop/papers/bednarczyk.pdf
14 0.02%13/Oct/18 19:28/~lp15/papers/Workshop/papers/staples.pdf
14 2.48% 8/Oct/18 18:16/~lp15/archive/Isabelle2014.tar.gz
14 0.43%15/Oct/18 01:00/~lp15/Grants/LEO-II/leo project poster.pdf
14 0.13%13/Oct/18 18:30/~lp15/papers/Notes/Herbrand.pdf
14 0.43%14/Oct/18 04:32/~lp15/papers/Arith/Overcoming-slides.pdf
14 0.03%13/Oct/18 19:29/~lp15/papers/Workshop/papers/owens.pdf
14 0.26%11/Oct/18 17:00/~lp15/papers/Notes/ARW-2018.pdf
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.01%13/Oct/18 19:25/~lp15/papers/Workshop/front.pdf
13 14/Oct/18 14:04/~lp15/Grants/BeyondLinArith/auth-final.pdf
13 0.02%13/Oct/18 19:22/~lp15/papers/Workshop/papers/benini.pdf
13 0.02% 3/Oct/18 11:21/~lp15/papers/Isabelle/Goedel-logic.pdf
13 0.06%11/Oct/18 04:23/~lp15/papers/Isabelle/Goedel-ar.pdf
13 3.64%13/Oct/18 08:07/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
12 0.73%13/Oct/18 07:47/~lp15/Data/ho-translations/Comb.tbz
12 13/Oct/18 19:25/~lp15/Grants/SET/final.pdf
12 1.96%11/Oct/18 01:55/~lp15/archive/Isabelle2011.tar.gz
12  9/Oct/18 09:22/~lp15/Data/relevance/unfiltered-spass.txt
12 0.02%11/Oct/18 03:56/~lp15/papers/Ballarin/aisc98.pdf
12  9/Oct/18 21:57/~lp15/MLbook/first/ERRATA2.txt
11 2.17%12/Oct/18 05:17/~lp15/archive/Isabelle2009-2.tar.gz
11 13/Oct/18 22:57/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
11 13/Oct/18 20:06/~lp15/MLbook/first/programs/edits.txt
11 3.01%13/Oct/18 07:47/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
11 0.06%13/Oct/18 19:25/~lp15/papers/Deduction/lecture4.pdf
11 15/Oct/18 06:13/~lp15/Data/relevance/unfiltered-vampire.txt
11 0.03% 8/Oct/18 17:28/~lp15/papers/Ballarin/coding.pdf
10 11/Oct/18 00:45/~lp15/Grants/UNITY/final.pdf
10 0.55%11/Oct/18 02:09/~lp15/archive/Isabelle2005.tar.gz
10 13/Oct/18 19:29/~lp15/papers/Workshop/owens.txt
10 13/Oct/18 08:08/~lp15/Data/ho-translations/Theories.tbz
10  7/Oct/18 06:42/~lp15/MLbook/first/ML-syntax.dvi.gz
9 0.02%11/Oct/18 21:09/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 0.46%14/Oct/18 09:01/~lp15/archive/Isabelle2003.tar.gz
9 15/Oct/18 06:33/~lp15/Data/relevance/unfiltered-E.txt
9 0.19%13/Oct/18 02:09/~lp15/archive/Isabelle98.tar.gz
9 0.06%13/Oct/18 18:30/~lp15/papers/Formath/Sophia2017.pdf
9 0.44% 8/Oct/18 14:36/~lp15/archive/Isabelle2004.tar.gz
8 0.01%14/Oct/18 02:47/~lp15/papers/OLD.SETS/final.pdf
8 0.02% 4/Oct/18 15:50/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
8 0.01% 4/Oct/18 15:49/~lp15/archive/Isabelle86.tar.gz
8 0.29% 7/Oct/18 01:55/~lp15/archive/Isabelle99-1.tar.gz
8  6/Oct/18 14:55/~lp15/MLbook/first/answers1-5.txt.gz
8 0.28% 4/Oct/18 15:50/~lp15/papers/Isabelle/Goedel-slides.pdf
8 2.42%15/Oct/18 05:22/~lp15/archive/Isabelle2013-1.tar.gz
8 0.35%13/Oct/18 23:35/~lp15/archive/Isabelle2002.tar.gz
8 0.03% 7/Oct/18 21:20/~lp15/archive/Isabelle2013-2.tar.gz
8 0.05% 8/Oct/18 12:51/~lp15/papers/Automation/h4qed-clean.pdf
8 0.01%14/Oct/18 23:44/~lp15/papers/Reports/milestones_intro.pdf
45110.54%15/Oct/18 06:45[not listed: 98 files]