Index of /clover/org/sat4j/minisat/constraints 
      Name                                                                          Last modified       Size  Description


[DIR] Parent Directory                                                              27-Jun-2007 08:29      -  
[TXT] AbstractCardinalityDataStructure.html                                         27-Jun-2007 08:06   134k  
[TXT] AbstractDataStructureFactory.html                                             27-Jun-2007 08:06   451k  
[TXT] AbstractPBClauseCardConstrDataStructure.html                                  27-Jun-2007 08:06   204k  
[TXT] AbstractPBDataStructureFactory.html                                           27-Jun-2007 08:06   409k  
[TXT] AbstractPigeonHoleWithCardinalityTest.html                                    27-Jun-2007 08:06   156k  
[TXT] AbstractPseudoBooleanAndPigeonHoleTest.html                                   27-Jun-2007 08:06   645k  
[TXT] AbstractRandomCardProblemsTest.html                                           27-Jun-2007 08:06   152k  
[TXT] AllTests.html                                                                 27-Jun-2007 08:06    37k  
[TXT] CardinalityDataStructure.html                                                 27-Jun-2007 08:06   237k  
[TXT] CardinalityDataStructureYanMax.html                                           27-Jun-2007 08:06   239k  
[TXT] CardinalityDataStructureYanMin.html                                           27-Jun-2007 08:07   238k  
[TXT] ClausalDataStructureCB.html                                                   27-Jun-2007 08:07   246k  
[TXT] ClausalDataStructureCBWL.html                                                 27-Jun-2007 08:07    47k  
[TXT] ClausalDataStructureWL.html                                                   27-Jun-2007 08:07    47k  
[TXT] CounterCardConstrOnRandomCardProblemsTest.html                                27-Jun-2007 08:07    32k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN10.html                       27-Jun-2007 08:07    65k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN34.html                       27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN4.html                        27-Jun-2007 08:07    63k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN45.html                       27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN5.html                        27-Jun-2007 08:07    63k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN56.html                       27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN6.html                        27-Jun-2007 08:07    63k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN67.html                       27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN7.html                        27-Jun-2007 08:07    63k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN78.html                       27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN8.html                        27-Jun-2007 08:07    63k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN89.html                       27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN9.html                        27-Jun-2007 08:07    63k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testPN910.html                      27-Jun-2007 08:07    51k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg1.html                    27-Jun-2007 08:07    44k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg10.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg11.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg12.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg13.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg14.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg15.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg16.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg17.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg18.html                   27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg2.html                    27-Jun-2007 08:07    43k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg3.html                    27-Jun-2007 08:07    42k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg4.html                    27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg5.html                    27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg6.html                    27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg7.html                    27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg8.html                    27-Jun-2007 08:07    29k  
[TXT] CounterCardConstrOnRandomCardProblemsTest_testRndDeg9.html                    27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrClauseImpliedWithClauseCardConstrLearning.html                 27-Jun-2007 08:07    25k  
[TXT] CounterPBConstrOnRandomCardProblemsTest.html                                  27-Jun-2007 08:07    32k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN10.html                         27-Jun-2007 08:07    65k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN34.html                         27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN4.html                          27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN45.html                         27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN5.html                          27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN56.html                         27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN6.html                          27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN67.html                         27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN7.html                          27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN78.html                         27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN8.html                          27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN89.html                         27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN9.html                          27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testPN910.html                        27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg1.html                      27-Jun-2007 08:07    44k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg10.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg11.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg12.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg13.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg14.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg15.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg16.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg17.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg18.html                     27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg2.html                      27-Jun-2007 08:07    43k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg3.html                      27-Jun-2007 08:07    42k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg4.html                      27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg5.html                      27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg6.html                      27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg7.html                      27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg8.html                      27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrOnRandomCardProblemsTest_testRndDeg9.html                      27-Jun-2007 08:07    29k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest.html                        27-Jun-2007 08:07    26k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN10.html               27-Jun-2007 08:07    64k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN34.html               27-Jun-2007 08:07    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN4.html                27-Jun-2007 08:07    63k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN45.html               27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN5.html                27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN56.html               27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN6.html                27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN67.html               27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN7.html                27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN78.html               27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN8.html                27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN89.html               27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN9.html                27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testPN910.html              27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul1011.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul1015.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul1020.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul1516.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul1520.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul1525.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul2021.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul2025.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul2030.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul3031.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul3035.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul3040.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul3536.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul3540.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul3545.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul4041.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul4045.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul4050.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul5051.html          27-Jun-2007 08:08    56k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul5055.html          27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testaloul5060.html          27-Jun-2007 08:08    58k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testn9symml.html            27-Jun-2007 08:08    42k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testnC17.html               27-Jun-2007 08:08    42k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testnC432.html              27-Jun-2007 08:08    49k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testnb1.html                27-Jun-2007 08:08    48k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testnc8.html                27-Jun-2007 08:08    49k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncc.html                27-Jun-2007 08:08    42k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncirc103.html           27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncirc43.html            27-Jun-2007 08:08    58k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncirc63.html            27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncirc83.html            27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncm42a.html             27-Jun-2007 08:08    48k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testncmb.html               27-Jun-2007 08:08    49k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testndata103.html           27-Jun-2007 08:08    58k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testndata43.html            27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testndata63.html            27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testndata83.html            27-Jun-2007 08:08    57k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testnmux.html               27-Jun-2007 08:08    49k  
[TXT] CounterPBConstrWithCBClauseCardConstrLearningTest_testnmyadder.html           27-Jun-2007 08:08    49k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest.html                       27-Jun-2007 08:08    29k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN10.html              27-Jun-2007 08:08    64k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN34.html              27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN4.html               27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN45.html              27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN5.html               27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN56.html              27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN6.html               27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN67.html              27-Jun-2007 08:08    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN7.html               27-Jun-2007 08:08    63k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN78.html              27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN8.html               27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN89.html              27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN9.html               27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testPN910.html             27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul1011.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul1015.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul1020.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul1516.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul1520.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul1525.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul2021.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul2025.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul2030.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul3031.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul3035.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul3040.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul3536.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul3540.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul3545.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul4041.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul4045.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul4050.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul5051.html         27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul5055.html         27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testaloul5060.html         27-Jun-2007 08:09    58k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testn9symml.html           27-Jun-2007 08:09    42k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testnC17.html              27-Jun-2007 08:09    42k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testnC432.html             27-Jun-2007 08:09    49k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testnb1.html               27-Jun-2007 08:09    48k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testnc8.html               27-Jun-2007 08:09    49k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncc.html               27-Jun-2007 08:09    42k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncirc103.html          27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncirc43.html           27-Jun-2007 08:09    58k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncirc63.html           27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncirc83.html           27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncm42a.html            27-Jun-2007 08:09    48k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testncmb.html              27-Jun-2007 08:09    49k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testndata103.html          27-Jun-2007 08:09    58k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testndata43.html           27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testndata63.html           27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testndata83.html           27-Jun-2007 08:09    57k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testnmux.html              27-Jun-2007 08:09    49k  
[TXT] CounterPBConstrWithClauseAtLeastConstrLearningTest_testnmyadder.html          27-Jun-2007 08:09    49k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest.html                          27-Jun-2007 08:09    27k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN10.html                 27-Jun-2007 08:09    64k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN34.html                 27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN4.html                  27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN45.html                 27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN5.html                  27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN56.html                 27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN6.html                  27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN67.html                 27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN7.html                  27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN78.html                 27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN8.html                  27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN89.html                 27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN9.html                  27-Jun-2007 08:09    63k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testPN910.html                27-Jun-2007 08:09    51k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul1011.html            27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul1015.html            27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul1020.html            27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul1516.html            27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul1520.html            27-Jun-2007 08:09    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul1525.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul2021.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul2025.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul2030.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul3031.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul3035.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul3040.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul3536.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul3540.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul3545.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul4041.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul4045.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul4050.html            27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul5051.html            27-Jun-2007 08:10    56k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul5055.html            27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testaloul5060.html            27-Jun-2007 08:10    58k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testn9symml.html              27-Jun-2007 08:10    42k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testnC17.html                 27-Jun-2007 08:10    42k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testnC432.html                27-Jun-2007 08:10    49k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testnb1.html                  27-Jun-2007 08:10    48k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testnc8.html                  27-Jun-2007 08:10    49k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncc.html                  27-Jun-2007 08:10    42k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncirc103.html             27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncirc43.html              27-Jun-2007 08:10    58k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncirc63.html              27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncirc83.html              27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncm42a.html               27-Jun-2007 08:10    48k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testncmb.html                 27-Jun-2007 08:10    49k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testndata103.html             27-Jun-2007 08:10    58k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testndata43.html              27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testndata63.html              27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testndata83.html              27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testnmux.html                 27-Jun-2007 08:10    49k  
[TXT] CounterPBConstrWithClauseCardConstrLearningTest_testnmyadder.html             27-Jun-2007 08:10    49k  
[TXT] CounterPBConstrWithClauseLearningTest.html                                    27-Jun-2007 08:10    33k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN10.html                           27-Jun-2007 08:10    64k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN34.html                           27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN4.html                            27-Jun-2007 08:10    63k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN45.html                           27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN5.html                            27-Jun-2007 08:10    63k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN56.html                           27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN6.html                            27-Jun-2007 08:10    63k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN67.html                           27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN7.html                            27-Jun-2007 08:10    63k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN78.html                           27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN8.html                            27-Jun-2007 08:10    63k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN89.html                           27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN9.html                            27-Jun-2007 08:10    63k  
[TXT] CounterPBConstrWithClauseLearningTest_testPN910.html                          27-Jun-2007 08:10    51k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul1011.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul1015.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul1020.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul1516.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul1520.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul1525.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul2021.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul2025.html                      27-Jun-2007 08:10    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul2030.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul3031.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul3035.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul3040.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul3536.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul3540.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul3545.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul4041.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul4045.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul4050.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul5051.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul5055.html                      27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testaloul5060.html                      27-Jun-2007 08:11    58k  
[TXT] CounterPBConstrWithClauseLearningTest_testn9symml.html                        27-Jun-2007 08:11    42k  
[TXT] CounterPBConstrWithClauseLearningTest_testnC17.html                           27-Jun-2007 08:11    42k  
[TXT] CounterPBConstrWithClauseLearningTest_testnC432.html                          27-Jun-2007 08:11    49k  
[TXT] CounterPBConstrWithClauseLearningTest_testnb1.html                            27-Jun-2007 08:11    48k  
[TXT] CounterPBConstrWithClauseLearningTest_testnc8.html                            27-Jun-2007 08:11    49k  
[TXT] CounterPBConstrWithClauseLearningTest_testncc.html                            27-Jun-2007 08:11    42k  
[TXT] CounterPBConstrWithClauseLearningTest_testncirc103.html                       27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testncirc43.html                        27-Jun-2007 08:11    58k  
[TXT] CounterPBConstrWithClauseLearningTest_testncirc63.html                        27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testncirc83.html                        27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testncm42a.html                         27-Jun-2007 08:11    48k  
[TXT] CounterPBConstrWithClauseLearningTest_testncmb.html                           27-Jun-2007 08:11    49k  
[TXT] CounterPBConstrWithClauseLearningTest_testndata103.html                       27-Jun-2007 08:11    58k  
[TXT] CounterPBConstrWithClauseLearningTest_testndata43.html                        27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testndata63.html                        27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testndata83.html                        27-Jun-2007 08:11    57k  
[TXT] CounterPBConstrWithClauseLearningTest_testnmux.html                           27-Jun-2007 08:11    49k  
[TXT] CounterPBConstrWithClauseLearningTest_testnmyadder.html                       27-Jun-2007 08:11    49k  
[TXT] CounterPBConstrWithPBConstrLearningTest.html                                  27-Jun-2007 08:11    33k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN10.html                         27-Jun-2007 08:11    64k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN34.html                         27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN4.html                          27-Jun-2007 08:11    63k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN45.html                         27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN5.html                          27-Jun-2007 08:11    63k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN56.html                         27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN6.html                          27-Jun-2007 08:11    63k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN67.html                         27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN7.html                          27-Jun-2007 08:11    63k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN78.html                         27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN8.html                          27-Jun-2007 08:11    63k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN89.html                         27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN9.html                          27-Jun-2007 08:11    63k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testPN910.html                        27-Jun-2007 08:11    51k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul1011.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul1015.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul1020.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul1516.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul1520.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul1525.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul2021.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul2025.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul2030.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul3031.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul3035.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul3040.html                    27-Jun-2007 08:11    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul3536.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul3540.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul3545.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul4041.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul4045.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul4050.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul5051.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul5055.html                    27-Jun-2007 08:12    56k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testaloul5060.html                    27-Jun-2007 08:12    58k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testn9symml.html                      27-Jun-2007 08:12    42k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testnC17.html                         27-Jun-2007 08:12    42k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testnC432.html                        27-Jun-2007 08:12    49k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testnb1.html                          27-Jun-2007 08:12    48k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testnc8.html                          27-Jun-2007 08:12    49k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncc.html                          27-Jun-2007 08:12    42k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncirc103.html                     27-Jun-2007 08:12    57k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncirc43.html                      27-Jun-2007 08:12    58k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncirc63.html                      27-Jun-2007 08:12    57k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncirc83.html                      27-Jun-2007 08:12    57k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncm42a.html                       27-Jun-2007 08:12    48k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testncmb.html                         27-Jun-2007 08:12    49k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testndata103.html                     27-Jun-2007 08:12    58k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testndata43.html                      27-Jun-2007 08:12    57k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testndata63.html                      27-Jun-2007 08:12    57k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testndata83.html                      27-Jun-2007 08:12    57k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testnmux.html                         27-Jun-2007 08:12    49k  
[TXT] CounterPBConstrWithPBConstrLearningTest_testnmyadder.html                     27-Jun-2007 08:12    49k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest.html                  27-Jun-2007 08:12    27k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN10.html         27-Jun-2007 08:12    64k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN34.html         27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN4.html          27-Jun-2007 08:12    63k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN45.html         27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN5.html          27-Jun-2007 08:12    63k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN56.html         27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN6.html          27-Jun-2007 08:12    63k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN67.html         27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN7.html          27-Jun-2007 08:12    63k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN78.html         27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN8.html          27-Jun-2007 08:12    63k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN89.html         27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN9.html          27-Jun-2007 08:12    63k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testPN910.html        27-Jun-2007 08:12    51k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul1011.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul1015.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul1020.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul1516.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul1520.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul1525.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul2021.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul2025.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul2030.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul3031.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul3035.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul3040.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul3536.html    27-Jun-2007 08:12    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul3540.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul3545.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul4041.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul4045.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul4050.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul5051.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul5055.html    27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testaloul5060.html    27-Jun-2007 08:13    58k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testn9symml.html      27-Jun-2007 08:13    42k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testnC17.html         27-Jun-2007 08:13    42k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testnC432.html        27-Jun-2007 08:13    49k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testnb1.html          27-Jun-2007 08:13    48k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testnc8.html          27-Jun-2007 08:13    49k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncc.html          27-Jun-2007 08:13    42k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncirc103.html     27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncirc43.html      27-Jun-2007 08:13    58k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncirc63.html      27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncirc83.html      27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncm42a.html       27-Jun-2007 08:13    48k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testncmb.html         27-Jun-2007 08:13    49k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testndata103.html     27-Jun-2007 08:13    58k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testndata43.html      27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testndata63.html      27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testndata83.html      27-Jun-2007 08:13    57k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testnmux.html         27-Jun-2007 08:13    49k  
[TXT] CounterPBWithClauseCardConstrLearningReduceToClauseTest_testnmyadder.html     27-Jun-2007 08:13    49k  
[TXT] LitTest.html                                                                  27-Jun-2007 08:13    82k  
[TXT] LitTest_testEqualsObject.html                                                 27-Jun-2007 08:13     7k  
[TXT] LitTest_testNot.html                                                          27-Jun-2007 08:13     7k  
[TXT] LitTest_testToString.html                                                     27-Jun-2007 08:13     7k  
[TXT] LitTest_testTruthValue.html                                                   27-Jun-2007 08:13     7k  
[TXT] LitTest_testVar.html                                                          27-Jun-2007 08:13     7k  
[TXT] MixedDataStructureDaniel.html                                                 27-Jun-2007 08:13   243k  
[TXT] MixedDataStructureDanielCBWL.html                                             27-Jun-2007 08:13    25k  
[TXT] MixedDataStructureWithBinary.html                                             27-Jun-2007 08:13   248k  
[TXT] MixedDataStructureWithBinaryAndTernary.html                                   27-Jun-2007 08:13   258k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest.html                              27-Jun-2007 08:13    32k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN10.html                     27-Jun-2007 08:13    65k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN34.html                     27-Jun-2007 08:13    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN4.html                      27-Jun-2007 08:13    63k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN45.html                     27-Jun-2007 08:13    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN5.html                      27-Jun-2007 08:13    63k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN56.html                     27-Jun-2007 08:14    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN6.html                      27-Jun-2007 08:14    63k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN67.html                     27-Jun-2007 08:14    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN7.html                      27-Jun-2007 08:14    63k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN78.html                     27-Jun-2007 08:14    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN8.html                      27-Jun-2007 08:14    63k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN89.html                     27-Jun-2007 08:14    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN9.html                      27-Jun-2007 08:14    63k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testPN910.html                    27-Jun-2007 08:14    51k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg1.html                  27-Jun-2007 08:14    44k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg10.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg11.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg12.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg13.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg14.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg15.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg16.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg17.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg18.html                 27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg2.html                  27-Jun-2007 08:14    43k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg3.html                  27-Jun-2007 08:14    42k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg4.html                  27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg5.html                  27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg6.html                  27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg7.html                  27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg8.html                  27-Jun-2007 08:14    29k  
[TXT] MyCounterCardConstrOnRandomCardProblemsTest_testRndDeg9.html                  27-Jun-2007 08:14    29k  
[TXT] PBMaxCBClauseCardConstrDataStructure.html                                     27-Jun-2007 08:14   138k  
[TXT] PBMaxClauseAtLeastConstrDataStructure.html                                    27-Jun-2007 08:14   117k  
[TXT] PBMaxClauseCardConstrDataStructure.html                                       27-Jun-2007 08:14    62k  
[TXT] PBMaxDataStructure.html                                                       27-Jun-2007 08:14   369k  
[TXT] PBMinClauseCardConstrDataStructure.html                                       27-Jun-2007 08:14    45k  
[TXT] PBMinDataStructure.html                                                       27-Jun-2007 08:14   366k  
[TXT] PuebloPBMinClauseAtLeastConstrDataStructure.html                              27-Jun-2007 08:14   117k  
[TXT] PuebloPBMinClauseCardConstrDataStructure.html                                 27-Jun-2007 08:14   168k  
[TXT] PuebloPBMinDataStructure.html                                                 27-Jun-2007 08:14   189k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest.html                  27-Jun-2007 08:14    33k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN10.html         27-Jun-2007 08:14    64k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN34.html         27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN4.html          27-Jun-2007 08:14    63k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN45.html         27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN5.html          27-Jun-2007 08:14    63k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN56.html         27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN6.html          27-Jun-2007 08:14    63k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN67.html         27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN7.html          27-Jun-2007 08:14    63k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN78.html         27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN8.html          27-Jun-2007 08:14    63k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN89.html         27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN9.html          27-Jun-2007 08:14    63k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testPN910.html        27-Jun-2007 08:14    51k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul1011.html    27-Jun-2007 08:14    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul1015.html    27-Jun-2007 08:14    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul1020.html    27-Jun-2007 08:14    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul1516.html    27-Jun-2007 08:14    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul1520.html    27-Jun-2007 08:14    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul1525.html    27-Jun-2007 08:14    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul2021.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul2025.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul2030.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul3031.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul3035.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul3040.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul3536.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul3540.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul3545.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul4041.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul4045.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul4050.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul5051.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul5055.html    27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testaloul5060.html    27-Jun-2007 08:15    58k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testn9symml.html      27-Jun-2007 08:15    42k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testnC17.html         27-Jun-2007 08:15    42k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testnC432.html        27-Jun-2007 08:15    49k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testnb1.html          27-Jun-2007 08:15    48k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testnc8.html          27-Jun-2007 08:15    49k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncc.html          27-Jun-2007 08:15    42k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncirc103.html     27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncirc43.html      27-Jun-2007 08:15    58k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncirc63.html      27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncirc83.html      27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncm42a.html       27-Jun-2007 08:15    48k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testncmb.html         27-Jun-2007 08:15    49k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testndata103.html     27-Jun-2007 08:15    58k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testndata43.html      27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testndata63.html      27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testndata83.html      27-Jun-2007 08:15    57k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testnmux.html         27-Jun-2007 08:15    49k  
[TXT] PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest_testnmyadder.html     27-Jun-2007 08:15    49k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest.html                            27-Jun-2007 08:15    32k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN10.html                   27-Jun-2007 08:15    65k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN34.html                   27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN4.html                    27-Jun-2007 08:15    63k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN45.html                   27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN5.html                    27-Jun-2007 08:15    63k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN56.html                   27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN6.html                    27-Jun-2007 08:15    63k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN67.html                   27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN7.html                    27-Jun-2007 08:15    63k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN78.html                   27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN8.html                    27-Jun-2007 08:15    63k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN89.html                   27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN9.html                    27-Jun-2007 08:15    63k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testPN910.html                  27-Jun-2007 08:15    51k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg1.html                27-Jun-2007 08:15    44k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg10.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg11.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg12.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg13.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg14.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg15.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg16.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg17.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg18.html               27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg2.html                27-Jun-2007 08:15    43k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg3.html                27-Jun-2007 08:15    42k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg4.html                27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg5.html                27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg6.html                27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg7.html                27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg8.html                27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrOnRandomCardProblemsTest_testRndDeg9.html                27-Jun-2007 08:15    29k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest.html                              27-Jun-2007 08:16    33k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN10.html                     27-Jun-2007 08:16    64k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN34.html                     27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN4.html                      27-Jun-2007 08:16    63k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN45.html                     27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN5.html                      27-Jun-2007 08:16    63k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN56.html                     27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN6.html                      27-Jun-2007 08:16    63k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN67.html                     27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN7.html                      27-Jun-2007 08:16    63k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN78.html                     27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN8.html                      27-Jun-2007 08:16    63k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN89.html                     27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN9.html                      27-Jun-2007 08:16    63k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testPN910.html                    27-Jun-2007 08:16    51k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul1011.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul1015.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul1020.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul1516.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul1520.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul1525.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul2021.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul2025.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul2030.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul3031.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul3035.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul3040.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul3536.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul3540.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul3545.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul4041.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul4045.html                27-Jun-2007 08:16    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul4050.html                27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul5051.html                27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul5055.html                27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testaloul5060.html                27-Jun-2007 08:17    58k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testn9symml.html                  27-Jun-2007 08:17    42k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testnC17.html                     27-Jun-2007 08:17    42k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testnC432.html                    27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testnb1.html                      27-Jun-2007 08:17    48k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testnc8.html                      27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncc.html                      27-Jun-2007 08:17    42k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncirc103.html                 27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncirc43.html                  27-Jun-2007 08:17    58k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncirc63.html                  27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncirc83.html                  27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncm42a.html                   27-Jun-2007 08:17    48k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testncmb.html                     27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testndata103.html                 27-Jun-2007 08:17    58k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testndata43.html                  27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testndata63.html                  27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testndata83.html                  27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testnmux.html                     27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithClauseLearningTest_testnmyadder.html                 27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest.html                            27-Jun-2007 08:17    33k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN10.html                   27-Jun-2007 08:17    64k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN34.html                   27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN4.html                    27-Jun-2007 08:17    63k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN45.html                   27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN5.html                    27-Jun-2007 08:17    63k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN56.html                   27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN6.html                    27-Jun-2007 08:17    63k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN67.html                   27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN7.html                    27-Jun-2007 08:17    63k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN78.html                   27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN8.html                    27-Jun-2007 08:17    63k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN89.html                   27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN9.html                    27-Jun-2007 08:17    63k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testPN910.html                  27-Jun-2007 08:17    51k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul1011.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul1015.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul1020.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul1516.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul1520.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul1525.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul2021.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul2025.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul2030.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul3031.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul3035.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul3040.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul3536.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul3540.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul3545.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul4041.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul4045.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul4050.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul5051.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul5055.html              27-Jun-2007 08:17    56k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testaloul5060.html              27-Jun-2007 08:17    58k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testn9symml.html                27-Jun-2007 08:17    42k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testnC17.html                   27-Jun-2007 08:17    42k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testnC432.html                  27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testnb1.html                    27-Jun-2007 08:17    48k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testnc8.html                    27-Jun-2007 08:17    49k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncc.html                    27-Jun-2007 08:17    42k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncirc103.html               27-Jun-2007 08:17    57k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncirc43.html                27-Jun-2007 08:17    58k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncirc63.html                27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncirc83.html                27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncm42a.html                 27-Jun-2007 08:18    48k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testncmb.html                   27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testndata103.html               27-Jun-2007 08:18    58k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testndata43.html                27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testndata63.html                27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testndata83.html                27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testnmux.html                   27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPBConstrWithPBConstrLearningTest_testnmyadder.html               27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.html               27-Jun-2007 08:18    26k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN10.html      27-Jun-2007 08:18    64k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN34.html      27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN4.html       27-Jun-2007 08:18    63k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN45.html      27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN5.html       27-Jun-2007 08:18    63k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN56.html      27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN6.html       27-Jun-2007 08:18    63k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN67.html      27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN7.html       27-Jun-2007 08:18    63k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN78.html      27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN8.html       27-Jun-2007 08:18    63k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN89.html      27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN9.html       27-Jun-2007 08:18    63k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testPN910.html     27-Jun-2007 08:18    51k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul1011.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul1015.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul1020.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul1516.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul1520.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul1525.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul2021.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul2025.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul2030.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul3031.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul3035.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul3040.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul3536.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul3540.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul3545.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul4041.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul4045.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul4050.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul5051.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul5055.html 27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testaloul5060.html 27-Jun-2007 08:18    58k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testn9symml.html   27-Jun-2007 08:18    42k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testnC17.html      27-Jun-2007 08:18    42k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testnC432.html     27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testnb1.html       27-Jun-2007 08:18    48k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testnc8.html       27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncc.html       27-Jun-2007 08:18    42k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncirc103.html  27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncirc43.html   27-Jun-2007 08:18    58k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncirc63.html   27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncirc83.html   27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncm42a.html    27-Jun-2007 08:18    48k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testncmb.html      27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testndata103.html  27-Jun-2007 08:18    58k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testndata43.html   27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testndata63.html   27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testndata83.html   27-Jun-2007 08:18    57k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testnmux.html      27-Jun-2007 08:18    49k  
[TXT] PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest_testnmyadder.html  27-Jun-2007 08:19    49k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest.html                                27-Jun-2007 08:19    32k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN10.html                       27-Jun-2007 08:19    65k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN34.html                       27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN4.html                        27-Jun-2007 08:19    63k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN45.html                       27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN5.html                        27-Jun-2007 08:19    63k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN56.html                       27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN6.html                        27-Jun-2007 08:19    63k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN67.html                       27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN7.html                        27-Jun-2007 08:19    63k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN78.html                       27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN8.html                        27-Jun-2007 08:19    63k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN89.html                       27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN9.html                        27-Jun-2007 08:19    63k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testPN910.html                      27-Jun-2007 08:19    51k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg1.html                    27-Jun-2007 08:19    44k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg10.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg11.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg12.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg13.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg14.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg15.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg16.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg17.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg18.html                   27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg2.html                    27-Jun-2007 08:19    43k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg3.html                    27-Jun-2007 08:19    42k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg4.html                    27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg5.html                    27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg6.html                    27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg7.html                    27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg8.html                    27-Jun-2007 08:19    29k  
[TXT] WatchedCardConstrOnRandomCardProblemsTest_testRndDeg9.html                    27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest.html                                  27-Jun-2007 08:19    32k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN10.html                         27-Jun-2007 08:19    65k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN34.html                         27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN4.html                          27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN45.html                         27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN5.html                          27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN56.html                         27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN6.html                          27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN67.html                         27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN7.html                          27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN78.html                         27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN8.html                          27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN89.html                         27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN9.html                          27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testPN910.html                        27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg1.html                      27-Jun-2007 08:19    44k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg10.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg11.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg12.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg13.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg14.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg15.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg16.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg17.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg18.html                     27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg2.html                      27-Jun-2007 08:19    43k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg3.html                      27-Jun-2007 08:19    42k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg4.html                      27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg5.html                      27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg6.html                      27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg7.html                      27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg8.html                      27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrOnRandomCardProblemsTest_testRndDeg9.html                      27-Jun-2007 08:19    29k  
[TXT] WatchedPBConstrWithClauseLearningTest.html                                    27-Jun-2007 08:19    33k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN10.html                           27-Jun-2007 08:19    64k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN34.html                           27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN4.html                            27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN45.html                           27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN5.html                            27-Jun-2007 08:19    63k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN56.html                           27-Jun-2007 08:19    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN6.html                            27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN67.html                           27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN7.html                            27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN78.html                           27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN8.html                            27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN89.html                           27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN9.html                            27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithClauseLearningTest_testPN910.html                          27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul1011.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul1015.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul1020.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul1516.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul1520.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul1525.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul2021.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul2025.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul2030.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul3031.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul3035.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul3040.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul3536.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul3540.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul3545.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul4041.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul4045.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul4050.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul5051.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul5055.html                      27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testaloul5060.html                      27-Jun-2007 08:20    58k  
[TXT] WatchedPBConstrWithClauseLearningTest_testn9symml.html                        27-Jun-2007 08:20    42k  
[TXT] WatchedPBConstrWithClauseLearningTest_testnC17.html                           27-Jun-2007 08:20    42k  
[TXT] WatchedPBConstrWithClauseLearningTest_testnC432.html                          27-Jun-2007 08:20    49k  
[TXT] WatchedPBConstrWithClauseLearningTest_testnb1.html                            27-Jun-2007 08:20    48k  
[TXT] WatchedPBConstrWithClauseLearningTest_testnc8.html                            27-Jun-2007 08:20    49k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncc.html                            27-Jun-2007 08:20    42k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncirc103.html                       27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncirc43.html                        27-Jun-2007 08:20    58k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncirc63.html                        27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncirc83.html                        27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncm42a.html                         27-Jun-2007 08:20    48k  
[TXT] WatchedPBConstrWithClauseLearningTest_testncmb.html                           27-Jun-2007 08:20    49k  
[TXT] WatchedPBConstrWithClauseLearningTest_testndata103.html                       27-Jun-2007 08:20    58k  
[TXT] WatchedPBConstrWithClauseLearningTest_testndata43.html                        27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testndata63.html                        27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testndata83.html                        27-Jun-2007 08:20    57k  
[TXT] WatchedPBConstrWithClauseLearningTest_testnmux.html                           27-Jun-2007 08:20    49k  
[TXT] WatchedPBConstrWithClauseLearningTest_testnmyadder.html                       27-Jun-2007 08:20    49k  
[TXT] WatchedPBConstrWithPBConstrLearningTest.html                                  27-Jun-2007 08:20    33k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN10.html                         27-Jun-2007 08:20    64k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN34.html                         27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN4.html                          27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN45.html                         27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN5.html                          27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN56.html                         27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN6.html                          27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN67.html                         27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN7.html                          27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN78.html                         27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN8.html                          27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN89.html                         27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN9.html                          27-Jun-2007 08:20    63k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testPN910.html                        27-Jun-2007 08:20    51k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul1011.html                    27-Jun-2007 08:20    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul1015.html                    27-Jun-2007 08:20    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul1020.html                    27-Jun-2007 08:20    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul1516.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul1520.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul1525.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul2021.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul2025.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul2030.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul3031.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul3035.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul3040.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul3536.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul3540.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul3545.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul4041.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul4045.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul4050.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul5051.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul5055.html                    27-Jun-2007 08:21    56k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testaloul5060.html                    27-Jun-2007 08:21    58k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testn9symml.html                      27-Jun-2007 08:21    42k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testnC17.html                         27-Jun-2007 08:21    42k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testnC432.html                        27-Jun-2007 08:21    49k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testnb1.html                          27-Jun-2007 08:21    48k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testnc8.html                          27-Jun-2007 08:21    49k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncc.html                          27-Jun-2007 08:21    42k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncirc103.html                     27-Jun-2007 08:21    57k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncirc43.html                      27-Jun-2007 08:21    58k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncirc63.html                      27-Jun-2007 08:21    57k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncirc83.html                      27-Jun-2007 08:21    57k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncm42a.html                       27-Jun-2007 08:21    48k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testncmb.html                         27-Jun-2007 08:21    49k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testndata103.html                     27-Jun-2007 08:21    58k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testndata43.html                      27-Jun-2007 08:21    57k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testndata63.html                      27-Jun-2007 08:21    57k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testndata83.html                      27-Jun-2007 08:21    57k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testnmux.html                         27-Jun-2007 08:21    49k  
[TXT] WatchedPBConstrWithPBConstrLearningTest_testnmyadder.html                     27-Jun-2007 08:21    49k  
[DIR] card/                                                                         27-Jun-2007 08:21      -  
[DIR] cnf/                                                                          27-Jun-2007 08:22      -  
[DIR] pb/                                                                           27-Jun-2007 08:24      -  
[TXT] pkg-app.html                                                                  27-Jun-2007 08:24    12k  
[TXT] pkg-classes.html                                                              11-Apr-2007 12:23    23k  
[TXT] pkg-results.html                                                              27-Jun-2007 08:24    12k  
[TXT] pkg-summary.html                                                              27-Jun-2007 08:24    35k  
[TXT] pkg-targets.html                                                              11-Apr-2007 12:23    12k  
[TXT] pkg-test.html                                                                 27-Jun-2007 08:24    12k  
[TXT] pkg-tests.html                                                                11-Apr-2007 12:23    12k  
[TXT] test-AbstractCardinalityDataStructure.html                                    27-Jun-2007 08:24     6k  
[TXT] test-AbstractDataStructureFactory.html                                        27-Jun-2007 08:24     6k  
[TXT] test-AbstractPBClauseCardConstrDataStructure.html                             27-Jun-2007 08:24     6k  
[TXT] test-AbstractPBDataStructureFactory.html                                      27-Jun-2007 08:24     6k  
[TXT] test-AbstractPigeonHoleWithCardinalityTest.html                               27-Jun-2007 08:24     6k  
[TXT] test-AbstractPseudoBooleanAndPigeonHoleTest.html                              27-Jun-2007 08:24     6k  
[TXT] test-AbstractRandomCardProblemsTest.html                                      27-Jun-2007 08:24     6k  
[TXT] test-AllTests.html                                                            27-Jun-2007 08:24     6k  
[TXT] test-CardinalityDataStructure.html                                            27-Jun-2007 08:24     6k  
[TXT] test-CardinalityDataStructureYanMax.html                                      27-Jun-2007 08:24     6k  
[TXT] test-CardinalityDataStructureYanMin.html                                      27-Jun-2007 08:24     6k  
[TXT] test-ClausalDataStructureCB.html                                              27-Jun-2007 08:25     6k  
[TXT] test-ClausalDataStructureCBWL.html                                            27-Jun-2007 08:25     6k  
[TXT] test-ClausalDataStructureWL.html                                              27-Jun-2007 08:25     6k  
[TXT] test-CounterCardConstrOnRandomCardProblemsTest.html                           27-Jun-2007 08:25    27k  
[TXT] test-CounterPBConstrClauseImpliedWithClauseCardConstrLearning.html            27-Jun-2007 08:25     6k  
[TXT] test-CounterPBConstrOnRandomCardProblemsTest.html                             27-Jun-2007 08:25    27k  
[TXT] test-CounterPBConstrWithCBClauseCardConstrLearningTest.html                   27-Jun-2007 08:25    41k  
[TXT] test-CounterPBConstrWithClauseAtLeastConstrLearningTest.html                  27-Jun-2007 08:25    41k  
[TXT] test-CounterPBConstrWithClauseCardConstrLearningTest.html                     27-Jun-2007 08:25    40k  
[TXT] test-CounterPBConstrWithClauseLearningTest.html                               27-Jun-2007 08:25    63k  
[TXT] test-CounterPBConstrWithPBConstrLearningTest.html                             27-Jun-2007 08:25    39k  
[TXT] test-CounterPBWithClauseCardConstrLearningReduceToClauseTest.html             27-Jun-2007 08:25    41k  
[TXT] test-LitTest.html                                                             27-Jun-2007 08:25     9k  
[TXT] test-MixedDataStructureDaniel.html                                            27-Jun-2007 08:25     6k  
[TXT] test-MixedDataStructureDanielCBWL.html                                        27-Jun-2007 08:25     6k  
[TXT] test-MixedDataStructureWithBinary.html                                        27-Jun-2007 08:25     6k  
[TXT] test-MixedDataStructureWithBinaryAndTernary.html                              27-Jun-2007 08:25     6k  
[TXT] test-MyCounterCardConstrOnRandomCardProblemsTest.html                         27-Jun-2007 08:25    27k  
[TXT] test-PBMaxCBClauseCardConstrDataStructure.html                                27-Jun-2007 08:25     6k  
[TXT] test-PBMaxClauseAtLeastConstrDataStructure.html                               27-Jun-2007 08:25     6k  
[TXT] test-PBMaxClauseCardConstrDataStructure.html                                  27-Jun-2007 08:25     6k  
[TXT] test-PBMaxDataStructure.html                                                  27-Jun-2007 08:25     6k  
[TXT] test-PBMinClauseCardConstrDataStructure.html                                  27-Jun-2007 08:25     6k  
[TXT] test-PBMinDataStructure.html                                                  27-Jun-2007 08:25     6k  
[TXT] test-PuebloPBMinClauseAtLeastConstrDataStructure.html                         27-Jun-2007 08:25     6k  
[TXT] test-PuebloPBMinClauseCardConstrDataStructure.html                            27-Jun-2007 08:25     6k  
[TXT] test-PuebloPBMinDataStructure.html                                            27-Jun-2007 08:25     6k  
[TXT] test-PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest.html             27-Jun-2007 08:25    41k  
[TXT] test-PuebloWatchedPBConstrOnRandomCardProblemsTest.html                       27-Jun-2007 08:26    28k  
[TXT] test-PuebloWatchedPBConstrWithClauseLearningTest.html                         27-Jun-2007 08:26    64k  
[TXT] test-PuebloWatchedPBConstrWithPBConstrLearningTest.html                       27-Jun-2007 08:26    40k  
[TXT] test-PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.html          27-Jun-2007 08:26    43k  
[TXT] test-WatchedCardConstrOnRandomCardProblemsTest.html                           27-Jun-2007 08:26    27k  
[TXT] test-WatchedPBConstrOnRandomCardProblemsTest.html                             27-Jun-2007 08:26    27k  
[TXT] test-WatchedPBConstrWithClauseLearningTest.html                               27-Jun-2007 08:26    63k  
[TXT] test-WatchedPBConstrWithPBConstrLearningTest.html                             27-Jun-2007 08:26    39k  
[TXT] test-pkg-classes.html                                                         11-Apr-2007 12:24    12k  
[TXT] test-pkg-summary.html                                                         27-Jun-2007 08:26    27k  
[TXT] testsrc-pkg-summary.html                                                      27-Jun-2007 08:26    33k
Apache/1.3.34 Server at www.sat4j.org Port 80