Index of ftp://ftp.cse.ucsc.edu/pub/avg/

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[DIR] JGT  6.00b  July 26 2005
[ GZ] JGT-elastic-tools.tar.gz  1.18Mb  July 27 2001
[DIR] Jtl  9.00b  January 20 2002
[TXT] kclose-tr.pdf  623.26Kb  October 20 1995
[ ] kclose-tr.ps  270.20Kb  October 20 1995
[ GZ] kclose-tr.ps.gz  80.81Kb  October 20 1995
[DIR] LeonardCNF  5.00b  June 26 2001
[TXT] lpar12long.pdf  277.41Kb  October 19 2005
[TAR] Mkcnf.tar  160.00Kb  February 26 2007
[ ] Mkcnf.tar-1996  19.00Kb  February 16 2003
[DIR] Modoc  20.00b  December 6 2012
[TXT] optima.pdf  1.10Mb  December 22 1998
[ ] paths-to-originals  201.00b  June 15 2000
[TXT] poppl.lau.pdf  1.13Mb  December 22 1998
[TXT] ProofChecker-fileformat_alt.txt  7.71Kb  January 10 2005
[TXT] ProofChecker-fileformat.txt  15.18Kb  January 10 2005
[ ] ProofChecker-README  1.06Kb  May 23 2004
[TAR] ProofChecker.tar  107.00Kb  January 11 2005
[ ] README-Under10m  3.63Kb  July 2 2013
[TAR] RupToRes.tar  1.35Mb  May 6 2007
[DIR] Scivi  30.00b  March 30 2002
[ GZ] simon-s03-fifo8-400.cnf.gz  5.27Mb  July 29 2006
[DIR] Tau  27.00b  May 24 2000
[TXT] tocubic.c  1.96Kb  June 26 2001
[DIR] WF  9.00b  June 15 2000
[ ] zchaff_xeon_avg  1.07Mb  September 17 2005

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 02 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->