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

Program started at Mon-15-Sep-2014 10:01.
Analysed requests from Fri-15-Aug-2014 04:07 to Mon-15-Sep-2014 09:51 (31.24 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 15-Sep-2014 10:01.

Successful requests: 16,477 (3,939)
Average successful requests per day: 527 (562)
Successful requests for pages: 4,183 (800)
Average successful requests for pages per day: 133 (114)
Failed requests: 661 (156)
Redirected requests: 80 (11)
Distinct files requested: 485 (298)
Distinct hosts served: 3,061 (824)
Unwanted logfile entries: 10,076
Data transferred: 4.39 gigabytes (854.28 megabytes)
Average data transferred per day: 143.75 megabytes (122.04 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 15 requests for pages or part thereof.

dayreqspages 
Sun2511641+++++++++++++++++++++++++++++++++++++++++++
Mon2054454+++++++++++++++++++++++++++++++
Tue2478630++++++++++++++++++++++++++++++++++++++++++
Wed2047609+++++++++++++++++++++++++++++++++++++++++
Thu2666683++++++++++++++++++++++++++++++++++++++++++++++
Fri2571631+++++++++++++++++++++++++++++++++++++++++++
Sat2150535++++++++++++++++++++++++++++++++++++

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
637942.93%[unresolved numerical addresses]
351828.16%.com (Commercial)
2092 8.06%.net (Networks)
644 4.26%.in (India)
657 3.10%.de (Germany)
22 2.25%.at (Austria)
390 1.35%[domain not given]
10 1.13%.hu (Hungary)
198 0.86%.fr (France)
65 0.69%.dk (Denmark)
139 0.58%.pk (Pakistan)
216 0.49%.edu (USA Higher Education)
98 0.44%.za (South Africa)
116 0.42%.it (Italy)
69 0.40%[unknown domain]
115 0.37%.au (Australia)
110 0.34%.ru (Russia)
416 0.33%.uk (United Kingdom)
70 0.25%.mx (Mexico)
42 0.24%.lk (Sri Lanka)
108 0.23%.br (Brazil)
16 0.22%.ke (Kenya)
18 0.17%.zw (Zimbabwe)
61 0.16%.ch (Switzerland)
100 0.16%.gr (Greece)
44 0.16%.sg (Singapore)
35 0.16%.arpa (Arpanet)
22 0.14%.ug (Uganda)
52 0.12%.nz (New Zealand)
15 0.12%.vn (Vietnam)
15 0.10%.ie (Ireland)
10 0.10%.np (Nepal)
4 0.10%.gh (Ghana)
42 0.09%.cn (China)
36 0.08%.fi (Finland)
23 0.08%.org (Non Profit Making Organisations)
26 0.07%.pl (Poland)
13 0.07%.ua (Ukraine)
17 0.07%.ro (Romania)
27 0.07%.nl (Netherlands)
8 0.07%.sd (Sudan)
51 0.06%.jp (Japan)
33 0.06%.ca (Canada)
5 0.06%.tt (Trinidad and Tobago)
3 0.06%.jo (Jordan)
10 0.06%.id (Indonesia)
6 0.06%.tz (Tanzania)
46 0.05%.gov (USA Government)
16 0.04%.es (Spain)
16 0.04%.fj (Fiji)
3 0.04%.sl (Sierra Leone)
3 0.04%.ye (Yemen)
12 0.04%.tr (Turkey)
13 0.03%.pt (Portugal)
37 0.02%.se (Sweden)
25 0.02%.ar (Argentina)
65 0.02%.cz (Czech Republic)
1 0.02%.ae (United Arab Emirates)
10 0.02%.mn (Mongolia)
9 0.02%.cy (Cyprus)
3 0.01%.ni (Nicaragua)
8 0.01%.co (Colombia)
7 0.01%.il (Israel)
4 0.01%.th (Thailand)
2 0.01%.bg (Bulgaria)
1 .im (Isle of Man)
1 .sk (Slovakia)
1 .us (United States)
5 .ir (Iran)
3 .lv (Latvia)
7 .be (Belgium)
2 .my (Malaysia)
1 .lt (Lithuania)
8 .md (Moldova)
1 .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
893 5.09%msn.com
612 4.15%41
492 6.12%amazonaws.com
459 3.04%117
390 1.35%[domain not given]
305 0.55%as15003.net
281 0.15%cam.ac.uk
268 0.65%baidu.com
255 1.02%your-server.de
203 1.54%yandex.com
196 1.51%alicedsl.de
194 0.98%5
190 0.09%61.135
181 2.13%178.33
180 page2rss.com
180 0.83%wanadoo.fr
172 0.04%ip-192-99-160.net
171 0.64%rr.com
170 9.89%wotbox.com
167 1.06%106
1051859.18%[not listed: 918 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
262software
231pdf
216engineering
142notes
89in
58of
48download
42hindi
34book
32http://www.cl.cam.ac.uk/~lp15/papers/notes/se
32i.pdf
30for
30file
28making
25a
21on
21and
20computer
18specification
16the
16system
15eng
15bca
14requirement
14function
13equivalence
13soft
12protocols
12engineer
11semantic
634[not listed: 290 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
130551695OS unknown
292621373Windows
 7466958  Unknown Windows
 1649368  Windows XP
 6231  Windows 98
 2316  Windows 2000
 50  Windows CE
 240  Windows NT
 330  Windows Server 2003
31503449Macintosh
4660366Known robots
51764279Unix
 1753275  Linux
 93  Other Unix
 21  BSD
6100Symbian 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
9105200 OK
6704206 Partial content
80301 Document moved permanently
668304 Not modified since last retrieval
1400 Bad request
50403 Access forbidden
610404 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
0779 
1B- 10B14 
11B- 100B2 
101B- 1kB186 
1kB- 10kB2897 0.32%
10kB-100kB7761 7.37%
100kB- 1MB452747.95%
1MB- 10MB26815.89%
10MB-100MB4328.46%

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
1067966.17%.pdf [Adobe Portable Document Format]
9220.29%.gz [Gzip compressed files]
5320.22%  .tar.gz [Compressed archives]
7212.05%.tbz
765 0.47%.jpg [JPEG graphics]
2718 0.44%[directories]
1465 0.27%.html [Hypertext Markup Language]
37 0.16%.csv
649 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
469434.21%15/Sep/14 09:39/~lp15/papers/Notes/SE-I.pdf
1515 4.70%15/Sep/14 09:11/~lp15/papers/Reports/equivclasses-slides.pdf
838 0.17%15/Sep/14 07:56/~lp15/
369 0.02%15/Sep/14 04:17/~lp15/MLbook/
354 0.10%15/Sep/14 07:56/~lp15/images/larry-paulson.jpg
343 0.32%15/Sep/14 07:56/~lp15/images/acm-logo.jpg
320 0.12%15/Sep/14 05:57/~lp15/papers/refereed.html
320 3.66%15/Sep/14 08:40/~lp15/Sue/Thesis.pdf
283 4.11%14/Sep/14 23:21/~lp15/papers/Reports/thesis.pdf
163 0.03%14/Sep/14 21:33/~lp15/papers/Arith/
142 0.36%15/Sep/14 01:11/~lp15/papers/Reports/fleuriot-kepler.pdf
134 0.34%15/Sep/14 02:51/~lp15/papers/Notes/Founds-FP.pdf
131 0.01%15/Sep/14 01:06/~lp15/MLbook/programs/
113 0.56%15/Sep/14 02:14/~lp15/papers/Auth/jcs.pdf
105 0.29%15/Sep/14 06:11/~lp15/papers/Isabelle/aisc98.pdf
92 0.03%15/Sep/14 04:59/~lp15/papers/Auth/
11 13/Sep/14 06:22  /~lp15/papers/Auth/?C=D;O=D
90 0.77%13/Sep/14 11:21/~lp15/papers/Arith/MetiTarski-jar.pdf
87 0.10%14/Sep/14 13:10/~lp15/papers/Reports/mutil.pdf
85 0.34%15/Sep/14 04:22/~lp15/papers/Reports/equivclasses.pdf
84 14/Sep/14 22:04/~lp15/MLbook/exercises/
82 0.02%14/Sep/14 20:13/~lp15/papers/Sets/
81 0.01%15/Sep/14 02:14/~lp15/Sue/
80 0.19%13/Sep/14 18:52/~lp15/papers/Reports/TPHOLs05.pdf
74 0.19%11/Sep/14 18:48/~lp15/papers/Bella/esorics98.pdf
69 0.01%15/Sep/14 09:07/~lp15/papers/lecture-courses.html
68 0.24%14/Sep/14 22:54/~lp15/papers/Auth/tls.pdf
64 0.01%12/Sep/14 12:18/~lp15/papers/Automation/
62 0.02%14/Sep/14 19:49/~lp15/Grants/SET/
62 0.19%14/Sep/14 09:08/~lp15/papers/Kammueller/sylow.pdf
59 14/Sep/14 21:40/~lp15/MLbook/general.html
56 15/Sep/14 05:06/~lp15/MLbook/programs/sample2.sml
56 0.24% 9/Sep/14 12:11/~lp15/Pages/Munich-slides.pdf
55 0.29% 9/Sep/14 09:54/~lp15/papers/Reports/popl82.pdf
54 0.01%14/Sep/14 15:45/~lp15/MLbook/ERRATA.html
54 0.10%11/Sep/14 07:03/~lp15/papers/Automation/meng-termination.pdf
53 0.15%14/Sep/14 01:40/~lp15/papers/Sets/reflection.pdf
52 0.06%14/Sep/14 05:37/~lp15/papers/Auth/yahalom.pdf
52 0.01%14/Sep/14 13:50/~lp15/papers/workshop.html
51 14/Sep/14 21:40/~lp15/MLbook/pub-details.html
48 15/Sep/14 03:01/~lp15/Pages/cv.html
48 0.06%14/Sep/14 13:13/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
48 0.01%15/Sep/14 08:21/~lp15/MLbook/programs/sample3.sml
47 0.15%14/Sep/14 14:29/~lp15/papers/Bella/certified-email.pdf
46 0.23%13/Sep/14 18:37/~lp15/papers/Reports/intro-to-isabelle.pdf
46 0.19%13/Sep/14 04:02/~lp15/papers/Bella/smartcards-jcs.pdf
45 14/Sep/14 13:50/~lp15/Grants/
45 0.01%15/Sep/14 08:45/~lp15/papers/invited.html
45 0.11%13/Sep/14 16:15/~lp15/papers/UNITY/Mechanizing-compositional.pdf
44 0.13%13/Sep/14 03:11/~lp15/papers/Reports/blast.pdf
44 0.05%14/Sep/14 04:37/~lp15/papers/Auth/SET-overview-2002.pdf
44 0.01%14/Sep/14 13:50/~lp15/archive/
44 0.01%14/Sep/14 18:55/~lp15/MLbook/programs/sample4.sml
43 0.01%10/Sep/14 19:53/~lp15/Grants/UNITY/
42 0.01%14/Sep/14 07:47/~lp15/Grants/AutoPolyFun/
40 14/Sep/14 06:55/~lp15/papers/Arith/download.html
40 0.08%14/Sep/14 05:52/~lp15/Pages/vita.pdf
40 0.01%14/Sep/14 21:44/~lp15/MLbook/review.html
40 13/Sep/14 01:24/~lp15/papers/
40 13/Sep/14 17:12/~lp15/papers/Workshop/
40 15/Sep/14 03:03/~lp15/papers/Reports/
39 0.01%14/Sep/14 12:10/~lp15/MLbook/exercises/exer2.html
38 0.23%15/Sep/14 07:31/~lp15/papers/Sets/constructible-slides.pdf
38 0.02%14/Sep/14 03:37/~lp15/Sue/Sue Paulson.jpg
37 0.16%15/Sep/14 06:38/~lp15/papers/Arith/case-splitting-stats.csv
37 12/Sep/14 15:10/~lp15/papers/UNITY/
37 14/Sep/14 13:50/~lp15/papers/books.html
37 0.19%13/Sep/14 23:44/~lp15/papers/Sets/constructible-theory.pdf
37 0.26% 4/Sep/14 17:44/~lp15/papers/Auth/dagstuhl2003-slides.pdf
36 0.06%13/Sep/14 09:45/~lp15/papers/Workshop/papers/staples.pdf
36 0.09%14/Sep/14 16:03/~lp15/papers/Automation/paar.pdf
35 0.07%13/Sep/14 18:31/~lp15/papers/Sets/constructible-abstract.pdf
35 0.01%14/Sep/14 13:50/~lp15/papers/isabelle.html
35 0.12%14/Sep/14 22:55/~lp15/papers/Automation/translations.pdf
34 0.08%14/Sep/14 02:52/~lp15/papers/Bella/nonrepudiation.pdf
34 0.09%11/Sep/14 16:38/~lp15/papers/Automation/leo2-ijcar.pdf
33 0.09%14/Sep/14 20:48/~lp15/papers/Workshop/papers/voelker.pdf
32 0.09%15/Sep/14 06:23/~lp15/papers/Arith/Hscc09.pdf
31 0.08%13/Sep/14 14:57/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
31 0.05%13/Sep/14 19:20/~lp15/papers/Bella/cav98.pdf
31 13/Sep/14 13:02/~lp15/papers/Arith/qepcad-for-mac.html
31 14/Sep/14 06:28/~lp15/MLbook/programs/sample5.sml
31 14/Sep/14 22:52/~lp15/Grants/Automation/
30 14/Sep/14 19:55/~lp15/papers/Notes/
30 0.02%15/Sep/14 04:30/~lp15/images/pilkington.jpg
29 14/Sep/14 17:20/~lp15/papers/hol.html
29 0.01%14/Sep/14 21:27/~lp15/MLbook/exercises/exer8.html
29 14/Sep/14 13:50/~lp15/Grants/LEO-II/
28 15/Sep/14 05:03/~lp15/MLbook/first/
28 0.10%10/Sep/14 04:04/~lp15/papers/Workshop/papers/kammueller.pdf
27 0.09%14/Sep/14 14:38/~lp15/papers/Sets/milner-ind-defs.pdf
27 0.13%15/Sep/14 07:06/~lp15/papers/Sets/set-II.pdf
27 0.22%14/Sep/14 13:17/~lp15/papers/Bella/purchase-JAR.pdf
27 14/Sep/14 06:29/~lp15/MLbook/first/programs/Modules.ML
26 0.01%14/Sep/14 06:28/~lp15/MLbook/exercises/exer4.html
26 0.01%14/Sep/14 14:31/~lp15/MLbook/programs/sample8.sml
26 0.01%15/Sep/14 07:10/~lp15/MLbook/programs/sample10.sml
26 0.50% 9/Sep/14 17:52/~lp15/papers/Auth/lics-slides.pdf
26 14/Sep/14 17:06/~lp15/papers/recur.html
26 0.05%13/Sep/14 19:07/~lp15/papers/Arith/Narayanan DATE.pdf
25  9/Sep/14 05:05/~lp15/papers/Deduction/
25 0.20%14/Sep/14 23:17/~lp15/papers/Arith/calculemus2008.pdf
25 15/Sep/14 07:04/~lp15/papers/Arith/atan-problem-1-weak.html
25 15/Sep/14 03:05/~lp15/papers/Workshop/participants.html
24 0.04%12/Sep/14 19:55/~lp15/papers/Arith/FroCoS-2013-invited.pdf
24 14/Sep/14 06:28/~lp15/MLbook/disclaimer.html
24 14/Sep/14 06:28/~lp15/MLbook/programs/ROOT.sml
24 0.05%11/Sep/14 14:18/~lp15/papers/Arith/pdpar2006.pdf
24 0.06%15/Sep/14 08:09/~lp15/papers/Arith/fmcad2009.pdf
24 0.05%13/Sep/14 08:41/~lp15/papers/Auth/ijcar2001.pdf
23 0.04%14/Sep/14 22:24/~lp15/Usage/
23 0.01%14/Sep/14 06:28/~lp15/MLbook/programs/sample9.sml
23 0.09%14/Sep/14 15:31/~lp15/papers/Isabelle/coding.pdf
23 0.13%11/Sep/14 00:27/~lp15/papers/Bella/accountability.pdf
22 0.01%14/Sep/14 06:28/~lp15/MLbook/programs/sample7.sml
22 14/Sep/14 13:50/~lp15/Pages/CL-English.html
22 14/Sep/14 13:50/~lp15/Grants/BeyondLinArith/
22 0.03%12/Sep/14 20:34/~lp15/papers/Arith/Overcoming.pdf
22 0.01%14/Sep/14 21:24/~lp15/MLbook/exercises/exer6.html
22 0.07%15/Sep/14 09:48/~lp15/papers/Bella/purchase.pdf
21 13/Sep/14 03:44/~lp15/Pages/
21 0.02%14/Sep/14 19:32/~lp15/papers/Reviews/construct.pdf
21 0.04%11/Sep/14 17:51/~lp15/papers/Arith/ITP-2012-invited.pdf
20 0.10%11/Sep/14 21:35/~lp15/papers/Automation/translations-jar.pdf
20 12/Sep/14 20:10/~lp15/papers/Bella/
20 0.06%14/Sep/14 21:28/~lp15/papers/Auth/multicast_verification.pdf
20 0.09%11/Sep/14 10:37/~lp15/papers/Auth/SET-overview-IJIS.pdf
20 0.05%15/Sep/14 07:32/~lp15/papers/Notes/MOD-slides.pdf
20 0.01%13/Sep/14 20:03/~lp15/Usage/images/
20 0.07%13/Sep/14 21:18/~lp15/papers/Bella/registration.pdf
20 0.08%14/Sep/14 07:50/~lp15/papers/Sets/set-I.pdf
19 14/Sep/14 06:28/~lp15/MLbook/programs/notes.html
19 0.02%15/Sep/14 03:24/~lp15/papers/paulson.bib
19 0.04%13/Sep/14 20:25/~lp15/papers/Notes/strategy.pdf
18 0.10%15/Sep/14 02:59/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
18 14/Sep/14 06:29/~lp15/MLbook/first/programs/Lists-Trees.ML
18 0.05%14/Sep/14 08:13/~lp15/papers/Arith/case-splitting.pdf
18 0.05%15/Sep/14 04:50/~lp15/papers/Arith/lpar2007.pdf
18 0.11%12/Sep/14 21:50/~lp15/papers/UNITY/UNITY.pdf
18 1.10%15/Sep/14 03:27/~lp15/papers/Arith/FroCos-presentation.pdf
18 14/Sep/14 17:10/~lp15/MLbook/first/programs/Imperative.ML
18 0.21%12/Sep/14 00:10/~lp15/papers/Automation/info-and-comp.pdf
17 13/Sep/14 01:26/~lp15/Grants/arith.html
17 0.05%15/Sep/14 08:37/~lp15/papers/Workshop/papers/paulson.pdf
17 14/Sep/14 06:06/~lp15/papers/Workshop/matthews.html
17 0.04%11/Sep/14 21:58/~lp15/papers/Isabelle/Goedel-logic.pdf
17 0.03%13/Sep/14 20:53/~lp15/papers/Workshop/papers/matthews.pdf
17 0.09%13/Sep/14 23:20/~lp15/papers/Isabelle/Goedel-ar.pdf
17  9/Sep/14 22:17/~lp15/papers/Workshop/papers/
17 0.01%14/Sep/14 19:46/~lp15/papers/Arith/NFM2014-invited.pdf
17 14/Sep/14 14:50/~lp15/Grants/holisa.html
17 14/Sep/14 21:47/~lp15/Pages/ACS-proposals.html
17 0.03%14/Sep/14 23:55/~lp15/papers/Auth/lics.pdf
17 15/Sep/14 07:09/~lp15/Grants/temporal.html
17 0.10% 5/Sep/14 11:32/~lp15/papers/Deduction/lecture4.pdf
17 0.82% 4/Sep/14 20:27/~lp15/papers/Notes/LCF+.pdf
16 0.05%12/Sep/14 00:58/~lp15/papers/UNITY/ehmety-composition.pdf
16 13/Sep/14 19:04/~lp15/papers/Workshop/staples.html
16 0.03%10/Sep/14 20:15/~lp15/Grants/Chaieb-case.pdf
16 14/Sep/14 15:45/~lp15/MLbook/first/programs/
16 0.14%12/Sep/14 12:18/~lp15/Grants/Automation/poster.pdf
16 14/Sep/14 06:28/~lp15/MLbook/programs/sample8-2004.sml
16 0.04%10/Sep/14 04:25/~lp15/papers/UNITY/tphols01.pdf
16 0.04%14/Sep/14 06:09/~lp15/papers/Bella/dimacs97.pdf
16 0.22% 6/Sep/14 07:05/~lp15/papers/Notes/formalizing-abst-slides.pdf
16 0.04% 9/Sep/14 13:58/~lp15/papers/Workshop/papers/vigano.pdf
16 0.10%14/Sep/14 09:10/~lp15/papers/Auth/SET-overview-slides.pdf
16 0.07%15/Sep/14 01:02/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
16 0.01%15/Sep/14 09:09/~lp15/MLbook/first/programs/Hal.ML
16 0.17%13/Sep/14 13:31/~lp15/papers/Arith/NFM2014-slides.pdf
16 15/Sep/14 07:07/~lp15/MLbook/programs/sample3-old.sml
16 15/Sep/14 05:09/~lp15/Data/relevance/
15 15/Sep/14 05:05/~lp15/Data/ho-translations/
15 0.06%11/Sep/14 01:28/~lp15/papers/Automation/filtering.pdf
15 13/Sep/14 12:42/~lp15/Grants/auth.html
15 0.03%14/Sep/14 22:53/~lp15/Grants/Automation/final.pdf
15 13/Sep/14 20:03/~lp15/images/
15 0.01%15/Sep/14 09:09/~lp15/MLbook/programs/sample10-old.sml
15  9/Sep/14 06:58/~lp15/papers/Isabelle/
15 0.05%12/Sep/14 21:47/~lp15/papers/Automation/IJCAR2004.pdf
15 0.64%11/Sep/14 07:44/~lp15/papers/Arith/Overcoming-slides.pdf
15 0.03%14/Sep/14 17:02/~lp15/papers/Reports/CADE11.pdf
15 0.01%14/Sep/14 21:23/~lp15/MLbook/exercises/exer7.html
15 12/Sep/14 22:20/~lp15/papers/Kammueller/
15 0.02%13/Sep/14 11:34/~lp15/papers/Workshop/kammueller.pdf
15 0.06%14/Sep/14 10:47/~lp15/papers/Bella/esorics2000.pdf
15 14/Sep/14 06:29/~lp15/MLbook/StandardML.plist
15 0.21%12/Sep/14 00:58/~lp15/papers/Auth/ijcar2001-slides.pdf
15  7/Sep/14 05:28/~lp15/papers/Workshop/programme.html
15 0.16%14/Sep/14 01:18/~lp15/papers/Bella/TPHOLs03-slides.pdf
14 14/Sep/14 06:29/~lp15/MLbook/first/programs/ParsePrint.ML
14  9/Sep/14 17:29/~lp15/papers/Workshop/nipkow.html
14 0.25%15/Sep/14 06:15/~lp15/papers/Reports/TypeClasses.pdf
14 14/Sep/14 06:28/~lp15/MLbook/programs/sample8-old.sml
14 14/Sep/14 15:08/~lp15/MLbook/first/programs/Lambda.ML
14 0.12%11/Sep/14 16:38/~lp15/papers/Automation/reconstruction.pdf
14 0.01%14/Sep/14 16:56/~lp15/Sue/Cultures of Dance.ppt
14 0.05%13/Sep/14 03:29/~lp15/papers/Automation/jar-smt.pdf
14 0.66%29/Aug/14 14:21/~lp15/papers/Arith/ITP 2012 presentation.pdf
14 14/Sep/14 06:28/~lp15/MLbook/programs/sample9-2004.sml
14 14/Sep/14 03:07/~lp15/papers/Workshop/agerholm.html
14 0.02%11/Sep/14 16:55/~lp15/papers/Auth/security-protocols.pdf
14 0.02%15/Sep/14 08:25/~lp15/papers/Reports/CADE9.pdf
14 13/Sep/14 23:26/~lp15/Grants/Chaieb.html
14 14/Sep/14 06:28/~lp15/MLbook/exercises/disclaimer.html
13 0.01%14/Sep/14 15:56/~lp15/MLbook/exercises/exer3.html
13 0.01%14/Sep/14 06:28/~lp15/MLbook/programs/test10.sml
13 0.06%10/Sep/14 16:47/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
13 14/Sep/14 06:28/~lp15/MLbook/exercises/exer5.html
13 0.06%28/Aug/14 17:37/~lp15/papers/Automation/Huet colloquium.pdf
13 0.01%14/Sep/14 04:59/~lp15/Grants/UNITY/case.pdf
13 0.03%14/Sep/14 16:02/~lp15/papers/Workshop/papers/owens.pdf
13 14/Sep/14 06:29/~lp15/MLbook/first/programs/Functions.ML
13 0.05%12/Sep/14 05:43/~lp15/papers/Isabelle/sylow.pdf
13 0.05% 9/Sep/14 16:44/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
13 0.05%14/Sep/14 13:12/~lp15/papers/Sets/AC.pdf
13 0.04%12/Sep/14 12:38/~lp15/Grants/AutoPolyFun/case.pdf
12  6/Sep/14 19:56/~lp15/papers/Reviews/
12 0.01% 4/Sep/14 20:17/~lp15/papers/Notes/strategy-slides.pdf
12 0.02%14/Sep/14 23:52/~lp15/Grants/LEO-II/leo2-case.pdf
12 0.09%12/Sep/14 01:03/~lp15/papers/Automation/filtering-jal.pdf
12 0.03% 9/Sep/14 20:40/~lp15/papers/Workshop/papers/thompson.pdf
12 0.02% 4/Sep/14 20:30/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
12 0.17% 4/Sep/14 20:06/~lp15/papers/Arith/metit-slides.pdf
12 0.06%12/Sep/14 18:43/~lp15/papers/Sets/reflection-slides.pdf
12 0.08%13/Sep/14 17:17/~lp15/Data/relevance/tptp-2007-03-13.tbz
12 14/Sep/14 13:50/~lp15/MLbook/first/ERRATA1.txt
12 0.14% 6/Sep/14 15:15/~lp15/papers/Arith/Sogokon-nfm14.pdf
11 14/Sep/14 06:29/~lp15/MLbook/first/ERRATA3.txt
11 13/Sep/14 03:06/~lp15/papers/Workshop/kalvala.html
11 0.02% 9/Sep/14 17:49/~lp15/papers/Auth/auth-slides.pdf
11 0.01%15/Sep/14 00:59/~lp15/papers/Reviews/MLer.pdf
11 0.02% 9/Sep/14 12:03/~lp15/papers/Notes/leeds-notes.pdf
11 1.02%15/Sep/14 07:01/~lp15/Data/ho-translations/Abst.tbz
11 13/Sep/14 11:56/~lp15/papers/Workshop/thompson.html
11 0.06%13/Sep/14 22:15/~lp15/papers/Arith/cicm2012.pdf
10 15/Sep/14 09:38/~lp15/tmp/
10 0.09%14/Sep/14 18:52/~lp15/papers/Reports/Bridge-ml.pdf
10 0.01%15/Sep/14 09:51/~lp15/MLbook/first/ML-syntax.ps.gz
10 15/Sep/14 05:42/~lp15/papers/Workshop/paulson.html
10 12/Sep/14 18:36/~lp15/papers/Sets/ind-defs-slides.pdf
10 0.07%11/Sep/14 06:27/~lp15/papers/Workshop/papers/bednarczyk.pdf
10 10/Sep/14 06:42/~lp15/papers/Ballarin/
10  6/Sep/14 15:08/~lp15/papers/Workshop/futures.html
10 0.04%13/Sep/14 04:49/~lp15/papers/Automation/cade2011-sledge-smt.pdf
10 0.03%11/Sep/14 14:51/~lp15/papers/Sets/final.pdf
9 0.88% 6/Sep/14 09:37/~lp15/Data/ho-translations/Comb.tbz
9 14/Sep/14 19:35/~lp15/papers/Workshop/heule.html
9 0.06%11/Sep/14 09:05/~lp15/papers/UNITY/composition.pdf
9  4/Sep/14 20:04/~lp15/SpryAssets/
9 0.02%12/Sep/14 02:55/~lp15/papers/Workshop/vigano.pdf
9  7/Sep/14 10:25/~lp15/Data/ho-translations/Theories.tbz
9 14/Sep/14 00:31/~lp15/papers/Arith/RELEASE-NOTES.txt
9 0.03%11/Sep/14 22:44/~lp15/papers/Ballarin/aisc98.pdf
9 0.02%14/Sep/14 10:49/~lp15/papers/Automation/thf-sledge.pdf
9 0.03%11/Sep/14 16:40/~lp15/papers/Ballarin/coding.pdf
8 0.06% 4/Sep/14 20:07/~lp15/papers/Auth/tls-slides.pdf
8 2.41%13/Sep/14 21:05/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
8 3.79% 6/Sep/14 09:40/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 3.87%14/Sep/14 10:00/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
8 0.05% 9/Sep/14 13:18/~lp15/papers/Workshop/papers/rasmussen.pdf
8 0.07% 9/Sep/14 17:21/~lp15/papers/Reports/logics97.pdf
8 11/Sep/14 03:13/~lp15/Data/
8 0.01%14/Sep/14 15:15/~lp15/papers/Workshop/friedrich.pdf
8 14/Sep/14 06:29/~lp15/MLbook/first/ERRATA2.txt
8 13/Sep/14 18:54/~lp15/papers/Workshop/wolff.html
7 0.01% 8/Sep/14 23:57/~lp15/papers/Workshop/front.pdf
7  6/Sep/14 09:37/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 0.03%13/Sep/14 13:09/~lp15/papers/Workshop/papers/nipkow.pdf
7 0.57% 6/Sep/14 11:51/~lp15/papers/Isabelle/Goedel-slides.pdf
7 0.11%14/Sep/14 01:56/~lp15/papers/Reports/TypeClasses-slides.pdf
7 0.01%12/Sep/14 12:18/~lp15/Grants/Automation/case.pdf
7  6/Sep/14 22:22/~lp15/archive/ERRATA.txt
7 0.01% 9/Sep/14 17:07/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
7 0.15% 8/Sep/14 23:45/~lp15/papers/Automation/reconstruction-slides.pdf
7  6/Sep/14 22:09/~lp15/Templates/
7 0.01% 4/Sep/14 20:04/~lp15/papers/Auth/recur-slides.pdf
7 10/Sep/14 04:53/~lp15/MLbook/ERRATA.txt
7 0.02% 9/Sep/14 13:47/~lp15/papers/Workshop/papers/agerholm.pdf
7 10/Sep/14 23:01/~lp15/css/
6 0.01%13/Sep/14 07:15/~lp15/papers/Workshop/papers/ayari.pdf
6  6/Sep/14 22:20/~lp15/papers/Workshop/bednarczyk.txt
6 0.23%12/Sep/14 22:34/~lp15/Grants/BeyondLinArith/arith-poster.pdf
6 0.27% 9/Sep/14 06:12/~lp15/Sue/Phd-Poster.pdf
6 0.02% 5/Sep/14 19:52/~lp15/papers/Arith/Huang-3heuristics.pdf
6 6.64% 1/Sep/14 09:39/~lp15/archive/Isabelle2013-1.tar.gz
6 0.07% 7/Sep/14 09:53/~lp15/papers/Deduction/lecture2.pdf
6 0.02% 9/Sep/14 12:49/~lp15/papers/Workshop/papers/kalvala-linear.pdf
6  3/Sep/14 03:17/~lp15/Data/relevance/unfiltered-spass.txt
6 0.08% 9/Sep/14 17:27/~lp15/Grants/arith-case.pdf
6  2/Sep/14 17:53/~lp15/Data/relevance/unfiltered-vampire.txt
6  1/Sep/14 12:33/~lp15/Data/relevance/unfiltered-E.txt
6  8/Sep/14 18:29/~lp15/Sue/Cultures of Dance.html
6 0.27% 9/Sep/14 16:58/~lp15/Sue/Thesis-Appendices.pdf
6  4/Sep/14 19:46/~lp15/papers/Sets/AC-slides.pdf
5 0.10%29/Aug/14 01:13/~lp15/papers/Auth/dagstuhl2001-slides.pdf
5 0.01% 9/Sep/14 12:50/~lp15/papers/Workshop/papers/benini.pdf
5 0.03% 3/Sep/14 23:55/~lp15/papers/Auth/SET-document.pdf
5  5/Sep/14 11:16/~lp15/Grants/SET/case.pdf
5  5/Sep/14 05:12/~lp15/papers/Workshop/owens.txt
5 14/Sep/14 21:53/~lp15/MLbook/first/programs/edits.txt
5 0.07% 5/Sep/14 19:55/~lp15/Grants/BeyondLinArith/arith-case.pdf
5 0.07% 5/Sep/14 11:30/~lp15/papers/Deduction/lecture3.pdf
5 0.02%10/Sep/14 04:12/~lp15/papers/Arith/SNC2014-invited.pdf
5 10/Sep/14 07:32/~lp15/papers/Reports/blast-slides.pdf
5 0.03%11/Sep/14 07:07/~lp15/papers/Reports/lamport-paulson-types.pdf
5 0.01%14/Sep/14 10:12/~lp15/papers/Workshop/ayari.pdf
12013.97%14/Sep/14 16:56[not listed: 69 files]