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

Program started at Tue-16-Dec-2014 23:09.
Analysed requests from Wed-05-Nov-2014 15:02 to Tue-16-Dec-2014 23:01 (41.33 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 16-Dec-2014 23:09.

Successful requests: 20,749 (4,270)
Average successful requests per day: 501 (609)
Successful requests for pages: 4,861 (1,042)
Average successful requests for pages per day: 117 (148)
Failed requests: 540 (99)
Redirected requests: 92 (13)
Distinct files requested: 521 (281)
Distinct hosts served: 4,304 (1,031)
Unwanted logfile entries: 12,734
Data transferred: 5.45 gigabytes (800.51 megabytes)
Average data transferred per day: 134.99 megabytes (114.36 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 20 requests for pages or part thereof.

dayreqspages 
Sun2951654+++++++++++++++++++++++++++++++++
Mon3731701++++++++++++++++++++++++++++++++++++
Tue3460814+++++++++++++++++++++++++++++++++++++++++
Wed2976737+++++++++++++++++++++++++++++++++++++
Thu2505549++++++++++++++++++++++++++++
Fri2566661++++++++++++++++++++++++++++++++++
Sat2560745++++++++++++++++++++++++++++++++++++++

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
481230.81%.com (Commercial)
729029.51%[unresolved numerical addresses]
108211.17%.uk (United Kingdom)
1998 8.28%.net (Networks)
616 3.00%.in (India)
785 2.14%.de (Germany)
487 1.79%[domain not given]
124 1.59%.au (Australia)
136 1.21%.fr (France)
545 1.18%.edu (USA Higher Education)
92 1.07%.at (Austria)
23 0.79%.es (Spain)
96 0.64%.cn (China)
279 0.58%.ru (Russia)
134 0.52%.pk (Pakistan)
161 0.45%.my (Malaysia)
73 0.36%.mx (Mexico)
141 0.34%.ca (Canada)
213 0.34%.pl (Poland)
101 0.27%.br (Brazil)
106 0.23%.lu (Luxembourg)
18 0.22%.lk (Sri Lanka)
63 0.22%.gh (Ghana)
82 0.20%.it (Italy)
86 0.20%.sg (Singapore)
119 0.20%.jp (Japan)
66 0.19%.nl (Netherlands)
24 0.19%.zw (Zimbabwe)
144 0.18%[unknown domain]
49 0.18%.ph (Philippines)
41 0.16%.org (Non Profit Making Organisations)
55 0.14%.tr (Turkey)
38 0.13%.gr (Greece)
17 0.12%.id (Indonesia)
56 0.11%.dk (Denmark)
6 0.09%.ua (Ukraine)
17 0.09%.vn (Vietnam)
60 0.08%.ch (Switzerland)
43 0.08%.cz (Czech Republic)
20 0.08%.th (Thailand)
21 0.06%.za (South Africa)
27 0.06%.ro (Romania)
50 0.06%.ar (Argentina)
38 0.06%.pt (Portugal)
41 0.05%.il (Israel)
51 0.05%.gov (USA Government)
5 0.05%.np (Nepal)
6 0.04%.ke (Kenya)
21 0.04%.se (Sweden)
5 0.04%.ie (Ireland)
5 0.04%.fi (Finland)
17 0.03%.tz (Tanzania)
26 0.03%.hr (Croatia)
6 0.03%.bg (Bulgaria)
3 0.03%.bd (Bangladesh)
3 0.02%.kz (Kazakhstan)
5 0.02%.nz (New Zealand)
1 0.02%.tt (Trinidad and Tobago)
10 0.01%.hk (Hong Kong)
8 0.01%.cl (Chile)
7 0.01%.kr (South Korea)
1 0.01%.tw (Taiwan)
9 0.01%.sk (Slovakia)
12 0.01%.wf (Wallis and Futuna Islands)
11 0.01%.hu (Hungary)
7 0.01%.co (Colombia)
3 0.01%.do (Dominican Republic)
4 0.01%.ir (Iran)
9 0.01%.lt (Lithuania)
3 0.01%.al (Albania)
5 .no (Norway)
4 .uy (Uruguay)
1 .by (Belarus)
3 .mil (USA Military)
2 .ee (Estonia)
2 .is (Iceland)
1 .lb (Lebanon)
5 .cy (Cyprus)
5 .eg (Egypt)
2 .arpa (Arpanet)
1 .jo (Jordan)
2 .si (Slovenia)
1 .ug (Uganda)
1 .tc (Turks and Caicos Islands)
1 .lv (Latvia)

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
961 7.19%msn.com
898 5.14%yandex.com
727 9.87%cam.ac.uk
570 2.69%117
509 2.40%41
491 3.65%amazonaws.com
487 1.79%[domain not given]
337 2.01%baidu.com
298 1.05%your-server.de
213 0.68%virginm.net
212 0.09%mail.ru
188 0.03%17
184 page2rss.com
182 0.55%122.airtelbroadband.in
181 1.21%14
180 0.30%adsl.tpnet.pl
173 2.45%opera-mini.net
171 7.96%wotbox.com
170 0.48%rr.com
169 0.91%pldt.net
1344849.57%[not listed: 1,225 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
382software
352engineering
288pdf
259notes
77of
75the
60what
59in
57is
55systems
51project
50download
49free
48lecture
48file
47from
47computer
468
46critical
35for
35all
35loop
34eil
34report
34bcpl
34format
29diploma
29http://www.cl.cam.ac.uk/~lp15/papers/notes/se
29i.pdf
26about
1032[not listed: 337 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
140481798OS unknown
2117981476Windows
 101581165  Unknown Windows
 1568294  Windows XP
 1412  Windows 2000
 65  Windows 98
 300  Windows NT
 220  Windows Server 2003
31997655Macintosh
41711483Unix
 1696475  Linux
 96  Other Unix
 62  BSD
51141428Known robots
680Symbian 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
11377200 OK
8634206 Partial content
92301 Document moved permanently
738304 Not modified since last retrieval
109403 Access forbidden
394404 Document not found
37416 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
0779 
1B- 10B11 
11B- 100B1 
101B- 1kB230 
1kB- 10kB2849 0.21%
10kB-100kB10653 7.78%
100kB- 1MB575846.67%
1MB- 10MB42020.93%
10MB-100MB4824.41%

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
1387668.49%.pdf [Adobe Portable Document Format]
19020.15%.gz [Gzip compressed files]
9120.01%  .tar.gz [Compressed archives]
62 9.03%.tbz
6 0.74%.zip [Zip archives]
876 0.51%.jpg [JPEG graphics]
3166 0.41%[directories]
1695 0.26%.html [Hypertext Markup Language]
2 0.19%.tgz
876 0.23%[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
544531.18%16/Dec/14 19:24/~lp15/papers/Notes/SE-I.pdf
2542 5.75%16/Dec/14 21:01/~lp15/papers/Reports/equivclasses-slides.pdf
1027 0.17%16/Dec/14 21:37/~lp15/
399 0.02%16/Dec/14 18:03/~lp15/MLbook/
392 0.11%16/Dec/14 21:37/~lp15/images/larry-paulson.jpg
380 0.34%16/Dec/14 21:37/~lp15/images/acm-logo.jpg
335 0.10%16/Dec/14 19:59/~lp15/papers/refereed.html
227 0.43%16/Dec/14 21:59/~lp15/papers/Reports/fleuriot-kepler.pdf
208 4.14%15/Dec/14 11:25/~lp15/Sue/Thesis.pdf
208 0.47%16/Dec/14 20:44/~lp15/papers/Notes/Founds-FP.pdf
206 0.03%16/Dec/14 21:30/~lp15/papers/Arith/
188 0.01%16/Dec/14 22:58/~lp15/MLbook/programs/
180 4.57%16/Dec/14 06:04/~lp15/papers/Reports/thesis.pdf
163 0.58%16/Dec/14 19:59/~lp15/papers/Auth/jcs.pdf
148 0.52%16/Dec/14 05:03/~lp15/papers/Reports/popl82.pdf
147 0.02%16/Dec/14 23:01/~lp15/Pages/Scream.html
131 0.34%16/Dec/14 07:20/~lp15/papers/Auth/tls.pdf
122 0.37%16/Dec/14 18:35/~lp15/papers/Reports/equivclasses.pdf
113 0.23%15/Dec/14 01:25/~lp15/papers/Workshop/papers/voelker.pdf
108 0.22%16/Dec/14 16:47/~lp15/papers/Isabelle/aisc98.pdf
101 0.10%16/Dec/14 13:02/~lp15/papers/Reports/mutil.pdf
98 0.01%16/Dec/14 20:47/~lp15/Sue/
97 0.02%16/Dec/14 14:48/~lp15/Grants/SET/
95 0.29%16/Dec/14 19:39/~lp15/papers/Kammueller/sylow.pdf
92 0.12%16/Dec/14 16:20/~lp15/papers/Auth/SET-overview-2002.pdf
86 0.16%16/Dec/14 09:55/~lp15/papers/Bella/esorics98.pdf
80 0.01%16/Dec/14 10:58/~lp15/MLbook/programs/sample2.sml
78 16/Dec/14 15:20/~lp15/MLbook/exercises/
76 0.01%16/Dec/14 19:57/~lp15/papers/Automation/
76 0.31%16/Dec/14 19:35/~lp15/papers/Bella/smartcards-jcs.pdf
75 0.01%16/Dec/14 20:40/~lp15/papers/Sets/
74 0.26%16/Dec/14 08:08/~lp15/papers/Sets/set-II.pdf
74 0.13%15/Dec/14 17:20/~lp15/papers/Automation/meng-termination.pdf
74 0.19%16/Dec/14 17:03/~lp15/papers/Sets/AC.pdf
72 0.02%16/Dec/14 04:41/~lp15/papers/Auth/
72 0.77%14/Dec/14 00:11/~lp15/papers/Arith/ITP 2012 presentation.pdf
70 0.11%14/Dec/14 22:05/~lp15/Pages/vita.pdf
69 0.01%16/Dec/14 18:21/~lp15/MLbook/programs/sample4.sml
68 0.16%16/Dec/14 07:27/~lp15/papers/Reports/blast.pdf
68 0.26%16/Dec/14 19:28/~lp15/papers/Sets/set-I.pdf
66 0.11%16/Dec/14 21:19/~lp15/papers/Bella/purchase.pdf
65 16/Dec/14 23:01/~lp15/Pages/cv.html
64 0.45%16/Dec/14 06:04/~lp15/papers/Arith/MetiTarski-jar.pdf
63 0.09%13/Dec/14 18:35/~lp15/papers/Arith/Narayanan DATE.pdf
62 0.14%16/Dec/14 21:32/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
61 0.20%16/Dec/14 03:25/~lp15/papers/Bella/certified-email.pdf
58 0.06%16/Dec/14 09:09/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
57 0.12%14/Dec/14 22:36/~lp15/papers/Bella/nonrepudiation.pdf
57 0.38%14/Dec/14 22:34/~lp15/papers/Bella/purchase-JAR.pdf
57 0.01%16/Dec/14 14:44/~lp15/papers/lecture-courses.html
56 16/Dec/14 13:32/~lp15/papers/
56 0.03%16/Dec/14 19:58/~lp15/Sue/Sue Paulson.jpg
55 16/Dec/14 16:21/~lp15/papers/Arith/qepcad-for-mac.html
54 0.58%14/Dec/14 22:33/~lp15/papers/Auth/lics-slides.pdf
54 16/Dec/14 13:14/~lp15/MLbook/pub-details.html
54 0.15%16/Dec/14 07:47/~lp15/papers/Bella/registration.pdf
53 16/Dec/14 18:03/~lp15/MLbook/general.html
53 0.34%15/Dec/14 06:02/~lp15/papers/Arith/SNC2014-slides.pdf
52 16/Dec/14 09:01/~lp15/papers/Arith/download.html
50 0.13%15/Dec/14 23:53/~lp15/papers/Reports/TPHOLs05.pdf
49 0.01%16/Dec/14 10:58/~lp15/MLbook/programs/sample3.sml
48 0.03%16/Dec/14 23:01/~lp15/images/pilkington.jpg
48 0.12%15/Dec/14 12:09/~lp15/papers/Bella/esorics2000.pdf
48 0.01%16/Dec/14 22:58/~lp15/MLbook/programs/sample5.sml
48 0.21%16/Dec/14 23:01/~lp15/Pages/Munich-slides.pdf
47 0.01%16/Dec/14 12:20/~lp15/MLbook/review.html
47 0.21%14/Dec/14 22:36/~lp15/papers/Bella/TPHOLs03-slides.pdf
46 0.05%15/Dec/14 15:43/~lp15/papers/Auth/yahalom.pdf
45 0.08%14/Dec/14 10:59/~lp15/papers/Sets/constructible-abstract.pdf
45 0.01%16/Dec/14 12:20/~lp15/MLbook/ERRATA.html
45 0.15%15/Dec/14 17:31/~lp15/papers/Bella/accountability.pdf
45 0.15%16/Dec/14 19:20/~lp15/papers/Sets/reflection.pdf
43 16/Dec/14 05:02/~lp15/papers/Reports/
42 15/Dec/14 04:08/~lp15/MLbook/first/
41 0.01%12/Dec/14 17:32/~lp15/MLbook/first/programs/Lists-Trees.ML
41 0.04%15/Dec/14 20:04/~lp15/Grants/LEO-II/leo2-case.pdf
40 16/Dec/14 04:41/~lp15/archive/
38 10/Dec/14 22:29/~lp15/papers/Notes/
38 16/Dec/14 04:41/~lp15/Grants/
38 0.01%16/Dec/14 08:04/~lp15/Grants/AutoPolyFun/
37 0.01%15/Dec/14 06:35/~lp15/MLbook/programs/sample7.sml
37 16/Dec/14 12:37/~lp15/papers/Workshop/
37 0.05%16/Dec/14 19:16/~lp15/papers/Auth/lics.pdf
37 16/Dec/14 04:41/~lp15/papers/workshop.html
36 0.16%15/Dec/14 18:43/~lp15/papers/Isabelle/Goedel-ar.pdf
36 16/Dec/14 05:02/~lp15/papers/books.html
36 0.20%16/Dec/14 21:07/~lp15/papers/UNITY/UNITY.pdf
36 16/Dec/14 23:01/~lp15/Pages/projects.html
36 0.01%16/Dec/14 01:35/~lp15/Grants/UNITY/
35 15/Dec/14 16:31/~lp15/MLbook/programs/ROOT.sml
35 0.08%15/Dec/14 04:10/~lp15/papers/Automation/IJCAR2004.pdf
35 0.07%16/Dec/14 21:09/~lp15/papers/Workshop/papers/kalvala-linear.pdf
35 0.09%12/Dec/14 09:28/~lp15/papers/Arith/SNC2014-invited.pdf
34 0.01%14/Dec/14 22:00/~lp15/MLbook/exercises/exer3.html
33 0.04%16/Dec/14 04:41/~lp15/Usage/
33 0.10%15/Dec/14 16:06/~lp15/papers/Automation/translations.pdf
33 12/Dec/14 22:23/~lp15/papers/Isabelle/
33 0.01%16/Dec/14 06:29/~lp15/MLbook/exercises/exer8.html
33 16/Dec/14 04:40/~lp15/Grants/LEO-II/
32 16/Dec/14 19:37/~lp15/papers/isabelle.html
32 0.01%16/Dec/14 10:56/~lp15/MLbook/programs/sample10.sml
32 0.11%12/Dec/14 18:12/~lp15/papers/Sets/constructible-slides.pdf
32 0.11%15/Dec/14 18:19/~lp15/papers/Workshop/papers/vigano.pdf
32 0.06%15/Dec/14 15:02/~lp15/papers/Arith/fmcad2009.pdf
32 16/Dec/14 04:40/~lp15/Grants/Automation/
32 0.31%16/Dec/14 20:01/~lp15/papers/Automation/info-and-comp.pdf
31 0.01%15/Dec/14 06:46/~lp15/MLbook/programs/sample8.sml
31 11/Dec/14 21:25/~lp15/papers/UNITY/
31 0.09%16/Dec/14 09:13/~lp15/papers/Auth/SET-overview-IJIS.pdf
31 0.07%16/Dec/14 15:18/~lp15/papers/Bella/dimacs97.pdf
30 16/Dec/14 10:57/~lp15/MLbook/disclaimer.html
30 0.07%16/Dec/14 03:25/~lp15/papers/Arith/case-splitting.pdf
30 0.05%14/Dec/14 05:36/~lp15/papers/Arith/pdpar2006.pdf
29 0.15%16/Dec/14 00:43/~lp15/papers/Reports/Bridge-ml.pdf
29 0.04%10/Dec/14 10:41/~lp15/papers/Isabelle/Goedel-logic.pdf
29 0.07%15/Dec/14 17:53/~lp15/papers/Notes/strategy.pdf
29 0.26%12/Dec/14 14:14/~lp15/papers/Auth/dagstuhl2003-slides.pdf
28 0.09% 8/Dec/14 18:47/~lp15/papers/Automation/filtering.pdf
28 0.02%15/Dec/14 17:16/~lp15/MLbook/first/ML-syntax.ps.gz
28 0.01%16/Dec/14 10:48/~lp15/MLbook/exercises/exer4.html
28 0.07%13/Dec/14 12:37/~lp15/papers/Arith/Hscc09.pdf
28 0.12%16/Dec/14 14:40/~lp15/papers/Workshop/papers/kammueller.pdf
27 0.12%16/Dec/14 08:42/~lp15/papers/Auth/SET-document.pdf
27 0.01%15/Dec/14 15:08/~lp15/MLbook/exercises/exer5.html
27 0.06%11/Dec/14 21:38/~lp15/papers/Workshop/papers/owens.pdf
27 0.11%12/Dec/14 04:17/~lp15/papers/Workshop/papers/rasmussen.pdf
27 16/Dec/14 15:20/~lp15/MLbook/exercises/exer2.html
26 0.01%15/Dec/14 06:36/~lp15/MLbook/programs/sample9.sml
26 16/Dec/14 04:41/~lp15/papers/recur.html
26 15/Dec/14 20:05/~lp15/papers/hol.html
26 0.04%14/Dec/14 22:33/~lp15/papers/Auth/ijcar2001.pdf
25 16/Dec/14 23:01/~lp15/Pages/
25 0.05%16/Dec/14 02:33/~lp15/papers/Bella/cav98.pdf
25 0.01%14/Dec/14 21:59/~lp15/MLbook/programs/sample8-2004.sml
25 16/Dec/14 14:24/~lp15/papers/invited.html
25 16/Dec/14 13:32/~lp15/papers/Arith/atan-problem-1-weak.html
24 0.11%16/Dec/14 21:11/~lp15/papers/Automation/translations-jar.pdf
24 0.14%16/Dec/14 10:37/~lp15/papers/Automation/filtering-jal.pdf
24 0.16% 3/Dec/14 18:44/~lp15/papers/Notes/formalizing-abst-slides.pdf
24 0.14%15/Dec/14 18:52/~lp15/papers/Arith/calculemus2008.pdf
24 0.07%13/Dec/14 17:26/~lp15/papers/Automation/cade2011-sledge-smt.pdf
24 0.01%14/Dec/14 21:59/~lp15/MLbook/programs/sample3-old.sml
23 0.07% 7/Dec/14 09:58/~lp15/papers/Sets/milner-ind-defs.pdf
23 16/Dec/14 23:01/~lp15/Pages/CL-English.html
23 0.01%14/Dec/14 21:59/~lp15/MLbook/programs/test10.sml
23 10/Dec/14 12:54/~lp15/images/
23 16/Dec/14 11:52/~lp15/MLbook/first/programs/Functions.ML
23 0.06%14/Dec/14 09:56/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
23 1.85%12/Dec/14 18:12/~lp15/papers/Arith/FroCos-presentation.pdf
23 0.20%12/Dec/14 23:30/~lp15/papers/Arith/Sogokon-nfm14.pdf
22 15/Dec/14 19:09/~lp15/Grants/BeyondLinArith/
22 0.05%13/Dec/14 21:35/~lp15/papers/Auth/multicast_verification.pdf
22 0.01%14/Dec/14 22:00/~lp15/MLbook/exercises/exer7.html
22 16/Dec/14 09:21/~lp15/Grants/holisa.html
21 10/Dec/14 22:37/~lp15/MLbook/first/programs/
21 0.13%14/Dec/14 15:20/~lp15/papers/Automation/reconstruction.pdf
21 0.04%16/Dec/14 20:17/~lp15/papers/Workshop/papers/thompson.pdf
21 0.09%14/Dec/14 22:34/~lp15/papers/Auth/SET-overview-slides.pdf
21 14/Dec/14 21:59/~lp15/MLbook/programs/sample9-2004.sml
21 0.02%15/Dec/14 14:10/~lp15/papers/Reports/CADE9.pdf
21 11/Dec/14 11:20/~lp15/MLbook/first/ERRATA1.txt
21 0.10%15/Dec/14 17:55/~lp15/papers/Arith/cicm2012.pdf
20  6/Dec/14 11:56/~lp15/Data/ho-translations/
20 0.03%16/Dec/14 05:49/~lp15/papers/Arith/FroCoS-2013-invited.pdf
20 0.05%16/Dec/14 08:15/~lp15/papers/UNITY/ehmety-composition.pdf
20 16/Dec/14 04:41/~lp15/papers/Deduction/
20 0.14%14/Dec/14 00:05/~lp15/papers/Isabelle/Cube-presentation.pdf
20 16/Dec/14 19:49/~lp15/Pages/ACS-proposals.html
20 0.04% 9/Dec/14 00:52/~lp15/papers/Automation/paar.pdf
20 16/Dec/14 15:20/~lp15/MLbook/exercises/disclaimer.html
20 14/Dec/14 07:21/~lp15/css/
19 14/Dec/14 21:57/~lp15/MLbook/programs/notes.html
19  9/Dec/14 14:21/~lp15/papers/Bella/
19 0.18%12/Dec/14 21:39/~lp15/Grants/Automation/poster.pdf
19 0.04%15/Dec/14 18:53/~lp15/papers/Arith/lpar2007.pdf
19 0.01%14/Dec/14 21:59/~lp15/MLbook/programs/sample10-old.sml
19 0.02%14/Dec/14 03:17/~lp15/Sue/Cultures of Dance.ppt
19 0.01%14/Dec/14 22:00/~lp15/MLbook/exercises/exer6.html
19 0.01%16/Dec/14 12:49/~lp15/papers/Reviews/construct.pdf
19 0.27%16/Dec/14 11:33/~lp15/papers/Arith/metit-slides.pdf
19 0.03%16/Dec/14 22:56/~lp15/papers/Reports/CADE11.pdf
19 0.01%10/Dec/14 15:22/~lp15/Usage/images/
19 0.04%12/Dec/14 09:21/~lp15/papers/Arith/ITP-2012-invited.pdf
18 10/Dec/14 18:00/~lp15/tmp/
18 0.06%12/Dec/14 16:11/~lp15/papers/Arith/case-splitting-stats.csv
18 0.03%15/Dec/14 14:58/~lp15/papers/Workshop/papers/staples.pdf
18 0.03%12/Dec/14 00:03/~lp15/papers/Workshop/papers/ayari.pdf
18 14/Dec/14 03:13/~lp15/papers/Arith/RELEASE-NOTES.txt
18  7/Dec/14 07:50/~lp15/papers/Kammueller/
18 0.12%16/Dec/14 10:28/~lp15/papers/Reports/logics97.pdf
18  9/Dec/14 14:55/~lp15/Data/
18 0.69%11/Dec/14 17:45/~lp15/papers/Notes/LCF+.pdf
18 0.02%14/Dec/14 22:32/~lp15/papers/Auth/security-protocols.pdf
18 14/Dec/14 10:51/~lp15/MLbook/first/programs/Imperative.ML
18 0.62%15/Dec/14 15:32/~lp15/Sue/Thesis-Appendices.pdf
17 16/Dec/14 10:56/~lp15/MLbook/programs/sample8-old.sml
17 0.05%11/Dec/14 04:16/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
17 0.91%14/Dec/14 07:54/~lp15/papers/Isabelle/Goedel-slides.pdf
17 0.05%15/Dec/14 16:44/~lp15/papers/Automation/jar-smt.pdf
17 0.06%16/Dec/14 16:50/~lp15/papers/Workshop/papers/bednarczyk.pdf
17 0.21% 9/Dec/14 23:03/~lp15/papers/Automation/reconstruction-slides.pdf
17 0.01%13/Dec/14 21:05/~lp15/Grants/UNITY/case.pdf
17 15/Dec/14 04:17/~lp15/papers/Workshop/participants.html
16 0.08%15/Dec/14 19:39/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
16 0.01%15/Dec/14 09:56/~lp15/papers/paulson.bib
16 0.01%16/Dec/14 21:05/~lp15/Grants/SET/case.pdf
16  9/Dec/14 18:44/~lp15/MLbook/first/programs/Lambda.ML
16 0.10%15/Dec/14 15:08/~lp15/papers/Reports/intro-to-isabelle.pdf
16 15/Dec/14 02:00/~lp15/MLbook/first/programs/Modules.ML
16 0.04%10/Dec/14 06:40/~lp15/papers/Isabelle/coding.pdf
16 0.05%13/Dec/14 21:56/~lp15/papers/UNITY/Mechanizing-compositional.pdf
16 10/Dec/14 12:19/~lp15/papers/Workshop/programme.html
15 15/Dec/14 10:02/~lp15/papers/Workshop/nipkow.html
15 0.02% 7/Dec/14 00:53/~lp15/papers/Workshop/front.pdf
15  9/Dec/14 01:54/~lp15/MLbook/first/ERRATA3.txt
15 16/Dec/14 00:48/~lp15/papers/Workshop/kalvala.html
15 15/Dec/14 01:06/~lp15/papers/Workshop/matthews.html
15 0.02%10/Dec/14 09:22/~lp15/papers/Notes/leeds-notes.pdf
15 0.16%10/Dec/14 11:20/~lp15/papers/Sets/constructible-theory.pdf
15  9/Dec/14 21:46/~lp15/Grants/temporal.html
15 0.06% 6/Dec/14 03:51/~lp15/papers/Deduction/lecture4.pdf
15 12/Dec/14 18:36/~lp15/MLbook/first/ERRATA2.txt
15 0.03%15/Dec/14 15:51/~lp15/papers/Sets/final.pdf
15 10/Dec/14 07:46/~lp15/Data/relevance/
14  6/Dec/14 04:34/~lp15/papers/Workshop/staples.html
14  3/Dec/14 21:14/~lp15/Grants/auth.html
14 0.02% 9/Dec/14 10:03/~lp15/papers/Auth/auth-slides.pdf
14 0.01%14/Dec/14 17:21/~lp15/papers/Reviews/MLer.pdf
14 0.02% 4/Dec/14 16:41/~lp15/papers/Arith/Overcoming.pdf
14 0.03%11/Dec/14 07:31/~lp15/papers/UNITY/tphols01.pdf
14  6/Dec/14 09:50/~lp15/papers/Workshop/thompson.html
14 10/Dec/14 00:31/~lp15/papers/Ballarin/
14 15/Dec/14 19:00/~lp15/Grants/Chaieb.html
13 14/Dec/14 11:00/~lp15/MLbook/first/programs/ParsePrint.ML
13 0.03% 7/Dec/14 11:26/~lp15/papers/Workshop/papers/benini.pdf
13 0.03% 7/Dec/14 19:42/~lp15/papers/Automation/leo2-ijcar.pdf
13 0.05%14/Dec/14 22:36/~lp15/papers/Auth/tls-slides.pdf
13 10/Dec/14 14:21/~lp15/SpryAssets/
13 10/Dec/14 00:36/~lp15/papers/Workshop/paulson.html
13 0.02%14/Dec/14 09:28/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
13 10/Dec/14 14:20/~lp15/Templates/
13 0.05%16/Dec/14 03:22/~lp15/papers/Sets/reflection-slides.pdf
13 0.05%16/Dec/14 13:04/~lp15/papers/Arith/Narayanan TR.pdf
13 0.01%16/Dec/14 21:12/~lp15/MLbook/first/programs/Hal.ML
13 0.04%15/Dec/14 20:08/~lp15/papers/Ballarin/coding.pdf
12 11/Dec/14 06:56/~lp15/papers/Reviews/
12 0.16% 9/Dec/14 19:15/~lp15/papers/Reports/TypeClasses.pdf
12 0.02% 6/Dec/14 11:53/~lp15/Grants/Automation/final.pdf
12 0.03%13/Dec/14 16:37/~lp15/papers/Automation/thf-sledge.pdf
12  9/Dec/14 06:11/~lp15/papers/Workshop/futures.html
11 0.02%16/Dec/14 18:56/~lp15/Grants/Chaieb-case.pdf
11 28/Nov/14 13:27/~lp15/papers/Workshop/bednarczyk.txt
11  1/Dec/14 05:23/~lp15/papers/Workshop/owens.txt
11 0.02%15/Dec/14 00:54/~lp15/papers/Isabelle/chap700.pdf
11 0.05%15/Dec/14 15:55/~lp15/papers/UNITY/composition.pdf
11 0.37% 3/Dec/14 19:40/~lp15/Grants/LEO-II/leo project poster.pdf
11 15/Dec/14 00:25/~lp15/Grants/SET/final.pdf
11 0.04%11/Dec/14 23:38/~lp15/papers/Arith/Huang-3heuristics.pdf
11 0.13%16/Dec/14 01:31/~lp15/papers/Reports/TypeClasses-slides.pdf
11 0.03%12/Dec/14 18:17/~lp15/papers/Notes/MOD-slides.pdf
11 2.67%28/Nov/14 04:13/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 0.01%16/Dec/14 03:26/~lp15/papers/Arith/NFM2014-invited.pdf
11 0.02%15/Dec/14 21:00/~lp15/papers/Ballarin/aisc98.pdf
11 0.01% 9/Dec/14 10:09/~lp15/papers/Auth/recur-slides.pdf
10 0.03%15/Dec/14 15:00/~lp15/papers/Workshop/papers/matthews.pdf
10 28/Nov/14 14:31/~lp15/papers/Workshop/papers/
10  6/Dec/14 04:33/~lp15/papers/Workshop/agerholm.html
10 0.03%16/Dec/14 04:52/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
10 0.01%15/Dec/14 04:17/~lp15/papers/Workshop/friedrich.pdf
10 29/Nov/14 21:03/~lp15/Sue/Cultures of Dance.html
9  1/Dec/14 11:34/~lp15/Grants/arith.html
9 0.08%30/Nov/14 19:18/~lp15/papers/Deduction/lecture1.pdf
9 0.02% 9/Dec/14 00:26/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
9 0.05%29/Nov/14 15:29/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 13/Dec/14 15:19/~lp15/MLbook/StandardML.plist
9 16/Dec/14 20:11/~lp15/MLbook/ERRATA.txt
8 0.01% 6/Dec/14 01:54/~lp15/papers/Notes/strategy-slides.pdf
8  4/Dec/14 20:04/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
8 0.02% 4/Dec/14 03:24/~lp15/papers/Workshop/papers/nipkow.pdf
8 0.01%28/Nov/14 08:29/~lp15/papers/Workshop/vigano.pdf
8 0.09%12/Dec/14 10:13/~lp15/papers/Deduction/lecture3.pdf
8 28/Nov/14 04:07/~lp15/Data/ho-translations/Theories.tbz
8 3.11%14/Dec/14 14:21/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
8 0.08%16/Dec/14 13:05/~lp15/Grants/arith-case.pdf
8 28/Nov/14 13:34/~lp15/Data/relevance/unfiltered-vampire.txt
8 11/Dec/14 09:25/~lp15/Grants/temporal-final.pdf
8 27/Nov/14 23:09/~lp15/Data/relevance/unfiltered-E.txt
8 0.02% 7/Dec/14 09:58/~lp15/papers/Workshop/papers/agerholm.pdf
8 14/Dec/14 01:07/~lp15/papers/Sets/AC-slides.pdf
7  9/Dec/14 23:19/~lp15/Grants/UNITY/final.pdf
7  6/Dec/14 10:43/~lp15/papers/Workshop/heule.html
7 0.25%10/Dec/14 13:06/~lp15/Sue/Phd-Poster.pdf
7 15/Dec/14 16:59/~lp15/papers/Sets/ind-defs-slides.pdf
7 0.52% 6/Dec/14 00:33/~lp15/Data/ho-translations/Abst.tbz
7 0.01%16/Dec/14 20:17/~lp15/Grants/Automation/case.pdf
7 14/Dec/14 02:19/~lp15/archive/ERRATA.txt
7 0.28% 8/Dec/14 03:01/~lp15/papers/Arith/Overcoming-slides.pdf
7 0.01% 3/Dec/14 17:10/~lp15/papers/Workshop/kammueller.pdf
7 0.01%10/Dec/14 10:45/~lp15/Grants/AutoPolyFun/case.pdf
7 0.13%15/Dec/14 04:36/~lp15/papers/Auth/ijcar2001-slides.pdf
7 0.01% 9/Dec/14 11:18/~lp15/papers/Workshop/ayari.pdf
26524.26%16/Dec/14 14:51[not listed: 87 files]