Index of /~avg/ProofChecker
Name Last modified Size Description
BUG.LIST 2011-02-01 16:13 389
CheqTaut.tar.gz 2011-04-18 22:30 4.5K
CheqTaut/ 2012-06-26 08:57 -
Documents/ 2010-10-24 18:46 -
ExpandTrace.tar 2007-05-13 01:06 180K
ExpandTrace/ 2007-05-13 00:57 -
FixQBV.tar.gz 2011-09-20 15:09 167K
MiniSat2ccmin.tar 2009-03-02 00:46 30K
MiniSat2patch.tar 2009-02-02 01:22 210K
OldStuff/ 2011-02-01 16:43 -
PHole.tar.gz 2011-07-28 22:29 181K
ProofChecker-filefor..> 2005-01-09 23:53 15K
QbvBug.tar.gz 2010-12-13 18:10 561K
QdpllexpSimple.tar 2011-04-18 22:43 14K
QdpllexpSimple/ 2013-07-29 20:51 -
README 2012-02-20 12:20 6.8K
README-cheq 2011-03-02 00:16 134
RUPkit.tar.gz 2010-10-07 13:43 3.6M
RUPkit/ 2010-10-07 13:41 -
RupsBig.tar 2013-01-19 23:11 83M
StratExtrJan11.tar 2011-01-11 20:15 30K
TracecheckBug.tar.gz 2010-10-30 17:24 504K
WildBenches2009.tar 2009-10-06 12:54 54M
cert-poster-latex.tar 2007-05-25 17:42 830K
cert-poster-sat07.pdf 2007-05-25 00:55 40K
cert-poster.pdf 2007-05-25 00:55 40K
cheq_checker_qube_ce..> 2011-01-25 19:25 7.0K
depqbf-0.1qir.tar.gz 2010-12-13 14:43 502K
diss_300_5.txt 2012-05-23 09:21 20K
diss_big_losses.txt 2012-05-23 09:29 1.4K
diss_big_wins.txt 2012-05-23 09:29 1.8K
ffq 2010-11-23 18:20 9.3K
fileformat_qir.txt 2010-11-23 18:20 9.3K
fileformat_rup.txt 2009-01-31 15:41 8.3K
ph17.cnf 2007-05-12 14:01 29K
ph18.cnf 2007-05-12 14:01 34K
qir-proof-grammar.txt 2010-11-23 18:20 9.3K
rupToRes_32_O3 2010-10-07 10:33 1.2M
rupToRes_32_O3_3GB 2010-10-07 10:26 1.2M
rupToRes_64_O3 2010-10-07 09:29 1.3M
texput.log 2012-07-31 21:53 554
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443