Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/poset_1
Name
Last modified
Size
Description
Parent Directory
-
poset_1__1843_30.min1.thm1
2017-02-06 12:45
4.4K
poset_1__1318_25.min1.thm1
2017-02-06 12:45
3.6K
poset_1__805_23.min1.thm1
2017-02-06 12:45
3.6K
poset_1__1137_18.min1.thm1
2017-02-06 12:45
3.5K
poset_1__1136_19.min1.thm1
2017-02-06 12:45
3.5K
poset_1__1274_21.min1.thm1
2017-02-06 12:45
3.5K
poset_1__1191_21.min1.thm1
2017-02-06 12:45
3.3K
poset_1__1210_25.min1.thm1
2017-02-06 12:45
3.3K
poset_1__1875_43.min1.thm1
2017-02-06 12:45
3.0K
poset_1__1861_41.min1.thm1
2017-02-06 12:45
3.0K
poset_1__1200_51.min1.thm1
2017-02-06 12:45
2.9K
poset_1__1521_58.min1.thm1
2017-02-06 12:45
2.9K
poset_1__229_17.min1.thm1
2017-02-06 12:45
2.9K
poset_1__826_13.min1.thm1
2017-02-06 12:45
2.9K
poset_1__825_16.min1.thm1
2017-02-06 12:45
2.9K
poset_1__1094_51.min1.thm1
2017-02-06 12:45
2.7K
poset_1__1755_32.min1.thm1
2017-02-06 12:45
2.7K
poset_1__1832_60.min1.thm1
2017-02-06 12:45
2.7K
poset_1__417_24.min1.thm1
2017-02-06 12:45
2.7K
poset_1__415_24.min1.thm1
2017-02-06 12:45
2.7K
poset_1__907_15.min1.thm1
2017-02-06 12:45
2.7K
poset_1__758_17.min1.thm1
2017-02-06 12:45
2.6K
poset_1__1214_23.min1.thm1
2017-02-06 12:45
2.6K
poset_1__746_17.min1.thm1
2017-02-06 12:45
2.6K
poset_1__1449_17.min1.thm1
2017-02-06 12:45
2.6K
poset_1__516_21.min1.thm1
2017-02-06 12:45
2.5K
poset_1__743_19.min1.thm1
2017-02-06 12:45
2.5K
poset_1__1117_18.min1.thm1
2017-02-06 12:45
2.5K
poset_1__925_20.min1.thm1
2017-02-06 12:45
2.5K
poset_1__315_20.min1.thm1
2017-02-06 12:45
2.5K
poset_1__246_29.min1.thm1
2017-02-06 12:45
2.5K
poset_1__745_16.min1.thm1
2017-02-06 12:45
2.5K
poset_1__187_21.min1.thm1
2017-02-06 12:45
2.5K
poset_1__1112_37.min1.thm1
2017-02-06 12:45
2.4K
poset_1__1112_24.min1.thm1
2017-02-06 12:45
2.4K
poset_1__1237_60.min1.thm1
2017-02-06 12:45
2.4K
poset_1__1757_53.min1.thm1
2017-02-06 12:45
2.4K
poset_1__598_53.min1.thm1
2017-02-06 12:45
2.4K
poset_1__1217_28.min1.thm1
2017-02-06 12:45
2.4K
poset_1__183_57.min1.thm1
2017-02-06 12:45
2.4K
poset_1__213_46.min1.thm1
2017-02-06 12:45
2.3K
poset_1__1183_57.min1.thm1
2017-02-06 12:45
2.3K
poset_1__515_16.min1.thm1
2017-02-06 12:45
2.3K
poset_1__591_20.min1.thm1
2017-02-06 12:45
2.2K
poset_1__744_25.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1047_26.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1041_26.min1.thm1
2017-02-06 12:45
2.2K
poset_1__186_44.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1065_52.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1365_55.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1289_75.min1.thm1
2017-02-06 12:45
2.2K
poset_1__887_61.min1.thm1
2017-02-06 12:45
2.2K
poset_1__721_18.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1249_67.min1.thm1
2017-02-06 12:45
2.2K
poset_1__1739_17.min1.thm1
2017-02-06 12:45
2.1K
poset_1__600_22.min1.thm1
2017-02-06 12:45
2.1K
poset_1__1624_20.min1.thm1
2017-02-06 12:45
2.1K
poset_1__1619_20.min1.thm1
2017-02-06 12:45
2.1K
poset_1__1520_33.min1.thm1
2017-02-06 12:45
2.1K
poset_1__589_22.min1.thm1
2017-02-06 12:45
2.1K
poset_1__1898_20.min1.thm1
2017-02-06 12:45
2.1K
poset_1__1868_65.min1.thm1
2017-02-06 12:45
2.1K
poset_1__1759_61.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1841_60.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1522_21.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1824_58.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1416_16.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1833_38.min1.thm1
2017-02-06 12:45
2.0K
poset_1__808_16.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1594_57.min1.thm1
2017-02-06 12:45
2.0K
poset_1__379_30.min1.thm1
2017-02-06 12:45
2.0K
poset_1__1383_17.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1250_16.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1415_64.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1873_44.min1.thm1
2017-02-06 12:45
1.9K
poset_1__533_28.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1859_44.min1.thm1
2017-02-06 12:45
1.9K
poset_1__742_25.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1151_23.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1111_58.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1345_62.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1301_56.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1087_54.min1.thm1
2017-02-06 12:45
1.9K
poset_1__82_27.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1264_13.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1273_56.min1.thm1
2017-02-06 12:45
1.9K
poset_1__1761_16.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1134_55.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1133_53.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1703_51.min1.thm1
2017-02-06 12:45
1.8K
poset_1__634_27.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1760_29.min1.thm1
2017-02-06 12:45
1.8K
poset_1__468_19.min1.thm1
2017-02-06 12:45
1.8K
poset_1__549_59.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1124_45.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1689_16.min1.thm1
2017-02-06 12:45
1.8K
poset_1__1734_20.min1.thm1
2017-02-06 12:45
1.8K
poset_1__144_46.min1.thm1
2017-02-06 12:45
1.7K
poset_1__142_46.min1.thm1
2017-02-06 12:45
1.7K
poset_1__602_20.min1.thm1
2017-02-06 12:45
1.7K
poset_1__342_17.min1.thm1
2017-02-06 12:45
1.7K
poset_1__789_24.min1.thm1
2017-02-06 12:45
1.7K
poset_1__1401_19.min1.thm1
2017-02-06 12:45
1.7K
poset_1__705_21.min1.thm1
2017-02-06 12:45
1.7K
poset_1__378_32.min1.thm1
2017-02-06 12:45
1.7K
poset_1__83_17.min1.thm1
2017-02-06 12:45
1.7K
poset_1__79_29.min1.thm1
2017-02-06 12:45
1.7K
poset_1__1213_26.min1.thm1
2017-02-06 12:45
1.7K
poset_1__1660_21.min1.thm1
2017-02-06 12:45
1.7K
poset_1__1656_21.min1.thm1
2017-02-06 12:45
1.7K
poset_1__599_43.min1.thm1
2017-02-06 12:45
1.7K
poset_1__1207_46.min1.thm1
2017-02-06 12:45
1.7K
poset_1__1842_63.min1.thm1
2017-02-06 12:45
1.6K
poset_1__1456_16.min1.thm1
2017-02-06 12:45
1.6K
poset_1__540_17.min1.thm1
2017-02-06 12:45
1.6K
poset_1__564_17.min1.thm1
2017-02-06 12:45
1.6K
poset_1__495_47.min1.thm1
2017-02-06 12:45
1.6K
poset_1__1456_16.min1.thm1.tptp
2017-02-06 16:47
1.6K
poset_1__481_27.min1.thm1
2017-02-06 12:45
1.6K
poset_1__222_36.min1.thm1
2017-02-06 12:45
1.6K
poset_1__341_51.min1.thm1
2017-02-06 12:45
1.6K
poset_1__1090_17.min1.thm1
2017-02-06 12:45
1.6K
poset_1__312_17.min1.thm1
2017-02-06 12:45
1.6K
poset_1__528_47.min1.thm1
2017-02-06 12:45
1.6K
poset_1__757_56.min1.thm1
2017-02-06 12:45
1.6K
poset_1__1035_40.min1.thm1
2017-02-06 12:45
1.6K
poset_1__1275_23.min1.thm1
2017-02-06 12:45
1.6K
poset_1__1150_23.min1.thm1
2017-02-06 12:45
1.6K
poset_1__522_19.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1878_38.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1883_29.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1496_10.min1.thm1
2017-02-06 12:45
1.5K
poset_1__351_14.min1.thm1
2017-02-06 12:45
1.5K
poset_1__678_30.min1.thm1
2017-02-06 12:45
1.5K
poset_1__413_17.min1.thm1
2017-02-06 12:45
1.5K
poset_1__682_17.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1864_38.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1398_26.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1317_29.min1.thm1
2017-02-06 12:45
1.5K
poset_1__225_18.min1.thm1
2017-02-06 12:45
1.5K
poset_1__889_15.min1.thm1
2017-02-06 12:45
1.5K
poset_1__488_16.min1.thm1
2017-02-06 12:45
1.5K
poset_1__80_48.min1.thm1
2017-02-06 12:45
1.5K
poset_1__942_23.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1910_38.min1.thm1
2017-02-06 12:45
1.5K
poset_1__1153_29.min1.thm1
2017-02-06 12:45
1.4K
poset_1__66_39.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1154_21.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1258_48.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1215_26.min1.thm1
2017-02-06 12:45
1.4K
poset_1__511_49.min1.thm1
2017-02-06 12:45
1.4K
poset_1__708_19.min1.thm1
2017-02-06 12:45
1.4K
poset_1__652_16.min1.thm1
2017-02-06 12:45
1.4K
poset_1__557_50.min1.thm1
2017-02-06 12:45
1.4K
poset_1__346_20.min1.thm1
2017-02-06 12:45
1.4K
poset_1__703_51.min1.thm1
2017-02-06 12:45
1.4K
poset_1__411_53.min1.thm1
2017-02-06 12:45
1.4K
poset_1__410_53.min1.thm1
2017-02-06 12:45
1.4K
poset_1__311_50.min1.thm1
2017-02-06 12:45
1.4K
poset_1__310_49.min1.thm1
2017-02-06 12:45
1.4K
poset_1__696_23.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1396_18.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1789_27.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1500_55.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1498_55.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1831_55.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1229_16.min1.thm1
2017-02-06 12:45
1.4K
poset_1__1774_47.min1.thm1
2017-02-06 12:45
1.4K
poset_1__539_16.min1.thm1
2017-02-06 12:45
1.4K
poset_1__148_19.min1.thm1
2017-02-06 12:45
1.4K
poset_1__622_31.min1.thm1
2017-02-06 12:45
1.4K
poset_1__329_9.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1147_41.min1.thm1
2017-02-06 12:45
1.3K
poset_1__161_38.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1400_8.min1.thm1
2017-02-06 12:45
1.3K
poset_1__275_13.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1067_38.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1614_36.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1886_40.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1095_16.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1599_44.min1.thm1
2017-02-06 12:45
1.3K
poset_1__262_24.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1706_25.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1177_16.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1095_16.min1.thm1.tptp
2017-02-06 16:47
1.3K
poset_1__1643_42.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1168_17.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1894_26.min1.thm1
2017-02-06 12:45
1.3K
poset_1__1887_25.min1.thm1
2017-02-06 12:45
1.3K
poset_1__459_18.min1.thm1
2017-02-06 12:45
1.2K
poset_1__216_37.min1.thm1
2017-02-06 12:45
1.2K
poset_1__348_16.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1756_27.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1375_23.min1.thm1
2017-02-06 12:45
1.2K
poset_1__276_16.min1.thm1
2017-02-06 12:45
1.2K
poset_1__164_20.min1.thm1
2017-02-06 12:45
1.2K
poset_1__117_17.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1908_8.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1748_41.min1.thm1
2017-02-06 12:45
1.2K
poset_1__160_39.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1056_21.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1473_56.min1.thm1
2017-02-06 12:45
1.2K
poset_1__1447_56.min1.thm1
2017-02-06 12:45
1.2K
poset_1__707_26.min1.thm1
2017-02-06 12:45
1.2K
poset_1__973_63.min1.thm1
2017-02-06 12:45
1.1K
poset_1__936_64.min1.thm1
2017-02-06 12:45
1.1K
poset_1__917_61.min1.thm1
2017-02-06 12:45
1.1K
poset_1__978_27.min1.thm1
2017-02-06 12:45
1.1K
poset_1__940_38.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1669_19.min1.thm1
2017-02-06 12:45
1.1K
poset_1__476_19.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1593_52.min1.thm1
2017-02-06 12:45
1.1K
poset_1__979_35.min1.thm1
2017-02-06 12:45
1.1K
poset_1__941_42.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1548_16.min1.thm1
2017-02-06 12:45
1.1K
poset_1__140_40.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1908_8.min1.thm1.tptp
2017-02-06 16:47
1.1K
poset_1__81_53.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1748_41.min1.thm1.tptp
2017-02-06 16:47
1.1K
poset_1__1175_28.min1.thm1
2017-02-06 12:45
1.1K
poset_1__64_44.min1.thm1
2017-02-06 12:45
1.1K
poset_1__176_30.min1.thm1
2017-02-06 12:45
1.1K
poset_1__159_30.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1069_16.min1.thm1
2017-02-06 12:45
1.1K
poset_1__283_51.min1.thm1
2017-02-06 12:45
1.1K
poset_1__274_51.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1548_16.min1.thm1.tptp
2017-02-06 16:47
1.1K
poset_1__1394_8.min1.thm1
2017-02-06 12:45
1.1K
poset_1__959_27.min1.thm1
2017-02-06 12:45
1.1K
poset_1__178_36.min1.thm1
2017-02-06 12:45
1.1K
poset_1__157_19.min1.thm1
2017-02-06 12:45
1.1K
poset_1__1135_42.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1059_41.min1.thm1
2017-02-06 12:45
1.0K
poset_1__960_32.min1.thm1
2017-02-06 12:45
1.0K
poset_1__317_16.min1.thm1
2017-02-06 12:45
1.0K
poset_1__422_16.min1.thm1
2017-02-06 12:45
1.0K
poset_1__550_39.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1138_33.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1672_38.min1.thm1
2017-02-06 12:45
1.0K
poset_1__479_38.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1499_16.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1497_16.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1853_51.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1058_32.min1.thm1
2017-02-06 12:45
1.0K
poset_1__499_33.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1199_24.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1671_29.min1.thm1
2017-02-06 12:45
1.0K
poset_1__478_29.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1891_21.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1309_36.min1.thm1
2017-02-06 12:45
1.0K
poset_1__667_13.min1.thm1
2017-02-06 12:45
1.0K
poset_1__163_27.min1.thm1
2017-02-06 12:45
1.0K
poset_1__343_38.min1.thm1
2017-02-06 12:45
1.0K
poset_1__944_21.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1900_15.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1146_29.min1.thm1
2017-02-06 12:45
1.0K
poset_1__1874_66.min1.thm1
2017-02-06 12:45
972
poset_1__1033_23.min1.thm1
2017-02-06 12:45
972
poset_1__1029_23.min1.thm1
2017-02-06 12:45
972
poset_1__500_23.min1.thm1
2017-02-06 12:45
972
poset_1__730_29.min1.thm1
2017-02-06 12:45
968
poset_1__166_14.min1.thm1
2017-02-06 12:45
967
poset_1__1673_17.min1.thm1
2017-02-06 12:45
965
poset_1__145_38.min1.thm1
2017-02-06 12:45
965
poset_1__1860_66.min1.thm1
2017-02-06 12:45
960
poset_1__67_19.min1.thm1
2017-02-06 12:45
959
poset_1__224_21.min1.thm1
2017-02-06 12:45
947
poset_1__247_21.min1.thm1
2017-02-06 12:45
934
poset_1__667_13.min1.thm1.tptp
2017-02-06 16:47
929
poset_1__155_38.min1.thm1
2017-02-06 12:45
921
poset_1__482_14.min1.thm1
2017-02-06 12:45
904
poset_1__1167_19.min1.thm1
2017-02-06 12:45
900
poset_1__1900_15.min1.thm1.tptp
2017-02-06 16:47
896
poset_1__358_39.min1.thm1
2017-02-06 12:45
891
poset_1__1874_66.min1.thm1.tptp
2017-02-06 16:47
886
poset_1__1860_66.min1.thm1.tptp
2017-02-06 16:47
874
poset_1__1066_65.min1.thm1
2017-02-06 12:45
870
poset_1__1060_39.min1.thm1
2017-02-06 12:45
862
poset_1__1156_16.min1.thm1
2017-02-06 12:45
860
poset_1__1844_34.min1.thm1
2017-02-06 12:45
858
poset_1__1367_11.min1.thm1
2017-02-06 12:45
856
poset_1__1291_31.min1.thm1
2017-02-06 12:45
856
poset_1__1834_33.min1.thm1
2017-02-06 12:45
846
poset_1__1688_12.min1.thm1
2017-02-06 12:45
843
poset_1__400_17.min1.thm1
2017-02-06 12:45
837
poset_1__480_36.min1.thm1
2017-02-06 12:45
834
poset_1__588_23.min1.thm1
2017-02-06 12:45
822
poset_1__888_67.min1.thm1
2017-02-06 12:45
820
poset_1__1310_60.min1.thm1
2017-02-06 12:45
813
poset_1__1212_29.min1.thm1
2017-02-06 12:45
813
poset_1__1019_27.min1.thm1
2017-02-06 12:45
813
poset_1__1762_22.min1.thm1
2017-02-06 12:45
810
poset_1__512_27.min1.thm1
2017-02-06 12:45
805
poset_1__1176_21.min1.thm1
2017-02-06 12:45
798
poset_1__1165_21.min1.thm1
2017-02-06 12:45
798
poset_1__1600_16.min1.thm1
2017-02-06 12:45
794
poset_1__445_16.min1.thm1
2017-02-06 12:45
794
poset_1__1572_18.min1.thm1
2017-02-06 12:45
791
poset_1__1704_51.min1.thm1
2017-02-06 12:45
788
poset_1__628_32.min1.thm1
2017-02-06 12:45
788
poset_1__510_43.min1.thm1
2017-02-06 12:45
783
poset_1__1018_52.min1.thm1
2017-02-06 12:45
756
poset_1__1208_39.min1.thm1
2017-02-06 12:45
754
poset_1__1055_10.min1.thm1
2017-02-06 12:45
753
poset_1__1668_8.min1.thm1
2017-02-06 12:45
733
poset_1__475_8.min1.thm1
2017-02-06 12:45
733
poset_1__1572_18.min1.thm1.tptp
2017-02-06 16:47
723
poset_1__1687_34.min1.thm1
2017-02-06 12:45
713
poset_1__223_35.min1.thm1
2017-02-06 12:45
708
poset_1__1704_51.min1.thm1.tptp
2017-02-06 16:47
702
poset_1__1018_52.min1.thm1.tptp
2017-02-06 16:47
679
poset_1__57_12.min1.thm1
2017-02-06 12:45
677
poset_1__156_8.min1.thm1
2017-02-06 12:45
661
poset_1__44_25.min1.thm1
2017-02-06 12:45
649
poset_1__385_14.min1.thm1
2017-02-06 12:45
648
poset_1__1784_42.min1.thm1
2017-02-06 12:45
639
poset_1__1592_45.min1.thm1
2017-02-06 12:45
632
poset_1__460_15.min1.thm1
2017-02-06 12:45
628
poset_1__1022_40.min1.thm1
2017-02-06 12:45
626
poset_1__451_39.min1.thm1
2017-02-06 12:45
625
poset_1__1502_20.min1.thm1
2017-02-06 12:45
616
poset_1__70_14.min1.thm1
2017-02-06 12:45
564
poset_1__55_30.min1.thm1
2017-02-06 12:45
554
poset_1__382_16.min1.thm1
2017-02-06 12:45
544
poset_1__1061_45.min1.thm1
2017-02-06 12:45
536
poset_1__1667_37.min1.thm1
2017-02-06 12:45
514
poset_1__1326_16.min1.thm1
2017-02-06 12:45
512
poset_1__1054_39.min1.thm1
2017-02-06 12:45
509
poset_1__70_14.min1.thm1.tptp
2017-02-06 16:47
491
poset_1__444_44.min1.thm1
2017-02-06 12:45
483
poset_1__474_37.min1.thm1
2017-02-06 12:45
481
poset_1__248_16.min1.thm1
2017-02-06 12:45
478
poset_1__96_18.min1.thm1
2017-02-06 12:45
478
poset_1__45_17.min1.thm1
2017-02-06 12:45
477
poset_1__1591_42.min1.thm1
2017-02-06 12:45
474
poset_1__113_20.min1.thm1
2017-02-06 12:45
473
poset_1__710_14.min1.thm1
2017-02-06 12:45
470
poset_1__162_42.min1.thm1
2017-02-06 12:45
470
poset_1__439_18.min1.thm1
2017-02-06 12:45
458
poset_1__627_48.min1.thm1
2017-02-06 12:45
434
poset_1__1769_62.min1.thm1
2017-02-06 12:45
432
poset_1__702_47.min1.thm1
2017-02-06 12:45
428
poset_1__1472_55.min1.thm1
2017-02-06 12:45
420
poset_1__1446_51.min1.thm1
2017-02-06 12:45
420
poset_1__556_45.min1.thm1
2017-02-06 12:45
416
poset_1__531_46.min1.thm1
2017-02-06 12:45
416
poset_1__506_44.min1.thm1
2017-02-06 12:45
416
poset_1__455_47.min1.thm1
2017-02-06 12:45
416
poset_1__454_46.min1.thm1
2017-02-06 12:45
416
poset_1__874_51.min1.thm1
2017-02-06 12:45
415
poset_1__264_18.min1.thm1
2017-02-06 12:45
404
poset_1__444_44.min1.thm1.tptp
2017-02-06 16:47
402
poset_1__1265_40.min1.thm1
2017-02-06 12:45
399
poset_1__96_18.min1.thm1.tptp
2017-02-06 16:47
399
poset_1__1591_42.min1.thm1.tptp
2017-02-06 16:47
397
poset_1__113_20.min1.thm1.tptp
2017-02-06 16:47
394
poset_1__98_16.min1.thm1
2017-02-06 12:45
392
poset_1__380_17.min1.thm1
2017-02-06 12:45
388
poset_1__195_14.min1.thm1
2017-02-06 12:45
388
poset_1__1113_22.min1.thm1
2017-02-06 12:45
386
poset_1__175_40.min1.thm1
2017-02-06 12:45
385
poset_1__439_18.min1.thm1.tptp
2017-02-06 16:47
381
poset_1__779_18.min1.thm1
2017-02-06 12:45
380
poset_1__1476_18.min1.thm1
2017-02-06 12:45
374
poset_1__1110_46.min1.thm1
2017-02-06 12:45
374
poset_1__1020_18.min1.thm1
2017-02-06 12:45
369
poset_1__1086_39.min1.thm1
2017-02-06 12:45
366
poset_1__1574_14.min1.thm1
2017-02-06 12:45
359
poset_1__627_48.min1.thm1.tptp
2017-02-06 16:47
357
poset_1__299_16.min1.thm1
2017-02-06 12:45
354
poset_1__822_39.min1.thm1
2017-02-06 12:45
350
poset_1__1472_55.min1.thm1.tptp
2017-02-06 16:47
342
poset_1__1446_51.min1.thm1.tptp
2017-02-06 16:47
342
poset_1__874_51.min1.thm1.tptp
2017-02-06 16:47
341
poset_1__95_21.min1.thm1
2017-02-06 12:45
329
poset_1__264_18.min1.thm1.tptp
2017-02-06 16:47
324
poset_1__266_16.min1.thm1
2017-02-06 12:45
314
poset_1__1265_40.min1.thm1.tptp
2017-02-06 16:47
313
poset_1__779_18.min1.thm1.tptp
2017-02-06 16:47
300
poset_1__1110_46.min1.thm1.tptp
2017-02-06 16:47
296
poset_1__115_16.min1.thm1
2017-02-06 12:45
292
poset_1__1086_39.min1.thm1.tptp
2017-02-06 16:47
288
poset_1__781_16.min1.thm1
2017-02-06 12:45
284
poset_1__1020_18.min1.thm1.tptp
2017-02-06 16:47
283
poset_1__822_39.min1.thm1.tptp
2017-02-06 16:47
272
poset_1__95_21.min1.thm1.tptp
2017-02-06 16:47
244
poset_1__78_25.min1.thm1
2017-02-06 12:45
176
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80