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

Program started at Tue-29-Nov-2016 11:34.
Analysed requests from Wed-05-Nov-2014 15:02 to Tue-29-Nov-2016 11:14 (754.84 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 29-Nov-2016 11:34.

Successful requests: 20,591 (2,289)
Average successful requests per day: 27 (326)
Successful requests for pages: 7,192 (862)
Average successful requests for pages per day: 9 (123)
Failed requests: 853 (141)
Redirected requests: 127 (17)
Distinct files requested: 526 (277)
Distinct hosts served: 4,602 (824)
Corrupt logfile lines: 3
Unwanted logfile entries: 17,793
Data transferred: 5.58 gigabytes (435.71 megabytes)
Average data transferred per day: 7.56 megabytes (62.24 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 
Sun2427794+++++++++++++++++++++++++++
Mon40741384+++++++++++++++++++++++++++++++++++++++++++++++
Tue2806915+++++++++++++++++++++++++++++++
Wed32191167+++++++++++++++++++++++++++++++++++++++
Thu30111098+++++++++++++++++++++++++++++++++++++
Fri2136714++++++++++++++++++++++++
Sat29181120++++++++++++++++++++++++++++++++++++++

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
890256.36%.com (Commercial)
478018.23%[unresolved numerical addresses]
1567 6.97%.net (Networks)
886 3.03%.de (Germany)
854 2.96%[domain not given]
314 1.15%[unknown domain]
271 1.14%.in (India)
303 1.13%.edu (USA Higher Education)
559 1.04%.uk (United Kingdom)
101 0.94%.fr (France)
64 0.55%.ph (Philippines)
143 0.52%.au (Australia)
308 0.46%.ru (Russia)
80 0.43%.br (Brazil)
57 0.37%.se (Sweden)
41 0.36%.th (Thailand)
113 0.31%.it (Italy)
39 0.26%.co (Colombia)
72 0.24%.pt (Portugal)
49 0.21%.zw (Zimbabwe)
42 0.20%.nz (New Zealand)
29 0.18%.za (South Africa)
46 0.17%.ca (Canada)
9 0.16%.np (Nepal)
20 0.16%.pk (Pakistan)
79 0.15%.jp (Japan)
50 0.13%.sg (Singapore)
53 0.13%.org (Non Profit Making Organisations)
25 0.12%.ke (Kenya)
21 0.11%.my (Malaysia)
44 0.10%.nl (Netherlands)
4 0.10%.ge (Georgia)
16 0.10%.id (Indonesia)
17 0.09%.mx (Mexico)
28 0.08%.at (Austria)
24 0.08%.vn (Vietnam)
23 0.08%.pl (Poland)
4 0.08%.ng (Nigeria)
12 0.07%.hu (Hungary)
27 0.07%.fi (Finland)
28 0.06%.ch (Switzerland)
13 0.06%.tw (Taiwan)
24 0.06%.cn (China)
9 0.05%.arpa (Arpanet)
6 0.05%.hr (Croatia)
7 0.05%.ie (Ireland)
13 0.05%.bg (Bulgaria)
57 0.04%.ro (Romania)
32 0.04%.gr (Greece)
21 0.04%.dk (Denmark)
16 0.04%.tr (Turkey)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
25 0.03%.es (Spain)
11 0.03%.be (Belgium)
12 0.03%.na (Namibia)
10 0.03%.ir (Iran)
15 0.03%.ar (Argentina)
37 0.02%.hk (Hong Kong)
16 0.02%.no (Norway)
22 0.02%.cz (Czech Republic)
4 0.02%.uy (Uruguay)
30 0.02%.ua (Ukraine)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
2 0.02%.si (Slovenia)
10 0.01%.il (Israel)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
7 0.01%.kr (South Korea)
9 0.01%.gov (USA Government)
6 0.01%.lb (Lebanon)
13 0.01%.cy (Cyprus)
4 0.01%.cl (Chile)
2 0.01%.ug (Uganda)
4 0.01%.gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
1 .ba (Bosnia-Herzegovina)
3 .lv (Latvia)
1 .kz (Kazakhstan)
6 .us (United States)
6 .bn (Brunei Darussalam)
2 .az (Azerbaijan)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
2 .ee (Estonia)

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
296917.03%amazonaws.com
1518 7.61%msn.com
1403 5.71%baidu.com
854 2.96%[domain not given]
76115.01%bluechipbacklinks.com
548 2.35%your-server.de
488 1.93%yandex.com
319 0.53%114
314 1.15%[unknown domain]
268 0.22%sogou.com
260 0.67%virginm.net
231 0.34%mail.ru
220 0.21%cam.ac.uk
194 5.02%telia.com
180 0.93%41
164 0.80%google.com
163 0.33%btcentralplus.com
147 0.41%14
143 0.80%103
132 0.02%4
931535.96%[not listed: 1,346 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
99software
96pdf
90engineering
53notes
35of
33theorem
32equivalence
28residue
25for
24in
22and
20diploma
19prove
18cauchy
16classes
15set
15computer
13proof
13state
12is
12r
12cauchy's
12class
11hindi
10students
9download
82
8theory
8literature
7chepter
446[not listed: 193 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
157362822OS unknown
277012067Windows
 2724921  Windows NT
 4412909  Unknown Windows
 526205  Windows XP
 1717  Windows Server 2003
 117  Windows 2000
 66  Windows 95
 52  Windows 98
32334864Known robots
42622828Macintosh
52156592Unix
 2113581  Linux
 236  Other Unix
 32  SunOS
 22  OSF1
 151  BSD
655RISC OS

Status Code Report

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

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
16618200 OK
3345206 Partial content
127301 Document moved permanently
628304 Not modified since last retrieval
45403 Access forbidden
808404 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
0699 
1B- 10B2 
11B- 100B0 
101B- 1kB598 0.01%
1kB- 10kB5262 0.37%
10kB-100kB6817 4.88%
100kB- 1MB653141.45%
1MB- 10MB62427.53%
10MB-100MB5825.77%

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
1068765.81%.pdf [Adobe Portable Document Format]
21724.51%.gz [Gzip compressed files]
11924.34%  .tar.gz [Compressed archives]
54 6.38%.tbz
1287 1.35%.jpg [JPEG graphics]
4986 0.56%[directories]
6 0.54%.tgz
2206 0.35%.html [Hypertext Markup Language]
2 0.24%.zip [Zip archives]
779 0.11%.sml
367 0.14%[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
164012.37%29/Nov/16 09:45/~lp15/papers/Notes/SE-I.pdf
1115 0.16%29/Nov/16 10:49/~lp15/
693 0.03%29/Nov/16 11:02/~lp15/MLbook/
693 5.10%29/Nov/16 07:54/~lp15/papers/Reports/equivclasses-slides.pdf
609 0.73%29/Nov/16 10:49/~lp15/images/larry-home-small.jpg
548 0.48%29/Nov/16 10:49/~lp15/images/acm-logo.jpg
481 8.55%29/Nov/16 01:55/~lp15/Sue/Thesis.pdf
410 0.99%29/Nov/16 08:23/~lp15/papers/Notes/Founds-FP.pdf
331 4.06%29/Nov/16 04:24/~lp15/papers/Reports/thesis.pdf
322 1.17%28/Nov/16 20:23/~lp15/papers/Reports/equivclasses.pdf
317 0.01%29/Nov/16 09:44/~lp15/MLbook/programs/
317 1.37%29/Nov/16 09:00/~lp15/papers/Formath/Residue-theorem.pdf
273 0.04%29/Nov/16 07:58/~lp15/papers/Arith/
213 0.01%29/Nov/16 03:34/~lp15/MLbook/programs/sample2.sml
213 1.30%29/Nov/16 03:11/~lp15/papers/Formath/Goedel-ar.pdf
210 0.13%29/Nov/16 08:57/~lp15/papers/refereed.html
175 29/Nov/16 07:18/~lp15/MLbook/exercises/
173 0.17%29/Nov/16 08:31/~lp15/papers/Reports/mutil.pdf
167 0.02%29/Nov/16 07:18/~lp15/Sue/
144 0.51%28/Nov/16 12:37/~lp15/papers/Isabelle/fleuriot-kepler.pdf
139 0.66%28/Nov/16 12:46/~lp15/papers/Auth/jcs.pdf
137 0.02%29/Nov/16 07:17/~lp15/Grants/AutoPolyFun/
119 28/Nov/16 17:41/~lp15/MLbook/programs/ROOT.sml
117 0.02%29/Nov/16 08:46/~lp15/Grants/SET/
117 0.47%28/Nov/16 22:50/~lp15/papers/Formath/set-I.pdf
116 0.01%29/Nov/16 11:01/~lp15/papers/Automation/
116 0.01%29/Nov/16 07:16/~lp15/papers/lecture-courses.html
113 29/Nov/16 10:28/~lp15/MLbook/pub-details.html
111 0.02%29/Nov/16 07:19/~lp15/papers/Auth/
111 0.01%29/Nov/16 07:18/~lp15/Pages/cv.html
104 0.02%29/Nov/16 07:19/~lp15/papers/Formath/
99 0.24%28/Nov/16 06:10/~lp15/papers/Auth/tls.pdf
94 0.08%29/Nov/16 07:20/~lp15/Usage/
94 0.01%29/Nov/16 07:18/~lp15/MLbook/ERRATA.html
93 0.16%28/Nov/16 18:33/~lp15/papers/Formath/Goedel-logic.pdf
91 0.01%29/Nov/16 07:17/~lp15/Grants/
89 0.01%29/Nov/16 01:52/~lp15/MLbook/exercises/exer2.html
89 0.01%29/Nov/16 07:16/~lp15/papers/Reports/
87 0.15%27/Nov/16 20:07/~lp15/Pages/vita.pdf
86 0.13%29/Nov/16 05:01/~lp15/papers/Auth/lics.pdf
85 0.42%28/Nov/16 11:20/~lp15/papers/Arith/Sogokon-nfm14.pdf
82 0.11%28/Nov/16 13:34/~lp15/papers/Auth/SET-overview-2002.pdf
82 0.01%29/Nov/16 07:20/~lp15/archive/
79 28/Nov/16 22:00/~lp15/MLbook/general.html
79 0.01%29/Nov/16 03:10/~lp15/papers/
79 0.01%29/Nov/16 07:17/~lp15/Grants/LEO-II/
76 0.23%25/Nov/16 07:16/~lp15/papers/Formath/Greens-theorem.pdf
76 0.01%29/Nov/16 00:28/~lp15/images/
74 0.01%29/Nov/16 07:17/~lp15/papers/invited.html
74 0.22%27/Nov/16 12:13/~lp15/papers/Reports/TPHOLs05.pdf
73 0.01%29/Nov/16 07:19/~lp15/papers/hol.html
73 0.56%18/Nov/16 10:24/~lp15/Pages/Munich-slides.pdf
73 0.01%29/Nov/16 07:16/~lp15/papers/workshop.html
73 0.35%29/Nov/16 02:43/~lp15/papers/Bella/smartcards-jcs.pdf
72 0.20%28/Nov/16 10:43/~lp15/papers/Formath/AC.pdf
72 0.17%29/Nov/16 03:24/~lp15/papers/Formath/automata.pdf
71 0.01%29/Nov/16 07:18/~lp15/papers/Isabelle/
70 28/Nov/16 17:55/~lp15/papers/Notes/
70 0.23%26/Nov/16 19:02/~lp15/papers/Automation/sultana-pfreconstruction.pdf
69 0.26%28/Nov/16 19:49/~lp15/papers/Automation/filtering.pdf
68 0.01%29/Nov/16 07:17/~lp15/Grants/Automation/
67 29/Nov/16 07:17/~lp15/Grants/BeyondLinArith/
66 0.01%29/Nov/16 01:39/~lp15/MLbook/review.html
66 0.01%29/Nov/16 07:17/~lp15/papers/books.html
65 28/Nov/16 21:22/~lp15/MLbook/first/
65 0.27%26/Nov/16 02:42/~lp15/papers/Bella/accountability.pdf
65 28/Nov/16 17:29/~lp15/MLbook/StandardML.plist
62 0.01%28/Nov/16 19:43/~lp15/MLbook/programs/sample3.sml
61 0.03%29/Nov/16 07:18/~lp15/images/pilkington.jpg
60 29/Nov/16 07:18/~lp15/Pages/CL-English.html
60 0.01%29/Nov/16 11:01/~lp15/papers/recur.html
59 0.02%29/Nov/16 01:27/~lp15/MLbook/exercises/exer8.html
58 0.12%29/Nov/16 11:01/~lp15/papers/Auth/multicast_verification.pdf
58 0.01%28/Nov/16 14:49/~lp15/MLbook/programs/sample8-2004.sml
58 0.13%28/Nov/16 07:27/~lp15/papers/Automation/paar.pdf
57 0.02%26/Nov/16 20:45/~lp15/MLbook/exercises/exer3.html
57 28/Nov/16 21:36/~lp15/papers/Arith/download.html
57 0.17%28/Nov/16 11:58/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
56 0.20% 2/Oct/16 22:24/~lp15/papers/Reports/Bridge-ml.pdf
56 0.10%28/Nov/16 22:36/~lp15/papers/Arith/Narayanan DATE.pdf
56 27/Nov/16 02:46/~lp15/css/
55 29/Nov/16 03:23/~lp15/Pages/
55 15/Nov/16 18:48/~lp15/SpryAssets/
55 0.01%23/Nov/16 20:48/~lp15/MLbook/programs/sample5.sml
53 0.13%27/Nov/16 05:59/~lp15/papers/Bella/esorics98.pdf
53 0.12% 3/Oct/16 23:39/~lp15/papers/Arith/Huang-3heuristics.pdf
53 0.30%28/Nov/16 21:09/~lp15/papers/Arith/calculemus2008.pdf
53 0.15%29/Nov/16 03:28/~lp15/papers/Automation/meng-termination.pdf
53 28/Nov/16 20:16/~lp15/papers/Workshop/
51 0.12%29/Nov/16 08:18/~lp15/Pages/harrison-real.pdf
51 0.01%29/Nov/16 01:39/~lp15/MLbook/programs/sample4.sml
50 0.21%21/Nov/16 10:54/~lp15/papers/Formath/reflection-slides.pdf
50 1.23%28/Nov/16 21:17/~lp15/papers/Auth/lics-slides.pdf
49 0.11%28/Nov/16 12:53/~lp15/papers/Bella/nonrepudiation.pdf
49 0.09%25/Nov/16 17:07/~lp15/papers/Isabelle/chap700.pdf
49 0.24%29/Nov/16 09:37/~lp15/papers/UNITY/composition.pdf
49 0.02%29/Nov/16 07:18/~lp15/Sue/Sue Paulson.jpg
49 0.11%25/Nov/16 13:56/~lp15/papers/Bella/registration.pdf
49 0.14%29/Nov/16 01:04/~lp15/papers/Bella/certified-email.pdf
49 0.14%28/Nov/16 10:35/~lp15/papers/Arith/Hscc09.pdf
48 0.07%29/Nov/16 00:01/~lp15/papers/Auth/auth-slides.pdf
48 0.03%28/Nov/16 21:30/~lp15/papers/Reviews/MLer.pdf
46 0.10%28/Nov/16 09:21/~lp15/papers/Isabelle/aisc98.pdf
45 0.20%29/Nov/16 08:27/~lp15/papers/Automation/translations-jar.pdf
45 27/Nov/16 22:11/~lp15/papers/Bella/
45 0.11%28/Nov/16 15:08/~lp15/papers/Automation/jar-smt.pdf
45 0.02%22/Nov/16 18:34/~lp15/Usage/images/
45 0.11%25/Nov/16 09:32/~lp15/papers/Isabelle/blast.pdf
44 29/Nov/16 02:55/~lp15/tmp/
44 0.11%26/Nov/16 05:10/~lp15/papers/Automation/translations.pdf
44 0.09%28/Nov/16 09:46/~lp15/papers/Bella/cav98.pdf
44 0.04%27/Nov/16 04:32/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
44 0.01%27/Nov/16 17:08/~lp15/Pages/ACS-proposals.html
44 0.15%29/Nov/16 01:43/~lp15/papers/Formath/reflection.pdf
43 24/Nov/16 18:02/~lp15/papers/UNITY/
43 27/Nov/16 15:16/~lp15/papers/Arith/qepcad-for-mac.html
43 0.01%26/Nov/16 18:37/~lp15/MLbook/exercises/exer7.html
43 0.01%28/Nov/16 11:47/~lp15/Grants/UNITY/
42 0.11%27/Nov/16 13:14/~lp15/papers/Arith/lpar2007.pdf
42  4/Oct/16 02:09/~lp15/Templates/
41  4/Oct/16 08:11/~lp15/Data/
41 0.05%28/Nov/16 09:52/~lp15/papers/Auth/yahalom.pdf
41 0.09%22/Nov/16 19:43/~lp15/Grants/AutoPolyFun/case.pdf
41 0.04%27/Nov/16 01:16/~lp15/papers/Reports/CADE9.pdf
40 0.07%28/Nov/16 11:07/~lp15/papers/UNITY/tphols01.pdf
40 0.05%24/Nov/16 22:49/~lp15/Sue/Cultures of Dance.ppt
40 0.34%27/Nov/16 20:18/~lp15/papers/Automation/info-and-comp.pdf
39 0.01%28/Nov/16 02:31/~lp15/MLbook/exercises/exer4.html
39 29/Nov/16 09:03/~lp15/MLbook/disclaimer.html
39 0.01%22/Nov/16 18:23/~lp15/Grants/holisa.html
38 0.05%28/Nov/16 19:43/~lp15/papers/Arith/case-splitting.pdf
38 0.32%28/Nov/16 07:30/~lp15/papers/Bella/purchase-JAR.pdf
38 0.05%24/Nov/16 21:35/~lp15/papers/Workshop/friedrich.pdf
38 0.06%29/Nov/16 11:08/~lp15/papers/Automation/thf-sledge.pdf
38 0.07%25/Nov/16 18:21/~lp15/Pages/4colproof.pdf
37  2/Oct/16 13:49/~lp15/papers/Reviews/
37 0.07%28/Nov/16 19:37/~lp15/papers/Bella/purchase.pdf
37 0.01%24/Nov/16 16:08/~lp15/Pages/Scream.html
37 0.09%27/Nov/16 04:30/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
36 0.08%29/Nov/16 03:41/~lp15/papers/UNITY/ehmety-composition.pdf
36 0.01%25/Nov/16 12:04/~lp15/MLbook/programs/sample9.sml
36 0.10%28/Nov/16 16:43/~lp15/papers/Isabelle/coding.pdf
36 0.07%23/Nov/16 01:25/~lp15/papers/Arith/fmcad2009.pdf
35 0.01%25/Nov/16 20:27/~lp15/MLbook/exercises/exer5.html
35 0.06%28/Nov/16 18:54/~lp15/papers/Workshop/papers/kalvala-linear.pdf
34 0.09%28/Nov/16 09:12/~lp15/papers/Reports/blast.pdf
34 0.01%27/Nov/16 06:15/~lp15/MLbook/programs/sample10.sml
34 0.13%29/Nov/16 09:11/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.08%28/Nov/16 09:55/~lp15/papers/Automation/IJCAR2004.pdf
34 29/Nov/16 03:17/~lp15/papers/Ballarin/
33 0.13%25/Nov/16 06:06/~lp15/papers/Notes/MOD-slides.pdf
33 0.01%25/Nov/16 21:23/~lp15/MLbook/exercises/exer6.html
33 0.24%28/Nov/16 10:25/~lp15/papers/Reports/intro-to-isabelle.pdf
33 0.05%28/Nov/16 11:04/~lp15/papers/Reports/CADE11.pdf
33 0.24%29/Nov/16 10:36/~lp15/papers/Auth/SET-overview-slides.pdf
33 26/Nov/16 05:03/~lp15/Pages/projects.html
33 0.19%28/Nov/16 03:53/~lp15/papers/Workshop/papers/rasmussen.pdf
33 0.09%29/Nov/16 06:59/~lp15/papers/Formath/milner-ind-defs.pdf
32 0.01%27/Nov/16 21:56/~lp15/MLbook/programs/sample7.sml
32 25/Nov/16 02:51/~lp15/papers/Deduction/
32 28/Nov/16 01:13/~lp15/papers/Arith/atan-problem-1-weak.html
32 0.09%29/Nov/16 10:26/~lp15/papers/Bella/esorics2000.pdf
32 0.39%23/Nov/16 05:28/~lp15/papers/Reports/ref97.pdf
31 22/Nov/16 17:07/~lp15/Data/ho-translations/
31 0.01%27/Nov/16 15:50/~lp15/MLbook/programs/sample8.sml
31 0.07%23/Nov/16 15:58/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
31 0.18%28/Nov/16 00:34/~lp15/papers/Automation/filtering-jal.pdf
31 0.04%28/Nov/16 10:40/~lp15/papers/Notes/leeds-notes.pdf
31 0.21%23/Nov/16 11:27/~lp15/papers/Arith/MetiTarski-jar.pdf
31 0.02%28/Nov/16 05:26/~lp15/papers/Reviews/construct.pdf
31 0.05%28/Nov/16 07:11/~lp15/papers/Formath/constructible-abstract.pdf
30 0.06%29/Nov/16 09:33/~lp15/papers/Formath/final.pdf
30 26/Nov/16 16:10/~lp15/MLbook/first/programs/
29 24/Nov/16 06:26/~lp15/MLbook/programs/notes.html
29 26/Nov/16 16:12/~lp15/MLbook/first/programs/Lambda.ML
29 0.06%27/Nov/16 07:12/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
29 0.13%28/Nov/16 08:01/~lp15/papers/UNITY/UNITY.pdf
29 0.05%28/Nov/16 09:39/~lp15/papers/Auth/ijcar2001.pdf
29 0.08%21/Nov/16 00:32/~lp15/papers/Automation/cade2011-sledge-smt.pdf
29 0.13%25/Nov/16 15:19/~lp15/papers/Formath/set-II.pdf
28 0.04%25/Nov/16 15:36/~lp15/papers/Arith/FroCoS-2013-invited.pdf
28 0.16%28/Nov/16 16:25/~lp15/papers/Automation/reconstruction.pdf
28 0.06%27/Nov/16 19:53/~lp15/papers/Workshop/papers/thompson.pdf
28 0.04%28/Nov/16 05:43/~lp15/papers/Arith/pdpar2006.pdf
28 0.02%26/Nov/16 08:14/~lp15/papers/Arith/NFM2014-invited.pdf
28 0.09%28/Nov/16 09:23/~lp15/papers/UNITY/Mechanizing-compositional.pdf
27 0.35%28/Nov/16 08:29/~lp15/papers/Reports/TypeClasses.pdf
27 0.03%26/Nov/16 09:12/~lp15/Grants/LEO-II/leo2-case.pdf
27 0.36%17/Nov/16 04:46/~lp15/papers/Automation/reconstruction-slides.pdf
27 1.29%21/Nov/16 08:13/~lp15/papers/Notes/LCF+.pdf
27 0.03%28/Nov/16 13:55/~lp15/papers/Auth/security-protocols.pdf
27  4/Oct/16 06:33/~lp15/Data/relevance/
26 0.01%27/Nov/16 00:18/~lp15/MLbook/first/ML-syntax.ps.gz
26 0.05%27/Nov/16 23:48/~lp15/papers/Automation/leo2-ijcar.pdf
26 0.88%29/Nov/16 08:22/~lp15/Sue/Phd-Poster.pdf
26 0.08%26/Nov/16 20:59/~lp15/papers/Arith/SNC2014-invited.pdf
26 1.65%30/Sep/16 05:04/~lp15/papers/Arith/FroCos-presentation.pdf
25 0.04%21/Nov/16 15:28/~lp15/papers/Reports/Descent of BAN.pdf
25 0.05%28/Nov/16 00:26/~lp15/papers/Bella/dimacs97.pdf
25 0.14%29/Nov/16 11:14/~lp15/papers/Reports/fleuriot-kepler.pdf
25 0.13%28/Nov/16 23:32/~lp15/papers/Formath/constructible-slides.pdf
25 0.05%27/Nov/16 03:18/~lp15/papers/Arith/ITP-2012-invited.pdf
24 0.02%27/Nov/16 04:40/~lp15/Grants/Automation/case.pdf
24 28/Nov/16 11:16/~lp15/MLbook/first/programs/Modules.ML
24 26/Nov/16 01:42/~lp15/MLbook/first/programs/Functions.ML
23 0.01%21/Nov/16 10:01/~lp15/MLbook/programs/test10.sml
23 0.34%28/Nov/16 10:54/~lp15/Grants/Automation/poster.pdf
23 0.01%28/Nov/16 23:25/~lp15/papers/Formath/AC-slides.pdf
23 0.06%25/Nov/16 00:12/~lp15/papers/Notes/strategy.pdf
23 0.02%28/Nov/16 07:48/~lp15/papers/Workshop/kammueller.pdf
23 0.09%28/Nov/16 19:45/~lp15/papers/Arith/cicm2012.pdf
22 28/Nov/16 17:20/~lp15/Grants/arith.html
22 0.04%28/Nov/16 07:12/~lp15/papers/Workshop/papers/ayari.pdf
22 0.14%20/Nov/16 22:37/~lp15/papers/Auth/tls-slides.pdf
22 0.07%28/Nov/16 01:32/~lp15/papers/Workshop/papers/nipkow.pdf
22 0.03%25/Nov/16 05:15/~lp15/papers/Auth/recur-slides.pdf
22 28/Nov/16 16:10/~lp15/MLbook/exercises/disclaimer.html
21 0.02%28/Nov/16 11:42/~lp15/papers/Notes/strategy-slides.pdf
21 16/Nov/16 21:11/~lp15/Grants/auth.html
21 0.16%22/Nov/16 10:40/~lp15/papers/Formath/Future of formalised maths.pdf
21 0.21%29/Nov/16 02:55/~lp15/papers/Deduction/lecture1.pdf
21 0.14%20/Nov/16 04:24/~lp15/papers/Reports/logics97.pdf
21 0.10%28/Nov/16 07:48/~lp15/papers/Workshop/papers/kammueller.pdf
20 0.29%20/Nov/16 01:52/~lp15/papers/Notes/formalizing-abst-slides.pdf
20 0.34%25/Nov/16 20:35/~lp15/papers/Arith/metit-slides.pdf
20 0.06%25/Nov/16 08:16/~lp15/papers/Formath/Goedel-logic-mine.pdf
20 0.06%28/Nov/16 09:06/~lp15/papers/Reports/lamport-paulson-types.pdf
20 23/Nov/16 08:32/~lp15/MLbook/programs/sample3-old.sml
19 0.22%21/Nov/16 02:28/~lp15/papers/Reports/popl82.pdf
19 25/Nov/16 20:15/~lp15/MLbook/first/programs/Lists-Trees.ML
19 18/Nov/16 12:32/~lp15/papers/Workshop/matthews.html
19 0.10%20/Nov/16 20:41/~lp15/papers/Auth/SET-document.pdf
19 0.05%28/Nov/16 06:06/~lp15/papers/Workshop/papers/voelker.pdf
19 0.57% 3/Oct/16 08:25/~lp15/Sue/Thesis-Appendices.pdf
18 0.01%18/Nov/16 12:18/~lp15/papers/paulson.bib
18 0.16%27/Nov/16 12:11/~lp15/Grants/BeyondLinArith/arith-case.pdf
17 28/Nov/16 09:16/~lp15/papers/Workshop/nipkow.html
17 0.46%28/Nov/16 20:17/~lp15/Grants/BeyondLinArith/arith-poster.pdf
17 0.03%21/Nov/16 11:22/~lp15/Grants/Automation/final.pdf
17 0.23%17/Nov/16 12:25/~lp15/papers/Reports/TypeClasses-slides.pdf
17 0.22%26/Nov/16 20:15/~lp15/papers/Isabelle/Cube-presentation.pdf
17 0.04%28/Nov/16 09:57/~lp15/papers/Workshop/papers/matthews.pdf
17 0.03%27/Nov/16 22:09/~lp15/papers/Workshop/vigano.pdf
17 1.03% 3/Oct/16 23:38/~lp15/papers/Arith/ITP 2012 presentation.pdf
17 0.03%28/Nov/16 05:51/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
17 23/Nov/16 01:59/~lp15/Grants/temporal.html
17 0.05%28/Nov/16 14:39/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17 29/Nov/16 07:59/~lp15/Grants/Chaieb.html
17 0.19%29/Nov/16 01:13/~lp15/papers/Arith/NFM2014-slides.pdf
17 22/Nov/16 08:48/~lp15/Sue/Cultures of Dance.html
17 0.05%29/Nov/16 09:53/~lp15/papers/Workshop/papers/agerholm.pdf
16 26/Nov/16 18:40/~lp15/MLbook/first/programs/ParsePrint.ML
16 28/Nov/16 16:26/~lp15/papers/Workshop/staples.html
16 17/Nov/16 04:38/~lp15/papers/Formath/ind-defs-slides.pdf
16 25/Nov/16 07:11/~lp15/papers/Workshop/paulson.html
16 25/Nov/16 20:12/~lp15/papers/Workshop/thompson.html
16 0.08%29/Nov/16 04:29/~lp15/papers/Workshop/papers/bednarczyk.pdf
16 0.15%19/Nov/16 07:22/~lp15/papers/Deduction/lecture3.pdf
16 30/Sep/16 10:22/~lp15/papers/OLD.SETS/
16 17/Nov/16 10:54/~lp15/papers/Workshop/participants.html
16 0.18%24/Nov/16 07:20/~lp15/papers/Bella/TPHOLs03-slides.pdf
15 19/Nov/16 03:14/~lp15/MLbook/programs/sample8-old.sml
15 0.01%26/Nov/16 15:59/~lp15/Grants/SET/case.pdf
15 0.01% 4/Oct/16 06:43/~lp15/MLbook/programs/sample10-old.sml
15 0.05%27/Nov/16 22:08/~lp15/papers/Workshop/papers/vigano.pdf
15 21/Nov/16 10:01/~lp15/MLbook/programs/sample9-2004.sml
15 0.05%21/Nov/16 06:52/~lp15/Data/relevance/tptp-2007-03-13.tbz
15 0.05%28/Nov/16 04:19/~lp15/papers/Isabelle/sylow.pdf
15 0.48% 3/Oct/16 03:45/~lp15/papers/Arith/SNC2014-slides.pdf
15 28/Nov/16 11:59/~lp15/papers/Workshop/futures.html
15 23/Nov/16 20:01/~lp15/MLbook/first/programs/Imperative.ML
15 30/Sep/16 01:43/~lp15/papers/Workshop/programme.html
15 26/Nov/16 16:30/~lp15/papers/Workshop/wolff.html
14  2/Oct/16 10:36/~lp15/papers/Workshop/kalvala.html
14 0.04% 4/Oct/16 06:33/~lp15/papers/Arith/case-splitting-stats.csv
14 0.10%28/Nov/16 11:42/~lp15/papers/Automation/Huet colloquium.pdf
14 0.83%22/Nov/16 09:39/~lp15/papers/Formath/Goedel-slides.pdf
14  2/Oct/16 15:19/~lp15/papers/Workshop/agerholm.html
14 0.18%25/Nov/16 14:53/~lp15/papers/Auth/dagstuhl2003-slides.pdf
13 0.02%29/Nov/16 03:19/~lp15/papers/Arith/Overcoming.pdf
13 27/Nov/16 15:25/~lp15/Grants/SET/final.pdf
13 0.14%25/Nov/16 03:09/~lp15/papers/Automation/h4qed-clean.pdf
12 0.03%29/Nov/16 08:55/~lp15/Grants/Chaieb-case.pdf
12 0.15%24/Nov/16 20:41/~lp15/papers/Formath/constructible-theory.pdf
12 0.20%28/Nov/16 13:56/~lp15/papers/Auth/dagstuhl2001-slides.pdf
12 0.02% 3/Oct/16 04:35/~lp15/papers/Isabelle/Goedel-logic.pdf
12 0.01%30/Sep/16 01:42/~lp15/papers/Isabelle/blast-slides.pdf
12 0.21%22/Nov/16 07:09/~lp15/papers/Auth/ijcar2001-slides.pdf
11 21/Nov/16 13:00/~lp15/papers/Workshop/heule.html
11 0.02%28/Nov/16 23:10/~lp15/papers/Workshop/papers/benini.pdf
11 0.08%29/Nov/16 09:14/~lp15/papers/Deduction/lecture2.pdf
11 28/Nov/16 19:46/~lp15/papers/Arith/RELEASE-NOTES.txt
11 20/Nov/16 00:31/~lp15/MLbook/first/ERRATA1.txt
10 0.01%17/Nov/16 00:58/~lp15/Sue/Cultures of Dance.pdf
10 0.07%24/Nov/16 21:15/~lp15/images/pilkington-full.jpg
10 23/Nov/16 17:33/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 21/Nov/16 01:09/~lp15/Grants/UNITY/final.pdf
10 30/Sep/16 18:23/~lp15/papers/Workshop/bednarczyk.txt
10 24/Nov/16 03:17/~lp15/images/larry-paulson.jpg
10 0.05%21/Nov/16 17:44/~lp15/papers/Isabelle/Goedel-ar.pdf
10 2.37%29/Sep/16 00:53/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
10 0.02%27/Nov/16 02:05/~lp15/papers/Workshop/papers/owens.pdf
9 26/Nov/16 16:17/~lp15/MLbook/first/ERRATA3.txt
9 0.01%27/Nov/16 21:20/~lp15/papers/Workshop/papers/staples.pdf
9 0.37%30/Sep/16 01:41/~lp15/Grants/LEO-II/leo project poster.pdf
9 0.38%30/Sep/16 01:41/~lp15/papers/Arith/Overcoming-slides.pdf
9 0.08%20/Nov/16 05:39/~lp15/papers/Deduction/lecture4.pdf
9 0.02%28/Nov/16 09:21/~lp15/papers/Ballarin/aisc98.pdf
9 0.07%22/Nov/16 17:11/~lp15/Grants/arith-case.pdf
9 3.16%28/Sep/16 22:02/~lp15/archive/Isabelle2009-1.tar.gz
9 26/Nov/16 16:13/~lp15/MLbook/first/programs/Hal.ML
9 0.03%28/Nov/16 10:19/~lp15/papers/Ballarin/coding.pdf
8 3.78%29/Nov/16 06:10/~lp15/archive/Isabelle2014.tar.gz
8 22/Nov/16 23:36/~lp15/papers/Workshop/owens.txt
7 0.01%26/Nov/16 04:16/~lp15/papers/Workshop/front.pdf
7 0.51%21/Nov/16 18:23/~lp15/Data/ho-translations/Comb.tbz
7 0.38%27/Nov/16 00:38/~lp15/papers/Isabelle/Goedel-slides.pdf
7 15/Nov/16 19:26/~lp15/Grants/UNITY/case.pdf
7 21/Nov/16 10:05/~lp15/MLbook/first/ML-syntax.dvi.gz
7 16/Nov/16 03:46/~lp15/Data/relevance/unfiltered-spass.txt
7 21/Nov/16 16:24/~lp15/Data/relevance/unfiltered-vampire.txt
33322.22%28/Nov/16 20:43[not listed: 96 files]