Index of /~mptp/1147/mptp/ilp0/sublemma
Name
Last modified
Size
Description
Parent Directory
-
sublemma__2844_35.min1.thm1
2017-02-06 12:46
1.0K
sublemma__2786_63.min1.thm1
2017-02-06 12:46
1.9K
sublemma__2782_40.min1.thm1.tptp
2017-02-06 16:47
1.7K
sublemma__2782_40.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2773_21.min1.thm1.tptp
2017-02-06 16:47
1.0K
sublemma__2773_21.min1.thm1
2017-02-06 12:46
1.1K
sublemma__2720_16.min1.thm1
2017-02-06 12:46
626
sublemma__2713_35.min1.thm1
2017-02-06 12:46
1.6K
sublemma__2678_50.min1.thm1
2017-02-06 12:46
1.7K
sublemma__2674_16.min1.thm1
2017-02-06 12:46
572
sublemma__2665_46.min1.thm1
2017-02-06 12:46
1.7K
sublemma__2609_14.min1.thm1
2017-02-06 12:46
1.4K
sublemma__2604_62.min1.thm1
2017-02-06 12:46
883
sublemma__2593_23.min1.thm1
2017-02-06 12:46
1.4K
sublemma__2579_41.min1.thm1
2017-02-06 12:46
1.4K
sublemma__2563_41.min1.thm1
2017-02-06 12:46
2.3K
sublemma__2561_18.min1.thm1
2017-02-06 12:46
1.7K
sublemma__2559_21.min1.thm1
2017-02-06 12:46
1.6K
sublemma__2552_63.min1.thm1
2017-02-06 12:46
2.0K
sublemma__2550_21.min1.thm1
2017-02-06 12:46
1.6K
sublemma__2549_14.min1.thm1
2017-02-06 12:46
1.2K
sublemma__2547_24.min1.thm1
2017-02-06 12:46
1.5K
sublemma__2545_40.min1.thm1
2017-02-06 12:46
2.0K
sublemma__2540_59.min1.thm1
2017-02-06 12:46
2.0K
sublemma__2533_21.min1.thm1
2017-02-06 12:46
1.6K
sublemma__2531_20.min1.thm1
2017-02-06 12:46
1.2K
sublemma__2529_23.min1.thm1
2017-02-06 12:46
1.5K
sublemma__2515_19.min1.thm1
2017-02-06 12:46
2.1K
sublemma__2507_57.min1.thm1
2017-02-06 12:46
1.4K
sublemma__2506_49.min1.thm1
2017-02-06 12:46
869
sublemma__2498_61.min1.thm1
2017-02-06 12:46
1.4K
sublemma__2497_53.min1.thm1
2017-02-06 12:46
903
sublemma__2490_39.min1.thm1
2017-02-06 12:46
1.5K
sublemma__2483_36.min1.thm1
2017-02-06 12:46
2.0K
sublemma__2481_25.min1.thm1
2017-02-06 12:46
1.3K
sublemma__2463_14.min1.thm1
2017-02-06 12:46
1.0K
sublemma__2460_28.min1.thm1
2017-02-06 12:46
881
sublemma__2458_20.min1.thm1.tptp
2017-02-06 16:47
471
sublemma__2458_20.min1.thm1
2017-02-06 12:46
533
sublemma__2454_29.min1.thm1
2017-02-06 12:46
642
sublemma__2434_19.min1.thm1.tptp
2017-02-06 16:47
320
sublemma__2434_19.min1.thm1
2017-02-06 12:46
380
sublemma__2431_8.min1.thm1
2017-02-06 12:46
734
sublemma__2418_18.min1.thm1
2017-02-06 12:46
1.4K
sublemma__2401_19.min1.thm1.tptp
2017-02-06 16:47
320
sublemma__2401_19.min1.thm1
2017-02-06 12:46
380
sublemma__2399_34.min1.thm1.tptp
2017-02-06 16:47
695
sublemma__2399_34.min1.thm1
2017-02-06 12:46
760
sublemma__2398_66.min1.thm1
2017-02-06 12:46
606
sublemma__2388_18.min1.thm1
2017-02-06 12:46
1.2K
sublemma__2354_58.min1.thm1.tptp
2017-02-06 16:47
2.5K
sublemma__2354_58.min1.thm1
2017-02-06 12:46
2.6K
sublemma__2346_19.min1.thm1
2017-02-06 12:46
2.6K
sublemma__2335_58.min1.thm1.tptp
2017-02-06 16:47
2.5K
sublemma__2335_58.min1.thm1
2017-02-06 12:46
2.6K
sublemma__2321_72.min1.thm1.tptp
2017-02-06 16:47
3.8K
sublemma__2321_72.min1.thm1
2017-02-06 12:46
3.9K
sublemma__2316_36.min1.thm1
2017-02-06 12:46
3.5K
sublemma__2305_35.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2301_19.min1.thm1
2017-02-06 12:46
1.7K
sublemma__2299_34.min1.thm1
2017-02-06 12:46
3.5K
sublemma__2297_28.min1.thm1
2017-02-06 12:46
555
sublemma__2294_72.min1.thm1.tptp
2017-02-06 16:47
3.8K
sublemma__2294_72.min1.thm1
2017-02-06 12:46
3.9K
sublemma__2285_35.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2282_35.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2274_35.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2271_23.min1.thm1
2017-02-06 12:46
1.7K
sublemma__2270_36.min1.thm1
2017-02-06 12:46
3.5K
sublemma__2248_19.min1.thm1
2017-02-06 12:46
2.6K
sublemma__2215_36.min1.thm1
2017-02-06 12:46
1.5K
sublemma__2212_38.min1.thm1
2017-02-06 12:46
1.5K
sublemma__2190_31.min1.thm1
2017-02-06 12:46
1.1K
sublemma__2176_58.min1.thm1
2017-02-06 12:46
886
sublemma__2167_58.min1.thm1
2017-02-06 12:46
886
sublemma__2159_19.min1.thm1
2017-02-06 12:46
1.7K
sublemma__2157_69.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2156_49.min1.thm1
2017-02-06 12:46
795
sublemma__2124_19.min1.thm1
2017-02-06 12:46
1.5K
sublemma__2123_47.min1.thm1
2017-02-06 12:46
763
sublemma__2095_46.min1.thm1
2017-02-06 12:46
827
sublemma__2078_19.min1.thm1
2017-02-06 12:46
2.2K
sublemma__2065_21.min1.thm1.tptp
2017-02-06 16:47
1.7K
sublemma__2065_21.min1.thm1
2017-02-06 12:46
1.8K
sublemma__2061_26.min1.thm1
2017-02-06 12:46
692
sublemma__2057_38.min1.thm1
2017-02-06 12:46
1.2K
sublemma__2051_23.min1.thm1.tptp
2017-02-06 16:47
1.3K
sublemma__2051_23.min1.thm1
2017-02-06 12:46
1.3K
sublemma__2032_48.min1.thm1
2017-02-06 12:46
725
sublemma__2028_14.min1.thm1
2017-02-06 12:46
2.0K
sublemma__2025_19.min1.thm1
2017-02-06 12:46
1.2K
sublemma__2024_24.min1.thm1
2017-02-06 12:46
1.3K
sublemma__2022_23.min1.thm1
2017-02-06 12:46
1.1K
sublemma__2014_37.min1.thm1
2017-02-06 12:46
460
sublemma__1990_19.min1.thm1
2017-02-06 12:46
1.8K
sublemma__1980_19.min1.thm1
2017-02-06 12:46
1.8K
sublemma__1938_55.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1929_16.min1.thm1.tptp
2017-02-06 16:47
938
sublemma__1929_16.min1.thm1
2017-02-06 12:46
1.0K
sublemma__1926_18.min1.thm1
2017-02-06 12:46
3.0K
sublemma__1914_16.min1.thm1.tptp
2017-02-06 16:47
1.4K
sublemma__1914_16.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1911_18.min1.thm1
2017-02-06 12:46
3.0K
sublemma__1890_17.min1.thm1.tptp
2017-02-06 16:47
4.0K
sublemma__1890_17.min1.thm1
2017-02-06 12:46
4.0K
sublemma__1885_21.min1.thm1.tptp
2017-02-06 16:47
4.5K
sublemma__1885_21.min1.thm1
2017-02-06 12:46
4.6K
sublemma__1849_29.min1.thm1
2017-02-06 12:46
1.3K
sublemma__1838_21.min1.thm1.tptp
2017-02-06 16:47
3.2K
sublemma__1838_21.min1.thm1
2017-02-06 12:46
3.3K
sublemma__1834_55.min1.thm1
2017-02-06 12:46
1.3K
sublemma__1828_24.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1824_23.min1.thm1.tptp
2017-02-06 16:47
3.2K
sublemma__1824_23.min1.thm1
2017-02-06 12:46
3.3K
sublemma__1817_71.min1.thm1.tptp
2017-02-06 16:47
1.1K
sublemma__1817_71.min1.thm1
2017-02-06 12:46
1.2K
sublemma__1804_62.min1.thm1
2017-02-06 12:46
1.1K
sublemma__1785_31.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1752_19.min1.thm1
2017-02-06 12:46
1.2K
sublemma__1750_66.min1.thm1
2017-02-06 12:46
2.8K
sublemma__1743_19.min1.thm1
2017-02-06 12:46
1.2K
sublemma__1741_66.min1.thm1
2017-02-06 12:46
2.8K
sublemma__1716_19.min1.thm1.tptp
2017-02-06 16:47
1.8K
sublemma__1716_19.min1.thm1
2017-02-06 12:46
1.9K
sublemma__1700_40.min1.thm1
2017-02-06 12:46
1.6K
sublemma__1697_21.min1.thm1
2017-02-06 12:46
1.2K
sublemma__1662_19.min1.thm1.tptp
2017-02-06 16:47
1.8K
sublemma__1662_19.min1.thm1
2017-02-06 12:46
1.9K
sublemma__1610_53.min1.thm1
2017-02-06 12:46
3.1K
sublemma__1605_37.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1586_56.min1.thm1
2017-02-06 12:46
1.4K
sublemma__1569_56.min1.thm1
2017-02-06 12:46
1.9K
sublemma__1554_22.min1.thm1
2017-02-06 12:46
919
sublemma__1553_51.min1.thm1
2017-02-06 12:46
2.7K
sublemma__1551_50.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1547_42.min1.thm1
2017-02-06 12:46
1.0K
sublemma__1545_37.min1.thm1
2017-02-06 12:46
460
sublemma__1542_39.min1.thm1
2017-02-06 12:46
1.1K
sublemma__1539_20.min1.thm1
2017-02-06 12:46
718
sublemma__1537_16.min1.thm1
2017-02-06 12:46
1.2K
sublemma__1532_54.min1.thm1
2017-02-06 12:46
1.9K
sublemma__1528_48.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1523_37.min1.thm1
2017-02-06 12:46
831
sublemma__1521_37.min1.thm1
2017-02-06 12:46
1.1K
sublemma__1511_52.min1.thm1
2017-02-06 12:46
893
sublemma__1505_17.min1.thm1
2017-02-06 12:46
701
sublemma__1504_58.min1.thm1
2017-02-06 12:46
695
sublemma__1502_19.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1501_23.min1.thm1
2017-02-06 12:46
1.3K
sublemma__1500_22.min1.thm1
2017-02-06 12:46
1.9K
sublemma__1499_37.min1.thm1
2017-02-06 12:46
1.1K
sublemma__1489_32.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1487_15.min1.thm1
2017-02-06 12:46
1.6K
sublemma__1466_52.min1.thm1
2017-02-06 12:46
2.1K
sublemma__1457_52.min1.thm1
2017-02-06 12:46
2.1K
sublemma__1431_26.min1.thm1
2017-02-06 12:46
1.4K
sublemma__1412_52.min1.thm1
2017-02-06 12:46
893
sublemma__1395_57.min1.thm1
2017-02-06 12:46
2.7K
sublemma__1386_57.min1.thm1
2017-02-06 12:46
2.7K
sublemma__1367_17.min1.thm1.tptp
2017-02-06 16:47
3.9K
sublemma__1367_17.min1.thm1
2017-02-06 12:46
3.9K
sublemma__1353_53.min1.thm1
2017-02-06 12:46
3.2K
sublemma__1333_31.min1.thm1
2017-02-06 12:46
632
sublemma__1330_27.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1320_17.min1.thm1.tptp
2017-02-06 16:47
789
sublemma__1320_17.min1.thm1
2017-02-06 12:46
843
sublemma__1289_35.min1.thm1
2017-02-06 12:46
2.2K
sublemma__1279_31.min1.thm1
2017-02-06 12:46
632
sublemma__1275_27.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1263_31.min1.thm1
2017-02-06 12:46
951
sublemma__1261_37.min1.thm1
2017-02-06 12:46
1.8K
sublemma__1248_59.min1.thm1
2017-02-06 12:46
1.3K
sublemma__1159_56.min1.thm1
2017-02-06 12:46
909
sublemma__1150_27.min1.thm1
2017-02-06 12:46
843
sublemma__1118_21.min1.thm1
2017-02-06 12:46
631
sublemma__1115_18.min1.thm1
2017-02-06 12:46
1.2K
sublemma__1079_31.min1.thm1
2017-02-06 12:46
3.5K
sublemma__1074_31.min1.thm1.tptp
2017-02-06 16:47
279
sublemma__1074_31.min1.thm1
2017-02-06 12:46
356
sublemma__1066_17.min1.thm1
2017-02-06 12:46
1.0K
sublemma__1065_60.min1.thm1
2017-02-06 12:46
2.0K
sublemma__1063_50.min1.thm1.tptp
2017-02-06 16:47
785
sublemma__1063_50.min1.thm1
2017-02-06 12:46
856
sublemma__1054_26.min1.thm1
2017-02-06 12:46
2.0K
sublemma__1038_48.min1.thm1
2017-02-06 12:46
2.0K
sublemma__1036_27.min1.thm1
2017-02-06 12:46
1.8K
sublemma__1035_25.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1027_17.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1025_42.min1.thm1
2017-02-06 12:46
1.6K
sublemma__1022_69.min1.thm1
2017-02-06 12:46
1.7K
sublemma__1021_24.min1.thm1
2017-02-06 12:46
1.5K
sublemma__1009_74.min1.thm1
2017-02-06 12:46
903
sublemma__1007_54.min1.thm1
2017-02-06 12:46
1.9K
sublemma__990_17.min1.thm1
2017-02-06 12:46
687
sublemma__989_31.min1.thm1.tptp
2017-02-06 16:47
279
sublemma__989_31.min1.thm1
2017-02-06 12:46
356
sublemma__976_21.min1.thm1
2017-02-06 12:46
2.4K
sublemma__967_44.min1.thm1.tptp
2017-02-06 16:47
373
sublemma__967_44.min1.thm1
2017-02-06 12:46
454
sublemma__850_36.min1.thm1
2017-02-06 12:46
1.0K
sublemma__837_55.min1.thm1
2017-02-06 12:46
1.7K
sublemma__822_17.min1.thm1.tptp
2017-02-06 16:47
410
sublemma__822_17.min1.thm1
2017-02-06 12:46
499
sublemma__818_25.min1.thm1
2017-02-06 12:46
1.1K
sublemma__810_25.min1.thm1
2017-02-06 12:46
1.3K
sublemma__809_25.min1.thm1
2017-02-06 12:46
872
sublemma__804_46.min1.thm1.tptp
2017-02-06 16:47
270
sublemma__804_46.min1.thm1
2017-02-06 12:46
348
sublemma__803_49.min1.thm1.tptp
2017-02-06 16:47
270
sublemma__803_49.min1.thm1
2017-02-06 12:46
348
sublemma__775_17.min1.thm1
2017-02-06 12:46
3.4K
sublemma__774_45.min1.thm1
2017-02-06 12:46
1.7K
sublemma__746_17.min1.thm1
2017-02-06 12:46
1.5K
sublemma__745_4.min1.thm1
2017-02-06 12:46
1.8K
sublemma__742_43.min1.thm1
2017-02-06 12:46
1.0K
sublemma__741_39.min1.thm1
2017-02-06 12:46
914
sublemma__732_17.min1.thm1
2017-02-06 12:46
1.8K
sublemma__731_25.min1.thm1
2017-02-06 12:46
2.0K
sublemma__729_52.min1.thm1
2017-02-06 12:46
658
sublemma__719_16.min1.thm1
2017-02-06 12:46
1.2K
sublemma__718_37.min1.thm1
2017-02-06 12:46
1.9K
sublemma__717_51.min1.thm1
2017-02-06 12:46
662
sublemma__703_19.min1.thm1
2017-02-06 12:46
1.7K
sublemma__700_66.min1.thm1
2017-02-06 12:46
720
sublemma__679_17.min1.thm1
2017-02-06 12:46
1.0K
sublemma__678_40.min1.thm1
2017-02-06 12:46
856
sublemma__666_66.min1.thm1
2017-02-06 12:46
720
sublemma__650_14.min1.thm1
2017-02-06 12:46
1.4K
sublemma__638_19.min1.thm1
2017-02-06 12:46
2.4K
sublemma__627_19.min1.thm1
2017-02-06 12:46
711
sublemma__625_32.min1.thm1
2017-02-06 12:46
836
sublemma__614_41.min1.thm1
2017-02-06 12:46
3.0K
sublemma__592_47.min1.thm1
2017-02-06 12:46
1.1K
sublemma__578_26.min1.thm1.tptp
2017-02-06 16:47
2.4K
sublemma__578_26.min1.thm1
2017-02-06 12:46
2.5K
sublemma__547_40.min1.thm1
2017-02-06 12:46
946
sublemma__532_40.min1.thm1
2017-02-06 12:46
946
sublemma__523_52.min1.thm1
2017-02-06 12:46
1.4K
sublemma__512_19.min1.thm1
2017-02-06 12:46
2.5K
sublemma__509_66.min1.thm1
2017-02-06 12:46
720
sublemma__464_19.min1.thm1
2017-02-06 12:46
1.9K
sublemma__463_40.min1.thm1
2017-02-06 12:46
829
sublemma__462_28.min1.thm1
2017-02-06 12:46
1.5K
sublemma__461_66.min1.thm1
2017-02-06 12:46
720
sublemma__435_45.min1.thm1
2017-02-06 12:46
1.4K
sublemma__434_48.min1.thm1
2017-02-06 12:46
2.3K
sublemma__415_19.min1.thm1
2017-02-06 12:46
1.9K
sublemma__392_23.min1.thm1
2017-02-06 12:46
1.4K
sublemma__391_24.min1.thm1
2017-02-06 12:46
1.8K
sublemma__390_37.min1.thm1
2017-02-06 12:46
460
sublemma__389_22.min1.thm1
2017-02-06 12:46
1.4K
sublemma__376_17.min1.thm1
2017-02-06 12:46
943
sublemma__345_14.min1.thm1
2017-02-06 12:46
1.1K
sublemma__338_17.min1.thm1
2017-02-06 12:46
1.1K
sublemma__337_40.min1.thm1
2017-02-06 12:46
1.3K
sublemma__335_21.min1.thm1
2017-02-06 12:46
619
sublemma__334_15.min1.thm1
2017-02-06 12:46
1.1K
sublemma__333_29.min1.thm1
2017-02-06 12:46
791
sublemma__332_75.min1.thm1
2017-02-06 12:46
763
sublemma__331_59.min1.thm1
2017-02-06 12:46
1.2K
sublemma__324_51.min1.thm1
2017-02-06 12:46
1.3K
sublemma__303_19.min1.thm1
2017-02-06 12:46
2.8K
sublemma__300_66.min1.thm1
2017-02-06 12:46
720
sublemma__240_17.min1.thm1
2017-02-06 12:46
1.2K
sublemma__239_37.min1.thm1
2017-02-06 12:46
1.1K
sublemma__238_21.min1.thm1
2017-02-06 12:46
1.4K
sublemma__230_17.min1.thm1
2017-02-06 12:46
1.2K
sublemma__229_49.min1.thm1
2017-02-06 12:46
1.0K
sublemma__225_34.min1.thm1
2017-02-06 12:46
1.2K
sublemma__185_16.min1.thm1
2017-02-06 12:46
641
sublemma__184_15.min1.thm1
2017-02-06 12:46
679
sublemma__182_20.min1.thm1
2017-02-06 12:46
874
sublemma__180_24.min1.thm1
2017-02-06 12:46
961
sublemma__168_45.min1.thm1
2017-02-06 12:46
1.4K
sublemma__163_54.min1.thm1
2017-02-06 12:46
881
sublemma__142_42.min1.thm1
2017-02-06 12:46
885
sublemma__140_66.min1.thm1
2017-02-06 12:46
1.7K
sublemma__129_32.min1.thm1
2017-02-06 12:46
1.0K
sublemma__127_19.min1.thm1.tptp
2017-02-06 16:47
1.0K
sublemma__127_19.min1.thm1
2017-02-06 12:46
1.0K
sublemma__125_21.min1.thm1
2017-02-06 12:46
1.4K
sublemma__124_31.min1.thm1
2017-02-06 12:46
1.0K
sublemma__119_21.min1.thm1.tptp
2017-02-06 16:47
1.0K
sublemma__119_21.min1.thm1
2017-02-06 12:46
1.0K
sublemma__117_23.min1.thm1
2017-02-06 12:46
1.3K
sublemma__116_28.min1.thm1
2017-02-06 12:46
958
sublemma__115_46.min1.thm1
2017-02-06 12:46
1.5K
sublemma__113_36.min1.thm1
2017-02-06 12:46
1.1K
sublemma__112_40.min1.thm1
2017-02-06 12:46
558
sublemma__111_26.min1.thm1
2017-02-06 12:46
875
sublemma__108_26.min1.thm1
2017-02-06 12:46
875
sublemma__105_23.min1.thm1
2017-02-06 12:46
1.3K
sublemma__104_28.min1.thm1
2017-02-06 12:46
952
sublemma__103_46.min1.thm1
2017-02-06 12:46
1.5K
sublemma__101_32.min1.thm1
2017-02-06 12:46
1.1K
sublemma__100_36.min1.thm1
2017-02-06 12:46
959
sublemma__99_37.min1.thm1
2017-02-06 12:46
310
sublemma__96_26.min1.thm1
2017-02-06 12:46
875
sublemma__94_31.min1.thm1
2017-02-06 12:46
1.0K
sublemma__93_55.min1.thm1
2017-02-06 12:46
1.3K
sublemma__84_60.min1.thm1
2017-02-06 12:46
965
sublemma__81_75.min1.thm1
2017-02-06 12:46
939
sublemma__79_75.min1.thm1
2017-02-06 12:46
938
sublemma__77_70.min1.thm1
2017-02-06 12:46
1.0K
sublemma__75_12.min1.thm1.tptp
2017-02-06 16:47
854
sublemma__75_12.min1.thm1
2017-02-06 12:46
927
sublemma__73_11.min1.thm1
2017-02-06 12:46
1.0K
sublemma__67_75.min1.thm1
2017-02-06 12:46
1.6K
sublemma__65_70.min1.thm1
2017-02-06 12:46
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80