Index of /~avg/ProofChecker/QdpllexpSimple

 Name                    Last modified      Size  Description
 qdpllexp_2.qdimacs      2011-03-04 08:49  423   
 qdpllexp_20.qdimacs     2011-03-04 08:49  2.2K  
 qdpllexp_21.qdimacs     2011-03-04 08:53  2.3K  
 qdpllexp_22.qdimacs     2011-03-04 09:00  2.5K  
 qdpllexp_1.qdimacs      2011-03-10 15:18  333   
 qdpll-exponential.awksh 2011-03-12 15:54  2.1K  
 qdpll-exponential.csh   2011-03-12 16:06  585   
 README                  2013-07-29 20:54  427

Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443