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

Program started at Mon-25-Sep-2017 14:13.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-25-Sep-2017 14:06 (1054.96 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 25-Sep-2017 14:13.

Successful requests: 89,871 (7,307)
Average successful requests per day: 85 (1,043)
Successful requests for pages: 49,421 (3,942)
Average successful requests for pages per day: 46 (563)
Failed requests: 2,211 (95)
Redirected requests: 185 (38)
Distinct files requested: 652 (449)
Distinct hosts served: 25,394 (2,285)
Corrupt logfile lines: 4
Unwanted logfile entries: 79,812
Data transferred: 11.25 gigabytes (886.96 megabytes)
Average data transferred per day: 10.92 megabytes (126.71 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 800 requests for pages or part thereof.

dayreqspages 
Sun36761496++
Mon56872328+++
Tue106325364+++++++
Wed4767727914+++++++++++++++++++++++++++++++++++
Thu100685569+++++++
Fri68063809+++++
Sat53252941++++

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
2722935.23%.com (Commercial)
2018921.50%[unresolved numerical addresses]
1332112.87%.net (Networks)
7563 6.58%[domain not given]
3372 3.33%.de (Germany)
1624 2.46%[unknown domain]
1679 1.68%.in (India)
798 1.56%.fr (France)
876 1.32%.se (Sweden)
979 1.08%.au (Australia)
945 0.88%.uk (United Kingdom)
751 0.88%.edu (USA Higher Education)
1065 0.82%.jp (Japan)
703 0.64%.ru (Russia)
611 0.64%.ca (Canada)
486 0.52%.br (Brazil)
522 0.48%.nl (Netherlands)
524 0.41%.pl (Poland)
398 0.40%.org (Non Profit Making Organisations)
542 0.39%.it (Italy)
240 0.35%.ch (Switzerland)
298 0.31%.at (Austria)
256 0.29%.pt (Portugal)
232 0.25%.nz (New Zealand)
54 0.24%.ph (Philippines)
244 0.23%.fi (Finland)
117 0.19%.th (Thailand)
247 0.18%.hu (Hungary)
94 0.18%.co (Colombia)
130 0.18%.hr (Croatia)
173 0.18%.sg (Singapore)
109 0.17%.za (South Africa)
191 0.16%.ro (Romania)
104 0.16%.id (Indonesia)
155 0.16%.ar (Argentina)
207 0.16%.dk (Denmark)
179 0.15%.mx (Mexico)
115 0.15%.cn (China)
195 0.13%.cz (Czech Republic)
150 0.13%.gr (Greece)
132 0.13%.tr (Turkey)
157 0.12%.es (Spain)
94 0.12%.il (Israel)
115 0.12%.ua (Ukraine)
135 0.11%.no (Norway)
66 0.11%.my (Malaysia)
34 0.10%.pk (Pakistan)
85 0.10%.vn (Vietnam)
102 0.10%.lt (Lithuania)
35 0.09%.ke (Kenya)
37 0.09%.zw (Zimbabwe)
53 0.08%.uy (Uruguay)
90 0.08%.arpa (Arpanet)
77 0.08%.tw (Taiwan)
105 0.07%.be (Belgium)
21 0.06%.np (Nepal)
42 0.05%.eg (Egypt)
47 0.05%.am (Armenia)
45 0.05%.sk (Slovakia)
52 0.05%.gov (USA Government)
42 0.04%.bg (Bulgaria)
70 0.04%.hk (Hong Kong)
21 0.04%.si (Slovenia)
30 0.04%.by (Belarus)
24 0.04%.is (Iceland)
4 0.04%.ng (Nigeria)
21 0.03%.ec (Ecuador)
39 0.03%.ie (Ireland)
15 0.03%.kz (Kazakhstan)
21 0.03%.lu (Luxembourg)
47 0.03%.ee (Estonia)
33 0.03%.io (British Indian Ocean Territory)
4 0.02%.ye (Yemen)
2 0.02%.lk (Sri Lanka)
12 0.01%.na (Namibia)
7 0.01%.int (International Treaty Organisations)
25 0.01%.biz (Businesses)
15 0.01%.mil (USA Military)
23 0.01%.cl (Chile)
10 0.01%.gt (Guatemala)
18 0.01%.info (Informational)
3 0.01%.ly (Libya)
19 0.01%.cy (Cyprus)
9 0.01%.md (Moldova)
6 0.01%.mk (Macedonia (Former Yugoslav Republic))
10 0.01%.do (Dominican Republic)
5 0.01%.fo (Faroe Islands)
3 0.01%.aero (Air Transport Industry)
7 0.01%.ir (Iran)
3 .et (Ethiopia)
7 .su (Former USSR)
15 .us (United States)
9 .lv (Latvia)
2 .ug (Uganda)
15 .ae (United Arab Emirates)
4 .gh (Ghana)
1 .as (American Samoa)
4 .to (Tonga)
2 .kh (Cambodia)
4 .py (Paraguay)
1 .sa (Saudi Arabia)
3 .ge (Georgia)
2 .al (Albania)
2 .hn (Honduras)
4 .lb (Lebanon)
1 .mu (Mauritius)
5 .im (Isle of Man)
5 .sh (Saint Helena)
4 .pw (Palau)
4 .li (Liechtenstein)
3 .st (Saint Tome and Principe)
3 .ml (Mali)
3 .ba (Bosnia-Herzegovina)
3 .kg (Kyrgyzstan)
3 .ni (Nicaragua)
2 .ws (Samoa)
2 .tt (Trinidad and Tobago)
2 .jo (Jordan)
2 .cr (Costa Rica)
2 .cc (Cocos (Keeling) Islands)
2 .bo (Bolivia)
3 .bn (Brunei Darussalam)
1 .ao (Angola)
1 .cf (Central African Republic)
1 .bt (Bhutan)
1 .re (Reunion)
1 .nu (Niue)
1 .pe (Peru)
1 .ai (Anguilla)
1 .cx (Christmas Island)

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
12336 9.53%amazonaws.com
7563 6.58%[domain not given]
2682 2.79%comcast.net
1694 3.84%msn.com
1626 2.46%[unknown domain]
1395 2.78%baidu.com
1148 1.01%rr.com
1119 0.79%verizon.net
1021 1.15%your-server.de
933 0.73%sbcglobal.net
796 7.45%bluechipbacklinks.com
673 0.58%t-ipconnect.de
656 0.62%virginm.net
637 1.64%106
550 0.16%googleusercontent.com
529 0.23%46
527 1.02%yandex.com
524 0.74%103
446 0.51%actcorp.in
387 0.53%google.com
5262954.86%[not listed: 4,833 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
75software
75pdf
70engineering
45notes
28equivalence
23for
16and
15in
15of
15prove
14classes
13set
13theorem
13diploma
12r
12proof
12computer
12class
10is
9residue
9state
9download
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
277[not listed: 137 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
12436113275Macintosh
22579813121Windows
 146898456  Unknown Windows
 102014203  Windows NT
 725370  Windows XP
 13244  Windows 98
 2522  Windows 2000
 2020  Windows Server 2003
 66  Windows 95
31560910477OS unknown
4185688918Unix
 177658524  Linux
 457297  BSD
 33688  Other Unix
 87  SunOS
 22  OSF1
533731768Known robots
627270OS/2
755RISC OS
855Symbian OS
911BeOS

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
79292200 OK
9773206 Partial content
185301 Document moved permanently
806304 Not modified since last retrieval
821400 Bad request
45403 Access forbidden
1342404 Document not found
3416 Requested range not valid

File Size Report

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

This report lists the sizes of files.

sizereqs%bytes
0698 
1B- 10B2 
11B- 100B0 
101B- 1kB1740 0.01%
1kB- 10kB46973 1.95%
10kB-100kB12086 4.42%
100kB- 1MB2762263.94%
1MB- 10MB68315.20%
10MB-100MB6714.48%

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
3673379.12%.pdf [Adobe Portable Document Format]
29512.27%.gz [Gzip compressed files]
11212.16%  .tar.gz [Compressed archives]
77 4.90%.tbz
39425 1.78%.html [Hypertext Markup Language]
1370 0.76%.jpg [JPEG graphics]
9996 0.49%[directories]
6 0.27%.tgz
3 0.18%.zip [Zip archives]
1338 0.12%.sml
628 0.10%[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
35645 1.51%25/Sep/17 14:06/~lp15/MLbook/pub-details.html
766 0.03%25/Sep/17 10:03  /~lp15/MLbook/pub-details.html?utm_source=hackernewsletter&utm_medium=email&utm_term=books
74 22/Sep/17 04:47  /~lp15/MLbook/pub-details.html?utm_source=dlvr.it&utm_medium=twitter
45 24/Sep/17 11:20  /~lp15/MLbook/pub-details.html?source=techstories.org
19 22/Sep/17 04:58  /~lp15/MLbook/pub-details.html?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed:+HackernewsTop3Feed+(HackerNews+Top+3+Feed)
12 22/Sep/17 05:00  /~lp15/MLbook/pub-details.html?utm_content=buffer24375&utm_medium=social&utm_source=twitter.com&utm_campaign=buffer
6352 8.91%25/Sep/17 13:46/~lp15/MLbook/PDF/chapter1.pdf
4704 5.00%25/Sep/17 14:01/~lp15/MLbook/PDF/contents.pdf
2523 0.16%25/Sep/17 13:03/~lp15/
2452 0.07%25/Sep/17 13:36/~lp15/MLbook/
2231 4.68%25/Sep/17 12:35/~lp15/MLbook/PDF/chapter2.pdf
1631 6.20%25/Sep/17 09:21/~lp15/papers/Notes/SE-I.pdf
1596 3.37%25/Sep/17 12:35/~lp15/MLbook/PDF/chapter4.pdf
1488 2.86%25/Sep/17 12:37/~lp15/MLbook/PDF/chapter9.pdf
1353 2.89%25/Sep/17 12:37/~lp15/MLbook/PDF/chapter8.pdf
1342 2.74%25/Sep/17 12:37/~lp15/MLbook/PDF/chapter5.pdf
1336 2.73%25/Sep/17 12:38/~lp15/MLbook/PDF/chapter10.pdf
1325 2.65%25/Sep/17 12:37/~lp15/MLbook/PDF/chapter6.pdf
1321 2.86%25/Sep/17 12:35/~lp15/MLbook/PDF/chapter3.pdf
1191 2.63%25/Sep/17 12:37/~lp15/MLbook/PDF/chapter7.pdf
814 0.95%25/Sep/17 12:38/~lp15/MLbook/PDF/projects-bib.pdf
803 0.48%25/Sep/17 13:53/~lp15/images/larry-home-small.jpg
494 0.01%25/Sep/17 12:40/~lp15/MLbook/programs/
484 2.20%25/Sep/17 14:06/~lp15/papers/Reports/equivclasses-slides.pdf
397 0.02%25/Sep/17 14:02/~lp15/MLbook/ERRATA.html
391 0.47%25/Sep/17 03:51/~lp15/papers/Notes/Founds-FP.pdf
387 0.77%25/Sep/17 12:22/~lp15/papers/Formath/Residue-theorem.pdf
374 3.73%25/Sep/17 12:38/~lp15/Sue/Thesis.pdf
371 0.16%22/Sep/17 01:24/~lp15/images/acm-logo.jpg
322 0.02%25/Sep/17 07:13/~lp15/papers/Arith/
303 0.08%25/Sep/17 12:16/~lp15/papers/refereed.html
294 25/Sep/17 12:32/~lp15/MLbook/exercises/
288 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample2.sml
281 0.53%25/Sep/17 13:02/~lp15/papers/Reports/equivclasses.pdf
275 0.02%25/Sep/17 06:13/~lp15/Sue/
234 0.01%25/Sep/17 12:32/~lp15/MLbook/general.html
230 1.71%23/Sep/17 10:37/~lp15/papers/Reports/thesis.pdf
223 0.69%24/Sep/17 19:25/~lp15/papers/Formath/Goedel-ar.pdf
220 0.02%25/Sep/17 07:15/~lp15/Grants/AutoPolyFun/
208 0.01%25/Sep/17 11:24/~lp15/MLbook/review.html
197 24/Sep/17 19:23/~lp15/MLbook/PDF/
16 24/Sep/17 19:23  /~lp15/MLbook/PDF/?C=S;O=A
15 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=M;O=A
15 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=N;O=D
15 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=D;O=A
14 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=N;O=A
14 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=M;O=D
14 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=S;O=D
14 24/Sep/17 18:02  /~lp15/MLbook/PDF/?C=D;O=D
195 0.65%24/Sep/17 13:19/~lp15/Pages/Munich-slides.pdf
178 0.02%25/Sep/17 13:05/~lp15/papers/Auth/
174 0.01%25/Sep/17 14:05/~lp15/papers/Automation/
173 0.01%25/Sep/17 11:03/~lp15/papers/Formath/
163 0.01%24/Sep/17 21:54/~lp15/MLbook/exercises/exer2.html
160 0.39%25/Sep/17 04:24/~lp15/papers/Auth/jcs.pdf
158 25/Sep/17 13:08/~lp15/Pages/cv.html
154 0.29%24/Sep/17 06:41/~lp15/papers/Isabelle/fleuriot-kepler.pdf
151 0.01%25/Sep/17 11:50/~lp15/papers/lecture-courses.html
142 25/Sep/17 11:32/~lp15/MLbook/first/
142 0.07%23/Sep/17 00:37/~lp15/papers/Reports/mutil.pdf
135 25/Sep/17 10:45/~lp15/Grants/
133 0.01%25/Sep/17 08:02/~lp15/Grants/SET/
131 0.01%25/Sep/17 09:26/~lp15/papers/Reports/
128 0.11%25/Sep/17 07:03/~lp15/papers/Formath/Goedel-logic.pdf
126 0.32%25/Sep/17 02:52/~lp15/papers/Reports/Bridge-ml.pdf
126 0.05%25/Sep/17 13:38/~lp15/Usage/
126 24/Sep/17 22:13/~lp15/MLbook/StandardML.plist
122 0.01%24/Sep/17 16:01/~lp15/archive/
118 0.01%25/Sep/17 00:39/~lp15/Grants/Automation/
115 23/Sep/17 21:55/~lp15/papers/books.html
111 23/Sep/17 07:06/~lp15/Grants/BeyondLinArith/
111 0.01%25/Sep/17 05:23/~lp15/papers/Isabelle/
110 0.02%25/Sep/17 12:28/~lp15/MLbook/exercises/exer3.html
110 25/Sep/17 12:38/~lp15/MLbook/programs/ROOT.sml
108 25/Sep/17 10:49/~lp15/images/
11 22/Sep/17 05:08  /~lp15/images/?C=D;O=A
10 22/Sep/17 05:12  /~lp15/images/?C=M;O=A
10 22/Sep/17 04:47  /~lp15/images/?C=N;O=D
108 0.01%25/Sep/17 06:05/~lp15/MLbook/exercises/exer8.html
108 0.23%23/Sep/17 00:37/~lp15/papers/Formath/set-I.pdf
107 0.01%24/Sep/17 17:19/~lp15/papers/workshop.html
104 25/Sep/17 13:41/~lp15/Pages/CL-English.html
102 0.01%24/Sep/17 19:51/~lp15/papers/invited.html
102 25/Sep/17 11:01/~lp15/papers/hol.html
101 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample3.sml
101 0.08%24/Sep/17 15:54/~lp15/papers/Auth/lics.pdf
99 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample5.sml
98 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample4.sml
97 0.07%24/Sep/17 10:27/~lp15/papers/Auth/SET-overview-2002.pdf
97 25/Sep/17 13:33/~lp15/papers/recur.html
95 25/Sep/17 04:12/~lp15/papers/
10 24/Sep/17 06:48  /~lp15/papers/?C=S;O=A
95 0.01%24/Sep/17 19:09/~lp15/Grants/LEO-II/
91 0.12%25/Sep/17 07:46/~lp15/papers/Auth/tls.pdf
88 0.15%25/Sep/17 04:57/~lp15/papers/Automation/filtering.pdf
86 0.07%21/Sep/17 00:43/~lp15/Pages/vita.pdf
85 0.01%23/Sep/17 17:56/~lp15/MLbook/programs/sample8-2004.sml
83 0.20%25/Sep/17 07:35/~lp15/papers/Bella/smartcards-jcs.pdf
82 0.23%25/Sep/17 02:46/~lp15/papers/Arith/Sogokon-nfm14.pdf
81 25/Sep/17 12:39/~lp15/MLbook/programs/notes.html
81 0.01%24/Sep/17 22:56/~lp15/MLbook/exercises/exer4.html
81 0.01%23/Sep/17 17:54/~lp15/MLbook/exercises/exer7.html
80 25/Sep/17 12:42/~lp15/papers/Notes/
80 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample10.sml
80 0.01%24/Sep/17 08:22/~lp15/MLbook/exercises/exer5.html
78 0.14%22/Sep/17 03:26/~lp15/papers/Automation/sultana-pfreconstruction.pdf
77 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample9.sml
77 24/Sep/17 19:01/~lp15/Grants/Alexandria/
77 0.02%25/Sep/17 06:13/~lp15/Sue/Sue Paulson.jpg
76 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample8.sml
76 0.10%23/Sep/17 12:40/~lp15/papers/Formath/AC.pdf
76 0.07%25/Sep/17 11:46/~lp15/papers/Arith/Narayanan DATE.pdf
75 23/Sep/17 14:36/~lp15/Pages/
75 25/Sep/17 09:48/~lp15/MLbook/disclaimer.html
75 22/Sep/17 04:37/~lp15/SpryAssets/
74 24/Sep/17 14:34/~lp15/papers/UNITY/
74 0.11%25/Sep/17 09:07/~lp15/papers/Formath/Greens-theorem.pdf
74 0.01%25/Sep/17 00:52/~lp15/MLbook/exercises/exer6.html
74 0.16%22/Sep/17 16:38/~lp15/papers/Bella/accountability.pdf
74 22/Sep/17 05:05/~lp15/css/
73 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/sample7.sml
73 22/Sep/17 12:59/~lp15/papers/Workshop/
73 0.11%24/Sep/17 11:15/~lp15/papers/Reports/TPHOLs05.pdf
72 0.09%25/Sep/17 04:57/~lp15/papers/Formath/automata.pdf
72 0.01%25/Sep/17 10:51/~lp15/Usage/images/
71 23/Sep/17 18:15/~lp15/papers/Arith/download.html
71 0.09%24/Sep/17 20:17/~lp15/papers/Bella/esorics98.pdf
71 0.02%24/Sep/17 19:23/~lp15/images/pilkington.jpg
68 23/Sep/17 16:33/~lp15/papers/Bella/
68 0.14%25/Sep/17 09:37/~lp15/papers/Formath/reflection-slides.pdf
68 25/Sep/17 04:12/~lp15/Templates/
10 22/Sep/17 05:07  /~lp15/Templates/?C=D;O=A
66 0.09%24/Sep/17 23:07/~lp15/papers/Automation/translations.pdf
65 25/Sep/17 13:52/~lp15/MLbook/first/programs/
65 0.07%25/Sep/17 08:40/~lp15/papers/Auth/multicast_verification.pdf
65 0.10%24/Sep/17 06:16/~lp15/papers/Isabelle/sylow.pdf
64 0.01%25/Sep/17 00:40/~lp15/Grants/UNITY/
63 0.09%25/Sep/17 02:10/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
63 23/Sep/17 17:50/~lp15/MLbook/exercises/disclaimer.html
63 0.09%25/Sep/17 11:14/~lp15/papers/Arith/Hscc09.pdf
62 0.14%24/Sep/17 23:53/~lp15/papers/Automation/translations-jar.pdf
62 0.07%21/Sep/17 03:10/~lp15/papers/Arith/Huang-3heuristics.pdf
62 0.23%25/Sep/17 06:11/~lp15/papers/Arith/MetiTarski-jar.pdf
62 0.18%25/Sep/17 05:47/~lp15/papers/Arith/calculemus2008.pdf
62 0.08%25/Sep/17 03:05/~lp15/papers/Bella/registration.pdf
62 0.10%25/Sep/17 07:46/~lp15/papers/Bella/certified-email.pdf
61 0.07%25/Sep/17 03:01/~lp15/papers/Bella/nonrepudiation.pdf
61 24/Sep/17 05:43/~lp15/Data/
59 0.01%25/Sep/17 12:39/~lp15/MLbook/programs/test10.sml
59 0.07%25/Sep/17 06:22/~lp15/papers/Automation/paar.pdf
58 22/Sep/17 04:52/~lp15/tmp/
58 24/Sep/17 03:15/~lp15/papers/Arith/qepcad-for-mac.html
57 0.03%22/Sep/17 02:53/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
56 0.05%23/Sep/17 01:40/~lp15/papers/Isabelle/chap700.pdf
56 0.14%25/Sep/17 09:19/~lp15/papers/UNITY/composition.pdf
56 0.07%25/Sep/17 12:57/~lp15/papers/Automation/jar-smt.pdf
55 0.06%23/Sep/17 09:57/~lp15/papers/Isabelle/aisc98.pdf
54 22/Sep/17 05:04/~lp15/papers/Reviews/
54 0.09%24/Sep/17 01:11/~lp15/papers/Formath/reflection.pdf
53 0.06%25/Sep/17 14:05/~lp15/papers/Bella/cav98.pdf
53 0.65%21/Sep/17 01:53/~lp15/papers/Auth/lics-slides.pdf
53 22/Sep/17 04:26/~lp15/Grants/holisa.html
53 0.23%25/Sep/17 11:46/~lp15/papers/Automation/info-and-comp.pdf
52 0.07%24/Sep/17 09:54/~lp15/papers/Isabelle/blast.pdf
52 0.12%25/Sep/17 04:08/~lp15/papers/Formath/set-II.pdf
51 22/Sep/17 23:24/~lp15/Data/ho-translations/
51 22/Sep/17 05:23/~lp15/papers/Ballarin/
51 0.08%21/Sep/17 03:36/~lp15/papers/Automation/meng-termination.pdf
51 0.03%23/Sep/17 15:42/~lp15/papers/Reports/CADE9.pdf
51 25/Sep/17 03:37/~lp15/Data/relevance/
50 0.06%22/Sep/17 19:13/~lp15/Pages/harrison-real.pdf
50 0.05%21/Sep/17 00:41/~lp15/papers/Arith/fmcad2009.pdf
50 0.06%22/Sep/17 23:43/~lp15/Grants/AutoPolyFun/case.pdf
50 23/Sep/17 17:49/~lp15/MLbook/programs/sample3-old.sml
49 0.04%23/Sep/17 10:35/~lp15/papers/Reports/CADE11.pdf
49 0.01%23/Sep/17 17:56/~lp15/MLbook/programs/sample9-2004.sml
49 25/Sep/17 07:06/~lp15/Pages/ACS-proposals.html
48 0.05%24/Sep/17 17:28/~lp15/papers/UNITY/ehmety-composition.pdf
48 0.04%24/Sep/17 14:55/~lp15/papers/Arith/pdpar2006.pdf
48 0.29%25/Sep/17 13:45/~lp15/papers/Reports/ref97.pdf
47 23/Sep/17 04:36/~lp15/papers/Deduction/
47 0.06%21/Sep/17 22:29/~lp15/papers/Arith/lpar2007.pdf
47 0.04%23/Sep/17 18:30/~lp15/papers/UNITY/tphols01.pdf
47 0.01%24/Sep/17 11:15/~lp15/MLbook/programs/sample10-old.sml
47 0.21%24/Sep/17 08:53/~lp15/papers/Bella/purchase-JAR.pdf
47 0.02%25/Sep/17 14:05/~lp15/papers/Reviews/construct.pdf
47 0.03%24/Sep/17 20:48/~lp15/papers/Workshop/friedrich.pdf
47 0.04%24/Sep/17 06:07/~lp15/papers/Automation/thf-sledge.pdf
46 23/Sep/17 17:55/~lp15/MLbook/programs/sample8-old.sml
46 0.01%25/Sep/17 13:25/~lp15/papers/Reviews/MLer.pdf
46 0.06%22/Sep/17 18:33/~lp15/papers/Automation/IJCAR2004.pdf
46 0.05%25/Sep/17 08:33/~lp15/papers/Bella/purchase.pdf
45 0.06%21/Sep/17 13:34/~lp15/papers/Isabelle/coding.pdf
45 0.06%24/Sep/17 20:49/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
44 0.03%19/Sep/17 19:59/~lp15/Sue/Cultures of Dance.ppt
44 25/Sep/17 05:37/~lp15/papers/Arith/atan-problem-1-weak.html
44 0.07%25/Sep/17 11:46/~lp15/papers/UNITY/Mechanizing-compositional.pdf
44 0.03%23/Sep/17 00:36/~lp15/papers/Auth/yahalom.pdf
43 23/Sep/17 21:41/~lp15/Pages/projects.html
42 0.01%24/Sep/17 23:50/~lp15/MLbook/first/ML-syntax.ps.gz
42 0.08%22/Sep/17 07:05/~lp15/papers/Auth/SET-overview-IJIS.pdf
42 0.06%24/Sep/17 11:24/~lp15/papers/Formath/milner-ind-defs.pdf
41 0.04%22/Sep/17 12:24/~lp15/papers/Formath/final.pdf
40 22/Sep/17 04:42/~lp15/MLbook/first/programs/Functions.ML
39 0.03%23/Sep/17 14:13/~lp15/papers/Auth/auth-slides.pdf
39 0.01%23/Sep/17 22:00/~lp15/papers/Formath/AC-slides.pdf
39 0.01%23/Sep/17 16:53/~lp15/papers/Arith/NFM2014-invited.pdf
39 0.06%24/Sep/17 02:56/~lp15/papers/Arith/SNC2014-invited.pdf
39 0.04%23/Sep/17 16:24/~lp15/papers/Auth/ijcar2001.pdf
38 0.07%24/Sep/17 18:24/~lp15/papers/Notes/MOD-slides.pdf
38 0.04%24/Sep/17 23:53/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
38 0.27%22/Sep/17 09:21/~lp15/papers/Automation/reconstruction-slides.pdf
38 0.06%24/Sep/17 03:33/~lp15/papers/Bella/esorics2000.pdf
37 0.05%19/Sep/17 10:34/~lp15/papers/Reports/blast.pdf
37 0.04%24/Sep/17 00:01/~lp15/papers/Bella/dimacs97.pdf
37 0.11%23/Sep/17 18:35/~lp15/papers/Automation/reconstruction.pdf
37 0.03%22/Sep/17 18:30/~lp15/papers/Auth/recur-slides.pdf
37 0.05%22/Sep/17 03:01/~lp15/papers/Automation/cade2011-sledge-smt.pdf
36 0.11%22/Sep/17 02:42/~lp15/papers/Automation/filtering-jal.pdf
36 22/Sep/17 04:43/~lp15/MLbook/first/programs/Lambda.ML
36 0.13%21/Sep/17 03:35/~lp15/papers/Reports/intro-to-isabelle.pdf
36 24/Sep/17 06:21/~lp15/Pages/Scream.html
36 1.22%21/Sep/17 01:56/~lp15/papers/Arith/FroCos-presentation.pdf
36 0.09%23/Sep/17 19:10/~lp15/papers/Formath/constructible-slides.pdf
36 0.04%23/Sep/17 07:18/~lp15/papers/Arith/ITP-2012-invited.pdf
35 25/Sep/17 12:33/~lp15/Grants/auth.html
35 0.01%23/Sep/17 10:30/~lp15/papers/paulson.bib
34 0.04%22/Sep/17 12:05/~lp15/papers/Arith/case-splitting.pdf
34 0.04%23/Sep/17 23:37/~lp15/papers/Automation/leo2-ijcar.pdf
34 0.08%22/Sep/17 17:31/~lp15/papers/UNITY/UNITY.pdf
34 0.10%21/Sep/17 09:56/~lp15/papers/Workshop/papers/rasmussen.pdf
34 0.02%24/Sep/17 18:20/~lp15/papers/Auth/security-protocols.pdf
33 0.03%22/Sep/17 01:05/~lp15/papers/Reports/Descent of BAN.pdf
33 0.03%24/Sep/17 12:24/~lp15/papers/Workshop/papers/kalvala-linear.pdf
33 0.07%24/Sep/17 15:22/~lp15/papers/Workshop/papers/kammueller.pdf
32 0.02%23/Sep/17 15:51/~lp15/papers/Arith/FroCoS-2013-invited.pdf
32 0.22%22/Sep/17 04:54/~lp15/papers/Reports/TypeClasses.pdf
32 0.54%21/Sep/17 03:36/~lp15/Sue/Phd-Poster.pdf
32 0.14%24/Sep/17 10:27/~lp15/papers/Auth/SET-overview-slides.pdf
31 0.10%21/Sep/17 01:56/~lp15/papers/Auth/tls-slides.pdf
31 22/Sep/17 06:32/~lp15/MLbook/first/programs/Modules.ML
31 0.05%24/Sep/17 16:35/~lp15/images/ERC-LOGO.jpg
31 0.81%24/Sep/17 05:04/~lp15/papers/Notes/LCF+.pdf
31 24/Sep/17 13:43/~lp15/papers/Workshop/programme.html
30 24/Sep/17 12:54/~lp15/papers/Workshop/matthews.html
30 0.03%15/Sep/17 21:27/~lp15/papers/Workshop/papers/thompson.pdf
30 0.01%25/Sep/17 00:03/~lp15/Grants/Automation/case.pdf
30 22/Sep/17 12:19/~lp15/Sue/Cultures of Dance.html
30 0.07%22/Sep/17 02:43/~lp15/papers/Arith/cicm2012.pdf
29 22/Sep/17 04:43/~lp15/MLbook/first/programs/ParsePrint.ML
29 25/Sep/17 10:05/~lp15/MLbook/first/programs/Lists-Trees.ML
29 0.02%24/Sep/17 03:50/~lp15/papers/Notes/leeds-notes.pdf
29 0.03%25/Sep/17 00:48/~lp15/papers/Notes/strategy.pdf
29 0.24%21/Sep/17 00:40/~lp15/papers/Arith/metit-slides.pdf
29 23/Sep/17 07:10/~lp15/Grants/Chaieb.html
29 24/Sep/17 14:55/~lp15/MLbook/first/programs/Imperative.ML
28 0.12%15/Sep/17 10:53/~lp15/papers/Formath/Future of formalised maths.pdf
28 0.21%21/Sep/17 00:43/~lp15/Grants/Automation/poster.pdf
28 0.02%19/Sep/17 08:40/~lp15/papers/Formath/constructible-abstract.pdf
28 0.09%21/Sep/17 17:19/~lp15/papers/Reports/logics97.pdf
28 25/Sep/17 03:35/~lp15/papers/OLD.SETS/
27 23/Sep/17 17:52/~lp15/MLbook/first/ERRATA3.txt
27 22/Sep/17 09:29/~lp15/papers/Formath/ind-defs-slides.pdf
27 0.01%16/Sep/17 23:16/~lp15/Grants/LEO-II/leo2-case.pdf
27 0.03%23/Sep/17 17:30/~lp15/papers/Workshop/papers/voelker.pdf
27 0.10%24/Sep/17 12:02/~lp15/Grants/Alexandria/DoA.pdf
27 0.84%22/Sep/17 16:34/~lp15/papers/Arith/ITP 2012 presentation.pdf
27 0.04%23/Sep/17 11:00/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
27 23/Sep/17 17:51/~lp15/MLbook/first/ERRATA1.txt
27 22/Sep/17 08:58/~lp15/papers/Workshop/participants.html
27 0.15%21/Sep/17 06:20/~lp15/papers/Bella/TPHOLs03-slides.pdf
193022.97%25/Sep/17 13:04[not listed: 191 files]