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

Program started at Sat-26-Mar-2016 12:00.
Analysed requests from Wed-05-Nov-2014 15:02 to Sat-26-Mar-2016 11:36 (506.86 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 26-Mar-2016 12:00.

Successful requests: 25,722 (4,667)
Average successful requests per day: 50 (666)
Successful requests for pages: 8,922 (1,982)
Average successful requests for pages per day: 17 (283)
Failed requests: 931 (139)
Redirected requests: 124 (21)
Distinct files requested: 533 (441)
Distinct hosts served: 4,159 (895)
Corrupt logfile lines: 55
Unwanted logfile entries: 20,481
Data transferred: 11.36 gigabytes (1.31 gigabytes)
Average data transferred per day: 22.95 megabytes (191.99 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 
Sun2102841++++++++++++++++++++++
Mon33811021++++++++++++++++++++++++++
Tue45801692+++++++++++++++++++++++++++++++++++++++++++
Wed37031403++++++++++++++++++++++++++++++++++++
Thu50951615+++++++++++++++++++++++++++++++++++++++++
Fri44761469+++++++++++++++++++++++++++++++++++++
Sat2385881+++++++++++++++++++++++

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
275132.86%.de (Germany)
749823.39%.com (Commercial)
948620.11%[unresolved numerical addresses]
208813.94%.net (Networks)
786 4.09%[unknown domain]
476 0.87%.edu (USA Higher Education)
391 0.75%[domain not given]
166 0.53%.in (India)
277 0.40%.uk (United Kingdom)
59 0.33%.fr (France)
68 0.17%.pk (Pakistan)
185 0.17%.ru (Russia)
47 0.14%.au (Australia)
22 0.10%.zw (Zimbabwe)
35 0.10%.nl (Netherlands)
77 0.09%.ke (Kenya)
47 0.09%.cm (Cameroon)
47 0.08%.pt (Portugal)
49 0.08%.ch (Switzerland)
63 0.08%.gr (Greece)
23 0.07%.arpa (Arpanet)
25 0.07%.mx (Mexico)
88 0.06%.ca (Canada)
62 0.06%.jp (Japan)
26 0.06%.hu (Hungary)
46 0.06%.il (Israel)
37 0.06%.ro (Romania)
35 0.05%.it (Italy)
6 0.05%.ng (Nigeria)
22 0.05%.cn (China)
19 0.04%.vn (Vietnam)
57 0.04%.pl (Poland)
53 0.04%.br (Brazil)
6 0.04%.ae (United Arab Emirates)
22 0.04%.org (Non Profit Making Organisations)
8 0.04%.nz (New Zealand)
10 0.04%.gh (Ghana)
37 0.04%.fi (Finland)
24 0.04%.id (Indonesia)
3 0.04%.lt (Lithuania)
28 0.04%.se (Sweden)
28 0.03%.at (Austria)
29 0.03%.by (Belarus)
22 0.03%.sg (Singapore)
7 0.03%.lk (Sri Lanka)
3 0.02%.na (Namibia)
9 0.02%.io (British Indian Ocean Territory)
15 0.02%.ar (Argentina)
30 0.02%.ir (Iran)
33 0.02%.dk (Denmark)
13 0.02%.es (Spain)
17 0.02%.th (Thailand)
10 0.02%.bg (Bulgaria)
17 0.02%.cl (Chile)
22 0.02%.ee (Estonia)
6 0.02%.mu (Mauritius)
16 0.02%.mw (Malawi)
2 0.02%.zm (Zambia)
3 0.02%.cd (Democratic Republic of the Congo)
2 0.02%.ug (Uganda)
3 0.02%.ye (Yemen)
2 0.02%.ps (Occupied Palestinian Territory)
11 0.01%.ua (Ukraine)
4 0.01%.gov (USA Government)
14 0.01%.ie (Ireland)
7 0.01%.hk (Hong Kong)
8 0.01%.tw (Taiwan)
12 0.01%.my (Malaysia)
11 0.01%.tr (Turkey)
1 0.01%.bw (Botswana)
6 0.01%.za (South Africa)
16 0.01%.cz (Czech Republic)
9 .is (Iceland)
36 .sk (Slovakia)
3 .mz (Mozambique)
9 .cy (Cyprus)
1 .be (Belgium)
3 .no (Norway)
8 .md (Moldova)
4 .co (Colombia)
2 .biz (Businesses)
3 .az (Azerbaijan)
2 .hr (Croatia)
2 .ec (Ecuador)
2 .kh (Cambodia)
1 .am (Armenia)
1 .ph (Philippines)
1 .us (United States)
1 .info (Informational)

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
246631.93%your-server.de
2429 0.05%211.210
1820 4.00%amazonaws.com
1697 5.61%yandex.com
1455 3.97%msn.com
786 4.09%[unknown domain]
592 2.50%baidu.com
465 0.20%115
450 1.34%hinet.net
415 8.50%virginm.net
391 0.75%[domain not given]
336 0.97%199.16
308 0.72%117
291 0.01%4
289 4.46%188.165
286 0.62%41
285 0.55%103
274 4.98%leaseweb.com
253 0.87%216.218
212 1.41%opera-mini.net
1022222.47%[not listed: 1,153 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
294software
260pdf
259engineering
125notes
57for
52of
37in
31download
18paper
16eng
16system
15it
15to
14and
13equivalence
13diploma
12http://www.cl.cam.ac.uk/~lp15/papers/notes/se
12hindi
12i.pdf
12softwear
11basic
11book
11with
11theory
11bsc
11students
10on
10set
10engineering.pdf
10free
587[not listed: 194 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
1122974513Windows
 81583767  Unknown Windows
 2580493  Windows XP
 1528242  Windows NT
 156  Windows Server 2003
 155  Windows 98
 10  Windows 2000
266312032OS unknown
31423952Known robots
42826750Macintosh
52510662Unix
 2226592  Linux
 27565  BSD
 95  Other Unix
622OS/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
20180200 OK
4699206 Partial content
124301 Document moved permanently
843304 Not modified since last retrieval
160403 Access forbidden
768404 Document not found
3416 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
01294 
1B- 10B10 
11B- 100B1 
101B- 1kB347 
1kB- 10kB6698 0.20%
10kB-100kB8057 2.80%
100kB- 1MB814227.36%
1MB- 10MB99924.19%
10MB-100MB17445.45%

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
1416644.64%.pdf [Adobe Portable Document Format]
46641.07%.gz [Gzip compressed files]
36641.01%  .tar.gz [Compressed archives]
18212.28%.tbz
15 0.89%.zip [Zip archives]
782 0.40%.jpg [JPEG graphics]
6750 0.33%[directories]
2172 0.16%.html [Hypertext Markup Language]
1189 0.23%[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
365711.28%26/Mar/16 10:48/~lp15/papers/Notes/SE-I.pdf
2911 0.06%26/Mar/16 08:53/~lp15/MLbook/
1027 2.27%26/Mar/16 03:08/~lp15/papers/Reports/equivclasses-slides.pdf
773 0.06%26/Mar/16 11:08/~lp15/
358 0.21%26/Mar/16 04:31/~lp15/images/larry-home-small.jpg
357 2.92%26/Mar/16 08:46/~lp15/papers/Reports/thesis.pdf
350 0.02%26/Mar/16 10:20/~lp15/papers/UNITY/
339 0.05%26/Mar/16 10:05/~lp15/papers/refereed.html
335 0.14%26/Mar/16 04:26/~lp15/images/acm-logo.jpg
312 0.46%26/Mar/16 04:50/~lp15/papers/Reports/equivclasses.pdf
307 3.56%26/Mar/16 04:15/~lp15/Sue/Thesis.pdf
297 0.32%25/Mar/16 23:22/~lp15/papers/Notes/Founds-FP.pdf
238 0.34%25/Mar/16 13:00/~lp15/papers/Formath/automata.pdf
210 26/Mar/16 11:26/~lp15/MLbook/programs/
197 0.02%26/Mar/16 08:30/~lp15/papers/Arith/
193 0.81%25/Mar/16 13:00/~lp15/papers/Isabelle/Goedel-ar.pdf
181 0.63%25/Mar/16 09:09/~lp15/papers/Formath/Goedel-ar.pdf
153 0.07%26/Mar/16 11:29/~lp15/papers/Reports/mutil.pdf
146 0.28%25/Mar/16 22:24/~lp15/papers/Auth/jcs.pdf
131 25/Mar/16 23:09/~lp15/MLbook/exercises/
118 0.01%24/Mar/16 18:05/~lp15/papers/Auth/
118 0.01%26/Mar/16 10:03/~lp15/Grants/SET/
116 0.17%26/Mar/16 05:44/~lp15/papers/Reports/fleuriot-kepler.pdf
112 0.09%25/Mar/16 19:55/~lp15/papers/Formath/Goedel-logic.pdf
109 0.01%26/Mar/16 07:34/~lp15/papers/Formath/
107 0.13%26/Mar/16 04:24/~lp15/papers/Auth/tls.pdf
100 25/Mar/16 19:30/~lp15/MLbook/programs/sample2.sml
99 0.19%26/Mar/16 04:57/~lp15/papers/Formath/set-I.pdf
94 0.01%25/Mar/16 19:45/~lp15/Sue/
93 0.01%25/Mar/16 23:09/~lp15/MLbook/exercises/exer2.html
92 0.07%23/Mar/16 12:10/~lp15/papers/Auth/lics.pdf
92 0.10%25/Mar/16 06:16/~lp15/papers/Automation/paar.pdf
91 0.01%25/Mar/16 11:54/~lp15/MLbook/ERRATA.html
90 0.01%26/Mar/16 01:32/~lp15/archive/
90 25/Mar/16 22:53/~lp15/MLbook/pub-details.html
90 0.01%26/Mar/16 02:27/~lp15/Grants/AutoPolyFun/
88 0.19%25/Mar/16 23:26/~lp15/papers/Bella/smartcards-jcs.pdf
81 0.01%25/Mar/16 21:25/~lp15/papers/Isabelle/
81 0.01%25/Mar/16 23:44/~lp15/papers/Automation/
81 0.09%25/Mar/16 08:11/~lp15/papers/Bella/purchase.pdf
80 0.01%25/Mar/16 19:30/~lp15/MLbook/programs/sample3.sml
80 25/Mar/16 13:46/~lp15/papers/lecture-courses.html
79 0.05%26/Mar/16 10:31/~lp15/papers/Auth/yahalom.pdf
77 0.18%25/Mar/16 10:37/~lp15/papers/Isabelle/fleuriot-kepler.pdf
76 0.08%23/Mar/16 22:00/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
75 0.14%25/Mar/16 07:48/~lp15/papers/Bella/accountability.pdf
74 0.04%24/Mar/16 21:56/~lp15/papers/Reports/CADE9.pdf
71 0.05%26/Mar/16 10:04/~lp15/papers/Auth/SET-overview-2002.pdf
70 0.09%22/Mar/16 11:53/~lp15/papers/Bella/esorics98.pdf
70 0.05%25/Mar/16 23:22/~lp15/Usage/
70 26/Mar/16 04:26/~lp15/Grants/
70 0.07%26/Mar/16 07:02/~lp15/papers/Isabelle/aisc98.pdf
70 25/Mar/16 11:26/~lp15/papers/Workshop/
70 26/Mar/16 07:01/~lp15/Grants/LEO-II/
70 0.10%26/Mar/16 00:37/~lp15/papers/Arith/Hscc09.pdf
69 0.06%24/Mar/16 12:21/~lp15/papers/Arith/Narayanan DATE.pdf
69 0.09%25/Mar/16 23:13/~lp15/papers/Automation/cade2011-sledge-smt.pdf
68 0.06%24/Mar/16 13:09/~lp15/Pages/vita.pdf
67 0.16%22/Mar/16 11:53/~lp15/papers/Automation/sultana-pfreconstruction.pdf
67 25/Mar/16 19:30/~lp15/MLbook/programs/sample5.sml
66 0.12%26/Mar/16 10:10/~lp15/papers/Automation/filtering.pdf
66 26/Mar/16 05:00/~lp15/papers/
64 24/Mar/16 22:19/~lp15/papers/Reports/
63 0.09%26/Mar/16 00:09/~lp15/papers/Auth/multicast_verification.pdf
63 25/Mar/16 14:03/~lp15/papers/workshop.html
62 0.27%23/Mar/16 17:09/~lp15/papers/Bella/purchase-JAR.pdf
62 0.06%26/Mar/16 00:37/~lp15/papers/Auth/ijcar2001.pdf
60 0.15%25/Mar/16 07:35/~lp15/papers/Reports/popl82.pdf
11 0.02% 4/Mar/16 18:39  /~lp15/papers/Reports/popl82.pdf?origin=publication_detail
60 24/Mar/16 14:05/~lp15/Pages/cv.html
60 0.16%25/Mar/16 14:40/~lp15/papers/Auth/tls-slides.pdf
59 0.65%26/Mar/16 11:28/~lp15/papers/Auth/lics-slides.pdf
59 0.08%22/Mar/16 11:53/~lp15/papers/Bella/esorics2000.pdf
59 0.08%22/Mar/16 14:39/~lp15/papers/Isabelle/blast.pdf
59 24/Mar/16 17:04/~lp15/Grants/Automation/
58 25/Mar/16 17:51/~lp15/papers/Arith/download.html
58 0.01%25/Mar/16 21:35/~lp15/MLbook/programs/sample8.sml
58 0.14%24/Mar/16 01:30/~lp15/papers/Automation/reconstruction.pdf
58 25/Mar/16 21:57/~lp15/MLbook/programs/sample4.sml
58 0.08%25/Mar/16 14:08/~lp15/papers/Reports/TPHOLs05.pdf
57 24/Mar/16 17:03/~lp15/MLbook/review.html
57 0.09%23/Mar/16 15:46/~lp15/papers/Automation/translations.pdf
57 25/Mar/16 12:15/~lp15/SpryAssets/
57 0.12%25/Mar/16 02:18/~lp15/papers/Formath/reflection-slides.pdf
57 0.01%25/Mar/16 12:15/~lp15/Usage/images/
56 0.12%25/Mar/16 01:42/~lp15/papers/Automation/translations-jar.pdf
56 0.08%24/Mar/16 12:27/~lp15/papers/Formath/AC.pdf
56 1.04%26/Mar/16 01:01/~lp15/papers/Formath/Goedel-slides.pdf
56 25/Mar/16 18:01/~lp15/papers/hol.html
56 0.10%24/Mar/16 22:35/~lp15/papers/Formath/reflection.pdf
56 0.12%25/Mar/16 13:19/~lp15/papers/Formath/set-II.pdf
56 0.26%23/Mar/16 19:22/~lp15/papers/Automation/info-and-comp.pdf
55 25/Mar/16 15:28/~lp15/MLbook/first/
55 0.03%24/Mar/16 19:02/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
55 0.07%23/Mar/16 11:51/~lp15/papers/Bella/registration.pdf
54 0.01%25/Mar/16 23:09/~lp15/MLbook/exercises/exer3.html
54 24/Mar/16 23:49/~lp15/papers/books.html
54 0.01%26/Mar/16 09:23/~lp15/Grants/UNITY/
52 24/Mar/16 17:05/~lp15/Grants/BeyondLinArith/
52 0.09%26/Mar/16 08:40/~lp15/papers/Isabelle/sylow.pdf
51 0.06%24/Mar/16 03:34/~lp15/papers/Bella/nonrepudiation.pdf
51 0.06%26/Mar/16 07:00/~lp15/papers/UNITY/tphols01.pdf
51 25/Mar/16 12:16/~lp15/Templates/
51 0.15%25/Mar/16 13:00/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
50 25/Mar/16 12:16/~lp15/papers/Notes/
50 0.06%25/Mar/16 01:35/~lp15/papers/Arith/case-splitting.pdf
50 0.01%25/Mar/16 19:30/~lp15/MLbook/programs/sample9.sml
50 0.07%22/Mar/16 11:53/~lp15/papers/Automation/jar-smt.pdf
50 1.82%25/Mar/16 13:19/~lp15/papers/Arith/FroCos-presentation.pdf
49 25/Mar/16 12:16/~lp15/Pages/
49 0.03%25/Mar/16 18:48/~lp15/Sue/Cultures of Dance.ppt
49 25/Mar/16 01:00/~lp15/papers/Arith/qepcad-for-mac.html
49 0.05%24/Mar/16 21:47/~lp15/papers/Automation/meng-termination.pdf
49 0.08%25/Mar/16 15:40/~lp15/papers/UNITY/Mechanizing-compositional.pdf
49 0.81%25/Mar/16 10:15/~lp15/Sue/Thesis-Appendices.pdf
48 24/Mar/16 23:13/~lp15/MLbook/general.html
48 0.05%24/Mar/16 00:28/~lp15/papers/Bella/cav98.pdf
48 25/Mar/16 17:41/~lp15/MLbook/programs/ROOT.sml
48 25/Mar/16 02:03/~lp15/papers/invited.html
48 0.19%26/Mar/16 06:21/~lp15/Pages/Munich-slides.pdf
47 25/Mar/16 12:18/~lp15/tmp/
47 25/Mar/16 02:22/~lp15/Pages/CL-English.html
47 25/Mar/16 12:18/~lp15/papers/Bella/
47 0.04%25/Mar/16 21:32/~lp15/papers/Automation/leo2-ijcar.pdf
47 25/Mar/16 12:18/~lp15/images/
47 0.13%24/Mar/16 14:16/~lp15/papers/Arith/calculemus2008.pdf
47 0.07%25/Mar/16 06:18/~lp15/papers/Arith/SNC2014-invited.pdf
47 25/Mar/16 12:17/~lp15/Data/
47 25/Mar/16 12:18/~lp15/css/
46 25/Mar/16 12:17/~lp15/papers/Reviews/
46 0.01%24/Mar/16 17:04/~lp15/MLbook/exercises/exer4.html
46 0.01%24/Mar/16 17:04/~lp15/MLbook/exercises/exer6.html
46 0.15%24/Mar/16 22:28/~lp15/papers/Reports/logics97.pdf
46 0.01%24/Mar/16 17:04/~lp15/MLbook/exercises/exer8.html
46 25/Mar/16 17:17/~lp15/MLbook/StandardML.plist
45 24/Mar/16 17:05/~lp15/Data/ho-translations/
45 0.01%25/Mar/16 19:30/~lp15/MLbook/programs/sample7.sml
45 0.05%24/Mar/16 03:47/~lp15/papers/UNITY/ehmety-composition.pdf
45 0.01%25/Mar/16 17:28/~lp15/MLbook/programs/sample10.sml
45 0.37%22/Mar/16 19:31/~lp15/papers/Notes/formalizing-abst-slides.pdf
45 0.17%23/Mar/16 05:11/~lp15/papers/Arith/MetiTarski-jar.pdf
45 0.05%24/Mar/16 01:42/~lp15/papers/Automation/IJCAR2004.pdf
45 0.31%24/Mar/16 05:43/~lp15/papers/Automation/reconstruction-slides.pdf
45 25/Mar/16 06:50/~lp15/Pages/projects.html
44 0.03%26/Mar/16 03:43/~lp15/papers/Auth/auth-slides.pdf
44 26/Mar/16 08:51/~lp15/MLbook/disclaimer.html
44 0.01%25/Mar/16 00:13/~lp15/MLbook/exercises/exer5.html
44 0.14%23/Mar/16 21:51/~lp15/papers/Automation/filtering-jal.pdf
44 25/Mar/16 12:18/~lp15/papers/Ballarin/
44 0.56%26/Mar/16 04:08/~lp15/papers/Arith/SNC2014-slides.pdf
43 24/Mar/16 17:05/~lp15/papers/Deduction/
43 0.06%25/Mar/16 14:09/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
43 0.05%26/Mar/16 06:54/~lp15/Grants/AutoPolyFun/case.pdf
43 24/Mar/16 17:05/~lp15/Data/relevance/
42 0.03%22/Mar/16 11:54/~lp15/papers/Arith/FroCoS-2013-invited.pdf
42 0.03%22/Mar/16 11:54/~lp15/papers/Arith/Overcoming.pdf
42 25/Mar/16 20:19/~lp15/Pages/Scream.html
42 0.21%25/Mar/16 15:28/~lp15/papers/Bella/TPHOLs03-slides.pdf
41 0.01%22/Mar/16 19:07/~lp15/papers/Formath/AC-slides.pdf
41 0.01%22/Mar/16 13:21/~lp15/papers/Isabelle/blast-slides.pdf
41 0.05%25/Mar/16 21:25/~lp15/papers/Notes/strategy.pdf
41 0.07%23/Mar/16 05:14/~lp15/papers/Bella/certified-email.pdf
40 0.22%24/Mar/16 21:50/~lp15/papers/Reports/TypeClasses.pdf
40 0.05%25/Mar/16 02:53/~lp15/papers/Arith/lpar2007.pdf
40 0.03%22/Mar/16 11:53/~lp15/papers/Arith/pdpar2006.pdf
40 0.26%22/Mar/16 11:53/~lp15/papers/Reports/ref97.pdf
40 0.09%22/Mar/16 11:53/~lp15/papers/Formath/constructible-slides.pdf
40 0.04%26/Mar/16 05:38/~lp15/papers/Arith/ITP-2012-invited.pdf
40 0.16%25/Mar/16 11:45/~lp15/papers/Arith/Sogokon-nfm14.pdf
39 0.10%22/Mar/16 11:54/~lp15/papers/Auth/SET-document.pdf
39 0.07%26/Mar/16 03:22/~lp15/papers/Auth/SET-overview-IJIS.pdf
39 0.04%24/Mar/16 01:38/~lp15/papers/Bella/dimacs97.pdf
39 25/Mar/16 19:48/~lp15/papers/Arith/atan-problem-1-weak.html
39 0.05%22/Mar/16 11:53/~lp15/papers/Arith/fmcad2009.pdf
39 25/Mar/16 08:55/~lp15/papers/recur.html
39 0.06%24/Mar/16 22:44/~lp15/papers/Formath/milner-ind-defs.pdf
39 0.39%24/Mar/16 10:54/~lp15/papers/Auth/ijcar2001-slides.pdf
38 0.08%26/Mar/16 08:20/~lp15/papers/UNITY/composition.pdf
37 22/Mar/16 11:53/~lp15/papers/Formath/ind-defs-slides.pdf
37 0.37%22/Mar/16 11:54/~lp15/papers/Auth/dagstuhl2001-slides.pdf
37 0.04%22/Mar/16 22:27/~lp15/papers/Workshop/papers/kalvala-linear.pdf
37 0.03%23/Mar/16 00:23/~lp15/papers/Auth/recur-slides.pdf
36 0.03%25/Mar/16 07:26/~lp15/papers/Isabelle/chap700.pdf
36 0.14%24/Mar/16 20:28/~lp15/papers/Automation/Huet colloquium.pdf
36 0.05%24/Mar/16 02:48/~lp15/papers/Isabelle/coding.pdf
36 0.03%24/Mar/16 22:17/~lp15/papers/Reports/CADE11.pdf
36 24/Mar/16 17:04/~lp15/MLbook/exercises/disclaimer.html
36 25/Mar/16 17:21/~lp15/MLbook/programs/sample3-old.sml
35 24/Mar/16 17:03/~lp15/MLbook/programs/notes.html
35 0.01%25/Mar/16 17:24/~lp15/MLbook/programs/test10.sml
35 0.04%23/Mar/16 21:19/~lp15/papers/Reports/blast.pdf
35 0.03%22/Mar/16 18:43/~lp15/papers/Reports/Descent of BAN.pdf
35 0.01%25/Mar/16 19:45/~lp15/Sue/Sue Paulson.jpg
35 24/Mar/16 17:03/~lp15/Grants/holisa.html
35 24/Mar/16 17:04/~lp15/MLbook/programs/sample9-2004.sml
34 24/Mar/16 17:03/~lp15/MLbook/programs/sample8-old.sml
34 0.02%26/Mar/16 07:01/~lp15/Grants/LEO-II/leo2-case.pdf
34 0.01%24/Mar/16 17:04/~lp15/MLbook/programs/sample10-old.sml
34 0.03%25/Mar/16 11:52/~lp15/Pages/harrison-real.pdf
34 0.97%22/Mar/16 11:54/~lp15/papers/Notes/LCF+.pdf
33 0.03%25/Mar/16 22:25/~lp15/papers/Workshop/papers/ayari.pdf
33 20/Mar/16 22:08/~lp15/Grants/SET/final.pdf
33 0.12%22/Mar/16 11:54/~lp15/papers/Reports/intro-to-isabelle.pdf
33 0.01%22/Mar/16 11:54/~lp15/papers/Arith/NFM2014-invited.pdf
33 24/Mar/16 17:04/~lp15/MLbook/exercises/exer7.html
33 24/Mar/16 17:03/~lp15/Grants/temporal.html
33 0.22%24/Mar/16 04:18/~lp15/papers/Auth/dagstuhl2003-slides.pdf
33 0.08%23/Mar/16 12:54/~lp15/papers/Workshop/papers/kammueller.pdf
32 0.05%24/Mar/16 17:03/~lp15/papers/Arith/case-splitting-stats.csv
32 0.10%23/Mar/16 15:11/~lp15/papers/Reports/Bridge-ml.pdf
32 25/Mar/16 16:30/~lp15/MLbook/programs/sample8-2004.sml
32 0.04%26/Mar/16 06:55/~lp15/papers/Workshop/papers/voelker.pdf
32 0.03%21/Mar/16 05:00/~lp15/papers/Workshop/papers/owens.pdf
32 0.03%23/Mar/16 13:03/~lp15/papers/Formath/constructible-abstract.pdf
32 0.04%22/Mar/16 20:35/~lp15/papers/Ballarin/coding.pdf
31 0.03%25/Mar/16 07:26/~lp15/papers/Workshop/papers/staples.pdf
31 0.01%25/Mar/16 16:01/~lp15/papers/paulson.bib
31 0.03%23/Mar/16 23:28/~lp15/Grants/Automation/final.pdf
31 0.50%25/Mar/16 19:22/~lp15/Sue/Phd-Poster.pdf
31 0.06%26/Mar/16 06:55/~lp15/papers/Formath/Goedel-logic-mine.pdf
30 0.03%24/Mar/16 08:20/~lp15/papers/Formath/final.pdf
30 0.02%25/Mar/16 19:19/~lp15/papers/Notes/strategy-slides.pdf
30 24/Mar/16 17:03/~lp15/Grants/auth.html
30 0.06%21/Mar/16 05:58/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
30 0.23%22/Mar/16 11:53/~lp15/Grants/Automation/poster.pdf
30 0.03%26/Mar/16 07:00/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.08%25/Mar/16 00:14/~lp15/papers/Workshop/papers/bednarczyk.pdf
30 0.07%25/Mar/16 22:28/~lp15/papers/Arith/cicm2012.pdf
29 25/Mar/16 04:11/~lp15/MLbook/first/programs/
29 0.03%22/Mar/16 11:53/~lp15/papers/Automation/thf-sledge.pdf
28 20/Mar/16 04:11/~lp15/Grants/UNITY/final.pdf
28 0.16%22/Mar/16 11:53/~lp15/papers/Formath/constructible-theory.pdf
28 0.18%26/Mar/16 07:01/~lp15/papers/Reports/TypeClasses-slides.pdf
28 0.06%25/Mar/16 02:32/~lp15/papers/Notes/MOD-slides.pdf
28 0.11%26/Mar/16 10:04/~lp15/papers/Auth/SET-overview-slides.pdf
28 0.07%24/Mar/16 23:53/~lp15/papers/Workshop/papers/rasmussen.pdf
27 0.01%24/Mar/16 12:00/~lp15/images/pilkington.jpg
27 0.04%24/Mar/16 08:31/~lp15/papers/Workshop/papers/vigano.pdf
27 0.06%21/Mar/16 00:56/~lp15/papers/UNITY/UNITY.pdf
26 0.98%25/Mar/16 16:24/~lp15/Data/ho-translations/Comb.tbz
26 0.04%26/Mar/16 10:19/~lp15/papers/Arith/Huang-3heuristics.pdf
26 0.22%24/Mar/16 22:28/~lp15/papers/Arith/metit-slides.pdf
26 0.67%26/Mar/16 08:56/~lp15/papers/Arith/Overcoming-slides.pdf
26 25/Mar/16 17:31/~lp15/Data/ho-translations/Theories.tbz
26 25/Mar/16 19:28/~lp15/MLbook/first/programs/Functions.ML
26 24/Mar/16 17:03/~lp15/Grants/Chaieb.html
25 0.01%26/Mar/16 08:40/~lp15/MLbook/first/ML-syntax.ps.gz
25 25/Mar/16 04:15/~lp15/MLbook/first/programs/Lists-Trees.ML
25 0.02%24/Mar/16 03:29/~lp15/papers/Notes/leeds-notes.pdf
25 0.11%22/Mar/16 11:53/~lp15/Grants/BeyondLinArith/arith-case.pdf
25 24/Mar/16 15:20/~lp15/Pages/ACS-proposals.html
25 0.02%22/Mar/16 11:53/~lp15/papers/Auth/security-protocols.pdf
24 25/Mar/16 15:47/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
24 0.14%23/Mar/16 10:55/~lp15/papers/Isabelle/Cube-presentation.pdf
24 0.02%22/Mar/16 11:53/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
24 24/Mar/16 23:50/~lp15/papers/Workshop/participants.html
24 26/Mar/16 07:59/~lp15/MLbook/first/programs/Imperative.ML
23 0.03%25/Mar/16 20:15/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
23 0.01%24/Mar/16 07:16/~lp15/Grants/SET/case.pdf
23 25/Mar/16 04:15/~lp15/MLbook/first/programs/Lambda.ML
23 0.01%23/Mar/16 22:31/~lp15/Grants/Automation/case.pdf
23 4.30%25/Mar/16 04:11/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
23 24/Mar/16 03:01/~lp15/Grants/temporal-final.pdf
23 0.04%24/Mar/16 01:31/~lp15/papers/OLD.SETS/set-II.pdf
22 0.30%22/Mar/16 11:53/~lp15/Grants/BeyondLinArith/arith-poster.pdf
22 0.01%23/Mar/16 04:59/~lp15/papers/Reviews/MLer.pdf
22 0.79%25/Mar/16 04:11/~lp15/Data/ho-translations/Abst.tbz
22 25/Mar/16 17:57/~lp15/MLbook/first/programs/Modules.ML
22 20/Mar/16 02:51/~lp15/papers/OLD.SETS/AC-slides.pdf
22 0.14%22/Mar/16 11:54/~lp15/papers/Arith/NFM2014-slides.pdf
21 25/Mar/16 13:44/~lp15/MLbook/first/programs/ParsePrint.ML
21 3.84%25/Mar/16 04:11/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
21 0.01%20/Mar/16 02:40/~lp15/papers/Workshop/kammueller.pdf
20 2.33%25/Mar/16 04:11/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
20 0.05%25/Mar/16 04:11/~lp15/Data/relevance/tptp-2007-03-13.tbz
20 24/Mar/16 17:05/~lp15/papers/Workshop/agerholm.html
20 0.09%24/Mar/16 02:04/~lp15/papers/Deduction/lecture4.pdf
20 25/Mar/16 04:15/~lp15/MLbook/first/programs/Hal.ML
19 24/Mar/16 17:05/~lp15/papers/Workshop/paulson.html
19 0.03%25/Mar/16 19:19/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 24/Mar/16 17:05/~lp15/papers/Workshop/matthews.html
18 0.61%22/Mar/16 11:53/~lp15/papers/Arith/ITP 2012 presentation.pdf
18 24/Mar/16 17:04/~lp15/Sue/Cultures of Dance.html
17 24/Mar/16 17:05/~lp15/papers/Workshop/nipkow.html
17 24/Mar/16 17:05/~lp15/papers/Workshop/kalvala.html
17 24/Mar/16 17:05/~lp15/papers/Workshop/staples.html
17 0.34%24/Mar/16 07:14/~lp15/Grants/LEO-II/leo project poster.pdf
16 24/Mar/16 17:05/~lp15/Grants/arith.html
16 22/Mar/16 11:54/~lp15/Sue/Cultures of Dance.pdf
16 4.79%25/Mar/16 15:20/~lp15/archive/Isabelle2015.tar.gz
16 24/Mar/16 17:05/~lp15/papers/Workshop/thompson.html
16 23/Mar/16 02:10/~lp15/Grants/UNITY/case.pdf
16 0.01%20/Mar/16 13:31/~lp15/papers/Workshop/friedrich.pdf
16 24/Mar/16 17:05/~lp15/papers/Workshop/programme.html
15 0.02%25/Mar/16 04:59/~lp15/Grants/Chaieb-case.pdf
15 0.89%24/Mar/16 23:47/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
14 2.89%11/Mar/16 09:10/~lp15/archive/Isabelle2009-2.tar.gz
14 0.03%23/Mar/16 12:46/~lp15/archive/lcf.tar.gz
14 24/Mar/16 17:05/~lp15/papers/Workshop/heule.html
14 0.01%23/Mar/16 21:06/~lp15/papers/Isabelle/Goedel-logic.pdf
14 0.02%21/Mar/16 00:40/~lp15/papers/Workshop/papers/thompson.pdf
14 0.05%25/Mar/16 23:31/~lp15/papers/Deduction/lecture2.pdf
14 0.07%20/Mar/16 05:11/~lp15/papers/Deduction/lecture3.pdf
14 25/Mar/16 17:51/~lp15/papers/Arith/RELEASE-NOTES.txt
14 24/Mar/16 17:06/~lp15/papers/Workshop/futures.html
13 23/Mar/16 23:55/~lp15/MLbook/first/ERRATA3.txt
13 0.03%17/Mar/16 23:41/~lp15/papers/Automation/10.1007_s10817-015-9348-y.pdf
13 23/Mar/16 09:02/~lp15/images/larry-paulson.jpg
13 0.01%24/Mar/16 06:50/~lp15/papers/Workshop/papers/matthews.pdf
13 0.01%24/Mar/16 05:43/~lp15/papers/Workshop/vigano.pdf
13 0.81%16/Mar/16 16:39/~lp15/archive/Isabelle2008.tar.gz
13 0.01%11/Mar/16 19:46/~lp15/papers/Workshop/papers/agerholm.pdf
13 24/Mar/16 17:06/~lp15/papers/Workshop/wolff.html
12 0.61%16/Mar/16 16:38/~lp15/archive/Isabelle2005.tar.gz
12 0.01%25/Mar/16 15:19/~lp15/archive/Isabelle86.tar.gz
12 0.01%20/Mar/16 12:57/~lp15/papers/Workshop/papers/nipkow.pdf
12 0.01%25/Mar/16 10:21/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
12 0.04%24/Mar/16 09:59/~lp15/Grants/arith-case.pdf
11 0.10%16/Mar/16 08:16/~lp15/archive/Isabelle94-6.tar.gz
11 0.23%22/Mar/16 20:02/~lp15/archive/Isabelle98-1.tar.gz
11 0.01%21/Mar/16 06:02/~lp15/papers/Workshop/papers/benini.pdf
11 0.01%26/Mar/16 06:58/~lp15/papers/Workshop/papers/paulson.pdf
11 0.35%23/Mar/16 02:12/~lp15/archive/Isabelle99-1.tar.gz
11 25/Mar/16 22:35/~lp15/papers/Reviews/construct.pdf
11 0.42%11/Mar/16 09:10/~lp15/archive/Isabelle2002.tar.gz
11 20/Mar/16 00:30/~lp15/archive/ERRATA.txt
11 0.03%11/Mar/16 09:10/~lp15/archive/Isabelle92.tar.gz
11 25/Mar/16 12:15/~lp15/papers/OLD.SETS/
11 24/Mar/16 17:42/~lp15/papers/Reports/blast-slides.pdf
11 0.05%17/Mar/16 23:29/~lp15/papers/Automation/h4qed-clean.pdf
11 17/Mar/16 05:20/~lp15/MLbook/first/ERRATA2.txt
10 4.48%11/Mar/16 09:10/~lp15/archive/Isabelle2013.tar.gz
10 0.05%11/Mar/16 09:10/~lp15/archive/Isabelle94.tar.gz
10 11/Mar/16 19:46/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 0.74%11/Mar/16 09:10/~lp15/archive/Isabelle2009.tar.gz
10 0.27%11/Mar/16 09:10/~lp15/archive/Isabelle99.tar.gz
10 0.01%11/Mar/16 09:10/~lp15/archive/Isabelle90.tar.gz
10 25/Mar/16 04:15/~lp15/Templates/publications.dwt
10 0.09%11/Mar/16 09:10/~lp15/archive/Isabelle94-7.tar.gz
10 2.80%11/Mar/16 09:10/~lp15/archive/Isabelle2014.tar.gz
10 0.02%11/Mar/16 09:10/~lp15/archive/Isabelle91.tar.gz
10 0.05%11/Mar/16 19:46/~lp15/papers/Deduction/lecture1.pdf
10 0.15%11/Mar/16 09:10/~lp15/archive/Isabelle94-8.tar.gz
10 4.27%11/Mar/16 09:10/~lp15/archive/Isabelle2013-1.tar.gz
10 0.34%11/Mar/16 09:10/~lp15/archive/Isabelle99-2.tar.gz
10 2.20%11/Mar/16 09:10/~lp15/archive/Isabelle2011.tar.gz
10 0.01%24/Mar/16 12:46/~lp15/archive/compgen.tar.gz
10 0.62%11/Mar/16 09:10/~lp15/archive/Isabelle2007.tar.gz
10 4.31%11/Mar/16 09:10/~lp15/archive/Isabelle2013-2.tar.gz
10 11/Mar/16 09:10/~lp15/archive/HOL-extensions.dvi.gz
10 0.44%11/Mar/16 09:10/~lp15/archive/Isabelle2003.tar.gz
10 10/Mar/16 16:53/~lp15/Data/relevance/unfiltered-spass.txt
10 4.06%11/Mar/16 09:10/~lp15/archive/Isabelle2012.tar.gz
10 0.07%11/Mar/16 09:10/~lp15/archive/Isabelle93.tar.gz
10 19/Mar/16 05:25/~lp15/MLbook/first/ERRATA1.txt
10 1.72%11/Mar/16 09:10/~lp15/archive/Isabelle2009-1.tar.gz
10 15/Mar/16 09:51/~lp15/Data/relevance/unfiltered-vampire.txt
10 0.01%11/Mar/16 09:10/~lp15/archive/Isabelle89.tar.gz
10 3.46%11/Mar/16 09:10/~lp15/archive/Isabelle2011-1.tar.gz
10 0.16%11/Mar/16 09:10/~lp15/archive/Isabelle98.tar.gz
10 0.46%11/Mar/16 09:10/~lp15/archive/Isabelle2004.tar.gz
9 11/Mar/16 09:10/~lp15/archive/cant-ozols.ps.gz
8 0.03%18/Mar/16 08:29/~lp15/images/pilkington-full.jpg
8 11/Mar/16 20:17/~lp15/papers/OLD.SETS/final.pdf
8  4/Mar/16 14:45/~lp15/MLbook/first/answers8.txt.gz
8  4/Mar/16 14:45/~lp15/MLbook/first/programs/edits.txt
8 20/Mar/16 16:45/~lp15/MLbook/first/answers1-5.txt.gz
8 0.01% 5/Mar/16 01:35/~lp15/papers/OLD.SETS/constructible-slides.pdf
8  4/Mar/16 14:45/~lp15/MLbook/first/ML-syntax.dvi.gz
8  4/Mar/16 14:45/~lp15/Data/relevance/unfiltered-E.txt
131 0.37%26/Mar/16 06:45[not listed: 41 files]