Index of /smtlib/benchmarks/QF_AX/storecomm
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
storecomm_invalid_t1_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.6K
storecomm_invalid_t1_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t1_np_nf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 7.9K
storecomm_invalid_t1_np_nf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t1_np_nf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t1_np_nf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t1_np_nf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t1_np_nf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_002.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_006.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_007.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_nf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t1_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t1_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t1_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t1_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t1_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t1_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t1_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t1_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t1_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t1_np_sf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t1_np_sf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t1_np_sf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 33K
storecomm_invalid_t1_np_sf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 33K
storecomm_invalid_t1_np_sf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t1_np_sf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t1_np_sf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t1_np_sf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t1_np_sf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t1_np_sf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t1_np_sf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t1_np_sf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t1_np_sf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t1_np_sf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t1_np_sf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t1_np_sf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t1_np_sf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t1_np_sf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 67K
storecomm_invalid_t1_np_sf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 67K
storecomm_invalid_t1_np_sf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 67K
storecomm_invalid_t2_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.6K
storecomm_invalid_t2_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t2_np_nf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 7.9K
storecomm_invalid_t2_np_nf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t2_np_nf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t2_np_nf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t2_np_nf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t2_np_nf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_002.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_006.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_007.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_nf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t2_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t2_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t2_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t2_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t2_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t2_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t2_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t2_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t2_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t2_np_sf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t2_np_sf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t2_np_sf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 33K
storecomm_invalid_t2_np_sf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 33K
storecomm_invalid_t2_np_sf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t2_np_sf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t2_np_sf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t2_np_sf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t2_np_sf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t2_np_sf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t2_np_sf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t2_np_sf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t2_np_sf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t2_np_sf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t2_np_sf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t2_np_sf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t2_np_sf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t2_np_sf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 67K
storecomm_invalid_t2_np_sf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 67K
storecomm_invalid_t3_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.6K
storecomm_invalid_t3_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_invalid_t3_np_nf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 7.9K
storecomm_invalid_t3_np_nf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_invalid_t3_np_nf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 16K
storecomm_invalid_t3_np_nf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 28K
storecomm_invalid_t3_np_nf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 43K
storecomm_invalid_t3_np_nf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_002.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_006.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_007.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_nf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 60K
storecomm_invalid_t3_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t3_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t3_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t3_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t3_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t3_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_invalid_t3_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t3_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t3_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_invalid_t3_np_sf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 10K
storecomm_invalid_t3_np_sf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 20K
storecomm_invalid_t3_np_sf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 33K
storecomm_invalid_t3_np_sf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 33K
storecomm_invalid_t3_np_sf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 32K
storecomm_invalid_t3_np_sf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t3_np_sf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t3_np_sf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t3_np_sf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 49K
storecomm_invalid_t3_np_sf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t3_np_sf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t3_np_sf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t3_np_sf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t3_np_sf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 48K
storecomm_invalid_t3_np_sf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t3_np_sf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t3_np_sf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 68K
storecomm_invalid_t3_np_sf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 67K
storecomm_invalid_t3_np_sf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t1_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.6K
storecomm_t1_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t1_np_nf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 7.9K
storecomm_t1_np_nf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t1_np_nf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t1_np_nf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t1_np_nf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t1_np_nf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_002.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_006.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_007.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_nf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t1_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t1_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t1_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t1_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t1_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t1_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t1_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t1_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t1_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t1_np_sf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t1_np_sf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t1_np_sf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 33K
storecomm_t1_np_sf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 33K
storecomm_t1_np_sf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t1_np_sf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t1_np_sf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t1_np_sf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t1_np_sf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t1_np_sf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t1_np_sf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t1_np_sf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t1_np_sf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t1_np_sf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t1_np_sf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t1_np_sf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t1_np_sf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t1_np_sf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t2_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.6K
storecomm_t2_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t2_np_nf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 7.9K
storecomm_t2_np_nf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t2_np_nf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t2_np_nf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t2_np_nf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t2_np_nf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_002.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_006.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_007.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_nf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t2_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t2_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t2_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t2_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t2_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t2_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t2_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t2_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t2_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t2_np_sf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t2_np_sf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t2_np_sf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 33K
storecomm_t2_np_sf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 33K
storecomm_t2_np_sf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t2_np_sf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t2_np_sf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t2_np_sf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t2_np_sf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t2_np_sf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t2_np_sf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t2_np_sf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t2_np_sf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t2_np_sf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t2_np_sf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t2_np_sf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t2_np_sf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t2_np_sf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t2_np_sf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t2_np_sf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t3_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.6K
storecomm_t3_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.5K
storecomm_t3_np_nf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 7.9K
storecomm_t3_np_nf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 7.8K
storecomm_t3_np_nf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 16K
storecomm_t3_np_nf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 28K
storecomm_t3_np_nf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 43K
storecomm_t3_np_nf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_002.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_006.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_007.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_nf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 60K
storecomm_t3_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t3_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t3_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t3_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t3_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t3_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 3.7K
storecomm_t3_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t3_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t3_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 3.6K
storecomm_t3_np_sf_ai_00020_001.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_002.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_003.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_004.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_005.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_006.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_007.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_008.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00020_009.cvc.smt 01-Jun-2008 20:47 10K
storecomm_t3_np_sf_ai_00030_001.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_002.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_003.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_004.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_005.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_006.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_007.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_008.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00030_009.cvc.smt 01-Jun-2008 20:47 20K
storecomm_t3_np_sf_ai_00040_001.cvc.smt 01-Jun-2008 20:47 33K
storecomm_t3_np_sf_ai_00040_002.cvc.smt 01-Jun-2008 20:47 33K
storecomm_t3_np_sf_ai_00040_003.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00040_004.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00040_005.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00040_006.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00040_007.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00040_008.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00040_009.cvc.smt 01-Jun-2008 20:47 32K
storecomm_t3_np_sf_ai_00050_001.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t3_np_sf_ai_00050_002.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t3_np_sf_ai_00050_003.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t3_np_sf_ai_00050_004.cvc.smt 01-Jun-2008 20:47 49K
storecomm_t3_np_sf_ai_00050_005.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t3_np_sf_ai_00050_006.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t3_np_sf_ai_00050_007.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t3_np_sf_ai_00050_008.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t3_np_sf_ai_00050_009.cvc.smt 01-Jun-2008 20:47 48K
storecomm_t3_np_sf_ai_00060_001.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t3_np_sf_ai_00060_003.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t3_np_sf_ai_00060_004.cvc.smt 01-Jun-2008 20:47 68K
storecomm_t3_np_sf_ai_00060_005.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t3_np_sf_ai_00060_008.cvc.smt 01-Jun-2008 20:47 67K
storecomm_t3_np_sf_ai_00060_009.cvc.smt 01-Jun-2008 20:47 67K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80