Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/scmfsa8c
Name
Last modified
Size
Description
Parent Directory
-
scmfsa8c__71_16.min1.thm1
2017-02-06 12:45
2.7K
scmfsa8c__73_71.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__78_37.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__94_27.min1.thm1
2017-02-06 12:45
2.4K
scmfsa8c__95_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__98_30.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__127_40.min1.thm1
2017-02-06 12:45
629
scmfsa8c__129_44.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__132_17.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__133_38.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__134_52.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__141_53.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__156_16.min1.thm1
2017-02-06 12:45
696
scmfsa8c__156_16.min1.thm1.tptp
2017-02-06 16:47
642
scmfsa8c__159_30.min1.thm1
2017-02-06 12:45
591
scmfsa8c__164_55.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__171_24.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__178_24.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__194_25.min1.thm1
2017-02-06 12:45
945
scmfsa8c__197_38.min1.thm1
2017-02-06 12:45
954
scmfsa8c__198_29.min1.thm1
2017-02-06 12:45
487
scmfsa8c__217_59.min1.thm1
2017-02-06 12:45
498
scmfsa8c__222_59.min1.thm1
2017-02-06 12:45
498
scmfsa8c__226_33.min1.thm1
2017-02-06 12:45
377
scmfsa8c__226_33.min1.thm1.tptp
2017-02-06 16:47
312
scmfsa8c__233_55.min1.thm1
2017-02-06 12:45
4.0K
scmfsa8c__234_30.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__254_18.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__255_11.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__258_19.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__286_32.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__289_15.min1.thm1
2017-02-06 12:45
294
scmfsa8c__291_25.min1.thm1
2017-02-06 12:45
2.8K
scmfsa8c__292_28.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__295_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__312_31.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__322_26.min1.thm1
2017-02-06 12:45
2.8K
scmfsa8c__334_15.min1.thm1
2017-02-06 12:45
2.9K
scmfsa8c__336_28.min1.thm1
2017-02-06 12:45
2.9K
scmfsa8c__344_34.min1.thm1
2017-02-06 12:45
2.4K
scmfsa8c__354_14.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__354_14.min1.thm1.tptp
2017-02-06 16:47
1.7K
scmfsa8c__372_32.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__373_18.min1.thm1
2017-02-06 12:45
883
scmfsa8c__375_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__377_33.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__399_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__400_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__409_33.min1.thm1
2017-02-06 12:45
3.3K
scmfsa8c__412_20.min1.thm1
2017-02-06 12:45
3.1K
scmfsa8c__416_24.min1.thm1
2017-02-06 12:45
3.5K
scmfsa8c__434_26.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__445_39.min1.thm1
2017-02-06 12:45
607
scmfsa8c__449_16.min1.thm1
2017-02-06 12:45
560
scmfsa8c__449_16.min1.thm1.tptp
2017-02-06 16:47
485
scmfsa8c__456_39.min1.thm1
2017-02-06 12:45
703
scmfsa8c__460_16.min1.thm1
2017-02-06 12:45
416
scmfsa8c__460_16.min1.thm1.tptp
2017-02-06 16:47
339
scmfsa8c__463_51.min1.thm1
2017-02-06 12:45
673
scmfsa8c__468_16.min1.thm1
2017-02-06 12:45
856
scmfsa8c__469_16.min1.thm1
2017-02-06 12:45
856
scmfsa8c__482_57.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__486_30.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__500_15.min1.thm1
2017-02-06 12:45
855
scmfsa8c__501_15.min1.thm1
2017-02-06 12:45
855
scmfsa8c__507_26.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__513_29.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__528_57.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__532_30.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__550_32.min1.thm1
2017-02-06 12:45
4.2K
scmfsa8c__553_30.min1.thm1
2017-02-06 12:45
4.2K
scmfsa8c__554_55.min1.thm1
2017-02-06 12:45
4.1K
scmfsa8c__557_55.min1.thm1
2017-02-06 12:45
4.1K
scmfsa8c__578_32.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__582_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__615_28.min1.thm1
2017-02-06 12:45
2.8K
scmfsa8c__620_22.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__627_17.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__630_32.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__637_47.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__644_20.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__645_46.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__650_35.min1.thm1
2017-02-06 12:45
2.4K
scmfsa8c__662_35.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__666_38.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__695_45.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__702_33.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__705_17.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__720_14.min1.thm1
2017-02-06 12:45
855
scmfsa8c__721_17.min1.thm1
2017-02-06 12:45
883
scmfsa8c__723_37.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__725_16.min1.thm1
2017-02-06 12:45
855
scmfsa8c__734_2.min1.thm1
2017-02-06 12:45
2.7K
scmfsa8c__735_34.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__747_40.min1.thm1
2017-02-06 12:45
3.3K
scmfsa8c__751_44.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__768_45.min1.thm1
2017-02-06 12:45
920
scmfsa8c__792_24.min1.thm1
2017-02-06 12:45
535
scmfsa8c__792_24.min1.thm1.tptp
2017-02-06 16:47
479
scmfsa8c__793_22.min1.thm1
2017-02-06 12:45
540
scmfsa8c__793_22.min1.thm1.tptp
2017-02-06 16:47
484
scmfsa8c__808_24.min1.thm1
2017-02-06 12:45
536
scmfsa8c__808_24.min1.thm1.tptp
2017-02-06 16:47
480
scmfsa8c__809_22.min1.thm1
2017-02-06 12:45
541
scmfsa8c__809_22.min1.thm1.tptp
2017-02-06 16:47
485
scmfsa8c__831_27.min1.thm1
2017-02-06 12:45
540
scmfsa8c__831_27.min1.thm1.tptp
2017-02-06 16:47
484
scmfsa8c__834_22.min1.thm1
2017-02-06 12:45
535
scmfsa8c__834_22.min1.thm1.tptp
2017-02-06 16:47
479
scmfsa8c__847_27.min1.thm1
2017-02-06 12:45
540
scmfsa8c__847_27.min1.thm1.tptp
2017-02-06 16:47
484
scmfsa8c__850_22.min1.thm1
2017-02-06 12:45
536
scmfsa8c__850_22.min1.thm1.tptp
2017-02-06 16:47
480
scmfsa8c__869_67.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__904_67.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__953_36.min1.thm1
2017-02-06 12:45
954
scmfsa8c__955_56.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__956_31.min1.thm1
2017-02-06 12:45
279
scmfsa8c__969_16.min1.thm1
2017-02-06 12:45
656
scmfsa8c__970_22.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__972_26.min1.thm1
2017-02-06 12:45
729
scmfsa8c__974_17.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__986_25.min1.thm1
2017-02-06 12:45
3.2K
scmfsa8c__987_32.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__988_10.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1014_39.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__1017_34.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__1020_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1025_40.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__1028_22.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1043_38.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__1045_23.min1.thm1
2017-02-06 12:45
725
scmfsa8c__1045_23.min1.thm1.tptp
2017-02-06 16:47
650
scmfsa8c__1058_14.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__1059_57.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__1061_19.min1.thm1
2017-02-06 12:45
719
scmfsa8c__1061_19.min1.thm1.tptp
2017-02-06 16:47
644
scmfsa8c__1069_13.min1.thm1
2017-02-06 12:45
231
scmfsa8c__1078_46.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__1084_15.min1.thm1
2017-02-06 12:45
856
scmfsa8c__1085_24.min1.thm1
2017-02-06 12:45
716
scmfsa8c__1085_24.min1.thm1.tptp
2017-02-06 16:47
641
scmfsa8c__1086_9.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__1086_9.min1.thm1.tptp
2017-02-06 16:47
1.4K
scmfsa8c__1090_51.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__1122_14.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1131_22.min1.thm1
2017-02-06 12:45
721
scmfsa8c__1131_22.min1.thm1.tptp
2017-02-06 16:47
646
scmfsa8c__1159_36.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__1162_2.min1.thm1
2017-02-06 12:45
2.9K
scmfsa8c__1164_35.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__1170_24.min1.thm1
2017-02-06 12:45
284
scmfsa8c__1180_21.min1.thm1
2017-02-06 12:45
284
scmfsa8c__1185_53.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__1192_19.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__1196_18.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__1200_25.min1.thm1
2017-02-06 12:45
290
scmfsa8c__1206_17.min1.thm1
2017-02-06 12:45
294
scmfsa8c__1207_41.min1.thm1
2017-02-06 12:45
901
scmfsa8c__1229_19.min1.thm1
2017-02-06 12:45
636
scmfsa8c__1235_37.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__1238_16.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__1238_16.min1.thm1.tptp
2017-02-06 16:47
1.0K
scmfsa8c__1305_26.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__1325_67.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1331_41.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__1332_38.min1.thm1
2017-02-06 12:45
954
scmfsa8c__1333_26.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1355_67.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1361_41.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__1362_38.min1.thm1
2017-02-06 12:45
954
scmfsa8c__1363_26.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1383_35.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__1386_16.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1387_32.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1393_32.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1418_35.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__1421_16.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1422_32.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1428_32.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1451_23.min1.thm1
2017-02-06 12:45
426
scmfsa8c__1451_23.min1.thm1.tptp
2017-02-06 16:47
349
scmfsa8c__1457_35.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__1459_51.min1.thm1
2017-02-06 12:45
957
scmfsa8c__1460_21.min1.thm1
2017-02-06 12:45
426
scmfsa8c__1460_21.min1.thm1.tptp
2017-02-06 16:47
349
scmfsa8c__1464_34.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__1466_21.min1.thm1
2017-02-06 12:45
426
scmfsa8c__1466_21.min1.thm1.tptp
2017-02-06 16:47
349
scmfsa8c__1502_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1505_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1510_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1511_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1516_34.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1520_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1521_28.min1.thm1
2017-02-06 12:45
281
scmfsa8c__1533_34.min1.thm1
2017-02-06 12:45
871
scmfsa8c__1537_34.min1.thm1
2017-02-06 12:45
944
scmfsa8c__1542_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__1542_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__1544_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__1546_37.min1.thm1
2017-02-06 12:45
328
scmfsa8c__1559_17.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1570_34.min1.thm1
2017-02-06 12:45
823
scmfsa8c__1570_34.min1.thm1.tptp
2017-02-06 16:47
748
scmfsa8c__1577_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1583_13.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__1588_53.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__1592_53.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1598_19.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__1599_40.min1.thm1
2017-02-06 12:45
889
scmfsa8c__1604_25.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__1606_54.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__1630_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1638_38.min1.thm1
2017-02-06 12:45
873
scmfsa8c__1640_13.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1645_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__1648_48.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__1655_69.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1666_51.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1705_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1708_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1715_14.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__1716_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1717_28.min1.thm1
2017-02-06 12:45
307
scmfsa8c__1720_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1726_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__1726_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__1728_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__1730_37.min1.thm1
2017-02-06 12:45
328
scmfsa8c__1746_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1753_34.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1760_25.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1767_34.min1.thm1
2017-02-06 12:45
872
scmfsa8c__1770_34.min1.thm1
2017-02-06 12:45
944
scmfsa8c__1779_34.min1.thm1
2017-02-06 12:45
823
scmfsa8c__1779_34.min1.thm1.tptp
2017-02-06 16:47
748
scmfsa8c__1786_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1798_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1806_38.min1.thm1
2017-02-06 12:45
873
scmfsa8c__1808_13.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1813_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__1816_48.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__1823_69.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1834_51.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1854_32.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__1896_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__1897_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1898_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1903_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1904_28.min1.thm1
2017-02-06 12:45
281
scmfsa8c__1907_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__1912_34.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1919_25.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1926_34.min1.thm1
2017-02-06 12:45
872
scmfsa8c__1930_34.min1.thm1
2017-02-06 12:45
944
scmfsa8c__1935_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__1935_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__1937_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__1939_33.min1.thm1
2017-02-06 12:45
328
scmfsa8c__1963_34.min1.thm1
2017-02-06 12:45
823
scmfsa8c__1963_34.min1.thm1.tptp
2017-02-06 16:47
748
scmfsa8c__1970_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__1976_13.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__1981_53.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__1985_53.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__1991_19.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__1992_40.min1.thm1
2017-02-06 12:45
889
scmfsa8c__1997_25.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__1999_54.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2023_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2031_38.min1.thm1
2017-02-06 12:45
873
scmfsa8c__2033_13.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2038_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__2041_48.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2048_69.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2059_51.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2099_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2100_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2107_14.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2108_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2109_28.min1.thm1
2017-02-06 12:45
307
scmfsa8c__2112_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2119_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__2119_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__2121_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__2123_33.min1.thm1
2017-02-06 12:45
328
scmfsa8c__2140_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2147_34.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2154_41.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__2155_25.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2162_34.min1.thm1
2017-02-06 12:45
872
scmfsa8c__2166_34.min1.thm1
2017-02-06 12:45
944
scmfsa8c__2177_34.min1.thm1
2017-02-06 12:45
823
scmfsa8c__2177_34.min1.thm1.tptp
2017-02-06 16:47
748
scmfsa8c__2184_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2196_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2204_38.min1.thm1
2017-02-06 12:45
873
scmfsa8c__2206_13.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2211_23.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__2214_48.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2221_69.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2232_51.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2300_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2301_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2314_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2317_49.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2323_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2324_29.min1.thm1
2017-02-06 12:45
281
scmfsa8c__2329_22.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2331_25.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2335_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2342_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2343_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2351_17.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2358_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__2358_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__2360_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__2362_33.min1.thm1
2017-02-06 12:45
328
scmfsa8c__2364_14.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2367_18.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2390_20.min1.thm1
2017-02-06 12:45
750
scmfsa8c__2390_20.min1.thm1.tptp
2017-02-06 16:47
675
scmfsa8c__2394_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2403_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2409_13.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2414_53.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2418_53.min1.thm1
2017-02-06 12:45
2.9K
scmfsa8c__2423_19.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2424_30.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2426_19.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2427_53.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2431_40.min1.thm1
2017-02-06 12:45
893
scmfsa8c__2436_25.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2437_33.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__2438_32.min1.thm1
2017-02-06 12:45
906
scmfsa8c__2477_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2479_18.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2480_38.min1.thm1
2017-02-06 12:45
878
scmfsa8c__2497_26.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2503_27.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2504_35.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__2506_29.min1.thm1
2017-02-06 12:45
900
scmfsa8c__2547_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2548_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2555_16.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__2556_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2563_40.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__2565_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2566_29.min1.thm1
2017-02-06 12:45
307
scmfsa8c__2581_22.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2583_25.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2603_42.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__2605_49.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2610_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2620_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2621_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__2621_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__2623_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__2625_33.min1.thm1
2017-02-06 12:45
328
scmfsa8c__2629_18.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2633_17.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2657_23.min1.thm1
2017-02-06 12:45
750
scmfsa8c__2657_23.min1.thm1.tptp
2017-02-06 16:47
675
scmfsa8c__2661_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2670_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2678_38.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__2686_12.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2688_18.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2689_38.min1.thm1
2017-02-06 12:45
878
scmfsa8c__2706_26.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2712_27.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2713_35.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__2715_29.min1.thm1
2017-02-06 12:45
900
scmfsa8c__2735_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2737_46.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__2737_46.min1.thm1.tptp
2017-02-06 16:47
1.3K
scmfsa8c__2777_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2781_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2794_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2797_49.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2803_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2804_29.min1.thm1
2017-02-06 12:45
281
scmfsa8c__2809_22.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2811_25.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2815_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2822_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2823_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2831_17.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2838_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__2838_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__2840_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__2842_33.min1.thm1
2017-02-06 12:45
328
scmfsa8c__2844_14.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__2847_18.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2871_23.min1.thm1
2017-02-06 12:45
750
scmfsa8c__2871_23.min1.thm1.tptp
2017-02-06 16:47
675
scmfsa8c__2875_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__2883_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2889_13.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2894_53.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2898_53.min1.thm1
2017-02-06 12:45
2.9K
scmfsa8c__2903_19.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__2904_30.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2906_19.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2907_53.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__2911_40.min1.thm1
2017-02-06 12:45
893
scmfsa8c__2916_25.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2917_33.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__2918_32.min1.thm1
2017-02-06 12:45
906
scmfsa8c__2957_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__2959_18.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__2960_38.min1.thm1
2017-02-06 12:45
878
scmfsa8c__2977_26.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__2983_27.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__2984_35.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__2986_29.min1.thm1
2017-02-06 12:45
900
scmfsa8c__3028_24.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__3029_16.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__3036_16.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__3037_28.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3044_40.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__3046_44.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__3047_29.min1.thm1
2017-02-06 12:45
307
scmfsa8c__3065_25.min1.thm1
2017-02-06 12:45
747
scmfsa8c__3082_42.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__3084_49.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__3089_49.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__3101_29.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3102_24.min1.thm1
2017-02-06 12:45
446
scmfsa8c__3102_24.min1.thm1.tptp
2017-02-06 16:47
368
scmfsa8c__3104_44.min1.thm1
2017-02-06 12:45
505
scmfsa8c__3106_33.min1.thm1
2017-02-06 12:45
328
scmfsa8c__3110_18.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__3114_17.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3138_23.min1.thm1
2017-02-06 12:45
750
scmfsa8c__3138_23.min1.thm1.tptp
2017-02-06 16:47
675
scmfsa8c__3142_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3151_22.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__3167_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__3169_18.min1.thm1
2017-02-06 12:45
1.5K
scmfsa8c__3170_38.min1.thm1
2017-02-06 12:45
878
scmfsa8c__3187_26.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__3193_27.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__3194_35.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3196_29.min1.thm1
2017-02-06 12:45
900
scmfsa8c__3216_37.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3218_46.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__3218_46.min1.thm1.tptp
2017-02-06 16:47
1.3K
scmfsa8c__3251_13.min1.thm1
2017-02-06 12:45
245
scmfsa8c__3279_13.min1.thm1
2017-02-06 12:45
271
scmfsa8c__3309_39.min1.thm1
2017-02-06 12:45
575
scmfsa8c__3310_34.min1.thm1
2017-02-06 12:45
626
scmfsa8c__3339_29.min1.thm1
2017-02-06 12:45
673
scmfsa8c__3346_34.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3347_34.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3367_39.min1.thm1
2017-02-06 12:45
575
scmfsa8c__3368_32.min1.thm1
2017-02-06 12:45
627
scmfsa8c__3382_41.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__3398_31.min1.thm1
2017-02-06 12:45
703
scmfsa8c__3413_31.min1.thm1
2017-02-06 12:45
703
scmfsa8c__3426_33.min1.thm1
2017-02-06 12:45
703
scmfsa8c__3427_31.min1.thm1
2017-02-06 12:45
703
scmfsa8c__3437_40.min1.thm1
2017-02-06 12:45
960
scmfsa8c__3439_28.min1.thm1
2017-02-06 12:45
474
scmfsa8c__3440_33.min1.thm1
2017-02-06 12:45
509
scmfsa8c__3453_28.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__3455_22.min1.thm1
2017-02-06 12:45
492
scmfsa8c__3456_33.min1.thm1
2017-02-06 12:45
641
scmfsa8c__3478_21.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3482_26.min1.thm1
2017-02-06 12:45
457
scmfsa8c__3487_24.min1.thm1
2017-02-06 12:45
455
scmfsa8c__3523_21.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3527_24.min1.thm1
2017-02-06 12:45
451
scmfsa8c__3531_6.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__3546_14.min1.thm1
2017-02-06 12:45
904
scmfsa8c__3550_17.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3567_9.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__3586_14.min1.thm1
2017-02-06 12:45
886
scmfsa8c__3592_13.min1.thm1
2017-02-06 12:45
682
scmfsa8c__3592_13.min1.thm1.tptp
2017-02-06 16:47
609
scmfsa8c__3596_21.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3598_24.min1.thm1
2017-02-06 12:45
467
scmfsa8c__3602_16.min1.thm1
2017-02-06 12:45
663
scmfsa8c__3602_16.min1.thm1.tptp
2017-02-06 16:47
586
scmfsa8c__3620_14.min1.thm1
2017-02-06 12:45
855
scmfsa8c__3626_23.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__3659_20.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__3662_17.min1.thm1
2017-02-06 12:45
2.4K
scmfsa8c__3663_40.min1.thm1
2017-02-06 12:45
826
scmfsa8c__3672_8.min1.thm1
2017-02-06 12:45
609
scmfsa8c__3674_17.min1.thm1
2017-02-06 12:45
810
scmfsa8c__3692_34.min1.thm1
2017-02-06 12:45
699
scmfsa8c__3692_34.min1.thm1.tptp
2017-02-06 16:47
623
scmfsa8c__3713_21.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3719_5.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3734_12.min1.thm1
2017-02-06 12:45
2.8K
scmfsa8c__3740_51.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__3741_13.min1.thm1
2017-02-06 12:45
682
scmfsa8c__3741_13.min1.thm1.tptp
2017-02-06 16:47
609
scmfsa8c__3744_24.min1.thm1
2017-02-06 12:45
467
scmfsa8c__3747_16.min1.thm1
2017-02-06 12:45
610
scmfsa8c__3760_32.min1.thm1
2017-02-06 12:45
699
scmfsa8c__3760_32.min1.thm1.tptp
2017-02-06 16:47
623
scmfsa8c__3761_17.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__3781_39.min1.thm1
2017-02-06 12:45
2.7K
scmfsa8c__3785_28.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__3787_6.min1.thm1
2017-02-06 12:45
2.4K
scmfsa8c__3791_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__3800_43.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__3801_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__3822_19.min1.thm1
2017-02-06 12:45
855
scmfsa8c__3823_19.min1.thm1
2017-02-06 12:45
855
scmfsa8c__3829_37.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__3834_12.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__3843_37.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__3872_23.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__3880_23.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__3918_32.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__3919_25.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__3923_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__3927_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__3928_25.min1.thm1
2017-02-06 12:45
2.8K
scmfsa8c__3933_3.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3940_26.min1.thm1
2017-02-06 12:45
3.1K
scmfsa8c__3949_2.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__3961_18.min1.thm1
2017-02-06 12:45
2.5K
scmfsa8c__3967_17.min1.thm1
2017-02-06 12:45
3.1K
scmfsa8c__3979_16.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__3987_44.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__3992_13.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__4015_14.min1.thm1
2017-02-06 12:45
855
scmfsa8c__4018_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__4025_21.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__4034_34.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__4077_14.min1.thm1
2017-02-06 12:45
855
scmfsa8c__4078_19.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__4083_34.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__4093_19.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__4120_70.min1.thm1
2017-02-06 12:45
344
scmfsa8c__4120_70.min1.thm1.tptp
2017-02-06 16:47
268
scmfsa8c__4128_14.min1.thm1
2017-02-06 12:45
855
scmfsa8c__4135_21.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__4142_45.min1.thm1
2017-02-06 12:45
588
scmfsa8c__4142_45.min1.thm1.tptp
2017-02-06 16:47
513
scmfsa8c__4155_24.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__4160_17.min1.thm1
2017-02-06 12:45
1.3K
scmfsa8c__4169_19.min1.thm1
2017-02-06 12:45
2.9K
scmfsa8c__4173_19.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__4183_56.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__4192_4.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__4192_4.min1.thm1.tptp
2017-02-06 16:47
2.1K
scmfsa8c__4213_19.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__4230_47.min1.thm1
2017-02-06 12:45
3.6K
scmfsa8c__4256_28.min1.thm1
2017-02-06 12:45
864
scmfsa8c__4258_21.min1.thm1
2017-02-06 12:45
1.9K
scmfsa8c__4259_55.min1.thm1
2017-02-06 12:45
770
scmfsa8c__4259_55.min1.thm1.tptp
2017-02-06 16:47
682
scmfsa8c__4274_32.min1.thm1
2017-02-06 12:45
2.0K
scmfsa8c__4278_7.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__4333_40.min1.thm1
2017-02-06 12:45
955
scmfsa8c__4343_4.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__4344_23.min1.thm1
2017-02-06 12:45
426
scmfsa8c__4344_23.min1.thm1.tptp
2017-02-06 16:47
349
scmfsa8c__4434_29.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__4448_21.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4451_31.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4456_36.min1.thm1
2017-02-06 12:45
3.8K
scmfsa8c__4459_36.min1.thm1
2017-02-06 12:45
253
scmfsa8c__4462_27.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__4463_24.min1.thm1
2017-02-06 12:45
227
scmfsa8c__4490_22.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__4492_56.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__4494_43.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__4494_43.min1.thm1.tptp
2017-02-06 16:47
2.9K
scmfsa8c__4512_29.min1.thm1
2017-02-06 12:45
1.4K
scmfsa8c__4528_15.min1.thm1
2017-02-06 12:45
1.6K
scmfsa8c__4578_54.min1.thm1
2017-02-06 12:45
3.2K
scmfsa8c__4605_42.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__4653_9.min1.thm1
2017-02-06 12:45
2.7K
scmfsa8c__4676_30.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__4677_35.min1.thm1
2017-02-06 12:45
678
scmfsa8c__4677_35.min1.thm1.tptp
2017-02-06 16:47
605
scmfsa8c__4694_11.min1.thm1
2017-02-06 12:45
269
scmfsa8c__4723_13.min1.thm1
2017-02-06 12:45
275
scmfsa8c__4727_30.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4730_37.min1.thm1
2017-02-06 12:45
698
scmfsa8c__4730_37.min1.thm1.tptp
2017-02-06 16:47
625
scmfsa8c__4739_31.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4755_44.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__4764_44.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__4774_36.min1.thm1
2017-02-06 12:45
438
scmfsa8c__4774_36.min1.thm1.tptp
2017-02-06 16:47
359
scmfsa8c__4778_36.min1.thm1
2017-02-06 12:45
438
scmfsa8c__4778_36.min1.thm1.tptp
2017-02-06 16:47
359
scmfsa8c__4818_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4824_28.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4832_36.min1.thm1
2017-02-06 12:45
3.0K
scmfsa8c__4839_34.min1.thm1
2017-02-06 12:45
2.7K
scmfsa8c__4869_48.min1.thm1
2017-02-06 12:45
2.4K
scmfsa8c__4871_37.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__4900_32.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__4945_29.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__4949_22.min1.thm1
2017-02-06 12:45
678
scmfsa8c__4949_22.min1.thm1.tptp
2017-02-06 16:47
605
scmfsa8c__4953_18.min1.thm1
2017-02-06 12:45
742
scmfsa8c__4953_18.min1.thm1.tptp
2017-02-06 16:47
669
scmfsa8c__4957_16.min1.thm1
2017-02-06 12:45
2.3K
scmfsa8c__4960_7.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__4968_20.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__5010_16.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__5011_23.min1.thm1
2017-02-06 12:45
679
scmfsa8c__5011_23.min1.thm1.tptp
2017-02-06 16:47
606
scmfsa8c__5035_47.min1.thm1
2017-02-06 12:45
665
scmfsa8c__5035_47.min1.thm1.tptp
2017-02-06 16:47
588
scmfsa8c__5044_18.min1.thm1
2017-02-06 12:45
2.1K
scmfsa8c__5045_17.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__5048_13.min1.thm1
2017-02-06 12:45
303
scmfsa8c__5061_58.min1.thm1
2017-02-06 12:45
639
scmfsa8c__5062_50.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__5072_11.min1.thm1
2017-02-06 12:45
465
scmfsa8c__5077_38.min1.thm1
2017-02-06 12:45
2.8K
scmfsa8c__5087_33.min1.thm1
2017-02-06 12:45
657
scmfsa8c__5093_48.min1.thm1
2017-02-06 12:45
764
scmfsa8c__5093_48.min1.thm1.tptp
2017-02-06 16:47
709
scmfsa8c__5097_21.min1.thm1
2017-02-06 12:45
461
scmfsa8c__5108_24.min1.thm1
2017-02-06 12:45
1.7K
scmfsa8c__5110_28.min1.thm1
2017-02-06 12:45
1.8K
scmfsa8c__5111_28.min1.thm1
2017-02-06 12:45
2.2K
scmfsa8c__5125_38.min1.thm1
2017-02-06 12:45
570
scmfsa8c__5125_38.min1.thm1.tptp
2017-02-06 16:47
515
scmfsa8c__5135_33.min1.thm1
2017-02-06 12:45
791
scmfsa8c__5154_17.min1.thm1
2017-02-06 12:45
237
scmfsa8c__5165_41.min1.thm1
2017-02-06 12:45
654
scmfsa8c__5193_33.min1.thm1
2017-02-06 12:45
791
scmfsa8c__5195_34.min1.thm1
2017-02-06 12:45
1.0K
scmfsa8c__5240_26.min1.thm1
2017-02-06 12:45
309
scmfsa8c__5242_41.min1.thm1
2017-02-06 12:45
397
scmfsa8c__5243_29.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__5244_15.min1.thm1
2017-02-06 12:45
1.1K
scmfsa8c__5248_26.min1.thm1
2017-02-06 12:45
309
scmfsa8c__5250_41.min1.thm1
2017-02-06 12:45
397
scmfsa8c__5251_49.min1.thm1
2017-02-06 12:45
2.6K
scmfsa8c__5252_35.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__5253_21.min1.thm1
2017-02-06 12:45
1.2K
scmfsa8c__5266_23.min1.thm1
2017-02-06 12:45
694
scmfsa8c__5266_23.min1.thm1.tptp
2017-02-06 16:47
621
scmfsa8c__5269_20.min1.thm1
2017-02-06 12:45
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80