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

Program started at Mon-06-Feb-2012 10:01.
Analysed requests from Fri-06-Jan-2012 04:34 to Mon-06-Feb-2012 09:48 (31.22 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 06-Feb-2012 10:01.

Successful requests: 14,698 (2,632)
Average successful requests per day: 470 (375)
Successful requests for pages: 3,422 (571)
Average successful requests for pages per day: 109 (81)
Failed requests: 471 (63)
Redirected requests: 172 (17)
Distinct files requested: 372 (218)
Distinct hosts served: 3,119 (647)
Unwanted logfile entries: 10,429
Data transferred: 3.80 gigabytes (715.61 megabytes)
Average data transferred per day: 124.66 megabytes (102.23 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 
Sun2170452+++++++++++++++++++++++++++++++
Mon2560576+++++++++++++++++++++++++++++++++++++++
Tue2206432+++++++++++++++++++++++++++++
Wed1673422+++++++++++++++++++++++++++++
Thu1917561++++++++++++++++++++++++++++++++++++++
Fri2158403+++++++++++++++++++++++++++
Sat2014576+++++++++++++++++++++++++++++++++++++++

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
644649.25%[unresolved numerical addresses]
235615.90%.com (Commercial)
1008 9.68%.in (India)
1636 8.96%.net (Networks)
684 1.91%.uk (United Kingdom)
118 1.74%.ua (Ukraine)
89 1.35%.jp (Japan)
250 0.94%.de (Germany)
339 0.86%.edu (USA Higher Education)
55 0.73%.ug (Uganda)
46 0.61%.id (Indonesia)
69 0.60%.pk (Pakistan)
226 0.58%.pl (Poland)
135 0.38%.ca (Canada)
37 0.38%.ro (Romania)
82 0.38%[domain not given]
44 0.36%.se (Sweden)
22 0.30%.th (Thailand)
45 0.30%.lk (Sri Lanka)
47 0.30%.ke (Kenya)
67 0.30%.gh (Ghana)
40 0.29%.es (Spain)
6 0.25%.ye (Yemen)
80 0.23%.it (Italy)
45 0.22%.au (Australia)
42 0.19%.mx (Mexico)
24 0.16%.cn (China)
19 0.15%.il (Israel)
30 0.15%.ru (Russia)
55 0.14%.nl (Netherlands)
6 0.14%.hu (Hungary)
10 0.14%.za (South Africa)
11 0.13%.sk (Slovakia)
15 0.13%.my (Malaysia)
6 0.11%.zw (Zimbabwe)
7 0.11%.tr (Turkey)
21 0.11%.br (Brazil)
9 0.11%.ie (Ireland)
55 0.11%.pt (Portugal)
8 0.09%.bd (Bangladesh)
11 0.09%.arpa (Arpanet)
24 0.09%.org (Non Profit Making Organisations)
17 0.09%[unknown domain]
50 0.08%.dk (Denmark)
61 0.08%.fr (France)
33 0.07%.hr (Croatia)
5 0.07%.bw (Botswana)
7 0.07%.co (Colombia)
30 0.06%.ch (Switzerland)
24 0.05%.no (Norway)
5 0.05%.be (Belgium)
3 0.05%.na (Namibia)
2 0.05%.om (Oman)
7 0.03%.vn (Vietnam)
22 0.03%.fi (Finland)
5 0.02%.nz (New Zealand)
3 0.02%.np (Nepal)
3 0.02%.jo (Jordan)
1 0.02%.mv (Maldives)
1 0.02%.rw (Rwanda)
1 0.02%.sa (Saudi Arabia)
12 0.02%.sg (Singapore)
5 0.02%.ph (Philippines)
3 0.01%.ba (Bosnia-Herzegovina)
3 0.01%.md (Moldova)
5 0.01%.cz (Czech Republic)
9 0.01%.gr (Greece)
1 0.01%.cu (Cuba)
1 0.01%.mil (USA Military)
1 0.01%.biz (Businesses)
28 0.01%.at (Austria)
4 0.01%.ar (Argentina)
2 .ir (Iran)
1 .ly (Libya)
1 .mt (Malta)
2 .bg (Bulgaria)
4 .cl (Chile)
1 .tt (Trinidad and Tobago)
2 .by (Belarus)
1 .lu (Luxembourg)
1 .ps (Occupied Palestinian Territory)
1 .lb (Lebanon)
3 .gov (USA Government)
1 .kr (South Korea)
1 .eg (Egypt)

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
132911.62%117
805 3.33%yandex.com
528 8.20%msn.com
414 0.64%cam.ac.uk
383 3.10%115
365 2.35%41
287 2.49%tataidc.co.in
230 1.09%virginmedia.com
223 1.61%vsnl.net.in
210 1.01%comcast.net
193 0.90%101
169 1.11%124
163 1.55%59
143 1.19%49
133 0.42%verizon.net
131 0.19%220.181
120 1.54%122.airtelbroadband.in
117 0.66%69
109 1.10%live.vodafone.in
107 0.23%109
853955.68%[not listed: 989 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
3179software
2770engineering
2303pdf
1801notes
650of
545for
363download
316in
298lecture
267on
242sommerville
241and
226free
213the
177equivalence
154model
148bca
147system
137by
131filetype:pdf
116a
114diploma
111waterfall
111fundamentals
108set
108class
104computer
95ghezzi
93paulson
91reservation
7570[not listed: 1,278 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
121841053OS unknown
29726865Windows
 5604445  Unknown Windows
 4051394  Windows XP
 2014  Windows 98
 185  Windows Server 2003
 63  Windows 2000
 252  Windows NT
 22  Windows ME
31199589Macintosh
4856460Unix
 853459  Linux
 21  BSD
 10  SunOS
5663416Known robots
630Symbian 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
7374200 OK
6845206 Partial content
172301 Document moved permanently
479304 Not modified since last retrieval
44403 Access forbidden
427404 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
0614 
1B- 10B4 
11B- 100B15 
101B- 1kB188 
1kB- 10kB4151 0.53%
10kB-100kB4317 4.03%
100kB- 1MB523174.11%
1MB- 10MB16413.10%
10MB-100MB14 8.22%

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
1044483.42%.pdf [Adobe Portable Document Format]
269 8.85%.gz [Gzip compressed files]
52 8.74%  .tar.gz [Compressed archives]
42 6.26%.tbz
7 0.51%.tgz
2288 0.40%[directories]
1134 0.31%.html [Hypertext Markup Language]
389 0.17%.jpg [JPEG graphics]
125 0.07%[not listed: 7 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
609661.35% 6/Feb/12 09:35/~lp15/papers/Notes/SE-I.pdf
1561 5.00% 6/Feb/12 06:59/~lp15/papers/Reports/equivclasses-slides.pdf
707 0.16% 6/Feb/12 09:36/~lp15/
427 0.02% 6/Feb/12 09:14/~lp15/MLbook/
351 0.14% 6/Feb/12 09:36/~lp15/images/larry-paulson.jpg
260 0.06% 6/Feb/12 09:44/~lp15/papers/Arith/
187 0.33% 6/Feb/12 07:21/~lp15/papers/Reports/fleuriot-kepler.pdf
182 0.16% 6/Feb/12 08:57/~lp15/papers/refereed.html
182 0.61% 5/Feb/12 18:44/~lp15/papers/Notes/Founds-FP.pdf
151 4.86% 5/Feb/12 13:29/~lp15/papers/Reports/thesis.pdf
131 0.01% 6/Feb/12 08:19/~lp15/MLbook/programs/
125 0.76% 5/Feb/12 22:09/~lp15/papers/Auth/jcs.pdf
97 0.01% 5/Feb/12 23:27/~lp15/MLbook/general.html
75 0.36% 6/Feb/12 06:41/~lp15/papers/Reports/equivclasses.pdf
72 0.01% 5/Feb/12 23:53/~lp15/Grants/AutoPolyFun/
70 0.01% 4/Feb/12 06:11/~lp15/papers/Sets/
67 0.22% 5/Feb/12 22:18/~lp15/Pages/Munich-slides.pdf
64 0.01% 5/Feb/12 14:54/~lp15/papers/lecture-courses.html
61 0.01% 5/Feb/12 18:58/~lp15/archive/
59 0.12% 3/Feb/12 14:59/~lp15/papers/Bella/esorics98.pdf
59 0.25% 5/Feb/12 17:43/~lp15/papers/Reports/TPHOLs05.pdf
57 0.01% 5/Feb/12 22:46/~lp15/papers/Auth/
57 0.11% 6/Feb/12 05:42/~lp15/papers/Auth/SET-overview-2002.pdf
55  5/Feb/12 22:11/~lp15/MLbook/pub-details.html
54 0.01% 5/Feb/12 13:12/~lp15/Pages/cv.html
54 0.01% 6/Feb/12 07:44/~lp15/papers/
50 0.01% 3/Feb/12 06:01/~lp15/papers/protocols.html
49 0.26% 5/Feb/12 06:22/~lp15/papers/Bella/smartcards-jcs.pdf
48 0.23% 5/Feb/12 17:53/~lp15/papers/Arith/calculemus2008.pdf
48  6/Feb/12 05:24/~lp15/MLbook/exercises/
46 0.05% 5/Feb/12 07:34/~lp15/papers/Reports/mutil.pdf
45 0.01% 5/Feb/12 13:35/~lp15/MLbook/ERRATA.html
44  5/Feb/12 16:32/~lp15/MLbook/programs/sample2.sml.gz
44 0.01% 5/Feb/12 09:47/~lp15/papers/isabelle.html
44 0.06% 5/Feb/12 08:10/~lp15/Usage/
43 0.08% 6/Feb/12 05:50/~lp15/papers/Arith/Narayanan DATE.pdf
42 0.26% 5/Feb/12 12:34/~lp15/papers/Sets/set-II.pdf
42 0.06% 5/Feb/12 22:38/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
39  5/Feb/12 09:40/~lp15/papers/Reports/
38  5/Feb/12 09:42/~lp15/Grants/arith.html
38 0.08% 5/Feb/12 19:31/~lp15/papers/Arith/pdpar2006.pdf
38 0.17% 6/Feb/12 09:00/~lp15/papers/Kammueller/sylow.pdf
36 0.14%29/Jan/12 16:22/~lp15/papers/Reports/popl82.pdf
36 0.07% 4/Feb/12 17:16/~lp15/Pages/vita.pdf
36 0.01% 6/Feb/12 07:44/~lp15/papers/Automation/
36 0.11% 2/Feb/12 12:01/~lp15/papers/Arith/Hscc09.pdf
35 0.01% 4/Feb/12 13:02/~lp15/MLbook/review.html
35 0.13% 4/Feb/12 09:23/~lp15/papers/Auth/tls.pdf
34  6/Feb/12 07:44/~lp15/papers/Notes/
34  5/Feb/12 11:25/~lp15/papers/books.html
33 0.03% 4/Feb/12 17:16/~lp15/images/pilkington.jpg
32 0.13% 5/Feb/12 22:48/~lp15/papers/UNITY/Mechanizing-compositional.pdf
31 0.42% 5/Feb/12 12:52/~lp15/papers/Reports/TypeClasses.pdf
31 0.08% 3/Feb/12 10:18/~lp15/papers/Arith/lpar2007.pdf
31 0.31% 3/Feb/12 14:44/~lp15/papers/Arith/MetiTarski-jar.pdf
31  5/Feb/12 09:39/~lp15/papers/workshop.html
30  5/Feb/12 09:48/~lp15/papers/UNITY/
30  5/Feb/12 16:30/~lp15/Grants/leo2.html
29 0.13% 5/Feb/12 15:04/~lp15/papers/Bella/certified-email.pdf
28  5/Feb/12 13:39/~lp15/Pages/CL-English.html
28 31/Jan/12 23:15/~lp15/Pages/ACS-proposals.html
27 0.09% 3/Feb/12 15:08/~lp15/papers/Bella/nonrepudiation.pdf
27 0.01% 5/Feb/12 22:17/~lp15/papers/invited.html
27  5/Feb/12 18:58/~lp15/papers/hol.html
25 0.12% 5/Feb/12 22:36/~lp15/papers/Sets/milner-ind-defs.pdf
24  6/Feb/12 07:48/~lp15/Grants/
24 0.10%31/Jan/12 16:10/~lp15/papers/Bella/accountability.pdf
24 0.04% 5/Feb/12 16:59/~lp15/papers/Auth/yahalom.pdf
23 0.05%26/Jan/12 05:27/~lp15/papers/Arith/fmcad2009.pdf
23  2/Feb/12 07:37/~lp15/papers/recur.html
22 0.13% 3/Feb/12 11:31/~lp15/papers/Auth/SET-overview-IJIS.pdf
22 0.06% 4/Feb/12 09:51/~lp15/papers/Bella/cav98.pdf
22  5/Feb/12 07:11/~lp15/MLbook/programs/sample4.sml.gz
21  5/Feb/12 16:32/~lp15/MLbook/programs/sample3.sml.gz
21  6/Feb/12 05:57/~lp15/papers/Arith/qepcad-for-mac.html
21  2/Feb/12 07:32/~lp15/Grants/Automation/
20 0.05%23/Jan/12 10:03/~lp15/papers/Bella/dimacs97.pdf
20  5/Feb/12 17:06/~lp15/MLbook/first/
20 0.05% 2/Feb/12 12:03/~lp15/Grants/AutoPolyFun/case.pdf
20 0.03% 3/Feb/12 09:04/~lp15/papers/Reports/CADE9.pdf
20  1/Feb/12 04:23/~lp15/MLbook/exercises/exer2.html
19 0.25%30/Jan/12 20:49/~lp15/papers/Notes/formalizing-abst-slides.pdf
19 0.06% 4/Feb/12 12:22/~lp15/papers/Bella/purchase.pdf
18 0.06% 5/Feb/12 20:21/~lp15/papers/UNITY/ehmety-composition.pdf
18 0.01% 5/Feb/12 22:52/~lp15/MLbook/exercises/exer7.html
17 0.08% 5/Feb/12 14:15/~lp15/papers/Notes/MOD-slides.pdf
17  5/Feb/12 13:13/~lp15/papers/Arith/RELEASE-NOTES.txt
17  6/Feb/12 04:24/~lp15/papers/Workshop/
17  2/Feb/12 13:07/~lp15/papers/Arith/atan-problem-1-weak.html
17 0.06% 5/Feb/12 09:14/~lp15/papers/Sets/AC.pdf
17 0.12%30/Jan/12 17:10/~lp15/papers/Sets/set-I.pdf
16  2/Feb/12 07:05/~lp15/papers/Deduction/
16 0.30% 2/Feb/12 08:33/~lp15/papers/Auth/lics-slides.pdf
16  5/Feb/12 22:33/~lp15/MLbook/StandardML.plist
16 0.04% 6/Feb/12 04:12/~lp15/papers/Auth/ijcar2001.pdf
16 0.01% 6/Feb/12 09:48/~lp15/Grants/leo2-case.pdf
15 0.05% 2/Feb/12 04:30/~lp15/papers/UNITY/tphols01.pdf
15 0.01% 3/Feb/12 05:57/~lp15/MLbook/exercises/exer6.html
15 0.36% 1/Feb/12 08:55/~lp15/papers/Arith/metit-slides.pdf
15 0.07% 5/Feb/12 23:13/~lp15/papers/Automation/meng-termination.pdf
15 0.03% 2/Feb/12 13:12/~lp15/papers/Auth/lics.pdf
15 0.03% 6/Feb/12 05:23/~lp15/papers/Automation/paar.pdf
15  5/Feb/12 07:11/~lp15/MLbook/programs/sample5.sml.gz
15 0.03% 1/Feb/12 06:40/~lp15/papers/Bella/registration.pdf
14 0.03% 2/Feb/12 04:18/~lp15/papers/Notes/leeds-notes.pdf
14 0.03% 3/Feb/12 15:01/~lp15/papers/Reports/CADE11.pdf
14  2/Feb/12 12:15/~lp15/Grants/holisa.html
14 0.05% 3/Feb/12 14:46/~lp15/papers/Bella/esorics2000.pdf
14 0.06% 6/Feb/12 08:19/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
14 0.16%31/Jan/12 06:53/~lp15/Grants/arith-case.pdf
13 0.01%31/Jan/12 05:53/~lp15/MLbook/exercises/exer3.html
13 0.05%31/Jan/12 18:45/~lp15/papers/Arith/case-splitting-stats.csv
13 23/Jan/12 18:17/~lp15/Grants/automation.html
13 0.05% 5/Feb/12 20:46/~lp15/papers/Reports/blast.pdf
13 0.11% 2/Feb/12 05:49/~lp15/papers/Reports/intro-to-isabelle.pdf
13 0.23% 5/Feb/12 16:53/~lp15/papers/Sets/constructible-theory.pdf
13 0.05% 4/Feb/12 18:28/~lp15/papers/Sets/reflection-slides.pdf
13 30/Jan/12 21:41/~lp15/MLbook/programs/sample9.sml.gz
13 0.07%30/Jan/12 09:20/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.16%30/Jan/12 13:58/~lp15/papers/Bella/TPHOLs03-slides.pdf
12 0.05% 3/Feb/12 11:33/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
12 0.04% 2/Feb/12 08:38/~lp15/papers/Workshop/papers/thompson.pdf
12 0.03% 4/Feb/12 12:28/~lp15/papers/Notes/strategy.pdf
12 31/Jan/12 04:29/~lp15/papers/Ballarin/
12  5/Feb/12 16:32/~lp15/MLbook/programs/ROOT.sml.gz
12 0.04% 2/Feb/12 08:54/~lp15/papers/Workshop/papers/owens.pdf
12 0.09%28/Jan/12 12:56/~lp15/papers/UNITY/UNITY.pdf
12 0.06% 3/Feb/12 12:44/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
12  5/Feb/12 23:54/~lp15/Grants/SET/
12 0.01% 1/Feb/12 10:48/~lp15/Pages/Top100Theorems.html
12 0.08% 2/Feb/12 11:40/~lp15/papers/Workshop/papers/kammueller.pdf
11 0.07%30/Jan/12 07:44/~lp15/papers/Automation/translations-jar.pdf
11 0.07% 5/Feb/12 21:46/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
11 26/Jan/12 09:02/~lp15/papers/Bella/
11 0.03% 2/Feb/12 11:10/~lp15/papers/Auth/multicast_verification.pdf
11 0.05% 5/Feb/12 23:22/~lp15/papers/Automation/translations.pdf
11 31/Jan/12 09:28/~lp15/MLbook/programs/sample10.sml.gz
11  5/Feb/12 18:58/~lp15/papers/Kammueller/
11 0.03% 6/Feb/12 09:26/~lp15/papers/Sets/final.pdf
10 0.01%31/Jan/12 07:00/~lp15/papers/Notes/strategy-slides.pdf
10 31/Jan/12 18:21/~lp15/MLbook/exercises/exer4.html
10  5/Feb/12 06:23/~lp15/MLbook/disclaimer.html
10 24/Jan/12 16:16/~lp15/MLbook/exercises/exer5.html
10 0.06%29/Jan/12 16:22/~lp15/papers/UNITY/composition.pdf
10 0.07%22/Jan/12 22:13/~lp15/papers/Sets/constructible-slides.pdf
10 0.03% 4/Feb/12 10:00/~lp15/papers/Ballarin/aisc98.pdf
10 1.17% 3/Feb/12 13:17/~lp15/papers/Arith/qepcad-B.1.65.Mac-10.6.tbz
10 0.04% 2/Feb/12 10:23/~lp15/papers/Automation/cade2011-sledge-smt.pdf
10  4/Feb/12 14:14/~lp15/Grants/UNITY/
10 0.09% 6/Feb/12 09:40/~lp15/papers/Automation/info-and-comp.pdf
10 0.04% 4/Feb/12 18:27/~lp15/papers/Sets/reflection.pdf
9  4/Feb/12 15:18/~lp15/tmp/
9 0.03%28/Jan/12 14:07/~lp15/papers/Workshop/papers/benini.pdf
9  5/Feb/12 07:11/~lp15/MLbook/programs/sample7.sml.gz
9 0.07% 2/Feb/12 07:39/~lp15/papers/Auth/tls-slides.pdf
9 0.04% 5/Feb/12 22:17/~lp15/papers/Automation/Huet colloquium.pdf
9 0.07% 5/Feb/12 13:57/~lp15/papers/Automation/reconstruction.pdf
9 30/Jan/12 20:32/~lp15/MLbook/programs/sample8.sml.gz
9 0.01%28/Jan/12 07:53/~lp15/papers/Reviews/construct.pdf
9 0.03%28/Jan/12 06:57/~lp15/papers/Automation/IJCAR2004.pdf
9 0.06%30/Jan/12 11:26/~lp15/papers/Workshop/papers/bednarczyk.pdf
9 0.13%30/Jan/12 00:50/~lp15/papers/Deduction/lecture3.pdf
9 29/Jan/12 17:32/~lp15/MLbook/exercises/exer8.html
9 0.12%25/Jan/12 01:08/~lp15/papers/Auth/dagstuhl2003-slides.pdf
9 0.37%27/Jan/12 09:42/~lp15/Grants/arith-poster.pdf
8  5/Feb/12 10:32/~lp15/Sue/
8 0.03% 2/Feb/12 11:31/~lp15/papers/Workshop/papers/staples.pdf
8 31/Jan/12 14:12/~lp15/MLbook/first/programs/
8 0.04%30/Jan/12 12:35/~lp15/papers/Automation/filtering-jal.pdf
8 0.10% 5/Feb/12 22:49/~lp15/papers/Bella/purchase-JAR.pdf
8 0.06%25/Jan/12 07:13/~lp15/Data/relevance/tptp-2007-03-13.tbz
8 0.04%29/Jan/12 04:06/~lp15/papers/Reports/logics97.pdf
8  2/Feb/12 07:33/~lp15/Grants/LEO-II/
8 20/Jan/12 06:53/~lp15/papers/Sets/AC-slides.pdf
7  4/Feb/12 12:46/~lp15/MLbook/programs/notes.html
7 31/Jan/12 04:29/~lp15/papers/Reviews/
7 0.01% 2/Feb/12 11:11/~lp15/papers/paulson.bib
7 1.06%27/Jan/12 04:23/~lp15/archive/Isabelle2005.tar.gz
7 0.01% 1/Feb/12 07:37/~lp15/papers/Auth/auth-slides.pdf
7 0.03% 5/Feb/12 09:03/~lp15/papers/Workshop/papers/nipkow.pdf
7 30/Jan/12 02:25/~lp15/MLbook/programs/sample8-2004.sml.gz
7 0.03%28/Jan/12 15:04/~lp15/papers/Workshop/papers/voelker.pdf
7 0.03%30/Jan/12 12:28/~lp15/papers/Workshop/papers/matthews.pdf
7 0.02%28/Jan/12 10:55/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
7 0.51% 3/Feb/12 14:24/~lp15/papers/Arith/metit.tgz
7 4.59%24/Jan/12 14:17/~lp15/archive/Isabelle2011.tar.gz
7 23/Jan/12 19:01/~lp15/MLbook/ERRATA.txt
7 0.03%24/Jan/12 03:28/~lp15/papers/Workshop/papers/agerholm.pdf
7 0.03%28/Jan/12 21:47/~lp15/papers/Ballarin/coding.pdf
7 29/Jan/12 12:49/~lp15/Data/relevance/
6 0.01%23/Jan/12 17:10/~lp15/papers/Sets/constructible-abstract.pdf
6 30/Jan/12 12:30/~lp15/Data/ho-translations/
6 30/Jan/12 02:25/~lp15/MLbook/programs/test10.sml.gz
6  5/Feb/12 08:31/~lp15/Pages/
6 0.03%16/Jan/12 18:33/~lp15/papers/Automation/filtering.pdf
6 0.15%30/Jan/12 07:27/~lp15/papers/Auth/dagstuhl2001-slides.pdf
6  2/Feb/12 13:08/~lp15/papers/Arith/INITIO.c
6 0.01%28/Jan/12 20:23/~lp15/Grants/SET/case.pdf
6 0.14%31/Jan/12 05:53/~lp15/Grants/Automation/poster.pdf
6 0.09%27/Jan/12 14:38/~lp15/papers/Deduction/lecture1.pdf
6 16/Jan/12 22:27/~lp15/papers/Sets/ind-defs-slides.pdf
6 27/Jan/12 13:51/~lp15/Grants/Automation/case.pdf
6 0.04%28/Jan/12 23:07/~lp15/papers/Workshop/papers/vigano.pdf
6 31/Jan/12 00:37/~lp15/MLbook/programs/sample8-old.sml.gz
6 0.03%19/Jan/12 06:48/~lp15/papers/Workshop/papers/rasmussen.pdf
6 31/Jan/12 14:59/~lp15/Grants/temporal-final.pdf
5 0.01%30/Jan/12 09:09/~lp15/archive/Isabelle86.tar.gz
5 0.02% 5/Feb/12 12:48/~lp15/papers/Auth/SET-document.pdf
5 0.02% 5/Feb/12 19:39/~lp15/papers/Arith/case-splitting.pdf
5  1/Feb/12 09:07/~lp15/papers/Workshop/owens.txt
5 0.02%30/Jan/12 07:54/~lp15/papers/Workshop/papers/kalvala-linear.pdf
5 0.01%29/Jan/12 12:59/~lp15/papers/Workshop/vigano.pdf
5 0.02%28/Jan/12 21:53/~lp15/Pages/harrison-real.pdf
5 0.10% 4/Feb/12 17:39/~lp15/papers/Automation/reconstruction-slides.pdf
5  5/Feb/12 10:32/~lp15/Sue/Sue Paulson.jpg
5  3/Feb/12 12:26/~lp15/Data/ho-translations/Theories.tbz
5 0.05%30/Jan/12 14:26/~lp15/papers/Auth/SET-overview-slides.pdf
5 0.02% 4/Feb/12 14:03/~lp15/papers/Arith/Narayanan TR.pdf
5 28/Jan/12 10:01/~lp15/Data/relevance/unfiltered-spass.txt
5  3/Feb/12 11:07/~lp15/MLbook/exercises/disclaimer.html
5 28/Jan/12 18:13/~lp15/Data/relevance/unfiltered-E.txt
5  5/Feb/12 18:47/~lp15/papers/Workshop/wolff.html
5 31/Jan/12 16:15/~lp15/archive/cant-ozols.ps.gz
249 8.64% 6/Feb/12 07:33[not listed: 106 files]

This analysis was produced by analog 6.0.
Running time: 2 seconds.

(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)