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

Program started at Wed-22-Mar-2017 14:51.
Analysed requests from Wed-05-Nov-2014 15:02 to Wed-22-Mar-2017 14:24 (867.97 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 22-Mar-2017 14:51.

Successful requests: 21,353 (3,435)
Average successful requests per day: 24 (490)
Successful requests for pages: 7,904 (1,447)
Average successful requests for pages per day: 9 (206)
Failed requests: 992 (289)
Redirected requests: 117 (18)
Distinct files requested: 538 (509)
Distinct hosts served: 4,396 (764)
Corrupt logfile lines: 3
Unwanted logfile entries: 16,893
Data transferred: 5.60 gigabytes (525.49 megabytes)
Average data transferred per day: 6.61 megabytes (75.07 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 
Sun2785998+++++++++++++++++++++++++
Mon41471453+++++++++++++++++++++++++++++++++++++
Tue27991059+++++++++++++++++++++++++++
Wed32851244++++++++++++++++++++++++++++++++
Thu29461142+++++++++++++++++++++++++++++
Fri2370851++++++++++++++++++++++
Sat30211157+++++++++++++++++++++++++++++

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
957858.45%.com (Commercial)
542218.81%[unresolved numerical addresses]
1314 5.56%.net (Networks)
903 3.22%[domain not given]
779 2.89%.de (Germany)
427 1.19%[unknown domain]
347 1.15%.edu (USA Higher Education)
263 1.09%.in (India)
150 0.76%.fr (France)
314 0.76%.uk (United Kingdom)
58 0.54%.ph (Philippines)
286 0.51%.ru (Russia)
110 0.47%.au (Australia)
71 0.37%.br (Brazil)
54 0.26%.ca (Canada)
43 0.25%.se (Sweden)
31 0.23%.th (Thailand)
28 0.23%.co (Colombia)
62 0.20%.pt (Portugal)
38 0.17%.nz (New Zealand)
37 0.17%.zw (Zimbabwe)
18 0.14%.za (South Africa)
14 0.14%.pk (Pakistan)
61 0.14%.jp (Japan)
28 0.13%.ke (Kenya)
47 0.13%.sg (Singapore)
50 0.12%.org (Non Profit Making Organisations)
7 0.12%.np (Nepal)
74 0.12%.it (Italy)
21 0.11%.my (Malaysia)
11 0.09%.id (Indonesia)
35 0.09%.pl (Poland)
28 0.08%.at (Austria)
4 0.08%.ng (Nigeria)
43 0.07%.nl (Netherlands)
19 0.07%.vn (Vietnam)
41 0.06%.cn (China)
24 0.06%.tr (Turkey)
14 0.05%.arpa (Arpanet)
6 0.05%.hr (Croatia)
27 0.05%.ch (Switzerland)
13 0.05%.bg (Bulgaria)
35 0.04%.fi (Finland)
36 0.04%.dk (Denmark)
13 0.04%.mx (Mexico)
46 0.04%.gr (Greece)
3 0.04%.ie (Ireland)
11 0.04%.be (Belgium)
12 0.04%.tw (Taiwan)
10 0.03%.ar (Argentina)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
17 0.03%.hu (Hungary)
12 0.03%.na (Namibia)
21 0.03%.cz (Czech Republic)
45 0.03%.hk (Hong Kong)
23 0.02%.es (Spain)
4 0.02%.lt (Lithuania)
4 0.02%.uy (Uruguay)
8 0.02%.is (Iceland)
25 0.02%.ua (Ukraine)
2 0.02%.ly (Libya)
1 0.02%.si (Slovenia)
8 0.01%.no (Norway)
4 0.01%.ee (Estonia)
15 0.01%.ro (Romania)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
15 0.01%.cy (Cyprus)
9 0.01%.gov (USA Government)
4 0.01%.il (Israel)
4 0.01%.kz (Kazakhstan)
3 0.01%.ug (Uganda)
4 0.01%.gh (Ghana)
12 .do (Dominican Republic)
1 .as (American Samoa)
6 .ae (United Arab Emirates)
3 .lv (Latvia)
2 .ir (Iran)
4 .lb (Lebanon)
6 .us (United States)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
3 .bn (Brunei Darussalam)
1 .mk (Macedonia (Former Yugoslav Republic))
3 .cl (Chile)
1 .sk (Slovakia)
1 .sa (Saudi Arabia)

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
302117.12%amazonaws.com
1620 7.69%msn.com
1346 5.49%baidu.com
976 4.10%yandex.com
903 3.22%[domain not given]
76114.94%bluechipbacklinks.com
539 2.39%your-server.de
518 0.57%84
427 1.19%[unknown domain]
417 2.47%199.16
314 0.44%114
300 0.36%sogou.com
218 0.56%virginm.net
203 0.37%mail.ru
194 4.99%telia.com
186 0.90%41
148 0.32%btcentralplus.com
137 0.11%cam.ac.uk
137 0.38%14
135 0.31%61.135
885332.08%[not listed: 1,275 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
73pdf
72software
63engineering
39theorem
36notes
30for
29equivalence
27prove
26residue
26and
24state
19of
16cauchy
15classes
15set
15proof
14in
13cauchy's
12r
12diploma
12class
11computer
10is
9download
8theory
7hindi
7students
6if
6pearl
6system
340[not listed: 148 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
167403036OS unknown
275892434Windows
 31911182  Windows NT
 39051048  Unknown Windows
 458172  Windows XP
 1010  Windows Server 2003
 109  Windows 98
 97  Windows 2000
 66  Windows 95
32394898Known robots
42547891Macintosh
52043627Unix
 2000614  Linux
 269  Other Unix
 32  SunOS
 22  OSF1
 120  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
18002200 OK
2744206 Partial content
117301 Document moved permanently
607304 Not modified since last retrieval
45403 Access forbidden
947404 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- 1kB544 0.01%
1kB- 10kB5808 0.40%
10kB-100kB6535 4.50%
100kB- 1MB711443.68%
1MB- 10MB59926.88%
10MB-100MB5424.54%

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
1074166.80%.pdf [Adobe Portable Document Format]
28823.32%.gz [Gzip compressed files]
14823.04%  .tar.gz [Compressed archives]
61 6.52%.tbz
1206 1.26%.jpg [JPEG graphics]
7 0.63%.tgz
5472 0.59%[directories]
2432 0.36%.html [Hypertext Markup Language]
2 0.24%.zip [Zip archives]
741 0.12%.sml
403 0.15%[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
142011.20%22/Mar/17 13:33/~lp15/papers/Notes/SE-I.pdf
1117 0.16%22/Mar/17 14:17/~lp15/
737 0.03%22/Mar/17 13:54/~lp15/MLbook/
575 0.69%22/Mar/17 14:10/~lp15/images/larry-home-small.jpg
561 4.44%22/Mar/17 08:44/~lp15/papers/Reports/equivclasses-slides.pdf
501 0.44%22/Mar/17 14:10/~lp15/images/acm-logo.jpg
358 0.86%22/Mar/17 13:11/~lp15/papers/Notes/Founds-FP.pdf
349 7.13%22/Mar/17 10:47/~lp15/Sue/Thesis.pdf
331 0.01%22/Mar/17 04:51/~lp15/MLbook/programs/
326 1.38%22/Mar/17 10:46/~lp15/papers/Formath/Residue-theorem.pdf
289 0.04%22/Mar/17 09:40/~lp15/papers/Arith/
247 0.14%22/Mar/17 09:58/~lp15/papers/refereed.html
236 0.87%21/Mar/17 06:21/~lp15/papers/Reports/equivclasses.pdf
225 3.34%20/Mar/17 13:40/~lp15/papers/Reports/thesis.pdf
222 0.64%21/Mar/17 16:35/~lp15/papers/Formath/automata.pdf
219 0.03%22/Mar/17 03:29/~lp15/Sue/
217 1.34%22/Mar/17 05:14/~lp15/papers/Formath/Goedel-ar.pdf
215 0.01%22/Mar/17 04:51/~lp15/MLbook/programs/sample2.sml
185 22/Mar/17 14:23/~lp15/MLbook/exercises/
168 1.42%21/Mar/17 16:03/~lp15/papers/Isabelle/Goedel-ar.pdf
155 0.96%21/Mar/17 16:35/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
148 0.03%22/Mar/17 13:58/~lp15/papers/Auth/
148 0.74%22/Mar/17 03:06/~lp15/papers/Auth/jcs.pdf
134 0.02%22/Mar/17 12:53/~lp15/papers/Automation/
132 0.13%20/Mar/17 13:51/~lp15/papers/Reports/mutil.pdf
128 0.02%21/Mar/17 22:05/~lp15/Grants/SET/
126 0.01%22/Mar/17 14:15/~lp15/papers/lecture-courses.html
125 0.02%21/Mar/17 14:58/~lp15/Grants/AutoPolyFun/
124 0.45%22/Mar/17 09:41/~lp15/papers/Isabelle/fleuriot-kepler.pdf
120 22/Mar/17 00:45/~lp15/MLbook/pub-details.html
112 0.02%21/Mar/17 05:24/~lp15/papers/Formath/
112 0.18%22/Mar/17 11:58/~lp15/papers/Auth/lics.pdf
110 0.01%22/Mar/17 04:14/~lp15/Pages/cv.html
104 0.01%22/Mar/17 12:39/~lp15/Grants/
104 0.43%22/Mar/17 04:19/~lp15/papers/Formath/set-I.pdf
101 0.01%21/Mar/17 10:42/~lp15/papers/Reports/
97 0.01%21/Mar/17 23:59/~lp15/images/
96 0.01%21/Mar/17 05:36/~lp15/MLbook/ERRATA.html
94 0.01%22/Mar/17 14:24/~lp15/papers/
93 0.13%20/Mar/17 03:27/~lp15/papers/Auth/SET-overview-2002.pdf
92 0.08%22/Mar/17 10:31/~lp15/Usage/
90 0.01%21/Mar/17 21:47/~lp15/archive/
87 0.01%21/Mar/17 16:09/~lp15/MLbook/exercises/exer2.html
87 0.01%21/Mar/17 05:47/~lp15/Grants/LEO-II/
86 0.63%19/Mar/17 14:25/~lp15/Pages/Munich-slides.pdf
84 0.23%20/Mar/17 12:40/~lp15/papers/Auth/tls.pdf
83 0.01%21/Mar/17 10:29/~lp15/papers/workshop.html
82 0.14%20/Mar/17 03:22/~lp15/Pages/vita.pdf
81 0.14%19/Mar/17 14:25/~lp15/papers/Formath/Goedel-logic.pdf
81 0.01%21/Mar/17 08:51/~lp15/papers/Isabelle/
80 0.39%20/Mar/17 09:34/~lp15/papers/Bella/smartcards-jcs.pdf
80 0.43%20/Mar/17 07:32/~lp15/papers/Arith/Sogokon-nfm14.pdf
79 0.29%21/Mar/17 21:14/~lp15/papers/Automation/filtering.pdf
78 22/Mar/17 12:47/~lp15/MLbook/general.html
78 0.25%22/Mar/17 03:00/~lp15/papers/Formath/Greens-theorem.pdf
75 22/Mar/17 01:18/~lp15/Pages/
11 21/Mar/17 05:39  /~lp15/Pages/?C=N;O=D
10 21/Mar/17 05:37  /~lp15/Pages/?C=S;O=A
75 0.01%22/Mar/17 11:02/~lp15/papers/hol.html
75 0.01%22/Mar/17 04:12/~lp15/Grants/Automation/
74 22/Mar/17 11:24/~lp15/papers/Notes/
74 0.01%21/Mar/17 17:49/~lp15/papers/books.html
72 0.01%21/Mar/17 05:42/~lp15/MLbook/review.html
71 0.24%19/Mar/17 14:25/~lp15/papers/Automation/sultana-pfreconstruction.pdf
70 22/Mar/17 06:54/~lp15/papers/Arith/download.html
70 0.01%21/Mar/17 09:16/~lp15/papers/invited.html
70 21/Mar/17 05:35/~lp15/css/
68 21/Mar/17 05:40/~lp15/SpryAssets/
67 19/Mar/17 14:33/~lp15/MLbook/StandardML.plist
66 21/Mar/17 21:05/~lp15/Pages/CL-English.html
66 0.16%20/Mar/17 18:15/~lp15/papers/Bella/esorics98.pdf
65 21/Mar/17 05:42/~lp15/Grants/BeyondLinArith/
65 21/Mar/17 05:32/~lp15/MLbook/first/
65 0.29%21/Mar/17 00:10/~lp15/papers/Bella/accountability.pdf
65 0.11%21/Mar/17 05:34/~lp15/papers/Arith/Narayanan DATE.pdf
63 0.25%22/Mar/17 01:28/~lp15/papers/Reports/Bridge-ml.pdf
63 0.18%20/Mar/17 14:52/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
62 0.37%22/Mar/17 11:36/~lp15/papers/Arith/calculemus2008.pdf
62 0.01%21/Mar/17 05:24/~lp15/papers/recur.html
61 0.01%21/Mar/17 05:16/~lp15/MLbook/programs/sample3.sml
60 21/Mar/17 05:18/~lp15/papers/Workshop/
60 0.19%21/Mar/17 16:51/~lp15/papers/Reports/TPHOLs05.pdf
60 0.02%21/Mar/17 17:28/~lp15/Usage/images/
59 0.26%21/Mar/17 17:34/~lp15/papers/Automation/translations-jar.pdf
59 21/Mar/17 05:33/~lp15/papers/Bella/
59 0.14%22/Mar/17 06:51/~lp15/papers/Arith/Huang-3heuristics.pdf
58 0.02%21/Mar/17 16:10/~lp15/MLbook/exercises/exer3.html
58 0.16%20/Mar/17 06:55/~lp15/papers/Formath/AC.pdf
58 0.11%20/Mar/17 08:26/~lp15/papers/Auth/multicast_verification.pdf
58 0.10%20/Mar/17 17:01/~lp15/papers/Isabelle/chap700.pdf
58 0.24%22/Mar/17 13:07/~lp15/papers/Formath/reflection-slides.pdf
57 0.03%22/Mar/17 04:14/~lp15/images/pilkington.jpg
57 0.01%21/Mar/17 05:40/~lp15/MLbook/exercises/exer8.html
57 0.01%21/Mar/17 05:18/~lp15/MLbook/programs/sample5.sml
57 0.01%21/Mar/17 05:33/~lp15/Grants/UNITY/
55 22/Mar/17 04:52/~lp15/MLbook/programs/ROOT.sml
55 0.13%21/Mar/17 00:59/~lp15/papers/Automation/paar.pdf
54 21/Mar/17 05:36/~lp15/Templates/
53 22/Mar/17 11:36/~lp15/papers/UNITY/
53 1.27%22/Mar/17 07:00/~lp15/papers/Auth/lics-slides.pdf
53 21/Mar/17 05:42/~lp15/Data/
52 21/Mar/17 05:44/~lp15/tmp/
52 0.01%21/Mar/17 05:16/~lp15/MLbook/programs/sample8-2004.sml
52 0.12%19/Mar/17 14:33/~lp15/Pages/harrison-real.pdf
52 0.01%21/Mar/17 13:38/~lp15/Grants/holisa.html
52 0.15%20/Mar/17 10:18/~lp15/papers/Arith/Hscc09.pdf
51 0.03%20/Mar/17 12:23/~lp15/papers/Reviews/MLer.pdf
51 0.13%21/Mar/17 17:05/~lp15/papers/Automation/translations.pdf
51 21/Mar/17 11:13/~lp15/papers/Arith/qepcad-for-mac.html
51 0.02%22/Mar/17 03:29/~lp15/Sue/Sue Paulson.jpg
51 0.13%20/Mar/17 11:36/~lp15/papers/Bella/registration.pdf
50 21/Mar/17 05:34/~lp15/papers/Reviews/
49 0.01%21/Mar/17 05:15/~lp15/MLbook/programs/sample4.sml
48 0.11%19/Mar/17 14:25/~lp15/papers/Bella/nonrepudiation.pdf
48 0.05%21/Mar/17 04:12/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
48 0.06%20/Mar/17 19:11/~lp15/papers/Auth/yahalom.pdf
47 0.10%21/Mar/17 23:11/~lp15/papers/Isabelle/aisc98.pdf
47 0.08%21/Mar/17 13:49/~lp15/papers/Arith/pdpar2006.pdf
46 0.01%21/Mar/17 21:58/~lp15/MLbook/exercises/exer4.html
46 0.08%21/Mar/17 02:51/~lp15/papers/UNITY/tphols01.pdf
46 21/Mar/17 05:46/~lp15/papers/Ballarin/
46 0.14%20/Mar/17 12:47/~lp15/papers/Bella/certified-email.pdf
46 0.40%21/Mar/17 17:30/~lp15/papers/Automation/info-and-comp.pdf
45 0.22%21/Mar/17 13:46/~lp15/papers/UNITY/composition.pdf
45 0.13%19/Mar/17 14:25/~lp15/papers/Automation/meng-termination.pdf
45 0.09%19/Mar/17 14:25/~lp15/papers/Arith/fmcad2009.pdf
45 0.15%20/Mar/17 15:14/~lp15/papers/Formath/reflection.pdf
44 0.11%19/Mar/17 14:25/~lp15/papers/Automation/jar-smt.pdf
44 0.12%21/Mar/17 23:52/~lp15/papers/Isabelle/coding.pdf
44 0.01%21/Mar/17 05:48/~lp15/MLbook/exercises/exer7.html
44 0.09%21/Mar/17 17:03/~lp15/papers/Bella/purchase.pdf
44 0.01%22/Mar/17 00:20/~lp15/Pages/Scream.html
43 0.09%20/Mar/17 12:50/~lp15/papers/Bella/cav98.pdf
43 0.07%19/Mar/17 14:25/~lp15/papers/Reports/CADE11.pdf
42 0.08%21/Mar/17 15:34/~lp15/papers/Workshop/papers/kalvala-linear.pdf
42 21/Mar/17 13:41/~lp15/Pages/projects.html
42 0.05%20/Mar/17 17:01/~lp15/papers/Reports/CADE9.pdf
41 0.05%19/Mar/17 14:33/~lp15/papers/Workshop/friedrich.pdf
40 0.09%22/Mar/17 00:14/~lp15/papers/UNITY/ehmety-composition.pdf
40 22/Mar/17 05:57/~lp15/papers/Deduction/
40 0.01%21/Mar/17 05:43/~lp15/MLbook/exercises/exer5.html
40 0.10%21/Mar/17 05:02/~lp15/papers/Arith/lpar2007.pdf
40 0.30%21/Mar/17 14:18/~lp15/papers/Arith/MetiTarski-jar.pdf
40 21/Mar/17 05:46/~lp15/papers/Arith/atan-problem-1-weak.html
40 0.10%21/Mar/17 12:58/~lp15/papers/Isabelle/blast.pdf
40 0.07%20/Mar/17 15:40/~lp15/papers/Auth/ijcar2001.pdf
40 0.06%19/Mar/17 14:25/~lp15/papers/Automation/thf-sledge.pdf
39 0.01%21/Mar/17 11:45/~lp15/MLbook/programs/sample9.sml
39 0.05%20/Mar/17 18:13/~lp15/Sue/Cultures of Dance.ppt
39 0.01%21/Mar/17 05:30/~lp15/MLbook/exercises/exer6.html
39 0.02%21/Mar/17 15:34/~lp15/papers/Reviews/construct.pdf
39 0.01%21/Mar/17 05:44/~lp15/Pages/ACS-proposals.html
39 0.09%19/Mar/17 14:25/~lp15/Grants/AutoPolyFun/case.pdf
38 0.14%21/Mar/17 23:57/~lp15/papers/Auth/SET-overview-IJIS.pdf
38 0.32%21/Mar/17 00:24/~lp15/papers/Bella/purchase-JAR.pdf
37 21/Mar/17 05:37/~lp15/Data/ho-translations/
37 22/Mar/17 04:52/~lp15/MLbook/disclaimer.html
37 0.19%19/Mar/17 14:33/~lp15/papers/Workshop/papers/rasmussen.pdf
37 0.12%20/Mar/17 09:22/~lp15/papers/UNITY/Mechanizing-compositional.pdf
36 0.05%22/Mar/17 11:39/~lp15/papers/Auth/auth-slides.pdf
36 0.01%21/Mar/17 05:16/~lp15/MLbook/programs/sample10.sml
35 0.01%21/Mar/17 05:17/~lp15/MLbook/programs/sample7.sml
35 0.01%22/Mar/17 12:05/~lp15/MLbook/programs/sample8.sml
35 0.20%21/Mar/17 16:56/~lp15/papers/Automation/filtering-jal.pdf
35 0.08%19/Mar/17 14:25/~lp15/papers/Automation/IJCAR2004.pdf
35 0.09%19/Mar/17 14:25/~lp15/papers/Formath/milner-ind-defs.pdf
35 21/Mar/17 05:37/~lp15/Data/relevance/
34 0.46%21/Mar/17 16:49/~lp15/papers/Automation/reconstruction-slides.pdf
34 0.08%21/Mar/17 23:42/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
34 0.09%21/Mar/17 16:56/~lp15/papers/Automation/cade2011-sledge-smt.pdf
33 0.09%19/Mar/17 11:40/~lp15/papers/Reports/blast.pdf
33 0.07%21/Mar/17 08:33/~lp15/papers/Automation/leo2-ijcar.pdf
33 0.13%22/Mar/17 11:24/~lp15/papers/Notes/MOD-slides.pdf
32 0.07%22/Mar/17 04:17/~lp15/papers/Workshop/papers/thompson.pdf
31 21/Mar/17 05:40/~lp15/MLbook/first/programs/
31 0.99%20/Mar/17 16:52/~lp15/Sue/Phd-Poster.pdf
31 0.21%19/Mar/17 14:25/~lp15/papers/Reports/intro-to-isabelle.pdf
31 0.06%19/Mar/17 14:25/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
30 0.06%21/Mar/17 10:13/~lp15/papers/Formath/final.pdf
30 0.38%21/Mar/17 20:38/~lp15/Grants/Automation/poster.pdf
30 0.15%20/Mar/17 12:48/~lp15/papers/Formath/constructible-slides.pdf
30 0.06%20/Mar/17 15:51/~lp15/papers/Arith/ITP-2012-invited.pdf
29 22/Mar/17 04:52/~lp15/MLbook/programs/notes.html
29 0.05%22/Mar/17 12:03/~lp15/papers/Reports/Descent of BAN.pdf
29 0.06%20/Mar/17 17:00/~lp15/papers/Arith/case-splitting.pdf
29 0.06%20/Mar/17 12:50/~lp15/papers/Bella/dimacs97.pdf
29 0.16%21/Mar/17 17:12/~lp15/papers/Automation/reconstruction.pdf
29 0.23%21/Mar/17 03:53/~lp15/papers/Auth/SET-overview-slides.pdf
29 1.81%19/Mar/17 14:25/~lp15/papers/Arith/FroCos-presentation.pdf
28 0.01%21/Mar/17 05:16/~lp15/MLbook/programs/test10.sml
28 0.36%21/Mar/17 23:10/~lp15/papers/Reports/TypeClasses.pdf
28 0.03%21/Mar/17 03:15/~lp15/Grants/LEO-II/leo2-case.pdf
28 0.06%19/Mar/17 14:33/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
28 0.13%19/Mar/17 14:33/~lp15/papers/UNITY/UNITY.pdf
28 0.09%20/Mar/17 14:40/~lp15/papers/Bella/esorics2000.pdf
28 0.34%19/Mar/17 14:25/~lp15/papers/Reports/ref97.pdf
28 0.01%21/Mar/17 05:16/~lp15/MLbook/programs/sample3-old.sml
28 0.13%21/Mar/17 19:27/~lp15/papers/Formath/set-II.pdf
27 0.04%19/Mar/17 14:25/~lp15/papers/Arith/FroCoS-2013-invited.pdf
27 0.02%21/Mar/17 04:25/~lp15/papers/Arith/NFM2014-invited.pdf
27 0.04%20/Mar/17 15:41/~lp15/papers/Auth/security-protocols.pdf
27 0.04%20/Mar/17 13:34/~lp15/papers/Auth/recur-slides.pdf
26 21/Mar/17 05:42/~lp15/Grants/auth.html
26 0.20%20/Mar/17 15:50/~lp15/papers/Formath/Future of formalised maths.pdf
26 0.16%20/Mar/17 13:24/~lp15/papers/Auth/tls-slides.pdf
26 0.04%22/Mar/17 11:24/~lp15/papers/Notes/leeds-notes.pdf
26 0.07%22/Mar/17 11:24/~lp15/papers/Notes/strategy.pdf
26 0.08%21/Mar/17 17:50/~lp15/papers/Arith/SNC2014-invited.pdf
26 1.33%22/Mar/17 11:24/~lp15/papers/Notes/LCF+.pdf
25 21/Mar/17 05:34/~lp15/papers/Workshop/matthews.html
25 0.01%20/Mar/17 13:18/~lp15/papers/Formath/AC-slides.pdf
25 19/Mar/17 14:33/~lp15/MLbook/first/programs/Lambda.ML
25 0.16%20/Mar/17 15:02/~lp15/papers/Reports/logics97.pdf
25 21/Mar/17 05:41/~lp15/Sue/Cultures of Dance.html
25 0.72%19/Mar/17 14:25/~lp15/Sue/Thesis-Appendices.pdf
24 0.30%20/Mar/17 02:52/~lp15/papers/Reports/popl82.pdf
24 0.02%22/Mar/17 11:24/~lp15/papers/Notes/strategy-slides.pdf
24 0.24%19/Mar/17 18:06/~lp15/papers/Deduction/lecture1.pdf
24 0.02%20/Mar/17 10:56/~lp15/Grants/Automation/case.pdf
24 0.08%21/Mar/17 00:57/~lp15/papers/Formath/Goedel-logic-mine.pdf
24 0.19%20/Mar/17 17:18/~lp15/papers/Deduction/lecture3.pdf
24 21/Mar/17 16:10/~lp15/MLbook/exercises/disclaimer.html
23 21/Mar/17 05:35/~lp15/papers/Workshop/staples.html
23 0.01%20/Mar/17 05:25/~lp15/MLbook/first/ML-syntax.ps.gz
23 0.02%21/Mar/17 05:20/~lp15/papers/paulson.bib
23 0.12%19/Mar/17 17:40/~lp15/papers/Reports/fleuriot-kepler.pdf
23 0.04%19/Mar/17 14:25/~lp15/papers/Formath/constructible-abstract.pdf
23 22/Mar/17 02:25/~lp15/papers/Workshop/agerholm.html
23 0.27%20/Mar/17 08:07/~lp15/papers/Auth/dagstuhl2003-slides.pdf
22 0.07%19/Mar/17 19:01/~lp15/papers/Workshop/papers/nipkow.pdf
22 0.35%21/Mar/17 05:02/~lp15/papers/Arith/metit-slides.pdf
22 19/Mar/17 14:33/~lp15/MLbook/first/programs/Functions.ML
22 0.10%19/Mar/17 14:25/~lp15/papers/Arith/cicm2012.pdf
21 21/Mar/17 05:33/~lp15/papers/Workshop/kalvala.html
21 0.10%21/Mar/17 06:29/~lp15/papers/Auth/SET-document.pdf
21 0.27%20/Mar/17 06:50/~lp15/papers/Reports/TypeClasses-slides.pdf
21 21/Mar/17 05:46/~lp15/papers/Workshop/thompson.html
21 1.17%22/Mar/17 02:44/~lp15/papers/Arith/ITP 2012 presentation.pdf
21 21/Mar/17 05:41/~lp15/papers/OLD.SETS/
21 21/Mar/17 05:41/~lp15/papers/Workshop/programme.html
20 0.01%20/Mar/17 12:47/~lp15/papers/Formath/ind-defs-slides.pdf
20 0.52%21/Mar/17 22:29/~lp15/Grants/BeyondLinArith/arith-poster.pdf
20 0.03%22/Mar/17 05:36/~lp15/Grants/Automation/final.pdf
20 21/Mar/17 05:31/~lp15/papers/Workshop/paulson.html
20 0.24%21/Mar/17 02:39/~lp15/papers/Isabelle/Cube-presentation.pdf
20 0.02%19/Mar/17 14:33/~lp15/papers/Workshop/kammueller.pdf
20 21/Mar/17 05:43/~lp15/Grants/Chaieb.html
20 0.20%22/Mar/17 05:26/~lp15/papers/Arith/NFM2014-slides.pdf
20 21/Mar/17 05:34/~lp15/papers/Workshop/participants.html
20 0.21%20/Mar/17 12:48/~lp15/papers/Bella/TPHOLs03-slides.pdf
19 20/Mar/17 03:36/~lp15/MLbook/first/programs/ParsePrint.ML
19 0.05%22/Mar/17 06:28/~lp15/papers/Workshop/papers/voelker.pdf
19 0.29%22/Mar/17 11:24/~lp15/papers/Notes/formalizing-abst-slides.pdf
19 0.07%19/Mar/17 14:25/~lp15/papers/Isabelle/sylow.pdf
19 20/Mar/17 05:35/~lp15/MLbook/first/ERRATA1.txt
19 0.55%20/Mar/17 15:48/~lp15/papers/Arith/SNC2014-slides.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.03%19/Mar/17 14:33/~lp15/papers/Workshop/papers/ayari.pdf
18 0.01%19/Mar/17 21:43/~lp15/Grants/SET/case.pdf
18 0.15%19/Mar/17 14:25/~lp15/Grants/BeyondLinArith/arith-case.pdf
18 0.06%20/Mar/17 14:26/~lp15/papers/Workshop/papers/vigano.pdf
18 0.30%20/Mar/17 15:11/~lp15/papers/Auth/ijcar2001-slides.pdf
18 20/Mar/17 17:20/~lp15/MLbook/first/programs/Imperative.ML
18 21/Mar/17 05:38/~lp15/papers/Workshop/wolff.html
17 21/Mar/17 05:40/~lp15/papers/Workshop/nipkow.html
17 0.05%21/Mar/17 05:26/~lp15/papers/Arith/case-splitting-stats.csv
17 22/Mar/17 13:58/~lp15/MLbook/programs/sample8-old.sml
17 0.02%19/Mar/17 14:25/~lp15/papers/Arith/Overcoming.pdf
17 0.01%21/Mar/17 05:16/~lp15/MLbook/programs/sample10-old.sml
17 21/Mar/17 05:15/~lp15/MLbook/programs/sample9-2004.sml
17 0.05%21/Mar/17 10:47/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17 0.05%22/Mar/17 02:06/~lp15/papers/Workshop/papers/agerholm.pdf
17 0.08%19/Mar/17 14:33/~lp15/papers/Workshop/papers/kammueller.pdf
16 21/Mar/17 05:33/~lp15/papers/Workshop/heule.html
16 19/Mar/17 14:33/~lp15/MLbook/first/programs/Lists-Trees.ML
16 0.04%19/Mar/17 14:33/~lp15/papers/Workshop/papers/matthews.pdf
16 0.03%19/Mar/17 14:33/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
16 19/Mar/17 14:33/~lp15/MLbook/first/programs/Modules.ML
16 0.83%21/Mar/17 01:10/~lp15/papers/Formath/Goedel-slides.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 21/Mar/17 05:38/~lp15/papers/Workshop/futures.html
15 0.01%20/Mar/17 17:40/~lp15/Sue/Cultures of Dance.pdf
15 0.17%20/Mar/17 13:51/~lp15/papers/Formath/constructible-theory.pdf
15 0.25%21/Mar/17 19:59/~lp15/papers/Auth/dagstuhl2001-slides.pdf
15 0.04%21/Mar/17 06:54/~lp15/papers/Automation/10.1007_s10817-015-9348-y.pdf
15 0.02%19/Mar/17 14:33/~lp15/papers/Workshop/vigano.pdf
15 0.05%14/Mar/17 15:26/~lp15/papers/Reports/lamport-paulson-types.pdf
14 0.03%21/Mar/17 20:29/~lp15/papers/Workshop/papers/benini.pdf
14 0.03%20/Mar/17 14:23/~lp15/papers/Isabelle/Goedel-logic.pdf
14 0.01%19/Mar/17 14:25/~lp15/papers/Isabelle/blast-slides.pdf
14 0.09%19/Mar/17 14:25/~lp15/papers/Automation/Huet colloquium.pdf
14 0.10%19/Mar/17 14:33/~lp15/papers/Deduction/lecture2.pdf
13 20/Mar/17 09:37/~lp15/papers/Workshop/bednarczyk.txt
13 0.49%19/Mar/17 14:25/~lp15/Grants/LEO-II/leo project poster.pdf
13 0.06%19/Mar/17 14:33/~lp15/papers/Workshop/papers/bednarczyk.pdf
13 0.50%22/Mar/17 04:59/~lp15/papers/Arith/Overcoming-slides.pdf
13 19/Mar/17 14:25/~lp15/papers/Arith/RELEASE-NOTES.txt
13 0.11%21/Mar/17 20:47/~lp15/papers/Deduction/lecture4.pdf
12 0.08%21/Mar/17 23:38/~lp15/images/pilkington-full.jpg
12 22/Mar/17 01:34/~lp15/Grants/BeyondLinArith/auth-final.pdf
12 0.02%19/Mar/17 14:33/~lp15/papers/Workshop/papers/staples.pdf
12 18/Mar/17 10:42/~lp15/Grants/UNITY/final.pdf
12 2.43%19/Mar/17 14:33/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
12 0.10%19/Mar/17 14:28/~lp15/papers/Automation/h4qed-clean.pdf
11 19/Mar/17 14:33/~lp15/MLbook/first/ERRATA3.txt
11 0.02%20/Mar/17 07:56/~lp15/Grants/Chaieb-case.pdf
11 19/Mar/17 14:33/~lp15/papers/Workshop/owens.txt
11 20/Mar/17 17:19/~lp15/Grants/SET/final.pdf
11 0.01%18/Mar/17 12:04/~lp15/Grants/UNITY/case.pdf
11 0.03%19/Mar/17 14:33/~lp15/papers/Ballarin/coding.pdf
10 0.02%19/Mar/17 14:33/~lp15/papers/Workshop/papers/owens.pdf
10 3.15%19/Mar/17 14:25/~lp15/archive/Isabelle2009-1.tar.gz
10 19/Mar/17 14:33/~lp15/Data/relevance/unfiltered-vampire.txt
10 19/Mar/17 14:33/~lp15/MLbook/first/programs/Hal.ML
10 19/Mar/17 14:33/~lp15/MLbook/first/ERRATA2.txt
10 0.07%21/Mar/17 18:22/~lp15/Pages/4colproof.pdf
9 19/Mar/17 14:33/~lp15/MLbook/first/programs/edits.txt
9 0.04%19/Mar/17 14:25/~lp15/papers/Arith/Huang-precondition.pdf
9 0.04%19/Mar/17 14:33/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 19/Mar/17 14:33/~lp15/Data/relevance/unfiltered-spass.txt
9 0.02%19/Mar/17 14:33/~lp15/papers/Ballarin/aisc98.pdf
8 0.01%19/Mar/17 14:33/~lp15/papers/Workshop/front.pdf
8 0.52%19/Mar/17 14:33/~lp15/Data/ho-translations/Comb.tbz
8 21/Mar/17 13:51/~lp15/Templates/publications.dwt
8 16/Mar/17 16:25/~lp15/images/larry-paulson.jpg
8 20/Mar/17 19:44/~lp15/archive/ERRATA.txt
8 0.02%19/Mar/17 14:33/~lp15/papers/OLD.SETS/AC.pdf
7 2.52%19/Mar/17 14:25/~lp15/archive/Isabelle2009-2.tar.gz
7 19/Mar/17 14:33/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 0.02%19/Mar/17 14:33/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
7 0.02%19/Mar/17 14:33/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
7 0.02%19/Mar/17 14:25/~lp15/archive/isabelle-users.98.gz
7 0.32%19/Mar/17 14:33/~lp15/papers/Isabelle/Goedel-slides.pdf
7 0.63%11/Mar/17 03:43/~lp15/papers/Arith/metit.tgz
7 19/Mar/17 14:33/~lp15/Data/ho-translations/Theories.tbz
7 0.04%19/Mar/17 14:25/~lp15/archive/isabelle-users.03.gz
7 19/Mar/17 14:33/~lp15/MLbook/first/ML-syntax.dvi.gz
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 0.04%19/Mar/17 14:25/~lp15/archive/isabelle-users.04.gz
7 19/Mar/17 14:33/~lp15/Data/relevance/unfiltered-E.txt
7 0.01%19/Mar/17 14:33/~lp15/papers/Workshop/ayari.pdf
34521.71%22/Mar/17 06:34[not listed: 88 files]