Index of /~mptp/1147/MPTP2/ilp0/scmfsa7b
Name
Last modified
Size
Description
Parent Directory
-
scmfsa7b__61_70.min1.thm1
2017-02-06 12:45
343
scmfsa7b__61_70.min1.thm1.tptp
2017-02-06 16:47
267
scmfsa7b__63_23.min1.thm1
2017-02-06 12:45
630
scmfsa7b__64_18.min1.thm1
2017-02-06 12:45
894
scmfsa7b__66_24.min1.thm1
2017-02-06 12:45
750
scmfsa7b__67_23.min1.thm1
2017-02-06 12:45
600
scmfsa7b__69_70.min1.thm1
2017-02-06 12:45
345
scmfsa7b__69_70.min1.thm1.tptp
2017-02-06 16:47
269
scmfsa7b__72_55.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__74_43.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__75_50.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__83_41.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__84_19.min1.thm1
2017-02-06 12:45
659
scmfsa7b__86_55.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__89_47.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__90_48.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__98_11.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__105_34.min1.thm1
2017-02-06 12:45
643
scmfsa7b__106_18.min1.thm1
2017-02-06 12:45
889
scmfsa7b__108_24.min1.thm1
2017-02-06 12:45
740
scmfsa7b__109_54.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__111_54.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__112_70.min1.thm1
2017-02-06 12:45
343
scmfsa7b__112_70.min1.thm1.tptp
2017-02-06 16:47
267
scmfsa7b__114_5.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__121_50.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__122_17.min1.thm1
2017-02-06 12:45
593
scmfsa7b__131_47.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__132_16.min1.thm1
2017-02-06 12:45
3.0K
scmfsa7b__151_11.min1.thm1
2017-02-06 12:45
210
scmfsa7b__159_51.min1.thm1
2017-02-06 12:45
4.5K
scmfsa7b__160_46.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__165_20.min1.thm1
2017-02-06 12:45
4.4K
scmfsa7b__167_37.min1.thm1
2017-02-06 12:45
2.5K
scmfsa7b__170_17.min1.thm1
2017-02-06 12:45
1.8K
scmfsa7b__175_18.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__182_17.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__186_28.min1.thm1
2017-02-06 12:45
3.2K
scmfsa7b__204_48.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__205_22.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__208_33.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__222_17.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__224_30.min1.thm1
2017-02-06 12:45
2.8K
scmfsa7b__243_16.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__244_17.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__248_48.min1.thm1
2017-02-06 12:45
4.8K
scmfsa7b__249_24.min1.thm1
2017-02-06 12:45
2.9K
scmfsa7b__250_21.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__254_27.min1.thm1
2017-02-06 12:45
2.2K
scmfsa7b__272_21.min1.thm1
2017-02-06 12:45
671
scmfsa7b__274_34.min1.thm1
2017-02-06 12:45
3.6K
scmfsa7b__279_16.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__280_24.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__281_19.min1.thm1
2017-02-06 12:45
2.7K
scmfsa7b__285_49.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__293_38.min1.thm1
2017-02-06 12:45
4.5K
scmfsa7b__295_45.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__300_9.min1.thm1
2017-02-06 12:45
4.4K
scmfsa7b__307_22.min1.thm1
2017-02-06 12:45
1.8K
scmfsa7b__339_33.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__344_48.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__362_18.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__364_32.min1.thm1
2017-02-06 12:45
2.4K
scmfsa7b__380_21.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__381_17.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__385_49.min1.thm1
2017-02-06 12:45
4.8K
scmfsa7b__386_24.min1.thm1
2017-02-06 12:45
2.9K
scmfsa7b__387_21.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__391_27.min1.thm1
2017-02-06 12:45
2.2K
scmfsa7b__396_37.min1.thm1
2017-02-06 12:45
865
scmfsa7b__409_21.min1.thm1
2017-02-06 12:45
735
scmfsa7b__434_46.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__436_33.min1.thm1
2017-02-06 12:45
2.4K
scmfsa7b__458_11.min1.thm1
2017-02-06 12:45
661
scmfsa7b__460_26.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__467_38.min1.thm1
2017-02-06 12:45
600
scmfsa7b__475_38.min1.thm1
2017-02-06 12:45
688
scmfsa7b__488_49.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__489_29.min1.thm1
2017-02-06 12:45
1.8K
scmfsa7b__507_17.min1.thm1
2017-02-06 12:45
2.2K
scmfsa7b__517_31.min1.thm1
2017-02-06 12:45
2.3K
scmfsa7b__518_38.min1.thm1
2017-02-06 12:45
773
scmfsa7b__520_11.min1.thm1
2017-02-06 12:45
210
scmfsa7b__523_46.min1.thm1
2017-02-06 12:45
2.5K
scmfsa7b__533_74.min1.thm1
2017-02-06 12:45
4.6K
scmfsa7b__536_43.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__548_50.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__553_20.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__555_38.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__561_7.min1.thm1
2017-02-06 12:45
2.3K
scmfsa7b__567_20.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__568_44.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__569_32.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__571_35.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__592_17.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__596_49.min1.thm1
2017-02-06 12:45
4.8K
scmfsa7b__597_29.min1.thm1
2017-02-06 12:45
3.8K
scmfsa7b__598_28.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__603_19.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__604_27.min1.thm1
2017-02-06 12:45
2.2K
scmfsa7b__607_35.min1.thm1
2017-02-06 12:45
856
scmfsa7b__624_21.min1.thm1
2017-02-06 12:45
878
scmfsa7b__626_16.min1.thm1
2017-02-06 12:45
729
scmfsa7b__626_16.min1.thm1.tptp
2017-02-06 16:47
669
scmfsa7b__630_49.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__642_8.min1.thm1
2017-02-06 12:45
4.6K
scmfsa7b__644_46.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__656_29.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__657_50.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__660_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__672_19.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__674_34.min1.thm1
2017-02-06 12:45
1.6K
scmfsa7b__704_17.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__709_32.min1.thm1
2017-02-06 12:45
3.6K
scmfsa7b__710_28.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__715_23.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__716_27.min1.thm1
2017-02-06 12:45
2.2K
scmfsa7b__719_37.min1.thm1
2017-02-06 12:45
920
scmfsa7b__736_21.min1.thm1
2017-02-06 12:45
934
scmfsa7b__738_16.min1.thm1
2017-02-06 12:45
652
scmfsa7b__758_31.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__818_20.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__831_23.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__843_28.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__846_66.min1.thm1
2017-02-06 12:45
2.8K
scmfsa7b__848_29.min1.thm1
2017-02-06 12:45
828
scmfsa7b__850_60.min1.thm1
2017-02-06 12:45
2.2K
scmfsa7b__851_30.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__867_58.min1.thm1
2017-02-06 12:45
2.9K
scmfsa7b__868_39.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__876_39.min1.thm1
2017-02-06 12:45
1.7K
scmfsa7b__881_49.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__968_18.min1.thm1
2017-02-06 12:45
4.1K
scmfsa7b__971_23.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__980_19.min1.thm1
2017-02-06 12:45
137
scmfsa7b__1001_30.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1003_32.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__1004_30.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1028_22.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1052_23.min1.thm1
2017-02-06 12:45
1.5K
scmfsa7b__1075_26.min1.thm1
2017-02-06 12:45
251
scmfsa7b__1118_16.min1.thm1
2017-02-06 12:45
538
scmfsa7b__1120_19.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__1172_11.min1.thm1
2017-02-06 12:45
662
scmfsa7b__1175_28.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1180_38.min1.thm1
2017-02-06 12:45
607
scmfsa7b__1193_38.min1.thm1
2017-02-06 12:45
693
scmfsa7b__1254_25.min1.thm1
2017-02-06 12:45
3.6K
scmfsa7b__1270_27.min1.thm1
2017-02-06 12:45
673
scmfsa7b__1292_29.min1.thm1
2017-02-06 12:45
673
scmfsa7b__1316_31.min1.thm1
2017-02-06 12:45
673
scmfsa7b__1340_30.min1.thm1
2017-02-06 12:45
673
scmfsa7b__1364_30.min1.thm1
2017-02-06 12:45
675
scmfsa7b__1430_31.min1.thm1
2017-02-06 12:45
784
scmfsa7b__1452_32.min1.thm1
2017-02-06 12:45
786
scmfsa7b__1476_31.min1.thm1
2017-02-06 12:45
584
scmfsa7b__1497_37.min1.thm1
2017-02-06 12:45
584
scmfsa7b__1541_17.min1.thm1
2017-02-06 12:45
871
scmfsa7b__1553_31.min1.thm1
2017-02-06 12:45
2.4K
scmfsa7b__1554_15.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__1578_16.min1.thm1
2017-02-06 12:45
871
scmfsa7b__1586_31.min1.thm1
2017-02-06 12:45
2.4K
scmfsa7b__1589_15.min1.thm1
2017-02-06 12:45
1.3K
scmfsa7b__1604_14.min1.thm1
2017-02-06 12:45
2.5K
scmfsa7b__1607_28.min1.thm1
2017-02-06 12:45
587
scmfsa7b__1613_19.min1.thm1
2017-02-06 12:45
764
scmfsa7b__1620_23.min1.thm1
2017-02-06 12:45
764
scmfsa7b__1627_26.min1.thm1
2017-02-06 12:45
764
scmfsa7b__1634_24.min1.thm1
2017-02-06 12:45
764
scmfsa7b__1641_25.min1.thm1
2017-02-06 12:45
766
scmfsa7b__1647_55.min1.thm1
2017-02-06 12:45
1.0K
scmfsa7b__1654_24.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1661_24.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1667_23.min1.thm1
2017-02-06 12:45
823
scmfsa7b__1668_14.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__1674_9.min1.thm1
2017-02-06 12:45
825
scmfsa7b__1680_21.min1.thm1
2017-02-06 12:45
690
scmfsa7b__1688_9.min1.thm1
2017-02-06 12:45
690
scmfsa7b__1710_16.min1.thm1
2017-02-06 12:45
855
scmfsa7b__1718_17.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__1720_29.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__1732_15.min1.thm1
2017-02-06 12:45
2.3K
scmfsa7b__1733_16.min1.thm1
2017-02-06 12:45
616
scmfsa7b__1740_9.min1.thm1
2017-02-06 12:45
566
scmfsa7b__1750_29.min1.thm1
2017-02-06 12:45
3.1K
scmfsa7b__1751_44.min1.thm1
2017-02-06 12:45
2.0K
scmfsa7b__1753_31.min1.thm1
2017-02-06 12:45
2.4K
scmfsa7b__1764_24.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__1765_17.min1.thm1
2017-02-06 12:45
2.9K
scmfsa7b__1771_40.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__1773_28.min1.thm1
2017-02-06 12:45
2.8K
scmfsa7b__1774_40.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1786_15.min1.thm1
2017-02-06 12:45
581
scmfsa7b__1798_34.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__1800_25.min1.thm1
2017-02-06 12:45
2.5K
scmfsa7b__1805_20.min1.thm1
2017-02-06 12:45
1.4K
scmfsa7b__1821_13.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__1828_30.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1829_45.min1.thm1
2017-02-06 12:45
3.2K
scmfsa7b__1831_73.min1.thm1
2017-02-06 12:45
575
scmfsa7b__1831_73.min1.thm1.tptp
2017-02-06 16:47
517
scmfsa7b__1840_16.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__1842_19.min1.thm1
2017-02-06 12:45
4.4K
scmfsa7b__1843_64.min1.thm1
2017-02-06 12:45
3.4K
scmfsa7b__1848_73.min1.thm1
2017-02-06 12:45
646
scmfsa7b__1848_73.min1.thm1.tptp
2017-02-06 16:47
590
scmfsa7b__1857_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1859_19.min1.thm1
2017-02-06 12:45
4.4K
scmfsa7b__1860_66.min1.thm1
2017-02-06 12:45
3.4K
scmfsa7b__1865_73.min1.thm1
2017-02-06 12:45
646
scmfsa7b__1865_73.min1.thm1.tptp
2017-02-06 16:47
590
scmfsa7b__1879_8.min1.thm1
2017-02-06 12:45
841
scmfsa7b__1880_58.min1.thm1
2017-02-06 12:45
1.1K
scmfsa7b__1881_51.min1.thm1
2017-02-06 12:45
1.9K
scmfsa7b__1882_43.min1.thm1
2017-02-06 12:45
2.1K
scmfsa7b__1884_53.min1.thm1
2017-02-06 12:45
795
scmfsa7b__1890_9.min1.thm1
2017-02-06 12:45
826
scmfsa7b__1890_9.min1.thm1.tptp
2017-02-06 16:47
772
scmfsa7b__1892_17.min1.thm1
2017-02-06 12:45
819
scmfsa7b__1892_17.min1.thm1.tptp
2017-02-06 16:47
755
scmfsa7b__1903_29.min1.thm1
2017-02-06 12:45
929
scmfsa7b__1909_44.min1.thm1
2017-02-06 12:45
1.2K
scmfsa7b__1925_19.min1.thm1
2017-02-06 12:45
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80