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

Program started at Mon-30-Jan-2017 10:54.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-30-Jan-2017 10:38 (816.82 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 30-Jan-2017 10:54.

Successful requests: 23,343 (4,780)
Average successful requests per day: 28 (682)
Successful requests for pages: 8,148 (1,618)
Average successful requests for pages per day: 9 (231)
Failed requests: 943 (175)
Redirected requests: 120 (20)
Distinct files requested: 527 (393)
Distinct hosts served: 4,643 (957)
Corrupt logfile lines: 3
Unwanted logfile entries: 16,858
Data transferred: 6.32 gigabytes (1.08 gigabytes)
Average data transferred per day: 7.92 megabytes (158.56 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 
Sun2876949++++++++++++++++++++++++
Mon44081551+++++++++++++++++++++++++++++++++++++++
Tue30021034++++++++++++++++++++++++++
Wed34631447+++++++++++++++++++++++++++++++++++++
Thu36571095++++++++++++++++++++++++++++
Fri2607871++++++++++++++++++++++
Sat33301201+++++++++++++++++++++++++++++++

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
1011853.43%.com (Commercial)
570219.51%[unresolved numerical addresses]
1058 5.61%[unknown domain]
1477 5.60%.net (Networks)
1066 3.30%.de (Germany)
929 3.04%[domain not given]
276 0.97%.edu (USA Higher Education)
240 0.93%.in (India)
347 0.73%.uk (United Kingdom)
116 0.72%.fr (France)
339 0.61%.ru (Russia)
57 0.46%.ph (Philippines)
103 0.39%.au (Australia)
72 0.35%.br (Brazil)
30 0.31%.th (Thailand)
44 0.22%.se (Sweden)
25 0.20%.za (South Africa)
65 0.20%.ca (Canada)
69 0.20%.pt (Portugal)
25 0.19%.co (Colombia)
43 0.17%.nz (New Zealand)
37 0.15%.zw (Zimbabwe)
87 0.15%.it (Italy)
81 0.14%.jp (Japan)
40 0.14%.id (Indonesia)
50 0.14%.org (Non Profit Making Organisations)
31 0.13%.pl (Poland)
12 0.12%.pk (Pakistan)
43 0.11%.sg (Singapore)
7 0.11%.np (Nepal)
24 0.10%.ke (Kenya)
24 0.10%.my (Malaysia)
42 0.10%.ch (Switzerland)
14 0.08%.bg (Bulgaria)
31 0.07%.tr (Turkey)
37 0.07%.nl (Netherlands)
4 0.07%.ng (Nigeria)
20 0.06%.vn (Vietnam)
16 0.06%.hr (Croatia)
22 0.05%.at (Austria)
25 0.05%.cn (China)
40 0.05%.arpa (Arpanet)
5 0.05%.ie (Ireland)
4 0.04%.lt (Lithuania)
40 0.04%.gr (Greece)
32 0.04%.dk (Denmark)
15 0.04%.mx (Mexico)
18 0.03%.fi (Finland)
30 0.03%.cz (Czech Republic)
36 0.03%.es (Spain)
11 0.03%.tw (Taiwan)
11 0.03%.be (Belgium)
4 0.03%.sl (Sierra Leone)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
38 0.03%.hk (Hong Kong)
12 0.02%.na (Namibia)
7 0.02%.gh (Ghana)
18 0.02%.hu (Hungary)
13 0.02%.ar (Argentina)
8 0.02%.us (United States)
26 0.02%.gov (USA Government)
4 0.02%.uy (Uruguay)
3 0.01%.ly (Libya)
2 0.01%.is (Iceland)
1 0.01%.si (Slovenia)
2 0.01%.mil (USA Military)
14 0.01%.cy (Cyprus)
6 0.01%.lb (Lebanon)
8 0.01%.no (Norway)
13 0.01%.ro (Romania)
21 0.01%.ua (Ukraine)
4 0.01%.il (Israel)
2 0.01%.int (International Treaty Organisations)
3 0.01%.ee (Estonia)
5 .ir (Iran)
2 .ug (Uganda)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
1 .tz (Tanzania)
3 .lv (Latvia)
1 .kz (Kazakhstan)
1 .lu (Luxembourg)
1 .ec (Ecuador)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
5 .by (Belarus)
1 .tk (Tokelau)
3 .bn (Brunei Darussalam)
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
339316.15%amazonaws.com
1551 6.58%msn.com
1457 4.99%baidu.com
1058 5.61%[unknown domain]
929 3.04%[domain not given]
788 4.11%199.16
773 2.93%yandex.com
76113.25%bluechipbacklinks.com
658 2.27%your-server.de
316 0.39%114
300 0.12%sogou.com
234 0.42%mail.ru
233 1.21%twttr.com
229 0.91%41
228 0.60%virginm.net
203 0.54%14
194 4.43%telia.com
171 0.12%cam.ac.uk
170 0.84%117
167 0.59%uni-kiel.de
953030.90%[not listed: 1,286 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
72software
70pdf
67engineering
41notes
35theorem
32residue
28equivalence
24for
22and
21prove
21cauchy
20proof
19of
16in
16diploma
14classes
13set
13state
13class
12r
11is
11students
10computer
9protocol
9download
7hindi
7then
7u
7v
7x
336[not listed: 160 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
179533110OS unknown
278732419Windows
 46121250  Unknown Windows
 2720949  Windows NT
 505189  Windows XP
 1111  Windows Server 2003
 77  Windows 95
 107  Windows 2000
 75  Windows 98
 11  Windows 3.1
325941033Known robots
42556842Macintosh
52314719Unix
 2258693  Linux
 249  BSD
 217  Other Unix
 54  SunOS
 33  IRIX
 33  OSF1
666RISC OS
711OS/2
811Palm OS
911Amiga

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
19601200 OK
3080206 Partial content
120301 Document moved permanently
662304 Not modified since last retrieval
45403 Access forbidden
898404 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- 1kB658 0.01%
1kB- 10kB6043 0.37%
10kB-100kB6887 4.32%
100kB- 1MB826344.63%
1MB- 10MB73828.76%
10MB-100MB5521.91%

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
1246670.37%.pdf [Adobe Portable Document Format]
25020.66%.gz [Gzip compressed files]
14620.50%  .tar.gz [Compressed archives]
56 6.04%.tbz
1205 1.12%.jpg [JPEG graphics]
5561 0.54%[directories]
6 0.48%.tgz
2587 0.33%.html [Hypertext Markup Language]
2 0.21%.zip [Zip archives]
832 0.12%.sml
378 0.13%[not listed: 7 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
166210.96%30/Jan/17 08:01/~lp15/papers/Notes/SE-I.pdf
1143 0.14%30/Jan/17 09:23/~lp15/
702 0.02%30/Jan/17 10:31/~lp15/MLbook/
578 0.61%30/Jan/17 09:25/~lp15/images/larry-home-small.jpg
505 0.39%30/Jan/17 09:23/~lp15/images/acm-logo.jpg
499 3.92%29/Jan/17 22:23/~lp15/papers/Reports/equivclasses-slides.pdf
448 7.90%29/Jan/17 22:24/~lp15/Sue/Thesis.pdf
418 1.09%30/Jan/17 10:24/~lp15/papers/Formath/automata.pdf
405 0.86%30/Jan/17 09:57/~lp15/papers/Notes/Founds-FP.pdf
356 2.68%30/Jan/17 10:29/~lp15/papers/Isabelle/Goedel-ar.pdf
350 0.01%30/Jan/17 10:34/~lp15/MLbook/programs/
347 1.22%30/Jan/17 08:29/~lp15/papers/Formath/Residue-theorem.pdf
316 3.99%29/Jan/17 21:49/~lp15/papers/Reports/thesis.pdf
313 1.72%30/Jan/17 10:30/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
297 0.96%30/Jan/17 03:45/~lp15/papers/Reports/equivclasses.pdf
296 0.04%30/Jan/17 06:45/~lp15/papers/Arith/
239 0.01%30/Jan/17 09:34/~lp15/MLbook/programs/sample2.sml
237 1.27%30/Jan/17 10:15/~lp15/papers/Formath/Goedel-ar.pdf
211 0.12%30/Jan/17 09:10/~lp15/papers/refereed.html
207 0.02%30/Jan/17 09:40/~lp15/Sue/
195 0.01%30/Jan/17 06:34/~lp15/MLbook/exercises/
193 0.58%30/Jan/17 07:55/~lp15/papers/Isabelle/fleuriot-kepler.pdf
159 0.02%30/Jan/17 03:09/~lp15/Grants/AutoPolyFun/
144 0.12%30/Jan/17 00:08/~lp15/papers/Reports/mutil.pdf
141 0.63%29/Jan/17 10:30/~lp15/papers/Auth/jcs.pdf
137 30/Jan/17 08:19/~lp15/MLbook/pub-details.html
134 0.02%30/Jan/17 03:46/~lp15/papers/Formath/
130 0.02%30/Jan/17 02:47/~lp15/papers/Auth/
129 0.01%30/Jan/17 08:37/~lp15/papers/lecture-courses.html
129 0.02%29/Jan/17 11:05/~lp15/Grants/SET/
127 0.01%30/Jan/17 06:43/~lp15/papers/Automation/
117 0.01%30/Jan/17 04:26/~lp15/Pages/cv.html
109 0.01%30/Jan/17 01:34/~lp15/Grants/
109 0.25%29/Jan/17 11:49/~lp15/papers/Auth/tls.pdf
106 0.01%30/Jan/17 00:09/~lp15/papers/Reports/
103 0.01%30/Jan/17 10:27/~lp15/MLbook/ERRATA.html
103 0.38%30/Jan/17 06:37/~lp15/papers/Formath/set-I.pdf
100 0.01%30/Jan/17 01:58/~lp15/Grants/LEO-II/
97 0.14%29/Jan/17 17:32/~lp15/Pages/vita.pdf
95 0.07%30/Jan/17 07:50/~lp15/Usage/
95 0.01%30/Jan/17 00:57/~lp15/MLbook/exercises/exer2.html
94 0.14%29/Jan/17 03:10/~lp15/papers/Formath/Goedel-logic.pdf
93 0.13%30/Jan/17 06:21/~lp15/papers/Auth/lics.pdf
92 0.01%29/Jan/17 09:36/~lp15/archive/
90 0.01%30/Jan/17 02:48/~lp15/papers/Isabelle/
89 0.11%29/Jan/17 10:33/~lp15/papers/Auth/SET-overview-2002.pdf
89 29/Jan/17 20:23/~lp15/papers/
89 0.01%29/Jan/17 17:26/~lp15/images/
87 0.01%30/Jan/17 02:10/~lp15/papers/invited.html
87 0.01%30/Jan/17 03:36/~lp15/Grants/Automation/
85 0.64%29/Jan/17 12:51/~lp15/Pages/Munich-slides.pdf
84 0.35%29/Jan/17 14:19/~lp15/papers/Bella/smartcards-jcs.pdf
83 29/Jan/17 23:11/~lp15/MLbook/general.html
82 0.25%27/Jan/17 22:02/~lp15/papers/Automation/sultana-pfreconstruction.pdf
82 0.30%29/Jan/17 10:26/~lp15/papers/Bella/accountability.pdf
81 0.25%29/Jan/17 12:15/~lp15/papers/Automation/filtering.pdf
81 0.01%30/Jan/17 04:29/~lp15/papers/hol.html
80 0.39%28/Jan/17 12:35/~lp15/papers/Arith/Sogokon-nfm14.pdf
79 0.22%30/Jan/17 03:45/~lp15/papers/Formath/Greens-theorem.pdf
79 0.01%30/Jan/17 10:36/~lp15/papers/books.html
78 29/Jan/17 23:53/~lp15/Grants/BeyondLinArith/
78 0.01%30/Jan/17 02:23/~lp15/papers/workshop.html
76 0.01%30/Jan/17 03:41/~lp15/papers/recur.html
75 29/Jan/17 12:11/~lp15/papers/Notes/
74 0.20%30/Jan/17 05:33/~lp15/papers/Reports/TPHOLs05.pdf
71 30/Jan/17 08:26/~lp15/Pages/CL-English.html
70 30/Jan/17 08:20/~lp15/papers/Arith/download.html
70 30/Jan/17 07:01/~lp15/papers/Workshop/
70 0.18%30/Jan/17 10:38/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
69 0.01%30/Jan/17 03:18/~lp15/MLbook/review.html
68 0.02%30/Jan/17 08:41/~lp15/MLbook/exercises/exer3.html
67 0.11%29/Jan/17 15:26/~lp15/papers/Arith/Narayanan DATE.pdf
66 23/Jan/17 15:27/~lp15/MLbook/StandardML.plist
65 28/Jan/17 19:46/~lp15/MLbook/programs/ROOT.sml
65 29/Jan/17 12:33/~lp15/MLbook/first/
65 0.05%29/Jan/17 12:43/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
65 0.01%28/Jan/17 10:20/~lp15/MLbook/programs/sample3.sml
65 0.13%29/Jan/17 15:19/~lp15/papers/Automation/paar.pdf
64 0.23%28/Jan/17 15:22/~lp15/papers/Reports/Bridge-ml.pdf
64 0.11%29/Jan/17 11:43/~lp15/papers/Auth/multicast_verification.pdf
63 29/Jan/17 11:08/~lp15/Pages/
63 29/Jan/17 17:18/~lp15/papers/Bella/
63 0.01%27/Jan/17 14:42/~lp15/MLbook/programs/sample8-2004.sml
63 0.13%29/Jan/17 14:35/~lp15/papers/Arith/Huang-3heuristics.pdf
63 0.14%29/Jan/17 12:10/~lp15/papers/Bella/registration.pdf
62 0.13%29/Jan/17 10:23/~lp15/papers/Bella/esorics98.pdf
62 29/Jan/17 11:15/~lp15/SpryAssets/
62 0.15%29/Jan/17 20:54/~lp15/papers/Automation/meng-termination.pdf
62 0.01%30/Jan/17 07:52/~lp15/MLbook/programs/sample5.sml
62 29/Jan/17 11:09/~lp15/css/
60 0.31%29/Jan/17 23:39/~lp15/papers/Arith/calculemus2008.pdf
60 0.10%29/Jan/17 10:24/~lp15/papers/Bella/purchase.pdf
59 0.34%29/Jan/17 20:23/~lp15/papers/Arith/MetiTarski-jar.pdf
59 0.01%29/Jan/17 12:20/~lp15/MLbook/exercises/exer8.html
59 0.16%29/Jan/17 10:16/~lp15/papers/Bella/certified-email.pdf
58 0.22%30/Jan/17 00:08/~lp15/papers/Automation/translations-jar.pdf
58 0.14%28/Jan/17 00:09/~lp15/papers/Formath/AC.pdf
57 0.21%30/Jan/17 04:31/~lp15/papers/Formath/reflection-slides.pdf
57 0.10%29/Jan/17 15:09/~lp15/papers/Arith/fmcad2009.pdf
56 0.12%29/Jan/17 19:56/~lp15/papers/Bella/nonrepudiation.pdf
56 0.25%28/Jan/17 21:22/~lp15/papers/UNITY/composition.pdf
56 0.01%28/Jan/17 11:01/~lp15/MLbook/programs/sample4.sml
55 29/Jan/17 18:17/~lp15/papers/UNITY/
55 0.10%30/Jan/17 07:20/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
55 0.01%30/Jan/17 03:30/~lp15/Grants/UNITY/
54 29/Jan/17 11:20/~lp15/tmp/
54 0.02%29/Jan/17 05:14/~lp15/images/pilkington.jpg
54 0.13%29/Jan/17 13:48/~lp15/papers/Arith/Hscc09.pdf
53 0.12%30/Jan/17 02:01/~lp15/papers/Automation/translations.pdf
53 0.12%29/Jan/17 15:30/~lp15/papers/Arith/lpar2007.pdf
52 1.14%29/Jan/17 10:32/~lp15/papers/Auth/lics-slides.pdf
52 29/Jan/17 23:26/~lp15/Templates/
52 30/Jan/17 10:38/~lp15/Data/
52 0.02%29/Jan/17 11:16/~lp15/Usage/images/
52 0.05%30/Jan/17 09:10/~lp15/papers/Reports/CADE9.pdf
51 0.11%28/Jan/17 17:13/~lp15/papers/Automation/jar-smt.pdf
51 0.02%30/Jan/17 09:40/~lp15/Sue/Sue Paulson.jpg
50 0.02%29/Jan/17 18:26/~lp15/papers/Reviews/MLer.pdf
50 0.08%29/Jan/17 21:27/~lp15/papers/UNITY/tphols01.pdf
50 0.10%26/Jan/17 18:22/~lp15/papers/Isabelle/aisc98.pdf
50 0.10%24/Jan/17 07:24/~lp15/Pages/harrison-real.pdf
50 29/Jan/17 14:28/~lp15/papers/Arith/qepcad-for-mac.html
50 0.01%29/Jan/17 20:47/~lp15/Grants/holisa.html
50 0.11%30/Jan/17 10:26/~lp15/papers/Isabelle/blast.pdf
49 0.01%29/Jan/17 11:24/~lp15/MLbook/exercises/exer4.html
49 0.01%30/Jan/17 08:02/~lp15/Pages/ACS-proposals.html
48 0.08%30/Jan/17 03:08/~lp15/papers/Isabelle/chap700.pdf
48 0.09%30/Jan/17 09:35/~lp15/papers/Bella/cav98.pdf
48 0.09%29/Jan/17 21:13/~lp15/Grants/AutoPolyFun/case.pdf
47 29/Jan/17 14:39/~lp15/papers/Reviews/
47 29/Jan/17 12:54/~lp15/MLbook/disclaimer.html
47 0.07%30/Jan/17 01:32/~lp15/papers/Arith/pdpar2006.pdf
47 0.01%29/Jan/17 11:04/~lp15/Pages/Scream.html
46 0.01%29/Jan/17 11:13/~lp15/MLbook/exercises/exer7.html
45 0.10%29/Jan/17 14:17/~lp15/papers/Reports/blast.pdf
45 0.10%30/Jan/17 06:17/~lp15/papers/Automation/IJCAR2004.pdf
45 29/Jan/17 11:14/~lp15/Pages/projects.html
45 0.11%30/Jan/17 05:27/~lp15/papers/Formath/milner-ind-defs.pdf
45 0.14%30/Jan/17 06:16/~lp15/papers/Formath/reflection.pdf
45 0.35%29/Jan/17 20:40/~lp15/papers/Automation/info-and-comp.pdf
44 0.05%29/Jan/17 10:31/~lp15/papers/Arith/FroCoS-2013-invited.pdf
44 0.09%28/Jan/17 21:41/~lp15/papers/UNITY/ehmety-composition.pdf
44 0.15%30/Jan/17 07:03/~lp15/papers/Auth/SET-overview-IJIS.pdf
44 0.01%29/Jan/17 11:24/~lp15/MLbook/exercises/exer6.html
43 0.06%30/Jan/17 09:39/~lp15/papers/Reports/CADE11.pdf
43 1.41%29/Jan/17 21:25/~lp15/papers/Notes/LCF+.pdf
43 0.07%29/Jan/17 10:45/~lp15/papers/Auth/ijcar2001.pdf
42 29/Jan/17 11:15/~lp15/papers/Deduction/
42 0.01%28/Jan/17 10:20/~lp15/MLbook/programs/sample8.sml
42 0.01%29/Jan/17 07:12/~lp15/MLbook/programs/sample9.sml
42 0.12%29/Jan/17 05:10/~lp15/papers/UNITY/Mechanizing-compositional.pdf
41 29/Jan/17 13:40/~lp15/Data/ho-translations/
41 0.05%29/Jan/17 23:37/~lp15/papers/Auth/auth-slides.pdf
41 29/Jan/17 11:16/~lp15/papers/Ballarin/
41 30/Jan/17 05:54/~lp15/papers/Arith/atan-problem-1-weak.html
41 0.05%30/Jan/17 09:27/~lp15/papers/Workshop/friedrich.pdf
40 0.01%28/Jan/17 18:49/~lp15/MLbook/programs/sample7.sml
40 0.01%29/Jan/17 11:23/~lp15/MLbook/exercises/exer5.html
40 0.05%29/Jan/17 14:04/~lp15/Sue/Cultures of Dance.ppt
40 0.05%29/Jan/17 22:55/~lp15/papers/Auth/yahalom.pdf
40 0.06%27/Jan/17 17:12/~lp15/papers/Automation/thf-sledge.pdf
40 29/Jan/17 13:06/~lp15/Data/relevance/
39 30/Jan/17 08:40/~lp15/MLbook/programs/notes.html
39 0.13%29/Jan/17 10:37/~lp15/papers/Notes/MOD-slides.pdf
39 0.31%30/Jan/17 02:39/~lp15/papers/Bella/purchase-JAR.pdf
38 0.01%28/Jan/17 10:20/~lp15/MLbook/programs/sample10.sml
38 0.09%29/Jan/17 13:46/~lp15/papers/Automation/cade2011-sledge-smt.pdf
36 0.07%29/Jan/17 09:37/~lp15/papers/Formath/final.pdf
36 0.18%29/Jan/17 15:08/~lp15/papers/Automation/filtering-jal.pdf
36 0.17%30/Jan/17 04:01/~lp15/papers/Automation/reconstruction.pdf
36 0.05%29/Jan/17 10:44/~lp15/papers/Notes/leeds-notes.pdf
36 1.97%30/Jan/17 00:36/~lp15/papers/Arith/FroCos-presentation.pdf
35 0.05%29/Jan/17 13:26/~lp15/papers/Reports/Descent of BAN.pdf
35 30/Jan/17 07:07/~lp15/MLbook/first/programs/
35 0.02%29/Jan/17 17:49/~lp15/papers/Reviews/construct.pdf
35 0.09%26/Jan/17 18:22/~lp15/papers/Isabelle/coding.pdf
34 0.07%29/Jan/17 18:32/~lp15/papers/Arith/case-splitting.pdf
34 0.22%29/Jan/17 10:06/~lp15/papers/Reports/intro-to-isabelle.pdf
34 0.06%29/Jan/17 14:56/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
34 0.14%30/Jan/17 08:27/~lp15/papers/Formath/constructible-slides.pdf
34 0.14%29/Jan/17 18:21/~lp15/papers/Formath/set-II.pdf
33 0.03%29/Jan/17 10:03/~lp15/Grants/LEO-II/leo2-case.pdf
33 0.06%26/Jan/17 18:22/~lp15/papers/Automation/leo2-ijcar.pdf
33 1.00%30/Jan/17 07:46/~lp15/Sue/Phd-Poster.pdf
33 0.18%29/Jan/17 21:18/~lp15/papers/Reports/logics97.pdf
33 0.09%29/Jan/17 10:21/~lp15/papers/Bella/esorics2000.pdf
33 0.38%29/Jan/17 13:29/~lp15/papers/Reports/ref97.pdf
32 0.06%30/Jan/17 10:38/~lp15/papers/Bella/dimacs97.pdf
32 0.39%29/Jan/17 12:51/~lp15/papers/Automation/reconstruction-slides.pdf
32 0.14%27/Jan/17 22:12/~lp15/papers/UNITY/UNITY.pdf
32 0.16%29/Jan/17 16:45/~lp15/papers/Workshop/papers/rasmussen.pdf
32 0.09%30/Jan/17 01:55/~lp15/papers/Arith/SNC2014-invited.pdf
31 0.01%30/Jan/17 08:31/~lp15/MLbook/programs/test10.sml
31 0.01%30/Jan/17 10:35/~lp15/papers/Formath/AC-slides.pdf
31 0.06%28/Jan/17 07:53/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
31 0.07%30/Jan/17 10:37/~lp15/papers/Notes/strategy.pdf
31 0.09%30/Jan/17 09:33/~lp15/papers/Formath/Goedel-logic-mine.pdf
31 0.02%29/Jan/17 10:37/~lp15/papers/Arith/NFM2014-invited.pdf
31 0.05%29/Jan/17 10:43/~lp15/papers/Formath/constructible-abstract.pdf
31 0.04%29/Jan/17 10:38/~lp15/papers/Auth/security-protocols.pdf
30 0.40%29/Jan/17 18:09/~lp15/Grants/Automation/poster.pdf
30 0.23%29/Jan/17 10:37/~lp15/papers/Auth/SET-overview-slides.pdf
30 0.05%29/Jan/17 12:21/~lp15/papers/Arith/ITP-2012-invited.pdf
29 0.34%26/Jan/17 18:22/~lp15/papers/Reports/TypeClasses.pdf
29 0.22%29/Jan/17 10:36/~lp15/papers/Formath/Future of formalised maths.pdf
29 0.16%29/Jan/17 10:13/~lp15/papers/Auth/tls-slides.pdf
29 0.03%29/Jan/17 10:19/~lp15/papers/Auth/recur-slides.pdf
29 29/Jan/17 16:23/~lp15/MLbook/exercises/disclaimer.html
28 0.05%28/Jan/17 00:27/~lp15/papers/Workshop/papers/thompson.pdf
28 0.02%30/Jan/17 07:22/~lp15/Grants/Automation/case.pdf
28 0.04%22/Jan/17 10:27/~lp15/papers/Workshop/papers/kalvala-linear.pdf
28 0.79%29/Jan/17 15:20/~lp15/Sue/Thesis-Appendices.pdf
27 29/Jan/17 11:24/~lp15/Grants/auth.html
27 29/Jan/17 11:15/~lp15/papers/Workshop/matthews.html
27 0.32%29/Jan/17 10:36/~lp15/papers/Notes/formalizing-abst-slides.pdf
27 0.11%28/Jan/17 00:28/~lp15/papers/Reports/fleuriot-kepler.pdf
26 29/Jan/17 11:22/~lp15/Grants/arith.html
26 29/Jan/17 18:35/~lp15/papers/Workshop/staples.html
26 29/Jan/17 23:31/~lp15/papers/OLD.SETS/
26 0.67%29/Jan/17 11:58/~lp15/papers/Arith/SNC2014-slides.pdf
26 0.11%29/Jan/17 13:17/~lp15/papers/Arith/cicm2012.pdf
26 29/Jan/17 23:45/~lp15/MLbook/programs/sample3-old.sml
25 0.11%29/Jan/17 10:26/~lp15/papers/Auth/SET-document.pdf
24 29/Jan/17 11:06/~lp15/papers/Workshop/kalvala.html
24 0.04%29/Jan/17 18:10/~lp15/Grants/Automation/final.pdf
24 0.37%29/Jan/17 15:18/~lp15/papers/Arith/metit-slides.pdf
24 29/Jan/17 16:17/~lp15/papers/Workshop/agerholm.html
24 29/Jan/17 11:12/~lp15/Grants/temporal.html
24 29/Jan/17 14:36/~lp15/papers/Workshop/futures.html
24 29/Jan/17 15:15/~lp15/Sue/Cultures of Dance.html
23 0.02%29/Jan/17 10:41/~lp15/papers/Notes/strategy-slides.pdf
23 0.57%29/Jan/17 10:08/~lp15/Grants/BeyondLinArith/arith-poster.pdf
23 0.26%29/Jan/17 10:48/~lp15/papers/Reports/TypeClasses-slides.pdf
23 0.27%29/Jan/17 12:29/~lp15/papers/Isabelle/Cube-presentation.pdf
23 29/Jan/17 11:16/~lp15/papers/Workshop/thompson.html
23 1.27%29/Jan/17 13:08/~lp15/papers/Arith/ITP 2012 presentation.pdf
23 29/Jan/17 13:14/~lp15/MLbook/first/programs/Functions.ML
23 30/Jan/17 03:23/~lp15/Grants/Chaieb.html
23 29/Jan/17 11:18/~lp15/papers/Workshop/participants.html
23 0.39%30/Jan/17 08:27/~lp15/papers/Auth/ijcar2001-slides.pdf
22 0.01%30/Jan/17 07:18/~lp15/papers/Formath/ind-defs-slides.pdf
22 0.02%29/Jan/17 10:35/~lp15/papers/Arith/Overcoming.pdf
22 0.18%29/Jan/17 10:08/~lp15/Grants/BeyondLinArith/arith-case.pdf
22 27/Jan/17 14:42/~lp15/MLbook/programs/sample9-2004.sml
22 0.07%27/Jan/17 00:56/~lp15/papers/Isabelle/sylow.pdf
22 0.22%29/Jan/17 10:37/~lp15/papers/Arith/NFM2014-slides.pdf
22 29/Jan/17 11:12/~lp15/papers/Workshop/programme.html
21 0.23%20/Jan/17 06:30/~lp15/papers/Reports/popl82.pdf
21 0.18%29/Jan/17 12:45/~lp15/papers/Deduction/lecture1.pdf
21 29/Jan/17 11:18/~lp15/papers/Workshop/paulson.html
21 20/Jan/17 18:07/~lp15/MLbook/first/programs/Lambda.ML
21 0.01%28/Jan/17 17:39/~lp15/MLbook/programs/sample10-old.sml
21 0.03%29/Jan/17 12:03/~lp15/papers/Workshop/vigano.pdf
21 0.07%27/Jan/17 16:16/~lp15/papers/Workshop/papers/vigano.pdf
21 1.07%30/Jan/17 02:21/~lp15/papers/Formath/Goedel-slides.pdf
21 0.06%29/Jan/17 20:48/~lp15/papers/Reports/lamport-paulson-types.pdf
20 30/Jan/17 09:35/~lp15/MLbook/programs/sample8-old.sml
20 0.01%27/Jan/17 14:41/~lp15/papers/paulson.bib
20 0.06%29/Jan/17 21:19/~lp15/papers/Workshop/papers/nipkow.pdf
20 0.13%29/Jan/17 10:33/~lp15/papers/Automation/Huet colloquium.pdf
20 0.02%30/Jan/17 03:09/~lp15/papers/Workshop/kammueller.pdf
20 0.23%29/Jan/17 18:20/~lp15/papers/Auth/dagstuhl2003-slides.pdf
19 29/Jan/17 23:40/~lp15/papers/Workshop/nipkow.html
19 30/Jan/17 02:40/~lp15/papers/Workshop/heule.html
19 0.03%28/Jan/17 03:13/~lp15/papers/Workshop/papers/benini.pdf
19 0.04%29/Jan/17 08:02/~lp15/papers/Workshop/papers/matthews.pdf
19 27/Jan/17 07:18/~lp15/MLbook/first/programs/Modules.ML
19 29/Jan/17 14:29/~lp15/papers/Workshop/wolff.html
18 29/Jan/17 12:22/~lp15/MLbook/first/programs/ParsePrint.ML
18 0.01%27/Jan/17 17:43/~lp15/MLbook/first/ML-syntax.ps.gz
18 0.72%30/Jan/17 10:36/~lp15/papers/Arith/Overcoming-slides.pdf
18 26/Jan/17 04:54/~lp15/MLbook/first/programs/Imperative.ML
18 0.05%23/Jan/17 19:48/~lp15/papers/Workshop/papers/agerholm.pdf
18 0.08%27/Jan/17 19:24/~lp15/papers/Workshop/papers/kammueller.pdf
18 0.18%29/Jan/17 10:19/~lp15/papers/Bella/TPHOLs03-slides.pdf
17 0.03%29/Jan/17 10:26/~lp15/papers/Workshop/papers/staples.pdf
17 0.03%29/Jan/17 19:11/~lp15/Grants/Chaieb-case.pdf
17 0.03%28/Jan/17 20:05/~lp15/papers/Workshop/papers/ayari.pdf
17 0.27%29/Jan/17 10:11/~lp15/papers/Auth/dagstuhl2001-slides.pdf
17 0.04%27/Jan/17 01:57/~lp15/papers/Workshop/papers/voelker.pdf
17 0.03%29/Jan/17 22:37/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
17 29/Jan/17 23:43/~lp15/papers/Arith/RELEASE-NOTES.txt
17 0.05%26/Jan/17 18:22/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
16 0.01%29/Jan/17 14:09/~lp15/Sue/Cultures of Dance.pdf
16 0.04%24/Jan/17 01:41/~lp15/papers/Arith/case-splitting-stats.csv
16 0.16%29/Jan/17 08:44/~lp15/papers/Formath/constructible-theory.pdf
16 0.03%23/Jan/17 15:55/~lp15/papers/Isabelle/Goedel-logic.pdf
16 0.01%26/Jan/17 18:22/~lp15/papers/Isabelle/blast-slides.pdf
16 0.57%30/Jan/17 08:19/~lp15/Grants/LEO-II/leo project poster.pdf
16 0.13%26/Jan/17 17:09/~lp15/papers/Deduction/lecture3.pdf
15 27/Jan/17 15:09/~lp15/Grants/UNITY/final.pdf
15 30/Jan/17 07:23/~lp15/MLbook/first/programs/Lists-Trees.ML
15 0.03%29/Jan/17 08:03/~lp15/papers/Workshop/papers/owens.pdf
14 0.01%26/Jan/17 06:12/~lp15/Grants/SET/case.pdf
14 0.01%27/Jan/17 17:25/~lp15/Grants/UNITY/case.pdf
13 29/Jan/17 07:38/~lp15/Grants/SET/final.pdf
13 0.05%23/Jan/17 14:04/~lp15/papers/Workshop/papers/bednarczyk.pdf
13 30/Jan/17 08:38/~lp15/MLbook/first/ERRATA1.txt
12 30/Jan/17 02:40/~lp15/Grants/BeyondLinArith/auth-final.pdf
12 0.08%29/Jan/17 07:51/~lp15/papers/Deduction/lecture2.pdf
12 2.23%24/Jan/17 05:28/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
12 0.09%27/Jan/17 21:54/~lp15/papers/Deduction/lecture4.pdf
12 0.03%27/Jan/17 01:36/~lp15/papers/Ballarin/aisc98.pdf
12 0.03%22/Jan/17 18:48/~lp15/papers/Ballarin/coding.pdf
11 0.07%27/Jan/17 12:23/~lp15/images/pilkington-full.jpg
11 18/Jan/17 06:06/~lp15/papers/Workshop/bednarczyk.txt
10 30/Jan/17 02:16/~lp15/MLbook/first/ERRATA3.txt
10 0.14%29/Jan/17 10:41/~lp15/papers/Formath/CPP 2017.pdf
10 0.05%27/Jan/17 11:35/~lp15/papers/Arith/Huang-precondition.pdf
10 0.06%28/Jan/17 01:29/~lp15/Grants/arith-case.pdf
10 2.79%27/Jan/17 14:42/~lp15/archive/Isabelle2009-1.tar.gz
10 27/Jan/17 18:46/~lp15/Grants/temporal-final.pdf
10 27/Jan/17 10:05/~lp15/MLbook/first/ERRATA2.txt
9 0.02%23/Jan/17 07:42/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 27/Jan/17 21:39/~lp15/papers/Workshop/owens.txt
9 0.04%23/Jan/17 12:44/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 24/Jan/17 21:26/~lp15/MLbook/first/programs/Hal.ML
8 0.52%24/Jan/17 23:25/~lp15/Data/ho-translations/Comb.tbz
8 29/Jan/17 04:19/~lp15/MLbook/first/ML-syntax.dvi.gz
8 24/Jan/17 19:20/~lp15/Data/relevance/unfiltered-spass.txt
8 0.14%29/Jan/17 17:40/~lp15/Grants/arith-poster.pdf
8 0.01%29/Jan/17 07:45/~lp15/papers/Workshop/ayari.pdf
39622.43%29/Jan/17 17:31[not listed: 96 files]