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

Program started at Tue-26-Jan-2016 14:41.
Analysed requests from Wed-05-Nov-2014 15:02 to Tue-26-Jan-2016 14:26 (446.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 26-Jan-2016 14:41.

Successful requests: 21,843 (6,593)
Average successful requests per day: 48 (941)
Successful requests for pages: 7,002 (2,544)
Average successful requests for pages per day: 15 (363)
Failed requests: 1,105 (213)
Redirected requests: 161 (23)
Distinct files requested: 538 (419)
Distinct hosts served: 3,869 (1,271)
Unwanted logfile entries: 16,418
Data transferred: 6.23 gigabytes (1.80 gigabytes)
Average data transferred per day: 14.28 megabytes (263.84 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 
Sun2892972+++++++++++++++++++++++++++++++++
Mon3604916+++++++++++++++++++++++++++++++
Tue2963820++++++++++++++++++++++++++++
Wed32041106+++++++++++++++++++++++++++++++++++++
Thu3114978+++++++++++++++++++++++++++++++++
Fri2854896++++++++++++++++++++++++++++++
Sat32121314++++++++++++++++++++++++++++++++++++++++++++

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
844540.69%[unresolved numerical addresses]
679935.12%.com (Commercial)
1545 5.37%.net (Networks)
1075 3.67%.de (Germany)
489 2.32%.in (India)
338 2.21%[unknown domain]
524 2.12%[domain not given]
502 1.49%.edu (USA Higher Education)
397 1.21%.ru (Russia)
279 1.05%.uk (United Kingdom)
93 0.41%.jp (Japan)
30 0.31%.pl (Poland)
65 0.24%.fr (France)
56 0.23%.pk (Pakistan)
56 0.20%.ke (Kenya)
77 0.17%.it (Italy)
76 0.16%.es (Spain)
47 0.15%.ca (Canada)
39 0.14%.cn (China)
11 0.14%.gh (Ghana)
19 0.13%.org (Non Profit Making Organisations)
53 0.12%.ar (Argentina)
25 0.12%.mx (Mexico)
30 0.11%.br (Brazil)
21 0.10%.nl (Netherlands)
11 0.10%.ng (Nigeria)
100 0.09%.pt (Portugal)
14 0.09%.np (Nepal)
7 0.09%.za (South Africa)
20 0.09%.vn (Vietnam)
42 0.08%.ba (Bosnia-Herzegovina)
9 0.08%.gr (Greece)
15 0.08%.sg (Singapore)
17 0.07%.tr (Turkey)
11 0.07%.bd (Bangladesh)
13 0.07%.se (Sweden)
13 0.07%.id (Indonesia)
18 0.06%.cm (Cameroon)
5 0.05%.ua (Ukraine)
26 0.05%.dk (Denmark)
21 0.05%.info (Informational)
47 0.04%.at (Austria)
26 0.04%.au (Australia)
5 0.04%.mil (USA Military)
13 0.04%.eg (Egypt)
8 0.04%.fi (Finland)
7 0.04%.arpa (Arpanet)
25 0.03%.ro (Romania)
4 0.03%.by (Belarus)
10 0.03%.tw (Taiwan)
3 0.03%.ae (United Arab Emirates)
3 0.03%.gy (Guyana)
3 0.03%.ph (Philippines)
2 0.03%.is (Iceland)
11 0.03%.be (Belgium)
16 0.02%.co (Colombia)
12 0.02%.cl (Chile)
75 0.02%.il (Israel)
15 0.02%.hu (Hungary)
18 0.02%.cz (Czech Republic)
3 0.02%.hr (Croatia)
5 0.02%.hk (Hong Kong)
4 0.02%.ie (Ireland)
1 0.01%.my (Malaysia)
16 0.01%.ch (Switzerland)
1 0.01%.zm (Zambia)
1 0.01%.kr (South Korea)
1 0.01%.lk (Sri Lanka)
1 0.01%.mm (Myanmar)
5 0.01%.biz (Businesses)
8 0.01%.ir (Iran)
3 0.01%.lt (Lithuania)
4 0.01%.nc (New Caledonia)
3 0.01%.nz (New Zealand)
7 0.01%.no (Norway)
4 0.01%.ve (Venezuela)
3 0.01%.ly (Libya)
4 0.01%.th (Thailand)
1 .md (Moldova)
1 .rw (Rwanda)
17 .bg (Bulgaria)
3 .sk (Slovakia)
4 .ee (Estonia)
1 .su (Former USSR)
1 .jo (Jordan)
2 .ec (Ecuador)
1 .ci (Ivory Coast)
1 .lv (Latvia)
1 .gov (USA Government)

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
291318.83%baidu.com
1527 7.13%msn.com
1319 0.05%203.239
823 4.24%17
649 2.61%your-server.de
607 4.49%yandex.com
524 2.12%[domain not given]
486 5.92%112
451 1.89%117
412 2.13%199.16
341 1.11%mail.ru
338 2.21%[unknown domain]
307 1.38%41
273 1.07%psu.edu
251 0.42%115
213 0.03%ip-167-114-0.net
189 0.55%49
180 page2rss.com
166 0.78%14
164 0.84%amazonaws.com
971042.22%[not listed: 1,018 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
505software
477pdf
417engineering
116notes
66engernning
38i.pdf
38http://www.cl.cam.ac.uk/~lp15/papers/notes/se
37for
26download
23of
21ebooks
19in
18on
11cse
10engineer
9protocol
9students
8about
7set
6is
62
6free
6computer
5equivalence
5it
5develop
5functional
5engineering.pdf
5sy
5sybca
236[not listed: 150 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
162763234OS unknown
271801475Windows
 53051075  Unknown Windows
 998213  Windows NT
 842165  Windows XP
 1611  Windows 98
 1410  Windows 2000
 11  Windows ME
 40  Windows Server 2003
325441176Macintosh
43855710Known robots
51945400Unix
 1902392  Linux
 407  Other Unix
 21  BSD
 10  SunOS
6150Symbian 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
16327200 OK
4675206 Partial content
161301 Document moved permanently
841304 Not modified since last retrieval
192403 Access forbidden
913404 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
01120 
1B- 10B13 
11B- 100B2 
101B- 1kB234 
1kB- 10kB4616 0.26%
10kB-100kB7441 4.73%
100kB- 1MB781148.89%
1MB- 10MB55523.51%
10MB-100MB5122.60%

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
1306771.48%.pdf [Adobe Portable Document Format]
13915.75%.gz [Gzip compressed files]
6315.66%  .tar.gz [Compressed archives]
71 9.80%.tbz
10 1.08%.zip [Zip archives]
811 0.75%.jpg [JPEG graphics]
4909 0.48%[directories]
2093 0.29%.html [Hypertext Markup Language]
2 0.16%.tgz
741 0.22%[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
426624.40%26/Jan/16 13:16/~lp15/papers/Notes/SE-I.pdf
1754 0.06%26/Jan/16 14:25/~lp15/MLbook/
800 0.12%26/Jan/16 13:45/~lp15/
633 2.31%26/Jan/16 14:21/~lp15/papers/Reports/equivclasses-slides.pdf
360 0.39%26/Jan/16 13:45/~lp15/images/larry-home-small.jpg
336 0.10%26/Jan/16 12:16/~lp15/papers/refereed.html
333 0.26%26/Jan/16 13:45/~lp15/images/acm-logo.jpg
315 0.84%26/Jan/16 14:09/~lp15/papers/Formath/automata.pdf
281 2.13%26/Jan/16 14:26/~lp15/papers/Isabelle/Goedel-ar.pdf
264 3.49%25/Jan/16 06:31/~lp15/papers/Reports/thesis.pdf
247 3.81%26/Jan/16 00:46/~lp15/Sue/Thesis.pdf
241 0.54%26/Jan/16 08:58/~lp15/papers/Notes/Founds-FP.pdf
227 0.03%26/Jan/16 14:25/~lp15/papers/Arith/
203 0.01%26/Jan/16 10:05/~lp15/MLbook/programs/
182 0.56%26/Jan/16 11:55/~lp15/papers/Reports/equivclasses.pdf
172 0.70%26/Jan/16 12:02/~lp15/papers/Auth/jcs.pdf
143 25/Jan/16 23:59/~lp15/MLbook/exercises/
129 0.85%25/Jan/16 13:04/~lp15/papers/Formath/Goedel-ar.pdf
127 0.45%26/Jan/16 07:35/~lp15/papers/Isabelle/fleuriot-kepler.pdf
117 0.10%26/Jan/16 10:32/~lp15/papers/Reports/mutil.pdf
106 0.02%25/Jan/16 10:10/~lp15/Pages/Scream.html
100 0.01%25/Jan/16 21:46/~lp15/Sue/
97 0.20%26/Jan/16 14:24/~lp15/papers/Isabelle/aisc98.pdf
97 0.28%26/Jan/16 01:58/~lp15/papers/Reports/fleuriot-kepler.pdf
97 0.23%26/Jan/16 08:36/~lp15/papers/Automation/cade2011-sledge-smt.pdf
96 0.02%26/Jan/16 12:47/~lp15/papers/Auth/
91 0.01%26/Jan/16 00:27/~lp15/papers/Automation/
89 0.21%26/Jan/16 09:33/~lp15/papers/Auth/tls.pdf
88 0.22%26/Jan/16 07:20/~lp15/papers/Automation/jar-smt.pdf
88 0.02%26/Jan/16 00:19/~lp15/Grants/SET/
84 0.12%26/Jan/16 07:22/~lp15/papers/Formath/Goedel-logic.pdf
84 0.01%26/Jan/16 11:37/~lp15/papers/Formath/
83 0.64%25/Jan/16 01:35/~lp15/papers/Reports/popl82.pdf
11 0.15%14/Jan/16 05:00  /~lp15/papers/Reports/popl82.pdf?origin=publication_detail
80 0.01%25/Jan/16 14:44/~lp15/papers/lecture-courses.html
76 0.09%26/Jan/16 02:09/~lp15/papers/Auth/SET-overview-2002.pdf
76 26/Jan/16 01:58/~lp15/MLbook/programs/sample2.sml
75 0.28%25/Jan/16 16:21/~lp15/papers/Bella/accountability.pdf
74 26/Jan/16 12:32/~lp15/MLbook/pub-details.html
73 0.01%26/Jan/16 03:54/~lp15/papers/workshop.html
71 0.19%26/Jan/16 10:11/~lp15/papers/Bella/esorics2000.pdf
15 0.04%24/Jan/16 18:05  /~lp15/papers/Bella/esorics2000.pdf?origin=publication_detail
66 0.01%24/Jan/16 13:51/~lp15/Grants/AutoPolyFun/
65 0.01%25/Jan/16 08:55/~lp15/MLbook/ERRATA.html
65 0.01%26/Jan/16 12:39/~lp15/MLbook/exercises/exer2.html
65 0.17%26/Jan/16 12:34/~lp15/papers/Arith/Hscc09.pdf
64 25/Jan/16 15:12/~lp15/papers/
63 0.32%25/Jan/16 19:49/~lp15/papers/Arith/MetiTarski-jar.pdf
63 0.09%26/Jan/16 06:55/~lp15/papers/Auth/lics.pdf
63 0.01%25/Jan/16 14:41/~lp15/papers/Reports/
61 0.08%26/Jan/16 14:20/~lp15/Usage/
61 0.01%26/Jan/16 13:38/~lp15/papers/Isabelle/
60 0.27%26/Jan/16 13:37/~lp15/papers/Automation/filtering-jal.pdf
60 25/Jan/16 20:47/~lp15/Templates/
12 25/Jan/16 20:47  /~lp15/Templates/?C=D;O=A
60 0.24%26/Jan/16 07:59/~lp15/papers/Formath/set-I.pdf
59 0.22%26/Jan/16 07:53/~lp15/papers/Workshop/papers/kammueller.pdf
57 23/Jan/16 13:01/~lp15/papers/Reviews/
12 23/Jan/16 13:01  /~lp15/papers/Reviews/?C=N;O=D
57 0.10%26/Jan/16 11:30/~lp15/papers/Auth/ijcar2001.pdf
56 0.02%26/Jan/16 12:43/~lp15/MLbook/exercises/exer3.html
56 0.12%25/Jan/16 09:47/~lp15/papers/Bella/esorics98.pdf
56 0.37%25/Jan/16 18:03/~lp15/Pages/Munich-slides.pdf
55 25/Jan/16 19:09/~lp15/MLbook/general.html
55 0.19%25/Jan/16 21:13/~lp15/papers/Automation/filtering.pdf
55 0.01%24/Jan/16 13:32/~lp15/MLbook/review.html
54 0.07%26/Jan/16 11:05/~lp15/papers/Reports/CADE11.pdf
54 0.01%25/Jan/16 09:02/~lp15/MLbook/exercises/exer8.html
53 26/Jan/16 12:16/~lp15/Pages/cv.html
53 0.05%26/Jan/16 07:27/~lp15/papers/Reports/CADE9.pdf
53 0.22%26/Jan/16 10:34/~lp15/papers/Bella/smartcards-jcs.pdf
52 0.07%24/Jan/16 07:30/~lp15/Pages/vita.pdf
52 0.01%25/Jan/16 02:34/~lp15/archive/
52 0.12%25/Jan/16 18:53/~lp15/papers/Bella/purchase.pdf
52 0.01%26/Jan/16 13:59/~lp15/Grants/LEO-II/
51 0.12%25/Jan/16 06:27/~lp15/papers/Reports/blast.pdf
51 0.10%26/Jan/16 08:56/~lp15/papers/Automation/meng-termination.pdf
51 0.08%25/Jan/16 18:20/~lp15/papers/Arith/Narayanan DATE.pdf
51 0.36%26/Jan/16 08:15/~lp15/papers/Automation/info-and-comp.pdf
50 0.12%26/Jan/16 07:06/~lp15/papers/Formath/AC.pdf
50 26/Jan/16 00:14/~lp15/SpryAssets/
50 0.19%25/Jan/16 22:29/~lp15/papers/Formath/reflection-slides.pdf
50 0.02%25/Jan/16 21:46/~lp15/Sue/Sue Paulson.jpg
50 24/Jan/16 12:37/~lp15/papers/Workshop/
50 0.01%25/Jan/16 21:09/~lp15/MLbook/programs/sample4.sml
49 0.04%26/Jan/16 13:47/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
49 26/Jan/16 05:19/~lp15/papers/books.html
49 0.16%26/Jan/16 07:06/~lp15/papers/UNITY/Mechanizing-compositional.pdf
49 0.09%26/Jan/16 11:09/~lp15/papers/Automation/paar.pdf
49 25/Jan/16 13:04/~lp15/MLbook/programs/sample5.sml
49 0.18%19/Jan/16 16:30/~lp15/papers/Formath/set-II.pdf
48 0.10%26/Jan/16 11:43/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
47 26/Jan/16 14:25/~lp15/papers/Arith/download.html
47 21/Jan/16 12:21/~lp15/papers/Bella/
47 0.25%26/Jan/16 13:18/~lp15/papers/Arith/calculemus2008.pdf
47 0.02%25/Jan/16 13:13/~lp15/Usage/images/
47 0.12%25/Jan/16 10:07/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
46 0.10%26/Jan/16 08:33/~lp15/papers/Bella/nonrepudiation.pdf
46 0.10%25/Jan/16 06:15/~lp15/papers/UNITY/tphols01.pdf
46 0.05%25/Jan/16 01:32/~lp15/papers/Auth/yahalom.pdf
45 0.07%25/Jan/16 02:39/~lp15/papers/Isabelle/chap700.pdf
45 24/Jan/16 13:32/~lp15/MLbook/first/
45 0.06%26/Jan/16 13:07/~lp15/papers/Arith/pdpar2006.pdf
45 26/Jan/16 08:26/~lp15/papers/recur.html
45 0.06%24/Jan/16 19:04/~lp15/papers/Workshop/friedrich.pdf
44 0.52%25/Jan/16 19:49/~lp15/papers/Reports/TypeClasses.pdf
11 0.14%23/Jan/16 12:38  /~lp15/papers/Reports/TypeClasses.pdf?origin=publication_detail
44 25/Jan/16 18:24/~lp15/papers/UNITY/
44 0.07%25/Jan/16 20:45/~lp15/papers/Reports/Descent of BAN.pdf
44 0.01%25/Jan/16 02:13/~lp15/MLbook/exercises/exer5.html
44 0.10%25/Jan/16 02:11/~lp15/papers/Bella/registration.pdf
43 0.01%26/Jan/16 08:48/~lp15/MLbook/exercises/exer4.html
43 0.01%24/Jan/16 08:29/~lp15/papers/invited.html
43 0.97%26/Jan/16 06:55/~lp15/papers/Auth/lics-slides.pdf
42 0.16%23/Jan/16 19:22/~lp15/papers/Automation/translations-jar.pdf
42 23/Jan/16 05:20/~lp15/Grants/
41 0.01%26/Jan/16 06:09/~lp15/MLbook/exercises/exer6.html
41 0.24%25/Jan/16 03:35/~lp15/papers/Reports/intro-to-isabelle.pdf
41 0.08%25/Jan/16 18:14/~lp15/Pages/harrison-real.pdf
41 0.11%23/Jan/16 15:31/~lp15/papers/Reports/TPHOLs05.pdf
40 23/Jan/16 19:19/~lp15/papers/Notes/
40 0.14%26/Jan/16 02:12/~lp15/papers/Auth/SET-overview-IJIS.pdf
40 24/Jan/16 18:10/~lp15/images/
40 0.01%25/Jan/16 13:03/~lp15/MLbook/programs/sample3.sml
40 0.05%26/Jan/16 03:46/~lp15/papers/Formath/constructible-abstract.pdf
40 0.48%26/Jan/16 08:08/~lp15/papers/Reports/ref97.pdf
40 0.01%25/Jan/16 06:12/~lp15/Grants/UNITY/
39 0.02%25/Jan/16 12:36/~lp15/papers/Reviews/MLer.pdf
39 0.08%24/Jan/16 11:41/~lp15/papers/Workshop/papers/kalvala-linear.pdf
39 0.01%26/Jan/16 07:56/~lp15/MLbook/exercises/exer7.html
39 0.19%25/Jan/16 14:42/~lp15/papers/Workshop/papers/rasmussen.pdf
39 2.72%25/Jan/16 21:24/~lp15/papers/Arith/FroCos-presentation.pdf
39 24/Jan/16 16:23/~lp15/Grants/Automation/
38 0.05%25/Jan/16 00:04/~lp15/Sue/Cultures of Dance.ppt
38 0.08%25/Jan/16 19:02/~lp15/papers/Workshop/papers/thompson.pdf
38 0.29%26/Jan/16 08:05/~lp15/papers/Bella/purchase-JAR.pdf
38 25/Jan/16 19:42/~lp15/papers/Arith/qepcad-for-mac.html
37 0.07%26/Jan/16 11:25/~lp15/Grants/AutoPolyFun/case.pdf
37 25/Jan/16 22:43/~lp15/css/
37 0.10%23/Jan/16 19:18/~lp15/papers/Ballarin/coding.pdf
36 26/Jan/16 02:17/~lp15/Grants/BeyondLinArith/
36 0.06%26/Jan/16 14:05/~lp15/papers/Automation/leo2-ijcar.pdf
35 0.17%25/Jan/16 18:31/~lp15/papers/UNITY/composition.pdf
35 0.07%25/Jan/16 12:17/~lp15/papers/Workshop/papers/owens.pdf
35 24/Jan/16 11:49/~lp15/papers/hol.html
35 0.07%26/Jan/16 14:23/~lp15/papers/Automation/thf-sledge.pdf
34 21/Jan/16 12:21/~lp15/Pages/
34 0.06%22/Jan/16 23:57/~lp15/papers/Bella/cav98.pdf
34 0.05%24/Jan/16 18:02/~lp15/papers/Bella/dimacs97.pdf
34 0.07%26/Jan/16 08:15/~lp15/papers/Automation/IJCAR2004.pdf
34 0.10%25/Jan/16 13:24/~lp15/papers/Bella/certified-email.pdf
33 0.02%23/Jan/16 06:13/~lp15/papers/paulson.bib
33 0.10%25/Jan/16 10:57/~lp15/papers/Isabelle/sylow.pdf
32 0.06%26/Jan/16 12:00/~lp15/papers/UNITY/ehmety-composition.pdf
32 0.01%25/Jan/16 13:04/~lp15/MLbook/programs/sample8.sml
32 0.08%26/Jan/16 04:59/~lp15/papers/Automation/translations.pdf
32 0.01%25/Jan/16 18:53/~lp15/images/pilkington.jpg
32 0.02%25/Jan/16 03:51/~lp15/papers/Arith/NFM2014-invited.pdf
32 0.01%24/Jan/16 10:31/~lp15/Grants/holisa.html
32 0.30%25/Jan/16 06:17/~lp15/papers/Automation/h4qed-clean.pdf
32 25/Jan/16 09:02/~lp15/MLbook/exercises/disclaimer.html
32 0.09%26/Jan/16 02:51/~lp15/papers/Formath/reflection.pdf
31 26/Jan/16 12:43/~lp15/MLbook/programs/notes.html
31 24/Jan/16 19:41/~lp15/Grants/auth.html
31 0.15%26/Jan/16 13:42/~lp15/papers/Auth/SET-document.pdf
31 0.07%25/Jan/16 06:32/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
31 0.08%25/Jan/16 06:18/~lp15/papers/Auth/multicast_verification.pdf
31 0.07%25/Jan/16 17:29/~lp15/papers/Arith/lpar2007.pdf
31 25/Jan/16 13:03/~lp15/MLbook/programs/ROOT.sml
31 0.13%25/Jan/16 14:03/~lp15/papers/Automation/sultana-pfreconstruction.pdf
31 0.17%25/Jan/16 02:35/~lp15/papers/Automation/reconstruction.pdf
31 0.41%25/Jan/16 20:45/~lp15/papers/Notes/formalizing-abst-slides.pdf
31 0.08%26/Jan/16 05:32/~lp15/papers/Formath/milner-ind-defs.pdf
31 25/Jan/16 11:03/~lp15/Grants/temporal.html
31 0.07%25/Jan/16 22:20/~lp15/papers/Isabelle/blast.pdf
30 25/Jan/16 02:11/~lp15/Data/ho-translations/
30 23/Jan/16 07:23/~lp15/Pages/CL-English.html
30 25/Jan/16 18:40/~lp15/MLbook/disclaimer.html
30 0.09%26/Jan/16 06:30/~lp15/papers/Reports/lamport-paulson-types.pdf
30 21/Jan/16 12:21/~lp15/papers/Workshop/futures.html
30 0.02%25/Jan/16 03:30/~lp15/papers/Workshop/ayari.pdf
29 0.01%26/Jan/16 06:03/~lp15/MLbook/programs/sample7.sml
29 0.05%26/Jan/16 11:08/~lp15/papers/Workshop/papers/benini.pdf
29 0.06%24/Jan/16 03:00/~lp15/papers/Notes/strategy.pdf
29 1.72%25/Jan/16 06:19/~lp15/papers/Arith/ITP 2012 presentation.pdf
29 0.05%26/Jan/16 06:34/~lp15/papers/Arith/fmcad2009.pdf
29 0.09%23/Jan/16 16:10/~lp15/papers/Arith/SNC2014-invited.pdf
28 23/Jan/16 05:19/~lp15/papers/Deduction/
28 0.01%26/Jan/16 12:43/~lp15/papers/Isabelle/blast-slides.pdf
28 0.07%25/Jan/16 06:33/~lp15/papers/Arith/Huang-3heuristics.pdf
28 0.05%25/Jan/16 09:28/~lp15/papers/Workshop/papers/voelker.pdf
27 0.01%26/Jan/16 07:06/~lp15/papers/OLD.SETS/AC-slides.pdf
27 24/Jan/16 20:37/~lp15/Data/relevance/
26 0.04%26/Jan/16 10:01/~lp15/papers/Workshop/papers/ayari.pdf
26 0.01%25/Jan/16 13:04/~lp15/MLbook/programs/sample10.sml
26 0.43%18/Jan/16 10:10/~lp15/papers/Arith/metit-slides.pdf
26 0.04%24/Jan/16 06:11/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
26 1.20%24/Jan/16 02:49/~lp15/papers/Formath/Goedel-slides.pdf
26 22/Jan/16 14:40/~lp15/Pages/projects.html
26 24/Jan/16 03:36/~lp15/Pages/ACS-proposals.html
26 23/Jan/16 01:14/~lp15/papers/Workshop/participants.html
26 0.05%25/Jan/16 01:35/~lp15/papers/Arith/ITP-2012-invited.pdf
25 24/Jan/16 06:45/~lp15/tmp/
25 0.07%24/Jan/16 21:27/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
25 0.03%25/Jan/16 06:30/~lp15/papers/Auth/auth-slides.pdf
25 0.02%25/Jan/16 21:13/~lp15/Grants/LEO-II/leo2-case.pdf
25 0.06%26/Jan/16 13:21/~lp15/papers/Isabelle/coding.pdf
25 0.12%25/Jan/16 10:43/~lp15/papers/UNITY/UNITY.pdf
24 0.13%24/Jan/16 18:05/~lp15/papers/Auth/tls-slides.pdf
24 25/Jan/16 13:04/~lp15/MLbook/programs/sample9.sml
24 0.16%25/Jan/16 14:01/~lp15/papers/Automation/Huet colloquium.pdf
24 0.11%24/Jan/16 18:58/~lp15/papers/Workshop/papers/bednarczyk.pdf
24 0.34%25/Jan/16 12:55/~lp15/papers/Automation/reconstruction-slides.pdf
24 21/Jan/16 12:21/~lp15/papers/Ballarin/
24 24/Jan/16 07:25/~lp15/papers/Arith/atan-problem-1-weak.html
24 0.14%25/Jan/16 21:17/~lp15/papers/Reports/logics97.pdf
24 21/Jan/16 12:21/~lp15/Data/
24 0.17%25/Jan/16 14:53/~lp15/papers/Deduction/lecture4.pdf
24 0.03%26/Jan/16 04:42/~lp15/papers/Auth/recur-slides.pdf
24 0.10%21/Jan/16 17:18/~lp15/papers/OLD.SETS/set-II.pdf
24 23/Jan/16 05:22/~lp15/MLbook/programs/sample3-old.sml
23 21/Jan/16 15:53/~lp15/MLbook/first/programs/Lists-Trees.ML
23 25/Jan/16 11:03/~lp15/papers/Workshop/paulson.html
23 0.01%25/Jan/16 16:10/~lp15/MLbook/programs/sample10-old.sml
23 0.01%25/Jan/16 16:12/~lp15/papers/Reviews/construct.pdf
22 25/Jan/16 06:20/~lp15/Grants/BeyondLinArith/auth-final.pdf
22 0.02%25/Jan/16 06:14/~lp15/papers/Notes/strategy-slides.pdf
22 0.15%25/Jan/16 12:39/~lp15/papers/Reports/Bridge-ml.pdf
22 26/Jan/16 13:25/~lp15/papers/Workshop/thompson.html
22 0.06%25/Jan/16 13:58/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
21 25/Jan/16 21:14/~lp15/papers/Workshop/kalvala.html
21 0.06%23/Jan/16 05:16/~lp15/papers/Arith/case-splitting-stats.csv
21 0.01%19/Jan/16 14:25/~lp15/papers/Formath/ind-defs-slides.pdf
21 24/Jan/16 17:10/~lp15/MLbook/first/programs/
21 0.06%25/Jan/16 02:47/~lp15/papers/Workshop/papers/nipkow.pdf
21 0.02%25/Jan/16 00:08/~lp15/papers/Arith/Overcoming.pdf
21 23/Jan/16 07:35/~lp15/MLbook/programs/sample8-2004.sml
21 0.04%25/Jan/16 06:51/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
21 26/Jan/16 04:12/~lp15/Grants/Chaieb.html
21 23/Jan/16 02:15/~lp15/papers/Workshop/programme.html
20 24/Jan/16 10:06/~lp15/papers/Workshop/nipkow.html
20 21/Jan/16 12:21/~lp15/papers/Workshop/staples.html
20 0.01%23/Jan/16 05:24/~lp15/MLbook/programs/test10.sml
20 23/Jan/16 22:08/~lp15/papers/Workshop/matthews.html
20 0.04%25/Jan/16 15:06/~lp15/papers/Arith/case-splitting.pdf
20 25/Jan/16 08:26/~lp15/images/larry-paulson.jpg
20 0.24%25/Jan/16 06:17/~lp15/papers/Reports/TypeClasses-slides.pdf
20 0.97%25/Jan/16 17:33/~lp15/papers/Arith/Overcoming-slides.pdf
20 0.09%25/Jan/16 01:36/~lp15/papers/OLD.SETS/constructible-slides.pdf
20 24/Jan/16 21:08/~lp15/MLbook/programs/sample9-2004.sml
20 24/Jan/16 10:09/~lp15/Grants/temporal-final.pdf
19 0.02%26/Jan/16 02:09/~lp15/papers/Arith/FroCoS-2013-invited.pdf
19 0.08%25/Jan/16 20:01/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
19 23/Jan/16 19:00/~lp15/MLbook/programs/sample8-old.sml
19 0.03%21/Jan/16 21:22/~lp15/Grants/Automation/final.pdf
19 0.14%25/Jan/16 23:06/~lp15/Grants/arith-case.pdf
18 0.31%26/Jan/16 07:54/~lp15/papers/Auth/dagstuhl2001-slides.pdf
18 0.07%24/Jan/16 19:15/~lp15/papers/Workshop/papers/paulson.pdf
18 0.15%25/Jan/16 13:18/~lp15/papers/Automation/10.1007_s10817-015-9348-y.pdf
18 0.13%25/Jan/16 06:38/~lp15/papers/Auth/SET-overview-slides.pdf
18 0.34%24/Jan/16 19:21/~lp15/papers/Auth/ijcar2001-slides.pdf
18 0.51%24/Jan/16 04:35/~lp15/Sue/Thesis-Appendices.pdf
18 0.18%24/Jan/16 20:39/~lp15/papers/Bella/TPHOLs03-slides.pdf
17 0.05%25/Jan/16 06:19/~lp15/papers/OLD.SETS/reflection.pdf
17 21/Jan/16 23:05/~lp15/papers/Workshop/heule.html
17 0.01%26/Jan/16 13:25/~lp15/papers/Formath/AC-slides.pdf
17 0.15%22/Jan/16 23:57/~lp15/papers/Deduction/lecture1.pdf
17 0.02%26/Jan/16 09:50/~lp15/papers/Workshop/vigano.pdf
17 0.10%24/Jan/16 02:51/~lp15/papers/Deduction/lecture3.pdf
16 0.85%25/Jan/16 01:30/~lp15/papers/Isabelle/Goedel-slides.pdf
16 0.15%26/Jan/16 11:50/~lp15/papers/Isabelle/Cube-presentation.pdf
16 0.01%26/Jan/16 12:13/~lp15/Grants/Automation/case.pdf
16 0.06%21/Jan/16 11:24/~lp15/papers/Workshop/papers/vigano.pdf
16 0.01%26/Jan/16 02:31/~lp15/papers/Workshop/kammueller.pdf
16 24/Jan/16 21:40/~lp15/papers/OLD.SETS/
16 24/Jan/16 13:08/~lp15/papers/Workshop/agerholm.html
16 0.04%25/Jan/16 18:36/~lp15/papers/OLD.SETS/AC.pdf
16 0.83%25/Jan/16 06:18/~lp15/papers/Notes/LCF+.pdf
16 0.43%25/Jan/16 19:33/~lp15/papers/Arith/SNC2014-slides.pdf
16 0.36%25/Jan/16 06:06/~lp15/Grants/arith-poster.pdf
16 16/Jan/16 06:55/~lp15/MLbook/first/programs/Imperative.ML
16 23/Jan/16 05:26/~lp15/Sue/Cultures of Dance.html
16 0.13%22/Jan/16 19:03/~lp15/papers/Arith/Sogokon-nfm14.pdf
15 26/Jan/16 00:20/~lp15/Grants/arith.html
15 0.16%24/Jan/16 07:58/~lp15/papers/Formath/constructible-theory.pdf
15 0.01%24/Jan/16 14:44/~lp15/Grants/SET/case.pdf
15 0.07%25/Jan/16 16:18/~lp15/papers/Automation/leo2-jar.pdf
15 0.15%25/Jan/16 01:43/~lp15/papers/Auth/dagstuhl2003-slides.pdf
15 0.04%24/Jan/16 06:47/~lp15/papers/Workshop/papers/agerholm.pdf
14 0.02%25/Jan/16 06:37/~lp15/papers/OLD.SETS/final.pdf
14 0.04%24/Jan/16 03:16/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
14 0.01%18/Jan/16 08:58/~lp15/Grants/UNITY/case.pdf
14 0.04%25/Jan/16 22:58/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
14 22/Jan/16 03:27/~lp15/MLbook/first/programs/Functions.ML
14 0.04%20/Jan/16 14:50/~lp15/papers/Arith/Narayanan TR.pdf
14 21/Jan/16 12:21/~lp15/papers/Workshop/wolff.html
13 0.02%26/Jan/16 12:40/~lp15/papers/Workshop/papers/staples.pdf
13 0.16%25/Jan/16 07:08/~lp15/Grants/Automation/poster.pdf
13 0.02%19/Jan/16 13:05/~lp15/papers/Isabelle/Goedel-logic.pdf
13 0.47%25/Jan/16 06:18/~lp15/Grants/LEO-II/leo project poster.pdf
13 0.02%22/Jan/16 17:10/~lp15/papers/Notes/leeds-notes.pdf
13 26/Jan/16 06:00/~lp15/papers/OLD.SETS/ind-defs-slides.pdf
13 0.01%24/Jan/16 12:44/~lp15/papers/Reports/blast-slides.pdf
13 19/Jan/16 21:10/~lp15/MLbook/first/ERRATA1.txt
13 0.14%23/Jan/16 21:31/~lp15/papers/Arith/NFM2014-slides.pdf
13 0.05%21/Jan/16 20:01/~lp15/papers/Formath/constructible-slides.pdf
12 26/Jan/16 09:24/~lp15/MLbook/first/ML-syntax.ps.gz
12 0.05%26/Jan/16 07:58/~lp15/papers/Notes/MOD-slides.pdf
12 0.02%26/Jan/16 06:30/~lp15/papers/Workshop/papers/matthews.pdf
12 0.09%23/Jan/16 00:11/~lp15/papers/Deduction/lecture2.pdf
12 26/Jan/16 05:07/~lp15/MLbook/StandardML.plist
12 0.13%20/Jan/16 21:34/~lp15/papers/OLD.SETS/constructible-theory.pdf
11 0.28%26/Jan/16 07:53/~lp15/Sue/Phd-Poster.pdf
11 15/Jan/16 23:04/~lp15/MLbook/first/programs/Lambda.ML
11 3.66%19/Jan/16 19:25/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
11 25/Jan/16 03:58/~lp15/MLbook/ERRATA.txt
11 0.05%25/Jan/16 07:01/~lp15/papers/Arith/cicm2012.pdf
10 22/Jan/16 09:01/~lp15/MLbook/first/programs/ParsePrint.ML
10 0.04%26/Jan/16 12:00/~lp15/papers/OLD.SETS/set-I.pdf
10 0.06%25/Jan/16 19:48/~lp15/images/pilkington-full.jpg
10 1.08%22/Jan/16 19:43/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
10 0.69%23/Jan/16 20:39/~lp15/Data/ho-translations/Comb.tbz
10 0.22%13/Jan/16 14:24/~lp15/Grants/BeyondLinArith/arith-poster.pdf
10 25/Jan/16 11:52/~lp15/Grants/SET/final.pdf
10 18/Jan/16 15:38/~lp15/Grants/auth-final.pdf
10 0.08%13/Jan/16 14:24/~lp15/Grants/BeyondLinArith/arith-case.pdf
10 3.40%20/Jan/16 13:57/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 17/Jan/16 11:59/~lp15/Sue/Cultures of Dance.pdf
9 0.02%19/Jan/16 19:58/~lp15/Grants/Chaieb-case.pdf
9 18/Jan/16 14:59/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
9 15/Jan/16 01:19/~lp15/MLbook/first/programs/Modules.ML
9 21/Jan/16 05:34/~lp15/Data/ho-translations/Theories.tbz
8 0.01%21/Jan/16 11:00/~lp15/papers/Formath/final.pdf
8 19/Jan/16 17:31/~lp15/Grants/UNITY/final.pdf
8 26/Jan/16 03:12/~lp15/Templates/publications.dwt
8 0.52%20/Jan/16 09:59/~lp15/Data/ho-translations/Abst.tbz
8 26/Jan/16 00:03/~lp15/papers/Arith/RELEASE-NOTES.txt
8 0.02%20/Jan/16 12:19/~lp15/papers/Ballarin/aisc98.pdf
8 25/Jan/16 22:05/~lp15/MLbook/first/programs/Hal.ML
8 19/Jan/16 00:33/~lp15/MLbook/first/ERRATA2.txt
7 3.82%23/Jan/16 05:32/~lp15/archive/Isabelle2015.tar.gz
7 1.48%20/Jan/16 09:47/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
7 0.03%20/Jan/16 17:34/~lp15/Data/relevance/tptp-2007-03-13.tbz
16412.14%26/Jan/16 13:57[not listed: 81 files]