Index of /smtlib/benchmarks/QF_AUFLIA/swap
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
swap_invalid_t1_pp_nf_ai_00002_002.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t1_pp_nf_ai_00002_005.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t1_pp_nf_ai_00002_006.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t1_pp_nf_ai_00002_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t1_pp_nf_ai_00002_009.cvc.smt 02-Jun-2008 09:42 1.3K
swap_invalid_t1_pp_nf_ai_00003_001.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_nf_ai_00003_002.cvc.smt 02-Jun-2008 09:42 1.9K
swap_invalid_t1_pp_nf_ai_00003_004.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_nf_ai_00003_005.cvc.smt 02-Jun-2008 09:42 1.9K
swap_invalid_t1_pp_nf_ai_00003_006.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t1_pp_nf_ai_00003_007.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t1_pp_nf_ai_00003_008.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_nf_ai_00004_001.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t1_pp_nf_ai_00004_002.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t1_pp_nf_ai_00004_003.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t1_pp_nf_ai_00004_004.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t1_pp_nf_ai_00004_005.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t1_pp_nf_ai_00004_006.cvc.smt 02-Jun-2008 09:42 2.4K
swap_invalid_t1_pp_nf_ai_00004_007.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t1_pp_nf_ai_00004_008.cvc.smt 02-Jun-2008 09:42 2.2K
swap_invalid_t1_pp_nf_ai_00004_009.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t1_pp_nf_ai_00005_001.cvc.smt 02-Jun-2008 09:42 1.9K
swap_invalid_t1_pp_nf_ai_00005_002.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t1_pp_nf_ai_00005_003.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_nf_ai_00005_004.cvc.smt 02-Jun-2008 09:42 2.9K
swap_invalid_t1_pp_nf_ai_00005_005.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t1_pp_nf_ai_00005_006.cvc.smt 02-Jun-2008 09:42 2.8K
swap_invalid_t1_pp_nf_ai_00005_007.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_nf_ai_00005_008.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t1_pp_nf_ai_00005_009.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_nf_ai_00006_001.cvc.smt 02-Jun-2008 09:42 2.0K
swap_invalid_t1_pp_nf_ai_00006_002.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_nf_ai_00006_003.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t1_pp_nf_ai_00006_004.cvc.smt 02-Jun-2008 09:42 3.3K
swap_invalid_t1_pp_nf_ai_00006_005.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_nf_ai_00006_006.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_nf_ai_00006_007.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_nf_ai_00006_008.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_nf_ai_00006_009.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_nf_ai_00007_001.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t1_pp_nf_ai_00007_002.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t1_pp_nf_ai_00007_003.cvc.smt 02-Jun-2008 09:42 3.7K
swap_invalid_t1_pp_nf_ai_00007_004.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_nf_ai_00007_005.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t1_pp_nf_ai_00007_006.cvc.smt 02-Jun-2008 09:42 3.7K
swap_invalid_t1_pp_nf_ai_00007_007.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t1_pp_nf_ai_00007_008.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t1_pp_nf_ai_00007_009.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t1_pp_nf_ai_00008_001.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t1_pp_nf_ai_00008_002.cvc.smt 02-Jun-2008 09:42 4.5K
swap_invalid_t1_pp_nf_ai_00008_003.cvc.smt 02-Jun-2008 09:42 2.6K
swap_invalid_t1_pp_nf_ai_00008_004.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t1_pp_nf_ai_00008_005.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t1_pp_nf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t1_pp_nf_ai_00008_007.cvc.smt 02-Jun-2008 09:42 3.6K
swap_invalid_t1_pp_nf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t1_pp_nf_ai_00008_009.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t1_pp_nf_ai_00009_001.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t1_pp_nf_ai_00009_002.cvc.smt 02-Jun-2008 09:42 4.4K
swap_invalid_t1_pp_nf_ai_00009_003.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t1_pp_nf_ai_00009_004.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t1_pp_nf_ai_00009_005.cvc.smt 02-Jun-2008 09:42 3.6K
swap_invalid_t1_pp_nf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t1_pp_nf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t1_pp_nf_ai_00009_008.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t1_pp_nf_ai_00009_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t1_pp_nf_ai_00010_001.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t1_pp_nf_ai_00010_002.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t1_pp_nf_ai_00010_003.cvc.smt 02-Jun-2008 09:42 4.5K
swap_invalid_t1_pp_nf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t1_pp_nf_ai_00010_005.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t1_pp_nf_ai_00010_006.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t1_pp_nf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t1_pp_nf_ai_00010_008.cvc.smt 02-Jun-2008 09:42 5.2K
swap_invalid_t1_pp_nf_ai_00010_009.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t1_pp_sf_ai_00002_002.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00002_005.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00002_006.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00002_008.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00002_009.cvc.smt 02-Jun-2008 09:42 1.3K
swap_invalid_t1_pp_sf_ai_00003_001.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00003_002.cvc.smt 02-Jun-2008 09:42 1.8K
swap_invalid_t1_pp_sf_ai_00003_004.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00003_005.cvc.smt 02-Jun-2008 09:42 2.2K
swap_invalid_t1_pp_sf_ai_00003_006.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t1_pp_sf_ai_00003_007.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t1_pp_sf_ai_00003_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t1_pp_sf_ai_00004_001.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t1_pp_sf_ai_00004_002.cvc.smt 02-Jun-2008 09:42 2.6K
swap_invalid_t1_pp_sf_ai_00004_003.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t1_pp_sf_ai_00004_004.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t1_pp_sf_ai_00004_005.cvc.smt 02-Jun-2008 09:42 2.8K
swap_invalid_t1_pp_sf_ai_00004_006.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t1_pp_sf_ai_00004_007.cvc.smt 02-Jun-2008 09:42 2.2K
swap_invalid_t1_pp_sf_ai_00004_008.cvc.smt 02-Jun-2008 09:42 2.8K
swap_invalid_t1_pp_sf_ai_00004_009.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_sf_ai_00005_001.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t1_pp_sf_ai_00005_002.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t1_pp_sf_ai_00005_003.cvc.smt 02-Jun-2008 09:42 2.6K
swap_invalid_t1_pp_sf_ai_00005_004.cvc.smt 02-Jun-2008 09:42 3.3K
swap_invalid_t1_pp_sf_ai_00005_005.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t1_pp_sf_ai_00005_006.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_sf_ai_00005_007.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t1_pp_sf_ai_00005_008.cvc.smt 02-Jun-2008 09:42 2.0K
swap_invalid_t1_pp_sf_ai_00005_009.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t1_pp_sf_ai_00006_001.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t1_pp_sf_ai_00006_002.cvc.smt 02-Jun-2008 09:42 4.0K
swap_invalid_t1_pp_sf_ai_00006_003.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t1_pp_sf_ai_00006_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t1_pp_sf_ai_00006_005.cvc.smt 02-Jun-2008 09:42 4.0K
swap_invalid_t1_pp_sf_ai_00006_006.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t1_pp_sf_ai_00006_007.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t1_pp_sf_ai_00006_008.cvc.smt 02-Jun-2008 09:42 4.0K
swap_invalid_t1_pp_sf_ai_00006_009.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t1_pp_sf_ai_00007_001.cvc.smt 02-Jun-2008 09:42 4.4K
swap_invalid_t1_pp_sf_ai_00007_002.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t1_pp_sf_ai_00007_003.cvc.smt 02-Jun-2008 09:42 4.2K
swap_invalid_t1_pp_sf_ai_00007_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t1_pp_sf_ai_00007_005.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t1_pp_sf_ai_00007_006.cvc.smt 02-Jun-2008 09:42 4.2K
swap_invalid_t1_pp_sf_ai_00007_007.cvc.smt 02-Jun-2008 09:42 3.6K
swap_invalid_t1_pp_sf_ai_00007_008.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t1_pp_sf_ai_00007_009.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t1_pp_sf_ai_00008_001.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t1_pp_sf_ai_00008_002.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t1_pp_sf_ai_00008_003.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t1_pp_sf_ai_00008_004.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t1_pp_sf_ai_00008_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t1_pp_sf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 5.1K
swap_invalid_t1_pp_sf_ai_00008_007.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t1_pp_sf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 5.2K
swap_invalid_t1_pp_sf_ai_00008_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t1_pp_sf_ai_00009_001.cvc.smt 02-Jun-2008 09:42 5.9K
swap_invalid_t1_pp_sf_ai_00009_002.cvc.smt 02-Jun-2008 09:42 5.2K
swap_invalid_t1_pp_sf_ai_00009_003.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t1_pp_sf_ai_00009_004.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t1_pp_sf_ai_00009_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t1_pp_sf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t1_pp_sf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 5.5K
swap_invalid_t1_pp_sf_ai_00009_008.cvc.smt 02-Jun-2008 09:42 5.4K
swap_invalid_t1_pp_sf_ai_00009_009.cvc.smt 02-Jun-2008 09:42 5.3K
swap_invalid_t1_pp_sf_ai_00010_001.cvc.smt 02-Jun-2008 09:42 6.7K
swap_invalid_t1_pp_sf_ai_00010_002.cvc.smt 02-Jun-2008 09:42 6.7K
swap_invalid_t1_pp_sf_ai_00010_003.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t1_pp_sf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 6.3K
swap_invalid_t1_pp_sf_ai_00010_005.cvc.smt 02-Jun-2008 09:42 5.6K
swap_invalid_t1_pp_sf_ai_00010_006.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t1_pp_sf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 6.4K
swap_invalid_t1_pp_sf_ai_00010_008.cvc.smt 02-Jun-2008 09:42 5.9K
swap_invalid_t1_pp_sf_ai_00010_009.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t3_pp_nf_ai_00002_002.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t3_pp_nf_ai_00002_005.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t3_pp_nf_ai_00002_006.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t3_pp_nf_ai_00002_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t3_pp_nf_ai_00002_009.cvc.smt 02-Jun-2008 09:42 1.3K
swap_invalid_t3_pp_nf_ai_00003_001.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_nf_ai_00003_002.cvc.smt 02-Jun-2008 09:42 1.9K
swap_invalid_t3_pp_nf_ai_00003_004.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_nf_ai_00003_005.cvc.smt 02-Jun-2008 09:42 1.9K
swap_invalid_t3_pp_nf_ai_00003_006.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t3_pp_nf_ai_00003_007.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t3_pp_nf_ai_00003_008.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_nf_ai_00004_001.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t3_pp_nf_ai_00004_002.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t3_pp_nf_ai_00004_003.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t3_pp_nf_ai_00004_004.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t3_pp_nf_ai_00004_005.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t3_pp_nf_ai_00004_006.cvc.smt 02-Jun-2008 09:42 2.4K
swap_invalid_t3_pp_nf_ai_00004_007.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t3_pp_nf_ai_00004_008.cvc.smt 02-Jun-2008 09:42 2.2K
swap_invalid_t3_pp_nf_ai_00004_009.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t3_pp_nf_ai_00005_001.cvc.smt 02-Jun-2008 09:42 1.9K
swap_invalid_t3_pp_nf_ai_00005_002.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t3_pp_nf_ai_00005_003.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_nf_ai_00005_004.cvc.smt 02-Jun-2008 09:42 2.9K
swap_invalid_t3_pp_nf_ai_00005_005.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t3_pp_nf_ai_00005_006.cvc.smt 02-Jun-2008 09:42 2.8K
swap_invalid_t3_pp_nf_ai_00005_007.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_nf_ai_00005_008.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t3_pp_nf_ai_00005_009.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_nf_ai_00006_001.cvc.smt 02-Jun-2008 09:42 2.0K
swap_invalid_t3_pp_nf_ai_00006_002.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_nf_ai_00006_003.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t3_pp_nf_ai_00006_004.cvc.smt 02-Jun-2008 09:42 3.3K
swap_invalid_t3_pp_nf_ai_00006_005.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_nf_ai_00006_006.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_nf_ai_00006_007.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_nf_ai_00006_008.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_nf_ai_00006_009.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_nf_ai_00007_001.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t3_pp_nf_ai_00007_002.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t3_pp_nf_ai_00007_003.cvc.smt 02-Jun-2008 09:42 3.7K
swap_invalid_t3_pp_nf_ai_00007_004.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_nf_ai_00007_005.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t3_pp_nf_ai_00007_006.cvc.smt 02-Jun-2008 09:42 3.7K
swap_invalid_t3_pp_nf_ai_00007_007.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t3_pp_nf_ai_00007_008.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t3_pp_nf_ai_00007_009.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t3_pp_nf_ai_00008_001.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t3_pp_nf_ai_00008_002.cvc.smt 02-Jun-2008 09:42 4.5K
swap_invalid_t3_pp_nf_ai_00008_003.cvc.smt 02-Jun-2008 09:42 2.6K
swap_invalid_t3_pp_nf_ai_00008_004.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t3_pp_nf_ai_00008_005.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t3_pp_nf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t3_pp_nf_ai_00008_007.cvc.smt 02-Jun-2008 09:42 3.6K
swap_invalid_t3_pp_nf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t3_pp_nf_ai_00008_009.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t3_pp_nf_ai_00009_001.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t3_pp_nf_ai_00009_002.cvc.smt 02-Jun-2008 09:42 4.4K
swap_invalid_t3_pp_nf_ai_00009_003.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t3_pp_nf_ai_00009_004.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t3_pp_nf_ai_00009_005.cvc.smt 02-Jun-2008 09:42 3.6K
swap_invalid_t3_pp_nf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t3_pp_nf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t3_pp_nf_ai_00009_008.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t3_pp_nf_ai_00009_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t3_pp_nf_ai_00010_001.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t3_pp_nf_ai_00010_002.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t3_pp_nf_ai_00010_003.cvc.smt 02-Jun-2008 09:42 4.5K
swap_invalid_t3_pp_nf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t3_pp_nf_ai_00010_005.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t3_pp_nf_ai_00010_006.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t3_pp_nf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t3_pp_nf_ai_00010_008.cvc.smt 02-Jun-2008 09:42 5.2K
swap_invalid_t3_pp_nf_ai_00010_009.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t3_pp_sf_ai_00002_002.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00002_005.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00002_006.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00002_008.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00002_009.cvc.smt 02-Jun-2008 09:42 1.3K
swap_invalid_t3_pp_sf_ai_00003_001.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00003_002.cvc.smt 02-Jun-2008 09:42 1.8K
swap_invalid_t3_pp_sf_ai_00003_004.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00003_005.cvc.smt 02-Jun-2008 09:42 2.2K
swap_invalid_t3_pp_sf_ai_00003_006.cvc.smt 02-Jun-2008 09:42 2.1K
swap_invalid_t3_pp_sf_ai_00003_007.cvc.smt 02-Jun-2008 09:42 1.6K
swap_invalid_t3_pp_sf_ai_00003_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_invalid_t3_pp_sf_ai_00004_001.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t3_pp_sf_ai_00004_002.cvc.smt 02-Jun-2008 09:42 2.6K
swap_invalid_t3_pp_sf_ai_00004_003.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t3_pp_sf_ai_00004_004.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t3_pp_sf_ai_00004_005.cvc.smt 02-Jun-2008 09:42 2.8K
swap_invalid_t3_pp_sf_ai_00004_006.cvc.smt 02-Jun-2008 09:42 2.5K
swap_invalid_t3_pp_sf_ai_00004_007.cvc.smt 02-Jun-2008 09:42 2.2K
swap_invalid_t3_pp_sf_ai_00004_008.cvc.smt 02-Jun-2008 09:42 2.8K
swap_invalid_t3_pp_sf_ai_00004_009.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_sf_ai_00005_001.cvc.smt 02-Jun-2008 09:42 2.3K
swap_invalid_t3_pp_sf_ai_00005_002.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t3_pp_sf_ai_00005_003.cvc.smt 02-Jun-2008 09:42 2.6K
swap_invalid_t3_pp_sf_ai_00005_004.cvc.smt 02-Jun-2008 09:42 3.3K
swap_invalid_t3_pp_sf_ai_00005_005.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t3_pp_sf_ai_00005_006.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_sf_ai_00005_007.cvc.smt 02-Jun-2008 09:42 3.4K
swap_invalid_t3_pp_sf_ai_00005_008.cvc.smt 02-Jun-2008 09:42 2.0K
swap_invalid_t3_pp_sf_ai_00005_009.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t3_pp_sf_ai_00006_001.cvc.smt 02-Jun-2008 09:42 2.7K
swap_invalid_t3_pp_sf_ai_00006_002.cvc.smt 02-Jun-2008 09:42 4.0K
swap_invalid_t3_pp_sf_ai_00006_003.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t3_pp_sf_ai_00006_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t3_pp_sf_ai_00006_005.cvc.smt 02-Jun-2008 09:42 4.0K
swap_invalid_t3_pp_sf_ai_00006_006.cvc.smt 02-Jun-2008 09:42 3.0K
swap_invalid_t3_pp_sf_ai_00006_007.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t3_pp_sf_ai_00006_008.cvc.smt 02-Jun-2008 09:42 4.0K
swap_invalid_t3_pp_sf_ai_00006_009.cvc.smt 02-Jun-2008 09:42 3.5K
swap_invalid_t3_pp_sf_ai_00007_001.cvc.smt 02-Jun-2008 09:42 4.4K
swap_invalid_t3_pp_sf_ai_00007_002.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t3_pp_sf_ai_00007_003.cvc.smt 02-Jun-2008 09:42 4.2K
swap_invalid_t3_pp_sf_ai_00007_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_invalid_t3_pp_sf_ai_00007_005.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t3_pp_sf_ai_00007_006.cvc.smt 02-Jun-2008 09:42 4.2K
swap_invalid_t3_pp_sf_ai_00007_007.cvc.smt 02-Jun-2008 09:42 3.6K
swap_invalid_t3_pp_sf_ai_00007_008.cvc.smt 02-Jun-2008 09:42 4.3K
swap_invalid_t3_pp_sf_ai_00007_009.cvc.smt 02-Jun-2008 09:42 3.9K
swap_invalid_t3_pp_sf_ai_00008_001.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t3_pp_sf_ai_00008_002.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t3_pp_sf_ai_00008_003.cvc.smt 02-Jun-2008 09:42 3.2K
swap_invalid_t3_pp_sf_ai_00008_004.cvc.smt 02-Jun-2008 09:42 4.1K
swap_invalid_t3_pp_sf_ai_00008_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t3_pp_sf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 5.1K
swap_invalid_t3_pp_sf_ai_00008_007.cvc.smt 02-Jun-2008 09:42 4.6K
swap_invalid_t3_pp_sf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 5.2K
swap_invalid_t3_pp_sf_ai_00008_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_invalid_t3_pp_sf_ai_00009_001.cvc.smt 02-Jun-2008 09:42 5.9K
swap_invalid_t3_pp_sf_ai_00009_002.cvc.smt 02-Jun-2008 09:42 5.2K
swap_invalid_t3_pp_sf_ai_00009_003.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t3_pp_sf_ai_00009_004.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t3_pp_sf_ai_00009_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_invalid_t3_pp_sf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t3_pp_sf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 5.5K
swap_invalid_t3_pp_sf_ai_00009_008.cvc.smt 02-Jun-2008 09:42 5.4K
swap_invalid_t3_pp_sf_ai_00009_009.cvc.smt 02-Jun-2008 09:42 5.3K
swap_invalid_t3_pp_sf_ai_00010_001.cvc.smt 02-Jun-2008 09:42 6.7K
swap_invalid_t3_pp_sf_ai_00010_002.cvc.smt 02-Jun-2008 09:42 6.7K
swap_invalid_t3_pp_sf_ai_00010_003.cvc.smt 02-Jun-2008 09:42 5.8K
swap_invalid_t3_pp_sf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 6.3K
swap_invalid_t3_pp_sf_ai_00010_005.cvc.smt 02-Jun-2008 09:42 5.6K
swap_invalid_t3_pp_sf_ai_00010_006.cvc.smt 02-Jun-2008 09:42 4.8K
swap_invalid_t3_pp_sf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 6.4K
swap_invalid_t3_pp_sf_ai_00010_008.cvc.smt 02-Jun-2008 09:42 5.9K
swap_invalid_t3_pp_sf_ai_00010_009.cvc.smt 02-Jun-2008 09:42 5.8K
swap_t1_pp_nf_ai_00002_001.cvc.smt 19-Feb-2008 10:39 1.0K
swap_t1_pp_nf_ai_00002_002.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t1_pp_nf_ai_00002_003.cvc.smt 19-Feb-2008 10:39 1.4K
swap_t1_pp_nf_ai_00002_005.cvc.smt 13-Jul-2006 14:00 1.4K
swap_t1_pp_nf_ai_00002_006.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t1_pp_nf_ai_00002_008.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t1_pp_nf_ai_00002_009.cvc.smt 13-Jul-2006 14:00 1.4K
swap_t1_pp_nf_ai_00003_001.cvc.smt 13-Jul-2006 14:00 1.7K
swap_t1_pp_nf_ai_00003_002.cvc.smt 13-Jul-2006 14:00 2.0K
swap_t1_pp_nf_ai_00003_003.cvc.smt 19-Feb-2008 10:39 1.2K
swap_t1_pp_nf_ai_00003_004.cvc.smt 13-Jul-2006 14:00 1.7K
swap_t1_pp_nf_ai_00003_005.cvc.smt 13-Jul-2006 14:00 2.0K
swap_t1_pp_nf_ai_00003_006.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t1_pp_nf_ai_00003_007.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t1_pp_nf_ai_00003_008.cvc.smt 13-Jul-2006 14:00 1.7K
swap_t1_pp_nf_ai_00004_001.cvc.smt 13-Jul-2006 14:00 2.4K
swap_t1_pp_nf_ai_00004_002.cvc.smt 13-Jul-2006 14:00 2.1K
swap_t1_pp_nf_ai_00004_003.cvc.smt 13-Jul-2006 14:00 2.4K
swap_t1_pp_nf_ai_00004_004.cvc.smt 13-Jul-2006 14:00 2.1K
swap_t1_pp_nf_ai_00004_005.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t1_pp_nf_ai_00004_006.cvc.smt 13-Jul-2006 14:00 2.4K
swap_t1_pp_nf_ai_00004_007.cvc.smt 13-Jul-2006 14:00 1.9K
swap_t1_pp_nf_ai_00004_008.cvc.smt 13-Jul-2006 14:00 2.1K
swap_t1_pp_nf_ai_00004_009.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t1_pp_nf_ai_00005_001.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t1_pp_nf_ai_00005_002.cvc.smt 13-Jul-2006 14:00 2.5K
swap_t1_pp_nf_ai_00005_003.cvc.smt 13-Jul-2006 14:00 2.7K
swap_t1_pp_nf_ai_00005_004.cvc.smt 13-Jul-2006 14:00 2.8K
swap_t1_pp_nf_ai_00005_005.cvc.smt 13-Jul-2006 14:00 2.5K
swap_t1_pp_nf_ai_00005_006.cvc.smt 13-Jul-2006 14:00 2.8K
swap_t1_pp_nf_ai_00005_007.cvc.smt 13-Jul-2006 14:00 2.5K
swap_t1_pp_nf_ai_00005_008.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t1_pp_nf_ai_00005_009.cvc.smt 13-Jul-2006 14:00 2.8K
swap_t1_pp_nf_ai_00006_001.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t1_pp_nf_ai_00006_002.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t1_pp_nf_ai_00006_003.cvc.smt 13-Jul-2006 14:00 3.2K
swap_t1_pp_nf_ai_00006_004.cvc.smt 13-Jul-2006 14:00 3.5K
swap_t1_pp_nf_ai_00006_005.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t1_pp_nf_ai_00006_006.cvc.smt 13-Jul-2006 14:00 2.6K
swap_t1_pp_nf_ai_00006_007.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t1_pp_nf_ai_00006_008.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t1_pp_nf_ai_00006_009.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t1_pp_nf_ai_00007_001.cvc.smt 19-Feb-2008 10:39 3.4K
swap_t1_pp_nf_ai_00007_002.cvc.smt 19-Feb-2008 10:39 3.4K
swap_t1_pp_nf_ai_00007_003.cvc.smt 19-Feb-2008 10:39 3.7K
swap_t1_pp_nf_ai_00007_004.cvc.smt 19-Feb-2008 10:39 3.0K
swap_t1_pp_nf_ai_00007_005.cvc.smt 19-Feb-2008 10:39 3.5K
swap_t1_pp_nf_ai_00007_006.cvc.smt 19-Feb-2008 10:39 3.7K
swap_t1_pp_nf_ai_00007_007.cvc.smt 19-Feb-2008 10:39 3.2K
swap_t1_pp_nf_ai_00007_008.cvc.smt 19-Feb-2008 10:39 3.4K
swap_t1_pp_nf_ai_00007_009.cvc.smt 19-Feb-2008 10:39 3.2K
swap_t1_pp_nf_ai_00008_001.cvc.smt 19-Feb-2008 10:39 3.8K
swap_t1_pp_nf_ai_00008_002.cvc.smt 19-Feb-2008 10:39 4.5K
swap_t1_pp_nf_ai_00008_003.cvc.smt 19-Feb-2008 10:39 2.2K
swap_t1_pp_nf_ai_00008_004.cvc.smt 19-Feb-2008 10:39 3.2K
swap_t1_pp_nf_ai_00008_005.cvc.smt 19-Feb-2008 10:39 4.1K
swap_t1_pp_nf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 4.1K
swap_t1_pp_nf_ai_00008_007.cvc.smt 19-Feb-2008 10:39 3.6K
swap_t1_pp_nf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t1_pp_nf_ai_00008_009.cvc.smt 19-Feb-2008 10:39 3.8K
swap_t1_pp_nf_ai_00009_001.cvc.smt 19-Feb-2008 10:39 4.6K
swap_t1_pp_nf_ai_00009_002.cvc.smt 02-Jun-2008 09:42 4.4K
swap_t1_pp_nf_ai_00009_003.cvc.smt 19-Feb-2008 10:39 4.3K
swap_t1_pp_nf_ai_00009_004.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t1_pp_nf_ai_00009_005.cvc.smt 19-Feb-2008 10:39 3.6K
swap_t1_pp_nf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t1_pp_nf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t1_pp_nf_ai_00009_008.cvc.smt 02-Jun-2008 09:42 4.6K
swap_t1_pp_nf_ai_00009_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_t1_pp_nf_ai_00010_001.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t1_pp_nf_ai_00010_002.cvc.smt 02-Jun-2008 09:42 4.8K
swap_t1_pp_nf_ai_00010_003.cvc.smt 02-Jun-2008 09:42 4.5K
swap_t1_pp_nf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 5.0K
swap_t1_pp_nf_ai_00010_005.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t1_pp_nf_ai_00010_006.cvc.smt 19-Feb-2008 10:39 4.1K
swap_t1_pp_nf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t1_pp_nf_ai_00010_008.cvc.smt 19-Feb-2008 10:39 5.0K
swap_t1_pp_nf_ai_00010_009.cvc.smt 19-Feb-2008 10:39 4.8K
swap_t1_pp_sf_ai_00002_001.cvc.smt 02-Jun-2008 09:42 1.0K
swap_t1_pp_sf_ai_00002_002.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t1_pp_sf_ai_00002_003.cvc.smt 02-Jun-2008 09:42 1.3K
swap_t1_pp_sf_ai_00002_005.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t1_pp_sf_ai_00002_006.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t1_pp_sf_ai_00002_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t1_pp_sf_ai_00002_009.cvc.smt 02-Jun-2008 09:42 1.3K
swap_t1_pp_sf_ai_00003_001.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t1_pp_sf_ai_00003_002.cvc.smt 02-Jun-2008 09:42 1.8K
swap_t1_pp_sf_ai_00003_003.cvc.smt 02-Jun-2008 09:42 1.4K
swap_t1_pp_sf_ai_00003_004.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t1_pp_sf_ai_00003_005.cvc.smt 02-Jun-2008 09:42 2.1K
swap_t1_pp_sf_ai_00003_006.cvc.smt 02-Jun-2008 09:42 2.0K
swap_t1_pp_sf_ai_00003_007.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t1_pp_sf_ai_00003_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t1_pp_sf_ai_00004_001.cvc.smt 02-Jun-2008 09:42 2.4K
swap_t1_pp_sf_ai_00004_002.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t1_pp_sf_ai_00004_003.cvc.smt 02-Jun-2008 09:42 2.4K
swap_t1_pp_sf_ai_00004_004.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t1_pp_sf_ai_00004_005.cvc.smt 02-Jun-2008 09:42 2.9K
swap_t1_pp_sf_ai_00004_006.cvc.smt 02-Jun-2008 09:42 2.5K
swap_t1_pp_sf_ai_00004_007.cvc.smt 02-Jun-2008 09:42 2.3K
swap_t1_pp_sf_ai_00004_008.cvc.smt 02-Jun-2008 09:42 2.7K
swap_t1_pp_sf_ai_00004_009.cvc.smt 02-Jun-2008 09:42 2.7K
swap_t1_pp_sf_ai_00005_001.cvc.smt 02-Jun-2008 09:42 2.0K
swap_t1_pp_sf_ai_00005_002.cvc.smt 02-Jun-2008 09:42 3.4K
swap_t1_pp_sf_ai_00005_003.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t1_pp_sf_ai_00005_004.cvc.smt 02-Jun-2008 09:42 3.3K
swap_t1_pp_sf_ai_00005_005.cvc.smt 02-Jun-2008 09:42 3.5K
swap_t1_pp_sf_ai_00005_006.cvc.smt 02-Jun-2008 09:42 2.7K
swap_t1_pp_sf_ai_00005_007.cvc.smt 02-Jun-2008 09:42 3.5K
swap_t1_pp_sf_ai_00005_008.cvc.smt 02-Jun-2008 09:42 2.0K
swap_t1_pp_sf_ai_00005_009.cvc.smt 02-Jun-2008 09:42 3.2K
swap_t1_pp_sf_ai_00006_001.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t1_pp_sf_ai_00006_002.cvc.smt 02-Jun-2008 09:42 4.0K
swap_t1_pp_sf_ai_00006_003.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t1_pp_sf_ai_00006_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t1_pp_sf_ai_00006_005.cvc.smt 02-Jun-2008 09:42 4.0K
swap_t1_pp_sf_ai_00006_006.cvc.smt 02-Jun-2008 09:42 3.1K
swap_t1_pp_sf_ai_00006_007.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t1_pp_sf_ai_00006_008.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t1_pp_sf_ai_00006_009.cvc.smt 02-Jun-2008 09:42 3.5K
swap_t1_pp_sf_ai_00007_001.cvc.smt 02-Jun-2008 09:42 4.4K
swap_t1_pp_sf_ai_00007_002.cvc.smt 02-Jun-2008 09:42 4.6K
swap_t1_pp_sf_ai_00007_003.cvc.smt 02-Jun-2008 09:42 4.2K
swap_t1_pp_sf_ai_00007_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t1_pp_sf_ai_00007_005.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t1_pp_sf_ai_00007_006.cvc.smt 02-Jun-2008 09:42 4.2K
swap_t1_pp_sf_ai_00007_007.cvc.smt 02-Jun-2008 09:42 3.6K
swap_t1_pp_sf_ai_00007_008.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t1_pp_sf_ai_00007_009.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t1_pp_sf_ai_00008_001.cvc.smt 02-Jun-2008 09:42 4.9K
swap_t1_pp_sf_ai_00008_002.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t1_pp_sf_ai_00008_003.cvc.smt 02-Jun-2008 09:42 3.0K
swap_t1_pp_sf_ai_00008_004.cvc.smt 02-Jun-2008 09:42 4.1K
swap_t1_pp_sf_ai_00008_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t1_pp_sf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 5.1K
swap_t1_pp_sf_ai_00008_007.cvc.smt 02-Jun-2008 09:42 4.6K
swap_t1_pp_sf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 5.2K
swap_t1_pp_sf_ai_00008_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_t1_pp_sf_ai_00009_001.cvc.smt 02-Jun-2008 09:42 5.9K
swap_t1_pp_sf_ai_00009_002.cvc.smt 19-Feb-2008 10:40 5.2K
swap_t1_pp_sf_ai_00009_003.cvc.smt 02-Jun-2008 09:42 5.8K
swap_t1_pp_sf_ai_00009_004.cvc.smt 19-Feb-2008 10:40 5.8K
swap_t1_pp_sf_ai_00009_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t1_pp_sf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 5.8K
swap_t1_pp_sf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 5.5K
swap_t1_pp_sf_ai_00009_008.cvc.smt 19-Feb-2008 10:40 5.4K
swap_t1_pp_sf_ai_00009_009.cvc.smt 19-Feb-2008 10:40 5.3K
swap_t1_pp_sf_ai_00010_001.cvc.smt 19-Feb-2008 10:40 6.7K
swap_t1_pp_sf_ai_00010_002.cvc.smt 19-Feb-2008 10:40 6.7K
swap_t1_pp_sf_ai_00010_003.cvc.smt 19-Feb-2008 10:40 5.8K
swap_t1_pp_sf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 6.2K
swap_t1_pp_sf_ai_00010_005.cvc.smt 19-Feb-2008 10:40 5.6K
swap_t1_pp_sf_ai_00010_006.cvc.smt 19-Feb-2008 10:40 4.8K
swap_t1_pp_sf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 6.4K
swap_t1_pp_sf_ai_00010_008.cvc.smt 19-Feb-2008 10:40 5.9K
swap_t1_pp_sf_ai_00010_009.cvc.smt 19-Feb-2008 10:40 5.8K
swap_t3_pp_nf_ai_00002_002.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t3_pp_nf_ai_00002_005.cvc.smt 13-Jul-2006 14:00 1.4K
swap_t3_pp_nf_ai_00002_006.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t3_pp_nf_ai_00002_008.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t3_pp_nf_ai_00002_009.cvc.smt 13-Jul-2006 14:00 1.4K
swap_t3_pp_nf_ai_00003_001.cvc.smt 13-Jul-2006 14:00 1.7K
swap_t3_pp_nf_ai_00003_002.cvc.smt 13-Jul-2006 14:00 2.0K
swap_t3_pp_nf_ai_00003_004.cvc.smt 13-Jul-2006 14:00 1.7K
swap_t3_pp_nf_ai_00003_005.cvc.smt 13-Jul-2006 14:00 2.0K
swap_t3_pp_nf_ai_00003_006.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t3_pp_nf_ai_00003_007.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t3_pp_nf_ai_00003_008.cvc.smt 13-Jul-2006 14:00 1.7K
swap_t3_pp_nf_ai_00004_001.cvc.smt 13-Jul-2006 14:00 2.4K
swap_t3_pp_nf_ai_00004_002.cvc.smt 13-Jul-2006 14:00 2.1K
swap_t3_pp_nf_ai_00004_003.cvc.smt 13-Jul-2006 14:00 2.4K
swap_t3_pp_nf_ai_00004_004.cvc.smt 13-Jul-2006 14:00 2.1K
swap_t3_pp_nf_ai_00004_005.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t3_pp_nf_ai_00004_006.cvc.smt 13-Jul-2006 14:00 2.4K
swap_t3_pp_nf_ai_00004_007.cvc.smt 13-Jul-2006 14:00 1.9K
swap_t3_pp_nf_ai_00004_008.cvc.smt 13-Jul-2006 14:00 2.1K
swap_t3_pp_nf_ai_00004_009.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t3_pp_nf_ai_00005_001.cvc.smt 13-Jul-2006 14:00 1.6K
swap_t3_pp_nf_ai_00005_002.cvc.smt 13-Jul-2006 14:00 2.5K
swap_t3_pp_nf_ai_00005_003.cvc.smt 13-Jul-2006 14:00 2.7K
swap_t3_pp_nf_ai_00005_004.cvc.smt 13-Jul-2006 14:00 2.8K
swap_t3_pp_nf_ai_00005_005.cvc.smt 13-Jul-2006 14:00 2.5K
swap_t3_pp_nf_ai_00005_006.cvc.smt 13-Jul-2006 14:00 2.8K
swap_t3_pp_nf_ai_00005_007.cvc.smt 13-Jul-2006 14:00 2.5K
swap_t3_pp_nf_ai_00005_008.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t3_pp_nf_ai_00005_009.cvc.smt 13-Jul-2006 14:00 2.8K
swap_t3_pp_nf_ai_00006_001.cvc.smt 13-Jul-2006 14:00 2.2K
swap_t3_pp_nf_ai_00006_002.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t3_pp_nf_ai_00006_003.cvc.smt 13-Jul-2006 14:00 3.2K
swap_t3_pp_nf_ai_00006_004.cvc.smt 13-Jul-2006 14:00 3.5K
swap_t3_pp_nf_ai_00006_005.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t3_pp_nf_ai_00006_006.cvc.smt 13-Jul-2006 14:00 2.6K
swap_t3_pp_nf_ai_00006_007.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t3_pp_nf_ai_00006_008.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t3_pp_nf_ai_00006_009.cvc.smt 13-Jul-2006 14:00 3.0K
swap_t3_pp_nf_ai_00007_001.cvc.smt 19-Feb-2008 10:42 3.4K
swap_t3_pp_nf_ai_00007_002.cvc.smt 19-Feb-2008 10:42 3.4K
swap_t3_pp_nf_ai_00007_003.cvc.smt 19-Feb-2008 10:42 3.7K
swap_t3_pp_nf_ai_00007_004.cvc.smt 19-Feb-2008 10:42 3.0K
swap_t3_pp_nf_ai_00007_005.cvc.smt 19-Feb-2008 10:42 3.5K
swap_t3_pp_nf_ai_00007_006.cvc.smt 19-Feb-2008 10:42 3.7K
swap_t3_pp_nf_ai_00007_007.cvc.smt 19-Feb-2008 10:42 3.2K
swap_t3_pp_nf_ai_00007_008.cvc.smt 19-Feb-2008 10:42 3.4K
swap_t3_pp_nf_ai_00007_009.cvc.smt 19-Feb-2008 10:42 3.2K
swap_t3_pp_nf_ai_00008_001.cvc.smt 19-Feb-2008 10:42 3.8K
swap_t3_pp_nf_ai_00008_002.cvc.smt 19-Feb-2008 10:42 4.5K
swap_t3_pp_nf_ai_00008_003.cvc.smt 19-Feb-2008 10:42 2.2K
swap_t3_pp_nf_ai_00008_004.cvc.smt 19-Feb-2008 10:42 3.2K
swap_t3_pp_nf_ai_00008_005.cvc.smt 19-Feb-2008 10:42 4.1K
swap_t3_pp_nf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 4.1K
swap_t3_pp_nf_ai_00008_007.cvc.smt 19-Feb-2008 10:42 3.6K
swap_t3_pp_nf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t3_pp_nf_ai_00008_009.cvc.smt 19-Feb-2008 10:42 3.8K
swap_t3_pp_nf_ai_00009_001.cvc.smt 19-Feb-2008 10:42 4.6K
swap_t3_pp_nf_ai_00009_002.cvc.smt 02-Jun-2008 09:42 4.4K
swap_t3_pp_nf_ai_00009_003.cvc.smt 19-Feb-2008 10:42 4.3K
swap_t3_pp_nf_ai_00009_004.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t3_pp_nf_ai_00009_005.cvc.smt 19-Feb-2008 10:42 3.6K
swap_t3_pp_nf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t3_pp_nf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t3_pp_nf_ai_00009_008.cvc.smt 02-Jun-2008 09:42 4.6K
swap_t3_pp_nf_ai_00009_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_t3_pp_nf_ai_00010_001.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t3_pp_nf_ai_00010_002.cvc.smt 02-Jun-2008 09:42 4.8K
swap_t3_pp_nf_ai_00010_003.cvc.smt 02-Jun-2008 09:42 4.5K
swap_t3_pp_nf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 5.0K
swap_t3_pp_nf_ai_00010_005.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t3_pp_nf_ai_00010_006.cvc.smt 19-Feb-2008 10:42 4.1K
swap_t3_pp_nf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t3_pp_nf_ai_00010_008.cvc.smt 19-Feb-2008 10:42 5.0K
swap_t3_pp_nf_ai_00010_009.cvc.smt 19-Feb-2008 10:42 4.8K
swap_t3_pp_sf_ai_00002_002.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t3_pp_sf_ai_00002_005.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t3_pp_sf_ai_00002_006.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t3_pp_sf_ai_00002_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t3_pp_sf_ai_00002_009.cvc.smt 02-Jun-2008 09:42 1.3K
swap_t3_pp_sf_ai_00003_001.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t3_pp_sf_ai_00003_002.cvc.smt 02-Jun-2008 09:42 1.8K
swap_t3_pp_sf_ai_00003_004.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t3_pp_sf_ai_00003_005.cvc.smt 02-Jun-2008 09:42 2.1K
swap_t3_pp_sf_ai_00003_006.cvc.smt 02-Jun-2008 09:42 2.0K
swap_t3_pp_sf_ai_00003_007.cvc.smt 02-Jun-2008 09:42 1.6K
swap_t3_pp_sf_ai_00003_008.cvc.smt 02-Jun-2008 09:42 1.5K
swap_t3_pp_sf_ai_00004_001.cvc.smt 02-Jun-2008 09:42 2.4K
swap_t3_pp_sf_ai_00004_002.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t3_pp_sf_ai_00004_003.cvc.smt 02-Jun-2008 09:42 2.4K
swap_t3_pp_sf_ai_00004_004.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t3_pp_sf_ai_00004_005.cvc.smt 02-Jun-2008 09:42 2.9K
swap_t3_pp_sf_ai_00004_006.cvc.smt 02-Jun-2008 09:42 2.5K
swap_t3_pp_sf_ai_00004_007.cvc.smt 02-Jun-2008 09:42 2.3K
swap_t3_pp_sf_ai_00004_008.cvc.smt 02-Jun-2008 09:42 2.7K
swap_t3_pp_sf_ai_00004_009.cvc.smt 02-Jun-2008 09:42 2.7K
swap_t3_pp_sf_ai_00005_001.cvc.smt 02-Jun-2008 09:42 2.0K
swap_t3_pp_sf_ai_00005_002.cvc.smt 02-Jun-2008 09:42 3.4K
swap_t3_pp_sf_ai_00005_003.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t3_pp_sf_ai_00005_004.cvc.smt 02-Jun-2008 09:42 3.3K
swap_t3_pp_sf_ai_00005_005.cvc.smt 02-Jun-2008 09:42 3.5K
swap_t3_pp_sf_ai_00005_006.cvc.smt 02-Jun-2008 09:42 2.7K
swap_t3_pp_sf_ai_00005_007.cvc.smt 02-Jun-2008 09:42 3.5K
swap_t3_pp_sf_ai_00005_008.cvc.smt 02-Jun-2008 09:42 2.0K
swap_t3_pp_sf_ai_00005_009.cvc.smt 02-Jun-2008 09:42 3.2K
swap_t3_pp_sf_ai_00006_001.cvc.smt 02-Jun-2008 09:42 2.6K
swap_t3_pp_sf_ai_00006_002.cvc.smt 02-Jun-2008 09:42 4.0K
swap_t3_pp_sf_ai_00006_003.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t3_pp_sf_ai_00006_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t3_pp_sf_ai_00006_005.cvc.smt 02-Jun-2008 09:42 4.0K
swap_t3_pp_sf_ai_00006_006.cvc.smt 02-Jun-2008 09:42 3.1K
swap_t3_pp_sf_ai_00006_007.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t3_pp_sf_ai_00006_008.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t3_pp_sf_ai_00006_009.cvc.smt 02-Jun-2008 09:42 3.5K
swap_t3_pp_sf_ai_00007_001.cvc.smt 02-Jun-2008 09:42 4.4K
swap_t3_pp_sf_ai_00007_002.cvc.smt 02-Jun-2008 09:42 4.6K
swap_t3_pp_sf_ai_00007_003.cvc.smt 02-Jun-2008 09:42 4.2K
swap_t3_pp_sf_ai_00007_004.cvc.smt 02-Jun-2008 09:42 3.8K
swap_t3_pp_sf_ai_00007_005.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t3_pp_sf_ai_00007_006.cvc.smt 02-Jun-2008 09:42 4.2K
swap_t3_pp_sf_ai_00007_007.cvc.smt 02-Jun-2008 09:42 3.6K
swap_t3_pp_sf_ai_00007_008.cvc.smt 02-Jun-2008 09:42 4.3K
swap_t3_pp_sf_ai_00007_009.cvc.smt 02-Jun-2008 09:42 3.9K
swap_t3_pp_sf_ai_00008_001.cvc.smt 02-Jun-2008 09:42 4.9K
swap_t3_pp_sf_ai_00008_002.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t3_pp_sf_ai_00008_003.cvc.smt 02-Jun-2008 09:42 3.0K
swap_t3_pp_sf_ai_00008_004.cvc.smt 02-Jun-2008 09:42 4.1K
swap_t3_pp_sf_ai_00008_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t3_pp_sf_ai_00008_006.cvc.smt 02-Jun-2008 09:42 5.1K
swap_t3_pp_sf_ai_00008_007.cvc.smt 02-Jun-2008 09:42 4.6K
swap_t3_pp_sf_ai_00008_008.cvc.smt 02-Jun-2008 09:42 5.2K
swap_t3_pp_sf_ai_00008_009.cvc.smt 02-Jun-2008 09:42 4.9K
swap_t3_pp_sf_ai_00009_001.cvc.smt 02-Jun-2008 09:42 5.9K
swap_t3_pp_sf_ai_00009_002.cvc.smt 19-Feb-2008 10:42 5.2K
swap_t3_pp_sf_ai_00009_003.cvc.smt 02-Jun-2008 09:42 5.8K
swap_t3_pp_sf_ai_00009_004.cvc.smt 19-Feb-2008 10:42 5.8K
swap_t3_pp_sf_ai_00009_005.cvc.smt 02-Jun-2008 09:42 4.7K
swap_t3_pp_sf_ai_00009_006.cvc.smt 02-Jun-2008 09:42 5.8K
swap_t3_pp_sf_ai_00009_007.cvc.smt 02-Jun-2008 09:42 5.5K
swap_t3_pp_sf_ai_00009_008.cvc.smt 19-Feb-2008 10:42 5.4K
swap_t3_pp_sf_ai_00009_009.cvc.smt 19-Feb-2008 10:42 5.3K
swap_t3_pp_sf_ai_00010_001.cvc.smt 19-Feb-2008 10:42 6.7K
swap_t3_pp_sf_ai_00010_002.cvc.smt 19-Feb-2008 10:42 6.7K
swap_t3_pp_sf_ai_00010_003.cvc.smt 19-Feb-2008 10:42 5.8K
swap_t3_pp_sf_ai_00010_004.cvc.smt 02-Jun-2008 09:42 6.2K
swap_t3_pp_sf_ai_00010_005.cvc.smt 19-Feb-2008 10:42 5.6K
swap_t3_pp_sf_ai_00010_006.cvc.smt 19-Feb-2008 10:42 4.8K
swap_t3_pp_sf_ai_00010_007.cvc.smt 02-Jun-2008 09:42 6.4K
swap_t3_pp_sf_ai_00010_008.cvc.smt 19-Feb-2008 10:42 5.9K
swap_t3_pp_sf_ai_00010_009.cvc.smt 19-Feb-2008 10:42 5.8K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80