Index of /Boole/Additional_Implementations/Boole32/KAT_MCT

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      ExtremelyLongMsgKAT_..> 2008-11-10 12:13  242   
      ExtremelyLongMsgKAT_..> 2008-11-10 12:13  250   
      MonteCarlo_224.txt      2008-11-10 12:13  7.2K  
      verbose-32-1-224        2008-11-10 12:13  7.6K  
      verbose-32-2-224        2008-11-10 12:13  7.8K  
      verbose-32-1-256        2008-11-10 12:13  7.8K  
      MonteCarlo_256.txt      2008-11-10 12:13  7.9K  
      verbose-32-2-256        2008-11-10 12:13  8.0K  
      ShortMsgKAT_224.txt     2008-11-10 12:13  674K  
      ShortMsgKAT_256.txt     2008-11-10 12:13  690K  
      LongMsgKAT_224.txt      2008-11-10 12:13  2.3M  
      LongMsgKAT_256.txt      2008-11-10 12:13  2.3M