Index of /smtlib/benchmarks/QF_IDL/schedulingIDL

Icon  Name                        Last modified      Size  Description
[DIR] Parent Directory                                 -   
[   ] gp10_03_mkspan1074.smt      01-Jun-2008 01:28   78K  
[   ] gp10_03_mkspan1079.smt      01-Jun-2008 01:28   78K  
[   ] gp10_03_mkspan1080.smt      01-Jun-2008 01:28   78K  
[   ] gp10_03_mkspan1081.smt      01-Jun-2008 01:28   78K  
[   ] gp10_03_mkspan1082.smt      01-Jun-2008 01:28   78K  
[   ] gp10_05_mkspan1069.smt      01-Jun-2008 01:28   78K  
[   ] gp10_05_mkspan1070.smt      01-Jun-2008 01:28   78K  
[   ] gp10_05_mkspan1071.smt      01-Jun-2008 01:28   78K  
[   ] j6_per0_0_mkspan1045.smt    01-Jun-2008 01:28   18K  
[   ] j6_per0_0_mkspan1051.smt    01-Jun-2008 01:28   18K  
[   ] j6_per0_0_mkspan1054.smt    01-Jun-2008 01:28   18K  
[   ] j6_per0_0_mkspan1055.smt    01-Jun-2008 01:28   18K  
[   ] j6_per0_0_mkspan1056.smt    01-Jun-2008 01:28   18K  
[   ] j6_per0_0_mkspan1057.smt    01-Jun-2008 01:28   18K  
[   ] j6_per0_0_mkspan1068.smt    01-Jun-2008 01:28   18K  
[   ] j7_per0_0_mkspan1045.smt    01-May-2008 19:25   28K  
[   ] j7_per0_0_mkspan1051.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_0_mkspan1053.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_0_mkspan1054.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_0_mkspan1057.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_0_mkspan1068.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_1_mkspan1037.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_1_mkspan1047.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_1_mkspan1052.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_1_mkspan1054.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_1_mkspan1055.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_1_mkspan1056.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1039.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1049.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1054.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1055.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1056.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1057.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1059.smt    01-Jun-2008 01:28   28K  
[   ] j7_per0_2_mkspan1079.smt    01-Jun-2008 01:28   28K  
[   ] j7_per10_0_mkspan1009.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_0_mkspan1012.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_0_mkspan1013.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_0_mkspan1014.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_0_mkspan1018.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_1_mkspan1000.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_1_mkspan1001.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_1_mkspan1002.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_1_mkspan1004.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_1_mkspan1008.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1006.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1010.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1011.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1012.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1013.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1027.smt   01-Jun-2008 01:28   28K  
[   ] j7_per10_2_mkspan1055.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_1_mkspan1002.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_1_mkspan1004.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_1_mkspan1005.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_2_mkspan1002.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_2_mkspan1003.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_2_mkspan1004.smt   01-Jun-2008 01:28   28K  
[   ] j7_per20_2_mkspan1009.smt   01-Jun-2008 01:28   28K  
[   ] j8_per0_1_mkspan1038.smt    01-May-2008 19:25   41K  
[   ] j8_per0_1_mkspan1048.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_1_mkspan1053.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_1_mkspan1054.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_1_mkspan1055.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_1_mkspan1056.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_1_mkspan1058.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_1_mkspan1077.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1027.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1041.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1048.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1051.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1052.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1053.smt    01-Jun-2008 01:28   41K  
[   ] j8_per0_2_mkspan1054.smt    01-Jun-2008 01:28   41K  
[   ] j8_per10_0_mkspan1012.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_0_mkspan1015.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_0_mkspan1016.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_0_mkspan1017.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_0_mkspan1018.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_0_mkspan1024.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_1_mkspan1002.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_1_mkspan1003.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_1_mkspan1004.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_1_mkspan1009.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_1_mkspan1018.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_1_mkspan1036.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1008.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1009.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1010.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1011.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1013.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1017.smt   01-Jun-2008 01:28   41K  
[   ] j8_per10_2_mkspan1034.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_0_mkspan1000.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_0_mkspan1001.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_0_mkspan1002.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_0_mkspan1004.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_0_mkspan1008.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_0_mkspan1017.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_2_mkspan1000.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_2_mkspan1001.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_2_mkspan1002.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_2_mkspan1004.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_2_mkspan1009.smt   01-Jun-2008 01:28   41K  
[   ] j8_per20_2_mkspan1019.smt   01-Jun-2008 01:28   41K  
[   ] tai_10x10_1_mkspan637.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_1_mkspan638.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_1_mkspan639.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_1_mkspan641.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_1_mkspan645.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_1_mkspan654.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_2_mkspan588.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_2_mkspan589.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_2_mkspan593.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_5_mkspan640.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_5_mkspan641.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_5_mkspan642.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_5_mkspan644.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_7_mkspan616.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_7_mkspan617.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_7_mkspan618.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_7_mkspan620.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_7_mkspan624.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_7_mkspan633.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_9_mkspan595.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_9_mkspan597.smt   01-Jun-2008 01:28   78K  
[   ] tai_10x10_10_mkspan596.smt  01-Jun-2008 01:28   78K  
[   ] tai_10x10_10_mkspan598.smt  01-Jun-2008 01:28   78K  
[   ] tai_15x15_1_mkspan937.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_1_mkspan938.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_1_mkspan940.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_1_mkspan943.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_1_mkspan949.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_1_mkspan962.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_1_mkspan1140.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan918.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan919.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan921.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan925.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan933.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan948.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_2_mkspan1165.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_3_mkspan871.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_3_mkspan872.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_3_mkspan874.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_3_mkspan878.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_3_mkspan1120.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_4_mkspan935.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_4_mkspan937.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_4_mkspan941.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_4_mkspan1176.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan946.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan947.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan949.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan953.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan960.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan1003.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_5_mkspan1174.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_6_mkspan933.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_6_mkspan934.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_6_mkspan936.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_6_mkspan948.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_6_mkspan963.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_6_mkspan1175.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_7_mkspan891.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_7_mkspan892.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_7_mkspan894.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_7_mkspan898.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_7_mkspan906.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_7_mkspan1144.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan893.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan894.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan896.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan900.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan908.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan923.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan954.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_8_mkspan1139.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan899.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan900.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan902.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan906.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan914.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan930.smt   01-Jun-2008 01:29  266K  
[   ] tai_15x15_9_mkspan1153.smt  01-Jun-2008 01:29  266K  
[   ] tai_15x15_10_mkspan902.smt  01-Jun-2008 01:28  266K  
[   ] tai_15x15_10_mkspan903.smt  01-Jun-2008 01:28  266K  
[   ] tai_15x15_10_mkspan904.smt  01-Jun-2008 01:28  266K  
[   ] tai_15x15_10_mkspan906.smt  01-Jun-2008 01:28  266K  
[   ] tai_15x15_10_mkspan910.smt  01-Jun-2008 01:29  266K  
[   ] tai_20x20_1_mkspan1155.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1156.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1157.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1160.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1166.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1178.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1201.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1247.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1340.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_1_mkspan1525.smt  01-Jun-2008 01:29  634K  
[   ] tai_20x20_2_mkspan1241.smt  01-Jun-2008 01:29  635K  
[   ] tai_20x20_2_mkspan1242.smt  01-Jun-2008 01:29  635K  
[   ] tai_20x20_2_mkspan1243.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1246.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1251.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1261.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1282.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1323.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1405.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_2_mkspan1570.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1257.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1258.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1259.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1261.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1266.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1276.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1296.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1335.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1413.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_3_mkspan1570.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_4_mkspan1248.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1249.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1250.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1253.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1258.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1268.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1289.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1330.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1412.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_4_mkspan1576.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_5_mkspan1256.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1257.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1258.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1261.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1266.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1276.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1297.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1339.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1422.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_5_mkspan1588.smt  01-Jun-2008 01:30  635K  
[   ] tai_20x20_6_mkspan1204.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_6_mkspan1205.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_6_mkspan1206.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_6_mkspan1209.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_6_mkspan1214.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_6_mkspan1225.smt  01-Jun-2008 01:30  634K  
[   ] tai_20x20_6_mkspan1246.smt  01-Jun-2008 01:31  634K  
[   ] tai_20x20_6_mkspan1289.smt  01-Jun-2008 01:31  634K  
[   ] tai_20x20_6_mkspan1375.smt  01-Jun-2008 01:31  634K  
[   ] tai_20x20_6_mkspan1547.smt  01-Jun-2008 01:31  634K  
[   ] tai_20x20_7_mkspan1294.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1295.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1296.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1298.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1303.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1313.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1332.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1370.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1447.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_7_mkspan1600.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1169.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1170.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1171.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1174.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1180.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1191.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1214.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1260.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1352.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_8_mkspan1536.smt  01-Jun-2008 01:31  635K  
[   ] tai_20x20_10_mkspan1241.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1242.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1243.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1246.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1251.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1261.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1281.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1321.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1401.smt 01-Jun-2008 01:29  635K  
[   ] tai_20x20_10_mkspan1562.smt 01-Jun-2008 01:29  635K
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80