Name Last modified Size DescriptionApache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443
README 2013-07-29 20:54 427 qdpll-exponential.csh 2011-03-12 16:06 585 qdpll-exponential.awksh 2011-03-12 15:54 2.1K qdpllexp_1.qdimacs 2011-03-10 15:18 333 qdpllexp_22.qdimacs 2011-03-04 09:00 2.5K qdpllexp_21.qdimacs 2011-03-04 08:53 2.3K qdpllexp_20.qdimacs 2011-03-04 08:49 2.2K qdpllexp_2.qdimacs 2011-03-04 08:49 423