Index of /~avg/ProofChecker

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