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

Program started at Mon-14-Apr-2014 10:01.
Analysed requests from Thu-13-Mar-2014 06:03 to Mon-14-Apr-2014 09:51 (32.16 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-Apr-2014 10:01.

Successful requests: 19,207 (3,894)
Average successful requests per day: 597 (556)
Successful requests for pages: 4,284 (938)
Average successful requests for pages per day: 133 (133)
Failed requests: 535 (108)
Redirected requests: 158 (17)
Distinct files requested: 516 (384)
Distinct hosts served: 3,986 (995)
Unwanted logfile entries: 10,415
Data transferred: 5.63 gigabytes (1.16 gigabytes)
Average data transferred per day: 179.15 megabytes (169.78 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 
Sun2470524+++++++++++++++++++++++++++
Mon2173501++++++++++++++++++++++++++
Tue2869648+++++++++++++++++++++++++++++++++
Wed3024657+++++++++++++++++++++++++++++++++
Thu3178756++++++++++++++++++++++++++++++++++++++
Fri3003632++++++++++++++++++++++++++++++++
Sat2490566+++++++++++++++++++++++++++++

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
790641.62%[unresolved numerical addresses]
373021.83%.com (Commercial)
790 9.03%.edu (USA Higher Education)
1596 7.18%.net (Networks)
653 4.23%.in (India)
732 4.05%.de (Germany)
559 2.40%[domain not given]
320 0.81%.uk (United Kingdom)
293 0.80%.ro (Romania)
206 0.80%.au (Australia)
26 0.55%.nz (New Zealand)
207 0.40%.ca (Canada)
30 0.31%.ua (Ukraine)
80 0.29%.gr (Greece)
37 0.25%.pk (Pakistan)
81 0.24%.np (Nepal)
51 0.20%[unknown domain]
48 0.20%.br (Brazil)
80 0.20%.cn (China)
59 0.20%.mx (Mexico)
43 0.18%.ke (Kenya)
52 0.17%.nl (Netherlands)
52 0.17%.tr (Turkey)
98 0.16%.io (British Indian Ocean Territory)
11 0.16%.es (Spain)
17 0.16%.pt (Portugal)
8 0.15%.lk (Sri Lanka)
24 0.15%.at (Austria)
27 0.15%.us (United States)
59 0.15%.org (Non Profit Making Organisations)
50 0.14%.zw (Zimbabwe)
174 0.14%.fr (France)
17 0.13%.id (Indonesia)
48 0.12%.pl (Poland)
11 0.11%.th (Thailand)
45 0.11%.arpa (Arpanet)
35 0.10%.it (Italy)
104 0.10%.jp (Japan)
50 0.10%.se (Sweden)
44 0.10%.ru (Russia)
33 0.09%.sg (Singapore)
36 0.09%.ar (Argentina)
34 0.08%.dk (Denmark)
3 0.08%.lb (Lebanon)
10 0.07%.jo (Jordan)
71 0.06%.fi (Finland)
26 0.06%.uy (Uruguay)
21 0.06%.bd (Bangladesh)
33 0.06%.ch (Switzerland)
29 0.06%.gov (USA Government)
15 0.05%.eg (Egypt)
9 0.05%.my (Malaysia)
19 0.05%.sb (Solomon Islands)
4 0.05%.za (South Africa)
4 0.05%.rw (Rwanda)
34 0.05%.md (Moldova)
8 0.04%.tz (Tanzania)
24 0.04%.be (Belgium)
16 0.04%.gh (Ghana)
17 0.04%.co (Colombia)
2 0.04%.ie (Ireland)
9 0.04%.hu (Hungary)
16 0.03%.hr (Croatia)
4 0.03%.cl (Chile)
4 0.03%.tt (Trinidad and Tobago)
3 0.03%.sa (Saudi Arabia)
3 0.03%.ph (Philippines)
16 0.03%.et (Ethiopia)
8 0.03%.ye (Yemen)
83 0.02%.cz (Czech Republic)
34 0.02%.il (Israel)
4 0.02%.na (Namibia)
2 0.02%.mk (Macedonia (Former Yugoslav Republic))
4 0.02%.by (Belarus)
1 0.02%.om (Oman)
8 0.01%.biz (Businesses)
4 0.01%.kr (South Korea)
9 0.01%.tj (Tajikistan)
13 0.01%.tw (Taiwan)
3 0.01%.lt (Lithuania)
7 0.01%.vn (Vietnam)
1 0.01%.info (Informational)
4 0.01%.ge (Georgia)
2 .ir (Iran)
1 .al (Albania)
3 .sk (Slovakia)
13 .lv (Latvia)
4 .lu (Luxembourg)
2 .kz (Kazakhstan)
10 .cy (Cyprus)
6 .is (Iceland)
4 .ee (Estonia)
4 .si (Slovenia)
5 .no (Norway)
4 .am (Armenia)
6 .bg (Bulgaria)
1 .mil (USA Military)
1 .ec (Ecuador)

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
929 3.69%msn.com
840 3.89%117
559 2.40%[domain not given]
496 1.55%41
335 8.48%google.com
322 5.70%212.74
313 0.77%rr.com
312 8.17%psu.edu
308 0.30%your-server.de
298 1.07%106
293 1.65%115
275 1.33%yandex.com
208 1.27%14
201 0.71%208.115
184 page2rss.com
178 0.68%39
175 0.41%wowrack.com
171 0.34%comcast.net
167 0.70%virginm.net
155 3.56%softlayer.com
1248853.35%[not listed: 1,183 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
397software
315engineering
305pdf
187notes
109in
108of
64computer
56study
56material
52and
43the
41for
40dances
39cultures
38i.pdf
37x
37http://www.cl.cam.ac.uk/~lp15/papers/notes/se
37download
37various
36u
32protocol
31proof
29design
26formal
25security
20v
20y
19from
18r
18hindi
1073[not listed: 387 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
133601777OS unknown
2116391226Windows
 9495798  Unknown Windows
 2008360  Windows XP
 4747  Windows 98
 4313  Windows Server 2003
 168  Windows 2000
 300  Windows NT
32121578Unix
 2083570  Linux
 108  BSD
 280  Other Unix
41392371Macintosh
5590304Known robots
670Symbian 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
9569200 OK
8977206 Partial content
158301 Document moved permanently
661304 Not modified since last retrieval
77403 Access forbidden
458404 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
0992 
1B- 10B7 
11B- 100B9 
101B- 1kB158 
1kB- 10kB2643 0.19%
10kB-100kB9564 6.92%
100kB- 1MB510742.84%
1MB- 10MB69431.40%
10MB-100MB3318.65%

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
1350073.72%.pdf [Adobe Portable Document Format]
18921.07%.gz [Gzip compressed files]
11720.93%  .tar.gz [Compressed archives]
24 2.46%.tbz
51 1.48%.zip [Zip archives]
2714 0.36%[directories]
5 0.34%.tgz
1570 0.25%.html [Hypertext Markup Language]
478 0.15%.jpg [JPEG graphics]
676 0.16%[not listed: 8 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
514430.42%14/Apr/14 09:07/~lp15/papers/Notes/SE-I.pdf
2066 4.53%13/Apr/14 23:56/~lp15/papers/Reports/equivclasses-slides.pdf
93416.17%14/Apr/14 02:58/~lp15/papers/Reports/thesis.pdf
736 0.14%14/Apr/14 09:50/~lp15/
462 5.33%14/Apr/14 01:04/~lp15/Sue/Thesis.pdf
397 0.01%14/Apr/14 09:51/~lp15/MLbook/
373 0.10%13/Apr/14 23:33/~lp15/images/larry-paulson.jpg
340 0.10%14/Apr/14 08:57/~lp15/papers/refereed.html
332 0.54%12/Apr/14 13:45/~lp15/papers/Reports/fleuriot-kepler.pdf
239 0.72%14/Apr/14 07:42/~lp15/papers/Auth/jcs.pdf
212 0.57%13/Apr/14 06:23/~lp15/Pages/G%C3%B6del-ar.pdf
191 0.42%13/Apr/14 21:06/~lp15/papers/Notes/Founds-FP.pdf
179 0.42%12/Apr/14 18:10/~lp15/papers/Isabelle/sylow.pdf
171 0.03%14/Apr/14 03:09/~lp15/papers/Arith/
135 0.03%14/Apr/14 03:06/~lp15/papers/Auth/
122 0.63% 6/Apr/14 22:13/~lp15/Pages/G%C3%B6del-slides.pdf
118 0.22%13/Apr/14 14:42/~lp15/papers/Isabelle/aisc98.pdf
116 14/Apr/14 04:19/~lp15/MLbook/programs/
107 0.20%14/Apr/14 06:36/~lp15/papers/Auth/tls.pdf
98 0.16%12/Apr/14 15:00/~lp15/papers/Sets/constructible-abstract.pdf
95 1.19% 9/Apr/14 10:02/~lp15/papers/Auth/lics-slides.pdf
93 0.26% 9/Apr/14 10:59/~lp15/Pages/Munich-slides.pdf
93 0.30%13/Apr/14 22:14/~lp15/papers/Bella/smartcards-jcs.pdf
88 0.50%13/Apr/14 19:09/~lp15/papers/Arith/MetiTarski-jar.pdf
88 0.08%13/Apr/14 21:32/~lp15/papers/Reports/mutil.pdf
86 14/Apr/14 00:47/~lp15/MLbook/exercises/
83 0.57% 8/Apr/14 15:14/~lp15/papers/Arith/FroCos-presentation.pdf
80 0.01%13/Apr/14 20:42/~lp15/MLbook/ERRATA.html
78 0.01%14/Apr/14 02:50/~lp15/Sue/
71 0.01%13/Apr/14 16:09/~lp15/papers/Sets/
70 0.13%14/Apr/14 02:01/~lp15/papers/Isabelle/coding.pdf
70 0.03%13/Apr/14 18:46/~lp15/Sue/Sue Paulson.jpg
67 0.11%14/Apr/14 08:33/~lp15/papers/Bella/esorics98.pdf
66 0.55% 9/Apr/14 12:23/~lp15/papers/Notes/LCF+.pdf
61 0.19%11/Apr/14 02:15/~lp15/papers/Bella/accountability.pdf
60 0.09%13/Apr/14 18:33/~lp15/Pages/vita.pdf
60 13/Apr/14 22:38/~lp15/MLbook/pub-details.html
60 0.03%13/Apr/14 17:56/~lp15/Pages/Top100Theorems.html
59 0.01%13/Apr/14 16:34/~lp15/MLbook/programs/sample3.sml
59 13/Apr/14 14:59/~lp15/papers/lecture-courses.html
58 13/Apr/14 12:07/~lp15/papers/
57 0.06%13/Apr/14 23:53/~lp15/papers/Bella/nonrepudiation.pdf
57 10/Apr/14 22:04/~lp15/papers/Reports/
56 14/Apr/14 09:13/~lp15/MLbook/general.html
56 0.23%12/Apr/14 13:18/~lp15/papers/Reports/TypeClasses.pdf
56 14/Apr/14 04:19/~lp15/MLbook/programs/sample2.sml
56 0.01%13/Apr/14 16:04/~lp15/Grants/SET/
56 0.09%14/Apr/14 03:36/~lp15/papers/Bella/certified-email.pdf
55 0.08%13/Apr/14 16:07/~lp15/papers/Arith/Narayanan DATE.pdf
54 0.10%14/Apr/14 01:21/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
54 0.01%13/Apr/14 12:56/~lp15/papers/Automation/
52 13/Apr/14 16:08/~lp15/Pages/cv.html
51 1.48% 6/Apr/14 04:05/~lp15/papers/Arith/qepcad-B.1.65.MacOSX.zip
51 0.29%13/Apr/14 11:56/~lp15/papers/Bella/purchase-JAR.pdf
50 0.06%12/Apr/14 05:48/~lp15/papers/Auth/yahalom.pdf
50 0.01%14/Apr/14 04:26/~lp15/Grants/leo2.html
49 13/Apr/14 12:08/~lp15/papers/Arith/download.html
49 0.01%14/Apr/14 06:17/~lp15/papers/isabelle.html
49 13/Apr/14 08:17/~lp15/archive/
48 0.05%13/Apr/14 14:58/~lp15/papers/Auth/SET-overview-2002.pdf
48 0.20%12/Apr/14 10:43/~lp15/papers/Auth/SET-overview-slides.pdf
47 0.01%13/Apr/14 23:18/~lp15/Grants/UNITY/
46 0.01%14/Apr/14 02:10/~lp15/MLbook/review.html
46  8/Apr/14 15:25/~lp15/papers/Workshop/
46 0.11%13/Apr/14 02:02/~lp15/papers/Kammueller/sylow.pdf
45 0.01%14/Apr/14 05:25/~lp15/MLbook/first/programs/Lists-Trees.ML
45 0.04%14/Apr/14 00:30/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
45 13/Apr/14 07:27/~lp15/papers/workshop.html
44 0.07%14/Apr/14 06:04/~lp15/papers/Automation/paar.pdf
44 0.01%13/Apr/14 23:28/~lp15/Grants/AutoPolyFun/
42 0.12%12/Apr/14 03:51/~lp15/papers/Auth/SET-overview-IJIS.pdf
42 0.11%14/Apr/14 04:46/~lp15/papers/Sets/reflection.pdf
41 13/Apr/14 19:21/~lp15/papers/Arith/qepcad-for-mac.html
40 0.10%14/Apr/14 02:49/~lp15/papers/Automation/IJCAR2004.pdf
39 0.05%12/Apr/14 06:04/~lp15/Usage/
38 0.18%14/Apr/14 04:42/~lp15/papers/Automation/reconstruction.pdf
37 0.06% 6/Apr/14 14:41/~lp15/Pages/G%C3%B6del-logic.pdf
35 10/Apr/14 22:04/~lp15/Pages/CL-English.html
35 0.04% 9/Apr/14 21:45/~lp15/papers/Automation/leo2-ijcar.pdf
35 0.17%12/Apr/14 09:22/~lp15/papers/Sets/constructible-slides.pdf
35 0.02%12/Apr/14 20:11/~lp15/images/pilkington.jpg
35 13/Apr/14 04:24/~lp15/Grants/LEO-II/
34 13/Apr/14 14:41/~lp15/papers/Notes/
33 0.04%14/Apr/14 09:24/~lp15/papers/Bella/cav98.pdf
33 11/Apr/14 14:38/~lp15/Grants/
33 10/Apr/14 22:04/~lp15/papers/hol.html
33 0.06%13/Apr/14 07:29/~lp15/papers/Auth/ijcar2001.pdf
32 13/Apr/14 21:48/~lp15/papers/books.html
32 0.05%12/Apr/14 05:30/~lp15/papers/Arith/ITP-2012-invited.pdf
31 0.01% 9/Apr/14 02:39/~lp15/MLbook/programs/sample10.sml
31 10/Apr/14 23:57/~lp15/MLbook/programs/sample5.sml
30 11/Apr/14 21:15/~lp15/papers/UNITY/
29 0.07%13/Apr/14 12:04/~lp15/papers/Reports/blast.pdf
28 0.07%13/Apr/14 14:18/~lp15/papers/Automation/translations-jar.pdf
27 14/Apr/14 08:21/~lp15/Grants/automation.html
27 14/Apr/14 03:39/~lp15/MLbook/disclaimer.html
27 0.01%13/Apr/14 18:13/~lp15/MLbook/programs/sample9.sml
27 10/Apr/14 22:04/~lp15/papers/invited.html
27 10/Apr/14 04:54/~lp15/MLbook/programs/sample4.sml
26 0.09% 8/Apr/14 14:00/~lp15/papers/Sets/set-II.pdf
26 0.08%13/Apr/14 09:46/~lp15/papers/Workshop/papers/nipkow.pdf
26 6.26% 8/Apr/14 14:15/~lp15/archive/Isabelle2013-1.tar.gz
26 11/Apr/14 06:38/~lp15/MLbook/first/
26 0.06%11/Apr/14 14:22/~lp15/papers/Bella/esorics2000.pdf
26 14/Apr/14 02:35/~lp15/Grants/Automation/
25 0.05% 9/Apr/14 15:01/~lp15/papers/Bella/dimacs97.pdf
25 0.02%13/Apr/14 18:47/~lp15/Sue/Cultures of Dance.ppt
25 0.03%13/Apr/14 21:51/~lp15/papers/Auth/lics.pdf
25 0.08% 9/Apr/14 02:42/~lp15/papers/Arith/cicm2012.pdf
24 0.01%12/Apr/14 05:49/~lp15/MLbook/exercises/exer4.html
24 11/Apr/14 14:11/~lp15/MLbook/programs/sample8.sml
23 0.03%12/Apr/14 07:51/~lp15/papers/Auth/auth-slides.pdf
23 0.04%12/Apr/14 16:11/~lp15/papers/Automation/meng-termination.pdf
23 10/Apr/14 22:04/~lp15/papers/recur.html
23 0.05%14/Apr/14 05:18/~lp15/papers/Arith/Hscc09.pdf
23 13/Apr/14 20:43/~lp15/MLbook/programs/sample3-old.sml
22 0.31%10/Apr/14 11:32/~lp15/papers/Reports/popl82.pdf
22 0.11%13/Apr/14 19:08/~lp15/papers/Arith/calculemus2008.pdf
22 12/Apr/14 10:33/~lp15/Pages/ACS-proposals.html
22 0.05%12/Apr/14 00:45/~lp15/papers/Bella/purchase.pdf
21 0.06%12/Apr/14 00:33/~lp15/papers/Reports/equivclasses.pdf
21 11/Apr/14 07:07/~lp15/papers/Arith/atan-problem-1-weak.html
20 13/Apr/14 22:47/~lp15/Pages/
20 10/Apr/14 05:35/~lp15/MLbook/programs/sample8-old.sml
20 0.05%11/Apr/14 22:21/~lp15/papers/Automation/translations.pdf
20 11/Apr/14 11:15/~lp15/MLbook/programs/ROOT.sml
20 13/Apr/14 01:56/~lp15/papers/Arith/RELEASE-NOTES.txt
20 14/Apr/14 02:35/~lp15/papers/Kammueller/
20 0.04%13/Apr/14 11:25/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
20 0.04%13/Apr/14 23:18/~lp15/papers/Automation/cade2011-sledge-smt.pdf
20 0.12%10/Apr/14 05:31/~lp15/papers/Bella/TPHOLs03-slides.pdf
19 12/Apr/14 00:12/~lp15/MLbook/first/programs/
19 12/Apr/14 20:01/~lp15/papers/Workshop/papers/
19 13/Apr/14 05:00/~lp15/papers/Workshop/participants.html
19 31/Mar/14 23:08/~lp15/MLbook/first/programs/Imperative.ML
18 0.01%14/Apr/14 04:56/~lp15/MLbook/exercises/exer3.html
18 10/Apr/14 22:04/~lp15/Grants/arith.html
18 0.06%14/Apr/14 07:38/~lp15/papers/Automation/filtering.pdf
18 13/Apr/14 00:13/~lp15/papers/Bella/
18 13/Apr/14 19:51/~lp15/MLbook/exercises/exer5.html
18  9/Apr/14 03:48/~lp15/MLbook/first/programs/Lambda.ML
18 12/Apr/14 00:12/~lp15/papers/Isabelle/
18 0.07%14/Apr/14 04:30/~lp15/papers/UNITY/UNITY.pdf
18 13/Apr/14 07:18/~lp15/MLbook/first/programs/Functions.ML
18 0.07% 9/Apr/14 10:58/~lp15/papers/Sets/reflection-slides.pdf
18 12/Apr/14 19:44/~lp15/MLbook/first/ERRATA1.txt
18 0.05%14/Apr/14 03:38/~lp15/papers/Sets/set-I.pdf
18 0.03% 9/Apr/14 17:06/~lp15/papers/Sets/final.pdf
17 13/Apr/14 07:27/~lp15/MLbook/programs/sample7.sml
17 0.06%13/Apr/14 22:43/~lp15/papers/Workshop/papers/paulson.pdf
17 14/Apr/14 00:00/~lp15/MLbook/programs/sample8-2004.sml
17 0.02% 8/Apr/14 15:38/~lp15/papers/Reports/CADE11.pdf
17  8/Apr/14 15:14/~lp15/MLbook/exercises/exer7.html
17 0.04% 8/Apr/14 14:14/~lp15/papers/UNITY/Mechanizing-compositional.pdf
17 0.01%11/Apr/14 23:36/~lp15/Usage/images/
17 11/Apr/14 07:06/~lp15/MLbook/exercises/exer2.html
16  8/Apr/14 15:14/~lp15/MLbook/programs/notes.html
16 12/Apr/14 20:01/~lp15/Data/ho-translations/
16 0.01% 8/Apr/14 15:42/~lp15/MLbook/programs/test10.sml
16 0.01%10/Apr/14 05:25/~lp15/MLbook/exercises/exer6.html
16 0.18% 8/Apr/14 15:10/~lp15/papers/Isabelle/Cube-presentation.pdf
16 0.88% 8/Apr/14 15:14/~lp15/papers/Arith/ITP 2012 presentation.pdf
16 12/Apr/14 08:47/~lp15/MLbook/first/programs/Modules.ML
16 10/Apr/14 22:35/~lp15/papers/Ballarin/
16 13/Apr/14 16:43/~lp15/Templates/
16  9/Apr/14 10:39/~lp15/Grants/holisa.html
16 11/Apr/14 14:45/~lp15/Data/
16 12/Apr/14 06:04/~lp15/MLbook/exercises/exer8.html
15 0.03%13/Apr/14 11:57/~lp15/papers/Sets/milner-ind-defs.pdf
15 14/Apr/14 08:00/~lp15/tmp/
15 0.03%13/Apr/14 12:14/~lp15/papers/UNITY/ehmety-composition.pdf
15 0.03% 8/Apr/14 15:10/~lp15/papers/Notes/strategy.pdf
15 0.10% 6/Apr/14 04:28/~lp15/papers/Deduction/lecture3.pdf
15 10/Apr/14 05:05/~lp15/MLbook/programs/sample9-2004.sml
15 0.03%12/Apr/14 02:19/~lp15/papers/Bella/registration.pdf
14 13/Apr/14 07:18/~lp15/MLbook/first/programs/ParsePrint.ML
14 14/Apr/14 06:49/~lp15/papers/Reviews/
14 0.01% 8/Apr/14 15:38/~lp15/papers/paulson.bib
14 0.09% 8/Apr/14 15:19/~lp15/papers/Auth/tls-slides.pdf
14 0.03%12/Apr/14 07:55/~lp15/papers/Auth/multicast_verification.pdf
14 11/Apr/14 16:10/~lp15/SpryAssets/
14 0.03%10/Apr/14 16:24/~lp15/papers/UNITY/tphols01.pdf
14  8/Apr/14 15:42/~lp15/MLbook/programs/sample10-old.sml
14 0.14% 8/Apr/14 15:14/~lp15/papers/Notes/formalizing-abst-slides.pdf
14 0.01%13/Apr/14 19:25/~lp15/papers/Reviews/construct.pdf
14 0.04%10/Apr/14 11:58/~lp15/papers/Automation/jar-smt.pdf
14 0.06%14/Apr/14 08:48/~lp15/papers/Workshop/papers/bednarczyk.pdf
14 0.02%13/Apr/14 19:08/~lp15/papers/Arith/pdpar2006.pdf
14 0.01%13/Apr/14 17:46/~lp15/papers/Reports/CADE9.pdf
14 10/Apr/14 11:05/~lp15/Grants/Chaieb.html
14 13/Apr/14 09:52/~lp15/css/
14 0.10%12/Apr/14 04:29/~lp15/papers/Automation/info-and-comp.pdf
13 0.01%10/Apr/14 17:32/~lp15/papers/Notes/strategy-slides.pdf
13 13/Apr/14 18:41/~lp15/papers/Deduction/
13  8/Apr/14 15:14/~lp15/images/
13 0.12% 9/Apr/14 18:29/~lp15/papers/Deduction/lecture1.pdf
13 0.17%13/Apr/14 15:33/~lp15/papers/Reports/TypeClasses-slides.pdf
13 0.01%13/Apr/14 13:29/~lp15/Grants/UNITY/case.pdf
13 0.03%12/Apr/14 06:50/~lp15/papers/Reports/TPHOLs05.pdf
13 0.39%13/Apr/14 20:48/~lp15/Sue/Thesis-Appendices.pdf
12 0.01%10/Apr/14 02:42/~lp15/MLbook/first/ML-syntax.ps.gz
12 0.02%13/Apr/14 19:02/~lp15/Grants/Automation/final.pdf
12 0.06%12/Apr/14 05:02/~lp15/papers/Automation/filtering-jal.pdf
12 0.07%13/Apr/14 17:30/~lp15/papers/Sets/constructible-theory.pdf
12 10/Apr/14 11:05/~lp15/Data/relevance/
11 0.02%13/Apr/14 18:02/~lp15/papers/Workshop/papers/benini.pdf
11 0.13%12/Apr/14 11:52/~lp15/Grants/Automation/poster.pdf
11 0.02%13/Apr/14 16:24/~lp15/papers/Workshop/papers/voelker.pdf
11 0.15% 8/Apr/14 15:38/~lp15/papers/Arith/metit-slides.pdf
11 0.05%14/Apr/14 00:45/~lp15/papers/Reports/logics97.pdf
11  8/Apr/14 14:47/~lp15/Grants/temporal.html
11 11/Apr/14 12:09/~lp15/MLbook/StandardML.plist
11 13/Apr/14 07:18/~lp15/MLbook/first/programs/Hal.ML
11 0.04% 8/Apr/14 06:35/~lp15/papers/Workshop/papers/kammueller.pdf
10 0.07% 8/Apr/14 15:38/~lp15/papers/Reports/Bridge-ml.pdf
10  8/Apr/14 14:13/~lp15/Grants/auth.html
10 13/Apr/14 16:09/~lp15/papers/Workshop/matthews.html
10 0.04% 8/Apr/14 14:34/~lp15/papers/UNITY/composition.pdf
10 0.07% 8/Apr/14 15:10/~lp15/papers/Reports/intro-to-isabelle.pdf
10 0.01%14/Apr/14 03:21/~lp15/Grants/Automation/case.pdf
10 0.04%13/Apr/14 05:42/~lp15/papers/Arith/Narayanan TR.pdf
10 0.01%12/Apr/14 00:56/~lp15/papers/Auth/recur-slides.pdf
10 0.01% 8/Apr/14 15:17/~lp15/Grants/AutoPolyFun/case.pdf
10 0.09%13/Apr/14 15:10/~lp15/Grants/arith-case.pdf
10 0.09%13/Apr/14 15:43/~lp15/papers/Auth/dagstuhl2003-slides.pdf
10 11/Apr/14 11:20/~lp15/Sue/Cultures of Dance.html
9 0.01% 5/Apr/14 02:06/~lp15/papers/Workshop/front.pdf
9 10/Apr/14 20:03/~lp15/papers/Workshop/kalvala.html
9 0.03%11/Apr/14 21:26/~lp15/papers/Auth/SET-document.pdf
9 0.02%13/Apr/14 19:09/~lp15/papers/Arith/lpar2007.pdf
9 0.03%14/Apr/14 05:47/~lp15/archive/isabelle-users.99.gz
9 0.01%26/Mar/14 20:59/~lp15/papers/Workshop/papers/matthews.pdf
9 0.03%14/Apr/14 07:52/~lp15/papers/Workshop/papers/vigano.pdf
9  8/Apr/14 15:14/~lp15/papers/Workshop/agerholm.html
9 0.01% 8/Apr/14 15:14/~lp15/papers/Auth/security-protocols.pdf
8 0.01% 8/Apr/14 15:14/~lp15/papers/Arith/FroCoS-2013-invited.pdf
8 0.03%11/Apr/14 13:38/~lp15/papers/Arith/case-splitting-stats.csv
8 0.03%13/Apr/14 11:59/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
8 0.01%13/Apr/14 00:59/~lp15/papers/Isabelle/Goedel-logic.pdf
8 0.21%13/Apr/14 13:40/~lp15/Sue/Phd-Poster.pdf
8 0.06% 8/Apr/14 15:14/~lp15/papers/Automation/Huet colloquium.pdf
8 11/Apr/14 08:09/~lp15/papers/Workshop/thompson.html
8 0.01% 9/Apr/14 23:45/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
8 0.02% 9/Apr/14 15:28/~lp15/papers/Workshop/papers/kalvala-linear.pdf
8 0.03%12/Apr/14 05:12/~lp15/papers/Workshop/papers/rasmussen.pdf
8 0.01%13/Apr/14 18:21/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
8 0.02% 8/Apr/14 15:38/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
8  8/Apr/14 15:14/~lp15/MLbook/exercises/disclaimer.html
8 11/Apr/14 04:29/~lp15/papers/Workshop/futures.html
8 10/Apr/14 22:35/~lp15/papers/Workshop/wolff.html
7  9/Apr/14 03:10/~lp15/MLbook/first/ERRATA3.txt
7  8/Apr/14 15:14/~lp15/papers/Workshop/staples.html
7 0.02% 8/Apr/14 15:38/~lp15/papers/Arith/case-splitting.pdf
7 0.02% 8/Apr/14 14:23/~lp15/archive/isabelle-users.98.gz
7 10/Apr/14 13:43/~lp15/papers/Workshop/paulson.html
7  8/Apr/14 14:25/~lp15/papers/Sets/ind-defs-slides.pdf
7 0.01%13/Apr/14 13:43/~lp15/papers/Workshop/papers/thompson.pdf
7 0.01%10/Apr/14 04:52/~lp15/papers/Workshop/vigano.pdf
7  8/Apr/14 14:44/~lp15/archive/ERRATA.txt
7 0.01%12/Apr/14 01:59/~lp15/papers/Workshop/papers/owens.pdf
7 0.01% 8/Apr/14 15:38/~lp15/papers/Arith/fmcad2009.pdf
7  8/Apr/14 22:29/~lp15/papers/Sets/AC-slides.pdf
7 0.02% 5/Apr/14 14:35/~lp15/papers/Ballarin/coding.pdf
7 10/Apr/14 05:25/~lp15/papers/Workshop/programme.html
7 0.01%14/Apr/14 03:18/~lp15/Grants/leo2-case.pdf
6  8/Apr/14 15:14/~lp15/papers/Workshop/nipkow.html
6  8/Apr/14 15:14/~lp15/papers/Workshop/heule.html
6 0.01%11/Apr/14 03:50/~lp15/Grants/LEO-II/leo2-case.pdf
6 0.01%14/Apr/14 08:58/~lp15/papers/Arith/Overcoming.pdf
6 11/Apr/14 04:42/~lp15/Grants/SET/final.pdf
6 0.03%14/Apr/14 04:05/~lp15/Data/relevance/tptp-2007-03-13.tbz
6 0.02%12/Apr/14 06:40/~lp15/papers/Sets/AC.pdf
6 0.15%13/Apr/14 14:34/~lp15/Grants/arith-poster.pdf
6 12/Apr/14 05:05/~lp15/papers/Workshop/ayari.pdf
30718.50%13/Apr/14 19:43[not listed: 105 files]