Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/algspec1
Name
Last modified
Size
Description
Parent Directory
-
algspec1__1645_48.min1.thm1
2017-02-06 12:46
5.0K
algspec1__918_31.min1.thm1
2017-02-06 12:46
3.3K
algspec1__931_29.min1.thm1
2017-02-06 12:46
3.3K
algspec1__1929_40.min1.thm1
2017-02-06 12:46
3.0K
algspec1__261_25.min1.thm1
2017-02-06 12:46
2.9K
algspec1__258_24.min1.thm1
2017-02-06 12:46
2.9K
algspec1__1610_78.min1.thm1
2017-02-06 12:46
2.6K
algspec1__1079_67.min1.thm1
2017-02-06 12:46
2.6K
algspec1__251_33.min1.thm1
2017-02-06 12:46
2.5K
algspec1__1628_61.min1.thm1
2017-02-06 12:46
2.3K
algspec1__1618_39.min1.thm1
2017-02-06 12:46
2.3K
algspec1__1608_38.min1.thm1
2017-02-06 12:46
2.3K
algspec1__1005_32.min1.thm1
2017-02-06 12:46
2.3K
algspec1__1876_4.min1.thm1
2017-02-06 12:46
2.3K
algspec1__1873_4.min1.thm1
2017-02-06 12:46
2.3K
algspec1__1025_37.min1.thm1
2017-02-06 12:46
2.2K
algspec1__982_17.min1.thm1
2017-02-06 12:46
2.2K
algspec1__1064_59.min1.thm1
2017-02-06 12:46
2.1K
algspec1__1622_75.min1.thm1
2017-02-06 12:46
2.1K
algspec1__1061_54.min1.thm1
2017-02-06 12:46
2.0K
algspec1__71_17.min1.thm1
2017-02-06 12:46
2.0K
algspec1__275_19.min1.thm1
2017-02-06 12:46
2.0K
algspec1__904_21.min1.thm1
2017-02-06 12:46
2.0K
algspec1__409_40.min1.thm1
2017-02-06 12:46
2.0K
algspec1__500_20.min1.thm1
2017-02-06 12:46
2.0K
algspec1__241_18.min1.thm1
2017-02-06 12:46
1.9K
algspec1__1178_45.min1.thm1
2017-02-06 12:46
1.9K
algspec1__1159_46.min1.thm1
2017-02-06 12:46
1.9K
algspec1__344_31.min1.thm1
2017-02-06 12:46
1.9K
algspec1__879_44.min1.thm1
2017-02-06 12:46
1.9K
algspec1__875_41.min1.thm1
2017-02-06 12:46
1.9K
algspec1__903_34.min1.thm1
2017-02-06 12:46
1.8K
algspec1__1542_57.min1.thm1
2017-02-06 12:46
1.8K
algspec1__210_17.min1.thm1
2017-02-06 12:46
1.8K
algspec1__242_41.min1.thm1
2017-02-06 12:46
1.8K
algspec1__249_19.min1.thm1
2017-02-06 12:46
1.8K
algspec1__285_66.min1.thm1
2017-02-06 12:46
1.7K
algspec1__499_51.min1.thm1
2017-02-06 12:46
1.7K
algspec1__66_40.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1877_17.min1.thm1
2017-02-06 12:46
1.7K
algspec1__385_17.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1489_40.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1853_47.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1052_40.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1020_40.min1.thm1
2017-02-06 12:46
1.7K
algspec1__997_40.min1.thm1
2017-02-06 12:46
1.7K
algspec1__981_54.min1.thm1
2017-02-06 12:46
1.7K
algspec1__970_32.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1490_41.min1.thm1
2017-02-06 12:46
1.7K
algspec1__795_37.min1.thm1
2017-02-06 12:46
1.7K
algspec1__794_37.min1.thm1
2017-02-06 12:46
1.7K
algspec1__954_33.min1.thm1
2017-02-06 12:46
1.7K
algspec1__1109_4.min1.thm1
2017-02-06 12:46
1.6K
algspec1__250_19.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1632_41.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1631_40.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1617_41.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1616_40.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1078_30.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1047_33.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1022_31.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1002_31.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1282_47.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1247_47.min1.thm1
2017-02-06 12:46
1.6K
algspec1__453_55.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1837_48.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1363_49.min1.thm1
2017-02-06 12:46
1.6K
algspec1__1347_49.min1.thm1
2017-02-06 12:46
1.6K
algspec1__404_41.min1.thm1
2017-02-06 12:46
1.5K
algspec1__166_17.min1.thm1
2017-02-06 12:46
1.5K
algspec1__146_19.min1.thm1
2017-02-06 12:46
1.5K
algspec1__342_62.min1.thm1
2017-02-06 12:46
1.5K
algspec1__411_40.min1.thm1
2017-02-06 12:46
1.5K
algspec1__1142_17.min1.thm1
2017-02-06 12:46
1.5K
algspec1__1513_17.min1.thm1
2017-02-06 12:46
1.5K
algspec1__1060_38.min1.thm1
2017-02-06 12:46
1.5K
algspec1__1091_36.min1.thm1
2017-02-06 12:46
1.5K
algspec1__620_47.min1.thm1
2017-02-06 12:46
1.5K
algspec1__459_39.min1.thm1
2017-02-06 12:46
1.5K
algspec1__1738_45.min1.thm1
2017-02-06 12:46
1.4K
algspec1__223_19.min1.thm1
2017-02-06 12:46
1.4K
algspec1__222_21.min1.thm1
2017-02-06 12:46
1.4K
algspec1__766_39.min1.thm1
2017-02-06 12:46
1.4K
algspec1__407_42.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1915_71.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1404_22.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1718_43.min1.thm1
2017-02-06 12:46
1.4K
algspec1__901_56.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1536_38.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1510_43.min1.thm1
2017-02-06 12:46
1.4K
algspec1__671_43.min1.thm1
2017-02-06 12:46
1.4K
algspec1__670_43.min1.thm1
2017-02-06 12:46
1.4K
algspec1__423_17.min1.thm1
2017-02-06 12:46
1.4K
algspec1__698_43.min1.thm1
2017-02-06 12:46
1.4K
algspec1__697_43.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1621_63.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1319_36.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1316_35.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1065_55.min1.thm1
2017-02-06 12:46
1.4K
algspec1__762_75.min1.thm1
2017-02-06 12:46
1.4K
algspec1__1126_17.min1.thm1
2017-02-06 12:46
1.3K
algspec1__616_41.min1.thm1
2017-02-06 12:46
1.3K
algspec1__345_19.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1072_32.min1.thm1
2017-02-06 12:46
1.3K
algspec1__359_44.min1.thm1
2017-02-06 12:46
1.3K
algspec1__688_65.min1.thm1
2017-02-06 12:46
1.3K
algspec1__686_48.min1.thm1
2017-02-06 12:46
1.3K
algspec1__259_13.min1.thm1
2017-02-06 12:46
1.3K
algspec1__256_13.min1.thm1
2017-02-06 12:46
1.3K
algspec1__712_60.min1.thm1
2017-02-06 12:46
1.3K
algspec1__710_40.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1049_30.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1042_34.min1.thm1
2017-02-06 12:46
1.3K
algspec1__754_29.min1.thm1
2017-02-06 12:46
1.3K
algspec1__748_35.min1.thm1
2017-02-06 12:46
1.3K
algspec1__300_17.min1.thm1
2017-02-06 12:46
1.3K
algspec1__135_34.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1266_66.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1588_67.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1577_70.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1613_59.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1574_74.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1783_74.min1.thm1
2017-02-06 12:46
1.3K
algspec1__70_40.min1.thm1
2017-02-06 12:46
1.3K
algspec1__42_42.min1.thm1
2017-02-06 12:46
1.3K
algspec1__354_41.min1.thm1
2017-02-06 12:46
1.3K
algspec1__566_47.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1914_42.min1.thm1
2017-02-06 12:46
1.3K
algspec1__1896_42.min1.thm1
2017-02-06 12:46
1.3K
algspec1__600_17.min1.thm1
2017-02-06 12:46
1.2K
algspec1__410_42.min1.thm1
2017-02-06 12:46
1.2K
algspec1__408_40.min1.thm1
2017-02-06 12:46
1.2K
algspec1__450_48.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1286_28.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1251_28.min1.thm1
2017-02-06 12:46
1.2K
algspec1__54_40.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1369_16.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1353_16.min1.thm1
2017-02-06 12:46
1.2K
algspec1__106_30.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1238_66.min1.thm1
2017-02-06 12:46
1.2K
algspec1__163_35.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1388_40.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1387_40.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1702_17.min1.thm1
2017-02-06 12:46
1.2K
algspec1__804_65.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1236_66.min1.thm1
2017-02-06 12:46
1.2K
algspec1__636_20.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1399_74.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1394_71.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1264_69.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1262_66.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1234_69.min1.thm1
2017-02-06 12:46
1.2K
algspec1__495_6.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1268_73.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1223_71.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1644_48.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1555_47.min1.thm1
2017-02-06 12:46
1.2K
algspec1__216_23.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1838_48.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1391_50.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1390_50.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1938_45.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1891_42.min1.thm1
2017-02-06 12:46
1.2K
algspec1__1776_56.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1772_71.min1.thm1
2017-02-06 12:46
1.1K
algspec1__637_52.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1540_56.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1535_60.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1507_60.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1506_58.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1557_49.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1556_49.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1240_47.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1275_47.min1.thm1
2017-02-06 12:46
1.1K
algspec1__324_17.min1.thm1
2017-02-06 12:46
1.1K
algspec1__287_31.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1317_70.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1314_64.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1337_64.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1330_4.min1.thm1
2017-02-06 12:46
1.1K
algspec1__334_19.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1141_40.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1491_17.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1327_50.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1326_50.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1594_43.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1581_43.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1732_44.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1716_44.min1.thm1
2017-02-06 12:46
1.1K
algspec1__343_30.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1530_66.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1173_60.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1154_60.min1.thm1
2017-02-06 12:46
1.1K
algspec1__1112_17.min1.thm1
2017-02-06 12:46
1.1K
algspec1__497_53.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1930_30.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1927_29.min1.thm1
2017-02-06 12:46
1.0K
algspec1__145_24.min1.thm1
2017-02-06 12:46
1.0K
algspec1__396_27.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1746_57.min1.thm1
2017-02-06 12:46
1.0K
algspec1__196_17.min1.thm1
2017-02-06 12:46
1.0K
algspec1__598_32.min1.thm1
2017-02-06 12:46
1.0K
algspec1__69_35.min1.thm1
2017-02-06 12:46
1.0K
algspec1__43_34.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1048_59.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1742_67.min1.thm1
2017-02-06 12:46
1.0K
algspec1__61_31.min1.thm1
2017-02-06 12:46
1.0K
algspec1__452_50.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1098_36.min1.thm1
2017-02-06 12:46
1.0K
algspec1__140_27.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1045_34.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1212_17.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1887_44.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1786_45.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1779_43.min1.thm1
2017-02-06 12:46
1.0K
algspec1__589_19.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1487_48.min1.thm1
2017-02-06 12:46
1.0K
algspec1__53_31.min1.thm1
2017-02-06 12:46
1.0K
algspec1__483_41.min1.thm1
2017-02-06 12:46
1.0K
algspec1__588_23.min1.thm1
2017-02-06 12:46
1.0K
algspec1__829_17.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1629_36.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1614_36.min1.thm1
2017-02-06 12:46
1.0K
algspec1__478_19.min1.thm1
2017-02-06 12:46
1.0K
algspec1__1700_38.min1.thm1
2017-02-06 12:46
1.0K
algspec1__384_20.min1.thm1
2017-02-06 12:46
969
algspec1__1565_27.min1.thm1
2017-02-06 12:46
960
algspec1__398_36.min1.thm1
2017-02-06 12:46
952
algspec1__1411_76.min1.thm1
2017-02-06 12:46
946
algspec1__355_11.min1.thm1
2017-02-06 12:46
944
algspec1__756_37.min1.thm1
2017-02-06 12:46
942
algspec1__406_40.min1.thm1
2017-02-06 12:46
938
algspec1__639_16.min1.thm1
2017-02-06 12:46
934
algspec1__1529_37.min1.thm1
2017-02-06 12:46
930
algspec1__1059_15.min1.thm1
2017-02-06 12:46
929
algspec1__420_43.min1.thm1
2017-02-06 12:46
927
algspec1__1090_15.min1.thm1
2017-02-06 12:46
925
algspec1__1423_17.min1.thm1
2017-02-06 12:46
922
algspec1__1436_25.min1.thm1
2017-02-06 12:46
919
algspec1__1371_34.min1.thm1
2017-02-06 12:46
909
algspec1__526_37.min1.thm1
2017-02-06 12:46
909
algspec1__617_22.min1.thm1
2017-02-06 12:46
905
algspec1__1917_35.min1.thm1
2017-02-06 12:46
904
algspec1__1898_35.min1.thm1
2017-02-06 12:46
904
algspec1__1355_34.min1.thm1
2017-02-06 12:46
903
algspec1__1679_19.min1.thm1
2017-02-06 12:46
897
algspec1__1414_38.min1.thm1
2017-02-06 12:46
896
algspec1__812_46.min1.thm1
2017-02-06 12:46
893
algspec1__801_44.min1.thm1
2017-02-06 12:46
893
algspec1__58_37.min1.thm1
2017-02-06 12:46
888
algspec1__554_22.min1.thm1
2017-02-06 12:46
883
algspec1__298_31.min1.thm1
2017-02-06 12:46
874
algspec1__1211_34.min1.thm1
2017-02-06 12:46
867
algspec1__1583_28.min1.thm1
2017-02-06 12:46
861
algspec1__1463_26.min1.thm1
2017-02-06 12:46
851
algspec1__555_23.min1.thm1
2017-02-06 12:46
851
algspec1__286_39.min1.thm1
2017-02-06 12:46
850
algspec1__621_30.min1.thm1
2017-02-06 12:46
849
algspec1__622_34.min1.thm1
2017-02-06 12:46
847
algspec1__1421_33.min1.thm1
2017-02-06 12:46
845
algspec1__1741_46.min1.thm1
2017-02-06 12:46
843
algspec1__487_33.min1.thm1
2017-02-06 12:46
843
algspec1__84_17.min1.thm1
2017-02-06 12:46
843
algspec1__1354_35.min1.thm1
2017-02-06 12:46
842
algspec1__1370_35.min1.thm1
2017-02-06 12:46
841
algspec1__85_35.min1.thm1
2017-02-06 12:46
835
algspec1__422_45.min1.thm1
2017-02-06 12:46
834
algspec1__1450_45.min1.thm1
2017-02-06 12:46
832
algspec1__1435_43.min1.thm1
2017-02-06 12:46
831
algspec1__252_29.min1.thm1
2017-02-06 12:46
830
algspec1__1466_29.min1.thm1
2017-02-06 12:46
826
algspec1__141_53.min1.thm1
2017-02-06 12:46
826
algspec1__1368_26.min1.thm1
2017-02-06 12:46
822
algspec1__1352_32.min1.thm1
2017-02-06 12:46
822
algspec1__274_35.min1.thm1
2017-02-06 12:46
822
algspec1__368_38.min1.thm1
2017-02-06 12:46
817
algspec1__312_39.min1.thm1
2017-02-06 12:46
811
algspec1__498_52.min1.thm1
2017-02-06 12:46
806
algspec1__1465_39.min1.thm1
2017-02-06 12:46
800
algspec1__288_34.min1.thm1
2017-02-06 12:46
800
algspec1__597_18.min1.thm1
2017-02-06 12:46
799
algspec1__596_19.min1.thm1
2017-02-06 12:46
798
algspec1__243_17.min1.thm1
2017-02-06 12:46
797
algspec1__233_17.min1.thm1
2017-02-06 12:46
797
algspec1__208_17.min1.thm1
2017-02-06 12:46
797
algspec1__205_17.min1.thm1
2017-02-06 12:46
797
algspec1__557_22.min1.thm1
2017-02-06 12:46
793
algspec1__587_24.min1.thm1
2017-02-06 12:46
792
algspec1__369_13.min1.thm1
2017-02-06 12:46
792
algspec1__1437_42.min1.thm1
2017-02-06 12:46
789
algspec1__1952_37.min1.thm1
2017-02-06 12:46
788
algspec1__1735_38.min1.thm1
2017-02-06 12:46
788
algspec1__1467_52.min1.thm1
2017-02-06 12:46
787
algspec1__1261_63.min1.thm1
2017-02-06 12:46
780
algspec1__1228_63.min1.thm1
2017-02-06 12:46
780
algspec1__353_26.min1.thm1
2017-02-06 12:46
780
algspec1__373_47.min1.thm1
2017-02-06 12:46
779
algspec1__1691_17.min1.thm1
2017-02-06 12:46
776
algspec1__1592_26.min1.thm1
2017-02-06 12:46
766
algspec1__1579_31.min1.thm1
2017-02-06 12:46
766
algspec1__530_24.min1.thm1
2017-02-06 12:46
765
algspec1__1680_16.min1.thm1
2017-02-06 12:46
764
algspec1__442_32.min1.thm1
2017-02-06 12:46
762
algspec1__501_13.min1.thm1
2017-02-06 12:46
760
algspec1__586_23.min1.thm1
2017-02-06 12:46
758
algspec1__1451_26.min1.thm1
2017-02-06 12:46
757
algspec1__126_21.min1.thm1
2017-02-06 12:46
757
algspec1__1140_36.min1.thm1
2017-02-06 12:46
756
algspec1__1137_37.min1.thm1
2017-02-06 12:46
756
algspec1__164_19.min1.thm1
2017-02-06 12:46
756
algspec1__1858_38.min1.thm1
2017-02-06 12:46
754
algspec1__104_25.min1.thm1
2017-02-06 12:46
754
algspec1__103_24.min1.thm1
2017-02-06 12:46
754
algspec1__1714_38.min1.thm1
2017-02-06 12:46
753
algspec1__624_25.min1.thm1
2017-02-06 12:46
749
algspec1__154_20.min1.thm1
2017-02-06 12:46
749
algspec1__105_19.min1.thm1
2017-02-06 12:46
749
algspec1__90_19.min1.thm1
2017-02-06 12:46
749
algspec1__289_29.min1.thm1
2017-02-06 12:46
748
algspec1__481_36.min1.thm1
2017-02-06 12:46
747
algspec1__1364_27.min1.thm1
2017-02-06 12:46
745
algspec1__1348_27.min1.thm1
2017-02-06 12:46
745
algspec1__1422_30.min1.thm1
2017-02-06 12:46
744
algspec1__189_29.min1.thm1
2017-02-06 12:46
744
algspec1__184_28.min1.thm1
2017-02-06 12:46
744
algspec1__194_19.min1.thm1
2017-02-06 12:46
742
algspec1__193_22.min1.thm1
2017-02-06 12:46
742
algspec1__1096_33.min1.thm1
2017-02-06 12:46
738
algspec1__219_12.min1.thm1
2017-02-06 12:46
734
algspec1__129_31.min1.thm1
2017-02-06 12:46
732
algspec1__125_19.min1.thm1
2017-02-06 12:46
730
algspec1__1643_49.min1.thm1
2017-02-06 12:46
729
algspec1__1620_46.min1.thm1
2017-02-06 12:46
729
algspec1__1554_58.min1.thm1
2017-02-06 12:46
728
algspec1__489_27.min1.thm1
2017-02-06 12:46
726
algspec1__195_34.min1.thm1
2017-02-06 12:46
726
algspec1__1452_43.min1.thm1
2017-02-06 12:46
725
algspec1__62_28.min1.thm1
2017-02-06 12:46
723
algspec1__153_18.min1.thm1
2017-02-06 12:46
722
algspec1__101_17.min1.thm1
2017-02-06 12:46
722
algspec1__91_17.min1.thm1
2017-02-06 12:46
722
algspec1__1209_31.min1.thm1
2017-02-06 12:46
720
algspec1__157_29.min1.thm1
2017-02-06 12:46
720
algspec1__1418_27.min1.thm1
2017-02-06 12:46
715
algspec1__134_24.min1.thm1
2017-02-06 12:46
715
algspec1__187_18.min1.thm1
2017-02-06 12:46
714
algspec1__182_18.min1.thm1
2017-02-06 12:46
714
algspec1__1367_28.min1.thm1
2017-02-06 12:46
711
algspec1__1953_30.min1.thm1
2017-02-06 12:46
709
algspec1__1739_30.min1.thm1
2017-02-06 12:46
709
algspec1__615_22.min1.thm1
2017-02-06 12:46
707
algspec1__614_22.min1.thm1
2017-02-06 12:46
707
algspec1__576_20.min1.thm1
2017-02-06 12:46
707
algspec1__553_20.min1.thm1
2017-02-06 12:46
707
algspec1__162_22.min1.thm1
2017-02-06 12:46
707
algspec1__405_46.min1.thm1
2017-02-06 12:46
706
algspec1__543_17.min1.thm1
2017-02-06 12:46
705
algspec1__1874_40.min1.thm1
2017-02-06 12:46
703
algspec1__1125_63.min1.thm1
2017-02-06 12:46
701
algspec1__1123_67.min1.thm1
2017-02-06 12:46
701
algspec1__1801_50.min1.thm1
2017-02-06 12:46
700
algspec1__1360_31.min1.thm1
2017-02-06 12:46
700
algspec1__781_14.min1.thm1
2017-02-06 12:46
698
algspec1__1448_29.min1.thm1
2017-02-06 12:46
690
algspec1__907_32.min1.thm1
2017-02-06 12:46
690
algspec1__899_34.min1.thm1
2017-02-06 12:46
690
algspec1__1433_29.min1.thm1
2017-02-06 12:46
689
algspec1__1582_38.min1.thm1
2017-02-06 12:46
687
algspec1__1572_38.min1.thm1
2017-02-06 12:46
687
algspec1__1571_37.min1.thm1
2017-02-06 12:46
687
algspec1__418_43.min1.thm1
2017-02-06 12:46
687
algspec1__1563_36.min1.thm1
2017-02-06 12:46
686
algspec1__1366_26.min1.thm1
2017-02-06 12:46
685
algspec1__1350_26.min1.thm1
2017-02-06 12:46
685
algspec1__1749_26.min1.thm1
2017-02-06 12:46
684
algspec1__1717_30.min1.thm1
2017-02-06 12:46
674
algspec1__1533_29.min1.thm1
2017-02-06 12:46
674
algspec1__1504_29.min1.thm1
2017-02-06 12:46
674
algspec1__512_24.min1.thm1
2017-02-06 12:46
672
algspec1__1398_58.min1.thm1
2017-02-06 12:46
669
algspec1__745_48.min1.thm1
2017-02-06 12:46
665
algspec1__744_46.min1.thm1
2017-02-06 12:46
665
algspec1__492_45.min1.thm1
2017-02-06 12:46
657
algspec1__1323_35.min1.thm1
2017-02-06 12:46
655
algspec1__1320_35.min1.thm1
2017-02-06 12:46
655
algspec1__1790_44.min1.thm1
2017-02-06 12:46
654
algspec1__1480_34.min1.thm1
2017-02-06 12:46
652
algspec1__1782_42.min1.thm1
2017-02-06 12:46
651
algspec1__496_32.min1.thm1
2017-02-06 12:46
651
algspec1__1099_33.min1.thm1
2017-02-06 12:46
649
algspec1__612_24.min1.thm1
2017-02-06 12:46
649
algspec1__1325_37.min1.thm1
2017-02-06 12:46
648
algspec1__1322_36.min1.thm1
2017-02-06 12:46
648
algspec1__432_59.min1.thm1
2017-02-06 12:46
647
algspec1__332_27.min1.thm1
2017-02-06 12:46
647
algspec1__1283_36.min1.thm1
2017-02-06 12:46
646
algspec1__1248_36.min1.thm1
2017-02-06 12:46
646
algspec1__1418_27.min1.thm1.tptp
2017-02-06 16:48
643
algspec1__1210_29.min1.thm1
2017-02-06 12:46
639
algspec1__455_14.min1.thm1
2017-02-06 12:46
626
algspec1__320_16.min1.thm1
2017-02-06 12:46
626
algspec1__272_16.min1.thm1
2017-02-06 12:46
626
algspec1__284_14.min1.thm1
2017-02-06 12:46
622
algspec1__93_35.min1.thm1
2017-02-06 12:46
620
algspec1__1287_33.min1.thm1
2017-02-06 12:46
614
algspec1__1284_19.min1.thm1
2017-02-06 12:46
614
algspec1__1252_33.min1.thm1
2017-02-06 12:46
614
algspec1__1249_19.min1.thm1
2017-02-06 12:46
614
algspec1__185_23.min1.thm1
2017-02-06 12:46
613
algspec1__1701_25.min1.thm1
2017-02-06 12:46
609
algspec1__633_18.min1.thm1
2017-02-06 12:46
599
algspec1__421_43.min1.thm1
2017-02-06 12:46
594
algspec1__800_20.min1.thm1
2017-02-06 12:46
584
algspec1__584_19.min1.thm1
2017-02-06 12:46
584
algspec1__451_19.min1.thm1
2017-02-06 12:46
584
algspec1__1481_18.min1.thm1
2017-02-06 12:46
581
algspec1__1402_61.min1.thm1
2017-02-06 12:46
576
algspec1__432_59.min1.thm1.tptp
2017-02-06 16:48
576
algspec1__92_24.min1.thm1
2017-02-06 12:46
574
algspec1__496_32.min1.thm1.tptp
2017-02-06 16:48
572
algspec1__1690_17.min1.thm1
2017-02-06 12:46
570
algspec1__1094_46.min1.thm1
2017-02-06 12:46
570
algspec1__542_22.min1.thm1
2017-02-06 12:46
566
algspec1__1324_44.min1.thm1
2017-02-06 12:46
563
algspec1__1321_43.min1.thm1
2017-02-06 12:46
563
algspec1__214_43.min1.thm1
2017-02-06 12:46
562
algspec1__1359_27.min1.thm1
2017-02-06 12:46
552
algspec1__1351_27.min1.thm1
2017-02-06 12:46
552
algspec1__513_74.min1.thm1
2017-02-06 12:46
549
algspec1__402_27.min1.thm1
2017-02-06 12:46
547
algspec1__399_27.min1.thm1
2017-02-06 12:46
547
algspec1__383_20.min1.thm1
2017-02-06 12:46
545
algspec1__1462_32.min1.thm1
2017-02-06 12:46
534
algspec1__190_26.min1.thm1
2017-02-06 12:46
526
algspec1__180_23.min1.thm1
2017-02-06 12:46
520
algspec1__192_19.min1.thm1
2017-02-06 12:46
519
algspec1__60_41.min1.thm1
2017-02-06 12:46
519
algspec1__579_26.min1.thm1
2017-02-06 12:46
513
algspec1__63_38.min1.thm1
2017-02-06 12:46
513
algspec1__619_21.min1.thm1
2017-02-06 12:46
511
algspec1__618_23.min1.thm1
2017-02-06 12:46
511
algspec1__552_21.min1.thm1
2017-02-06 12:46
511
algspec1__513_74.min1.thm1.tptp
2017-02-06 16:48
511
algspec1__367_20.min1.thm1
2017-02-06 12:46
505
algspec1__1051_13.min1.thm1
2017-02-06 12:46
504
algspec1__1044_13.min1.thm1
2017-02-06 12:46
503
algspec1__827_43.min1.thm1
2017-02-06 12:46
500
algspec1__1402_61.min1.thm1.tptp
2017-02-06 16:48
498
algspec1__525_20.min1.thm1
2017-02-06 12:46
491
algspec1__1564_28.min1.thm1
2017-02-06 12:46
480
algspec1__884_53.min1.thm1
2017-02-06 12:46
479
algspec1__864_53.min1.thm1
2017-02-06 12:46
479
algspec1__558_11.min1.thm1
2017-02-06 12:46
475
algspec1__60_41.min1.thm1.tptp
2017-02-06 16:48
459
algspec1__180_23.min1.thm1.tptp
2017-02-06 16:48
458
algspec1__431_42.min1.thm1
2017-02-06 12:46
454
algspec1__63_38.min1.thm1.tptp
2017-02-06 16:48
451
algspec1__311_19.min1.thm1
2017-02-06 12:46
445
algspec1__401_25.min1.thm1
2017-02-06 12:46
443
algspec1__323_17.min1.thm1
2017-02-06 12:46
442
algspec1__192_19.min1.thm1.tptp
2017-02-06 16:48
442
algspec1__1802_45.min1.thm1
2017-02-06 12:46
440
algspec1__491_27.min1.thm1
2017-02-06 12:46
437
algspec1__485_23.min1.thm1
2017-02-06 12:46
435
algspec1__480_22.min1.thm1
2017-02-06 12:46
431
algspec1__471_24.min1.thm1
2017-02-06 12:46
431
algspec1__623_31.min1.thm1
2017-02-06 12:46
426
algspec1__525_20.min1.thm1.tptp
2017-02-06 16:48
414
algspec1__828_47.min1.thm1
2017-02-06 12:46
413
algspec1__1564_28.min1.thm1.tptp
2017-02-06 16:48
409
algspec1__488_18.min1.thm1
2017-02-06 12:46
409
algspec1__484_21.min1.thm1
2017-02-06 12:46
405
algspec1__1396_66.min1.thm1
2017-02-06 12:46
401
algspec1__884_53.min1.thm1.tptp
2017-02-06 16:48
397
algspec1__864_53.min1.thm1.tptp
2017-02-06 16:48
397
algspec1__1485_51.min1.thm1
2017-02-06 12:46
394
algspec1__1689_26.min1.thm1
2017-02-06 12:46
391
algspec1__431_42.min1.thm1.tptp
2017-02-06 16:48
383
algspec1__395_13.min1.thm1
2017-02-06 12:46
379
algspec1__394_15.min1.thm1
2017-02-06 12:46
379
algspec1__1824_14.min1.thm1
2017-02-06 12:46
374
algspec1__930_44.min1.thm1
2017-02-06 12:46
372
algspec1__529_25.min1.thm1
2017-02-06 12:46
366
algspec1__491_27.min1.thm1.tptp
2017-02-06 16:48
363
algspec1__401_25.min1.thm1.tptp
2017-02-06 16:48
363
algspec1__1193_18.min1.thm1
2017-02-06 12:46
360
algspec1__485_23.min1.thm1.tptp
2017-02-06 16:48
357
algspec1__1913_44.min1.thm1
2017-02-06 12:46
356
algspec1__1895_44.min1.thm1
2017-02-06 12:46
356
algspec1__1201_32.min1.thm1
2017-02-06 12:46
356
algspec1__480_22.min1.thm1.tptp
2017-02-06 16:48
353
algspec1__471_24.min1.thm1.tptp
2017-02-06 16:48
353
algspec1__1666_15.min1.thm1
2017-02-06 12:46
338
algspec1__488_18.min1.thm1.tptp
2017-02-06 16:48
331
algspec1__828_47.min1.thm1.tptp
2017-02-06 16:48
330
algspec1__1396_66.min1.thm1.tptp
2017-02-06 16:48
327
algspec1__484_21.min1.thm1.tptp
2017-02-06 16:48
327
algspec1__1784_19.min1.thm1
2017-02-06 12:46
318
algspec1__1777_19.min1.thm1
2017-02-06 12:46
317
algspec1__1689_26.min1.thm1.tptp
2017-02-06 16:48
313
algspec1__1401_66.min1.thm1
2017-02-06 12:46
308
algspec1__1485_51.min1.thm1.tptp
2017-02-06 16:48
304
algspec1__395_13.min1.thm1.tptp
2017-02-06 16:48
301
algspec1__394_15.min1.thm1.tptp
2017-02-06 16:48
301
algspec1__930_44.min1.thm1.tptp
2017-02-06 16:48
294
algspec1__1736_42.min1.thm1
2017-02-06 12:46
293
algspec1__1715_42.min1.thm1
2017-02-06 12:46
293
algspec1__1824_14.min1.thm1.tptp
2017-02-06 16:48
288
algspec1__1193_18.min1.thm1.tptp
2017-02-06 16:48
283
algspec1__458_20.min1.thm1
2017-02-06 12:46
282
algspec1__1201_32.min1.thm1.tptp
2017-02-06 16:48
279
algspec1__1913_44.min1.thm1.tptp
2017-02-06 16:48
278
algspec1__1895_44.min1.thm1.tptp
2017-02-06 16:48
278
algspec1__1341_11.min1.thm1
2017-02-06 12:46
247
algspec1__1890_43.min1.thm1
2017-02-06 12:46
246
algspec1__1835_44.min1.thm1
2017-02-06 12:46
246
algspec1__1775_43.min1.thm1
2017-02-06 12:46
246
algspec1__50_13.min1.thm1
2017-02-06 12:46
246
algspec1__796_11.min1.thm1
2017-02-06 12:46
245
algspec1__1784_19.min1.thm1.tptp
2017-02-06 16:48
232
algspec1__1777_19.min1.thm1.tptp
2017-02-06 16:48
231
algspec1__1477_13.min1.thm1
2017-02-06 12:46
195
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80