|
Program started at Mon-13-Jan-2003 12:00.
Analysed requests from Wed-06-Sep-2000 13:32 to Mon-13-Jan-2003
11:47 (858.93 days).
This report contains overall statistics.
(Figures in parentheses refer to the 7-day period ending
13-Jan-2003 12:00).
Successful requests: 84,710 (1,206)
Average successful requests per day: 98 (172)
Successful requests for pages: 20,704 (45)
Average successful requests for pages per day: 24 (6)
Failed requests: 16,212 (77)
Redirected requests: 32,148 (604)
Distinct files requested: 1,257 (107)
Distinct hosts served: 21,766 (524)
Corrupt logfile lines: 10,594
Unwanted logfile entries: 1,800,425
Data transferred: 3.627 Gbytes (74.894 Mbytes)
Average data transferred per day: 4.324 Mbytes (10.699 Mbytes)
This report lists the activity in each month.
Each unit ( ) represents 60 requests
for pages or part thereof.
month: reqs: pages:
--------: ----: -----:
Sep 2000: 352: 269: 
Oct 2000: 299: 204:
Nov 2000: 344: 184:
Dec 2000: 280: 139: 
Jan 2001: 0: 0:
Feb 2001: 0: 0:
Mar 2001: 826: 542: 
Apr 2001: 1088: 756:
May 2001: 1464: 900:
Jun 2001: 1498: 995: 
Jul 2001: 2028: 1260:
Aug 2001: 2324: 1332:
Sep 2001: 2209: 1396:
Oct 2001: 2810: 1763:
Nov 2001: 3750: 2233: 
Dec 2001: 3910: 2409:
Jan 2002: 4488: 2297:
Feb 2002: 3702: 141:
Mar 2002: 4239: 162:
Apr 2002: 4354: 308:
May 2002: 4516: 330:
Jun 2002: 3974: 244:
Jul 2002: 3410: 246:
Aug 2002: 5007: 357:
Sep 2002: 6526: 648:
Oct 2002: 5330: 520:
Nov 2002: 6931: 662:
Dec 2002: 6154: 292:
Jan 2003: 2897: 115:
Busiest month: Dec 2001 (2,409 requests for pages).
This report lists the activity in each day.
Each unit () represents 2 requests
for pages or part thereof.
date: reqs: pages:
---------: ----: -----:
3/Dec/02: 340: 47:
4/Dec/02: 535: 32:
5/Dec/02: 137: 9:
6/Dec/02: 283: 5:
7/Dec/02: 88: 0:
8/Dec/02: 0: 0:
9/Dec/02: 133: 1:
10/Dec/02: 274: 5:
11/Dec/02: 303: 7:
12/Dec/02: 195: 4:
13/Dec/02: 187: 7:
14/Dec/02: 168: 4:
15/Dec/02: 138: 4:
16/Dec/02: 201: 11:
17/Dec/02: 321: 9:
18/Dec/02: 220: 6:
19/Dec/02: 263: 19:
20/Dec/02: 147: 2:
21/Dec/02: 251: 5:
22/Dec/02: 159: 2:
23/Dec/02: 211: 1:
24/Dec/02: 72: 2:
25/Dec/02: 0: 0:
26/Dec/02: 84: 0:
27/Dec/02: 136: 1:
28/Dec/02: 172: 13:
29/Dec/02: 263: 33:
30/Dec/02: 194: 30:
31/Dec/02: 191: 11:
1/Jan/03: 170: 4:
2/Jan/03: 187: 5:
3/Jan/03: 156: 5:
4/Jan/03: 599: 51:
5/Jan/03: 521: 3:
6/Jan/03: 107: 3:
7/Jan/03: 94: 4:
8/Jan/03: 197: 10:
9/Jan/03: 223: 7:
10/Jan/03: 179: 4:
11/Jan/03: 148: 10:
12/Jan/03: 225: 7:
13/Jan/03: 91: 2:
Busiest day: 29/Nov/01 (136 requests for pages).
This report lists the total activity for each day of the week, summed over all the weeks in the report.
Each unit () represents 80 requests
for pages or part thereof.
day: reqs: pages:
---: -----: -----:
Sun: 8574: 1875:
Mon: 10703: 2283:
Tue: 13412: 3470:
Wed: 14245: 3524:
Thu: 14135: 3594:
Fri: 12894: 3289:
Sat: 10747: 2669:
This report lists the total activity for each hour of the day, summed over all the days in the report.
Each unit () represents 30 requests
for pages or part thereof.
hour: reqs: pages:
----: ----: -----:
0: 4709: 1131:
1: 4450: 1111:
2: 4464: 1073:
3: 4310: 1070:
4: 4190: 1081:
5: 3723: 897:
6: 3752: 864:
7: 3462: 911:
8: 3200: 972:
9: 3196: 885:
10: 3180: 733:
11: 3253: 777:
12: 2934: 804:
13: 3029: 685:
14: 3050: 658:
15: 2706: 578:
16: 2823: 598:
17: 3130: 640:
18: 3370: 693:
19: 3820: 874:
20: 3522: 875:
21: 3492: 956:
22: 3582: 922:
23: 3363: 916:
This report lists the countries of the computers which requested files.
Listing domains, sorted by the amount of traffic.
reqs: %bytes: domain
-----: ------: ------
26070: 33.99%: .com (Commercial)
14893: 17.42%: .net (Network)
13313: 16.31%: [unresolved numerical addresses]
5034: 5.61%: .edu (USA Educational)
4417: 4.17%: .fr (France)
2432: 2.51%: .it (Italy)
2004: 2.46%: .ca (Canada)
2311: 2.34%: .jp (Japan)
1372: 2.11%: .nl (Netherlands)
1836: 1.86%: .de (Germany)
1051: 1.35%: .uk (United Kingdom)
1152: 0.91%: .au (Australia)
821: 0.84%: .se (Sweden)
494: 0.54%: .es (Spain)
734: 0.51%: .gr (Greece)
517: 0.47%: .fi (Finland)
377: 0.42%: .mx (Mexico)
352: 0.42%: .il (Israel)
487: 0.41%: .ch (Switzerland)
322: 0.37%: .dk (Denmark)
275: 0.35%: .be (Belgium)
211: 0.31%: .sg (Singapore)
353: 0.28%: .org (Non-Profit Making Organisations)
274: 0.27%: .pl (Poland)
179: 0.25%: .gov (USA Government)
456: 0.24%: .ru (Russia)
198: 0.24%: .at (Austria)
161: 0.22%: .br (Brazil)
195: 0.21%: .sa (Saudi Arabia)
210: 0.19%: .tw (Taiwan)
206: 0.19%: .pt (Portugal)
111: 0.17%: .kr (South Korea)
145: 0.16%: .us (United States)
142: 0.14%: .in (India)
121: 0.13%: .hk (Hong Kong)
193: 0.13%: .by (Belarus)
112: 0.13%: .mil (USA Military)
53: 0.10%: .cy (Cyprus)
72: 0.08%: .tr (Turkey)
69: 0.08%: .ro (Romania)
85: 0.07%: .ie (Ireland)
61: 0.07%: .ee (Estonia)
57: 0.06%: .cz (Czech Republic)
54: 0.06%: .yu (Yugoslavia)
56: 0.06%: .no (Norway)
39: 0.04%: .hu (Hungary)
31: 0.04%: .bz (Belize)
26: 0.04%: .is (Iceland)
23: 0.03%: .th (Thailand)
26: 0.03%: .nu (Niue)
24: 0.03%: .my (Malaysia)
28: 0.03%: .nz (New Zealand)
26: 0.03%: .hr (Croatia)
43: 0.03%: .ae (United Arab Emirates)
27: 0.03%: .ar (Argentina)
26: 0.03%: .cn (China)
33: 0.03%: [domain not given]
15: 0.03%: .ua (Ukraine)
15: 0.02%: .bg (Bulgaria)
24: 0.02%: .tt (Trinidad and Tobago)
24: 0.02%: .co (Colombia)
16: 0.02%: .su (Former USSR)
7: 0.02%: .int (International)
6: 0.02%: .ir (Iran)
12: 0.01%: .za (South Africa)
13: 0.01%: .sk (Slovakia)
9: 0.01%: .lu (Luxembourg)
12: 0.01%: .lt (Lithuania)
12: 0.01%: .id (Indonesia)
11: 0.01%: .jo (Jordan)
10: 0.01%: .si (Slovenia)
6: 0.01%: .ve (Venezuela)
7: 0.01%: .cl (Chile)
8: 0.01%: .pk (Pakistan)
6: 0.01%: .om (Oman)
7: 0.01%: [unknown domain]
7: 0.01%: .mt (Malta)
15: 0.01%: .arpa (Old style Arpanet)
4: 0.01%: .cr (Costa Rica)
6: 0.01%: .eg (Egypt)
3: 0.01%: .zw (Zimbabwe)
2: 0.01%: .lk (Sri Lanka)
4: 0.01%: .sc (Seychelles)
3: : .mu (Mauritius)
3: : .fo (Faroe Islands)
3: : .cu (Cuba)
3: : .ye (Yemen)
2: : .lv (Latvia)
6: : .uy (Uruguay)
5: : .vn (Vietnam)
2: : .ky (Cayman Islands)
3: : .na (Namibia)
2: : .dz (Algeria)
2: : .bm (Bermuda)
2: : .ke (Kenya)
2: : .np (Nepal)
1: : .kz (Kazakhstan)
1: : .vi (Virgin Islands (USA))
1: : .md (Moldova)
1: : .to (Tonga)
1: : .pf (French Polynesia)
1: : .do (Dominican Republic)
1: : .pe (Peru)
1: : .am (Armenia)
1: : .ph (Philippines)
1: : .je (Jersey)
1: : .lb (Lebanon)
3: : .sm (San Marino)
2: : .gt (Guatemala)
1: : .pa (Panama)
1: : .bn (Brunei Darussalam)
2: : .lc (Saint Lucia)
1: : .ma (Morocco)
This report lists the organisations of the computers which requested files.
Listing organisations with at least 20 requests, sorted by the
number of requests.
reqs: %bytes: organisation
-----: ------: ------------
13323: 16.33%: [unresolved numerical addresses]
9166: 16.05%: googlebot.com
5890: 7.66%: fastsearch.net
1683: 2.22%: rr.com
1468: 1.56%: aol.com
1325: 1.31%: wanadoo.fr
1175: 0.85%: av.com
1147: 1.70%: dec.com
1067: 1.06%: bellsouth.net
1023: 1.02%: ibm.com
984: 0.86%: univ-lille1.fr
967: 0.95%: cadence.com
886: 0.72%: hyperchip.com
751: 1.08%: sympatico.ca
688: 0.48%: inktomisearch.com
673: 0.63%: unige.it
662: 0.70%: plala.or.jp
635: 0.31%: newcastle.edu.au
533: 0.33%: inktomi.com
533: 0.72%: attbi.com
483: 0.61%: t-dialin.net
474: 0.22%: internetseer.net
473: 0.60%: looksmart.net
468: 0.47%: princeton.edu
467: 0.24%: home.com
456: 0.40%: ptprime.net
413: 0.34%: directhit.com
388: 0.20%: alexa.com
383: 0.34%: univ-artois.fr
376: 0.31%: infoseek.co.jp
349: 0.58%: uni-trier.de
347: 0.43%: fsi.ne.jp
335: 0.30%: qc.sympatico.ca
328: 0.33%: safelogic.se
324: 0.26%: tudelft.nl
322: 0.19%: otenet.gr
321: 0.38%: verizon.net
315: 0.27%: prover.com
295: 0.41%: comcast.net
292: 0.28%: libero.it
284: 0.34%: pacbell.net
280: 0.19%: uoa.gr
279: 0.29%: berkeley.edu
279: 0.33%: uu.net
278: 0.32%: interbusiness.it
278: 0.18%: ethz.ch
255: 0.21%: fast-search.net
235: 0.92%: a2000.nl
235: 0.23%: uni-goettingen.de
226: 0.13%: lri.fr
220: 0.23%: kobe-u.ac.jp
217: 0.24%: yale.edu
215: 0.04%: northernlight.com
213: 0.29%: intel.com
209: 0.23%: trieste.it
207: 0.27%: elsevier.nl
202: 0.19%: cmu.edu
201: 0.17%: uta.fi
198: 0.24%: itc.it
196: 0.22%: mc.videotron.ca
195: 0.18%: hut.fi
194: 0.21%: isu.net.sa
193: 0.13%: by
188: 0.13%: openfind.com
187: 0.18%: toronto.edu
186: 0.17%: uni-freiburg.de
182: 0.15%: umich.edu
179: 0.26%: mit.edu
178: 0.19%: cornell.edu
177: 0.38%: google.com
173: 0.18%: stanford.edu
173: 0.18%: nec.com
172: 0.20%: uswest.net
166: 0.17%: uam.es
165: 0.19%: univ-angers.fr
161: 0.26%: btopenworld.com
154: 0.15%: chalmers.se
152: 0.21%: cableinet.co.uk
152: 0.14%: rdg.ac.uk
149: 0.12%: ja.net
148: 0.19%: galaxy.com
147: 0.04%: runnet.ru
146: 0.17%: tiscali.it
145: 0.24%: whizbang.com
142: 0.02%: uka.de
142: 0.10%: asu.edu
137: 0.06%: ras.ru
135: 0.18%: dsl-verizon.net
133: 0.10%: u-picardie.fr
131: 0.15%: level3.net
131: 0.17%: megared.net.mx
129: 0.12%: synopsys.com
124: 0.14%: ucsb.edu
122: 0.11%: tin.it
118: 0.09%: uc.edu
113: 0.12%: optonline.net
112: 0.15%: ntl.com
111: 0.15%: rogers.com
111: 0.05%: satlive.org
110: 0.10%: westmaster.com
109: 0.09%: york.ac.uk
109: 0.14%: mcbone.net
107: 0.08%: prodigy.net.mx
107: 0.17%: telocity.com
106: 0.07%: cgocable.net
104: 0.08%: irit.fr
104: 0.21%: fibrewired.on.ca
103: 0.06%: openfind.com.tw
101: 0.12%: club-internet.fr
101: 0.11%: utdallas.edu
100: 0.13%: shawcable.net
98: 0.14%: adelphia.net
95: 0.23%: swan.ac.uk
94: 0.14%: pol.co.uk
94: 0.11%: snet.net
94: 0.07%: mediaone.net
94: 0.05%: pompano.net
92: 0.17%: ucla.edu
91: 0.12%: telia.com
89: 0.05%: jussieu.fr
88: 0.05%: lycos.com
87: 0.11%: gu.edu.au
86: 0.13%: cox.net
86: 0.07%: uni-tuebingen.de
83: 0.09%: chello.nl
83: 0.13%: nus.edu.sg
82: 0.05%: osaka-u.ac.jp
81: 0.07%: wustl.edu
79: 0.05%: anu.edu.au
79: 0.03%: lrz-muenchen.de
79: 0.10%: umd.edu
78: 0.09%: mindspring.com
78: 0.09%: noos.net
77: 0.09%: proxad.net
77: 0.11%: sunysb.edu
77: 0.09%: lanl.gov
74: 0.08%: ensta.fr
74: 0.07%: washington.edu
74: 0.08%: xs4all.nl
74: 0.07%: excite.com
74: 0.10%: uiowa.edu
72: 0.04%: uniroma1.it
72: 0.06%: albacom.net
72: 0.42%: mentorg.com
71: 0.07%: inria.fr
71: 0.11%: netvision.net.il
71: 0.12%: hp.com
71: 0.05%: archive.org
69: 0.08%: att.net
69: 0.03%: bellatlantic.net
69: 0.10%: iucc.ac.il
67: 0.03%: exabot.com
67: 0.08%: cinergycom.net
66: 0.05%: huji.ac.il
65: 0.05%: ucc.ie
65: 0.09%: rasserver.net
65: 0.03%: wisenut.com
65: 0.06%: cs.ubc.ca
64: 0.09%: wanadoo.nl
64: 0.03%: mtl.axxent.ca
63: 0.08%: microsoft.com
62: 0.07%: kyutech.ac.jp
61: 0.06%: ucsc.edu
61: 0.06%: speakeasy.net
60: 0.07%: swbell.net
59: 0.07%: tele.dk
59: 0.06%: motorola.com
59: 0.08%: ameritech.net
58: 0.06%: uva.nl
58: 0.08%: bonet.se
58: 0.03%: radiant.net
57: 0.05%: sbs.de
56: 0.06%: x-echo.com
55: 0.07%: cs.ualberta.ca
54: 0.02%: netcraft.com
54: 0.06%: utexas.edu
54: 0.07%: sri.com
53: 0.08%: umn.edu
52: 0.03%: worldonline.fr
52: 0.06%: sigecom.net
52: 0.05%: gtei.net
52: 0.06%: it-c.dk
51: 0.02%: inesc.pt
51: 0.05%: jippii.net
51: 0.05%: telepac.pt
51: 0.03%: jaist.ac.jp
51: 0.06%: bezeqint.net
51: 0.05%: wisc.edu
50: 0.02%: uni-karlsruhe.de
50: 0.03%: goo.ne.jp
50: 0.03%: uni-koeln.de
50: 0.03%: tu-muenchen.de
49: 0.06%: iprimus.net.au
49: 0.05%: ttd.es
48: 0.05%: ttnet.net.tr
48: 0.08%: korea.ac.kr
48: 0.04%: uiuc.edu
48: 0.04%: cybercity.dk
48: 0.02%: he.net
48: 0.08%: imag.fr
48: 0.04%: fujitsu.com
48: 0.02%: proszynski.pl
47: 0.05%: dialsprint.net
47: 0.06%: cs.sfu.ca
47: 0.08%: arcor-ip.net
46: 0.05%: singnet.com.sg
46: 0.05%: adsl.skynet.be
45: 0.05%: compaq.com
45: 0.06%: sify.net
45: 0.03%: tuwien.ac.at
45: 0.03%: uwf.edu
44: 0.05%: qwest.net
44: 0.06%: pdx.edu
44: 0.05%: msu.edu
43: 0.01%: poly.edu
42: 0.03%: emirates.net.ae
42: 0.06%: hinet.net
42: 0.07%: tue.nl
42: 0.05%: mor.itesm.mx
42: 0.05%: tivra.com
42: 0.03%: utl.pt
42: 0.05%: vt.edu
42: 0.05%: uu.se
41: 0.04%: tu-darmstadt.de
41: 0.06%: telus.net
40: 0.04%: telenet-ops.be
40: 0.05%: kaist.ac.kr
40: 0.07%: t-ipconnect.de
40: 0.03%: garr.it
40: 0.04%: ibm.net.il
40: 0.03%: easystreet.com
40: 0.04%: insyst.ch
39: 0.04%: uni-oldenburg.de
39: 0.05%: upc.es
39: 0.04%: casema.net
39: 0.03%: purdue.edu
39: 0.03%: ppp.tpnet.pl
39: 0.05%: udl.es
38: 0.05%: planet.nl
38: 0.03%: libertysurf.net
38: 0.05%: nipr.mil
37: 0.04%: utah.edu
37: 0.01%: tiscalinet.it
37: 0.08%: atgi.net
37: 0.06%: netvigator.com
37: 0.06%: tni.fr
37: 0.06%: marketscore.com
37: 0.05%: rice.edu
36: 0.04%: bluewin.ch
36: 0.03%: usc.edu
36: 0.06%: cytanet.com.cy
36: 0.03%: infn.it
36: 0.04%: uky.edu
36: 0.05%: cam.ac.uk
36: 0.02%: net.ru
36: 0.02%: uni-ulm.de
35: 0.04%: nagoya-u.ac.jp
35: 0.03%: optusnet.com.au
35: 0.04%: vsnl.net.in
35: 0.04%: nasa.gov
35: 0.05%: newskies.net
35: 0.01%: csic.es
35: 0.02%: mu.oz.au
35: 0.02%: wsp.czest.pl
34: 0.03%: res.in
34: 0.09%: unl.edu
34: 0.03%: ocn.ne.jp
34: 0.05%: unsw.edu.au
33: 0.03%: cuhk.edu.hk
32: 0.03%: fastres.net
32: 0.04%: math.uwaterloo.ca
32: 0.04%: tracerlock.com
31: 0.02%: emory.edu
31: 0.05%: ed.ac.uk
31: 0.04%: bz
31: 0.02%: univ-metz.fr
30: 0.03%: ust.hk
30: 0.02%: sprinthome.com
30: 0.05%: colorado.edu
30: 0.03%: telenor.net
30: 0.03%: waw.cdp.pl
30: 0.04%: isi.edu
30: 0.04%: caltech.edu
29: 0.04%: ti.com
29: 0.02%: ac.se
29: 0.02%: kyoto-u.ac.jp
29: 0.03%: hkbu.edu.hk
29: 0.02%: btinternet.com
29: 0.02%: odn.ad.jp
28: 0.01%: libertysurf.fr
28: 0.01%: titech.ac.jp
28: 0.03%: vu.nl
28: 0.06%: antelecom.net
28: 0.05%: unm.edu
28: 0.04%: hispeed.ch
27: 0.02%: ut.ee
27: 0.04%: gatech.edu
27: 0.02%: mediaways.net
27: 0.03%: upatras.gr
27: 0.03%: tepkom.ru
27: 0.02%: wplus.net
27: 0.02%: usu.edu
26: 0.01%: eli.net
26: 0.03%: helsinki.fi
26: 0.03%: maine.edu
26: 0.02%: valiosys.com
26: 0.03%: link.net
26: 0.03%: iliad.fr
26: 0.01%: univ-orleans.fr
26: 0.03%: nu
26: 0.04%: vie.surfer.at
25: 0.04%: upenn.edu
25: 0.04%: au.dk
25: 0.04%: rcn.net
25: 0.02%: turboline.skynet.be
25: 0.02%: kuleuven.ac.be
25: 0.04%: highway.telekom.at
25: 0.02%: freesurf.ch
24: 0.02%: webone.com.au
24: 0.03%: cuny.edu
24: 0.02%: cvut.cz
24: 0.02%: ece.ubc.ca
24: 0.02%: in2p3.fr
24: 0.03%: irisa.fr
24: 0.03%: tamu.edu
24: 0.03%: ncsu.edu
23: 0.01%: [domain not given]
23: 0.02%: dtu.dk
23: 0.02%: u-tokyo.ac.jp
23: 0.02%: tstt.net.tt
23: 0.03%: prserv.net
23: 0.03%: get2net.dk
23: 0.02%: uwm.edu
23: 0.02%: liacs.nl
23: 0.03%: liu.se
23: 0.02%: rutgers.edu
23: 0.03%: st-and.ac.uk
22: 0.04%: bu.edu
22: 0.02%: umass.edu
22: 0.04%: nyu.edu
22: 0.04%: uni-erlangen.de
22: 0.03%: net24.it
22: 0.04%: mchsi.com
22: 0.02%: umu.se
22: 0.04%: avanticorp.com
21: 0.03%: charter.com
21: 0.02%: t-online.de
21: 0.01%: digital-integrity.com
21: 0.02%: infoweb.ne.jp
21: 0.03%: bell-labs.com
21: 0.02%: megapath.net
21: 0.03%: ncnu.edu.tw
21: 0.01%: ndc.co.il
21: 0.03%: turnitin.com
20: 0.03%: rima-tde.net
20: 0.02%: upct.es
20: 0.05%: ntlworld.com
20: 0.02%: soltec.net
20: 0.02%: uni-kl.de
20: 0.02%: networldnoc.net
20: 0.01%: dera.gov.uk
20: 0.02%: lirmm.fr
20: 0.02%: pore.net
20: 0.02%: uni-muenchen.de
20: 0.05%: scvmaxonline.com.sg
20: 0.06%: ntu.edu.sg
20: 0.02%: tiscali.fr
20: 0.02%: swipnet.se
20: 0.03%: loria.fr
20: 0.02%: unitn.it
9428: 11.30%: [not listed: 3,277 organisations]
This report lists the referrers (where people followed links from, or pages which included this site's images).
Listing referring URLs with at least 2 requests, sorted by the
number of requests.
reqs: URL
----: ---
9844: http://www.google.com/search
246: http://www.google.com/search?q=SAT&hl=en&start=10&sa=N
206: http://www.google.com/search?q=sat&hl=en&start=10&sa=N
1345: http://google.yahoo.com/bin/query
852: http://www.lri.fr/~simon/satex/satex.php3
798: http://search.msn.com/results.asp
603: http://www.google.de/search
569: http://www.google.it/search
566: http://www.google.fr/search
456: http://gauss.ececs.uc.edu/Conferences/SAT2002/
436: http://aolsearch.aol.com/dirsearch.adp
362: http://search.yahoo.com/bin/search
296: http://pantheon.yale.edu/~hf53/
296: http://cafe.newcastle.edu.au/daniel/SAT/
270: http://www.google.ca/search
268: http://search.yahoo.com/search
239: http://auto.search.msn.com/results.asp
191: http://www.altavista.com/sites/search/web
173: http://www.busygin.dp.ua/npc.html
171: http://www.inf.ethz.ch/personal/biere/projects/limmat/
164: http://www.almaden.ibm.com/cs/people/bayardo/
159: http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/eval.html
157: http://www.google.nl/search
156: http://www.google.co.jp/search
149: http://www.laria.u-picardie.fr/~dequen/sat/
146: http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/links.html
127: http://www.cs.washington.edu/homes/kautz/
121: http://www.cril.univ-artois.fr/~leberre/
118: http://www.ee.princeton.edu/~chaff/link.php
116: http://www.ee.princeton.edu/~chaff/
112: http://www.google.co.uk/search
112: http://search.msn.it/results.asp
112: http://www.ee.princeton.edu/~chaff/index.php
106: http://ee.princeton.edu/~chaff/zchaff.php
104: http://gauss.ececs.uc.edu/Workshops/SAT/sat2002.html
103: http://search.msn.com/spbasic.htm
101: http://www.ee.princeton.edu/~chaff/zchaff.php
98: http://www.google.co.kr/search
96: http://logic.pdmi.ras.ru/~hirsch/
95: http://www.mrg.dist.unige.it/events/sat03/
94: http://directory.google.com/Top/Science/Math/Logic_and_Foundations/Computability/
83: http://www.google.com/custom
82: http://www.google.ch/search
82: http://www.alltheweb.com/search
82: http://cafe.newcastle.edu.au/daniel/SAT/index.html
75: http://www.satlib.org/links.html
72: http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/events.html
64: http://directory.google.com/Top/Computers/Algorithms/Complexity/
62: http://www.cs.washington.edu/homes/kautz/walksat/
56: http://www.lri.fr/~simon/
51: http://www.altavista.com/cgi-bin/query
51: http://search.aol.com/dirsearch.adp
51: http://www.google.co.il/search
49: http://www.nanana.com/satlinksandbooks.html
48: http://search.netscape.com/search.psp
46: http://search.msn.co.uk/results.asp
46: http://search.netscape.com/nscp_results.adp
46: http://search.excite.com/search.gw
44: http://www.google.at/search
43: http://www.ii.uam.es/~delval/resources.html
42: http://search.msn.de/results.asp
42: http://eigold.tripod.com/BerkMin.html
42: http://webferret.search.com/click
40: http://search.msn.se/results.asp
40: http://cs-svr1.swan.ac.uk/~csoliver/SATlinks.html
39: http://www.google.com.br/search
38: http://www.inf.ethz.ch/personal/biere/
38: http://google.com/search
38: http://www.ask.com/main/metaAnswer.asp
37: http://www.satlib.org/events.html
36: http://groups.yahoo.com/group/theory-edge/links
36: http://www.inf.ethz.ch/~biere/
35: http://www.google.be/search
35: http://www.laria.u-picardie.fr/~cli/EnglishPage.html
34: http://sat.inesc.pt/links.html
34: http://plato.la.asu.edu/topics/problems/discrete.html
33: http://www.intellektik.informatik.tu-darmstadt.de/~tom/
33: http://fr.altavista.com/q
32: http://search.lycos.com/main/default.asp
31: http://www.cs.toronto.edu/~fbacchus/csc2512/
31: http://www.netcraft.com/survey/
30: http://www.pingalink.com/research.asp
30: http://uk.google.yahoo.com/bin/query_uk
30: http://www.lri.fr/~simon/satex/links/links.php3
29: http://logic.pdmi.ras.ru/~hirsch/index.html
29: http://search.dogpile.com/texis/search
28: http://search.msn.nl/results.asp
28: http://www.cs.ucla.edu/~darwiche/cs269/
27: http://www.jumpy.it/Ricerca/SearchResult
27: http://www.cs.toronto.edu/~kullmann/SATlinks.html
27: http://search.supereva.it/cgi-bin/gsearch.chm
26: http://www.lri.fr/~simon/satex/
26: http://cafe.newcastle.edu.au/maryanne/
25: http://www.lri.fr/~simon/satex/competition/registration.php3
25: http://search.virgilio.it/search/cgi/search.cgi
25: http://search.lycos.com/default.asp
25: http://it.altavista.com/q
24: http://brisbane.t-online.de/fast-cgi/tsc
24: http://beta.search.msn.com/results.asp
24: http://www.cs.toronto.edu/~fbacchus/2clseq.html
23: http://www.stanford.edu/class/cs103x/extracredit/puzzle.html
23: http://sat.inesc.pt/~jpms/sat/
23: http://www.mrg.dist.unige.it/events/sat03/index.htm
22: http://arianna.iol.it/search/abin/integrata.cgi
22: http://sat.inesc.pt/sat/
22: http://www.google.com.pl/search
21: http://www.askjeeves.com/main/metaAnswer.asp
21: http://www.looksmart.com/r_search
21: http://www.gfsd.org/gfhs/Departments/Guidance/college_information.htm
20: http://www.usethesource.com/index.shtml
19: http://www.univ-orleans.fr/SCIENCES/LIFO/Members/lallouet/enseignement/2001/AD1.html
19: http://www.google.com/
18: http://dmoz.org/Computers/Algorithms/Complexity/
17: http://search.aol.com/minisearch.adp
17: http://www.google.com/ie
17: http://search.netscape.com/google.tmpl
17: http://arianna.libero.it/search/abin/integrata.cgi
16: http://google.yahoo.com/bin/query0
16: http://www.mrg.dist.unige.it/events/sat03/cfp.htm
16: http://hotbot.lycos.com/
15: http://search.evreka.passagen.se/query
15: http://search.msn.dk/results.asp
15: http://www.math.miami.edu/~tptp/CASC/
15: http://hotbot.lycos.com/default.asp
15: http://www.geocities.com/st_busygin/
15: http://cerca.lycos.it/cgi-bin/pursuit
14: http://rr.looksmart.com/r_search
14: http://216.239.33.100/search
14: http://search.msn.com/preview.asp
14: http://www.cs.auc.dk/~kgl/Dat501/plan.html
14: http://vlsicad.eecs.umich.edu/BK/Slots/
14: http://www.iaea.org/
14: http://extremetracking.com/open;ref1
14: http://www.satlive.org:8200/cgi-bin/bibsearch
14: http://search.earthlink.net/search
14: http://www.lri.fr/~simon/satex/competition/submission.php3
13: http://www.cs.washington.edu/homes/kautz/index.html
13: http://dmoz.org/Science/Math/Logic_and_Foundations/Computability/
13: http://www.freenet.de/tools/leiste/
13: http://cs-svr1.swan.ac.uk/~csoliver/OKsolver.html
13: http://www.altavista.com/web/results
13: http://uk.search.msn.com/results.asp
13: http://www.google.com.ru/search
13: http://www.mrg.dist.unige.it/~qube/qbflib/links.html
13: http://search.msn.it/spbasic.htm
12: http://ebusiness.newcastle.edu.au/maryanne/BusinessandTechnology.html
12: http://www.cs.utoronto.ca/~kullmann/SATlinks.html
12: http://search.metacrawler.com/crawler
12: http://www.ee.princeton.edu/~dtang/links.html
12: http://www.cs.ucla.edu/~darwiche/cs264a/
12: http://www.cril.univ-artois.fr/~sais/liens.htm
12: http://www.irit.fr/ACTIVITES/LILaC/Stages/andi_tab.html
12: http://www.engine54.com/search.dll
12: http://www.tuttopirata.com/cgi-bin/search.exe
11: http://www.google.co.nz/search
11: http://aolsearch.aol.co.uk/web.adp
11: http://search.msn.ca/results.asp
11: http://search.lycos.com/main/
11: http://www.cs.ubc.ca/~hoos/SATLIB/links.html
10: http://search.supereva.it/cgi-bin/p_gsearch.chm
10: http://www.cril.univ-artois.fr/~leberre/ressources.php
10: http://nexus6.cs.ucla.edu/GSRC/bookshelf/Slots/
10: http://www.ee.princeton.edu/~dtang/linksforresearch.html
10: http://www.google.com.au/search
10: http://search.rediff.com/dirsrch/default.asp
10: http://vinci.inesc.pt/~jpms/sat/
10: http://www.cs.ucla.edu/~jwong/Sat.html
10: http://www.altavista.com/iepane
10: http://ca.google.yahoo.com/bin/query_ca
10: http://aolsearch.aol.com/cat.adp
10: http://www.overture.com/d/search/p/befree/
9: http://fr.ca.search.msn.com/results.asp
9: http://search.ke.voila.fr/S/wanadoo
9: http://www.xtrj.org/theory.htm
9: http://suche.lycos.de/cgi-bin/pursuit
9: http://www.sciencemag.org/cgi/content/full/297/5582/784
9: http://gauss.ececs.uc.edu/Conferences/SAT/
9: http://ww.google.com/search
9: http://www-compsci.swan.ac.uk/~csoliver/SATlinks.html
9: http://www2.google.com/search
9: http://www.google.cl/search
9: http://bsd7.starkhome.cs.sunysb.edu/~stark/CSE641/
9: http://vachercher.lycos.fr/cgi-bin/pursuit
9: http://www.mrg.dist.unige.it/~sim/simo/Links/links.html
9: http://altavista.onet.pl/query.html
9: http://www.geocities.com/SiliconValley/Haven/5779/
9: http://discus.anu.edu.au/~andrews/
9: http://search.msn.es/results.asp
8: http://www.excite.co.uk/search.gw
8: http://vramdhanie/home.html
8: http://www.alltheweb.com/cgi-bin/search
8: http://ebusiness.newcastle.edu.au/maryanne/SoftwareEngineering.html
8: http://www.google.ie/search
8: http://www.ee.pdx.edu/~alanmi/research/blrp/blrp.htm
8: http://au.google.yahoo.com/bin/query_au
8: http://pcmath126.unice.fr/assort-robot.html
8: http://sdg.lcs.mit.edu/satsolvers/PSolver/
8: http://search.msn.co.kr/results.asp
8: http://search.msn.com.tw/results.asp
8: http://www.usethesource.com/cgi-bin/index.pl
8: http://sdg.lcs.mit.edu/satsolvers/PSolver/index.html
8: http://search.msn.be/results.asp
8: http://cafe.newcastle.edu.au/SATLIVE/
8: http://iasi-linux/satex-new/satex.php3
8: http://www.ifind.freeserve.com/servlet/search/
8: http://eigold.tripod.com/
8: http://www.cs.ucla.edu/~jwong/Sat.htm
8: http://translate.google.com/translate_c
8: http://www-compsci.swan.ac.uk/~csoliver/OKsolver.html
8: http://www.ifind.freeserve.com/servlet/search
7: http://www.cs.miami.edu/~tptp/CASC/
7: http://localhost/default.asp
7: http://sidesearch.lycos.com/results.asp
7: http://216.239.51.100/search
7: http://cgi.di.uoa.gr/~telelis/
7: http://www.lri.fr/~simon/satex/competition/registration-benchmarks.php3
7: http://216.239.33.102/search
7: http://szukaj.wp.pl/szukaj.html
7: http://66.33.0.109/cgi-bin/nph-meta.cgi
7: http://search2.cometsystems.com/search.php
7: http://www.thebestofnet.com/cgi-bin/topsecret.cgi
7: http://webferret.search.com/search
7: http://altavista.com/sites/search/web
7: http://cafe.newcastle.edu.au/maryanne/BusinessandTechnology.html
7: http://64.4.18.250/cgi-bin/linkrd
7: http://www.cril.univ-artois.fr/~letombe/
7: http://www.search.com/search
7: http://216.239.37.100/search
7: http://www.cril.univ-artois.fr/~leberre/recherche.php
7: http://uk.altavista.com/q
7: http://directory.google.co.kr/Top/Science/Math/Logic_and_Foundations/Computability/
6: http://search.ke.voila.fr/S/wanadoong
6: http://turing.wins.uva.nl/~bon/klinks/node22.html
6: http://www.ask.com/
6: http://search-arianna.iol.it/abin/internationalsearch
6: http://www.lycos.com/srch/
6: http://www.gigascale.org/bookshelf/Slots/
6: http://www.google.pl/search
6: http://www.iiia.csic.es/~ealtamir/ad/varia.html
6: http://search.ninemsn.com.au/results.asp
6: http://search.lycos.co.uk/cgi-bin/pursuit
6: http://www.mamma.com/Mamma
6: http://www.goo.ne.jp/ie4.0/msResult.asp
6: http://www.cs.inf.ethz.ch/personal/biere/projects/checkprime/
6: http://216.239.35.120/translate_c
6: http://www.google.com/cobrand
5: http://www.teoma.com/search.asp
5: http://www.cs.auc.dk/~kgl/Dat501/plan.htm
5: http://www.overture.com/d/search/
5: http://vivisimo.com/search
5: http://search.indiatimes.com/servlet/timessearch
5: http://search.msn.fi/results.asp
5: http://search.fr.msn.be/results.asp
5: http://www.cs.wustl.edu/~stump/ar.html
5: http://lycossvar.spray.se/cgi-bin/pursuit
5: http://www.whois.sc/
5: http://nl.altavista.com/q
5: http://logic.pdmi.ras.ru/~arist/UnitWalk/
5: http://citeseer.nj.nec.com/525569.html
5: http://www.google.com/u/msdk12
5: http://liinwww.ira.uka.de/bibliography/Theory/satbib.html
5: http://www.google.com.gr/search
5: http://ask.com/main/metaAnswer.asp
5: http://www.altavista.com/sites/search/iepane
5: http://search1-2.free.fr/google.pl
5: http://www.google.lt/search
5: http://www.cmi.univ-mrs.fr/~audemard/english/recherche.html
5: http://www.netfactual.com/
5: http://www.google.com.ar/search
5: http://www.lac.inpe.br/~lorena/outros-links.html
5: http://www.attbi.com/cgi-bin/websearch
5: http://aida.intellektik.informatik.tu-darmstadt.de/~hoos/SATLIB/links.html
5: http://search.msn.com.br/results.asp
5: http://ebusiness.newcastle.edu.au/maryanne/AgentTechnology.html
5: http://search.msn.no/results.asp
4: http://search.sli.sympatico.ca/partner/sli/asp/results.asp
4: http://hpsearch.uni-trier.de/hp/cgi/hps.cgi
4: http://search.msn.co.uk/spbasic.htm
4: http://www.wisenut.com/search/query.dll
4: http://seeker-001.wwwroute.com/
4: g:/load1.htm
4: http://search.altavista.com/cgi-bin/query
4: http://www.google.com/url
4: http://altavista.com/cgi-bin/query
4: http://web.altavista.com/cgi-bin/query
4: http://sucheaol.aol.de/suche/search.jsp
4: http://www.google.com.sg/search
4: http://search.msn.nl/spbasic.htm
4: http://ecommerce.newcastle.edu.au/daniel/SAT/
4: http://www.goo.ne.jp/default.asp
4: http://www.aj.com/main/metaAnswer.asp
4: http://us.f134.mail.yahoo.com/ym/ShowLetter
4: http://www.zpr.uni-koeln.de/pipermail/dmanet/2001-December/000575.html
4: http://216.239.53.100/search
4: http://directory.mozilla.org/
4: http://www.cs.princeton.edu/~dinghao/links/links.html
4: http://groups.google.com/groups
4: http://bbsearch.blueyonder.co.uk/bbsearch/search/search.jsp
4: http://search.sify.com/cgi-bin/search.pl
4: https://webmail.telenordia.se/webmail/whtml/mail.whtml
4: http://search.iwon.com/commerce/google.jsp
4: http://porgus.com/
4: http://verden.jubii.dk/res.asp
4: http://gauss.ececs.uc.edu/Workshops/SAT/
4: http://www.hotbot.lycos.it/result.html
4: http://alltheweb.com/search
4: http://ee.princeton.edu/~chaff/link.php
4: http://pesquisa.clix.pt/search.asp
4: http://us.f147.mail.yahoo.com/ym/ShowLetter
4: http://vivisimo.com/Snippets.html
4: http://www.goto.com/d/search/p/netscape/
4: http://www.informatik.uni-trier.de/GI/FG-014/Announce/2002/SAT1.CFP.html
4: http://search.iwon.com/commerce/websearch.jsp
4: http://win.mail.ru/cgi-bin/readmsg
4: http://translate.google.com/translate_n
4: http://www.inf.ethz.ch/~biere/projects/limmat/
4: http://franklin.roosevelt.edu/exchange/forms/IPM/NOTE/read.asp
4: http://www.bonzi.com/bonziportal/index.asp
4: http://freefind.com/
4: http://sg.lycosasia.com/srch/index.html
4: http://de.altavista.com/q
4: http://www.collegeboard.com/
3: http://find.opasia.dk/google.php
3: http://www.pingalink.com/
3: http://remote.science.uva.nl/~bon/klinks/node23.html
3: http://www.cril.univ-artois.fr/~leberre/index.php
3: http://www.mrg.dist.unige.it/~marco/
3: http://www.it.lycos.de/cgi-bin/pursuit
3: http://www.ececs.uc.edu/stats/
3: http://web.toile.com/toile/index.asp
3: http://ces.oingo.com/apps/domainpark/results.cgi
3: http://web.toile.com/infinit/index.asp
3: http://216.239.39.100/search
3: http://www.zpr.uni-koeln.de/pipermail/dmanet/2002-February/000625.html
3: http://www.overture.com/d/search/p/netzero/
3: http://www.cbl.ncsu.edu/OpenExperiments/SAT/SAT-related-links.html
3: http://216.34.146.167:8000/servlet/timessearch
3: http://groups.yahoo.com/group/algorithm-forge/message/9
3: http://www.lycos.de/cgi-bin/pursuit
3: http://www.cs.swan.ac.uk/~csoliver/OKsolver.html
3: http://search.cometsystems.com/search.php
3: http://www.cs.wustl.edu/~gw2/resource.htm
3: http://www.google.fi/search
3: http://search.soeg.sol.dk/query
3: http://www.jivesoftware.com/pipermail/jive-dev/2001-July/000087.html
3: http://aolsearch.aol.ca/dirsearch.adp
3: http://www.carleton.ca/~hmasum/
3: http://www.ilor.com/searchilor.lor
3: http://us.f136.mail.yahoo.com/ym/ShowLetter
3: http://zoek.vinden.nl/
3: http://www.cs.ubc.ca/~davet/dls4sat/
3: http://search.aol.com/redirect.adp
3: http://www.hotbot.com/default.asp
3: http://synd-uk.looksmart.co.uk/synd-yah/SearchResults.jsp
3: http://s.teoma.com/search
3: http://pluto.cbl.ncsu.edu/EDS/EDS_SATcnf/SAT-related-links.html
3: http://us.f204.mail.yahoo.com/ym/ShowLetter
3: http://nefertiti.dyndns.org/~reinhard/
3: http://in.google.yahoo.com/bin/query_in
3: http://cs-svr1.swan.ac.uk/~csoliver/Software/OKsolverGeschichte.html
3: http://www.alexlee.com.au/portfolio.html
3: http://www.ask.co.uk/metasearch.asp
3: http://us.f202.mail.yahoo.com/ym/ShowLetter
3: http://groups.yahoo.com/group/algorithm-forge/message/35
3: http://www.antibot.net/
3: http://search.iwon.com/commerce/multisearch.jsp
3: http://www.busygin.dp.ua/npc.html/
3: http://dns1.mor.itesm.mx/~giovani/journal.html
3: http://www.google.com/microsoft
3: http://search.fr.msn.ca/results.asp
3: http://www.skynet.be/page.html
3: http://us.f36.mail.yahoo.com/ym/ShowLetter
3: http://turing.wins.uva.nl/~bon/somelinks.html
3: http://pesquisa.sapo.pt/
3: http://search.msn.es/spbasic.htm
3: http://www.mit.edu/people/vkuncak/research/
3: http://dir.hotbot.lycos.com/Computers/Algorithms/Complexity/
3: http://search.msn.com.hk/results.asp
3: http://us.f117.mail.yahoo.com/ym/ShowLetter
3: http://216.33.148.250/cgi-bin/linkrd
3: http://www.tcs.hut.fi/Studies/T-79.194/
3: http://search.metacrawler.com/texis/search
3: http://www.google.lv/search
3: http://geocities.yahoo.com/stats
3: http://siva.cs.info.mie-u.ac.jp/~ohta/cs-lab/link.html
3: http://64.4.16.250/cgi-bin/linkrd
3: http://www.cs.auc.dk/~kgl/DAT5E02/plan.html
3: about:blank
2: http://mat.gsia.cmu.edu/DMANET/archive/0838.html
2: http://www.goto.com/d/search/p/befree/
2: http://us.f213.mail.yahoo.com/ym/ShowLetter
2: http://www.tcs.hut.fi/~orponen/bookmarks.html
2: http://search-dyn.tiscali.it/search.php
2: http://janas-search.tiscali.es/searchbin/webSearchL.pl
2: http://sm.aport.ru/scripts/template.dll
2: http://lycospro.lycos.com/srchpro/
2: http://haku.suomi24.fi/query
2: http://moebius.mchp.siemens.de/~reinhard/reports.html
2: http://www.worldnet.att.net/cgi-bin/websearch
2: http://www.irit.fr/recherches/LILAC/Stages/andi_tab.html
2: http://arp.anu.edu.au/~andrews/
2: http://cafe.newcastle.edu.au/maryanne/research.html
2: http://www.discoveromaha.com/search/search/SAT/UnifiedSearch
2: http://www.cs.uky.edu/~lliu1/links.html
2: http://www.hrtide.com/shared/mod_perl/search/unified_search
2: news://news.ruv.itesm.mx/9m6rqd$dmh$1@news.ruv.itesm.mx
2: http://www.searchalot.com/cgi-bin/search/search.cgi
2: http://www.overture.com/d/search/p/earthlink/MSIE5/cold.jhtml
2: http://search.kvasir.sol.no/query
2: http://polidoro.ii.uam.es/modules.php
2: http://srch.overture.com/d/search/p/go/
2: http://searchsd.com/jump.cgi
2: http://suche.fireball.de/fcgi/queryav.fcg
2: http://www.intellektik.informatik.tu-darmstadt.de/~tom
2: http://www.tiscali.nl/sear/websites_results.asp
2: http://webpage.sina.com.cn/cgi-bin/webpage/webpage.cgi
2: http://jw.itworld.com/javatips/jw-javatip113.html
2: http://ee.princeton.edu/~chaff/index.php
2: http://www.lycos.it/cgi-bin/pursuit
2: http://search.kazaa.com/de/search.php
2: http://www.cs.chalmers.se/~koen/links.html
2: http://search01.altavista.com/sites/search/web
2: http://search.t1msn.com.mx/results.asp
2: http://www.laria.u-picardie.fr/~dequen/cnfs/
2: http://search.xtramsn.co.nz/results.asp
2: http://www.search123.com/cgi-bin/ksearch.cgi
2: http://citeseer.nj.nec.com/leberre01sat.html
2: http://us.f208.mail.yahoo.com/ym/ShowLetter
2: http://64.4.14.250/cgi-bin/linkrd
2: http://greta.cs.ioc.ee/itk/konv2003.html
2: http://www.overture.com/d/search/p/netscape/
2: http://www.google.it/
2: http://sidesearch.lycos.com/sidesearch/default.asp
2: http://www.ece.pdx.edu/~alanmi/research/blrp/blrp.htm
2: http://www-sr.informatik.uni-tuebingen.de/pdm/protected/bookmark.htm
2: http://google.yahoo.com/bin/query1
2: http://www.iskalnik.com/1a/iskalnik.cgi
2: http://ebusiness.newcastle.edu.au/maryanne/
2: http://groups.yahoo.com/group/algorithm-forge/message/1469
2: http://vivisimo.com/vivisimo/Snippets.html
2: http://mail.sina.com.cn/cgi-bin/redirect.cgi
2: http://home-search.excite.com/search.gw
2: http://fr.google.yahoo.com/bin/query_fr
2: http://secure.surfola.com/http://www.tuttopirata.com/cgi-bin/search.exe
2: http://auto.search.msn.com/preview.asp
2: http://search2.tiscali.it/searchbin/webSearch.pl
2: http://arabsites.com/add.htm
2: http://www.compuserve.de/suche/suche.jsp
2: http://www.geocities.com/st_busygin/index.html
2: http://www.informatik.uni-freiburg.de/~rintanen/resources.html
2: http://rehber.turk.net/found.asp
2: http://192.168.100.1/my/bookmarks/
2: http://www.kvasir.dk/query
2: http://search.katalogo.it/search/cgi-bin/kwsearchadv.cgi
2: http://us.f404.mail.yahoo.com/ym/ShowLetter
2: http://communicate.oingo.com/apps/domainpark/results.cgi
2: http://eps.new.search.new.net/apps/eps/results.cgi
2: http://www.jdance.com/jdance.htm
2: http://www.google.com/u/greenvilleschools
2: http://arianna-internazionale.iol.it/cgi-bin/integrata.cgi
2: http://zoek.lycos.nl/cgi-bin/pursuit
2: http://categorie.iltrovatore.it/iltrovatore-meta/search.cgi
2: http://www.bos2.alltheweb.com/cgi-bin/search
2: http://www.searchalot.com/texis/open/metathin
2: http://www.cds.caltech.edu/~xinliu/links.html
2: http://7metasearch.com/scripts/search/7metasearch/results.asp
2: http://zoek.lycos.be/cgi-bin/pursuit
2: http://wap.google.com/search
2: http://cafe.newcastle.edu.au/maryanne/downloadscoolstuff.html
2: http://www.ocnow.com/shared/mod_perl/search/unified_search
2: http://7search.com/scripts/pls.asp
2: http://synd-uk.looksmart.co.uk/synd-yal/SearchResults.jsp
2: http://nameadmin.oingo.com/apps/domainpark/results.cgi
2: http://search.supereva.it/cgi-bin/p_fsearch.chm
2: http://ixquick.com/do/metasearch.pl
2: http://br.altavista.com/q
2: http://www.cs.inf.ethz.ch/MOMspider/members/biere.html
2: http://www.informatik.uni-freiburg.de/~rintanen/qbf.html
2: http://busygin.dp.ua/npc.html
2: http://cnn.looksmart.com/r_search
2: http://216.239.33.101/search
2: http://www.eecs.umich.edu/horde/imp/message.php
2: http://212.142.37.162/open;ref1
2: http://sat.inesc-id.pt/links.html
2: http://www.ee.princeton.edu/~chaff//
2: http://sat.inesc.pt/~jpms/sat
2: http://216.239.51.101/search
2: http://beta.search.msn.co.uk/results.asp
2: http://www.usethesource.com/cgi-bin/article.pl
2: http://213.130.45.93/cgi-bin/Target
2: http://www.princeton.edu/~yyu/links.htm
2: http://search.supereva.it/cgi-bin/msnsearch.cgi
2: http://rechercher.nomade.tiscali.fr/recherche.asp
2: http://sg.google.yahoo.com/bin/query_sg
2: http://64.4.30.250/cgi-bin/linkrd
2: http://cafe.newcastle.edu.au/maryanne/publicationsrecentpapers.html
2: http://lw10fd.law10.hotmail.msn.com/cgi-bin/nextprev
2: http://msn.directhit.com/msn/search.php
2: http://search.yahoo.com/bin/query_msie
2: http://groups.yahoo.com/group/theory-edge/message/6136
2: http://hpsearch.uni-trier.de/hp/a-tree/h/Hamadi:Youssef.html
2: http://www.google.co.th/search
2: http://www.lycos.com/srch/more.html
2: http://home.fra.chello.be/utilities/search/index.php3
2: http://mamma43.mamma.com/Mamma
2: http://partner38.oingo.com/apps/domainpark/results.cgi
2: http://www.ozsl.uva.nl/News/section.php
2: http://www.ask.co.uk/main/metaAnswer.asp
2: http://it.altavista.com/web/results
2: http://www.overture.com/d/search/p/iepanel/5/cold.jhtml
2: http://search.kazaa.com/us/search.php
2: http://websearch.cs.com/cs/results/cssearch-frameset.adp
2: http://search.it.altavista.com/cgi-bin/query
2: http://www.av.com/cgi-bin/query
2: http://192.168.100.1/my/bookmarks/bm-add
2: http://vinci.inesc.pt/sat/
2: http://groups.yahoo.com/group/theory-edge/
2: http://www.l2g.com/
2: http://jupiter.lac.inpe.br/~lorena/outros-links.html
2: http://www.emulti.pl/cgi-bin/query.cgi
2: http://srch.overture.com/d/search/p/go/;jsessionid=QVMTJLAYNLV0DQFIEOSAPUQ
2: http://24.132.141.143/~bon/somelinks.html
2: http://www.dailyroutine.com/cgibin/dr/mypage.cgi
2: http://rechercher.nomade.fr/recherche.asp
2: http://search.msn.de/spbasic.htm
454: [not listed: 454 URLs]
This report lists which servers people followed links from.
Listing referring sites with at least 2 requests, sorted by the
number of requests.
reqs: site
----: ----
9991: http://www.google.com/
1364: http://google.yahoo.com/
1010: http://www.lri.fr/
916: http://search.msn.com/
632: http://search.yahoo.com/
604: http://www.google.de/
575: http://gauss.ececs.uc.edu/
571: http://www.google.it/
567: http://www.google.fr/
472: http://www.ee.princeton.edu/
447: http://aolsearch.aol.com/
436: http://cafe.newcastle.edu.au/
413: http://www.intellektik.informatik.tu-darmstadt.de/
296: http://pantheon.yale.edu/
273: http://www.altavista.com/
270: http://www.google.ca/
250: http://www.inf.ethz.ch/
242: http://auto.search.msn.com/
202: http://www.cs.washington.edu/
187: http://www.laria.u-picardie.fr/
176: http://www.busygin.dp.ua/
164: http://www.almaden.ibm.com/
162: http://www.cril.univ-artois.fr/
159: http://www.mrg.dist.unige.it/
158: http://directory.google.com/
157: http://www.google.nl/
156: http://www.google.co.jp/
131: http://logic.pdmi.ras.ru/
125: http://search.msn.it/
113: http://ee.princeton.edu/
112: http://www.satlib.org/
112: http://search.netscape.com/
112: http://www.google.co.uk/
98: http://www.google.co.kr/
92: http://www.alltheweb.com/
82: http://sat.inesc.pt/
82: http://www.google.ch/
82: http://www.cs.toronto.edu/
71: http://search.aol.com/
68: http://search.lycos.com/
58: http://www.cs.ucla.edu/
57: http://cs-svr1.swan.ac.uk/
52: http://groups.yahoo.com/
51: http://www.google.co.il/
51: http://eigold.tripod.com/
50: http://search.msn.co.uk/
49: http://webferret.search.com/
49: http://www.nanana.com/
48: http://search.excite.com/
46: http://www.ask.com/
44: http://search.msn.de/
44: http://www.google.at/
43: http://www.ii.uam.es/
41: http://search.supereva.it/
40: http://search.msn.se/
39: http://www.google.com.br/
38: http://google.com/
35: http://www.google.be/
34: http://plato.la.asu.edu/
33: http://www.pingalink.com/
33: http://ebusiness.newcastle.edu.au/
33: http://fr.altavista.com/
32: http://www.overture.com/
32: http://www.netcraft.com/
32: http://search.msn.nl/
32: http://dmoz.org/
31: http://hotbot.lycos.com/
30: http://www.usethesource.com/
30: http://uk.google.yahoo.com/
29: http://search.dogpile.com/
27: http://www.jumpy.it/
27: http://it.altavista.com/
26: http://www.geocities.com/
25: http://search.virgilio.it/
24: http://brisbane.t-online.de/
24: http://beta.search.msn.com/
23: http://www.stanford.edu/
23: http://www.gfsd.org/
22: http://www.looksmart.com/
22: http://www.cs.auc.dk/
22: http://arianna.iol.it/
22: http://www.google.com.pl/
21: http://www.askjeeves.com/
21: http://srd.yahoo.com/
20: http://www.univ-orleans.fr/
18: http://www-compsci.swan.ac.uk/
17: http://citeseer.nj.nec.com/
17: http://arianna.libero.it/
17: http://search.ke.voila.fr/
17: http://sdg.lcs.mit.edu/
16: http://www.cs.ubc.ca/
16: http://search.msn.dk/
16: http://www.math.miami.edu/
16: http://www.ifind.freeserve.com/
15: http://search.evreka.passagen.se/
15: http://search.metacrawler.com/
15: http://cerca.lycos.it/
14: http://vlsicad.eecs.umich.edu/
14: http://search.earthlink.net/
14: http://216.239.33.100/
14: http://www.iaea.org/
14: http://rr.looksmart.com/
14: http://extremetracking.com/
14: http://www.satlive.org:8200/
14: http://www.irit.fr/
13: http://uk.search.msn.com/
13: http://www.freenet.de/
13: http://www.google.com.ru/
12: http://www.cs.utoronto.ca/
12: http://www.tuttopirata.com/
12: http://www.engine54.com/
12: http://search.msn.ca/
12: http://search.msn.es/
12: http://hpsearch.uni-trier.de/
12: http://altavista.com/
12: http://vinci.inesc.pt/
12: http://translate.google.com/
11: http://vivisimo.com/
11: http://www.google.co.nz/
11: http://nexus6.cs.ucla.edu/
11: http://www.lycos.com/
11: http://aolsearch.aol.co.uk/
11: http://search.iwon.com/
10: http://search.rediff.com/
10: http://www.google.com.au/
10: http://www.goo.ne.jp/
10: http://ca.google.yahoo.com/
9: http://altavista.onet.pl/
9: http://search.msn.be/
9: http://bsd7.starkhome.cs.sunysb.edu/
9: http://discus.anu.edu.au/
9: http://www2.google.com/
9: http://www.xtrj.org/
9: http://vachercher.lycos.fr/
9: http://suche.lycos.de/
9: http://turing.wins.uva.nl/
9: http://sidesearch.lycos.com/
9: http://search.msn.co.kr/
9: http://www.sciencemag.org/
9: http://localhost/
9: http://www.google.cl/
9: http://fr.ca.search.msn.com/
9: http://ww.google.com/
8: http://www.google.ie/
8: http://www.cs.inf.ethz.ch/
8: http://vramdhanie/
8: http://iasi-linux/
8: http://www.excite.co.uk/
8: http://directory.google.co.kr/
8: http://au.google.yahoo.com/
8: http://www.ee.pdx.edu/
8: http://www.cs.wustl.edu/
8: http://search.msn.com.tw/
8: http://pcmath126.unice.fr/
8: http://www.goto.com/
8: http://msxml.excite.com/
7: http://www.thebestofnet.com/
7: http://www.search.com/
7: http://216.239.33.102/
7: http://216.239.51.100/
7: http://66.33.0.109/
7: http://cgi.di.uoa.gr/
7: http://www.cs.miami.edu/
7: http://uk.altavista.com/
7: http://216.239.37.100/
7: http://szukaj.wp.pl/
7: http://64.4.18.250/
7: http://search2.cometsystems.com/
7: http://www.zpr.uni-koeln.de/
6: http://www.mamma.com/
6: http://www.google.pl/
6: http://aida.intellektik.informatik.tu-darmstadt.de/
6: http://search-arianna.iol.it/
6: http://search.lycos.co.uk/
6: http://search.ninemsn.com.au/
6: http://search.msn.fi/
6: http://www.netfactual.com/
6: http://216.239.35.120/
6: http://web.toile.com/
6: http://synd-uk.looksmart.co.uk/
6: http://www.gigascale.org/
6: http://www.iiia.csic.es/
5: http://www.teoma.com/
5: http://search.msn.com.br/
5: http://www.google.lt/
5: http://search.fr.msn.be/
5: http://www.google.com.ar/
5: http://search.indiatimes.com/
5: http://www.tcs.hut.fi/
5: http://search.sify.com/
5: http://www.cmi.univ-mrs.fr/
5: http://www.google.com.gr/
5: http://search1-2.free.fr/
5: http://liinwww.ira.uka.de/
5: http://alltheweb.com/
5: http://nl.altavista.com/
5: http://lycossvar.spray.se/
5: http://search.msn.no/
5: http://ask.com/
5: http://www.attbi.com/
5: http://websearch.cs.com/
5: http://www.whois.sc/
5: http://ecommerce.newcastle.edu.au/
5: http://www.ask.co.uk/
5: http://www.lac.inpe.br/
4: http://www.aj.com/
4: http://192.168.100.1/
4: http://www.satlive.org:/
4: http://srch.overture.com/
4: http://win.mail.ru/
4: http://verden.jubii.dk/
4: http://www.mit.edu/
4: http://seeker-001.wwwroute.com/
4: https://webmail.telenordia.se/
4: http://web.altavista.com/
4: http://suche.fireball.de/
4: g:/load1.htm/
4: http://groups.google.com/
4: http://freefind.com/
4: http://directory.mozilla.org/
4: http://216.239.53.100/
4: http://pesquisa.clix.pt/
4: http://www.bonzi.com/
4: http://search.sli.sympatico.ca/
4: http://us.f147.mail.yahoo.com/
4: http://www.informatik.uni-trier.de/
4: http://franklin.roosevelt.edu/
4: http://search.kazaa.com/
4: http://us.f134.mail.yahoo.com/
4: http://sucheaol.aol.de/
4: http://www.informatik.uni-freiburg.de/
4: http://search.altavista.com/
4: http://bbsearch.blueyonder.co.uk/
4: http://sg.lycosasia.com/
4: http://www.hotbot.lycos.it/
4: http://www.wisenut.com/
4: http://www.cs.princeton.edu/
4: http://pesquisa.sapo.pt/
4: http://de.altavista.com/
4: http://www.google.com.sg/
4: http://www.searchalot.com/
4: http://porgus.com/
4: http://www.lycos.de/
4: http://www.collegeboard.com/
3: http://search.soeg.sol.dk/
3: http://www.hotbot.com/
3: http://siva.cs.info.mie-u.ac.jp/
3: http://us.f117.mail.yahoo.com/
3: http://www.alexlee.com.au/
3: http://www.cs.chalmers.se/
3: http://geocities.yahoo.com/
3: http://www.jivesoftware.com/
3: http://216.34.146.167:8000/
3: http://www.google.lv/
3: http://aolsearch.aol.ca/
3: http://in.google.yahoo.com/
3: http://www.it.lycos.de/
3: http://www.ececs.uc.edu/
3: http://search.fr.msn.ca/
3: http://eps.new.search.new.net/
3: http://search.msn.com.hk/
3: http://ces.oingo.com/
3: http://www.ilor.com/
3: http://remote.science.uva.nl/
3: http://zoek.vinden.nl/
3: http://www.carleton.ca/
3: http://rechercher.nomade.fr/
3: http://pluto.cbl.ncsu.edu/
3: http://www.skynet.be/
3: http://nefertiti.dyndns.org/
3: http://dir.hotbot.lycos.com/
3: http://s.teoma.com/
3: http://find.opasia.dk/
3: http://ixquick.com/
3: http://64.4.16.250/
3: http://us.f136.mail.yahoo.com/
3: http://www.geocrawler.com/
3: http://www.antibot.net/
3: http://216.33.148.250/
3: http://us.f204.mail.yahoo.com/
3: news://news.ruv.itesm.mx/
3: http://www.cs.swan.ac.uk/
3: http://dns1.mor.itesm.mx/
3: http://www.cbl.ncsu.edu/
3: http://us.f202.mail.yahoo.com/
3: http://search.cometsystems.com/
3: http://jw.itworld.com/
3: http://us.f36.mail.yahoo.com/
3: http://www.google.fi/
3: http://www.eecs.umich.edu/
3: http://216.239.39.100/
3: about:blank/
2: http://www.compuserve.de/
2: http://7metasearch.com/
2: http://home.fra.chello.be/
2: http://msn.directhit.com/
2: http://cnn.looksmart.com/
2: http://sg.google.yahoo.com/
2: http://www.jdance.com/
2: http://www.dailyroutine.com/
2: http://zoek.lycos.nl/
2: http://64.4.30.250/
2: http://www.lycos.it/
2: http://www.princeton.edu/
2: http://news.sina.com.cn/
2: http://dir.lycos.com/
2: http://www.ifind.freeserve.net/
2: http://janas-search.tiscali.es/
2: http://www.cds.caltech.edu/
2: http://www.bos2.alltheweb.com/
2: http://secure.surfola.com/
2: http://www.ocnow.com/
2: http://216.239.33.101/
2: http://www.discoveromaha.com/
2: http://beta.search.msn.co.uk/
2: http://nameadmin.oingo.com/
2: http://arp.anu.edu.au/
2: http://home-search.excite.com/
2: http://216.239.51.101/
2: http://www.ozsl.uva.nl/
2: http://search.it.altavista.com/
2: http://busygin.dp.ua/
2: http://64.4.14.250/
2: http://lw10fd.law10.hotmail.msn.com/
2: http://srch.excite.com/
2: http://www.google.co.th/
2: http://www.abcsearch.com/
2: http://moebius.mchp.siemens.de/
2: http://arabsites.com/
2: http://communicate.oingo.com/
2: http://www-sr.informatik.uni-tuebingen.de/
2: http://7search.com/
2: http://partner38.oingo.com/
2: http://search-dyn.tiscali.it/
2: http://greta.cs.ioc.ee/
2: http://haku.suomi24.fi/
2: http://www.hrtide.com/
2: http://search2.tiscali.it/
2: http://search.katalogo.it/
2: http://categorie.iltrovatore.it/
2: http://www.av.com/
2: http://www.kvasir.dk/
2: http://wap.google.com/
2: http://search.t1msn.com.mx/
2: http://search.xtramsn.co.nz/
2: http://www.go.com/
2: http://www.cs.uky.edu/
2: http://rehber.turk.net/
2: http://us.f208.mail.yahoo.com/
2: http://sat.inesc-id.pt/
2: http://www.isi.edu/
2: http://mail.sina.com.cn/
2: http://www.emulti.pl/
2: http://www.worldnet.att.net/
2: http://br.altavista.com/
2: http://fr.google.yahoo.com/
2: http://polidoro.ii.uam.es/
2: http://www.search123.com/
2: http://mamma43.mamma.com/
2: http://search01.altavista.com/
2: http://www.iskalnik.com/
2: http://lycospro.lycos.com/
2: http://arianna-internazionale.iol.it/
2: http://inbox.excite.com/
2: http://us.f213.mail.yahoo.com/
2: http://webpage.sina.com.cn/
2: http://zoek.lycos.be/
2: http://av.yahoo.com/
2: http://24.132.141.143/
2: http://us.f404.mail.yahoo.com/
2: http://sok.start.no/
2: http://jupiter.lac.inpe.br/
2: http://www.tiscali.nl/
2: http://sm.aport.ru/
2: http://mat.gsia.cmu.edu/
2: http://213.130.45.93/
2: http://search.kvasir.sol.no/
2: http://www.ece.pdx.edu/
2: http://www.l2g.com/
2: http://rechercher.nomade.tiscali.fr/
2: http://searchsd.com/
2: http://212.142.37.162/
267: [not listed: 267 sites]
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.
reqs: search term
-----: -----------
9110: sat
810: solver
704: live
693: satisfiability
632: code
480: chaff
479: algorithm
428: cnf
420: 3
408: problem
376: 2002
361: of
359: source
358: application
341: for
323: in
320: 2
319: dpll
317: and
303: c
296: 3sat
287: papers
261: boolean
259: satlive
248: putnam
245: davis
234: download
231: java
224: model
209: problems
22366: [not listed: 2,997 search terms]
This report lists the operating systems used by visitors.
Listing operating systems, sorted by the number of requests for
pages.
no.: reqs: pages: OS
---: -----: -----: --
1: 38940: 10919: Windows
: 10487: 3600: Windows 98
: 17786: 3313: Windows 2000
: 3819: 1455: Windows NT
: 2406: 1263: Windows 95
: 3235: 1026: Windows Me
: 1166: 246: Unknown Windows
: 31: 11: Windows 32-bit
: 9: 5: Windows 3.1
: 1: 0: Windows 16-bit
2: 14127: 5498: Unix
: 11324: 4234: Linux
: 2070: 921: SunOS
: 256: 86: Other Unix
: 118: 79: BSD
: 111: 79: AIX
: 157: 66: OSF1
: 41: 19: IRIX
: 50: 14: HP-UX
3: 30034: 3660: OS unknown
4: 1110: 530: Macintosh
: 1058: 516: Macintosh PowerPC
: 49: 12: Macintosh 68k
: 3: 2: Unknown Macintosh
5: 2: 1: WebTV
6: 1: 0: BeOS
7: 4: 0: OS/2
8: 1: 0: RISC OS
This report lists the HTTP status codes of all requests.
Listing status codes, sorted numerically.
reqs: status code
-----: -----------
83631: 200 OK
62: 206 Partial content
108: 301 Document moved permanently
32040: 302 Document found elsewhere
1017: 304 Not modified since last retrieval
1335: 400 Bad request
14554: 404 Document not found
152: 408 Request timeout
19: 416 Requested range not valid
148: 500 Internal server error
4: 501 Request type not supported
This report lists the sizes of files.
size: reqs: %bytes:
-----------: -----: ------:
0: 1452: :
1b- 10b: 1: :
11b- 100b: 3736: :
101b- 1kb: 260: :
1kb- 10kb: 9941: 1.36%:
10kb-100kb: 63043: 67.53%:
100kb- 1Mb: 6275: 30.99%:
1Mb- 10Mb: 2: 0.12%:
This report lists the extensions of requested files.
Listing extensions with at least 0.1% of the traffic, sorted by the
amount of traffic.
reqs: %bytes: extension
-----: ------: ---------
59345: 86.77%: .jsp
15944: 8.82%: [directories]
4760: 2.01%: .html [Hypertext Markup Language]
296: 1.34%: .pdf [Adobe Portable Document Format]
125: 0.39%: .gz [Gzip compressed files]
125: 0.39%: .ps.gz [Gzipped PostScript]
635: 0.38%: .bib
70: 0.16%: .ps [PostScript]
2: 0.12%: .zip [Zip archives]
3533: 0.01%: [not listed: 5 extensions]
This report lists the directories from which files were requested. (The figures for each directory include all of its subdirectories.)
Listing directories with at least 0.01% of the traffic, sorted by the
amount of traffic.
reqs: %bytes: directory
-----: ------: ---------
72563: 93.58%: [root directory]
2975: 3.67%: /SATBIB/
7696: 2.41%: /SATCompetition/
1327: 0.32%: /forums/
149: 0.02%: [not listed: 9 directories]
This report lists the files on the site.
Listing files with at least 20 requests, sorted by the number of
requests.
reqs: %bytes: last time: file
-----: ------: ---------------: ----
21089: 25.58%: 13/Jan/03 11:47: /index.jsp
14797: 8.61%: 17/Dec/02 19:26: /
14287: 29.03%: 13/Jan/03 11:09: /satkwd.jsp
680: 1.22%: 13/Jan/03 00:57: /satkwd.jsp?kwd=17
661: 2.63%: 13/Jan/03 10:54: /satkwd.jsp?kwd=41
627: 1.48%: 13/Jan/03 10:48: /satkwd.jsp?kwd=22
623: 2.56%: 13/Jan/03 10:28: /satkwd.jsp?kwd=11
488: 1.64%: 13/Jan/03 10:17: /satkwd.jsp?kwd=49
480: 1.46%: 13/Jan/03 10:20: /satkwd.jsp?kwd=15
415: 1.35%: 13/Jan/03 10:17: /satkwd.jsp?kwd=35
413: 0.88%: 12/Jan/03 14:27: /satkwd.jsp?kwd=10
413: 0.72%: 13/Jan/03 10:40: /satkwd.jsp?kwd=43
392: 0.69%: 13/Jan/03 10:23: /satkwd.jsp?kwd=34
392: 0.68%: 12/Jan/03 14:16: /satkwd.jsp?kwd=45
389: 0.85%: 13/Jan/03 09:11: /satkwd.jsp?kwd=12
354: 0.81%: 13/Jan/03 10:25: /satkwd.jsp?kwd=42
351: 0.52%: 12/Jan/03 14:37: /satkwd.jsp?kwd=33
351: 0.99%: 12/Jan/03 14:03: /satkwd.jsp?kwd=40
338: 1.06%: 13/Jan/03 10:43: /satkwd.jsp?kwd=32
334: 0.61%: 12/Jan/03 14:31: /satkwd.jsp?kwd=21
323: 0.70%: 12/Jan/03 14:10: /satkwd.jsp?kwd=19
313: 0.71%: 13/Jan/03 10:39: /satkwd.jsp?kwd=46
313: 0.50%: 12/Jan/03 14:13: /satkwd.jsp?kwd=48
293: 0.51%: 12/Jan/03 14:36: /satkwd.jsp?kwd=24
285: 0.57%: 13/Jan/03 05:25: /satkwd.jsp?kwd=39
274: 0.54%: 12/Jan/03 14:35: /satkwd.jsp?kwd=13
259: 0.46%: 12/Jan/03 14:44: /satkwd.jsp?kwd=25
256: 0.35%: 6/Jan/03 04:13: /satkwd.jsp?kwd=38
245: 0.34%: 13/Jan/03 10:42: /satkwd.jsp?kwd=44
220: 0.25%: 10/Jan/03 08:21: /satkwd.jsp?kwd=50
216: 0.24%: 10/Jan/03 02:52: /satkwd.jsp?kwd=23
216: 0.25%: 12/Jan/03 15:12: /satkwd.jsp?kwd=51
213: 0.27%: 13/Jan/03 10:37: /satkwd.jsp?kwd=56
210: 0.22%: 13/Jan/03 10:20: /satkwd.jsp?kwd=57
209: 0.32%: 13/Jan/03 01:43: /satkwd.jsp?kwd=20
205: 0.29%: 12/Jan/03 16:08: /satkwd.jsp?kwd=18
200: 0.20%: 5/Jan/03 00:51: /satkwd.jsp?kwd=52
3881: 2.71%: 5/Jan/03 17:09: /post.jsp
3513: : 13/Jan/03 10:14: /robots.txt
3375: 2.82%: 13/Jan/03 04:49: /viewThread.jsp
3114: 0.31%: 13/Jan/03 10:47: /SATCompetition/index.jsp
3090: 8.09%: 13/Jan/03 10:31: /bytype.jsp
820: 2.06%: 13/Jan/03 10:18: /bytype.jsp?reftypefrom=-2
566: 0.84%: 13/Jan/03 10:26: /bytype.jsp?reftypefrom=-3
480: 0.86%: 13/Jan/03 10:30: /bytype.jsp?reftypefrom=-4
339: 0.55%: 13/Jan/03 10:31: /bytype.jsp?reftypefrom=-1
253: 0.26%: 11/Jan/03 01:54: /bytype.jsp?reftypefrom=0
1827: 2.22%: 13/Jan/03 09:18: /people.jsp
1698: 10.36%: 13/Jan/03 01:10: /satnews.jsp
1283: 0.19%: 2/Dec/02 01:07: /SATCompetition/SAT2002news.html
819: 1.77%: 13/Jan/03 04:46: /SATBIB/satbib.jsp
762: 0.61%: 10/Jan/03 20:06: /viewForum.jsp
230: 0.19%: 9/Jan/03 00:32: /viewForum.jsp?forum=5
679: 0.22%: 31/Jul/01 23:58: /forums/viewThread.jsp
607: 0.40%: 13/Jan/03 01:11: /about.jsp
582: 0.39%: 13/Jan/03 01:12: /forums.jsp
502: 0.33%: 13/Jan/03 01:12: /submitter.jsp
501: 0.05%: 31/Jan/02 16:27: /SATCompetition/
412: 0.57%: 12/Jan/03 06:55: /SATBIB/satbib-bib.html
405: 0.96%: 13/Jan/03 01:11: /stats.jsp
395: 0.29%: 12/Jan/03 14:33: /SATBIB/index.jsp
357: 0.48%: 12/Jan/03 07:34: /SATBIB/satbib.html
335: 0.37%: 10/Jan/03 17:46: /SATBIB/satbib.bib
334: 0.13%: 30/Jan/02 19:27: /SATBIB/
300: 0.02%: 10/Jan/03 17:46: /SATBIB/confs.bib
283: 0.16%: 10/Jan/03 11:42: /satlive.html
269: 0.17%: 5/Jan/03 17:22: /search.jsp
242: 0.03%: 29/Nov/02 18:13: /SATCompetition/format-solvers.html
228: : 13/Jan/03 01:12: /hits.jsp
194: 0.02%: 1/Aug/01 04:21: /forums/
184: 0.12%: 8/Jan/03 12:50: /login.jsp
179: 0.02%: 13/Jan/03 11:04: /SATCompetition/2003/index.jsp
173: 0.04%: 31/Jul/01 01:07: /forums/viewForum.jsp
171: 0.07%: 1/Aug/01 10:11: /softs.jsp
162: 0.09%: 29/Nov/02 18:39: /SATCompetition/submittedbenchs.html
155: 0.96%: 13/Jan/03 00:08: /SATCompetition/onlinereport.pdf
152: 0.01%: 22/Nov/02 03:07: /SATCompetition/cfb.html
152: 0.02%: 28/Nov/02 22:09: /SATCompetition/cfs.html
137: 0.35%: 12/Jan/03 01:12: /satlive.pdf
136: 0.09%: 1/Aug/01 00:17: /stats.html
131: 0.02%: 31/Jul/01 15:26: /benchs.jsp
127: 0.01%: 1/Dec/02 00:19: /SATCompetition/berkmin.html
119: 0.37%: 8/Jan/03 04:56: /SATCompetition/onlinereport.ps.gz
115: 0.03%: 11/Jan/03 12:55: /SATCompetition/onlinereport/node10.html
114: 0.07%: 5/Jan/03 11:08: /createAccount.jsp
112: 0.02%: 31/Jul/01 01:07: /forums/post.jsp
111: 0.01%: 12/Jan/03 14:40: /QBFEvaluation/index.jsp
104: 0.01%: 29/Nov/02 18:55: /SATCompetition/good-old.html
103: 0.02%: 8/Jul/01 15:02: /about.html
103: 0.03%: 1/Aug/01 02:17: /events.jsp
99: 0.01%: 4/Jan/03 13:08: /SATCompetition/onlinereport/
95: 0.05%: 10/Jan/03 03:29: /papers.jsp
92: 0.04%: 13/Jan/03 00:07: /SATCompetition/onlinereport/node9.html
88: : 1/Dec/02 15:37: /SATCompetition/format-benchmarks.html
70: 0.16%: 12/Jan/03 09:21: /satlive.ps
65: 0.03%: 12/Jan/03 13:11: /SATCompetition/onlinereport/node24.html
54: 0.01%: 28/Nov/02 07:08: /SATCompetition/compet.jsp
52: 0.04%: 11/Jan/03 13:17: /SATCompetition/onlinereport/node14.html
48: : 8/Jan/03 04:43: /resetCache.jsp
45: 0.01%: 8/Jan/03 10:30: /SATCompetition/onlinereport/node2.html
43: 0.01%: 29/Jul/01 02:06: /forums/index.jsp
41: : 28/Jul/01 19:34: /forums/login.jsp
40: 0.02%: 9/Jan/03 22:20: /SATCompetition/onlinereport/node17.html
36: 0.01%: 4/Jan/03 19:55: /SATCompetition/onlinereport/node18.html
36: 0.01%: 4/Jan/03 20:20: /SATCompetition/onlinereport/node23.html
35: 0.01%: 4/Jan/03 21:19: /SATCompetition/onlinereport/node13.html
34: : 29/Jul/01 09:35: /forums/createAccount.jsp
33: 0.01%: 4/Jan/03 21:24: /SATCompetition/onlinereport/node19.html
32: : 4/Jan/03 21:26: /SATCompetition/onlinereport/node3.html
32: : 4/Jan/03 20:45: /SATCompetition/onlinereport/node6.html
31: : 10/Jan/03 03:36: /SATCompetition/onlinereport/node5.html
30: 0.01%: 13/Jan/03 02:20: /SATCompetition/onlinereport/node22.html
30: : 4/Jan/03 22:05: /SATCompetition/onlinereport/node1.html
30: : 31/Jul/01 01:07: /forums/search.jsp
30: : 4/Jan/03 21:43: /SATCompetition/onlinereport/node15.html
29: : 4/Jan/03 15:51: /SATCompetition/onlinereport/node4.html
29: : 4/Jan/03 17:35: /SATCompetition/onlinereport/node16.html
28: : 4/Jan/03 19:44: /SATCompetition/onlinereport/node12.html
27: : 4/Jan/03 20:38: /SATCompetition/onlinereport/node11.html
27: : 4/Jan/03 18:17: /SATCompetition/onlinereport/node8.html
27: : 11/Jan/03 07:58: /SATCompetition/2002/index.jsp
27: : 4/Jan/03 21:42: /SATCompetition/onlinereport/node20.html
26: : 4/Jan/03 21:30: /SATCompetition/onlinereport/node7.html
23: : 4/Jan/03 21:21: /SATCompetition/onlinereport/node21.html
22: : 4/Jan/03 21:18: /SATCompetition/onlinereport/node25.html
21: : 26/Jul/01 08:20: /forums/account.jsp
20: : 4/Jan/03 20:35: /SATCompetition/onlinereport/onlinereport.html
283: 0.28%: 13/Jan/03 00:16: [not listed: 81 files]
This analysis was produced by analog 5.03.
Running time: 2 minutes, 44 seconds.
© 2000-2001 Business & Technology Research Laboratory.
© 2001-2005 Centre de Recherche en Informatique de Lens.
Hosted by Innovation
and Technology Research Lab.
Please send any comment to daniel@satlive.org.
|
