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

Program started at Thu-14-Jul-2016 16:25.
Analysed requests from Wed-05-Nov-2014 15:02 to Thu-14-Jul-2016 16:17 (617.05 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 14-Jul-2016 16:25.

Successful requests: 18,329 (5,971)
Average successful requests per day: 29 (852)
Successful requests for pages: 5,448 (1,115)
Average successful requests for pages per day: 8 (159)
Failed requests: 661 (143)
Redirected requests: 97 (21)
Distinct files requested: 517 (495)
Distinct hosts served: 3,971 (1,485)
Corrupt logfile lines: 1
Unwanted logfile entries: 12,135
Data transferred: 7.64 gigabytes (2.85 gigabytes)
Average data transferred per day: 12.68 megabytes (417.49 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 25 requests for pages or part thereof.

dayreqspages 
Sun1309370+++++++++++++++
Mon3615769+++++++++++++++++++++++++++++++
Tue39581021+++++++++++++++++++++++++++++++++++++++++
Wed2876883++++++++++++++++++++++++++++++++++++
Thu2207817+++++++++++++++++++++++++++++++++
Fri2251802+++++++++++++++++++++++++++++++++
Sat2113786++++++++++++++++++++++++++++++++

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
553941.19%[unresolved numerical addresses]
728630.96%.com (Commercial)
153911.93%.de (Germany)
1204 6.75%.net (Networks)
215 2.48%.uk (United Kingdom)
581 1.70%[domain not given]
276 0.96%.in (India)
97 0.50%.ws (Samoa)
263 0.38%.ru (Russia)
49 0.23%.ng (Nigeria)
143 0.18%.au (Australia)
17 0.17%.za (South Africa)
16 0.16%.ph (Philippines)
86 0.16%.jp (Japan)
60 0.15%.br (Brazil)
14 0.14%.co (Colombia)
54 0.12%.it (Italy)
21 0.11%.ch (Switzerland)
74 0.11%.edu (USA Higher Education)
13 0.09%.pt (Portugal)
64 0.09%[unknown domain]
13 0.08%.dk (Denmark)
42 0.08%.ca (Canada)
13 0.07%.vn (Vietnam)
14 0.07%.hk (Hong Kong)
64 0.07%.fr (France)
11 0.06%.zw (Zimbabwe)
21 0.06%.mx (Mexico)
60 0.06%.es (Spain)
42 0.06%.cn (China)
18 0.06%.nl (Netherlands)
9 0.06%.gh (Ghana)
17 0.04%.lk (Sri Lanka)
18 0.04%.na (Namibia)
28 0.04%.np (Nepal)
13 0.04%.tr (Turkey)
34 0.04%.gr (Greece)
6 0.03%.pk (Pakistan)
3 0.03%.ly (Libya)
31 0.03%.sg (Singapore)
9 0.03%.cz (Czech Republic)
15 0.03%.ro (Romania)
16 0.02%.cm (Cameroon)
3 0.02%.ci (Ivory Coast)
2 0.02%.kg (Kyrgyzstan)
15 0.02%.ke (Kenya)
2 0.02%.lv (Latvia)
16 0.02%.pl (Poland)
8 0.02%.se (Sweden)
8 0.02%.ua (Ukraine)
12 0.02%.bg (Bulgaria)
2 0.02%.mu (Mauritius)
21 0.01%.at (Austria)
4 0.01%.tv (Tuvalu)
3 0.01%.ug (Uganda)
1 0.01%.kr (South Korea)
10 0.01%.hu (Hungary)
9 0.01%.id (Indonesia)
16 0.01%.no (Norway)
2 0.01%.sk (Slovakia)
9 0.01%.ie (Ireland)
5 0.01%.fi (Finland)
2 0.01%.bo (Bolivia)
6 .ee (Estonia)
6 .io (British Indian Ocean Territory)
2 .mil (USA Military)
10 .il (Israel)
2 .th (Thailand)
2 .st (Saint Tome and Principe)
2 .be (Belgium)
1 .arpa (Arpanet)
3 .ps (Occupied Palestinian Territory)
3 .my (Malaysia)
1 .ar (Argentina)
8 .org (Non Profit Making Organisations)
4 .nz (New Zealand)
16 .ir (Iran)
3 .gov (USA Government)
1 .cl (Chile)
1 .lt (Lithuania)

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
2747 9.75%msn.com
1182 3.89%your-server.de
1046 3.21%amazonaws.com
1020 3.33%103
998 2.96%baidu.com
636 3.32%yandex.com
581 1.70%[domain not given]
384 7.70%125
334 3.83%ipvnow.com
333 6.64%172.106
295 1.06%117
236 0.29%mail.ru
217 0.88%199.16
173 1.31%opera-mini.net
166 0.65%41
152 0.03%sogou.com
126 0.53%twttr.com
123 0.39%google.com
116 0.18%virginm.net
116 3.59%quadranet.com
734844.77%[not listed: 956 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
176software
168pdf
158engineering
40notes
22of
20for
14in
14on
14diploma
13thesis
13physiotherapy
13disc
13phd
13prolapse
12equivalence
11courses
11class
9hindi
9inductive
9proof
9the
8to
7protocols
6precticals
6engneering
6theorem
6verifying
6ty
6computer
6cse
289[not listed: 144 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
181581653Windows
 66671277  Unknown Windows
 1091252  Windows NT
 387121  Windows XP
 82  Windows 2000
 41  Windows 98
 10  Windows ME
237981484OS unknown
324711130Known robots
41813637Macintosh
52029533Unix
 2014525  Linux
 127  BSD
 31  Other Unix

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
15120200 OK
2588206 Partial content
97301 Document moved permanently
621304 Not modified since last retrieval
107403 Access forbidden
554404 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
0780 
1B- 10B4 
11B- 100B1 
101B- 1kB370 
1kB- 10kB3414 0.18%
10kB-100kB5941 2.95%
100kB- 1MB722434.47%
1MB- 10MB47117.36%
10MB-100MB12445.03%

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
1092545.77%.pdf [Adobe Portable Document Format]
32437.04%.gz [Gzip compressed files]
21436.86%  .tar.gz [Compressed archives]
12415.53%.tbz
827 0.61%.jpg [JPEG graphics]
3862 0.37%[directories]
4 0.26%.tgz
1586 0.19%.html [Hypertext Markup Language]
677 0.21%[not listed: 9 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
227912.52%14/Jul/16 15:25/~lp15/papers/Notes/SE-I.pdf
920 2.10%13/Jul/16 17:31/~lp15/papers/Arith/Hscc09.pdf
801 0.33%14/Jul/16 08:43/~lp15/Grants/UNITY/case.pdf
787 0.10%14/Jul/16 16:02/~lp15/
711 4.69%14/Jul/16 11:41/~lp15/papers/Arith/MetiTarski-jar.pdf
455 0.01%14/Jul/16 15:27/~lp15/MLbook/
438 1.69%14/Jul/16 11:12/~lp15/papers/Formath/Residue-theorem.pdf
385 0.34%14/Jul/16 16:02/~lp15/images/larry-home-small.jpg
355 0.22%14/Jul/16 16:02/~lp15/images/acm-logo.jpg
256 0.47%14/Jul/16 15:58/~lp15/papers/Notes/Founds-FP.pdf
254 0.85%14/Jul/16 08:28/~lp15/papers/Formath/Greens-theorem.pdf
208 1.42%14/Jul/16 04:15/~lp15/papers/Reports/equivclasses-slides.pdf
205 0.03%14/Jul/16 14:34/~lp15/papers/Arith/
195 0.55%14/Jul/16 13:15/~lp15/papers/Reports/equivclasses.pdf
192 3.14%13/Jul/16 19:11/~lp15/Sue/Thesis.pdf
165 1.94%14/Jul/16 06:35/~lp15/papers/Reports/thesis.pdf
158 14/Jul/16 15:27/~lp15/MLbook/programs/
154 0.08%14/Jul/16 09:08/~lp15/papers/refereed.html
144 0.45%14/Jul/16 09:50/~lp15/papers/Auth/jcs.pdf
140 0.68%14/Jul/16 13:37/~lp15/papers/Formath/Goedel-ar.pdf
99 0.02%14/Jul/16 09:49/~lp15/papers/Auth/
91 0.01% 9/Jul/16 13:35/~lp15/papers/UNITY/
91 14/Jul/16 15:38/~lp15/MLbook/exercises/
88 0.06%14/Jul/16 07:18/~lp15/papers/Reports/mutil.pdf
86 13/Jul/16 03:37/~lp15/papers/
86 0.01%13/Jul/16 14:09/~lp15/Grants/SET/
85 0.01%14/Jul/16 08:46/~lp15/Sue/
85 0.17%14/Jul/16 15:01/~lp15/papers/Auth/tls.pdf
83 0.01%13/Jul/16 09:07/~lp15/papers/Formath/
83 0.21%13/Jul/16 23:44/~lp15/papers/Isabelle/fleuriot-kepler.pdf
78 0.01%14/Jul/16 12:52/~lp15/papers/Automation/
77 0.01%14/Jul/16 04:32/~lp15/Grants/AutoPolyFun/
76 0.10%14/Jul/16 13:39/~lp15/papers/Formath/Goedel-logic.pdf
75 14/Jul/16 15:28/~lp15/MLbook/programs/sample2.sml
73 0.09%14/Jul/16 14:51/~lp15/Pages/vita.pdf
72 12/Jul/16 23:57/~lp15/MLbook/pub-details.html
72 0.24%12/Jul/16 04:22/~lp15/papers/Bella/smartcards-jcs.pdf
70  9/Jul/16 13:35/~lp15/papers/Notes/
70 14/Jul/16 09:22/~lp15/Pages/cv.html
70 0.21%14/Jul/16 12:36/~lp15/papers/Bella/accountability.pdf
68 0.07%12/Jul/16 23:16/~lp15/Usage/
66  9/Jul/16 13:35/~lp15/papers/Bella/
65 0.01%14/Jul/16 16:09/~lp15/papers/Reports/
65 0.01%13/Jul/16 03:52/~lp15/Grants/LEO-II/
64  9/Jul/16 13:35/~lp15/SpryAssets/
64 0.02%10/Jul/16 15:59/~lp15/Usage/images/
63  9/Jul/16 13:35/~lp15/Pages/
63 0.01%13/Jul/16 00:04/~lp15/MLbook/ERRATA.html
62  9/Jul/16 13:35/~lp15/images/
61  9/Jul/16 13:35/~lp15/papers/Reviews/
61 14/Jul/16 13:09/~lp15/Grants/
61 0.01%13/Jul/16 04:54/~lp15/archive/
61  9/Jul/16 13:35/~lp15/papers/Ballarin/
61  9/Jul/16 13:35/~lp15/Data/
61 12/Jul/16 23:16/~lp15/Grants/Automation/
58 0.07%14/Jul/16 15:00/~lp15/papers/Auth/lics.pdf
58 0.01%14/Jul/16 15:39/~lp15/MLbook/exercises/exer2.html
57  9/Jul/16 13:35/~lp15/Templates/
56  9/Jul/16 13:35/~lp15/tmp/
55 0.11%14/Jul/16 10:11/~lp15/papers/Automation/translations.pdf
55 0.05%12/Jul/16 16:00/~lp15/papers/Auth/yahalom.pdf
55  9/Jul/16 13:35/~lp15/css/
54 14/Jul/16 15:28/~lp15/MLbook/programs/ROOT.sml
53 0.05%14/Jul/16 11:25/~lp15/papers/Auth/SET-overview-2002.pdf
53 0.01%13/Jul/16 20:18/~lp15/papers/Isabelle/
53 14/Jul/16 14:44/~lp15/papers/lecture-courses.html
53 0.16%14/Jul/16 11:45/~lp15/papers/Formath/set-I.pdf
52 12/Jul/16 23:56/~lp15/MLbook/review.html
51 14/Jul/16 12:31/~lp15/papers/workshop.html
50 14/Jul/16 12:55/~lp15/papers/Workshop/
48 0.10%13/Jul/16 08:47/~lp15/papers/Formath/AC.pdf
48 0.04%14/Jul/16 01:05/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
48 0.08%14/Jul/16 02:21/~lp15/papers/Automation/paar.pdf
48 0.59%11/Jul/16 05:12/~lp15/papers/Notes/LCF+.pdf
46 12/Jul/16 11:47/~lp15/MLbook/general.html
46 0.01%14/Jul/16 11:35/~lp15/Grants/UNITY/
45 12/Jul/16 23:16/~lp15/Pages/CL-English.html
44 13/Jul/16 06:33/~lp15/Pages/projects.html
44 0.10%12/Jul/16 10:38/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
44 0.09%13/Jul/16 21:34/~lp15/papers/Bella/certified-email.pdf
43 0.12%13/Jul/16 03:32/~lp15/papers/Automation/filtering.pdf
43 0.10%14/Jul/16 02:29/~lp15/papers/Automation/meng-termination.pdf
42 0.07%14/Jul/16 01:06/~lp15/papers/Bella/nonrepudiation.pdf
42 0.06%14/Jul/16 11:25/~lp15/Grants/AutoPolyFun/case.pdf
41 13/Jul/16 15:24/~lp15/papers/Arith/download.html
41 0.07%14/Jul/16 15:01/~lp15/papers/Bella/esorics98.pdf
41 0.71%12/Jul/16 16:56/~lp15/papers/Auth/lics-slides.pdf
41 0.20%12/Jul/16 01:40/~lp15/papers/Arith/Sogokon-nfm14.pdf
40 0.10%11/Jul/16 21:50/~lp15/papers/Formath/reflection.pdf
39 13/Jul/16 22:17/~lp15/Grants/BeyondLinArith/
39 0.01%14/Jul/16 11:00/~lp15/papers/invited.html
39 0.05%13/Jul/16 14:45/~lp15/Pages/harrison-real.pdf
39 14/Jul/16 01:59/~lp15/papers/hol.html
38 0.01%13/Jul/16 13:26/~lp15/MLbook/exercises/exer3.html
38 0.01%14/Jul/16 06:51/~lp15/images/pilkington.jpg
38 14/Jul/16 07:23/~lp15/papers/Arith/qepcad-for-mac.html
38 0.08%13/Jul/16 21:09/~lp15/papers/Reports/TPHOLs05.pdf
37 0.12%12/Jul/16 03:52/~lp15/papers/Automation/translations-jar.pdf
37 13/Jul/16 22:37/~lp15/MLbook/first/
37 12/Jul/16 23:16/~lp15/papers/recur.html
37 0.04%12/Jul/16 19:06/~lp15/papers/Workshop/friedrich.pdf
36 0.01%13/Jul/16 00:02/~lp15/MLbook/programs/sample3.sml
36 14/Jul/16 10:48/~lp15/papers/books.html
36 7.06%10/Jul/16 06:05/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
35 0.07%13/Jul/16 19:48/~lp15/papers/Auth/multicast_verification.pdf
35 0.01%13/Jul/16 06:22/~lp15/papers/Reviews/MLer.pdf
35 0.06%13/Jul/16 04:30/~lp15/papers/UNITY/tphols01.pdf
35 0.22%11/Jul/16 08:59/~lp15/Pages/Munich-slides.pdf
35 0.07%13/Jul/16 23:07/~lp15/papers/Bella/registration.pdf
35 0.05%13/Jul/16 01:31/~lp15/papers/Arith/ITP-2012-invited.pdf
34  9/Jul/16 22:16/~lp15/papers/Deduction/
34 0.09%12/Jul/16 03:00/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 6.01%10/Jul/16 04:49/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
34 12/Jul/16 23:50/~lp15/Grants/holisa.html
34 0.08%12/Jul/16 01:25/~lp15/papers/UNITY/Mechanizing-compositional.pdf
34 0.05%14/Jul/16 05:05/~lp15/papers/Arith/Narayanan DATE.pdf
33 0.13%12/Jul/16 23:55/~lp15/papers/UNITY/composition.pdf
33 0.03%13/Jul/16 12:14/~lp15/papers/Reports/CADE9.pdf
32 0.03%11/Jul/16 19:17/~lp15/Sue/Cultures of Dance.ppt
32 0.05%14/Jul/16 15:32/~lp15/papers/Notes/strategy.pdf
32 0.13%12/Jul/16 15:26/~lp15/papers/Arith/calculemus2008.pdf
32 0.01%12/Jul/16 21:21/~lp15/Sue/Sue Paulson.jpg
32 14/Jul/16 14:08/~lp15/papers/Arith/atan-problem-1-weak.html
32 0.07%14/Jul/16 07:30/~lp15/papers/Arith/SNC2014-invited.pdf
32 0.05% 9/Jul/16 13:34/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
31 0.06%13/Jul/16 03:29/~lp15/papers/Reports/blast.pdf
31 0.07%13/Jul/16 03:19/~lp15/papers/Formath/automata.pdf
31 0.11%11/Jul/16 17:15/~lp15/papers/Isabelle/Cube-presentation.pdf
31 0.01%13/Jul/16 20:08/~lp15/papers/Reviews/construct.pdf
31 0.05%13/Jul/16 03:04/~lp15/papers/Automation/IJCAR2004.pdf
31 0.01%14/Jul/16 15:01/~lp15/MLbook/exercises/exer8.html
30 0.09%14/Jul/16 15:10/~lp15/papers/Formath/reflection-slides.pdf
30 0.05%12/Jul/16 16:56/~lp15/papers/Bella/purchase.pdf
30 0.04%12/Jul/16 14:51/~lp15/papers/Automation/thf-sledge.pdf
30 13/Jul/16 15:41/~lp15/Data/relevance/
29 14/Jul/16 09:33/~lp15/MLbook/disclaimer.html
29 0.05%13/Jul/16 23:19/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
29 0.03%13/Jul/16 19:24/~lp15/papers/Reports/CADE11.pdf
29 13/Jul/16 09:31/~lp15/MLbook/programs/sample5.sml
29 12/Jul/16 17:53/~lp15/papers/Workshop/participants.html
28  9/Jul/16 13:35/~lp15/Data/ho-translations/
28 0.04%11/Jul/16 15:23/~lp15/papers/Isabelle/chap700.pdf
28 0.05%14/Jul/16 08:57/~lp15/papers/Arith/lpar2007.pdf
28 0.04%13/Jul/16 11:37/~lp15/papers/Workshop/papers/kalvala-linear.pdf
28 0.04%13/Jul/16 08:57/~lp15/papers/Arith/fmcad2009.pdf
28 0.05% 9/Jul/16 13:34/~lp15/papers/Automation/cade2011-sledge-smt.pdf
28 0.15%12/Jul/16 09:51/~lp15/papers/Automation/info-and-comp.pdf
27 0.10%12/Jul/16 15:39/~lp15/papers/Automation/reconstruction.pdf
27 0.26%13/Jul/16 20:48/~lp15/papers/Reports/ref97.pdf
27 11/Jul/16 10:59/~lp15/Pages/Scream.html
26 0.04%13/Jul/16 17:35/~lp15/papers/Workshop/papers/thompson.pdf
26 0.08%12/Jul/16 01:15/~lp15/papers/Notes/MOD-slides.pdf
26 0.01%14/Jul/16 00:33/~lp15/MLbook/exercises/exer6.html
26 0.04%12/Jul/16 17:52/~lp15/papers/Automation/jar-smt.pdf
26 0.24%13/Jul/16 00:01/~lp15/papers/Automation/reconstruction-slides.pdf
25 12/Jul/16 23:59/~lp15/MLbook/exercises/exer5.html
25 14/Jul/16 15:30/~lp15/MLbook/programs/sample4.sml
25 13/Jul/16 20:33/~lp15/Pages/ACS-proposals.html
25 0.03%14/Jul/16 00:18/~lp15/papers/Auth/ijcar2001.pdf
24 13/Jul/16 01:30/~lp15/MLbook/exercises/exer4.html
24  9/Jul/16 13:35/~lp15/MLbook/first/programs/
24 0.14%12/Jul/16 20:36/~lp15/papers/Bella/purchase-JAR.pdf
24 0.05% 9/Jul/16 21:37/~lp15/papers/Formath/Goedel-logic-mine.pdf
23 0.04%11/Jul/16 09:33/~lp15/papers/UNITY/ehmety-composition.pdf
23 0.03%13/Jul/16 22:31/~lp15/papers/Auth/auth-slides.pdf
23 0.03%12/Jul/16 20:10/~lp15/papers/Bella/cav98.pdf
23 0.03%12/Jul/16 15:50/~lp15/papers/Workshop/vigano.pdf
23 13/Jul/16 06:08/~lp15/MLbook/first/ERRATA1.txt
22 13/Jul/16 13:32/~lp15/Grants/auth.html
22 14/Jul/16 14:38/~lp15/MLbook/programs/sample8.sml
22 0.01%13/Jul/16 00:03/~lp15/MLbook/programs/sample10.sml
22 0.05%14/Jul/16 15:18/~lp15/papers/Workshop/papers/nipkow.pdf
22 0.03%14/Jul/16 07:26/~lp15/papers/Arith/pdpar2006.pdf
22  9/Jul/16 13:34/~lp15/Grants/temporal.html
22 0.04%13/Jul/16 19:49/~lp15/papers/Bella/esorics2000.pdf
21 14/Jul/16 15:31/~lp15/MLbook/programs/notes.html
21 0.02% 9/Jul/16 20:35/~lp15/Grants/LEO-II/leo2-case.pdf
21 0.22%11/Jul/16 10:32/~lp15/Grants/Automation/poster.pdf
21 0.07%13/Jul/16 00:30/~lp15/papers/Automation/sultana-pfreconstruction.pdf
21 0.11%12/Jul/16 18:42/~lp15/papers/Reports/intro-to-isabelle.pdf
21 0.03% 9/Jul/16 13:34/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
21 12/Jul/16 23:59/~lp15/MLbook/exercises/exer7.html
21 0.10%12/Jul/16 11:25/~lp15/papers/Reports/logics97.pdf
20 0.02%13/Jul/16 14:53/~lp15/papers/Arith/FroCoS-2013-invited.pdf
20 0.02%10/Jul/16 17:00/~lp15/papers/Workshop/papers/ayari.pdf
20 0.01% 9/Jul/16 13:34/~lp15/papers/paulson.bib
20 0.02% 9/Jul/16 13:34/~lp15/Grants/Automation/final.pdf
20 0.07%13/Jul/16 23:16/~lp15/papers/Reports/fleuriot-kepler.pdf
20 0.07% 8/Jul/16 05:55/~lp15/papers/UNITY/UNITY.pdf
20 0.07%13/Jul/16 01:10/~lp15/papers/Workshop/papers/kammueller.pdf
19 10/Jul/16 23:01/~lp15/papers/Workshop/staples.html
19 11/Jul/16 14:23/~lp15/MLbook/programs/sample8-old.sml
19 0.03% 9/Jul/16 16:06/~lp15/papers/Automation/leo2-ijcar.pdf
19 13/Jul/16 00:03/~lp15/MLbook/programs/sample9.sml
19 0.07%10/Jul/16 16:54/~lp15/papers/Workshop/papers/rasmussen.pdf
19  9/Jul/16 18:30/~lp15/papers/Workshop/programme.html
18 13/Jul/16 00:03/~lp15/MLbook/programs/sample7.sml
18  9/Jul/16 13:35/~lp15/papers/Workshop/kalvala.html
18 0.03%11/Jul/16 21:10/~lp15/papers/Workshop/papers/benini.pdf
18 0.07%14/Jul/16 15:20/~lp15/papers/Automation/filtering-jal.pdf
18  9/Jul/16 13:35/~lp15/papers/Workshop/paulson.html
18 0.05%12/Jul/16 00:47/~lp15/papers/Workshop/papers/vigano.pdf
18 13/Jul/16 22:06/~lp15/papers/OLD.SETS/
17 0.03% 9/Jul/16 13:34/~lp15/papers/Formath/final.pdf
17 0.18%12/Jul/16 14:50/~lp15/papers/Reports/TypeClasses.pdf
17 0.07%10/Jul/16 02:44/~lp15/papers/Auth/SET-document.pdf
17 0.03% 9/Jul/16 13:34/~lp15/papers/Arith/case-splitting.pdf
17 0.36%12/Jul/16 20:38/~lp15/Sue/Phd-Poster.pdf
17  9/Jul/16 13:35/~lp15/papers/Workshop/thompson.html
17 0.02%12/Jul/16 15:32/~lp15/papers/Formath/constructible-abstract.pdf
17  9/Jul/16 13:35/~lp15/papers/Workshop/agerholm.html
17 0.04%10/Jul/16 17:02/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17 11/Jul/16 22:07/~lp15/MLbook/exercises/disclaimer.html
17 0.36%13/Jul/16 14:50/~lp15/Sue/Thesis-Appendices.pdf
16  9/Jul/16 15:10/~lp15/Grants/arith.html
16 12/Jul/16 22:06/~lp15/MLbook/programs/test10.sml
16 0.07%10/Jul/16 09:06/~lp15/papers/Reports/Bridge-ml.pdf
16 12/Jul/16 23:34/~lp15/papers/Workshop/matthews.html
16 14/Jul/16 01:52/~lp15/MLbook/first/programs/Lambda.ML
16 0.20%11/Jul/16 15:49/~lp15/papers/Notes/formalizing-abst-slides.pdf
16 0.06%12/Jul/16 16:01/~lp15/papers/Workshop/papers/bednarczyk.pdf
16  8/Jul/16 18:38/~lp15/MLbook/first/programs/Functions.ML
16 12/Jul/16 15:37/~lp15/papers/Arith/RELEASE-NOTES.txt
16  9/Jul/16 13:34/~lp15/Grants/Chaieb.html
16 0.06%11/Jul/16 05:33/~lp15/papers/Formath/constructible-slides.pdf
15 14/Jul/16 16:17/~lp15/MLbook/first/programs/ParsePrint.ML
15  9/Jul/16 13:35/~lp15/papers/Workshop/nipkow.html
15 14/Jul/16 04:24/~lp15/MLbook/programs/sample8-2004.sml
15 0.02%10/Jul/16 12:58/~lp15/papers/Workshop/papers/owens.pdf
15 11/Jul/16 02:37/~lp15/MLbook/programs/sample9-2004.sml
15 0.01%13/Jul/16 20:51/~lp15/papers/Workshop/kammueller.pdf
15 0.03%14/Jul/16 11:41/~lp15/papers/Isabelle/blast.pdf
15 11/Jul/16 14:06/~lp15/MLbook/first/programs/Imperative.ML
15 0.05%13/Jul/16 16:09/~lp15/papers/Formath/set-II.pdf
14  9/Jul/16 21:16/~lp15/MLbook/first/programs/Lists-Trees.ML
14 0.02%12/Jul/16 23:51/~lp15/papers/Isabelle/Goedel-logic.pdf
14 0.01%12/Jul/16 11:20/~lp15/papers/Arith/Overcoming.pdf
14 0.39% 9/Jul/16 20:35/~lp15/Grants/LEO-II/leo project poster.pdf
14 0.03%11/Jul/16 11:09/~lp15/papers/Arith/Huang-3heuristics.pdf
14 0.03%12/Jul/16 20:09/~lp15/papers/Isabelle/aisc98.pdf
14 0.01% 9/Jul/16 13:34/~lp15/Grants/Automation/case.pdf
14 0.01% 9/Jul/16 13:34/~lp15/papers/Auth/security-protocols.pdf
14  9/Jul/16 13:34/~lp15/Sue/Cultures of Dance.html
14 10/Jul/16 16:53/~lp15/MLbook/programs/sample3-old.sml
13 13/Jul/16 09:32/~lp15/papers/Formath/AC-slides.pdf
13 12/Jul/16 15:03/~lp15/MLbook/programs/sample10-old.sml
13 0.55% 9/Jul/16 13:34/~lp15/papers/Arith/ITP 2012 presentation.pdf
13 0.17% 9/Jul/16 13:34/~lp15/papers/Arith/metit-slides.pdf
13 13/Jul/16 18:02/~lp15/MLbook/first/programs/Modules.ML
13 0.56%13/Jul/16 07:24/~lp15/papers/Formath/Goedel-slides.pdf
13 0.03% 9/Jul/16 13:34/~lp15/papers/Formath/milner-ind-defs.pdf
13  8/Jul/16 18:35/~lp15/MLbook/StandardML.plist
13 0.08%13/Jul/16 13:10/~lp15/papers/Automation/h4qed-clean.pdf
13 12/Jul/16 06:03/~lp15/papers/Workshop/futures.html
13 13/Jul/16 01:48/~lp15/papers/Workshop/wolff.html
12 0.01% 9/Jul/16 13:34/~lp15/papers/Notes/strategy-slides.pdf
12 12/Jul/16 09:28/~lp15/papers/Formath/ind-defs-slides.pdf
12 12/Jul/16 18:02/~lp15/papers/Workshop/heule.html
12 0.20%10/Jul/16 13:26/~lp15/Grants/BeyondLinArith/arith-poster.pdf
12 0.11% 9/Jul/16 13:34/~lp15/papers/Reports/TypeClasses-slides.pdf
12 0.03% 9/Jul/16 13:34/~lp15/papers/Isabelle/sylow.pdf
12 0.10% 9/Jul/16 13:34/~lp15/papers/Auth/dagstuhl2003-slides.pdf
12 0.04% 9/Jul/16 13:34/~lp15/papers/Arith/cicm2012.pdf
11 0.02% 8/Jul/16 09:59/~lp15/papers/Workshop/papers/staples.pdf
11 0.05% 9/Jul/16 13:34/~lp15/papers/Auth/tls-slides.pdf
11 0.08%11/Jul/16 15:06/~lp15/papers/Deduction/lecture1.pdf
11 0.02% 9/Jul/16 13:34/~lp15/papers/Bella/dimacs97.pdf
11 0.01%10/Jul/16 00:23/~lp15/papers/Notes/leeds-notes.pdf
11 0.06%11/Jul/16 19:58/~lp15/Grants/BeyondLinArith/arith-case.pdf
11 4.90% 9/Jul/16 13:35/~lp15/archive/Isabelle2015.tar.gz
11 0.02% 8/Jul/16 12:06/~lp15/papers/Workshop/papers/voelker.pdf
11 12/Jul/16 10:00/~lp15/papers/Arith/NFM2014-invited.pdf
11 0.07%11/Jul/16 03:43/~lp15/papers/Auth/SET-overview-slides.pdf
11 0.01%13/Jul/16 22:09/~lp15/papers/Auth/recur-slides.pdf
11 0.07%12/Jul/16 02:40/~lp15/papers/Arith/NFM2014-slides.pdf
11 0.14%12/Jul/16 09:03/~lp15/papers/Auth/ijcar2001-slides.pdf
11 0.08% 9/Jul/16 13:34/~lp15/papers/Bella/TPHOLs03-slides.pdf
10  9/Jul/16 13:34/~lp15/Sue/Cultures of Dance.pdf
10  8/Jul/16 05:57/~lp15/MLbook/first/ERRATA3.txt
10 0.11%12/Jul/16 21:13/~lp15/papers/Reports/popl82.pdf
10 0.02% 9/Jul/16 13:34/~lp15/papers/Arith/case-splitting-stats.csv
10 10/Jul/16 04:58/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
10 0.09%13/Jul/16 20:24/~lp15/papers/Formath/constructible-theory.pdf
10 0.01% 9/Jul/16 13:34/~lp15/papers/Reports/Descent of BAN.pdf
10 13/Jul/16 17:16/~lp15/MLbook/first/answers1-5.txt.gz
10 12/Jul/16 03:43/~lp15/images/larry-paulson.jpg
10 0.02%10/Jul/16 14:05/~lp15/papers/Workshop/papers/matthews.pdf
10 0.02% 9/Jul/16 13:34/~lp15/papers/Isabelle/coding.pdf
10 0.04% 8/Jul/16 18:34/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 12/Jul/16 14:20/~lp15/Grants/SET/final.pdf
9 1.56% 8/Jul/16 18:34/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
9 12/Jul/16 01:44/~lp15/Data/ho-translations/Theories.tbz
9 0.48% 9/Jul/16 13:34/~lp15/papers/Arith/FroCos-presentation.pdf
9  8/Jul/16 18:39/~lp15/MLbook/first/programs/Hal.ML
8 0.01% 8/Jul/16 05:56/~lp15/papers/Workshop/front.pdf
8 0.01% 8/Jul/16 05:57/~lp15/Grants/Chaieb-case.pdf
8 0.45% 8/Jul/16 18:34/~lp15/Data/ho-translations/Comb.tbz
8 0.02% 9/Jul/16 13:35/~lp15/archive/Isabelle90.tar.gz
8 0.10% 9/Jul/16 13:35/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 0.01% 9/Jul/16 13:35/~lp15/archive/Isabelle86.tar.gz
8  9/Jul/16 13:34/~lp15/papers/Isabelle/blast-slides.pdf
8 0.04%10/Jul/16 18:51/~lp15/papers/Automation/Huet colloquium.pdf
8 0.43% 8/Jul/16 18:34/~lp15/Data/ho-translations/Abst.tbz
8  9/Jul/16 13:35/~lp15/archive/ERRATA.txt
8 0.01% 8/Jul/16 05:56/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
8 0.24% 9/Jul/16 13:34/~lp15/papers/Arith/Overcoming-slides.pdf
8 0.01% 9/Jul/16 05:37/~lp15/papers/Ballarin/aisc98.pdf
8 13/Jul/16 12:56/~lp15/archive/cant-ozols.ps.gz
7 4.66% 9/Jul/16 13:35/~lp15/archive/Isabelle2013.tar.gz
7 0.28%13/Jul/16 21:27/~lp15/archive/Isabelle99.tar.gz
7 13/Jul/16 10:19/~lp15/MLbook/first/ML-syntax.ps.gz
7  8/Jul/16 05:56/~lp15/papers/Workshop/owens.txt
7 0.15% 9/Jul/16 13:35/~lp15/archive/Isabelle94-8.tar.gz
7 0.02%13/Jul/16 18:14/~lp15/papers/Automation/leo2-jar.pdf
7 2.28% 9/Jul/16 13:35/~lp15/archive/Isabelle2011.tar.gz
7 0.65% 9/Jul/16 13:35/~lp15/archive/Isabelle2007.tar.gz
7 4.23% 9/Jul/16 13:35/~lp15/archive/Isabelle2012.tar.gz
7 0.07% 9/Jul/16 13:35/~lp15/archive/Isabelle93.tar.gz
7 0.16%11/Jul/16 19:17/~lp15/papers/Arith/SNC2014-slides.pdf
7 0.02% 8/Jul/16 05:56/~lp15/papers/Workshop/papers/agerholm.pdf
7  8/Jul/16 05:57/~lp15/MLbook/first/ERRATA2.txt
6 0.08% 9/Jul/16 13:35/~lp15/archive/Isabelle94-6.tar.gz
6 0.04% 9/Jul/16 13:35/~lp15/archive/Isabelle94.tar.gz
6 0.19% 9/Jul/16 13:35/~lp15/archive/Isabelle98-1.tar.gz
6 0.66% 9/Jul/16 13:35/~lp15/archive/Isabelle2009.tar.gz
6  8/Jul/16 18:38/~lp15/Templates/publications.dwt
6  8/Jul/16 05:56/~lp15/papers/Workshop/bednarczyk.txt
6 0.45% 9/Jul/16 13:35/~lp15/archive/Isabelle2005.tar.gz
6  8/Jul/16 17:00/~lp15/MLbook/first/answers8.txt.gz
6 0.08% 9/Jul/16 13:35/~lp15/archive/Isabelle94-7.tar.gz
6 0.02%12/Jul/16 18:13/~lp15/papers/Workshop/papers/paulson.pdf
6 2.50% 9/Jul/16 13:35/~lp15/archive/Isabelle2014.tar.gz
6 0.28% 9/Jul/16 13:35/~lp15/archive/Isabelle99-1.tar.gz
6 0.02% 9/Jul/16 13:35/~lp15/archive/Isabelle91.tar.gz
6 0.03% 9/Jul/16 13:35/~lp15/archive/isabelle-users.00.gz
6 0.02%14/Jul/16 07:33/~lp15/papers/Isabelle/Goedel-ar.pdf
6 0.34% 9/Jul/16 13:35/~lp15/archive/Isabelle2002.tar.gz
6 0.02% 9/Jul/16 13:35/~lp15/archive/Isabelle92.tar.gz
6 3.85% 9/Jul/16 13:35/~lp15/archive/Isabelle2013-2.tar.gz
6 0.03% 8/Jul/16 15:45/~lp15/papers/Deduction/lecture4.pdf
6 0.39% 9/Jul/16 13:35/~lp15/archive/Isabelle2003.tar.gz
6  8/Jul/16 05:56/~lp15/Data/relevance/unfiltered-spass.txt
6 1.54% 9/Jul/16 13:35/~lp15/archive/Isabelle2009-1.tar.gz
6  8/Jul/16 05:56/~lp15/Data/relevance/unfiltered-vampire.txt
6 0.02%11/Jul/16 11:48/~lp15/papers/Reports/lamport-paulson-types.pdf
6 0.55% 9/Jul/16 13:35/~lp15/archive/Isabelle2008.tar.gz
6 0.01% 9/Jul/16 13:35/~lp15/archive/Isabelle89.tar.gz
6 3.09% 9/Jul/16 13:35/~lp15/archive/Isabelle2011-1.tar.gz
6  8/Jul/16 05:56/~lp15/Data/relevance/unfiltered-E.txt
6 0.41% 9/Jul/16 13:35/~lp15/archive/Isabelle2004.tar.gz
211 5.90%14/Jul/16 06:05[not listed: 57 files]