Index of /~avg/ProofChecker

	Name	Last modified	Size	Description
	Parent Directory		-
	BUG.LIST	01-Feb-2011 16:13	389
	CheqTaut.tar.gz	18-Apr-2011 22:30	4.5K
	CheqTaut/	10-Mar-2011 15:29	-
	Documents/	24-Oct-2010 18:46	-
	ExpandTrace.tar	13-May-2007 01:06	180K
	ExpandTrace/	13-May-2007 00:57	-
	FixQBV.tar.gz	20-Sep-2011 15:09	167K
	MiniSat2ccmin.tar	02-Mar-2009 00:46	30K
	MiniSat2patch.tar	02-Feb-2009 01:22	210K
	OldStuff/	01-Feb-2011 16:43	-
	PHole.tar.gz	28-Jul-2011 22:29	181K
	ProofChecker-fileformat.txt	09-Jan-2005 23:53	15K
	QbvBug.tar.gz	13-Dec-2010 18:10	561K
	QdpllexpSimple.tar	18-Apr-2011 22:43	14K
	QdpllexpSimple/	10-Mar-2011 15:27	-
	README	20-Feb-2012 12:20	6.8K
	README-cheq	02-Mar-2011 00:16	134
	RUPkit.tar.gz	07-Oct-2010 13:43	3.6M
	RUPkit/	07-Oct-2010 13:41	-
	StratExtrJan11.tar	11-Jan-2011 20:15	30K
	TracecheckBug.tar.gz	30-Oct-2010 17:24	504K
	WildBenches2009.tar	06-Oct-2009 12:54	54M
	cert-poster-latex.tar	25-May-2007 17:42	830K
	cert-poster-sat07.pdf	25-May-2007 00:55	40K
	cert-poster.pdf	25-May-2007 00:55	40K
	cheq_checker_qube_cert_results.txt	25-Jan-2011 19:25	7.0K
	ffq	23-Nov-2010 18:20	9.3K
	fileformat_qir.txt	23-Nov-2010 18:20	9.3K
	fileformat_rup.txt	31-Jan-2009 15:41	8.3K
	ph17.cnf	12-May-2007 14:01	29K
	ph18.cnf	12-May-2007 14:01	34K
	qir-proof-grammar.txt	23-Nov-2010 18:20	9.3K
	rupToRes_32_O3	07-Oct-2010 10:33	1.2M
	rupToRes_32_O3_3GB	07-Oct-2010 10:26	1.2M
	rupToRes_64_O3	07-Oct-2010 09:29	1.3M