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

Program started at Mon-17-Jul-2017 14:45.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-17-Jul-2017 14:34 (984.98 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 17-Jul-2017 14:45.

Successful requests: 20,763 (2,733)
Average successful requests per day: 21 (390)
Successful requests for pages: 8,004 (1,342)
Average successful requests for pages per day: 8 (191)
Failed requests: 840 (158)
Redirected requests: 141 (25)
Distinct files requested: 580 (343)
Distinct hosts served: 4,455 (835)
Corrupt logfile lines: 3
Unwanted logfile entries: 16,502
Data transferred: 5.50 gigabytes (509.65 megabytes)
Average data transferred per day: 5.72 megabytes (72.81 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 
Sun2405871++++++++++++++++++++++
Mon40391534+++++++++++++++++++++++++++++++++++++++
Tue27161044+++++++++++++++++++++++++++
Wed32001288+++++++++++++++++++++++++++++++++
Thu31971271++++++++++++++++++++++++++++++++
Fri2137743+++++++++++++++++++
Sat30691253++++++++++++++++++++++++++++++++

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
963859.61%.com (Commercial)
476416.48%[unresolved numerical addresses]
1363 6.08%.net (Networks)
878 3.69%.de (Germany)
830 2.75%[domain not given]
317 1.35%.in (India)
432 1.11%.uk (United Kingdom)
331 1.03%[unknown domain]
249 1.02%.edu (USA Higher Education)
86 0.72%.fr (France)
58 0.51%.ph (Philippines)
102 0.47%.au (Australia)
94 0.45%.br (Brazil)
270 0.39%.ru (Russia)
44 0.26%.se (Sweden)
33 0.25%.th (Thailand)
35 0.24%.co (Colombia)
60 0.21%.pt (Portugal)
42 0.18%.nz (New Zealand)
77 0.18%.org (Non Profit Making Organisations)
37 0.17%.zw (Zimbabwe)
53 0.16%.ca (Canada)
92 0.15%.it (Italy)
14 0.15%.pk (Pakistan)
64 0.15%.jp (Japan)
19 0.14%.za (South Africa)
7 0.12%.np (Nepal)
24 0.12%.ke (Kenya)
21 0.12%.my (Malaysia)
42 0.11%.sg (Singapore)
32 0.10%.dk (Denmark)
16 0.10%.id (Indonesia)
42 0.10%.nl (Netherlands)
36 0.09%.at (Austria)
4 0.08%.ng (Nigeria)
21 0.07%.vn (Vietnam)
23 0.07%.pl (Poland)
43 0.06%.cn (China)
25 0.06%.ch (Switzerland)
12 0.05%.arpa (Arpanet)
7 0.05%.hr (Croatia)
24 0.05%.bg (Bulgaria)
15 0.05%.mx (Mexico)
30 0.04%.gr (Greece)
4 0.04%.ie (Ireland)
19 0.04%.fi (Finland)
11 0.04%.tw (Taiwan)
22 0.03%.es (Spain)
4 0.03%.ye (Yemen)
35 0.03%.cz (Czech Republic)
2 0.03%.lk (Sri Lanka)
11 0.03%.il (Israel)
3 0.03%.io (British Indian Ocean Territory)
12 0.03%.na (Namibia)
12 0.03%.hu (Hungary)
7 0.03%.be (Belgium)
19 0.03%.tr (Turkey)
37 0.03%.hk (Hong Kong)
10 0.02%.ir (Iran)
4 0.02%.uy (Uruguay)
29 0.02%.ua (Ukraine)
12 0.02%.ar (Argentina)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
1 0.02%.si (Slovenia)
8 0.01%.no (Norway)
11 0.01%.ro (Romania)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
4 0.01%.lu (Luxembourg)
2 0.01%.ug (Uganda)
4 0.01%.gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
3 .lv (Latvia)
1 .kz (Kazakhstan)
5 .sk (Slovakia)
4 .lb (Lebanon)
6 .us (United States)
1 .uz (Uzbekistan)
3 .biz (Businesses)
7 .bn (Brunei Darussalam)
3 .st (Saint Tome and Principe)
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
342819.85%amazonaws.com
1624 8.10%msn.com
1375 5.14%baidu.com
830 2.75%[domain not given]
79415.23%bluechipbacklinks.com
585 3.06%your-server.de
501 2.08%yandex.com
331 1.03%[unknown domain]
325 0.50%114
275 0.18%sogou.com
255 0.68%virginm.net
203 0.34%cam.ac.uk
195 5.09%telia.com
184 0.95%41
180 0.10%101
175 0.23%mail.ru
156 0.03%4
148 0.35%14
144 0.34%btcentralplus.com
131 0.05%changedetection.com
892433.95%[not listed: 1,265 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
70software
66pdf
65engineering
36equivalence
36notes
21for
19theorem
18in
18of
18prove
18and
18class
16classes
15residue
13set
12r
12diploma
12state
11proof
10is
10computer
9download
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
294[not listed: 139 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
160983180OS unknown
273052275Windows
 41541109  Unknown Windows
 2633930  Windows NT
 484207  Windows XP
 1111  Windows Server 2003
 117  Windows 2000
 66  Windows 95
 65  Windows 98
325111019Known robots
42732892Macintosh
52076620Unix
 2042610  Linux
 145  Other Unix
 32  SunOS
 22  OSF1
 151  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
17191200 OK
2906206 Partial content
141301 Document moved permanently
666304 Not modified since last retrieval
45403 Access forbidden
795404 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- 1kB509 
1kB- 10kB5944 0.43%
10kB-100kB6408 4.56%
100kB- 1MB654441.32%
1MB- 10MB60428.53%
10MB-100MB5525.16%

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
1016564.09%.pdf [Adobe Portable Document Format]
18723.52%.gz [Gzip compressed files]
10723.36%  .tar.gz [Compressed archives]
53 6.70%.tbz
29 2.66%.tgz
1290 1.54%.jpg [JPEG graphics]
5652 0.63%[directories]
2352 0.36%.html [Hypertext Markup Language]
2 0.24%.zip [Zip archives]
675 0.10%.sml
358 0.15%[not listed: 9 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
153111.94%17/Jul/17 13:55/~lp15/papers/Notes/SE-I.pdf
1234 0.17%17/Jul/17 14:32/~lp15/
688 0.03%17/Jul/17 10:51/~lp15/MLbook/
574 0.70%17/Jul/17 14:32/~lp15/images/larry-home-small.jpg
517 4.37%17/Jul/17 07:06/~lp15/papers/Reports/equivclasses-slides.pdf
511 0.45%17/Jul/17 14:32/~lp15/images/acm-logo.jpg
363 7.23%17/Jul/17 12:04/~lp15/Sue/Thesis.pdf
354 0.85%17/Jul/17 05:58/~lp15/papers/Notes/Founds-FP.pdf
308 0.01%17/Jul/17 09:09/~lp15/MLbook/programs/
306 0.05%17/Jul/17 14:32/~lp15/papers/Arith/
284 0.02%17/Jul/17 14:02/~lp15/Grants/Alexandria/
12 10/Jul/17 14:42  /~lp15/Grants/Alexandria/?nsukey=dWWrQL8vaWE3pSmGZTxP4gP4rTnrLQZOPQaAqVXq8wx0AExYq1gZsbl1KmP/kuchYaUoULEKC48FD4wkrPDPN5N7VfkV37OwqFu1GednPtw2t3MBt4whYlZqxp1zw0Ae97j4cIZkiWu6OMImmgFAMztvXIo+baj+Cib2jfiNpJulL+dGPt8WlwTDtiKbMTja
10 11/Jul/17 10:27  /~lp15/Grants/Alexandria/?nsukey=C81ttQoyr07fg0UOugAyPEh5Tzc/QMRfpuEMW/9Buk8wTRzR4gV469Zq4Bmwq0TrC+BV8pT+veRe0IhAZNdL/7fACw1+yYSWDVr7WIv9OwNkccQ5SJuKrrlenV4YrTGNzuQjBG6wsLHJzKxk0Wj77c/SjQAuCQsquXlGnr5wxd8yA4LK3SAgogRnV4jUM+E3
282 1.23%17/Jul/17 13:47/~lp15/papers/Formath/Residue-theorem.pdf
268 0.99%16/Jul/17 05:24/~lp15/papers/Reports/equivclasses.pdf
254 0.14%17/Jul/17 08:57/~lp15/papers/refereed.html
231 1.43%17/Jul/17 11:58/~lp15/papers/Formath/Goedel-ar.pdf
218 0.03%17/Jul/17 07:44/~lp15/Sue/
213 2.98%13/Jul/17 08:07/~lp15/papers/Reports/thesis.pdf
194 0.01%17/Jul/17 09:11/~lp15/MLbook/programs/sample2.sml
185 0.01%17/Jul/17 13:11/~lp15/MLbook/exercises/
139 0.02%17/Jul/17 13:24/~lp15/papers/Automation/
136 0.72%17/Jul/17 01:02/~lp15/papers/Auth/jcs.pdf
135 0.02%17/Jul/17 10:50/~lp15/Grants/AutoPolyFun/
133 0.03%17/Jul/17 11:08/~lp15/papers/Auth/
132 0.50%15/Jul/17 23:25/~lp15/papers/Isabelle/fleuriot-kepler.pdf
131 0.13%15/Jul/17 06:08/~lp15/papers/Reports/mutil.pdf
127 0.02%17/Jul/17 14:04/~lp15/papers/Formath/
119 0.01%17/Jul/17 05:09/~lp15/papers/lecture-courses.html
117 0.01%17/Jul/17 05:11/~lp15/Grants/
117 0.02%17/Jul/17 01:24/~lp15/Grants/SET/
114 0.01%17/Jul/17 05:52/~lp15/Pages/cv.html
112 17/Jul/17 05:17/~lp15/MLbook/pub-details.html
110 0.46%17/Jul/17 11:51/~lp15/papers/Formath/set-I.pdf
104 0.01%16/Jul/17 10:37/~lp15/images/
102 0.16%17/Jul/17 08:54/~lp15/papers/Auth/lics.pdf
99 0.01%17/Jul/17 05:15/~lp15/papers/Reports/
98 0.02%17/Jul/17 05:08/~lp15/MLbook/ERRATA.html
91 0.01%17/Jul/17 01:21/~lp15/archive/
89 0.15%17/Jul/17 11:58/~lp15/Pages/vita.pdf
88 0.15%16/Jul/17 19:12/~lp15/papers/Formath/Goedel-logic.pdf
87 0.08%17/Jul/17 05:17/~lp15/Usage/
87 0.23%15/Jul/17 15:24/~lp15/papers/Auth/tls.pdf
85 0.01%17/Jul/17 07:11/~lp15/papers/books.html
85 0.01%17/Jul/17 02:36/~lp15/Grants/LEO-II/
84 0.63%13/Jul/17 06:34/~lp15/Pages/Munich-slides.pdf
84 0.01%17/Jul/17 04:01/~lp15/MLbook/exercises/exer2.html
83 0.01%17/Jul/17 05:14/~lp15/papers/hol.html
81 0.47%17/Jul/17 08:29/~lp15/papers/Arith/Sogokon-nfm14.pdf
79 17/Jul/17 05:54/~lp15/MLbook/general.html
79 0.34%17/Jul/17 08:58/~lp15/papers/Reports/Bridge-ml.pdf
79 0.11%15/Jul/17 16:31/~lp15/papers/Auth/SET-overview-2002.pdf
79 0.01%17/Jul/17 05:10/~lp15/papers/Isabelle/
76 0.19%13/Jul/17 13:56/~lp15/papers/Formath/automata.pdf
76 0.01%17/Jul/17 05:13/~lp15/papers/invited.html
76 0.01%17/Jul/17 05:13/~lp15/papers/workshop.html
74 0.25%15/Jul/17 06:09/~lp15/papers/Automation/sultana-pfreconstruction.pdf
73 0.35%17/Jul/17 09:47/~lp15/papers/Bella/smartcards-jcs.pdf
72 0.01%17/Jul/17 03:32/~lp15/papers/
72 0.24%17/Jul/17 10:49/~lp15/images/ERC-LOGO.jpg
71 17/Jul/17 11:30/~lp15/Pages/CL-English.html
71 0.01%17/Jul/17 05:13/~lp15/Grants/Automation/
70 0.01%17/Jul/17 05:16/~lp15/papers/recur.html
69 0.21%16/Jul/17 09:32/~lp15/papers/Formath/Greens-theorem.pdf
69 0.31%16/Jul/17 10:05/~lp15/papers/Bella/accountability.pdf
68 0.26%17/Jul/17 09:13/~lp15/papers/Automation/filtering.pdf
67 17/Jul/17 05:14/~lp15/Grants/BeyondLinArith/
66 15/Jul/17 00:58/~lp15/MLbook/StandardML.plist
65 17/Jul/17 14:32/~lp15/papers/Arith/download.html
65 0.36%17/Jul/17 08:55/~lp15/papers/Arith/calculemus2008.pdf
63 0.17%16/Jul/17 16:51/~lp15/papers/Formath/AC.pdf
63 0.16%17/Jul/17 12:15/~lp15/papers/Bella/esorics98.pdf
62 0.11%15/Jul/17 14:35/~lp15/papers/Arith/Narayanan DATE.pdf
61 0.01%16/Jul/17 21:37/~lp15/MLbook/review.html
60 16/Jul/17 09:22/~lp15/Pages/
60 0.12%17/Jul/17 08:31/~lp15/papers/Auth/multicast_verification.pdf
60 0.19%15/Jul/17 06:08/~lp15/papers/Reports/TPHOLs05.pdf
60 14/Jul/17 07:01/~lp15/css/
59 0.14%17/Jul/17 02:35/~lp15/papers/Arith/Huang-3heuristics.pdf
58 14/Jul/17 05:05/~lp15/papers/Notes/
58 17/Jul/17 09:11/~lp15/MLbook/programs/ROOT.sml
58 0.13%17/Jul/17 10:11/~lp15/papers/Automation/paar.pdf
58 0.17%17/Jul/17 08:07/~lp15/papers/Arith/Hscc09.pdf
57 0.24%17/Jul/17 04:06/~lp15/papers/Automation/translations-jar.pdf
57 17/Jul/17 01:22/~lp15/papers/Workshop/
57 0.16%17/Jul/17 07:48/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
56 15/Jul/17 15:30/~lp15/MLbook/first/
56 0.01%17/Jul/17 09:23/~lp15/MLbook/programs/sample3.sml
55 13/Jul/17 08:42/~lp15/SpryAssets/
55 0.36%16/Jul/17 14:10/~lp15/papers/Arith/MetiTarski-jar.pdf
55 0.03%14/Jul/17 14:22/~lp15/Sue/Sue Paulson.jpg
55 0.01%14/Jul/17 19:16/~lp15/MLbook/exercises/exer8.html
54 0.01%14/Jul/17 04:32/~lp15/MLbook/programs/sample5.sml
53 0.13%15/Jul/17 14:05/~lp15/papers/Automation/jar-smt.pdf
52 0.02%17/Jul/17 03:59/~lp15/MLbook/exercises/exer3.html
52 17/Jul/17 01:16/~lp15/papers/UNITY/
52 0.03%17/Jul/17 05:52/~lp15/images/pilkington.jpg
52 0.12%15/Jul/17 06:08/~lp15/papers/Isabelle/aisc98.pdf
52 0.23%17/Jul/17 12:03/~lp15/papers/Formath/reflection-slides.pdf
52 16/Jul/17 07:23/~lp15/papers/Arith/qepcad-for-mac.html
52 0.16%16/Jul/17 20:45/~lp15/papers/Bella/certified-email.pdf
51 0.25%16/Jul/17 12:49/~lp15/Grants/Alexandria/Part-B2.pdf
51 0.05%17/Jul/17 05:57/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
50 0.01%13/Jul/17 06:36/~lp15/MLbook/programs/sample8-2004.sml
50 0.12%15/Jul/17 14:48/~lp15/Pages/harrison-real.pdf
50 0.13%16/Jul/17 00:39/~lp15/papers/Bella/registration.pdf
49 13/Jul/17 08:41/~lp15/papers/Bella/
49 0.13%17/Jul/17 07:35/~lp15/papers/Arith/lpar2007.pdf
49 0.15%15/Jul/17 06:08/~lp15/papers/Automation/meng-termination.pdf
49 0.02%13/Jul/17 19:40/~lp15/Usage/images/
48 1.14%13/Jul/17 07:02/~lp15/papers/Auth/lics-slides.pdf
48 0.01%17/Jul/17 10:43/~lp15/Grants/UNITY/
47 0.03%16/Jul/17 20:29/~lp15/papers/Reviews/MLer.pdf
46 0.11%17/Jul/17 13:57/~lp15/papers/Bella/nonrepudiation.pdf
46 0.23%17/Jul/17 09:23/~lp15/papers/UNITY/composition.pdf
46 1.02%16/Jul/17 21:25/~lp15/papers/Formath/Goedel-slides.pdf
46 0.01%17/Jul/17 09:24/~lp15/MLbook/programs/sample4.sml
45 0.08%15/Jul/17 06:09/~lp15/papers/Arith/fmcad2009.pdf
44 0.11%15/Jul/17 06:08/~lp15/papers/Automation/translations.pdf
44 13/Jul/17 08:41/~lp15/Templates/
44 0.05%15/Jul/17 21:30/~lp15/papers/Reports/CADE9.pdf
44 0.07%15/Jul/17 06:09/~lp15/papers/Automation/thf-sledge.pdf
43 17/Jul/17 01:23/~lp15/Data/ho-translations/
43 0.08%15/Jul/17 21:31/~lp15/papers/Isabelle/chap700.pdf
43 0.07%17/Jul/17 07:07/~lp15/papers/Arith/pdpar2006.pdf
43 17/Jul/17 06:03/~lp15/Data/
42 13/Jul/17 08:41/~lp15/tmp/
42 0.01%17/Jul/17 01:26/~lp15/Grants/holisa.html
41 0.07%15/Jul/17 23:10/~lp15/papers/Reports/CADE11.pdf
41 0.05%16/Jul/17 21:01/~lp15/papers/Auth/yahalom.pdf
41 0.14%17/Jul/17 14:04/~lp15/papers/Formath/reflection.pdf
40 0.08%15/Jul/17 06:08/~lp15/papers/Bella/cav98.pdf
40 0.07%15/Jul/17 06:09/~lp15/papers/UNITY/tphols01.pdf
40 0.07%14/Jul/17 21:23/~lp15/papers/Workshop/papers/kalvala-linear.pdf
40 0.01%17/Jul/17 11:08/~lp15/Pages/ACS-proposals.html
40 0.09%13/Jul/17 06:04/~lp15/Grants/AutoPolyFun/case.pdf
40 0.08%17/Jul/17 07:17/~lp15/papers/Bella/purchase.pdf
39 13/Jul/17 08:41/~lp15/papers/Reviews/
39 0.11%15/Jul/17 06:08/~lp15/papers/Isabelle/coding.pdf
39 0.10%15/Jul/17 06:08/~lp15/papers/Isabelle/blast.pdf
38 0.34%17/Jul/17 02:08/~lp15/papers/Bella/purchase-JAR.pdf
38 0.01%16/Jul/17 09:02/~lp15/MLbook/exercises/exer7.html
38 0.05%11/Jul/17 16:34/~lp15/papers/Workshop/friedrich.pdf
37 0.01%17/Jul/17 03:58/~lp15/MLbook/exercises/exer4.html
37 17/Jul/17 12:00/~lp15/Pages/projects.html
37 17/Jul/17 01:16/~lp15/papers/Arith/atan-problem-1-weak.html
37 0.10%17/Jul/17 04:57/~lp15/papers/Formath/milner-ind-defs.pdf
36 15/Jul/17 09:51/~lp15/MLbook/disclaimer.html
36 0.21%17/Jul/17 04:56/~lp15/papers/Workshop/papers/rasmussen.pdf
36 15/Jul/17 03:13/~lp15/Pages/Scream.html
36 0.31%17/Jul/17 04:09/~lp15/papers/Automation/info-and-comp.pdf
35 0.20%15/Jul/17 06:09/~lp15/papers/Automation/filtering-jal.pdf
35 0.17%15/Jul/17 06:08/~lp15/papers/Automation/reconstruction.pdf
35 0.01%16/Jul/17 06:11/~lp15/MLbook/exercises/exer6.html
35 13/Jul/17 08:41/~lp15/papers/Ballarin/
35 0.16%16/Jul/17 08:58/~lp15/papers/Formath/set-II.pdf
34 0.13%15/Jul/17 06:08/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.08%15/Jul/17 06:08/~lp15/papers/Automation/IJCAR2004.pdf
34 0.08%15/Jul/17 06:08/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
33 0.09%11/Jul/17 04:15/~lp15/papers/Reports/blast.pdf
33 0.07%16/Jul/17 09:28/~lp15/papers/Arith/case-splitting.pdf
33 0.01%17/Jul/17 08:26/~lp15/MLbook/exercises/exer5.html
33 0.11%15/Jul/17 06:08/~lp15/papers/UNITY/Mechanizing-compositional.pdf
33 0.09%16/Jul/17 01:16/~lp15/papers/Automation/cade2011-sledge-smt.pdf
32 0.07%15/Jul/17 06:08/~lp15/papers/UNITY/ehmety-composition.pdf
32 13/Jul/17 08:41/~lp15/papers/Deduction/
32 0.05%16/Jul/17 00:13/~lp15/papers/Auth/auth-slides.pdf
32 0.04%16/Jul/17 14:55/~lp15/Sue/Cultures of Dance.ppt
32 0.10%15/Jul/17 18:46/~lp15/papers/Bella/esorics2000.pdf
32 17/Jul/17 01:23/~lp15/Data/relevance/
31 0.06%17/Jul/17 14:04/~lp15/papers/Formath/final.pdf
31 0.01%14/Jul/17 04:32/~lp15/MLbook/programs/sample8.sml
31 0.01%14/Jul/17 04:33/~lp15/MLbook/programs/sample9.sml
31 0.06%14/Jul/17 08:56/~lp15/papers/Auth/ijcar2001.pdf
30 0.12%17/Jul/17 02:42/~lp15/papers/Notes/MOD-slides.pdf
30 0.06%17/Jul/17 06:15/~lp15/papers/Arith/ITP-2012-invited.pdf
29 13/Jul/17 06:18/~lp15/MLbook/programs/notes.html
29 0.01%14/Jul/17 04:32/~lp15/MLbook/programs/sample7.sml
29 0.07%17/Jul/17 08:49/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
29 0.01%14/Jul/17 04:33/~lp15/MLbook/programs/sample10.sml
29 0.02%13/Jul/17 07:11/~lp15/papers/Reviews/construct.pdf
29 2.66%17/Jul/17 14:34/~lp15/papers/Arith/metit.tgz
29 0.40%15/Jul/17 06:08/~lp15/papers/Automation/reconstruction-slides.pdf
29 0.10%15/Jul/17 06:08/~lp15/papers/Isabelle/sylow.pdf
28 0.03%17/Jul/17 02:34/~lp15/Grants/LEO-II/leo2-case.pdf
28 0.06%16/Jul/17 11:13/~lp15/papers/Automation/leo2-ijcar.pdf
28 0.21%16/Jul/17 02:45/~lp15/Grants/Alexandria/DoA.pdf
28 1.80%16/Jul/17 09:42/~lp15/papers/Arith/FroCos-presentation.pdf
28 0.88%17/Jul/17 13:35/~lp15/Sue/Thesis-Appendices.pdf
27 17/Jul/17 01:23/~lp15/Grants/auth.html
27 0.04%17/Jul/17 10:25/~lp15/papers/Workshop/papers/ayari.pdf
27 0.20%14/Jul/17 19:32/~lp15/papers/Reports/intro-to-isabelle.pdf
27 0.13%14/Jul/17 03:28/~lp15/papers/UNITY/UNITY.pdf
27 0.08%13/Jul/17 12:50/~lp15/papers/Arith/SNC2014-invited.pdf
26 0.03%13/Jul/17 07:11/~lp15/papers/Arith/FroCoS-2013-invited.pdf
26 0.05%13/Jul/17 08:41/~lp15/papers/Reports/Descent of BAN.pdf
26 0.06%15/Jul/17 06:08/~lp15/papers/Bella/dimacs97.pdf
26 0.04%13/Jul/17 07:09/~lp15/papers/Notes/leeds-notes.pdf
26 0.05% 4/Jul/17 10:25/~lp15/papers/Workshop/papers/thompson.pdf
26 0.05%13/Jul/17 06:59/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
26 0.02%13/Jul/17 07:11/~lp15/papers/Arith/NFM2014-invited.pdf
26 17/Jul/17 09:11/~lp15/papers/OLD.SETS/
26 0.33%13/Jul/17 08:41/~lp15/papers/Reports/ref97.pdf
26 0.12%15/Jul/17 06:09/~lp15/papers/Arith/cicm2012.pdf
25 0.34%15/Jul/17 06:08/~lp15/papers/Reports/TypeClasses.pdf
25 0.02%16/Jul/17 02:12/~lp15/papers/paulson.bib
25 13/Jul/17 08:11/~lp15/MLbook/first/programs/
25 0.16%15/Jul/17 06:08/~lp15/papers/Auth/tls-slides.pdf
25 0.17%13/Jul/17 08:07/~lp15/papers/Reports/logics97.pdf
25 0.04%14/Jul/17 08:59/~lp15/papers/Auth/security-protocols.pdf
24 0.01%16/Jul/17 01:58/~lp15/MLbook/programs/test10.sml
24 0.01%15/Jul/17 06:08/~lp15/papers/Formath/AC-slides.pdf
24 0.82%13/Jul/17 08:41/~lp15/Sue/Phd-Poster.pdf
24 0.07%10/Jul/17 08:08/~lp15/papers/Formath/Goedel-logic-mine.pdf
24 0.20%14/Jul/17 23:25/~lp15/papers/Auth/SET-overview-slides.pdf
24 0.03%15/Jul/17 06:08/~lp15/papers/Auth/recur-slides.pdf
24 0.12%15/Jul/17 06:08/~lp15/papers/Formath/constructible-slides.pdf
23 13/Jul/17 06:17/~lp15/MLbook/programs/sample3-old.sml
23 17/Jul/17 01:24/~lp15/papers/Workshop/programme.html
22 0.18%13/Jul/17 07:10/~lp15/papers/Formath/Future of formalised maths.pdf
22 12/Jul/17 15:06/~lp15/MLbook/first/programs/Lambda.ML
22 0.02%13/Jul/17 11:27/~lp15/Grants/Automation/case.pdf
22 0.04%13/Jul/17 07:10/~lp15/papers/Formath/constructible-abstract.pdf
22 14/Jul/17 03:37/~lp15/MLbook/first/programs/Functions.ML
21 0.26%17/Jul/17 04:21/~lp15/papers/Reports/popl82.pdf
21 17/Jul/17 01:24/~lp15/papers/Workshop/matthews.html
21 1.29%13/Jul/17 06:53/~lp15/papers/Arith/ITP 2012 presentation.pdf
21 16/Jul/17 10:38/~lp15/MLbook/exercises/disclaimer.html
21 17/Jul/17 01:24/~lp15/papers/Workshop/participants.html
20 0.01%15/Jul/17 06:08/~lp15/papers/Formath/ind-defs-slides.pdf
20 0.10%13/Jul/17 07:01/~lp15/papers/Auth/SET-document.pdf
20 0.29%13/Jul/17 06:04/~lp15/Grants/Automation/poster.pdf
20 0.27%16/Jul/17 01:36/~lp15/papers/Reports/TypeClasses-slides.pdf
20 0.05%13/Jul/17 07:09/~lp15/papers/Notes/strategy.pdf
20 0.05%11/Jul/17 02:09/~lp15/papers/Workshop/papers/matthews.pdf
20 17/Jul/17 01:25/~lp15/papers/Workshop/thompson.html
20 0.35%15/Jul/17 06:09/~lp15/papers/Arith/metit-slides.pdf
20 0.11%10/Jul/17 01:38/~lp15/papers/Reports/fleuriot-kepler.pdf
20 1.07%15/Jul/17 18:44/~lp15/papers/Notes/LCF+.pdf
20 13/Jul/17 08:42/~lp15/Sue/Cultures of Dance.html
19 0.02%16/Jul/17 05:06/~lp15/papers/Workshop/kammueller.pdf
19 0.62%13/Jul/17 06:51/~lp15/papers/Arith/SNC2014-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 17/Jul/17 01:24/~lp15/papers/Workshop/kalvala.html
18 0.06%14/Jul/17 02:55/~lp15/papers/Arith/case-splitting-stats.csv
18 0.01%12/Jul/17 06:11/~lp15/MLbook/first/ML-syntax.ps.gz
18 0.06% 4/Jul/17 10:32/~lp15/papers/Workshop/papers/nipkow.pdf
18 17/Jul/17 01:25/~lp15/papers/Workshop/paulson.html
18 0.23%15/Jul/17 06:09/~lp15/papers/Isabelle/Cube-presentation.pdf
18 0.28%13/Jul/17 07:09/~lp15/papers/Notes/formalizing-abst-slides.pdf
18 0.06%15/Jul/17 06:08/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 0.20%13/Jul/17 07:11/~lp15/papers/Arith/NFM2014-slides.pdf
18 0.20%15/Jul/17 06:08/~lp15/papers/Bella/TPHOLs03-slides.pdf
17 17/Jul/17 01:25/~lp15/papers/Workshop/staples.html
17 0.11%15/Jul/17 23:08/~lp15/papers/Automation/Huet colloquium.pdf
17 0.01%13/Jul/17 06:17/~lp15/MLbook/programs/sample10-old.sml
17 0.04%13/Jul/17 16:12/~lp15/papers/Workshop/papers/voelker.pdf
17  5/Jul/17 18:48/~lp15/MLbook/first/programs/Modules.ML
17 13/Jul/17 06:35/~lp15/MLbook/programs/sample9-2004.sml
17 17/Jul/17 01:25/~lp15/papers/Workshop/agerholm.html
17  7/Jul/17 01:12/~lp15/MLbook/first/programs/Imperative.ML
17 0.08%10/Jul/17 01:06/~lp15/papers/Workshop/papers/kammueller.pdf
16 17/Jul/17 01:24/~lp15/papers/Workshop/nipkow.html
16 0.02%13/Jul/17 08:09/~lp15/papers/Notes/strategy-slides.pdf
16 0.20%16/Jul/17 22:48/~lp15/papers/Formath/constructible-theory.pdf
16 13/Jul/17 06:36/~lp15/MLbook/programs/sample8-old.sml
16 0.43%13/Jul/17 06:03/~lp15/Grants/BeyondLinArith/arith-poster.pdf
16 0.14%30/Sep/16 01:40/~lp15/Grants/BeyondLinArith/arith-case.pdf
16 0.03% 7/Jul/17 04:02/~lp15/papers/Workshop/vigano.pdf
16 0.03% 7/Jul/17 07:12/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 13/Jul/17 06:02/~lp15/Grants/Chaieb.html
16 0.21%13/Jul/17 09:46/~lp15/papers/Auth/dagstuhl2003-slides.pdf
16 0.05%16/Jul/17 11:56/~lp15/papers/Workshop/papers/agerholm.pdf
15  9/Jul/17 02:12/~lp15/MLbook/first/programs/ParsePrint.ML
15 0.03%13/Jul/17 06:04/~lp15/Grants/Automation/final.pdf
15 0.05%17/Jul/17 01:46/~lp15/papers/Workshop/papers/vigano.pdf
15 13/Jul/17 08:40/~lp15/papers/Workshop/futures.html
15 0.28%14/Jul/17 08:57/~lp15/papers/Auth/ijcar2001-slides.pdf
15 14/Jul/17 04:38/~lp15/papers/Workshop/wolff.html
14 0.01%15/Jul/17 06:08/~lp15/papers/Isabelle/blast-slides.pdf
14 0.02%13/Jul/17 07:11/~lp15/papers/Arith/Overcoming.pdf
14 0.14%10/Jul/17 02:00/~lp15/papers/Deduction/lecture1.pdf
14 0.13% 8/Jul/17 10:09/~lp15/papers/Deduction/lecture3.pdf
14 0.05% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.09%14/Jul/17 18:40/~lp15/images/pilkington-full.jpg
13 0.23%13/Jul/17 06:51/~lp15/papers/Auth/dagstuhl2001-slides.pdf
13 13/Jul/17 17:49/~lp15/papers/Workshop/heule.html
13  3/Jul/17 11:55/~lp15/MLbook/first/programs/Lists-Trees.ML
13 0.01%17/Jul/17 02:08/~lp15/Grants/SET/case.pdf
13 0.03% 9/Jul/17 11:43/~lp15/papers/Isabelle/Goedel-logic.pdf
13 0.03% 8/Jul/17 05:12/~lp15/papers/Workshop/papers/owens.pdf
13 16/Jul/17 09:38/~lp15/papers/Arith/RELEASE-NOTES.txt
12 0.01%16/Jul/17 23:41/~lp15/Sue/Cultures of Dance.pdf
12 0.02%17/Jul/17 07:08/~lp15/papers/Workshop/papers/staples.pdf
12 0.02%15/Jul/17 06:02/~lp15/papers/Workshop/papers/benini.pdf
12 0.06%14/Jul/17 10:26/~lp15/papers/Workshop/papers/bednarczyk.pdf
12 17/Jul/17 11:50/~lp15/Grants/UNITY/temporal.html
11  4/Jul/17 11:28/~lp15/papers/Workshop/bednarczyk.txt
11 0.45%13/Jul/17 00:16/~lp15/Grants/LEO-II/leo project poster.pdf
11 16/Jul/17 01:27/~lp15/MLbook/first/ERRATA1.txt
10  7/Jul/17 20:14/~lp15/Grants/SET/final.pdf
10 2.40%29/Sep/16 00:53/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
10 0.43%13/Jul/17 07:11/~lp15/papers/Arith/Overcoming-slides.pdf
10 0.05%13/Jul/17 00:55/~lp15/Data/relevance/tptp-2007-03-13.tbz
10  9/Jul/17 08:14/~lp15/MLbook/first/programs/Hal.ML
9 29/Sep/16 00:28/~lp15/Grants/BeyondLinArith/auth-final.pdf
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 14/Jul/17 14:57/~lp15/papers/Workshop/owens.txt
9 16/Jul/17 21:48/~lp15/images/larry-paulson.jpg
9 0.08%14/Jul/17 21:03/~lp15/papers/Deduction/lecture4.pdf
9 3.20%28/Sep/16 22:02/~lp15/archive/Isabelle2009-1.tar.gz
8 27/Sep/16 14:52/~lp15/MLbook/first/ERRATA3.txt
8 0.02% 2/Oct/16 11:54/~lp15/Grants/Chaieb-case.pdf
8 0.06%15/Jul/17 16:47/~lp15/papers/Deduction/lecture2.pdf
8 0.02% 5/Jul/17 13:33/~lp15/papers/Ballarin/aisc98.pdf
8 15/Jul/17 16:49/~lp15/Data/relevance/unfiltered-vampire.txt
7 0.01% 9/Jul/17 01:14/~lp15/papers/Workshop/front.pdf
7 0.03%12/Jul/17 14:53/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
7 0.39%17/Jul/17 02:22/~lp15/papers/Isabelle/Goedel-slides.pdf
7 0.05%14/Jul/17 16:10/~lp15/papers/Isabelle/Goedel-ar.pdf
7 2.16%14/Jul/17 14:36/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 15/Jul/17 10:17/~lp15/Data/relevance/unfiltered-spass.txt
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 10/Jul/17 09:17/~lp15/MLbook/first/ERRATA2.txt
7 0.02% 2/Oct/16 14:48/~lp15/papers/Ballarin/coding.pdf
34223.22%17/Jul/17 08:43[not listed: 103 files]