Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/finseq_8
Name
Last modified
Size
Description
Parent Directory
-
finseq_8__968_15.min1.thm1
2017-02-06 12:45
4.6K
finseq_8__544_52.min1.thm1
2017-02-06 12:45
4.2K
finseq_8__1018_17.min1.thm1
2017-02-06 12:45
3.5K
finseq_8__647_23.min1.thm1
2017-02-06 12:45
3.4K
finseq_8__273_39.min1.thm1
2017-02-06 12:45
3.4K
finseq_8__1279_41.min1.thm1
2017-02-06 12:45
3.4K
finseq_8__1200_41.min1.thm1
2017-02-06 12:45
3.4K
finseq_8__1309_45.min1.thm1
2017-02-06 12:45
3.3K
finseq_8__1232_45.min1.thm1
2017-02-06 12:45
3.3K
finseq_8__1451_39.min1.thm1
2017-02-06 12:45
3.2K
finseq_8__1421_39.min1.thm1
2017-02-06 12:45
3.2K
finseq_8__632_23.min1.thm1
2017-02-06 12:45
3.2K
finseq_8__1132_39.min1.thm1
2017-02-06 12:45
3.2K
finseq_8__970_18.min1.thm1
2017-02-06 12:45
3.1K
finseq_8__701_35.min1.thm1
2017-02-06 12:45
3.1K
finseq_8__539_56.min1.thm1
2017-02-06 12:45
3.1K
finseq_8__482_53.min1.thm1
2017-02-06 12:45
3.0K
finseq_8__1354_27.min1.thm1
2017-02-06 12:45
3.0K
finseq_8__718_41.min1.thm1
2017-02-06 12:45
2.9K
finseq_8__659_35.min1.thm1
2017-02-06 12:45
2.9K
finseq_8__649_40.min1.thm1
2017-02-06 12:45
2.9K
finseq_8__672_33.min1.thm1
2017-02-06 12:45
2.9K
finseq_8__624_35.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__1333_31.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__405_23.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__204_27.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__644_32.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__825_31.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__76_31.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__582_22.min1.thm1
2017-02-06 12:45
2.8K
finseq_8__655_25.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__913_17.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__1475_25.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__1474_25.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__1399_25.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__1398_25.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__878_23.min1.thm1
2017-02-06 12:45
2.7K
finseq_8__671_32.min1.thm1
2017-02-06 12:45
2.6K
finseq_8__589_32.min1.thm1
2017-02-06 12:45
2.6K
finseq_8__974_25.min1.thm1
2017-02-06 12:45
2.6K
finseq_8__1280_29.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1201_29.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__896_25.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__831_25.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__373_24.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1393_23.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1006_19.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__613_23.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__635_31.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__208_29.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1308_39.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1231_39.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1284_34.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1205_34.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__666_28.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__622_32.min1.thm1
2017-02-06 12:45
2.5K
finseq_8__1450_33.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__1420_33.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__626_33.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__984_27.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__1331_33.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__1317_37.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__1240_37.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__1185_26.min1.thm1
2017-02-06 12:45
2.4K
finseq_8__669_33.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__185_66.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__711_29.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__610_30.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__663_29.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__591_30.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__528_47.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__1010_24.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__889_17.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__847_25.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__976_23.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__1023_30.min1.thm1
2017-02-06 12:45
2.3K
finseq_8__680_41.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__633_31.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__1095_30.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__404_11.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__396_10.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__385_10.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__1021_22.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__1007_22.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__973_20.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__497_24.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__611_24.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__599_26.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__627_28.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__1107_38.min1.thm1
2017-02-06 12:45
2.2K
finseq_8__607_24.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__52_27.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__1458_31.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__1428_31.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__205_15.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__684_37.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__653_25.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__72_19.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__797_11.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__1456_58.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__1426_58.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__533_60.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__883_15.min1.thm1
2017-02-06 12:45
2.1K
finseq_8__1352_29.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__387_17.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__489_26.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__259_19.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__258_20.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__336_11.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__1314_37.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__70_14.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__260_19.min1.thm1
2017-02-06 12:45
2.0K
finseq_8__623_33.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__846_24.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__1363_16.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__1038_18.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__1237_37.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__721_39.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__972_24.min1.thm1
2017-02-06 12:45
1.9K
finseq_8__105_13.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__1274_31.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__1194_31.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__715_28.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__709_34.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__78_16.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__897_21.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__597_21.min1.thm1
2017-02-06 12:45
1.8K
finseq_8__506_24.min1.thm1
2017-02-06 12:45
1.7K
finseq_8__832_29.min1.thm1
2017-02-06 12:45
1.7K
finseq_8__51_20.min1.thm1
2017-02-06 12:45
1.7K
finseq_8__1342_22.min1.thm1
2017-02-06 12:45
1.7K
finseq_8__1330_28.min1.thm1
2017-02-06 12:45
1.7K
finseq_8__609_22.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__1186_31.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__371_15.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__476_67.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__577_17.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__1225_36.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__1245_31.min1.thm1
2017-02-06 12:45
1.6K
finseq_8__164_14.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__389_38.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1444_30.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1414_30.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1270_35.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1190_35.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__398_23.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__96_21.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1224_31.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1269_26.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1189_26.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__127_17.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__1099_30.min1.thm1
2017-02-06 12:45
1.5K
finseq_8__822_19.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__826_19.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1134_28.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1119_23.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__91_15.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1443_25.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1413_25.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1253_42.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1351_23.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__218_17.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__986_61.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1268_29.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1188_29.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__364_51.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1034_43.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__734_33.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__603_23.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__312_36.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__1098_25.min1.thm1
2017-02-06 12:45
1.4K
finseq_8__780_21.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1133_23.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1117_23.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__553_23.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1082_43.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1304_33.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1227_33.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__639_26.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__125_26.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1264_29.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__712_29.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__372_9.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__716_24.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1264_29.min1.thm1.tptp
2017-02-06 16:47
1.3K
finseq_8__1446_27.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1416_27.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1121_31.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__402_28.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1168_37.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__999_24.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__963_24.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__962_24.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__945_22.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__944_24.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__931_22.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__1170_25.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__837_48.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__407_23.min1.thm1
2017-02-06 12:45
1.3K
finseq_8__386_48.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__150_10.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__778_32.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1058_21.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__237_11.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__39_34.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1435_24.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1405_24.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__95_34.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1100_32.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1135_30.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1197_27.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1302_31.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1340_52.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1367_16.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__1159_15.min1.thm1
2017-02-06 12:45
1.2K
finseq_8__648_21.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__601_19.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__799_17.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__90_29.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__1120_22.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__1266_26.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__527_43.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__1183_29.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__910_23.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__369_10.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__162_13.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__1516_13.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__1108_40.min1.thm1
2017-02-06 12:45
1.1K
finseq_8__1061_21.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__853_21.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__57_13.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__652_18.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__239_24.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__161_47.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__1341_20.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__877_23.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__1516_20.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__399_7.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__911_20.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__174_18.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__783_21.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__796_24.min1.thm1
2017-02-06 12:45
1.0K
finseq_8__779_13.min1.thm1
2017-02-06 12:45
972
finseq_8__881_26.min1.thm1
2017-02-06 12:45
959
finseq_8__1256_41.min1.thm1
2017-02-06 12:45
958
finseq_8__415_10.min1.thm1
2017-02-06 12:45
957
finseq_8__828_26.min1.thm1
2017-02-06 12:45
943
finseq_8__1360_20.min1.thm1
2017-02-06 12:45
940
finseq_8__59_28.min1.thm1
2017-02-06 12:45
931
finseq_8__1476_29.min1.thm1
2017-02-06 12:45
923
finseq_8__1400_29.min1.thm1
2017-02-06 12:45
923
finseq_8__138_13.min1.thm1
2017-02-06 12:45
898
finseq_8__981_42.min1.thm1
2017-02-06 12:45
858
finseq_8__606_18.min1.thm1
2017-02-06 12:45
838
finseq_8__575_14.min1.thm1
2017-02-06 12:45
831
finseq_8__1250_40.min1.thm1
2017-02-06 12:45
822
finseq_8__1056_47.min1.thm1
2017-02-06 12:45
818
finseq_8__1175_41.min1.thm1
2017-02-06 12:45
806
finseq_8__988_14.min1.thm1
2017-02-06 12:45
773
finseq_8__798_33.min1.thm1
2017-02-06 12:45
773
finseq_8__1144_36.min1.thm1
2017-02-06 12:45
754
finseq_8__1035_21.min1.thm1
2017-02-06 12:45
750
finseq_8__958_36.min1.thm1
2017-02-06 12:45
736
finseq_8__943_36.min1.thm1
2017-02-06 12:45
736
finseq_8__933_17.min1.thm1
2017-02-06 12:45
736
finseq_8__40_16.min1.thm1
2017-02-06 12:45
724
finseq_8__1141_38.min1.thm1
2017-02-06 12:45
708
finseq_8__971_20.min1.thm1
2017-02-06 12:45
704
finseq_8__1500_13.min1.thm1
2017-02-06 12:45
693
finseq_8__752_17.min1.thm1
2017-02-06 12:45
691
finseq_8__416_17.min1.thm1
2017-02-06 12:45
681
finseq_8__1039_21.min1.thm1
2017-02-06 12:45
665
finseq_8__1320_30.min1.thm1
2017-02-06 12:45
650
finseq_8__1243_30.min1.thm1
2017-02-06 12:45
650
finseq_8__1466_22.min1.thm1
2017-02-06 12:45
643
finseq_8__149_27.min1.thm1
2017-02-06 12:45
637
finseq_8__558_34.min1.thm1
2017-02-06 12:45
624
finseq_8__1146_14.min1.thm1
2017-02-06 12:45
610
finseq_8__752_17.min1.thm1.tptp
2017-02-06 16:47
609
finseq_8__1488_22.min1.thm1
2017-02-06 12:45
608
finseq_8__416_17.min1.thm1.tptp
2017-02-06 16:47
601
finseq_8__313_30.min1.thm1
2017-02-06 12:45
581
finseq_8__887_16.min1.thm1
2017-02-06 12:45
580
finseq_8__176_28.min1.thm1
2017-02-06 12:45
561
finseq_8__748_18.min1.thm1
2017-02-06 12:45
556
finseq_8__1265_50.min1.thm1
2017-02-06 12:45
541
finseq_8__1184_50.min1.thm1
2017-02-06 12:45
540
finseq_8__173_21.min1.thm1
2017-02-06 12:45
539
finseq_8__137_21.min1.thm1
2017-02-06 12:45
518
finseq_8__978_16.min1.thm1
2017-02-06 12:45
510
finseq_8__704_51.min1.thm1
2017-02-06 12:45
508
finseq_8__232_21.min1.thm1
2017-02-06 12:45
508
finseq_8__313_30.min1.thm1.tptp
2017-02-06 16:47
507
finseq_8__843_22.min1.thm1
2017-02-06 12:45
506
finseq_8__786_14.min1.thm1
2017-02-06 12:45
502
finseq_8__882_21.min1.thm1
2017-02-06 12:45
497
finseq_8__1124_42.min1.thm1
2017-02-06 12:45
494
finseq_8__820_15.min1.thm1
2017-02-06 12:45
494
finseq_8__403_21.min1.thm1
2017-02-06 12:45
491
finseq_8__176_28.min1.thm1.tptp
2017-02-06 16:47
487
finseq_8__1064_14.min1.thm1
2017-02-06 12:45
472
finseq_8__856_14.min1.thm1
2017-02-06 12:45
472
finseq_8__212_37.min1.thm1
2017-02-06 12:45
468
finseq_8__173_21.min1.thm1.tptp
2017-02-06 16:47
465
finseq_8__1042_14.min1.thm1
2017-02-06 12:45
454
finseq_8__1518_18.min1.thm1
2017-02-06 12:45
448
finseq_8__97_15.min1.thm1
2017-02-06 12:45
447
finseq_8__1470_23.min1.thm1
2017-02-06 12:45
444
finseq_8__1394_23.min1.thm1
2017-02-06 12:45
444
finseq_8__850_18.min1.thm1
2017-02-06 12:45
444
finseq_8__137_21.min1.thm1.tptp
2017-02-06 16:47
444
finseq_8__209_42.min1.thm1
2017-02-06 12:45
433
finseq_8__882_21.min1.thm1.tptp
2017-02-06 16:47
423
finseq_8__403_21.min1.thm1.tptp
2017-02-06 16:47
417
finseq_8__1491_18.min1.thm1
2017-02-06 12:45
415
finseq_8__277_14.min1.thm1
2017-02-06 12:45
388
finseq_8__55_7.min1.thm1
2017-02-06 12:45
386
finseq_8__745_22.min1.thm1
2017-02-06 12:45
362
finseq_8__1086_21.min1.thm1
2017-02-06 12:45
351
finseq_8__1251_49.min1.thm1
2017-02-06 12:45
332
finseq_8__1520_46.min1.thm1
2017-02-06 12:45
327
finseq_8__1299_31.min1.thm1
2017-02-06 12:45
323
finseq_8__1221_31.min1.thm1
2017-02-06 12:45
323
finseq_8__829_23.min1.thm1
2017-02-06 12:45
321
finseq_8__1463_26.min1.thm1
2017-02-06 12:45
304
finseq_8__890_21.min1.thm1
2017-02-06 12:45
304
finseq_8__1092_25.min1.thm1
2017-02-06 12:45
301
finseq_8__1160_17.min1.thm1
2017-02-06 12:45
293
finseq_8__1080_17.min1.thm1
2017-02-06 12:45
257
finseq_8__1163_21.min1.thm1
2017-02-06 12:45
251
finseq_8__221_21.min1.thm1
2017-02-06 12:45
251
finseq_8__1388_19.min1.thm1
2017-02-06 12:45
247
finseq_8__580_19.min1.thm1
2017-02-06 12:45
245
finseq_8__1053_15.min1.thm1
2017-02-06 12:45
241
finseq_8__1000_15.min1.thm1
2017-02-06 12:45
241
finseq_8__809_15.min1.thm1
2017-02-06 12:45
241
finseq_8__773_15.min1.thm1
2017-02-06 12:45
241
finseq_8__531_17.min1.thm1
2017-02-06 12:45
234
finseq_8__374_9.min1.thm1
2017-02-06 12:45
229
finseq_8__214_17.min1.thm1
2017-02-06 12:45
227
finseq_8__890_21.min1.thm1.tptp
2017-02-06 16:47
221
finseq_8__87_11.min1.thm1
2017-02-06 12:45
218
finseq_8__817_19.min1.thm1
2017-02-06 12:45
207
finseq_8__1508_13.min1.thm1
2017-02-06 12:45
131
finseq_8__921_13.min1.thm1
2017-02-06 12:45
131
finseq_8__761_13.min1.thm1
2017-02-06 12:45
131
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80