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

Program started at Mon-20-Apr-2015 15:36.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-20-Apr-2015 15:23 (166.01 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 20-Apr-2015 15:36.

Successful requests: 17,596 (3,416)
Average successful requests per day: 105 (487)
Successful requests for pages: 5,030 (892)
Average successful requests for pages per day: 30 (127)
Failed requests: 768 (141)
Redirected requests: 78 (22)
Distinct files requested: 464 (298)
Distinct hosts served: 3,493 (832)
Corrupt logfile lines: 1
Unwanted logfile entries: 15,273
Data transferred: 5.49 gigabytes (1.12 gigabytes)
Average data transferred per day: 33.84 megabytes (163.30 megabytes)

Daily Summary

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

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 25 requests for pages or part thereof.

dayreqspages 
Sun2587728++++++++++++++++++++++++++++++
Mon2775781++++++++++++++++++++++++++++++++
Tue2044593++++++++++++++++++++++++
Wed3495991++++++++++++++++++++++++++++++++++++++++
Thu1925616+++++++++++++++++++++++++
Fri2682738++++++++++++++++++++++++++++++
Sat2088583++++++++++++++++++++++++

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
452821.93%.com (Commercial)
127621.84%.uk (United Kingdom)
502921.75%[unresolved numerical addresses]
1627 8.86%.net (Networks)
138 6.83%.fr (France)
855 2.41%.de (Germany)
565 2.24%[domain not given]
357 1.68%.in (India)
598 1.54%.edu (USA Higher Education)
280 1.25%.cn (China)
265 1.22%[unknown domain]
16 1.12%.dk (Denmark)
26 0.96%.org (Non Profit Making Organisations)
157 0.51%.br (Brazil)
80 0.44%.ca (Canada)
268 0.44%.ru (Russia)
90 0.39%.se (Sweden)
112 0.27%.jp (Japan)
38 0.25%.nz (New Zealand)
131 0.25%.tr (Turkey)
58 0.24%.pk (Pakistan)
73 0.23%.nl (Netherlands)
72 0.21%.au (Australia)
40 0.21%.cz (Czech Republic)
55 0.18%.it (Italy)
47 0.18%.mx (Mexico)
50 0.18%.pl (Poland)
25 0.16%.pt (Portugal)
25 0.15%.ch (Switzerland)
38 0.15%.hu (Hungary)
23 0.14%.np (Nepal)
102 0.13%.gr (Greece)
9 0.13%.ro (Romania)
44 0.12%.fi (Finland)
45 0.12%.ke (Kenya)
7 0.11%.gt (Guatemala)
39 0.10%.gov (USA Government)
40 0.09%.es (Spain)
2 0.08%.cu (Cuba)
38 0.08%.sg (Singapore)
10 0.07%.za (South Africa)
25 0.06%.mm (Myanmar)
8 0.06%.gh (Ghana)
19 0.06%.ph (Philippines)
3 0.05%.sa (Saudi Arabia)
3 0.04%.kz (Kazakhstan)
19 0.04%.be (Belgium)
19 0.04%.ug (Uganda)
10 0.04%.vn (Vietnam)
18 0.04%.at (Austria)
16 0.04%.th (Thailand)
3 0.03%.ae (United Arab Emirates)
17 0.02%.co (Colombia)
13 0.02%.ar (Argentina)
1 0.02%.na (Namibia)
1 0.02%.bh (Bahrain)
1 0.02%.zw (Zimbabwe)
4 0.01%.ma (Morocco)
12 0.01%.is (Iceland)
7 0.01%.id (Indonesia)
5 0.01%.st (Saint Tome and Principe)
6 0.01%.no (Norway)
3 0.01%.us (United States)
4 0.01%.bg (Bulgaria)
45 0.01%.il (Israel)
2 0.01%.hk (Hong Kong)
1 0.01%.io (British Indian Ocean Territory)
4 0.01%.sk (Slovakia)
5 0.01%.tw (Taiwan)
1 0.01%.uz (Uzbekistan)
1 0.01%.lk (Sri Lanka)
4 .hr (Croatia)
1 .ly (Libya)
7 .uy (Uruguay)
1 .ee (Estonia)
11 .ie (Ireland)
1 .mil (USA Military)
1 .my (Malaysia)
1 .cy (Cyprus)
5 .ua (Ukraine)
3 .ba (Bosnia-Herzegovina)
1 .lb (Lebanon)
1 .kh (Cambodia)
1 .am (Armenia)
2 .lt (Lithuania)
1 .by (Belarus)
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
122510.18%msn.com
111921.31%cam.ac.uk
723 4.02%amazonaws.com
565 2.24%[domain not given]
462 1.30%yandex.com
308 1.00%your-server.de
297 1.54%117
265 1.22%[unknown domain]
256 1.20%cnsat.com.cn
235 1.24%virginm.net
232 0.76%baidu.com
231 0.69%106
219 0.58%t-ipconnect.de
206 1.13%212.33
197 0.84%comcast.net
192 0.46%verizon.net
192 0.47%rr.com
183 page2rss.com
180 1.10%115
157 0.56%41
1015248.14%[not listed: 1,105 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
255software
161engineering
118notes
117pdf
85in
54of
45some
45failures
36on
33engineer
32computer
30hindi
27health
27phd
25thesis
25age
25old
17i.pdf
16http://www.cl.cam.ac.uk/~lp15/papers/notes/se
15equivalence
15a
15www.analzz.com
12relation
12class
111
11for
11download
10protocols
10book
10and
452[not listed: 222 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
140061899OS unknown
278421329Windows
 67931032  Unknown Windows
 972281  Windows XP
 496  Windows 98
 85  Windows 2000
 72  Windows NT
 122  Windows Server 2003
 11  Windows ME
32673729Macintosh
42432721Unix
 2371702  Linux
 2013  BSD
 374  Other Unix
 42  SunOS
5612338Known robots
650Symbian 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
10908200 OK
5871206 Partial content
78301 Document moved permanently
817304 Not modified since last retrieval
273403 Access forbidden
489404 Document not found
6405 Method not allowed

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
0934 
1B- 10B10 
11B- 100B0 
101B- 1kB180 
1kB- 10kB2751 0.20%
10kB-100kB8638 5.98%
100kB- 1MB447631.73%
1MB- 10MB54828.03%
10MB-100MB5934.05%

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
1068859.01%.pdf [Adobe Portable Document Format]
21130.93%.gz [Gzip compressed files]
10130.78%  .tar.gz [Compressed archives]
47 7.35%.tbz
843 0.82%.jpg [JPEG graphics]
7 0.64%.tgz
3321 0.43%[directories]
3 0.37%.zip [Zip archives]
1709 0.26%.html [Hypertext Markup Language]
767 0.19%[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
2343 5.87%20/Apr/15 13:27/~lp15/papers/Reports/equivclasses-slides.pdf
182611.54%20/Apr/15 14:24/~lp15/papers/Notes/SE-I.pdf
783 0.13%20/Apr/15 14:53/~lp15/
601 7.31%20/Apr/15 14:03/~lp15/papers/Reports/thesis.pdf
425 0.02%20/Apr/15 15:19/~lp15/MLbook/
393 0.06%20/Apr/15 14:57/~lp15/papers/Formath/
366 0.45%20/Apr/15 14:29/~lp15/images/larry-home-small.jpg
353 0.32%20/Apr/15 14:29/~lp15/images/acm-logo.jpg
348 0.11%20/Apr/15 15:15/~lp15/papers/refereed.html
347 1.86%20/Apr/15 00:37/~lp15/papers/Formath/Goedel-ar.pdf
301 6.93%19/Apr/15 23:54/~lp15/papers/Formath/Goedel-slides.pdf
255 0.04%20/Apr/15 10:32/~lp15/papers/Arith/
235 0.52%20/Apr/15 15:06/~lp15/papers/Notes/Founds-FP.pdf
217 0.01%20/Apr/15 12:00/~lp15/MLbook/programs/
202 3.72%19/Apr/15 14:40/~lp15/Sue/Thesis.pdf
176 0.32%17/Apr/15 09:19/~lp15/papers/Reports/popl82.pdf
172 1.26%20/Apr/15 13:05/~lp15/papers/Isabelle/Goedel-ar.pdf
160 0.43%20/Apr/15 08:33/~lp15/papers/Formath/Goedel-logic-mine.pdf
148 0.33%20/Apr/15 04:34/~lp15/papers/Reports/fleuriot-kepler.pdf
143 0.45%20/Apr/15 08:32/~lp15/papers/Reports/equivclasses.pdf
120 0.20%20/Apr/15 11:57/~lp15/papers/Bella/esorics98.pdf
118 0.50%20/Apr/15 01:04/~lp15/papers/Auth/jcs.pdf
118 0.23%20/Apr/15 14:40/~lp15/papers/Isabelle/aisc98.pdf
117 0.02%20/Apr/15 14:30/~lp15/Sue/
109 0.01%20/Apr/15 03:45/~lp15/papers/Automation/
97 0.02%20/Apr/15 12:22/~lp15/Pages/Scream.html
95 0.10%20/Apr/15 04:54/~lp15/papers/Reports/mutil.pdf
86 0.22%18/Apr/15 11:39/~lp15/papers/Formath/automata.pdf
85 0.01%20/Apr/15 12:00/~lp15/MLbook/programs/sample2.sml
84 0.02%20/Apr/15 11:35/~lp15/papers/Auth/
82 20/Apr/15 12:08/~lp15/MLbook/exercises/
82 0.01%20/Apr/15 14:51/~lp15/papers/lecture-courses.html
81 0.30%20/Apr/15 12:13/~lp15/papers/Bella/smartcards-jcs.pdf
76 0.19%20/Apr/15 11:45/~lp15/papers/Formath/AC.pdf
72 0.18%20/Apr/15 14:06/~lp15/papers/Auth/tls.pdf
70 0.01%20/Apr/15 12:02/~lp15/MLbook/programs/sample3.sml
69 0.26%20/Apr/15 08:33/~lp15/papers/Formath/set-I.pdf
67 0.01%17/Apr/15 22:05/~lp15/MLbook/ERRATA.html
61 19/Apr/15 12:04/~lp15/papers/
61 0.01%20/Apr/15 14:56/~lp15/papers/Reports/
59 19/Apr/15 15:13/~lp15/papers/Arith/download.html
58 0.25%18/Apr/15 20:52/~lp15/Pages/Munich-slides.pdf
56 0.46%20/Apr/15 12:56/~lp15/papers/Arith/MetiTarski-jar.pdf
56 0.01%20/Apr/15 12:06/~lp15/MLbook/programs/sample4.sml
56 0.01%20/Apr/15 13:34/~lp15/Grants/SET/
54 19/Apr/15 20:35/~lp15/papers/UNITY/
53 20/Apr/15 01:51/~lp15/Pages/cv.html
53 0.01%20/Apr/15 14:30/~lp15/archive/
52 0.08%20/Apr/15 01:50/~lp15/Pages/vita.pdf
52 20/Apr/15 15:00/~lp15/papers/Workshop/
51 0.08%20/Apr/15 01:32/~lp15/papers/Automation/meng-termination.pdf
51 0.12%18/Apr/15 09:55/~lp15/papers/Bella/accountability.pdf
50 0.05%18/Apr/15 18:51/~lp15/papers/Auth/SET-overview-2002.pdf
49 0.21%20/Apr/15 15:12/~lp15/papers/Automation/filtering.pdf
49 0.06%18/Apr/15 06:28/~lp15/Grants/LEO-II/leo2-case.pdf
49 0.01%20/Apr/15 10:19/~lp15/MLbook/review.html
49 0.01%19/Apr/15 23:31/~lp15/papers/Isabelle/
49 0.03%20/Apr/15 12:53/~lp15/papers/Reviews/construct.pdf
49 0.03%20/Apr/15 15:06/~lp15/Sue/Sue Paulson.jpg
49 20/Apr/15 14:46/~lp15/MLbook/pub-details.html
49 0.39%18/Apr/15 07:21/~lp15/papers/Arith/SNC2014-slides.pdf
49 0.18%20/Apr/15 08:33/~lp15/papers/Formath/set-II.pdf
48 0.03%20/Apr/15 12:36/~lp15/MLbook/first/ML-syntax.ps.gz
48 0.11%20/Apr/15 13:50/~lp15/papers/Workshop/papers/voelker.pdf
48 20/Apr/15 05:30/~lp15/papers/workshop.html
47 0.01%20/Apr/15 12:08/~lp15/MLbook/exercises/exer2.html
46 0.08%20/Apr/15 00:37/~lp15/papers/Formath/Goedel-logic.pdf
46 20/Apr/15 14:29/~lp15/MLbook/general.html
46 0.46%20/Apr/15 08:32/~lp15/papers/Reports/TypeClasses.pdf
46 0.01%19/Apr/15 06:12/~lp15/MLbook/exercises/exer8.html
46 0.01%20/Apr/15 05:06/~lp15/Grants/UNITY/
44 19/Apr/15 09:32/~lp15/papers/hol.html
43 0.15%19/Apr/15 15:04/~lp15/papers/Workshop/papers/vigano.pdf
43 19/Apr/15 07:25/~lp15/papers/Arith/qepcad-for-mac.html
40 19/Apr/15 20:46/~lp15/MLbook/programs/ROOT.sml
39 0.08%20/Apr/15 15:23/~lp15/papers/Reports/blast.pdf
39 0.02%20/Apr/15 01:50/~lp15/images/pilkington.jpg
38 0.10%18/Apr/15 22:31/~lp15/papers/Isabelle/coding.pdf
38 18/Apr/15 21:31/~lp15/Grants/Automation/
38 19/Apr/15 09:45/~lp15/Grants/AutoPolyFun/
37 0.08%20/Apr/15 08:21/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
37 0.06%20/Apr/15 15:07/~lp15/papers/Notes/leeds-notes.pdf
37 0.20%20/Apr/15 02:26/~lp15/papers/Arith/calculemus2008.pdf
37 0.01%20/Apr/15 11:46/~lp15/papers/invited.html
37 19/Apr/15 09:48/~lp15/papers/books.html
37 0.06%16/Apr/15 22:18/~lp15/papers/Arith/Narayanan DATE.pdf
36 0.01%20/Apr/15 14:01/~lp15/images/larry-paulson.jpg
36 0.25%18/Apr/15 01:36/~lp15/papers/Bella/purchase-JAR.pdf
35 0.05%19/Apr/15 12:20/~lp15/papers/Arith/pdpar2006.pdf
35 0.13%13/Apr/15 14:22/~lp15/papers/UNITY/Mechanizing-compositional.pdf
35 20/Apr/15 12:06/~lp15/MLbook/programs/sample5.sml
34 20/Apr/15 07:38/~lp15/papers/Arith/atan-problem-1-weak.html
34 0.09%12/Apr/15 18:19/~lp15/papers/Reports/TPHOLs05.pdf
33 20/Apr/15 12:05/~lp15/MLbook/programs/notes.html
33 18/Apr/15 10:27/~lp15/Pages/CL-English.html
33 0.08%19/Apr/15 01:23/~lp15/papers/Bella/nonrepudiation.pdf
33 0.01%18/Apr/15 02:27/~lp15/MLbook/first/programs/Lists-Trees.ML
33 0.05%17/Apr/15 00:06/~lp15/papers/Isabelle/chap700.pdf
33 0.07%19/Apr/15 06:41/~lp15/papers/Notes/strategy.pdf
33 0.18%20/Apr/15 12:20/~lp15/papers/Workshop/papers/rasmussen.pdf
32 19/Apr/15 06:41/~lp15/papers/Notes/
31 0.01%20/Apr/15 12:09/~lp15/MLbook/exercises/exer4.html
31 0.15%19/Apr/15 06:24/~lp15/papers/Workshop/papers/bednarczyk.pdf
31 0.47%12/Apr/15 07:49/~lp15/papers/Auth/lics-slides.pdf
31 0.04%20/Apr/15 00:36/~lp15/papers/Auth/yahalom.pdf
31 0.06%19/Apr/15 23:45/~lp15/papers/Automation/paar.pdf
30 18/Apr/15 08:16/~lp15/papers/Bella/
30 0.08%17/Apr/15 13:11/~lp15/papers/Automation/translations.pdf
30 0.06%15/Apr/15 19:11/~lp15/papers/Arith/fmcad2009.pdf
30 0.08%14/Apr/15 18:02/~lp15/papers/Arith/SNC2014-invited.pdf
30 0.05%16/Apr/15 18:04/~lp15/papers/Auth/lics.pdf
29 0.01%20/Apr/15 12:07/~lp15/MLbook/programs/sample7.sml
29 0.12%20/Apr/15 01:07/~lp15/papers/Auth/SET-overview-IJIS.pdf
29 19/Apr/15 13:37/~lp15/Grants/
28 0.04%19/Apr/15 16:46/~lp15/Usage/
28 20/Apr/15 12:10/~lp15/MLbook/first/
28 0.03%19/Apr/15 18:25/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
28 19/Apr/15 02:06/~lp15/Grants/holisa.html
28 19/Apr/15 21:02/~lp15/Pages/projects.html
27 0.01%20/Apr/15 12:09/~lp15/MLbook/exercises/exer3.html
27 0.01%20/Apr/15 12:01/~lp15/MLbook/programs/sample9.sml
27 0.01%20/Apr/15 05:38/~lp15/MLbook/exercises/exer5.html
27 0.19%19/Apr/15 23:59/~lp15/papers/Arith/Sogokon-nfm14.pdf
27 0.23%12/Apr/15 16:34/~lp15/papers/Bella/TPHOLs03-slides.pdf
26 0.11%16/Apr/15 01:26/~lp15/papers/Automation/translations-jar.pdf
26 0.03%16/Apr/15 19:20/~lp15/Sue/Cultures of Dance.ppt
26 0.08%19/Apr/15 04:13/~lp15/papers/Notes/MOD-slides.pdf
26 0.09%14/Apr/15 17:21/~lp15/papers/Formath/reflection-slides.pdf
26 0.03%20/Apr/15 10:10/~lp15/papers/Reports/CADE9.pdf
26 19/Apr/15 07:19/~lp15/Grants/LEO-II/
25 17/Apr/15 10:05/~lp15/MLbook/disclaimer.html
25 0.01%20/Apr/15 01:21/~lp15/papers/Reviews/MLer.pdf
25 0.01%20/Apr/15 07:26/~lp15/papers/Arith/RELEASE-NOTES.txt
25 0.07%20/Apr/15 00:37/~lp15/papers/Arith/Hscc09.pdf
24 0.04%18/Apr/15 00:04/~lp15/papers/Workshop/papers/ayari.pdf
24 20/Apr/15 07:05/~lp15/MLbook/programs/sample8.sml
24 0.15%18/Apr/15 16:11/~lp15/papers/Automation/reconstruction.pdf
24 0.15%20/Apr/15 08:18/~lp15/papers/Reports/logics97.pdf
24 0.07%17/Apr/15 06:52/~lp15/papers/Formath/milner-ind-defs.pdf
24 0.03%20/Apr/15 13:28/~lp15/papers/Workshop/friedrich.pdf
24 0.15%20/Apr/15 05:33/~lp15/papers/Automation/info-and-comp.pdf
23 12/Apr/15 05:55/~lp15/Pages/
23 0.10%19/Apr/15 18:29/~lp15/papers/Workshop/papers/paulson.pdf
23 0.05%20/Apr/15 05:06/~lp15/papers/Automation/leo2-ijcar.pdf
23 0.01%20/Apr/15 07:05/~lp15/MLbook/programs/sample10.sml
23 0.05%18/Apr/15 12:40/~lp15/papers/Workshop/papers/owens.pdf
23 19/Apr/15 03:43/~lp15/MLbook/first/programs/Functions.ML
23 0.06%20/Apr/15 08:33/~lp15/papers/Formath/reflection.pdf
22 0.11%20/Apr/15 12:01/~lp15/papers/Reports/intro-to-isabelle.pdf
22  8/Apr/15 14:56/~lp15/papers/Ballarin/
21 0.04%20/Apr/15 08:33/~lp15/papers/Formath/final.pdf
21  8/Apr/15 14:56/~lp15/papers/Reviews/
21 0.04%19/Apr/15 09:39/~lp15/papers/Workshop/papers/staples.pdf
21 18/Apr/15 05:58/~lp15/papers/Workshop/matthews.html
21 0.07%20/Apr/15 05:30/~lp15/papers/Bella/certified-email.pdf
20 0.09% 8/Apr/15 14:56/~lp15/papers/Reports/Bridge-ml.pdf
20 16/Apr/15 07:58/~lp15/Grants/BeyondLinArith/
20 20/Apr/15 04:19/~lp15/MLbook/first/programs/
20 16/Apr/15 06:35/~lp15/MLbook/first/programs/Lambda.ML
20 0.01%18/Apr/15 02:54/~lp15/MLbook/exercises/exer6.html
20 18/Apr/15 13:30/~lp15/papers/recur.html
20 0.04%15/Apr/15 06:52/~lp15/papers/Bella/purchase.pdf
20 0.08%17/Apr/15 19:45/~lp15/papers/Formath/constructible-slides.pdf
20 0.04%11/Apr/15 17:26/~lp15/papers/Arith/ITP-2012-invited.pdf
20 14/Apr/15 04:46/~lp15/papers/Workshop/programme.html
19 0.03%20/Apr/15 05:16/~lp15/papers/Bella/cav98.pdf
19 0.01%18/Apr/15 07:43/~lp15/MLbook/exercises/exer7.html
19 0.05%20/Apr/15 02:21/~lp15/papers/Bella/registration.pdf
19 18/Apr/15 02:54/~lp15/MLbook/exercises/disclaimer.html
19 0.05%15/Apr/15 13:58/~lp15/papers/Workshop/papers/agerholm.pdf
18 1.26%14/Apr/15 18:04/~lp15/papers/Arith/FroCos-presentation.pdf
17 0.01%14/Apr/15 03:05/~lp15/papers/Arith/NFM2014-invited.pdf
17 0.03%17/Apr/15 08:57/~lp15/papers/Ballarin/coding.pdf
16 19/Apr/15 16:47/~lp15/papers/Formath/ind-defs-slides.pdf
16 0.04%18/Apr/15 17:04/~lp15/papers/Arith/case-splitting.pdf
16 0.04%20/Apr/15 11:37/~lp15/papers/Auth/multicast_verification.pdf
16 0.04%20/Apr/15 03:01/~lp15/papers/Arith/lpar2007.pdf
16 0.05%12/Apr/15 13:16/~lp15/papers/Arith/Huang-3heuristics.pdf
16 0.02%15/Apr/15 01:47/~lp15/Grants/Automation/case.pdf
16 0.04%18/Apr/15 16:45/~lp15/papers/Automation/IJCAR2004.pdf
16 0.03%20/Apr/15 11:00/~lp15/papers/Workshop/papers/kalvala-linear.pdf
16 19/Apr/15 08:53/~lp15/Pages/ACS-proposals.html
16 20/Apr/15 15:20/~lp15/MLbook/first/ERRATA1.txt
16 0.07%12/Apr/15 16:48/~lp15/papers/Arith/cicm2012.pdf
16 0.04%19/Apr/15 04:43/~lp15/papers/Automation/cade2011-sledge-smt.pdf
16 15/Apr/15 14:44/~lp15/MLbook/programs/sample3-old.sml
15 19/Apr/15 18:42/~lp15/Grants/arith.html
15 19/Apr/15 23:55/~lp15/Grants/auth.html
15 0.16%18/Apr/15 07:11/~lp15/papers/Formath/constructible-theory.pdf
15 0.07%20/Apr/15 05:31/~lp15/papers/Automation/filtering-jal.pdf
15 19/Apr/15 05:36/~lp15/MLbook/programs/sample8-2004.sml
15 0.01%19/Apr/15 00:37/~lp15/MLbook/programs/sample10-old.sml
15 0.84%15/Apr/15 21:39/~lp15/papers/Arith/ITP 2012 presentation.pdf
15 17/Apr/15 09:46/~lp15/MLbook/first/programs/Modules.ML
15 0.51%18/Apr/15 17:19/~lp15/Sue/Thesis-Appendices.pdf
15 18/Apr/15 08:29/~lp15/Data/relevance/
14 0.03%15/Apr/15 16:05/~lp15/papers/UNITY/ehmety-composition.pdf
14 19/Apr/15 02:32/~lp15/MLbook/programs/test10.sml
14 0.02%20/Apr/15 05:38/~lp15/Grants/Automation/final.pdf
14 0.03%15/Apr/15 16:05/~lp15/papers/UNITY/tphols01.pdf
14  9/Apr/15 07:46/~lp15/papers/Workshop/paulson.html
14 0.03%19/Apr/15 19:27/~lp15/papers/Bella/dimacs97.pdf
14 0.11%11/Apr/15 08:39/~lp15/Grants/BeyondLinArith/arith-case.pdf
14 0.61%17/Apr/15 05:13/~lp15/papers/Arith/Overcoming-slides.pdf
14 0.01%20/Apr/15 10:19/~lp15/Grants/UNITY/case.pdf
14 0.03%17/Apr/15 20:35/~lp15/Grants/AutoPolyFun/case.pdf
14 0.07%14/Apr/15 09:33/~lp15/papers/Workshop/papers/kammueller.pdf
13 0.04%14/Apr/15 04:56/~lp15/papers/Workshop/papers/nipkow.pdf
13 0.02%17/Apr/15 05:03/~lp15/papers/Workshop/papers/thompson.pdf
13 0.03%18/Apr/15 18:11/~lp15/papers/Workshop/papers/matthews.pdf
13 0.19%17/Apr/15 02:32/~lp15/papers/Arith/metit-slides.pdf
13 0.02%17/Apr/15 14:05/~lp15/papers/Formath/constructible-abstract.pdf
13 0.01%17/Apr/15 08:56/~lp15/papers/Ballarin/aisc98.pdf
13 18/Apr/15 06:00/~lp15/MLbook/StandardML.plist
13 18/Apr/15 18:43/~lp15/MLbook/first/programs/Imperative.ML
12 0.04%18/Apr/15 13:03/~lp15/papers/Arith/case-splitting-stats.csv
12 11/Apr/15 09:38/~lp15/papers/Deduction/
12 14/Apr/15 03:37/~lp15/MLbook/programs/sample8-old.sml
12 0.01%16/Apr/15 08:37/~lp15/papers/paulson.bib
12 0.02%17/Apr/15 12:53/~lp15/papers/Workshop/papers/benini.pdf
12 0.16%18/Apr/15 15:57/~lp15/papers/Reports/TypeClasses-slides.pdf
12 0.17%18/Apr/15 20:52/~lp15/papers/Isabelle/Cube-presentation.pdf
12 0.02%15/Apr/15 01:24/~lp15/papers/Workshop/vigano.pdf
12 11/Apr/15 20:29/~lp15/MLbook/programs/sample9-2004.sml
12  9/Apr/15 07:46/~lp15/Grants/temporal.html
12 17/Apr/15 04:42/~lp15/Grants/Chaieb.html
12 0.14%19/Apr/15 15:23/~lp15/papers/Auth/dagstuhl2003-slides.pdf
12 19/Apr/15 23:43/~lp15/papers/Workshop/participants.html
11 19/Apr/15 08:46/~lp15/MLbook/first/programs/ParsePrint.ML
11 18/Apr/15 07:54/~lp15/Data/ho-translations/
11  8/Apr/15 14:56/~lp15/papers/Workshop/nipkow.html
11  8/Apr/15 14:56/~lp15/MLbook/first/ERRATA3.txt
11 19/Apr/15 11:58/~lp15/papers/Workshop/staples.html
11 0.32%20/Apr/15 07:40/~lp15/Sue/Phd-Poster.pdf
11 0.14%16/Apr/15 08:14/~lp15/papers/Notes/formalizing-abst-slides.pdf
11 0.02%19/Apr/15 13:08/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
11 0.03%13/Apr/15 15:07/~lp15/papers/Automation/jar-smt.pdf
11 0.02%14/Apr/15 09:32/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
11 19/Apr/15 08:56/~lp15/papers/Workshop/agerholm.html
11 0.02%18/Apr/15 22:13/~lp15/papers/Bella/esorics2000.pdf
11 19/Apr/15 16:48/~lp15/Sue/Cultures of Dance.html
10 14/Apr/15 19:36/~lp15/papers/Workshop/owens.txt
10 0.04%12/Apr/15 07:50/~lp15/papers/UNITY/composition.pdf
10 0.08%15/Apr/15 01:32/~lp15/papers/Automation/Huet colloquium.pdf
10 0.01%17/Apr/15 06:25/~lp15/papers/Auth/recur-slides.pdf
10 0.09%17/Apr/15 15:40/~lp15/Grants/arith-case.pdf
9 0.01%11/Apr/15 11:42/~lp15/papers/Arith/FroCoS-2013-invited.pdf
9 0.01%18/Apr/15 01:22/~lp15/papers/Notes/strategy-slides.pdf
9 0.01%10/Apr/15 20:12/~lp15/Grants/SET/case.pdf
9 0.15%17/Apr/15 20:00/~lp15/Grants/Automation/poster.pdf
9  8/Apr/15 14:56/~lp15/papers/Formath/AC-slides.pdf
9 0.02%20/Apr/15 05:04/~lp15/papers/Isabelle/Goedel-logic.pdf
9 0.08%17/Apr/15 17:15/~lp15/papers/Deduction/lecture2.pdf
9  8/Apr/15 14:56/~lp15/papers/Workshop/thompson.html
9 0.01%18/Apr/15 23:49/~lp15/papers/Reports/CADE11.pdf
9 0.03%10/Apr/15 14:38/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
9 0.03%16/Apr/15 13:32/~lp15/papers/Isabelle/sylow.pdf
9 0.02%20/Apr/15 11:43/~lp15/papers/Auth/ijcar2001.pdf
8 0.01%12/Apr/15 00:07/~lp15/Sue/Cultures of Dance.pdf
8  8/Apr/15 14:56/~lp15/papers/Workshop/kalvala.html
8 0.01%15/Apr/15 13:01/~lp15/papers/Auth/auth-slides.pdf
8 0.01%19/Apr/15 15:33/~lp15/papers/Arith/Overcoming.pdf
8 0.07%20/Apr/15 13:36/~lp15/papers/Deduction/lecture3.pdf
8 0.06% 8/Apr/15 14:56/~lp15/papers/Auth/SET-overview-slides.pdf
8 0.02%16/Apr/15 13:05/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
8 0.08%20/Apr/15 04:45/~lp15/papers/Deduction/lecture4.pdf
8 0.44%13/Apr/15 11:17/~lp15/papers/Notes/LCF+.pdf
7 0.03%20/Apr/15 05:47/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
7 0.22%16/Apr/15 03:19/~lp15/Grants/BeyondLinArith/arith-poster.pdf
7 0.02% 8/Apr/15 14:56/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
7 19/Apr/15 22:05/~lp15/MLbook/first/programs/edits.txt
7 0.08%19/Apr/15 05:33/~lp15/papers/Deduction/lecture1.pdf
7 0.64% 6/Apr/15 11:31/~lp15/papers/Arith/metit.tgz
7 0.04%17/Apr/15 04:25/~lp15/papers/UNITY/UNITY.pdf
7 2.65%18/Apr/15 08:18/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 6.25%19/Apr/15 23:23/~lp15/archive/Isabelle2013-2.tar.gz
7 0.01%20/Apr/15 07:47/~lp15/papers/Workshop/kammueller.pdf
7 0.01%13/Apr/15 12:57/~lp15/papers/Auth/security-protocols.pdf
7 18/Apr/15 12:42/~lp15/Data/relevance/unfiltered-vampire.txt
7 11/Apr/15 23:51/~lp15/MLbook/first/programs/Hal.ML
7 0.02%12/Apr/15 05:59/~lp15/papers/Automation/thf-sledge.pdf
7  8/Apr/15 14:56/~lp15/papers/Workshop/ayari.pdf
6  8/Apr/15 14:56/~lp15/Grants/UNITY/final.pdf
6 0.47% 8/Apr/15 14:56/~lp15/Data/ho-translations/Comb.tbz
6 18/Apr/15 10:19/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
6 0.03%12/Apr/15 09:45/~lp15/papers/Auth/tls-slides.pdf
6 19/Apr/15 12:16/~lp15/images/
6 0.25% 8/Apr/15 14:56/~lp15/Grants/LEO-II/leo project poster.pdf
6 0.39% 8/Apr/15 14:56/~lp15/papers/Isabelle/Goedel-slides.pdf
6 0.44% 8/Apr/15 14:56/~lp15/Data/ho-translations/Abst.tbz
6 1.45%14/Apr/15 08:53/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
6 0.10%15/Apr/15 02:21/~lp15/papers/Automation/reconstruction-slides.pdf
6  8/Apr/15 14:56/~lp15/Data/ho-translations/Theories.tbz
6 2.32% 8/Apr/15 14:56/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
6 17/Apr/15 15:34/~lp15/papers/OLD.SETS/
6 20/Apr/15 07:22/~lp15/papers/Reports/blast-slides.pdf
6 5.05%17/Apr/15 13:50/~lp15/archive/Isabelle2012.tar.gz
6 0.19%20/Apr/15 01:01/~lp15/Grants/arith-poster.pdf
6 0.11% 8/Apr/15 14:56/~lp15/papers/Auth/ijcar2001-slides.pdf
6 13/Apr/15 16:53/~lp15/MLbook/ERRATA.txt
6 15/Apr/15 18:48/~lp15/archive/cant-ozols.ps.gz
28520.32%20/Apr/15 12:20[not listed: 101 files]