Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/scm_halt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_halt__63_45.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__109_38.min1.thm12017-02-06 12:45 898  
[ ]scm_halt__110_26.min1.thm12017-02-06 12:45 664  
[ ]scm_halt__113_18.min1.thm12017-02-06 12:45 442  
[ ]scm_halt__113_18.min1.thm1.tptp2017-02-06 16:47 386  
[ ]scm_halt__119_16.min1.thm12017-02-06 12:45 442  
[ ]scm_halt__140_20.min1.thm12017-02-06 12:45 604  
[ ]scm_halt__141_26.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__159_20.min1.thm12017-02-06 12:45 604  
[ ]scm_halt__160_26.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__182_23.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__186_37.min1.thm12017-02-06 12:45 877  
[ ]scm_halt__187_54.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__216_16.min1.thm12017-02-06 12:45 597  
[ ]scm_halt__221_24.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__225_37.min1.thm12017-02-06 12:45 878  
[ ]scm_halt__229_36.min1.thm12017-02-06 12:45 656  
[ ]scm_halt__233_25.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__235_31.min1.thm12017-02-06 12:45 401  
[ ]scm_halt__235_31.min1.thm1.tptp2017-02-06 16:47 333  
[ ]scm_halt__241_31.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__243_32.min1.thm12017-02-06 12:45 721  
[ ]scm_halt__243_32.min1.thm1.tptp2017-02-06 16:47 641  
[ ]scm_halt__244_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__248_18.min1.thm12017-02-06 12:45 604  
[ ]scm_halt__251_17.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__255_37.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__259_47.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__260_45.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__262_42.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__267_23.min1.thm12017-02-06 12:45 972  
[ ]scm_halt__293_14.min1.thm12017-02-06 12:45 604  
[ ]scm_halt__295_24.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__308_38.min1.thm12017-02-06 12:45 593  
[ ]scm_halt__311_56.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__313_14.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__320_17.min1.thm12017-02-06 12:45 887  
[ ]scm_halt__334_38.min1.thm12017-02-06 12:45 693  
[ ]scm_halt__338_9.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__340_14.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__346_18.min1.thm12017-02-06 12:45 887  
[ ]scm_halt__356_11.min1.thm12017-02-06 12:45 330  
[ ]scm_halt__398_37.min1.thm12017-02-06 12:45 3.4K 
[ ]scm_halt__408_15.min1.thm12017-02-06 12:45 2.6K 
[ ]scm_halt__410_30.min1.thm12017-02-06 12:45 2.6K 
[ ]scm_halt__417_19.min1.thm12017-02-06 12:45 667  
[ ]scm_halt__417_19.min1.thm1.tptp2017-02-06 16:47 588  
[ ]scm_halt__418_19.min1.thm12017-02-06 12:45 667  
[ ]scm_halt__418_19.min1.thm1.tptp2017-02-06 16:47 588  
[ ]scm_halt__422_14.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__424_16.min1.thm12017-02-06 12:45 668  
[ ]scm_halt__424_16.min1.thm1.tptp2017-02-06 16:47 589  
[ ]scm_halt__426_34.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__433_29.min1.thm12017-02-06 12:45 4.3K 
[ ]scm_halt__439_14.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__439_14.min1.thm1.tptp2017-02-06 16:47 1.7K 
[ ]scm_halt__462_34.min1.thm12017-02-06 12:45 2.5K 
[ ]scm_halt__463_34.min1.thm12017-02-06 12:45 2.5K 
[ ]scm_halt__466_8.min1.thm12017-02-06 12:45 2.5K 
[ ]scm_halt__500_33.min1.thm12017-02-06 12:45 3.5K 
[ ]scm_halt__504_22.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__544_16.min1.thm12017-02-06 12:45 917  
[ ]scm_halt__553_5.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__562_14.min1.thm12017-02-06 12:45 892  
[ ]scm_halt__562_14.min1.thm1.tptp2017-02-06 16:47 816  
[ ]scm_halt__584_20.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__592_51.min1.thm12017-02-06 12:45 737  
[ ]scm_halt__598_33.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__607_47.min1.thm12017-02-06 12:45 3.5K 
[ ]scm_halt__636_16.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__639_18.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__640_17.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__644_17.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__648_24.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__667_19.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__670_19.min1.thm12017-02-06 12:45 890  
[ ]scm_halt__671_15.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__692_44.min1.thm12017-02-06 12:45 2.3K 
[ ]scm_halt__700_22.min1.thm12017-02-06 12:45 5.3K 
[ ]scm_halt__712_12.min1.thm12017-02-06 12:45 1.0K 
[ ]scm_halt__713_18.min1.thm12017-02-06 12:45 606  
[ ]scm_halt__717_35.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__734_14.min1.thm12017-02-06 12:45 787  
[ ]scm_halt__740_16.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__741_16.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__758_30.min1.thm12017-02-06 12:45 941  
[ ]scm_halt__758_30.min1.thm1.tptp2017-02-06 16:47 872  
[ ]scm_halt__760_31.min1.thm12017-02-06 12:45 967  
[ ]scm_halt__760_31.min1.thm1.tptp2017-02-06 16:47 898  
[ ]scm_halt__772_19.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__775_15.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__795_43.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__802_22.min1.thm12017-02-06 12:45 5.3K 
[ ]scm_halt__819_12.min1.thm12017-02-06 12:45 1.0K 
[ ]scm_halt__835_13.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__845_13.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__853_30.min1.thm12017-02-06 12:45 941  
[ ]scm_halt__853_30.min1.thm1.tptp2017-02-06 16:47 872  
[ ]scm_halt__855_32.min1.thm12017-02-06 12:45 967  
[ ]scm_halt__855_32.min1.thm1.tptp2017-02-06 16:47 898  
[ ]scm_halt__864_19.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__867_15.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__886_43.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__894_41.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__920_14.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__932_28.min1.thm12017-02-06 12:45 513  
[ ]scm_halt__932_28.min1.thm1.tptp2017-02-06 16:47 433  
[ ]scm_halt__935_20.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__991_14.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__999_24.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1000_14.min1.thm12017-02-06 12:45 917  
[ ]scm_halt__1003_28.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__1005_22.min1.thm12017-02-06 12:45 505  
[ ]scm_halt__1006_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__1009_49.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1016_18.min1.thm12017-02-06 12:45 918  
[ ]scm_halt__1020_55.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__1029_34.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__1031_16.min1.thm12017-02-06 12:45 448  
[ ]scm_halt__1031_16.min1.thm1.tptp2017-02-06 16:47 394  
[ ]scm_halt__1041_45.min1.thm12017-02-06 12:45 649  
[ ]scm_halt__1059_30.min1.thm12017-02-06 12:45 585  
[ ]scm_halt__1060_29.min1.thm12017-02-06 12:45 585  
[ ]scm_halt__1061_30.min1.thm12017-02-06 12:45 473  
[ ]scm_halt__1063_21.min1.thm12017-02-06 12:45 879  
[ ]scm_halt__1075_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__1077_20.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__1088_31.min1.thm12017-02-06 12:45 573  
[ ]scm_halt__1099_13.min1.thm12017-02-06 12:45 379  
[ ]scm_halt__1109_40.min1.thm12017-02-06 12:45 889  
[ ]scm_halt__1110_18.min1.thm12017-02-06 12:45 568  
[ ]scm_halt__1110_18.min1.thm1.tptp2017-02-06 16:47 486  
[ ]scm_halt__1118_14.min1.thm12017-02-06 12:45 605  
[ ]scm_halt__1121_14.min1.thm12017-02-06 12:45 918  
[ ]scm_halt__1134_59.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__1156_25.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__1160_14.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1163_14.min1.thm12017-02-06 12:45 949  
[ ]scm_halt__1169_14.min1.thm12017-02-06 12:45 950  
[ ]scm_halt__1176_36.min1.thm12017-02-06 12:45 3.3K 
[ ]scm_halt__1179_26.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__1181_40.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__1182_18.min1.thm12017-02-06 12:45 468  
[ ]scm_halt__1182_18.min1.thm1.tptp2017-02-06 16:47 414  
[ ]scm_halt__1185_34.min1.thm12017-02-06 12:45 569  
[ ]scm_halt__1187_17.min1.thm12017-02-06 12:45 893  
[ ]scm_halt__1203_29.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__1205_23.min1.thm12017-02-06 12:45 527  
[ ]scm_halt__1219_14.min1.thm12017-02-06 12:45 950  
[ ]scm_halt__1225_28.min1.thm12017-02-06 12:45 604  
[ ]scm_halt__1227_57.min1.thm12017-02-06 12:45 2.8K 
[ ]scm_halt__1233_24.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__1234_16.min1.thm12017-02-06 12:45 502  
[ ]scm_halt__1254_17.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__1272_17.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1289_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1292_25.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__1294_34.min1.thm12017-02-06 12:45 709  
[ ]scm_halt__1300_37.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__1303_19.min1.thm12017-02-06 12:45 3.4K 
[ ]scm_halt__1304_36.min1.thm12017-02-06 12:45 3.7K 
[ ]scm_halt__1308_65.min1.thm12017-02-06 12:45 2.8K 
[ ]scm_halt__1309_26.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__1347_17.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__1348_30.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__1349_23.min1.thm12017-02-06 12:45 507  
[ ]scm_halt__1369_15.min1.thm12017-02-06 12:45 225  
[ ]scm_halt__1372_25.min1.thm12017-02-06 12:45 435  
[ ]scm_halt__1372_25.min1.thm1.tptp2017-02-06 16:47 358  
[ ]scm_halt__1379_27.min1.thm12017-02-06 12:45 2.4K 
[ ]scm_halt__1386_39.min1.thm12017-02-06 12:45 703  
[ ]scm_halt__1413_14.min1.thm12017-02-06 12:45 886  
[ ]scm_halt__1418_20.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__1426_28.min1.thm12017-02-06 12:45 513  
[ ]scm_halt__1426_28.min1.thm1.tptp2017-02-06 16:47 433  
[ ]scm_halt__1474_55.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__1476_45.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__1480_33.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__1502_14.min1.thm12017-02-06 12:45 917  
[ ]scm_halt__1504_20.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__1507_14.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1511_20.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__1513_14.min1.thm12017-02-06 12:45 917  
[ ]scm_halt__1519_19.min1.thm12017-02-06 12:45 887  
[ ]scm_halt__1522_29.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__1525_15.min1.thm12017-02-06 12:45 918  
[ ]scm_halt__1532_20.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__1536_29.min1.thm12017-02-06 12:45 699  
[ ]scm_halt__1538_53.min1.thm12017-02-06 12:45 2.3K 
[ ]scm_halt__1539_29.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__1540_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__1541_33.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1542_27.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__1543_15.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__1563_30.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__1571_46.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__1604_31.min1.thm12017-02-06 12:45 436  
[ ]scm_halt__1604_31.min1.thm1.tptp2017-02-06 16:47 359  
[ ]scm_halt__1606_43.min1.thm12017-02-06 12:45 542  
[ ]scm_halt__1615_31.min1.thm12017-02-06 12:45 339  
[ ]scm_halt__1615_31.min1.thm1.tptp2017-02-06 16:47 258  
[ ]scm_halt__1617_43.min1.thm12017-02-06 12:45 542  
[ ]scm_halt__1626_33.min1.thm12017-02-06 12:45 377  
[ ]scm_halt__1626_33.min1.thm1.tptp2017-02-06 16:47 312  
[ ]scm_halt__1674_25.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__1675_18.min1.thm12017-02-06 12:45 918  
[ ]scm_halt__1677_13.min1.thm12017-02-06 12:45 361  
[ ]scm_halt__1682_17.min1.thm12017-02-06 12:45 439  
[ ]scm_halt__1697_23.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1698_43.min1.thm12017-02-06 12:45 913  
[ ]scm_halt__1706_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__1714_34.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__1714_34.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]scm_halt__1796_2.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__1800_16.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__1803_47.min1.thm12017-02-06 12:45 707  
[ ]scm_halt__1805_17.min1.thm12017-02-06 12:45 211  
[ ]scm_halt__1815_26.min1.thm12017-02-06 12:45 538  
[ ]scm_halt__1819_22.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__1825_50.min1.thm12017-02-06 12:45 631  
[ ]scm_halt__1844_64.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__1845_23.min1.thm12017-02-06 12:45 479  
[ ]scm_halt__1847_34.min1.thm12017-02-06 12:45 861  
[ ]scm_halt__1866_64.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__1867_26.min1.thm12017-02-06 12:45 503  
[ ]scm_halt__1869_34.min1.thm12017-02-06 12:45 954  
[ ]scm_halt__1901_16.min1.thm12017-02-06 12:45 871  
[ ]scm_halt__1907_35.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__1917_18.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__1938_17.min1.thm12017-02-06 12:45 871  
[ ]scm_halt__1941_36.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__1953_18.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__1978_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__1986_24.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__1993_16.min1.thm12017-02-06 12:45 498  
[ ]scm_halt__2004_15.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__2016_34.min1.thm12017-02-06 12:45 813  
[ ]scm_halt__2035_11.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__2080_21.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__2097_47.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2108_48.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__2109_34.min1.thm12017-02-06 12:45 2.4K 
[ ]scm_halt__2124_14.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2127_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2129_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2149_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2151_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2152_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2167_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2170_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2172_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2193_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2195_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2196_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2218_27.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__2221_13.min1.thm12017-02-06 12:45 249  
[ ]scm_halt__2224_47.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__2229_47.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__2236_34.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2238_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2257_13.min1.thm12017-02-06 12:45 245  
[ ]scm_halt__2262_24.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2270_24.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2279_20.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2288_6.min1.thm12017-02-06 12:45 3.3K 
[ ]scm_halt__2294_16.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2301_57.min1.thm12017-02-06 12:45 3.3K 
[ ]scm_halt__2317_14.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2320_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2322_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2342_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2344_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2345_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2360_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2363_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2365_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2386_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2388_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2389_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2411_27.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__2414_13.min1.thm12017-02-06 12:45 275  
[ ]scm_halt__2417_47.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__2422_47.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__2429_34.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2431_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2451_13.min1.thm12017-02-06 12:45 271  
[ ]scm_halt__2456_24.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2464_24.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2473_20.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2481_59.min1.thm12017-02-06 12:45 3.3K 
[ ]scm_halt__2487_16.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2494_57.min1.thm12017-02-06 12:45 3.3K 
[ ]scm_halt__2512_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2514_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2515_17.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2531_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2533_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2534_17.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2550_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2552_30.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2553_17.min1.thm12017-02-06 12:45 3.1K 
[ ]scm_halt__2571_43.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2576_13.min1.thm12017-02-06 12:45 245  
[ ]scm_halt__2581_33.min1.thm12017-02-06 12:45 3.0K 
[ ]scm_halt__2613_44.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2619_38.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2620_36.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2635_43.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2641_37.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2642_35.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__2655_36.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__2656_17.min1.thm12017-02-06 12:45 2.7K 
[ ]scm_halt__2670_35.min1.thm12017-02-06 12:45 2.6K 
[ ]scm_halt__2671_17.min1.thm12017-02-06 12:45 2.5K 
[ ]scm_halt__2690_36.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__2711_22.min1.thm12017-02-06 12:45 445  
[ ]scm_halt__2711_22.min1.thm1.tptp2017-02-06 16:47 367  
[ ]scm_halt__2714_23.min1.thm12017-02-06 12:45 502  
[ ]scm_halt__2718_28.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__2720_6.min1.thm12017-02-06 12:45 2.3K 
[ ]scm_halt__2724_17.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__2747_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__2760_32.min1.thm12017-02-06 12:45 2.1K 
[ ]scm_halt__2770_47.min1.thm12017-02-06 12:45 3.5K 
[ ]scm_halt__2802_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__2828_14.min1.thm12017-02-06 12:45 855  
[ ]scm_halt__2831_19.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__2838_21.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__2844_34.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__2891_14.min1.thm12017-02-06 12:45 855  
[ ]scm_halt__2894_19.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__2899_34.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__2908_19.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__2929_70.min1.thm12017-02-06 12:45 344  
[ ]scm_halt__2929_70.min1.thm1.tptp2017-02-06 16:47 268  
[ ]scm_halt__2935_19.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__2940_44.min1.thm12017-02-06 12:45 587  
[ ]scm_halt__2940_44.min1.thm1.tptp2017-02-06 16:47 512  
[ ]scm_halt__2946_21.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__2956_27.min1.thm12017-02-06 12:45 1.9K 
[ ]scm_halt__2968_19.min1.thm12017-02-06 12:45 2.8K 
[ ]scm_halt__3017_15.min1.thm12017-02-06 12:45 2.4K 
[ ]scm_halt__3020_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__3067_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__3090_37.min1.thm12017-02-06 12:45 2.4K 
[ ]scm_halt__3102_31.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__3106_45.min1.thm12017-02-06 12:45 2.4K 
[ ]scm_halt__3116_45.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__3116_45.min1.thm1.tptp2017-02-06 16:47 2.1K 
[ ]scm_halt__3126_60.min1.thm12017-02-06 12:45 2.5K 
[ ]scm_halt__3128_56.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__3130_43.min1.thm12017-02-06 12:45 2.9K 
[ ]scm_halt__3130_43.min1.thm1.tptp2017-02-06 16:47 2.8K 
[ ]scm_halt__3132_15.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__3240_9.min1.thm12017-02-06 12:45 2.6K 
[ ]scm_halt__3245_26.min1.thm12017-02-06 12:45 798  
[ ]scm_halt__3246_35.min1.thm12017-02-06 12:45 521  
[ ]scm_halt__3250_27.min1.thm12017-02-06 12:45 433  
[ ]scm_halt__3250_27.min1.thm1.tptp2017-02-06 16:47 368  
[ ]scm_halt__3254_42.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__3256_45.min1.thm12017-02-06 12:45 1.5K 
[ ]scm_halt__3284_8.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__3301_11.min1.thm12017-02-06 12:45 269  
[ ]scm_halt__3329_13.min1.thm12017-02-06 12:45 275  
[ ]scm_halt__3333_30.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__3345_31.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__3440_36.min1.thm12017-02-06 12:45 1.0K 
[ ]scm_halt__3482_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scm_halt__3507_37.min1.thm12017-02-06 12:45 1.0K 
[ ]scm_halt__3507_37.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]scm_halt__3508_22.min1.thm12017-02-06 12:45 678  
[ ]scm_halt__3508_22.min1.thm1.tptp2017-02-06 16:47 605  
[ ]scm_halt__3511_29.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__3517_18.min1.thm12017-02-06 12:45 742  
[ ]scm_halt__3517_18.min1.thm1.tptp2017-02-06 16:47 669  
[ ]scm_halt__3531_20.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__3546_70.min1.thm12017-02-06 12:45 2.8K 
[ ]scm_halt__3564_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__3583_48.min1.thm12017-02-06 12:45 665  
[ ]scm_halt__3583_48.min1.thm1.tptp2017-02-06 16:47 588  
[ ]scm_halt__3595_28.min1.thm12017-02-06 12:45 2.6K 
[ ]scm_halt__3596_18.min1.thm12017-02-06 12:45 2.0K 
[ ]scm_halt__3597_17.min1.thm12017-02-06 12:45 1.1K 
[ ]scm_halt__3600_13.min1.thm12017-02-06 12:45 303  
[ ]scm_halt__3611_58.min1.thm12017-02-06 12:45 639  
[ ]scm_halt__3612_51.min1.thm12017-02-06 12:45 1.2K 
[ ]scm_halt__3628_23.min1.thm12017-02-06 12:45 679  
[ ]scm_halt__3628_23.min1.thm1.tptp2017-02-06 16:47 606  
[ ]scm_halt__3637_11.min1.thm12017-02-06 12:45 465  
[ ]scm_halt__3642_37.min1.thm12017-02-06 12:45 2.8K 
[ ]scm_halt__3660_38.min1.thm12017-02-06 12:45 570  
[ ]scm_halt__3660_38.min1.thm1.tptp2017-02-06 16:47 515  
[ ]scm_halt__3671_24.min1.thm12017-02-06 12:45 1.7K 
[ ]scm_halt__3673_28.min1.thm12017-02-06 12:45 1.8K 
[ ]scm_halt__3674_28.min1.thm12017-02-06 12:45 2.2K 
[ ]scm_halt__3688_50.min1.thm12017-02-06 12:45 766  
[ ]scm_halt__3688_50.min1.thm1.tptp2017-02-06 16:47 711  
[ ]scm_halt__3720_17.min1.thm12017-02-06 12:45 237  
[ ]scm_halt__3731_41.min1.thm12017-02-06 12:45 654  
[ ]scm_halt__3746_37.min1.thm12017-02-06 12:45 2.3K 
[ ]scm_halt__3747_40.min1.thm12017-02-06 12:45 1.6K 
[ ]scm_halt__3787_33.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__3788_26.min1.thm12017-02-06 12:45 503  
[ ]scm_halt__3790_13.min1.thm12017-02-06 12:45 954  
[ ]scm_halt__3796_13.min1.thm12017-02-06 12:45 1.0K 
[ ]scm_halt__3811_33.min1.thm12017-02-06 12:45 1.3K 
[ ]scm_halt__3812_23.min1.thm12017-02-06 12:45 479  
[ ]scm_halt__3814_13.min1.thm12017-02-06 12:45 861  
[ ]scm_halt__3834_26.min1.thm12017-02-06 12:45 503  
[ ]scm_halt__3836_13.min1.thm12017-02-06 12:45 954  
[ ]scm_halt__3856_23.min1.thm12017-02-06 12:45 479  
[ ]scm_halt__3858_13.min1.thm12017-02-06 12:45 861  
[ ]scm_halt__3874_29.min1.thm12017-02-06 12:45 465  
[ ]scm_halt__3874_29.min1.thm1.tptp2017-02-06 16:47 409  
[ ]scm_halt__3879_8.min1.thm12017-02-06 12:45 1.0K 
[ ]scm_halt__3880_37.min1.thm12017-02-06 12:45 446  
[ ]scm_halt__3880_37.min1.thm1.tptp2017-02-06 16:47 369  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80