Index of /~mptp/1147/mptp/ilp0/scmfsa_7
Name
Last modified
Size
Description
Parent Directory
-
scmfsa_7__51_49.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__52_49.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__53_29.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__54_52.min1.thm1
2017-02-06 12:45
1.3K
scmfsa_7__55_16.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__70_59.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__71_59.min1.thm1
2017-02-06 12:45
2.4K
scmfsa_7__72_61.min1.thm1
2017-02-06 12:45
2.4K
scmfsa_7__74_56.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__75_34.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__76_62.min1.thm1
2017-02-06 12:45
2.1K
scmfsa_7__77_61.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__78_63.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__79_59.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__80_59.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__81_61.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__82_16.min1.thm1
2017-02-06 12:45
2.7K
scmfsa_7__110_24.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__111_53.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__118_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__121_51.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__128_15.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__131_13.min1.thm1
2017-02-06 12:45
130
scmfsa_7__152_24.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__153_53.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__156_17.min1.thm1
2017-02-06 12:45
506
scmfsa_7__159_51.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__162_15.min1.thm1
2017-02-06 12:45
500
scmfsa_7__165_13.min1.thm1
2017-02-06 12:45
130
scmfsa_7__173_11.min1.thm1
2017-02-06 12:45
210
scmfsa_7__212_23.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__214_26.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__215_28.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__216_44.min1.thm1
2017-02-06 12:45
480
scmfsa_7__220_17.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__226_53.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__228_26.min1.thm1
2017-02-06 12:45
961
scmfsa_7__234_26.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__235_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__236_44.min1.thm1
2017-02-06 12:45
480
scmfsa_7__238_22.min1.thm1
2017-02-06 12:45
422
scmfsa_7__238_22.min1.thm1.tptp
2017-02-06 16:47
340
scmfsa_7__239_20.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__240_38.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__243_14.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__245_15.min1.thm1
2017-02-06 12:45
317
scmfsa_7__249_42.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__282_19.min1.thm1
2017-02-06 12:45
392
scmfsa_7__290_27.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__294_13.min1.thm1
2017-02-06 12:45
130
scmfsa_7__312_14.min1.thm1
2017-02-06 12:45
957
scmfsa_7__314_49.min1.thm1
2017-02-06 12:45
1.3K
scmfsa_7__316_26.min1.thm1
2017-02-06 12:45
2.3K
scmfsa_7__328_24.min1.thm1
2017-02-06 12:45
2.7K
scmfsa_7__350_17.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__357_11.min1.thm1
2017-02-06 12:45
213
scmfsa_7__360_46.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__371_10.min1.thm1
2017-02-06 12:45
3.3K
scmfsa_7__372_43.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__383_7.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__384_34.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__402_50.min1.thm1
2017-02-06 12:45
954
scmfsa_7__407_20.min1.thm1
2017-02-06 12:45
730
scmfsa_7__409_38.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__419_20.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__420_44.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__421_32.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__430_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__435_32.min1.thm1
2017-02-06 12:45
2.8K
scmfsa_7__436_31.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__437_30.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__440_62.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__441_25.min1.thm1
2017-02-06 12:45
2.7K
scmfsa_7__447_62.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__448_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__451_60.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__456_19.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__457_27.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__461_35.min1.thm1
2017-02-06 12:45
851
scmfsa_7__470_23.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__495_21.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__501_14.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__501_14.min1.thm1.tptp
2017-02-06 16:47
1.5K
scmfsa_7__503_19.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__507_49.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__518_8.min1.thm1
2017-02-06 12:45
3.3K
scmfsa_7__519_46.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__554_29.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__555_50.min1.thm1
2017-02-06 12:45
954
scmfsa_7__558_37.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__568_19.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__570_34.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__579_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__584_32.min1.thm1
2017-02-06 12:45
2.8K
scmfsa_7__585_31.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__586_30.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__589_62.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__596_62.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__597_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__600_60.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__605_23.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__606_27.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__611_37.min1.thm1
2017-02-06 12:45
915
scmfsa_7__620_26.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__653_14.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__681_36.min1.thm1
2017-02-06 12:45
3.1K
scmfsa_7__709_16.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__714_11.min1.thm1
2017-02-06 12:45
213
scmfsa_7__722_34.min1.thm1
2017-02-06 12:45
3.1K
scmfsa_7__723_43.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__725_37.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__734_9.min1.thm1
2017-02-06 12:45
3.3K
scmfsa_7__738_17.min1.thm1
2017-02-06 12:45
2.1K
scmfsa_7__743_17.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__750_17.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__754_26.min1.thm1
2017-02-06 12:45
2.7K
scmfsa_7__771_48.min1.thm1
2017-02-06 12:45
942
scmfsa_7__772_22.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__775_33.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__789_17.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__791_30.min1.thm1
2017-02-06 12:45
2.3K
scmfsa_7__809_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__810_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__815_25.min1.thm1
2017-02-06 12:45
2.3K
scmfsa_7__816_24.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__820_27.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__824_35.min1.thm1
2017-02-06 12:45
794
scmfsa_7__836_21.min1.thm1
2017-02-06 12:45
663
scmfsa_7__845_15.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__850_60.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__851_23.min1.thm1
2017-02-06 12:45
2.7K
scmfsa_7__857_60.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__858_21.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__861_58.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__866_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__868_25.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__872_17.min1.thm1
2017-02-06 12:45
264
scmfsa_7__873_33.min1.thm1
2017-02-06 12:45
790
scmfsa_7__878_21.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__899_34.min1.thm1
2017-02-06 12:45
3.0K
scmfsa_7__903_20.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__905_14.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__910_24.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__911_25.min1.thm1
2017-02-06 12:45
3.3K
scmfsa_7__918_49.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__930_38.min1.thm1
2017-02-06 12:45
3.1K
scmfsa_7__931_45.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__935_9.min1.thm1
2017-02-06 12:45
3.3K
scmfsa_7__951_17.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__968_33.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__973_48.min1.thm1
2017-02-06 12:45
942
scmfsa_7__984_33.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__991_18.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__993_32.min1.thm1
2017-02-06 12:45
2.4K
scmfsa_7__1012_21.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__1013_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1018_25.min1.thm1
2017-02-06 12:45
2.3K
scmfsa_7__1019_24.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1023_27.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__1028_37.min1.thm1
2017-02-06 12:45
858
scmfsa_7__1040_21.min1.thm1
2017-02-06 12:45
727
scmfsa_7__1049_15.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1054_60.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1061_60.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1062_21.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__1065_58.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1070_20.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__1072_25.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__1076_17.min1.thm1
2017-02-06 12:45
264
scmfsa_7__1077_35.min1.thm1
2017-02-06 12:45
854
scmfsa_7__1083_24.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__1143_13.min1.thm1
2017-02-06 12:45
916
scmfsa_7__1155_20.min1.thm1
2017-02-06 12:45
245
scmfsa_7__1165_30.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1181_14.min1.thm1
2017-02-06 12:45
917
scmfsa_7__1188_20.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1205_23.min1.thm1
2017-02-06 12:45
1.3K
scmfsa_7__1217_28.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1220_66.min1.thm1
2017-02-06 12:45
2.7K
scmfsa_7__1222_29.min1.thm1
2017-02-06 12:45
828
scmfsa_7__1224_60.min1.thm1
2017-02-06 12:45
2.1K
scmfsa_7__1225_30.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1226_25.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1231_43.min1.thm1
2017-02-06 12:45
1.4K
scmfsa_7__1245_55.min1.thm1
2017-02-06 12:45
2.9K
scmfsa_7__1246_38.min1.thm1
2017-02-06 12:45
2.9K
scmfsa_7__1250_39.min1.thm1
2017-02-06 12:45
1.7K
scmfsa_7__1254_54.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__1255_49.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1260_43.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__1264_16.min1.thm1
2017-02-06 12:45
2.0K
scmfsa_7__1280_22.min1.thm1
2017-02-06 12:45
759
scmfsa_7__1324_22.min1.thm1
2017-02-06 12:45
943
scmfsa_7__1353_18.min1.thm1
2017-02-06 12:45
4.1K
scmfsa_7__1356_23.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__1387_28.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1389_30.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1390_28.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1410_47.min1.thm1
2017-02-06 12:45
3.0K
scmfsa_7__1414_20.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__1435_23.min1.thm1
2017-02-06 12:45
1.5K
scmfsa_7__1439_23.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__1454_30.min1.thm1
2017-02-06 12:45
3.1K
scmfsa_7__1465_20.min1.thm1
2017-02-06 12:45
1.0K
scmfsa_7__1468_15.min1.thm1
2017-02-06 12:45
242
scmfsa_7__1483_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa_7__1484_17.min1.thm1
2017-02-06 12:45
1.3K
scmfsa_7__1496_19.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__1497_35.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__1509_2.min1.thm1
2017-02-06 12:45
3.5K
scmfsa_7__1529_17.min1.thm1
2017-02-06 12:45
1.8K
scmfsa_7__1541_17.min1.thm1
2017-02-06 12:45
1.6K
scmfsa_7__1545_31.min1.thm1
2017-02-06 12:45
1.1K
scmfsa_7__1554_27.min1.thm1
2017-02-06 12:45
571
scmfsa_7__1566_60.min1.thm1
2017-02-06 12:45
742
scmfsa_7__1566_60.min1.thm1.tptp
2017-02-06 16:47
666
scmfsa_7__1569_16.min1.thm1
2017-02-06 12:45
538
scmfsa_7__1587_16.min1.thm1
2017-02-06 12:45
326
scmfsa_7__1587_16.min1.thm1.tptp
2017-02-06 16:47
247
scmfsa_7__1603_34.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__1624_35.min1.thm1
2017-02-06 12:45
2.1K
scmfsa_7__1632_19.min1.thm1
2017-02-06 12:45
1.9K
scmfsa_7__1660_28.min1.thm1
2017-02-06 12:45
1.2K
scmfsa_7__1665_16.min1.thm1
2017-02-06 12:45
2.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80