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

Program started at Wed-18-Jan-2017 15:26.
Analysed requests from Wed-05-Nov-2014 15:02 to Wed-18-Jan-2017 15:05 (805.00 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 18-Jan-2017 15:26.

Successful requests: 22,501 (3,310)
Average successful requests per day: 27 (472)
Successful requests for pages: 8,027 (1,153)
Average successful requests for pages per day: 9 (164)
Failed requests: 1,179 (312)
Redirected requests: 129 (26)
Distinct files requested: 529 (382)
Distinct hosts served: 4,537 (872)
Corrupt logfile lines: 3
Unwanted logfile entries: 16,805
Data transferred: 5.93 gigabytes (555.09 megabytes)
Average data transferred per day: 7.54 megabytes (79.30 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 
Sun2519872++++++++++++++++++++++
Mon46011690+++++++++++++++++++++++++++++++++++++++++++
Tue2877941++++++++++++++++++++++++
Wed35091392+++++++++++++++++++++++++++++++++++
Thu32641112++++++++++++++++++++++++++++
Fri2656920+++++++++++++++++++++++
Sat30751100++++++++++++++++++++++++++++

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
996456.51%.com (Commercial)
562618.97%[unresolved numerical addresses]
1831 7.63%.net (Networks)
1109 3.24%.de (Germany)
828 2.48%[domain not given]
281 1.21%[unknown domain]
240 1.03%.in (India)
228 0.83%.edu (USA Higher Education)
306 0.80%.uk (United Kingdom)
95 0.71%.ph (Philippines)
92 0.68%.fr (France)
121 0.46%.au (Australia)
274 0.43%.ru (Russia)
86 0.35%.br (Brazil)
49 0.28%.se (Sweden)
28 0.26%.th (Thailand)
54 0.21%.nl (Netherlands)
71 0.21%.pt (Portugal)
52 0.21%.ca (Canada)
24 0.21%.co (Colombia)
38 0.18%.zw (Zimbabwe)
22 0.18%.za (South Africa)
90 0.17%.jp (Japan)
38 0.16%.nz (New Zealand)
17 0.14%.pk (Pakistan)
84 0.13%.it (Italy)
31 0.13%.pl (Poland)
50 0.12%.org (Non Profit Making Organisations)
53 0.12%.cn (China)
7 0.11%.np (Nepal)
24 0.11%.ke (Kenya)
21 0.11%.my (Malaysia)
41 0.10%.sg (Singapore)
51 0.10%.id (Indonesia)
35 0.10%.at (Austria)
27 0.08%.fi (Finland)
23 0.08%.vn (Vietnam)
34 0.07%.gr (Greece)
4 0.07%.ng (Nigeria)
16 0.07%.tr (Turkey)
27 0.05%.arpa (Arpanet)
31 0.05%.dk (Denmark)
7 0.05%.hr (Croatia)
4 0.05%.ly (Libya)
16 0.04%.bg (Bulgaria)
16 0.04%.mx (Mexico)
34 0.04%.ch (Switzerland)
24 0.04%.es (Spain)
37 0.04%.hk (Hong Kong)
4 0.04%.ie (Ireland)
23 0.04%.cz (Czech Republic)
13 0.03%.tw (Taiwan)
20 0.03%.hu (Hungary)
4 0.03%.ps (Occupied Palestinian Territory)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
13 0.03%.ro (Romania)
12 0.03%.na (Namibia)
7 0.02%.be (Belgium)
17 0.02%.ar (Argentina)
4 0.02%.uy (Uruguay)
8 0.02%.us (United States)
2 0.02%.is (Iceland)
5 0.02%.il (Israel)
1 0.01%.jo (Jordan)
1 0.01%.si (Slovenia)
23 0.01%.ua (Ukraine)
9 0.01%.no (Norway)
2 0.01%.pe (Peru)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
2 0.01%.ug (Uganda)
4 .gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
1 .tz (Tanzania)
3 .lv (Latvia)
3 .ir (Iran)
1 .kz (Kazakhstan)
4 .lb (Lebanon)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
3 .bn (Brunei Darussalam)
3 .cl (Chile)
1 .do (Dominican Republic)

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
382019.51%amazonaws.com
1432 5.38%baidu.com
1401 6.52%msn.com
828 2.48%[domain not given]
76114.12%bluechipbacklinks.com
641 2.30%your-server.de
617 2.21%yandex.com
478 0.96%23
356 1.92%199.16
352 2.32%comcastbusiness.net
316 0.43%114
312 0.19%sogou.com
281 1.21%[unknown domain]
262 0.77%virginm.net
210 0.90%41
194 4.72%telia.com
183 0.44%btcentralplus.com
170 0.16%mail.ru
155 0.03%4
153 0.33%14
957933.10%[not listed: 1,311 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
79pdf
77software
72engineering
47notes
36residue
34equivalence
31theorem
26cauchy
24proof
24for
20of
17prove
16in
16diploma
14classes
14and
13set
13class
12r
11students
10is
10computer
10state
9download
7hindi
7functions
6if
6theorm
6pearl
6theory
287[not listed: 136 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
173293288OS unknown
277012226Windows
 45721159  Unknown Windows
 2629872  Windows NT
 467168  Windows XP
 1212  Windows Server 2003
 107  Windows 2000
 76  Windows 95
 42  Windows 98
32403969Known robots
42672837Macintosh
52351685Unix
 2311673  Linux
 238  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
18715200 OK
3161206 Partial content
129301 Document moved permanently
625304 Not modified since last retrieval
45403 Access forbidden
1134404 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- 1kB539 
1kB- 10kB5879 0.39%
10kB-100kB7054 4.67%
100kB- 1MB760643.85%
1MB- 10MB67027.90%
10MB-100MB5423.19%

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
1171168.43%.pdf [Adobe Portable Document Format]
25822.05%.gz [Gzip compressed files]
14621.86%  .tar.gz [Compressed archives]
52 6.26%.tbz
1220 1.20%.jpg [JPEG graphics]
7 0.60%.tgz
5519 0.59%[directories]
2508 0.35%.html [Hypertext Markup Language]
2 0.23%.zip [Zip archives]
874 0.13%.sml
350 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
171611.74%18/Jan/17 14:34/~lp15/papers/Notes/SE-I.pdf
1149 0.15%18/Jan/17 13:47/~lp15/
728 0.03%18/Jan/17 13:50/~lp15/MLbook/
585 0.66%18/Jan/17 14:39/~lp15/images/larry-home-small.jpg
571 4.63%17/Jan/17 23:42/~lp15/papers/Reports/equivclasses-slides.pdf
512 0.42%18/Jan/17 13:47/~lp15/images/acm-logo.jpg
414 0.95%18/Jan/17 11:38/~lp15/papers/Notes/Founds-FP.pdf
394 4.15%18/Jan/17 09:45/~lp15/papers/Reports/thesis.pdf
393 7.53%17/Jan/17 21:47/~lp15/Sue/Thesis.pdf
328 0.01%18/Jan/17 08:00/~lp15/MLbook/programs/
303 1.03%18/Jan/17 09:47/~lp15/papers/Reports/equivclasses.pdf
295 1.11%18/Jan/17 14:33/~lp15/papers/Formath/Residue-theorem.pdf
288 0.04%18/Jan/17 13:59/~lp15/papers/Arith/
264 0.73%18/Jan/17 13:57/~lp15/papers/Formath/automata.pdf
241 0.01%18/Jan/17 14:05/~lp15/MLbook/programs/sample2.sml
235 1.33%18/Jan/17 13:08/~lp15/papers/Formath/Goedel-ar.pdf
216 0.03%18/Jan/17 01:38/~lp15/Sue/
215 1.73%18/Jan/17 13:51/~lp15/papers/Isabelle/Goedel-ar.pdf
205 0.13%18/Jan/17 01:37/~lp15/papers/refereed.html
203 0.01%18/Jan/17 07:42/~lp15/MLbook/exercises/
155 0.02%18/Jan/17 07:44/~lp15/Grants/AutoPolyFun/
152 0.14%17/Jan/17 11:57/~lp15/papers/Reports/mutil.pdf
149 0.72%18/Jan/17 08:20/~lp15/papers/Auth/jcs.pdf
149 0.02%18/Jan/17 13:12/~lp15/papers/Automation/
139 0.03%18/Jan/17 08:59/~lp15/Grants/SET/
129 18/Jan/17 01:37/~lp15/MLbook/pub-details.html
126 0.02%18/Jan/17 13:09/~lp15/papers/Formath/
125 0.02%18/Jan/17 07:44/~lp15/papers/Auth/
124 0.01%18/Jan/17 01:37/~lp15/papers/lecture-courses.html
122 0.47%17/Jan/17 20:49/~lp15/papers/Isabelle/fleuriot-kepler.pdf
112 0.01%18/Jan/17 01:37/~lp15/Pages/cv.html
107 0.01%18/Jan/17 11:56/~lp15/papers/Reports/
105 0.01%18/Jan/17 01:38/~lp15/MLbook/ERRATA.html
104 0.01%18/Jan/17 14:52/~lp15/Grants/
98 0.01%18/Jan/17 07:45/~lp15/Grants/LEO-II/
98 0.39%16/Jan/17 01:42/~lp15/papers/Formath/set-I.pdf
94 0.08%18/Jan/17 01:38/~lp15/Usage/
94 0.01%18/Jan/17 14:45/~lp15/archive/
93 0.01%18/Jan/17 07:43/~lp15/MLbook/exercises/exer2.html
90 0.14%17/Jan/17 03:40/~lp15/papers/Formath/Goedel-logic.pdf
90 18/Jan/17 13:33/~lp15/MLbook/general.html
90 0.13%16/Jan/17 21:05/~lp15/papers/Auth/lics.pdf
88 0.14%18/Jan/17 05:03/~lp15/Pages/vita.pdf
88 0.12%16/Jan/17 18:10/~lp15/papers/Auth/SET-overview-2002.pdf
88 0.01%18/Jan/17 10:29/~lp15/images/
87 0.21%17/Jan/17 21:22/~lp15/papers/Auth/tls.pdf
84 0.01%18/Jan/17 01:37/~lp15/papers/workshop.html
83 0.01%18/Jan/17 01:38/~lp15/papers/hol.html
83 0.01%18/Jan/17 07:45/~lp15/Grants/Automation/
82 0.24%17/Jan/17 08:29/~lp15/papers/Formath/Greens-theorem.pdf
82 0.01%18/Jan/17 07:45/~lp15/papers/Isabelle/
82 0.31%18/Jan/17 04:33/~lp15/papers/Bella/accountability.pdf
82 0.41%17/Jan/17 22:52/~lp15/papers/Arith/Sogokon-nfm14.pdf
80 0.01%18/Jan/17 01:37/~lp15/papers/invited.html
79 0.35%16/Jan/17 10:32/~lp15/papers/Bella/smartcards-jcs.pdf
78 0.01%18/Jan/17 13:21/~lp15/MLbook/review.html
78 0.01%18/Jan/17 07:45/~lp15/papers/
77 0.27%16/Jan/17 10:56/~lp15/papers/Automation/filtering.pdf
77 0.26%16/Jan/17 13:19/~lp15/papers/Automation/sultana-pfreconstruction.pdf
77 0.22%17/Jan/17 07:36/~lp15/papers/Reports/TPHOLs05.pdf
77 0.58%17/Jan/17 05:08/~lp15/Pages/Munich-slides.pdf
76 0.01%18/Jan/17 01:37/~lp15/papers/books.html
75 18/Jan/17 07:45/~lp15/Grants/BeyondLinArith/
73 0.01%18/Jan/17 07:42/~lp15/MLbook/programs/sample3.sml
73 1.22%13/Jan/17 17:34/~lp15/papers/Auth/lics-slides.pdf
72 0.14%18/Jan/17 14:43/~lp15/papers/Bella/purchase.pdf
71 18/Jan/17 13:59/~lp15/papers/Arith/download.html
71 0.14%16/Jan/17 10:51/~lp15/papers/Auth/multicast_verification.pdf
71 0.01%18/Jan/17 07:46/~lp15/papers/Workshop/
70 18/Jan/17 10:08/~lp15/MLbook/programs/ROOT.sml
68 18/Jan/17 12:11/~lp15/Pages/CL-English.html
68 18/Jan/17 07:42/~lp15/MLbook/first/
67 0.26%15/Jan/17 03:03/~lp15/papers/Reports/Bridge-ml.pdf
67 0.18%17/Jan/17 21:44/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
67 0.11%14/Jan/17 14:57/~lp15/papers/Arith/Narayanan DATE.pdf
66 0.17%15/Jan/17 00:07/~lp15/papers/Formath/AC.pdf
66 0.01%18/Jan/17 14:23/~lp15/MLbook/programs/sample8-2004.sml
66 0.01%18/Jan/17 01:38/~lp15/papers/recur.html
65 0.15%17/Jan/17 03:17/~lp15/papers/Bella/esorics98.pdf
64 0.02%18/Jan/17 14:13/~lp15/MLbook/exercises/exer8.html
64 0.01%18/Jan/17 07:42/~lp15/MLbook/programs/sample5.sml
64 0.15%18/Jan/17 04:36/~lp15/papers/Bella/registration.pdf
63  3/Oct/16 20:46/~lp15/MLbook/StandardML.plist
63 18/Jan/17 07:46/~lp15/css/
62 0.02%18/Jan/17 07:43/~lp15/MLbook/exercises/exer3.html
62 18/Jan/17 07:46/~lp15/SpryAssets/
62 0.06%18/Jan/17 13:10/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
61 18/Jan/17 07:46/~lp15/papers/Notes/
61 0.14%18/Jan/17 06:40/~lp15/papers/Arith/Huang-3heuristics.pdf
61 0.32%18/Jan/17 06:20/~lp15/papers/Arith/calculemus2008.pdf
61 0.16%17/Jan/17 15:55/~lp15/papers/Arith/Hscc09.pdf
60 0.13%15/Jan/17 15:15/~lp15/papers/Bella/nonrepudiation.pdf
59 0.13%18/Jan/17 09:21/~lp15/papers/Automation/paar.pdf
58 18/Jan/17 07:46/~lp15/Pages/
58 0.03%17/Jan/17 09:59/~lp15/Sue/Sue Paulson.jpg
58 0.01%18/Jan/17 07:42/~lp15/MLbook/programs/sample4.sml
57 18/Jan/17 07:46/~lp15/papers/Arith/qepcad-for-mac.html
57 0.15%17/Jan/17 07:45/~lp15/papers/Automation/meng-termination.pdf
56 0.09%17/Jan/17 19:56/~lp15/papers/Isabelle/chap700.pdf
56 0.22%18/Jan/17 14:17/~lp15/papers/Formath/reflection-slides.pdf
55 0.22%17/Jan/17 04:38/~lp15/papers/Automation/translations-jar.pdf
55 18/Jan/17 07:46/~lp15/papers/UNITY/
54 0.16%17/Jan/17 19:20/~lp15/papers/Bella/certified-email.pdf
53 0.08%18/Jan/17 02:16/~lp15/papers/Arith/pdpar2006.pdf
52 0.24%16/Jan/17 18:39/~lp15/papers/UNITY/composition.pdf
52 0.01%18/Jan/17 07:46/~lp15/Grants/UNITY/
51 0.08%18/Jan/17 11:42/~lp15/papers/UNITY/tphols01.pdf
51 0.10%18/Jan/17 05:12/~lp15/papers/Arith/fmcad2009.pdf
50 18/Jan/17 07:46/~lp15/papers/Bella/
50 0.11%15/Jan/17 20:49/~lp15/Pages/harrison-real.pdf
50 18/Jan/17 07:46/~lp15/Templates/
50 18/Jan/17 07:46/~lp15/Data/
49 0.12%18/Jan/17 08:20/~lp15/papers/Automation/translations.pdf
49 0.16%13/Jan/17 02:09/~lp15/papers/Formath/reflection.pdf
48 18/Jan/17 07:46/~lp15/tmp/
48 0.02%16/Jan/17 14:24/~lp15/images/pilkington.jpg
48 0.10%13/Jan/17 02:08/~lp15/papers/Isabelle/aisc98.pdf
48 0.02%18/Jan/17 07:46/~lp15/Usage/images/
48 0.12%15/Jan/17 08:10/~lp15/papers/Isabelle/blast.pdf
47 0.02%17/Jan/17 22:31/~lp15/papers/Reviews/MLer.pdf
47 0.01%18/Jan/17 07:44/~lp15/MLbook/exercises/exer7.html
47 0.10%17/Jan/17 22:14/~lp15/Grants/AutoPolyFun/case.pdf
46 18/Jan/17 07:46/~lp15/Data/ho-translations/
46 18/Jan/17 08:51/~lp15/MLbook/disclaimer.html
46 0.09%17/Jan/17 19:17/~lp15/papers/Bella/cav98.pdf
46 0.01%18/Jan/17 07:41/~lp15/Grants/holisa.html
46 0.10%17/Jan/17 16:01/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
45 0.01%18/Jan/17 07:44/~lp15/MLbook/exercises/exer4.html
45 0.01%18/Jan/17 07:43/~lp15/MLbook/programs/sample10.sml
45 0.36%17/Jan/17 19:20/~lp15/papers/Automation/info-and-comp.pdf
44 18/Jan/17 07:46/~lp15/papers/Reviews/
44 18/Jan/17 07:47/~lp15/papers/Deduction/
44 0.01%18/Jan/17 03:51/~lp15/Pages/ACS-proposals.html
44 0.04%18/Jan/17 14:24/~lp15/papers/Reports/CADE9.pdf
44 0.08%18/Jan/17 04:27/~lp15/papers/Auth/ijcar2001.pdf
43 0.09%15/Jan/17 19:31/~lp15/papers/UNITY/ehmety-composition.pdf
43 0.01%18/Jan/17 07:43/~lp15/MLbook/programs/sample9.sml
43 0.13%17/Jan/17 18:28/~lp15/papers/UNITY/Mechanizing-compositional.pdf
42 0.01%18/Jan/17 07:42/~lp15/MLbook/programs/sample8.sml
42 18/Jan/17 07:47/~lp15/papers/Ballarin/
42 0.06%15/Jan/17 15:23/~lp15/papers/Reports/CADE11.pdf
42 0.05%17/Jan/17 05:53/~lp15/papers/Auth/yahalom.pdf
42 0.06%15/Jan/17 22:18/~lp15/papers/Automation/thf-sledge.pdf
41 0.01%18/Jan/17 07:44/~lp15/MLbook/exercises/exer5.html
41 0.10%17/Jan/17 15:20/~lp15/papers/Arith/lpar2007.pdf
41 0.01%18/Jan/17 07:44/~lp15/MLbook/exercises/exer6.html
41 0.25%18/Jan/17 12:36/~lp15/papers/Arith/MetiTarski-jar.pdf
41 18/Jan/17 03:34/~lp15/Pages/projects.html
41 18/Jan/17 07:47/~lp15/Data/relevance/
40 18/Jan/17 07:42/~lp15/MLbook/programs/notes.html
40 0.08%17/Jan/17 01:26/~lp15/papers/Formath/final.pdf
40 0.01%18/Jan/17 07:42/~lp15/MLbook/programs/sample7.sml
40 0.33%13/Jan/17 02:09/~lp15/papers/Bella/purchase-JAR.pdf
40 0.09%16/Jan/17 15:22/~lp15/papers/Automation/jar-smt.pdf
40 18/Jan/17 07:44/~lp15/papers/Arith/atan-problem-1-weak.html
40 0.11%18/Jan/17 13:04/~lp15/papers/Formath/milner-ind-defs.pdf
40 0.07%15/Jan/17 21:37/~lp15/papers/Arith/ITP-2012-invited.pdf
39 0.14%16/Jan/17 12:48/~lp15/papers/Auth/SET-overview-IJIS.pdf
39 0.10%13/Jan/17 02:09/~lp15/papers/Isabelle/coding.pdf
38 0.10%17/Jan/17 23:27/~lp15/papers/Reports/blast.pdf
38 0.05%15/Jan/17 20:23/~lp15/papers/Auth/auth-slides.pdf
38 0.08%17/Jan/17 15:41/~lp15/papers/Arith/case-splitting.pdf
38 0.25%16/Jan/17 06:19/~lp15/papers/Reports/intro-to-isabelle.pdf
38 0.07%15/Jan/17 16:44/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
38 0.05% 7/Jan/17 10:14/~lp15/papers/Workshop/friedrich.pdf
38 0.11%17/Jan/17 08:25/~lp15/papers/Bella/esorics2000.pdf
38 0.09%17/Jan/17 17:42/~lp15/papers/Automation/cade2011-sledge-smt.pdf
37 0.08%13/Jan/17 02:09/~lp15/papers/Automation/IJCAR2004.pdf
37 0.06%16/Jan/17 11:39/~lp15/papers/Workshop/papers/kalvala-linear.pdf
36 0.14%15/Jan/17 22:32/~lp15/papers/Notes/MOD-slides.pdf
36 0.46%13/Jan/17 02:09/~lp15/papers/Automation/reconstruction-slides.pdf
36 0.11%16/Jan/17 21:44/~lp15/papers/Arith/SNC2014-invited.pdf
36 18/Jan/17 07:47/~lp15/Pages/Scream.html
35 0.44%15/Jan/17 22:36/~lp15/Grants/Automation/poster.pdf
35 0.22%17/Jan/17 16:49/~lp15/papers/Reports/logics97.pdf
35 0.16%16/Jan/17 12:31/~lp15/papers/Formath/constructible-slides.pdf
34 18/Jan/17 07:47/~lp15/MLbook/first/programs/
34 0.18%17/Jan/17 19:21/~lp15/papers/Automation/filtering-jal.pdf
34 0.07%18/Jan/17 10:28/~lp15/papers/Bella/dimacs97.pdf
34 0.17%17/Jan/17 09:44/~lp15/papers/Automation/reconstruction.pdf
34 0.04%16/Jan/17 13:51/~lp15/Sue/Cultures of Dance.ppt
33 0.06%18/Jan/17 10:41/~lp15/papers/Automation/leo2-ijcar.pdf
33 0.04%13/Jan/17 02:09/~lp15/papers/Auth/security-protocols.pdf
33 1.94%13/Jan/17 02:10/~lp15/papers/Arith/FroCos-presentation.pdf
32 0.04%17/Jan/17 09:27/~lp15/papers/Arith/FroCoS-2013-invited.pdf
32 0.01%18/Jan/17 07:43/~lp15/MLbook/programs/test10.sml
32 0.06%17/Jan/17 19:16/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
32 0.10%16/Jan/17 00:35/~lp15/papers/Formath/Goedel-logic-mine.pdf
32 0.02%18/Jan/17 10:40/~lp15/papers/Arith/NFM2014-invited.pdf
32 0.36%13/Jan/17 02:07/~lp15/papers/Reports/ref97.pdf
32 18/Jan/17 07:43/~lp15/MLbook/exercises/disclaimer.html
31 0.14%13/Jan/17 02:08/~lp15/papers/Formath/set-II.pdf
30 18/Jan/17 07:41/~lp15/Grants/auth.html
30 0.01%18/Jan/17 01:53/~lp15/papers/Formath/ind-defs-slides.pdf
30 0.03%17/Jan/17 07:30/~lp15/Grants/LEO-II/leo2-case.pdf
30 0.01%13/Jan/17 02:08/~lp15/papers/Formath/AC-slides.pdf
30 0.89%13/Jan/17 02:08/~lp15/Sue/Phd-Poster.pdf
30 0.07%17/Jan/17 18:58/~lp15/papers/Notes/strategy.pdf
30 0.02%17/Jan/17 20:52/~lp15/papers/Reviews/construct.pdf
30 0.13%16/Jan/17 09:10/~lp15/papers/UNITY/UNITY.pdf
30 0.23%16/Jan/17 11:41/~lp15/papers/Auth/SET-overview-slides.pdf
29 0.36%17/Jan/17 14:18/~lp15/papers/Reports/TypeClasses.pdf
29 0.17%16/Jan/17 11:25/~lp15/papers/Auth/tls-slides.pdf
29 0.42%16/Jan/17 06:23/~lp15/papers/Arith/metit-slides.pdf
29 1.31%16/Jan/17 16:59/~lp15/papers/Notes/LCF+.pdf
28 0.05%13/Jan/17 02:07/~lp15/papers/Reports/Descent of BAN.pdf
28 0.14%14/Jan/17 19:52/~lp15/papers/Workshop/papers/rasmussen.pdf
28 0.64%14/Jan/17 14:47/~lp15/papers/Arith/SNC2014-slides.pdf
28 0.12%17/Jan/17 03:15/~lp15/papers/Arith/cicm2012.pdf
28 18/Jan/17 07:42/~lp15/MLbook/programs/sample3-old.sml
27 0.04%16/Jan/17 09:17/~lp15/papers/Notes/leeds-notes.pdf
27 0.04%13/Jan/17 02:09/~lp15/papers/Formath/constructible-abstract.pdf
27 0.03%13/Jan/17 02:08/~lp15/papers/Auth/recur-slides.pdf
27 0.75%17/Jan/17 13:36/~lp15/Sue/Thesis-Appendices.pdf
26 18/Jan/17 07:47/~lp15/papers/Workshop/matthews.html
26 0.05%11/Jan/17 07:56/~lp15/papers/Workshop/papers/thompson.pdf
26 18/Jan/17 07:41/~lp15/Grants/temporal.html
25 18/Jan/17 07:47/~lp15/Grants/arith.html
25 0.18%14/Jan/17 05:39/~lp15/papers/Formath/Future of formalised maths.pdf
25 0.12%16/Jan/17 08:40/~lp15/papers/Reports/fleuriot-kepler.pdf
25 0.01%18/Jan/17 07:43/~lp15/MLbook/programs/sample9-2004.sml
24 0.02%18/Jan/17 07:41/~lp15/papers/paulson.bib
24 0.12%13/Jan/17 02:10/~lp15/papers/Auth/SET-document.pdf
24 0.01%18/Jan/17 07:43/~lp15/MLbook/programs/sample10-old.sml
24 1.16%18/Jan/17 13:08/~lp15/papers/Formath/Goedel-slides.pdf
23 0.07%18/Jan/17 07:41/~lp15/papers/Arith/case-splitting-stats.csv
23 0.02%13/Jan/17 02:08/~lp15/papers/Notes/strategy-slides.pdf
23 18/Jan/17 07:43/~lp15/MLbook/programs/sample8-old.sml
23 0.02%15/Jan/17 16:32/~lp15/Grants/Automation/case.pdf
23 0.07%13/Jan/17 02:09/~lp15/papers/Isabelle/sylow.pdf
22 0.23%18/Jan/17 04:06/~lp15/papers/Reports/popl82.pdf
22 18/Jan/17 07:47/~lp15/papers/Workshop/staples.html
22 0.19%13/Jan/17 02:07/~lp15/Grants/BeyondLinArith/arith-case.pdf
22 1.19%14/Jan/17 01:34/~lp15/papers/Arith/ITP 2012 presentation.pdf
22 18/Jan/17 07:48/~lp15/papers/OLD.SETS/
22 0.24%13/Jan/17 02:10/~lp15/papers/Auth/dagstuhl2003-slides.pdf
22 18/Jan/17 07:47/~lp15/papers/Workshop/participants.html
22 18/Jan/17 07:44/~lp15/Sue/Cultures of Dance.html
22 18/Jan/17 07:48/~lp15/papers/Workshop/programme.html
21 0.50%13/Jan/17 02:07/~lp15/Grants/BeyondLinArith/arith-poster.pdf
21 0.03%18/Jan/17 02:46/~lp15/Grants/Automation/final.pdf
21  7/Jan/17 13:16/~lp15/MLbook/first/programs/Lambda.ML
21 0.26%13/Jan/17 02:09/~lp15/papers/Reports/TypeClasses-slides.pdf
21 0.25%13/Jan/17 02:08/~lp15/papers/Isabelle/Cube-presentation.pdf
21 0.05%17/Jan/17 06:09/~lp15/papers/Workshop/papers/matthews.pdf
21  7/Jan/17 09:36/~lp15/MLbook/first/programs/Functions.ML
21 18/Jan/17 07:41/~lp15/Grants/Chaieb.html
21 0.06%17/Jan/17 23:27/~lp15/papers/Reports/lamport-paulson-types.pdf
20 0.01%15/Jan/17 10:54/~lp15/MLbook/first/ML-syntax.ps.gz
20 18/Jan/17 07:48/~lp15/papers/Workshop/paulson.html
20 0.02%18/Jan/17 15:05/~lp15/papers/Workshop/kammueller.pdf
20 0.19%13/Jan/17 02:09/~lp15/papers/Arith/NFM2014-slides.pdf
20 0.32%13/Jan/17 02:09/~lp15/papers/Auth/ijcar2001-slides.pdf
20 0.21%13/Jan/17 02:09/~lp15/papers/Bella/TPHOLs03-slides.pdf
19 18/Jan/17 07:48/~lp15/papers/Workshop/nipkow.html
19 18/Jan/17 07:48/~lp15/papers/Workshop/kalvala.html
19 0.03%15/Jan/17 13:39/~lp15/papers/Workshop/papers/ayari.pdf
19 0.30%13/Jan/17 02:10/~lp15/papers/Auth/dagstuhl2001-slides.pdf
19 0.06%11/Jan/17 08:56/~lp15/papers/Workshop/papers/nipkow.pdf
19 0.12%15/Jan/17 16:56/~lp15/papers/Automation/Huet colloquium.pdf
19 18/Jan/17 10:12/~lp15/papers/Workshop/thompson.html
19 0.03%17/Jan/17 04:09/~lp15/papers/Workshop/vigano.pdf
18 0.20%13/Jan/17 02:09/~lp15/papers/Formath/constructible-theory.pdf
18 0.01%13/Jan/17 02:09/~lp15/papers/Isabelle/blast-slides.pdf
18 0.02%18/Jan/17 10:40/~lp15/papers/Arith/Overcoming.pdf
18 0.24%13/Jan/17 02:09/~lp15/papers/Notes/formalizing-abst-slides.pdf
18 18/Jan/17 07:47/~lp15/papers/Workshop/agerholm.html
18 0.05%13/Jan/17 02:09/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 18/Jan/17 09:48/~lp15/papers/Workshop/futures.html
17 0.08%16/Jan/17 15:19/~lp15/papers/Workshop/papers/kammueller.pdf
16 0.15%16/Jan/17 01:15/~lp15/papers/Deduction/lecture1.pdf
16 0.04%18/Jan/17 08:42/~lp15/papers/Workshop/papers/voelker.pdf
16 16/Jan/17 19:14/~lp15/papers/Arith/RELEASE-NOTES.txt
16 18/Jan/17 07:48/~lp15/papers/Workshop/wolff.html
15 0.01%13/Jan/17 02:08/~lp15/Sue/Cultures of Dance.pdf
15 0.01%13/Jan/17 03:05/~lp15/Grants/SET/case.pdf
15 0.03%16/Jan/17 00:35/~lp15/papers/Isabelle/Goedel-logic.pdf
15 0.10%16/Jan/17 06:59/~lp15/papers/Deduction/lecture2.pdf
15 0.06%16/Jan/17 14:20/~lp15/papers/Workshop/papers/bednarczyk.pdf
15 0.03%13/Jan/17 01:40/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
15  4/Jan/17 08:03/~lp15/MLbook/first/programs/Modules.ML
15 13/Jan/17 03:06/~lp15/MLbook/first/ERRATA1.txt
15 0.04%16/Jan/17 07:50/~lp15/papers/Workshop/papers/agerholm.pdf
14 15/Jan/17 17:38/~lp15/MLbook/first/programs/Imperative.ML
13 18/Jan/17 07:48/~lp15/papers/Workshop/heule.html
13 0.04%18/Jan/17 15:03/~lp15/papers/Workshop/papers/vigano.pdf
13 0.47%13/Jan/17 02:09/~lp15/papers/Arith/Overcoming-slides.pdf
13 0.07%18/Jan/17 10:19/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
13 0.11% 3/Oct/16 09:14/~lp15/papers/Deduction/lecture3.pdf
12 30/Sep/16 09:21/~lp15/MLbook/first/programs/ParsePrint.ML
12 0.02%17/Jan/17 23:44/~lp15/papers/Workshop/papers/staples.pdf
12 0.02%15/Jan/17 20:44/~lp15/Grants/Chaieb-case.pdf
12 18/Jan/17 06:06/~lp15/papers/Workshop/bednarczyk.txt
12 0.02%16/Jan/17 17:33/~lp15/papers/Workshop/papers/benini.pdf
12 0.42%13/Jan/17 02:08/~lp15/Grants/LEO-II/leo project poster.pdf
12 16/Jan/17 23:59/~lp15/Grants/SET/final.pdf
12 0.01%16/Jan/17 16:59/~lp15/Grants/UNITY/case.pdf
12 0.03%18/Jan/17 08:49/~lp15/papers/Ballarin/aisc98.pdf
11 13/Jan/17 03:06/~lp15/MLbook/first/ERRATA3.txt
11  3/Oct/16 19:45/~lp15/MLbook/first/programs/Lists-Trees.ML
11 2.31%18/Jan/17 08:05/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 0.02%15/Jan/17 16:27/~lp15/papers/Workshop/papers/owens.pdf
11 0.03%17/Jan/17 16:01/~lp15/papers/Ballarin/coding.pdf
10 0.06% 4/Jan/17 12:41/~lp15/images/pilkington-full.jpg
10 13/Jan/17 03:05/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 17/Jan/17 12:28/~lp15/MLbook/first/ML-syntax.dvi.gz
10 2.98%13/Jan/17 03:05/~lp15/archive/Isabelle2009-1.tar.gz
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.08%15/Jan/17 12:46/~lp15/papers/Deduction/lecture4.pdf
9 0.07%14/Jan/17 10:28/~lp15/Grants/arith-case.pdf
9 13/Jan/17 03:06/~lp15/MLbook/first/ERRATA2.txt
8 15/Jan/17 10:54/~lp15/MLbook/first/answers8.txt.gz
8 0.03%16/Jan/17 00:35/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
8 15/Jan/17 10:54/~lp15/MLbook/first/answers1-5.txt.gz
8 0.04%27/Sep/16 02:52/~lp15/Data/relevance/tptp-2007-03-13.tbz
8 30/Sep/16 17:54/~lp15/MLbook/first/programs/Hal.ML
7 2.38%13/Jan/17 03:05/~lp15/archive/Isabelle2009-2.tar.gz
7 0.51%17/Jan/17 21:03/~lp15/Data/ho-translations/Comb.tbz
7 0.02% 6/Jan/17 02:09/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
7 0.07%15/Jan/17 13:39/~lp15/papers/Automation/10.1007_s10817-015-9348-y.pdf
7 18/Jan/17 03:50/~lp15/papers/Workshop/owens.txt
7 14/Jan/17 04:29/~lp15/images/larry-paulson.jpg
7  8/Jan/17 20:24/~lp15/Grants/auth-final.pdf
7 0.60%10/Jan/17 08:13/~lp15/papers/Arith/metit.tgz
7 1.87%18/Jan/17 06:06/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 0.03%13/Jan/17 02:09/~lp15/papers/Arith/Huang-precondition.pdf
7 0.03%12/Jan/17 02:36/~lp15/papers/Arith/Narayanan TR.pdf
7 0.51%13/Jan/17 03:05/~lp15/archive/Isabelle2003.tar.gz
7 16/Jan/17 12:55/~lp15/Data/relevance/unfiltered-vampire.txt
7 0.07%12/Jan/17 20:12/~lp15/papers/Automation/h4qed-clean.pdf
32918.59%18/Jan/17 08:38[not listed: 88 files]