Index of /smtlib/benchmarks/QF_AX/swap
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
swap_invalid_t1_np_nf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t1_np_nf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t1_np_nf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t1_np_nf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t1_np_nf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 674
swap_invalid_t1_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 778
swap_invalid_t1_np_nf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 870
swap_invalid_t1_np_nf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 792
swap_invalid_t1_np_nf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 960
swap_invalid_t1_np_nf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t1_np_nf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 782
swap_invalid_t1_np_nf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 766
swap_invalid_t1_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t1_np_nf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t1_np_nf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 964
swap_invalid_t1_np_nf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t1_np_nf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_nf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_invalid_t1_np_nf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_nf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_nf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_invalid_t1_np_nf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_nf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 966
swap_invalid_t1_np_nf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t1_np_nf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_invalid_t1_np_nf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_nf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t1_np_nf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 1.7K
swap_invalid_t1_np_nf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t1_np_nf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_nf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t1_np_nf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t1_np_nf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t1_np_nf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t1_np_nf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_nf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t1_np_nf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t1_np_nf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t1_np_nf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 1.7K
swap_invalid_t1_np_nf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t1_np_nf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t1_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_nf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t1_np_nf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t1_np_nf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_nf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 1.7K
swap_invalid_t1_np_nf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_nf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t1_np_nf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t1_np_nf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t1_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t1_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t1_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t1_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t1_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t1_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t1_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t1_np_sf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_sf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_sf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_sf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_sf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t1_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_sf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t1_np_sf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_sf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t1_np_sf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t1_np_sf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t1_np_sf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t1_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_sf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 2.4K
swap_invalid_t1_np_sf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_sf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t1_np_sf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 2.6K
swap_invalid_t1_np_sf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t1_np_sf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t1_np_sf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 2.6K
swap_invalid_t1_np_sf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 2.5K
swap_invalid_t1_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t1_np_sf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 3.3K
swap_invalid_t1_np_sf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 2.4K
swap_invalid_t1_np_sf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 3.1K
swap_invalid_t1_np_sf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 3.3K
swap_invalid_t1_np_sf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 2.5K
swap_invalid_t1_np_sf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 3.2K
swap_invalid_t1_np_sf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t1_np_sf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 3.1K
swap_invalid_t1_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.5K
swap_invalid_t1_np_sf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 3.9K
swap_invalid_t1_np_sf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 3.7K
swap_invalid_t1_np_sf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 3.7K
swap_invalid_t1_np_sf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 3.9K
swap_invalid_t1_np_sf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 2.9K
swap_invalid_t1_np_sf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 3.6K
swap_invalid_t1_np_sf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 3.8K
swap_invalid_t1_np_sf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 3.4K
swap_invalid_t1_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 4.2K
swap_invalid_t1_np_sf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t1_np_sf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 4.0K
swap_invalid_t1_np_sf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_invalid_t1_np_sf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 3.8K
swap_invalid_t1_np_sf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 4.1K
swap_invalid_t1_np_sf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 3.4K
swap_invalid_t1_np_sf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 4.2K
swap_invalid_t1_np_sf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 3.7K
swap_invalid_t1_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 4.8K
swap_invalid_t1_np_sf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t1_np_sf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 3.1K
swap_invalid_t1_np_sf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 3.9K
swap_invalid_t1_np_sf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 4.6K
swap_invalid_t1_np_sf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 5.0K
swap_invalid_t1_np_sf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t1_np_sf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 5.0K
swap_invalid_t1_np_sf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 4.8K
swap_invalid_t1_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 5.8K
swap_invalid_t1_np_sf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 4.9K
swap_invalid_t1_np_sf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t1_np_sf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t1_np_sf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t1_np_sf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t1_np_sf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 5.4K
swap_invalid_t1_np_sf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 5.3K
swap_invalid_t1_np_sf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 5.2K
swap_invalid_t1_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 6.6K
swap_invalid_t1_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 6.6K
swap_invalid_t1_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t1_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 6.2K
swap_invalid_t1_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 5.5K
swap_invalid_t1_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 4.7K
swap_invalid_t1_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 6.3K
swap_invalid_t1_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 5.8K
swap_invalid_t1_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 5.8K
swap_invalid_t3_np_nf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t3_np_nf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t3_np_nf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t3_np_nf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 770
swap_invalid_t3_np_nf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 674
swap_invalid_t3_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 778
swap_invalid_t3_np_nf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 870
swap_invalid_t3_np_nf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 792
swap_invalid_t3_np_nf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 960
swap_invalid_t3_np_nf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t3_np_nf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 782
swap_invalid_t3_np_nf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 766
swap_invalid_t3_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t3_np_nf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t3_np_nf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 964
swap_invalid_t3_np_nf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t3_np_nf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_nf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_invalid_t3_np_nf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_nf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_nf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_invalid_t3_np_nf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_nf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 966
swap_invalid_t3_np_nf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_invalid_t3_np_nf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_invalid_t3_np_nf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_nf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t3_np_nf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 1.7K
swap_invalid_t3_np_nf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t3_np_nf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_nf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t3_np_nf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t3_np_nf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t3_np_nf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t3_np_nf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_nf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_invalid_t3_np_nf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t3_np_nf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t3_np_nf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 1.7K
swap_invalid_t3_np_nf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t3_np_nf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t3_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_nf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 1.9K
swap_invalid_t3_np_nf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t3_np_nf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_nf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 1.7K
swap_invalid_t3_np_nf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_nf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t3_np_nf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t3_np_nf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t3_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t3_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t3_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t3_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t3_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t3_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t3_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.2K
swap_invalid_t3_np_sf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_sf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_sf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_sf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_sf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 1.0K
swap_invalid_t3_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_sf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 1.6K
swap_invalid_t3_np_sf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_sf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t3_np_sf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t3_np_sf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_invalid_t3_np_sf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_invalid_t3_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_sf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 2.4K
swap_invalid_t3_np_sf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_sf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t3_np_sf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 2.6K
swap_invalid_t3_np_sf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 2.3K
swap_invalid_t3_np_sf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_invalid_t3_np_sf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 2.6K
swap_invalid_t3_np_sf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 2.5K
swap_invalid_t3_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_invalid_t3_np_sf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 3.3K
swap_invalid_t3_np_sf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 2.4K
swap_invalid_t3_np_sf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 3.1K
swap_invalid_t3_np_sf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 3.3K
swap_invalid_t3_np_sf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 2.5K
swap_invalid_t3_np_sf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 3.2K
swap_invalid_t3_np_sf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.8K
swap_invalid_t3_np_sf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 3.1K
swap_invalid_t3_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.5K
swap_invalid_t3_np_sf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 3.9K
swap_invalid_t3_np_sf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 3.7K
swap_invalid_t3_np_sf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 3.7K
swap_invalid_t3_np_sf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 3.9K
swap_invalid_t3_np_sf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 2.9K
swap_invalid_t3_np_sf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 3.6K
swap_invalid_t3_np_sf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 3.8K
swap_invalid_t3_np_sf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 3.4K
swap_invalid_t3_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 4.2K
swap_invalid_t3_np_sf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t3_np_sf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 4.0K
swap_invalid_t3_np_sf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_invalid_t3_np_sf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 3.8K
swap_invalid_t3_np_sf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 4.1K
swap_invalid_t3_np_sf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 3.4K
swap_invalid_t3_np_sf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 4.2K
swap_invalid_t3_np_sf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 3.7K
swap_invalid_t3_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 4.8K
swap_invalid_t3_np_sf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t3_np_sf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 3.1K
swap_invalid_t3_np_sf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 3.9K
swap_invalid_t3_np_sf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 4.6K
swap_invalid_t3_np_sf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 5.0K
swap_invalid_t3_np_sf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t3_np_sf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 5.0K
swap_invalid_t3_np_sf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 4.8K
swap_invalid_t3_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 5.8K
swap_invalid_t3_np_sf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 4.9K
swap_invalid_t3_np_sf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t3_np_sf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t3_np_sf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 4.5K
swap_invalid_t3_np_sf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t3_np_sf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 5.4K
swap_invalid_t3_np_sf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 5.3K
swap_invalid_t3_np_sf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 5.2K
swap_invalid_t3_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 6.6K
swap_invalid_t3_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 6.6K
swap_invalid_t3_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_invalid_t3_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 6.2K
swap_invalid_t3_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 5.5K
swap_invalid_t3_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 4.7K
swap_invalid_t3_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 6.3K
swap_invalid_t3_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 5.8K
swap_invalid_t3_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t1_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 650
swap_t1_np_nf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 782
swap_t1_np_nf_ai_00002_003.cvc.smt 01-Jun-2008 20:47 698
swap_t1_np_nf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 762
swap_t1_np_nf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 782
swap_t1_np_nf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 782
swap_t1_np_nf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 698
swap_t1_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 802
swap_t1_np_nf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 882
swap_t1_np_nf_ai_00003_003.cvc.smt 01-Jun-2008 20:47 744
swap_t1_np_nf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 816
swap_t1_np_nf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 946
swap_t1_np_nf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_nf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 806
swap_t1_np_nf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 790
swap_t1_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t1_np_nf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_nf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_nf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_nf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t1_np_nf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t1_np_nf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 956
swap_t1_np_nf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t1_np_nf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t1_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_nf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_nf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t1_np_nf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_nf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_nf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t1_np_nf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_nf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_nf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t1_np_nf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t1_np_nf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_nf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t1_np_nf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t1_np_nf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t1_np_nf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_nf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t1_np_nf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t1_np_nf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t1_np_nf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t1_np_nf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_nf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t1_np_nf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t1_np_nf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t1_np_nf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t1_np_nf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t1_np_nf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t1_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t1_np_nf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t1_np_nf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t1_np_nf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t1_np_nf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t1_np_nf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t1_np_nf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t1_np_nf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t1_np_nf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t1_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.3K
swap_t1_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t1_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t1_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t1_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 894
swap_t1_np_sf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_sf_ai_00002_003.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_sf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_sf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_sf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_sf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t1_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_sf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t1_np_sf_ai_00003_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t1_np_sf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_sf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t1_np_sf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t1_np_sf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t1_np_sf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t1_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_sf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t1_np_sf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t1_np_sf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t1_np_sf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 2.7K
swap_t1_np_sf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 2.3K
swap_t1_np_sf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t1_np_sf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 2.6K
swap_t1_np_sf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 2.5K
swap_t1_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t1_np_sf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t1_np_sf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t1_np_sf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 3.2K
swap_t1_np_sf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t1_np_sf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 2.5K
swap_t1_np_sf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t1_np_sf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t1_np_sf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 3.0K
swap_t1_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t1_np_sf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t1_np_sf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 3.7K
swap_t1_np_sf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t1_np_sf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t1_np_sf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 2.9K
swap_t1_np_sf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t1_np_sf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 3.8K
swap_t1_np_sf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 3.4K
swap_t1_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 4.2K
swap_t1_np_sf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t1_np_sf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 4.1K
swap_t1_np_sf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t1_np_sf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 3.8K
swap_t1_np_sf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 4.1K
swap_t1_np_sf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 3.4K
swap_t1_np_sf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 4.2K
swap_t1_np_sf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 3.7K
swap_t1_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 4.8K
swap_t1_np_sf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t1_np_sf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 2.9K
swap_t1_np_sf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t1_np_sf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 4.6K
swap_t1_np_sf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 5.0K
swap_t1_np_sf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 4.4K
swap_t1_np_sf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 5.1K
swap_t1_np_sf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 4.8K
swap_t1_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t1_np_sf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 4.9K
swap_t1_np_sf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t1_np_sf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t1_np_sf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t1_np_sf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t1_np_sf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 5.4K
swap_t1_np_sf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 5.3K
swap_t1_np_sf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 5.2K
swap_t1_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 6.6K
swap_t1_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 6.6K
swap_t1_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t1_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 6.1K
swap_t1_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 5.5K
swap_t1_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 4.7K
swap_t1_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 6.3K
swap_t1_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t1_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t2_np_nf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 650
swap_t2_np_nf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 782
swap_t2_np_nf_ai_00002_003.cvc.smt 01-Jun-2008 20:47 698
swap_t2_np_nf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 762
swap_t2_np_nf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 782
swap_t2_np_nf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 782
swap_t2_np_nf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 698
swap_t2_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 802
swap_t2_np_nf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 882
swap_t2_np_nf_ai_00003_003.cvc.smt 01-Jun-2008 20:47 744
swap_t2_np_nf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 816
swap_t2_np_nf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 946
swap_t2_np_nf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_nf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 806
swap_t2_np_nf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 790
swap_t2_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t2_np_nf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_nf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_nf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_nf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t2_np_nf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t2_np_nf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 956
swap_t2_np_nf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t2_np_nf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t2_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_nf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_nf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t2_np_nf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_nf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_nf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t2_np_nf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_nf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_nf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t2_np_nf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t2_np_nf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_nf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t2_np_nf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t2_np_nf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t2_np_nf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_nf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t2_np_nf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t2_np_nf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t2_np_nf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t2_np_nf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_nf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t2_np_nf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t2_np_nf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t2_np_nf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t2_np_nf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t2_np_nf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t2_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t2_np_nf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t2_np_nf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t2_np_nf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t2_np_nf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t2_np_nf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t2_np_nf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t2_np_nf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t2_np_nf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t2_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.3K
swap_t2_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t2_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t2_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t2_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_sf_ai_00002_001.cvc.smt 01-Jun-2008 20:47 894
swap_t2_np_sf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_sf_ai_00002_003.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_sf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_sf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_sf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_sf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t2_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_sf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t2_np_sf_ai_00003_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t2_np_sf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_sf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t2_np_sf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t2_np_sf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t2_np_sf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t2_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_sf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t2_np_sf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t2_np_sf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t2_np_sf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 2.7K
swap_t2_np_sf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 2.3K
swap_t2_np_sf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t2_np_sf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 2.6K
swap_t2_np_sf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 2.5K
swap_t2_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t2_np_sf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t2_np_sf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t2_np_sf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 3.2K
swap_t2_np_sf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t2_np_sf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 2.5K
swap_t2_np_sf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t2_np_sf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t2_np_sf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 3.0K
swap_t2_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t2_np_sf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t2_np_sf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 3.7K
swap_t2_np_sf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t2_np_sf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t2_np_sf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 2.9K
swap_t2_np_sf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t2_np_sf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 3.8K
swap_t2_np_sf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 3.4K
swap_t2_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 4.2K
swap_t2_np_sf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t2_np_sf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 4.1K
swap_t2_np_sf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t2_np_sf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 3.8K
swap_t2_np_sf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 4.1K
swap_t2_np_sf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 3.4K
swap_t2_np_sf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 4.2K
swap_t2_np_sf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 3.7K
swap_t2_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 4.8K
swap_t2_np_sf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t2_np_sf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 2.9K
swap_t2_np_sf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t2_np_sf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 4.6K
swap_t2_np_sf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 5.0K
swap_t2_np_sf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 4.4K
swap_t2_np_sf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 5.1K
swap_t2_np_sf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 4.8K
swap_t2_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t2_np_sf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 4.9K
swap_t2_np_sf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t2_np_sf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t2_np_sf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t2_np_sf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t2_np_sf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 5.4K
swap_t2_np_sf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 5.3K
swap_t2_np_sf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 5.2K
swap_t2_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 6.6K
swap_t2_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 6.6K
swap_t2_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t2_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 6.1K
swap_t2_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 5.5K
swap_t2_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 4.7K
swap_t2_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 6.3K
swap_t2_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t2_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t3_np_nf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 782
swap_t3_np_nf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 762
swap_t3_np_nf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 782
swap_t3_np_nf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 782
swap_t3_np_nf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 698
swap_t3_np_nf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 802
swap_t3_np_nf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 882
swap_t3_np_nf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 816
swap_t3_np_nf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 946
swap_t3_np_nf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_nf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 806
swap_t3_np_nf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 790
swap_t3_np_nf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t3_np_nf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_nf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_nf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_nf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t3_np_nf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t3_np_nf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 956
swap_t3_np_nf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t3_np_nf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t3_np_nf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_nf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_nf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t3_np_nf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_nf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_nf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t3_np_nf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_nf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_nf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_nf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 1.1K
swap_t3_np_nf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 1.2K
swap_t3_np_nf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_nf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_nf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t3_np_nf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t3_np_nf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t3_np_nf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_nf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t3_np_nf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t3_np_nf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t3_np_nf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t3_np_nf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_nf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 1.5K
swap_t3_np_nf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t3_np_nf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t3_np_nf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t3_np_nf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t3_np_nf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t3_np_nf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t3_np_nf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t3_np_nf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t3_np_nf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t3_np_nf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t3_np_nf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t3_np_nf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t3_np_nf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t3_np_nf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t3_np_nf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_nf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 2.3K
swap_t3_np_nf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t3_np_nf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_nf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 2.0K
swap_t3_np_nf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t3_np_nf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_nf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_nf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_sf_ai_00002_002.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_sf_ai_00002_005.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_sf_ai_00002_006.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_sf_ai_00002_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_sf_ai_00002_009.cvc.smt 01-Jun-2008 20:47 1.0K
swap_t3_np_sf_ai_00003_001.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_sf_ai_00003_002.cvc.smt 01-Jun-2008 20:47 1.6K
swap_t3_np_sf_ai_00003_004.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_sf_ai_00003_005.cvc.smt 01-Jun-2008 20:47 1.9K
swap_t3_np_sf_ai_00003_006.cvc.smt 01-Jun-2008 20:47 1.7K
swap_t3_np_sf_ai_00003_007.cvc.smt 01-Jun-2008 20:47 1.4K
swap_t3_np_sf_ai_00003_008.cvc.smt 01-Jun-2008 20:47 1.3K
swap_t3_np_sf_ai_00004_001.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_sf_ai_00004_002.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t3_np_sf_ai_00004_003.cvc.smt 01-Jun-2008 20:47 2.2K
swap_t3_np_sf_ai_00004_004.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t3_np_sf_ai_00004_005.cvc.smt 01-Jun-2008 20:47 2.7K
swap_t3_np_sf_ai_00004_006.cvc.smt 01-Jun-2008 20:47 2.3K
swap_t3_np_sf_ai_00004_007.cvc.smt 01-Jun-2008 20:47 2.1K
swap_t3_np_sf_ai_00004_008.cvc.smt 01-Jun-2008 20:47 2.6K
swap_t3_np_sf_ai_00004_009.cvc.smt 01-Jun-2008 20:47 2.5K
swap_t3_np_sf_ai_00005_001.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t3_np_sf_ai_00005_002.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t3_np_sf_ai_00005_003.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t3_np_sf_ai_00005_004.cvc.smt 01-Jun-2008 20:47 3.2K
swap_t3_np_sf_ai_00005_005.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t3_np_sf_ai_00005_006.cvc.smt 01-Jun-2008 20:47 2.5K
swap_t3_np_sf_ai_00005_007.cvc.smt 01-Jun-2008 20:47 3.3K
swap_t3_np_sf_ai_00005_008.cvc.smt 01-Jun-2008 20:47 1.8K
swap_t3_np_sf_ai_00005_009.cvc.smt 01-Jun-2008 20:47 3.0K
swap_t3_np_sf_ai_00006_001.cvc.smt 01-Jun-2008 20:47 2.4K
swap_t3_np_sf_ai_00006_002.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t3_np_sf_ai_00006_003.cvc.smt 01-Jun-2008 20:47 3.7K
swap_t3_np_sf_ai_00006_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t3_np_sf_ai_00006_005.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t3_np_sf_ai_00006_006.cvc.smt 01-Jun-2008 20:47 2.9K
swap_t3_np_sf_ai_00006_007.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t3_np_sf_ai_00006_008.cvc.smt 01-Jun-2008 20:47 3.8K
swap_t3_np_sf_ai_00006_009.cvc.smt 01-Jun-2008 20:47 3.4K
swap_t3_np_sf_ai_00007_001.cvc.smt 01-Jun-2008 20:47 4.2K
swap_t3_np_sf_ai_00007_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t3_np_sf_ai_00007_003.cvc.smt 01-Jun-2008 20:47 4.1K
swap_t3_np_sf_ai_00007_004.cvc.smt 01-Jun-2008 20:47 3.6K
swap_t3_np_sf_ai_00007_005.cvc.smt 01-Jun-2008 20:47 3.8K
swap_t3_np_sf_ai_00007_006.cvc.smt 01-Jun-2008 20:47 4.1K
swap_t3_np_sf_ai_00007_007.cvc.smt 01-Jun-2008 20:47 3.4K
swap_t3_np_sf_ai_00007_008.cvc.smt 01-Jun-2008 20:47 4.2K
swap_t3_np_sf_ai_00007_009.cvc.smt 01-Jun-2008 20:47 3.7K
swap_t3_np_sf_ai_00008_001.cvc.smt 01-Jun-2008 20:47 4.8K
swap_t3_np_sf_ai_00008_002.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t3_np_sf_ai_00008_003.cvc.smt 01-Jun-2008 20:47 2.9K
swap_t3_np_sf_ai_00008_004.cvc.smt 01-Jun-2008 20:47 3.9K
swap_t3_np_sf_ai_00008_005.cvc.smt 01-Jun-2008 20:47 4.6K
swap_t3_np_sf_ai_00008_006.cvc.smt 01-Jun-2008 20:47 5.0K
swap_t3_np_sf_ai_00008_007.cvc.smt 01-Jun-2008 20:47 4.4K
swap_t3_np_sf_ai_00008_008.cvc.smt 01-Jun-2008 20:47 5.1K
swap_t3_np_sf_ai_00008_009.cvc.smt 01-Jun-2008 20:47 4.8K
swap_t3_np_sf_ai_00009_001.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t3_np_sf_ai_00009_002.cvc.smt 01-Jun-2008 20:47 4.9K
swap_t3_np_sf_ai_00009_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t3_np_sf_ai_00009_004.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t3_np_sf_ai_00009_005.cvc.smt 01-Jun-2008 20:47 4.5K
swap_t3_np_sf_ai_00009_006.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t3_np_sf_ai_00009_007.cvc.smt 01-Jun-2008 20:47 5.4K
swap_t3_np_sf_ai_00009_008.cvc.smt 01-Jun-2008 20:47 5.3K
swap_t3_np_sf_ai_00009_009.cvc.smt 01-Jun-2008 20:47 5.2K
swap_t3_np_sf_ai_00010_001.cvc.smt 01-Jun-2008 20:47 6.6K
swap_t3_np_sf_ai_00010_002.cvc.smt 01-Jun-2008 20:47 6.6K
swap_t3_np_sf_ai_00010_003.cvc.smt 01-Jun-2008 20:47 5.7K
swap_t3_np_sf_ai_00010_004.cvc.smt 01-Jun-2008 20:47 6.1K
swap_t3_np_sf_ai_00010_005.cvc.smt 01-Jun-2008 20:47 5.5K
swap_t3_np_sf_ai_00010_006.cvc.smt 01-Jun-2008 20:47 4.7K
swap_t3_np_sf_ai_00010_007.cvc.smt 01-Jun-2008 20:47 6.3K
swap_t3_np_sf_ai_00010_008.cvc.smt 01-Jun-2008 20:47 5.8K
swap_t3_np_sf_ai_00010_009.cvc.smt 01-Jun-2008 20:47 5.8K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80