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

Program started at Thu-05-May-2016 12:29.
Analysed requests from Wed-05-Nov-2014 15:02 to Thu-05-May-2016 12:08 (546.88 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 05-May-2016 12:29.

Successful requests: 17,564 (3,264)
Average successful requests per day: 32 (466)
Successful requests for pages: 5,634 (1,096)
Average successful requests for pages per day: 10 (156)
Failed requests: 672 (114)
Redirected requests: 107 (18)
Distinct files requested: 527 (333)
Distinct hosts served: 3,680 (906)
Unwanted logfile entries: 13,627
Data transferred: 6.38 gigabytes (942.06 megabytes)
Average data transferred per day: 11.95 megabytes (134.58 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 30 requests for pages or part thereof.

dayreqspages 
Sun1447525++++++++++++++++++
Mon34441141+++++++++++++++++++++++++++++++++++++++
Tue2698839++++++++++++++++++++++++++++
Wed2617785+++++++++++++++++++++++++++
Thu2387674+++++++++++++++++++++++
Fri2794928+++++++++++++++++++++++++++++++
Sat2177742+++++++++++++++++++++++++

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
568531.96%.com (Commercial)
509220.23%[unresolved numerical addresses]
137320.11%.uk (United Kingdom)
113 6.92%.jp (Japan)
1190 5.59%.net (Networks)
205 3.10%.fr (France)
624 2.02%.edu (USA Higher Education)
581 1.72%.de (Germany)
414 1.54%[domain not given]
172 0.86%.in (India)
6 0.54%.ua (Ukraine)
130 0.44%.it (Italy)
369 0.43%[unknown domain]
260 0.28%.ru (Russia)
90 0.25%.au (Australia)
60 0.23%.at (Austria)
45 0.22%.ca (Canada)
61 0.20%.ph (Philippines)
57 0.17%.gh (Ghana)
27 0.17%.ee (Estonia)
44 0.16%.se (Sweden)
16 0.16%.mx (Mexico)
33 0.15%.zw (Zimbabwe)
41 0.13%.pt (Portugal)
48 0.13%.nz (New Zealand)
30 0.12%.vn (Vietnam)
30 0.12%.es (Spain)
10 0.11%.za (South Africa)
31 0.11%.ro (Romania)
13 0.11%.hk (Hong Kong)
12 0.10%.np (Nepal)
65 0.10%.br (Brazil)
17 0.10%.tr (Turkey)
22 0.10%.be (Belgium)
63 0.10%.pk (Pakistan)
15 0.09%.co (Colombia)
33 0.08%.ng (Nigeria)
44 0.07%.gr (Greece)
12 0.07%.cm (Cameroon)
24 0.05%.org (Non Profit Making Organisations)
7 0.05%.no (Norway)
25 0.05%.fi (Finland)
19 0.05%.my (Malaysia)
43 0.05%.dk (Denmark)
19 0.05%.pl (Poland)
4 0.04%.bh (Bahrain)
4 0.04%.jo (Jordan)
3 0.04%.ly (Libya)
40 0.04%.cn (China)
1 0.04%.info (Informational)
11 0.04%.ar (Argentina)
11 0.04%.th (Thailand)
31 0.03%.il (Israel)
21 0.03%.ch (Switzerland)
7 0.03%.id (Indonesia)
2 0.03%.io (British Indian Ocean Territory)
22 0.02%.nl (Netherlands)
12 0.02%.cz (Czech Republic)
3 0.02%.kz (Kazakhstan)
2 0.02%.ae (United Arab Emirates)
20 0.02%.hu (Hungary)
1 0.01%.cr (Costa Rica)
1 0.01%.eg (Egypt)
1 0.01%.ug (Uganda)
2 0.01%.gov (USA Government)
3 0.01%.la (Laos)
4 0.01%.cl (Chile)
24 0.01%.do (Dominican Republic)
2 0.01%.us (United States)
14 0.01%.sg (Singapore)
3 0.01%.hr (Croatia)
3 0.01%.arpa (Arpanet)
3 .by (Belarus)
3 .kr (South Korea)
1 .na (Namibia)
1 .am (Armenia)
3 .ie (Ireland)
3 .lv (Latvia)
3 .bd (Bangladesh)
3 .uy (Uruguay)
1 .tw (Taiwan)
1 .ba (Bosnia-Herzegovina)
4 .li (Liechtenstein)
4 .bg (Bulgaria)
11 .ir (Iran)
1 .is (Iceland)

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
1744 9.46%msn.com
1390 6.50%amazonaws.com
125518.75%cam.ac.uk
854 4.12%yandex.com
414 1.54%[domain not given]
369 0.43%[unknown domain]
345 1.10%psu.edu
332 0.03%4
256 0.17%221.182
221 0.72%your-server.de
194 0.90%sogou.com
188 0.89%41
187 0.17%mail.ru
181 1.03%baidu.com
172 0.89%199.16
169 0.80%27
158 0.70%117
147 1.19%wanadoo.fr
141 0.50%194.254
140 6.82%wotbox.com
870743.30%[not listed: 1,115 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
215software
203engineering
174pdf
131notes
52for
40in
20it
20bsc
15of
15fundamentals
14computer
14full
14download
13hindi
12system
11written
11diploma
10e
10students
9commerce
9programming
9class
8equivalence
8mutilated
8answer
8chessboard
8protocols
8cse
8and
7function
317[not listed: 143 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
168842665OS unknown
262201549Windows
 42401084  Unknown Windows
 1517307  Windows NT
 450155  Windows XP
 42  Windows 98
 21  Windows 2000
 70  Windows Server 2003
31961690Macintosh
41686395Unix
 1685395  Linux
 10  Other Unix
5771326Known robots

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
13137200 OK
3481206 Partial content
107301 Document moved permanently
946304 Not modified since last retrieval
167403 Access forbidden
503404 Document not found
2416 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
01091 
1B- 10B6 
11B- 100B1 
101B- 1kB340 
1kB- 10kB3550 0.23%
10kB-100kB6131 3.86%
100kB- 1MB577935.37%
1MB- 10MB59424.35%
10MB-100MB7236.20%

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
991355.17%.pdf [Adobe Portable Document Format]
27436.36%.gz [Gzip compressed files]
17236.21%  .tar.gz [Compressed archives]
42 5.48%.tbz
11 1.16%.zip [Zip archives]
828 0.78%.jpg [JPEG graphics]
3857 0.45%[directories]
1777 0.24%.html [Hypertext Markup Language]
2 0.16%.tgz
860 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
253515.43% 5/May/16 11:53/~lp15/papers/Notes/SE-I.pdf
843 0.12% 5/May/16 12:02/~lp15/
633 3.90% 4/May/16 20:07/~lp15/papers/Reports/equivclasses-slides.pdf
427 0.01% 5/May/16 11:32/~lp15/MLbook/
415 5.38% 4/May/16 06:07/~lp15/papers/Reports/thesis.pdf
383 0.03% 5/May/16 09:48/~lp15/papers/UNITY/
365 0.39% 5/May/16 12:02/~lp15/images/larry-home-small.jpg
337 0.26% 5/May/16 12:02/~lp15/images/acm-logo.jpg
311 0.65% 5/May/16 11:56/~lp15/papers/Notes/Founds-FP.pdf
282 0.10% 5/May/16 11:59/~lp15/papers/refereed.html
275 0.83% 5/May/16 08:37/~lp15/papers/Reports/equivclasses.pdf
264 0.86% 5/May/16 11:33/~lp15/papers/Notes/LCF+.pdf
260 4.46% 5/May/16 10:57/~lp15/Sue/Thesis.pdf
189 0.03% 5/May/16 01:40/~lp15/papers/Arith/
188 0.01% 5/May/16 08:16/~lp15/MLbook/programs/
157 0.98% 5/May/16 11:40/~lp15/papers/Formath/Goedel-ar.pdf
135 0.34% 2/May/16 11:03/~lp15/papers/Formath/automata.pdf
133 0.12% 5/May/16 11:26/~lp15/papers/Reports/mutil.pdf
121  5/May/16 07:49/~lp15/MLbook/exercises/
109 0.48% 4/May/16 16:00/~lp15/papers/Auth/jcs.pdf
109 0.38% 5/May/16 11:33/~lp15/papers/Isabelle/fleuriot-kepler.pdf
108 0.02% 5/May/16 11:10/~lp15/Grants/SET/
104 0.02% 5/May/16 07:28/~lp15/papers/Auth/
102  5/May/16 11:26/~lp15/MLbook/programs/ROOT.sml
100 0.22% 5/May/16 11:05/~lp15/papers/Auth/tls.pdf
99 0.74%29/Apr/16 18:42/~lp15/papers/Isabelle/Goedel-ar.pdf
92 0.01% 5/May/16 05:53/~lp15/Sue/
86 0.11% 5/May/16 05:42/~lp15/papers/Auth/SET-overview-2002.pdf
84  5/May/16 06:45/~lp15/MLbook/programs/sample2.sml
83 0.18% 5/May/16 01:23/~lp15/papers/Formath/AC.pdf
78 0.01% 4/May/16 10:29/~lp15/papers/
74 0.01% 5/May/16 08:59/~lp15/papers/Formath/
74 0.01% 4/May/16 19:26/~lp15/papers/lecture-courses.html
73 0.11% 5/May/16 01:24/~lp15/papers/Formath/Goedel-logic.pdf
73 0.01% 5/May/16 11:08/~lp15/papers/Automation/
73 0.10% 4/May/16 18:31/~lp15/papers/Auth/lics.pdf
70 0.01% 5/May/16 08:28/~lp15/Grants/AutoPolyFun/
69  5/May/16 01:27/~lp15/MLbook/pub-details.html
69 0.01% 5/May/16 09:08/~lp15/MLbook/exercises/exer2.html
66 0.09% 5/May/16 04:23/~lp15/Pages/vita.pdf
65 0.13% 5/May/16 08:01/~lp15/papers/Bella/esorics98.pdf
65 0.27% 3/May/16 20:30/~lp15/papers/Bella/smartcards-jcs.pdf
64 0.01% 4/May/16 15:24/~lp15/archive/
64 0.01% 4/May/16 08:24/~lp15/papers/Isabelle/
64 0.22% 3/May/16 19:38/~lp15/papers/Bella/accountability.pdf
61 0.08% 5/May/16 03:03/~lp15/Usage/
61 0.01% 5/May/16 10:02/~lp15/papers/hol.html
61 0.01% 5/May/16 03:58/~lp15/papers/Reports/
60  5/May/16 03:44/~lp15/Pages/cv.html
60 0.01% 4/May/16 17:47/~lp15/MLbook/ERRATA.html
59 0.13% 4/May/16 20:10/~lp15/papers/Automation/translations.pdf
59 0.01% 5/May/16 06:46/~lp15/MLbook/programs/sample3.sml
55 0.21% 4/May/16 02:55/~lp15/papers/Formath/reflection-slides.pdf
55 0.11% 4/May/16 12:06/~lp15/papers/Automation/paar.pdf
54 0.06% 5/May/16 11:50/~lp15/Sue/Cultures of Dance.ppt
52  4/May/16 20:21/~lp15/MLbook/general.html
52 0.01% 5/May/16 09:19/~lp15/MLbook/programs/sample4.sml
52  5/May/16 01:37/~lp15/Grants/Automation/
52 0.01% 4/May/16 09:49/~lp15/Grants/LEO-II/
51 0.12% 4/May/16 20:14/~lp15/papers/Reports/TPHOLs05.pdf
49 0.12% 3/May/16 00:50/~lp15/papers/Automation/meng-termination.pdf
49 0.07% 5/May/16 04:35/~lp15/papers/Arith/Narayanan DATE.pdf
49  5/May/16 10:11/~lp15/papers/workshop.html
48 0.32% 2/May/16 18:23/~lp15/papers/Arith/MetiTarski-jar.pdf
48  5/May/16 06:30/~lp15/papers/books.html
48  4/May/16 03:01/~lp15/Pages/projects.html
48 0.05% 5/May/16 01:23/~lp15/papers/Auth/yahalom.pdf
47 0.02% 3/May/16 20:17/~lp15/Sue/Sue Paulson.jpg
46  3/May/16 10:18/~lp15/MLbook/review.html
46  4/May/16 09:01/~lp15/papers/Workshop/
46 0.02%30/Apr/16 13:19/~lp15/Usage/images/
46  5/May/16 00:43/~lp15/MLbook/programs/sample5.sml
45 0.09% 5/May/16 01:23/~lp15/papers/UNITY/ehmety-composition.pdf
45 0.09% 3/May/16 12:02/~lp15/papers/Bella/nonrepudiation.pdf
45 0.02% 4/May/16 20:06/~lp15/images/pilkington.jpg
45 0.14% 3/May/16 23:51/~lp15/papers/Formath/reflection.pdf
45 0.17%30/Apr/16 03:07/~lp15/papers/Formath/set-I.pdf
44  5/May/16 07:58/~lp15/papers/Notes/
44 0.11% 4/May/16 23:16/~lp15/papers/Auth/multicast_verification.pdf
44  4/May/16 17:10/~lp15/SpryAssets/
44  4/May/16 14:56/~lp15/papers/Arith/qepcad-for-mac.html
43 0.16% 5/May/16 01:18/~lp15/papers/UNITY/UNITY.pdf
43  4/May/16 01:04/~lp15/papers/recur.html
42 0.01% 3/May/16 02:01/~lp15/MLbook/programs/sample10.sml
42 0.01% 3/May/16 13:38/~lp15/papers/invited.html
42 0.08% 4/May/16 13:46/~lp15/papers/Bella/purchase.pdf
41  5/May/16 04:02/~lp15/MLbook/first/
41 0.10% 3/May/16 21:23/~lp15/papers/Arith/Hscc09.pdf
40 30/Apr/16 04:24/~lp15/Pages/
40 0.13% 1/May/16 01:18/~lp15/papers/Automation/filtering.pdf
39  1/May/16 11:59/~lp15/images/
39 0.08%29/Apr/16 22:43/~lp15/papers/UNITY/tphols01.pdf
39 0.01% 3/May/16 19:57/~lp15/Pages/Scream.html
38  3/May/16 00:42/~lp15/Pages/CL-English.html
38  2/May/16 10:06/~lp15/MLbook/disclaimer.html
38 0.07% 4/May/16 15:34/~lp15/Pages/harrison-real.pdf
38  4/May/16 10:58/~lp15/Templates/
38 0.11% 5/May/16 02:25/~lp15/papers/UNITY/Mechanizing-compositional.pdf
37 0.01% 3/May/16 09:53/~lp15/MLbook/exercises/exer3.html
37  5/May/16 00:56/~lp15/papers/Arith/download.html
37  3/May/16 13:30/~lp15/css/
36  3/May/16 22:27/~lp15/Grants/
36 0.06% 4/May/16 14:42/~lp15/papers/Arith/fmcad2009.pdf
36 0.01% 3/May/16 19:23/~lp15/Grants/UNITY/
35 0.05% 3/May/16 16:24/~lp15/papers/Isabelle/chap700.pdf
35 0.02% 5/May/16 01:32/~lp15/papers/Reviews/MLer.pdf
35 0.16% 2/May/16 01:01/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
34 0.11% 2/May/16 08:26/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.24% 3/May/16 13:17/~lp15/papers/Bella/purchase-JAR.pdf
34 0.08% 4/May/16 09:45/~lp15/papers/Automation/jar-smt.pdf
34 0.03% 2/May/16 23:51/~lp15/papers/Reports/CADE9.pdf
34 0.10% 5/May/16 02:07/~lp15/papers/Bella/certified-email.pdf
34 0.08%29/Apr/16 20:52/~lp15/papers/Automation/cade2011-sledge-smt.pdf
33  4/May/16 18:28/~lp15/papers/Bella/
32 0.03% 4/May/16 15:04/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
32 0.04% 4/May/16 20:17/~lp15/papers/Arith/pdpar2006.pdf
32 0.04% 3/May/16 04:17/~lp15/papers/Workshop/friedrich.pdf
32 0.07% 5/May/16 03:37/~lp15/papers/Bella/registration.pdf
32 0.85%29/Apr/16 10:58/~lp15/Sue/Thesis-Appendices.pdf
32 0.11% 5/May/16 03:16/~lp15/papers/Workshop/papers/kammueller.pdf
31  2/May/16 20:34/~lp15/papers/Reviews/
31  5/May/16 02:35/~lp15/tmp/
31 0.12% 3/May/16 17:25/~lp15/papers/Automation/translations-jar.pdf
31 0.67% 2/May/16 07:20/~lp15/papers/Auth/lics-slides.pdf
31  5/May/16 09:44/~lp15/papers/Ballarin/
31  5/May/16 03:11/~lp15/Data/
31 0.06% 2/May/16 20:12/~lp15/Grants/AutoPolyFun/case.pdf
31 0.05% 5/May/16 00:29/~lp15/papers/Arith/ITP-2012-invited.pdf
31 0.11% 4/May/16 12:28/~lp15/papers/Formath/set-II.pdf
30 0.01% 3/May/16 19:02/~lp15/MLbook/programs/sample8.sml
30 0.05% 5/May/16 01:29/~lp15/papers/Workshop/papers/kalvala-linear.pdf
30  4/May/16 09:00/~lp15/Grants/holisa.html
30 0.26% 4/May/16 00:30/~lp15/papers/Automation/info-and-comp.pdf
29  3/May/16 09:53/~lp15/papers/Deduction/
29 0.05% 1/May/16 23:38/~lp15/papers/Auth/ijcar2001.pdf
28  2/May/16 12:49/~lp15/Data/ho-translations/
28 0.01% 3/May/16 17:30/~lp15/MLbook/programs/sample7.sml
28 0.01% 2/May/16 22:01/~lp15/MLbook/exercises/exer4.html
28  4/May/16 10:06/~lp15/Grants/BeyondLinArith/
28 0.01% 4/May/16 04:21/~lp15/MLbook/programs/sample9.sml
28 0.06% 5/May/16 01:24/~lp15/papers/Workshop/papers/thompson.pdf
28 0.04% 4/May/16 18:26/~lp15/papers/Notes/strategy.pdf
28  4/May/16 11:07/~lp15/papers/Arith/atan-problem-1-weak.html
28 0.21%24/Apr/16 14:48/~lp15/Pages/Munich-slides.pdf
28 0.06% 2/May/16 15:03/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
27  3/May/16 13:42/~lp15/Grants/arith.html
27 0.04% 2/May/16 05:28/~lp15/papers/Reports/CADE11.pdf
27  5/May/16 04:36/~lp15/Pages/ACS-proposals.html
27 0.15% 4/May/16 00:37/~lp15/papers/Reports/logics97.pdf
27 0.07% 3/May/16 02:25/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
26 0.12%29/Apr/16 20:51/~lp15/papers/Automation/filtering-jal.pdf
26 0.06% 4/May/16 12:55/~lp15/papers/Arith/lpar2007.pdf
26 0.05%30/Apr/16 21:26/~lp15/papers/Bella/dimacs97.pdf
26 0.01% 5/May/16 11:37/~lp15/MLbook/exercises/exer6.html
26 0.15% 5/May/16 01:23/~lp15/papers/Reports/intro-to-isabelle.pdf
26  5/May/16 07:56/~lp15/Grants/temporal.html
25 0.13% 5/May/16 01:18/~lp15/papers/Auth/tls-slides.pdf
25 0.01% 3/May/16 22:32/~lp15/MLbook/exercises/exer5.html
25 0.12% 2/May/16 09:47/~lp15/papers/UNITY/composition.pdf
25 0.13% 3/May/16 09:27/~lp15/papers/Automation/reconstruction.pdf
25 0.31% 2/May/16 07:11/~lp15/papers/Notes/formalizing-abst-slides.pdf
25 0.14% 4/May/16 15:30/~lp15/papers/Arith/calculemus2008.pdf
25 0.01% 2/May/16 00:17/~lp15/MLbook/exercises/exer8.html
25  4/May/16 16:19/~lp15/MLbook/StandardML.plist
25 0.22% 2/May/16 14:40/~lp15/papers/Bella/TPHOLs03-slides.pdf
25  4/May/16 07:08/~lp15/Data/relevance/
24  3/May/16 00:29/~lp15/MLbook/programs/notes.html
24 0.02%30/Apr/16 00:22/~lp15/Grants/LEO-II/leo2-case.pdf
24 0.04%30/Apr/16 21:26/~lp15/papers/Bella/cav98.pdf
24 0.09% 5/May/16 00:56/~lp15/papers/Automation/sultana-pfreconstruction.pdf
24 0.07% 3/May/16 11:59/~lp15/papers/Formath/Goedel-logic-mine.pdf
24 0.07%30/Apr/16 16:28/~lp15/papers/Arith/SNC2014-invited.pdf
24 0.05% 5/May/16 01:20/~lp15/papers/Automation/thf-sledge.pdf
24  5/May/16 01:16/~lp15/papers/Workshop/participants.html
23 0.01% 3/May/16 13:07/~lp15/MLbook/programs/test10.sml
23  4/May/16 09:06/~lp15/Grants/auth.html
23  4/May/16 14:45/~lp15/MLbook/first/programs/
23 0.01%30/Apr/16 11:14/~lp15/papers/Reviews/construct.pdf
23 0.08% 5/May/16 07:40/~lp15/papers/Workshop/papers/vigano.pdf
23 1.22% 2/May/16 12:44/~lp15/papers/Formath/Goedel-slides.pdf
23 0.06% 3/May/16 21:06/~lp15/papers/Bella/esorics2000.pdf
23 0.05% 1/May/16 12:42/~lp15/papers/Isabelle/blast.pdf
22 0.01% 3/May/16 12:53/~lp15/MLbook/first/ML-syntax.ps.gz
22 0.25% 1/May/16 20:01/~lp15/papers/Reports/TypeClasses.pdf
22 0.37% 4/May/16 12:46/~lp15/papers/Auth/dagstuhl2001-slides.pdf
22 0.03% 4/May/16 20:38/~lp15/papers/Auth/auth-slides.pdf
22 0.05%29/Apr/16 20:52/~lp15/papers/Arith/case-splitting.pdf
22 0.04% 5/May/16 01:26/~lp15/papers/Automation/leo2-ijcar.pdf
22 0.03% 4/May/16 12:55/~lp15/Grants/Automation/final.pdf
22 0.33% 3/May/16 09:03/~lp15/papers/Arith/metit-slides.pdf
22 0.09% 3/May/16 18:02/~lp15/papers/Arith/cicm2012.pdf
21 0.04% 5/May/16 00:18/~lp15/papers/Formath/final.pdf
21  4/May/16 18:19/~lp15/papers/Workshop/staples.html
21  5/May/16 01:20/~lp15/MLbook/first/programs/Lambda.ML
21 0.06% 4/May/16 17:51/~lp15/papers/Arith/Huang-3heuristics.pdf
21 0.05% 3/May/16 12:57/~lp15/papers/Automation/IJCAR2004.pdf
21 0.13%26/Apr/16 13:57/~lp15/papers/Deduction/lecture3.pdf
21  3/May/16 10:11/~lp15/MLbook/exercises/disclaimer.html
21 0.09% 1/May/16 04:55/~lp15/papers/Formath/constructible-slides.pdf
20 0.04% 4/May/16 17:52/~lp15/papers/Workshop/papers/voelker.pdf
20 1.07%30/Apr/16 18:05/~lp15/papers/Arith/ITP 2012 presentation.pdf
20 0.01% 4/May/16 14:09/~lp15/MLbook/exercises/exer7.html
19 0.04% 4/May/16 07:31/~lp15/papers/Reports/blast.pdf
19 0.09% 4/May/16 02:51/~lp15/papers/Auth/SET-document.pdf
19 0.14% 2/May/16 07:43/~lp15/papers/Auth/SET-overview-slides.pdf
19 0.06% 2/May/16 04:03/~lp15/papers/Isabelle/sylow.pdf
19 0.03% 4/May/16 11:09/~lp15/papers/Ballarin/aisc98.pdf
19 0.16% 1/May/16 13:17/~lp15/papers/Arith/Sogokon-nfm14.pdf
18  4/May/16 02:10/~lp15/papers/Workshop/nipkow.html
18  4/May/16 05:51/~lp15/MLbook/programs/sample8-2004.sml
18 0.08%29/Apr/16 15:59/~lp15/papers/Deduction/lecture1.pdf
18 0.07%29/Apr/16 22:39/~lp15/papers/Notes/MOD-slides.pdf
18 0.06% 4/May/16 17:45/~lp15/papers/Reports/fleuriot-kepler.pdf
18  4/May/16 00:48/~lp15/MLbook/programs/sample9-2004.sml
18 0.22% 2/May/16 18:10/~lp15/papers/Reports/ref97.pdf
18 0.02%30/Apr/16 21:22/~lp15/papers/Auth/security-protocols.pdf
18 0.02% 5/May/16 11:10/~lp15/papers/Auth/recur-slides.pdf
17  4/May/16 18:34/~lp15/MLbook/first/programs/Lists-Trees.ML
17 0.19% 3/May/16 14:45/~lp15/Grants/Automation/poster.pdf
17 0.03%30/Apr/16 04:23/~lp15/papers/Isabelle/Goedel-logic.pdf
17 0.03% 2/May/16 12:54/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
17 0.04% 3/May/16 23:09/~lp15/papers/Isabelle/coding.pdf
17  3/May/16 10:43/~lp15/papers/Workshop/agerholm.html
17 0.04% 3/May/16 09:00/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17  3/May/16 19:22/~lp15/MLbook/first/programs/Imperative.ML
17 0.04% 1/May/16 06:47/~lp15/papers/Workshop/papers/agerholm.pdf
16 0.03%25/Apr/16 19:15/~lp15/papers/Workshop/papers/staples.pdf
16 0.10% 1/May/16 23:45/~lp15/papers/Reports/Bridge-ml.pdf
16 0.02%27/Apr/16 10:44/~lp15/papers/Workshop/papers/ayari.pdf
16 0.02% 2/May/16 19:58/~lp15/papers/Reports/Descent of BAN.pdf
16 0.23% 1/May/16 13:04/~lp15/papers/Automation/reconstruction-slides.pdf
16 0.01%27/Apr/16 09:15/~lp15/papers/Workshop/kammueller.pdf
16 0.18% 1/May/16 02:28/~lp15/papers/Auth/dagstuhl2003-slides.pdf
15 0.09%30/Apr/16 17:58/~lp15/images/pilkington-full.jpg
15 0.16% 5/May/16 01:21/~lp15/papers/Formath/constructible-theory.pdf
15  4/May/16 04:14/~lp15/MLbook/programs/sample8-old.sml
15 0.03%30/Apr/16 11:52/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
15 0.03%29/Apr/16 11:04/~lp15/papers/Workshop/papers/nipkow.pdf
15  4/May/16 12:52/~lp15/MLbook/programs/sample10-old.sml
15 0.02% 1/May/16 01:10/~lp15/papers/Notes/leeds-notes.pdf
15 0.26%30/Apr/16 21:23/~lp15/papers/Auth/ijcar2001-slides.pdf
15  4/May/16 03:01/~lp15/MLbook/programs/sample3-old.sml
15  5/May/16 02:24/~lp15/papers/Workshop/wolff.html
14 0.04% 3/May/16 20:12/~lp15/papers/Arith/case-splitting-stats.csv
14 30/Apr/16 19:27/~lp15/papers/Formath/ind-defs-slides.pdf
14  2/May/16 13:30/~lp15/papers/Workshop/matthews.html
14 0.01% 5/May/16 02:22/~lp15/papers/Formath/AC-slides.pdf
14 0.03% 2/May/16 22:49/~lp15/papers/Isabelle/aisc98.pdf
14  4/May/16 01:03/~lp15/papers/Workshop/thompson.html
14 0.02% 2/May/16 10:37/~lp15/papers/Workshop/vigano.pdf
14 23/Apr/16 15:51/~lp15/papers/OLD.SETS/
14  5/May/16 04:41/~lp15/Sue/Cultures of Dance.html
13 0.02% 5/May/16 01:23/~lp15/papers/Arith/FroCoS-2013-invited.pdf
13 0.01% 1/May/16 19:11/~lp15/papers/paulson.bib
13 0.03% 1/May/16 01:05/~lp15/papers/Workshop/papers/benini.pdf
13 0.01%28/Apr/16 22:07/~lp15/papers/Arith/Overcoming.pdf
13  3/May/16 07:17/~lp15/papers/Workshop/paulson.html
13  1/May/16 01:52/~lp15/images/larry-paulson.jpg
13 0.14% 2/May/16 00:01/~lp15/papers/Reports/TypeClasses-slides.pdf
13 0.05%15/Apr/16 16:08/~lp15/papers/Deduction/lecture2.pdf
13 0.03% 5/May/16 11:05/~lp15/papers/Workshop/papers/owens.pdf
13 0.02%30/Apr/16 13:33/~lp15/papers/Formath/constructible-abstract.pdf
13 0.03%29/Apr/16 20:45/~lp15/papers/Formath/milner-ind-defs.pdf
13 0.05%17/Apr/16 16:18/~lp15/papers/Deduction/lecture4.pdf
13  3/May/16 01:50/~lp15/Grants/Chaieb.html
13 0.36%28/Apr/16 11:49/~lp15/papers/Arith/SNC2014-slides.pdf
13 0.86%22/Apr/16 03:00/~lp15/papers/Arith/FroCos-presentation.pdf
12  3/May/16 12:47/~lp15/MLbook/first/programs/ParsePrint.ML
12  5/May/16 03:18/~lp15/papers/Workshop/kalvala.html
12 0.01%21/Apr/16 14:38/~lp15/papers/Notes/strategy-slides.pdf
12  2/May/16 08:53/~lp15/papers/Workshop/heule.html
12 0.01%29/Apr/16 20:44/~lp15/papers/Isabelle/blast-slides.pdf
12 0.43%30/Apr/16 00:22/~lp15/Grants/LEO-II/leo project poster.pdf
12 0.02%30/Apr/16 09:37/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
12 0.01%27/Apr/16 17:44/~lp15/papers/Arith/NFM2014-invited.pdf
12 0.11%27/Apr/16 21:26/~lp15/papers/Arith/NFM2014-slides.pdf
11 1.16% 2/May/16 00:50/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
11 28/Apr/16 09:16/~lp15/Grants/UNITY/final.pdf
11 0.07%27/Apr/16 19:53/~lp15/papers/Automation/Huet colloquium.pdf
11 5.86% 2/May/16 08:49/~lp15/archive/Isabelle2015.tar.gz
11 0.01% 4/May/16 23:25/~lp15/Grants/Automation/case.pdf
11 0.05% 1/May/16 11:00/~lp15/papers/Workshop/papers/bednarczyk.pdf
11  3/May/16 12:48/~lp15/MLbook/first/programs/Functions.ML
11  5/May/16 12:08/~lp15/papers/Arith/RELEASE-NOTES.txt
11 0.11% 2/May/16 19:04/~lp15/papers/Automation/h4qed-clean.pdf
11  4/May/16 04:31/~lp15/papers/Workshop/futures.html
11 0.03%28/Apr/16 13:54/~lp15/papers/Ballarin/coding.pdf
10  4/May/16 23:08/~lp15/MLbook/first/ERRATA3.txt
10 0.24%27/Apr/16 18:23/~lp15/Grants/BeyondLinArith/arith-poster.pdf
10 0.12%21/Apr/16 16:52/~lp15/papers/Isabelle/Cube-presentation.pdf
10 30/Apr/16 21:13/~lp15/Grants/temporal-final.pdf
10 0.01%29/Apr/16 13:45/~lp15/papers/Workshop/ayari.pdf
10  1/May/16 09:49/~lp15/MLbook/first/ERRATA2.txt
9  3/May/16 17:14/~lp15/Sue/Cultures of Dance.pdf
9 0.01%30/Apr/16 14:02/~lp15/papers/Workshop/front.pdf
9 0.25%17/Apr/16 13:05/~lp15/Sue/Phd-Poster.pdf
9 0.38%27/Apr/16 13:59/~lp15/papers/Arith/Overcoming-slides.pdf
9 0.04%18/Apr/16 12:01/~lp15/papers/Workshop/papers/rasmussen.pdf
9  2/May/16 21:43/~lp15/MLbook/first/ERRATA1.txt
9 16/Apr/16 11:21/~lp15/papers/Workshop/programme.html
8 0.02% 5/May/16 06:37/~lp15/Grants/Chaieb-case.pdf
8 0.03%27/Apr/16 14:34/~lp15/archive/lcf.tar.gz
8 0.03%26/Apr/16 04:56/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
8 3.98% 3/May/16 19:20/~lp15/archive/Isabelle2014.tar.gz
8  5/May/16 08:19/~lp15/Grants/SET/final.pdf
8 0.07%28/Apr/16 17:17/~lp15/Grants/BeyondLinArith/arith-case.pdf
8 0.19% 5/May/16 01:28/~lp15/Grants/arith-poster.pdf
7  3/May/16 12:51/~lp15/MLbook/first/answers1-5.txt.gz
7 0.01%20/Apr/16 03:31/~lp15/papers/Workshop/papers/matthews.pdf
7 1.45% 3/May/16 13:35/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
7  3/May/16 12:47/~lp15/MLbook/first/programs/Modules.ML
7  1/May/16 04:05/~lp15/Grants/UNITY/case.pdf
7 0.01%29/Apr/16 00:31/~lp15/archive/compgen.tar.gz
7 5.37%28/Apr/16 21:50/~lp15/archive/Isabelle2013-2.tar.gz
7 29/Apr/16 15:06/~lp15/Data/relevance/unfiltered-E.txt
6 0.79% 2/May/16 08:49/~lp15/archive/Isabelle2009.tar.gz
6 30/Apr/16 08:11/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
6 30/Apr/16 23:37/~lp15/papers/Workshop/bednarczyk.txt
6  3/May/16 12:51/~lp15/MLbook/first/answers8.txt.gz
6  2/May/16 09:26/~lp15/Grants/SET/case.pdf
6 29/Apr/16 00:43/~lp15/images/knuth-small.jpg
6 0.02%23/Apr/16 15:57/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
6 0.38% 4/May/16 04:09/~lp15/Data/ho-translations/Abst.tbz
6 0.03% 4/May/16 07:14/~lp15/papers/OLD.SETS/constructible-slides.pdf
6 18/Apr/16 21:32/~lp15/papers/OLD.SETS/ind-defs-slides.pdf
6  4/May/16 23:57/~lp15/MLbook/first/ML-syntax.dvi.gz
6  4/May/16 23:23/~lp15/Data/relevance/unfiltered-vampire.txt
6  3/May/16 12:47/~lp15/MLbook/first/programs/Hal.ML
6 0.01%27/Apr/16 14:33/~lp15/archive/Isabelle89.tar.gz
30524.52% 5/May/16 04:04[not listed: 86 files]