Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/scmisort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__84_46.min1.thm12017-02-06 12:45 271  
[ ]scmisort__85_32.min1.thm12017-02-06 12:45 591  
[ ]scmisort__86_18.min1.thm12017-02-06 12:45 591  
[ ]scmisort__90_25.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__91_11.min1.thm12017-02-06 12:45 678  
[ ]scmisort__93_45.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__94_28.min1.thm12017-02-06 12:45 606  
[ ]scmisort__96_21.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__97_22.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__98_25.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__99_26.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__104_59.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__105_13.min1.thm12017-02-06 12:45 198  
[ ]scmisort__108_26.min1.thm12017-02-06 12:45 351  
[ ]scmisort__108_26.min1.thm1.tptp2017-02-06 16:47 283  
[ ]scmisort__109_36.min1.thm12017-02-06 12:45 721  
[ ]scmisort__111_28.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__116_29.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__117_28.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__118_21.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__133_22.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__134_21.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__137_24.min1.thm12017-02-06 12:45 248  
[ ]scmisort__138_20.min1.thm12017-02-06 12:45 457  
[ ]scmisort__138_20.min1.thm1.tptp2017-02-06 16:47 384  
[ ]scmisort__143_28.min1.thm12017-02-06 12:45 450  
[ ]scmisort__145_14.min1.thm12017-02-06 12:45 488  
[ ]scmisort__146_7.min1.thm12017-02-06 12:45 641  
[ ]scmisort__149_67.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__155_29.min1.thm12017-02-06 12:45 451  
[ ]scmisort__159_28.min1.thm12017-02-06 12:45 3.0K 
[ ]scmisort__160_8.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__207_46.min1.thm12017-02-06 12:45 271  
[ ]scmisort__208_33.min1.thm12017-02-06 12:45 591  
[ ]scmisort__209_18.min1.thm12017-02-06 12:45 591  
[ ]scmisort__213_25.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__214_11.min1.thm12017-02-06 12:45 678  
[ ]scmisort__216_45.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__217_28.min1.thm12017-02-06 12:45 606  
[ ]scmisort__219_21.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__220_22.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__221_25.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__222_26.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__227_59.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__228_13.min1.thm12017-02-06 12:45 198  
[ ]scmisort__231_26.min1.thm12017-02-06 12:45 351  
[ ]scmisort__231_26.min1.thm1.tptp2017-02-06 16:47 283  
[ ]scmisort__232_36.min1.thm12017-02-06 12:45 721  
[ ]scmisort__234_28.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__239_29.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__240_29.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__241_21.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__262_28.min1.thm12017-02-06 12:45 546  
[ ]scmisort__263_28.min1.thm12017-02-06 12:45 432  
[ ]scmisort__263_28.min1.thm1.tptp2017-02-06 16:47 353  
[ ]scmisort__268_26.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__269_25.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__288_21.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__348_32.min1.thm12017-02-06 12:45 3.5K 
[ ]scmisort__353_22.min1.thm12017-02-06 12:45 3.0K 
[ ]scmisort__378_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__409_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__412_27.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__441_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__444_27.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__469_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__472_27.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__475_13.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__494_44.min1.thm12017-02-06 12:45 245  
[ ]scmisort__495_30.min1.thm12017-02-06 12:45 245  
[ ]scmisort__499_9.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__504_37.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__510_15.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__539_25.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__550_29.min1.thm12017-02-06 12:45 245  
[ ]scmisort__551_30.min1.thm12017-02-06 12:45 245  
[ ]scmisort__559_37.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__566_23.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__578_11.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__579_42.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__591_18.min1.thm12017-02-06 12:45 307  
[ ]scmisort__599_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__603_48.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__617_17.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__660_51.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__663_22.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__666_32.min1.thm12017-02-06 12:45 245  
[ ]scmisort__667_32.min1.thm12017-02-06 12:45 245  
[ ]scmisort__668_50.min1.thm12017-02-06 12:45 517  
[ ]scmisort__668_50.min1.thm1.tptp2017-02-06 16:47 431  
[ ]scmisort__682_26.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__715_18.min1.thm12017-02-06 12:45 514  
[ ]scmisort__715_18.min1.thm1.tptp2017-02-06 16:47 428  
[ ]scmisort__717_24.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__717_24.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]scmisort__728_15.min1.thm12017-02-06 12:45 514  
[ ]scmisort__728_15.min1.thm1.tptp2017-02-06 16:47 428  
[ ]scmisort__730_15.min1.thm12017-02-06 12:45 514  
[ ]scmisort__730_15.min1.thm1.tptp2017-02-06 16:47 428  
[ ]scmisort__748_29.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__796_26.min1.thm12017-02-06 12:45 441  
[ ]scmisort__829_28.min1.thm12017-02-06 12:45 2.8K 
[ ]scmisort__834_15.min1.thm12017-02-06 12:45 380  
[ ]scmisort__840_35.min1.thm12017-02-06 12:45 865  
[ ]scmisort__852_19.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__854_66.min1.thm12017-02-06 12:45 3.2K 
[ ]scmisort__864_29.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__867_23.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__867_23.min1.thm1.tptp2017-02-06 16:47 2.6K 
[ ]scmisort__868_26.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__872_34.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__873_18.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__875_17.min1.thm12017-02-06 12:45 2.9K 
[ ]scmisort__877_55.min1.thm12017-02-06 12:45 2.8K 
[ ]scmisort__880_33.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__887_54.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__887_54.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]scmisort__889_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__892_13.min1.thm12017-02-06 12:45 189  
[ ]scmisort__895_45.min1.thm12017-02-06 12:45 3.0K 
[ ]scmisort__897_21.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__902_14.min1.thm12017-02-06 12:45 513  
[ ]scmisort__903_39.min1.thm12017-02-06 12:45 881  
[ ]scmisort__906_12.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__908_46.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__909_14.min1.thm12017-02-06 12:45 811  
[ ]scmisort__910_23.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__912_17.min1.thm12017-02-06 12:45 2.9K 
[ ]scmisort__913_47.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__920_48.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__920_48.min1.thm1.tptp2017-02-06 16:47 2.6K 
[ ]scmisort__924_14.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__928_18.min1.thm12017-02-06 12:45 2.9K 
[ ]scmisort__939_17.min1.thm12017-02-06 12:45 563  
[ ]scmisort__945_22.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__960_44.min1.thm12017-02-06 12:45 638  
[ ]scmisort__961_23.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__962_24.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__964_36.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__968_43.min1.thm12017-02-06 12:45 905  
[ ]scmisort__970_21.min1.thm12017-02-06 12:45 231  
[ ]scmisort__975_23.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__977_24.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__979_47.min1.thm12017-02-06 12:45 929  
[ ]scmisort__987_22.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__989_54.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__990_55.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__992_22.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__993_47.min1.thm12017-02-06 12:45 929  
[ ]scmisort__994_22.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__996_50.min1.thm12017-02-06 12:45 2.8K 
[ ]scmisort__997_26.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__999_25.min1.thm12017-02-06 12:45 2.9K 
[ ]scmisort__1002_23.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__1002_23.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]scmisort__1006_24.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__1008_25.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__1010_22.min1.thm12017-02-06 12:45 4.1K 
[ ]scmisort__1012_54.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__1013_26.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__1015_25.min1.thm12017-02-06 12:45 3.0K 
[ ]scmisort__1016_55.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__1017_47.min1.thm12017-02-06 12:45 930  
[ ]scmisort__1032_32.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__1032_32.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]scmisort__1034_27.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__1047_55.min1.thm12017-02-06 12:45 688  
[ ]scmisort__1074_15.min1.thm12017-02-06 12:45 301  
[ ]scmisort__1088_43.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__1090_22.min1.thm12017-02-06 12:45 396  
[ ]scmisort__1097_30.min1.thm12017-02-06 12:45 429  
[ ]scmisort__1099_16.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__1102_29.min1.thm12017-02-06 12:45 413  
[ ]scmisort__1103_29.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__1109_50.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1122_51.min1.thm12017-02-06 12:45 456  
[ ]scmisort__1126_16.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__1128_13.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__1132_13.min1.thm12017-02-06 12:45 275  
[ ]scmisort__1135_49.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1141_46.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1160_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__1163_32.min1.thm12017-02-06 12:45 478  
[ ]scmisort__1198_15.min1.thm12017-02-06 12:45 301  
[ ]scmisort__1201_25.min1.thm12017-02-06 12:45 2.8K 
[ ]scmisort__1216_24.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__1223_30.min1.thm12017-02-06 12:45 429  
[ ]scmisort__1225_16.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__1227_36.min1.thm12017-02-06 12:45 419  
[ ]scmisort__1256_19.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__1261_13.min1.thm12017-02-06 12:45 275  
[ ]scmisort__1265_49.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1271_46.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__1288_25.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__1296_17.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__1297_42.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__1305_11.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__1314_17.min1.thm12017-02-06 12:45 966  
[ ]scmisort__1321_19.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__1324_15.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1333_19.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1339_22.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1355_19.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__1360_8.min1.thm12017-02-06 12:45 743  
[ ]scmisort__1360_8.min1.thm1.tptp2017-02-06 16:47 670  
[ ]scmisort__1361_13.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__1379_32.min1.thm12017-02-06 12:45 634  
[ ]scmisort__1402_15.min1.thm12017-02-06 12:45 917  
[ ]scmisort__1403_26.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__1404_26.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__1405_37.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1415_72.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__1422_34.min1.thm12017-02-06 12:45 605  
[ ]scmisort__1426_11.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1427_41.min1.thm12017-02-06 12:45 713  
[ ]scmisort__1428_54.min1.thm12017-02-06 12:45 951  
[ ]scmisort__1432_41.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1436_15.min1.thm12017-02-06 12:45 225  
[ ]scmisort__1440_15.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1441_26.min1.thm12017-02-06 12:45 435  
[ ]scmisort__1441_26.min1.thm1.tptp2017-02-06 16:47 358  
[ ]scmisort__1442_56.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1469_38.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1472_48.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__1477_56.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__1486_40.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1488_53.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__1491_46.min1.thm12017-02-06 12:45 732  
[ ]scmisort__1504_26.min1.thm12017-02-06 12:45 503  
[ ]scmisort__1506_13.min1.thm12017-02-06 12:45 954  
[ ]scmisort__1511_13.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1524_23.min1.thm12017-02-06 12:45 479  
[ ]scmisort__1526_13.min1.thm12017-02-06 12:45 861  
[ ]scmisort__1546_26.min1.thm12017-02-06 12:45 503  
[ ]scmisort__1548_13.min1.thm12017-02-06 12:45 954  
[ ]scmisort__1551_56.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__1568_23.min1.thm12017-02-06 12:45 479  
[ ]scmisort__1570_13.min1.thm12017-02-06 12:45 861  
[ ]scmisort__1573_56.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__1691_46.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__1732_34.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1826_70.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__1828_68.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__1828_68.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]scmisort__1829_70.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__1839_45.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__1840_52.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__1841_50.min1.thm12017-02-06 12:45 832  
[ ]scmisort__1841_50.min1.thm1.tptp2017-02-06 16:47 765  
[ ]scmisort__1842_50.min1.thm12017-02-06 12:45 832  
[ ]scmisort__1842_50.min1.thm1.tptp2017-02-06 16:47 765  
[ ]scmisort__1843_52.min1.thm12017-02-06 12:45 832  
[ ]scmisort__1843_52.min1.thm1.tptp2017-02-06 16:47 765  
[ ]scmisort__1844_45.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__1854_32.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__1868_29.min1.thm12017-02-06 12:45 667  
[ ]scmisort__1893_61.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__1898_10.min1.thm12017-02-06 12:45 561  
[ ]scmisort__1927_59.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__1937_10.min1.thm12017-02-06 12:45 386  
[ ]scmisort__1937_10.min1.thm1.tptp2017-02-06 16:47 313  
[ ]scmisort__1942_10.min1.thm12017-02-06 12:45 269  
[ ]scmisort__1948_10.min1.thm12017-02-06 12:45 297  
[ ]scmisort__1955_20.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__1956_10.min1.thm12017-02-06 12:45 297  
[ ]scmisort__1966_15.min1.thm12017-02-06 12:45 750  
[ ]scmisort__1967_8.min1.thm12017-02-06 12:45 799  
[ ]scmisort__1977_14.min1.thm12017-02-06 12:45 935  
[ ]scmisort__1978_9.min1.thm12017-02-06 12:45 801  
[ ]scmisort__1990_33.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__1992_9.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__1996_9.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__2004_8.min1.thm12017-02-06 12:45 808  
[ ]scmisort__2012_9.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__2019_9.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__2029_30.min1.thm12017-02-06 12:45 324  
[ ]scmisort__2029_30.min1.thm1.tptp2017-02-06 16:47 247  
[ ]scmisort__2065_25.min1.thm12017-02-06 12:45 506  
[ ]scmisort__2065_25.min1.thm1.tptp2017-02-06 16:47 450  
[ ]scmisort__2066_25.min1.thm12017-02-06 12:45 501  
[ ]scmisort__2066_25.min1.thm1.tptp2017-02-06 16:47 445  
[ ]scmisort__2090_37.min1.thm12017-02-06 12:45 4.5K 
[ ]scmisort__2093_23.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__2097_7.min1.thm12017-02-06 12:45 799  
[ ]scmisort__2100_9.min1.thm12017-02-06 12:45 801  
[ ]scmisort__2101_20.min1.thm12017-02-06 12:45 641  
[ ]scmisort__2103_17.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2104_20.min1.thm12017-02-06 12:45 641  
[ ]scmisort__2106_24.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__2108_13.min1.thm12017-02-06 12:45 670  
[ ]scmisort__2109_20.min1.thm12017-02-06 12:45 642  
[ ]scmisort__2111_24.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__2113_13.min1.thm12017-02-06 12:45 828  
[ ]scmisort__2114_20.min1.thm12017-02-06 12:45 642  
[ ]scmisort__2116_24.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__2118_13.min1.thm12017-02-06 12:45 828  
[ ]scmisort__2119_20.min1.thm12017-02-06 12:45 642  
[ ]scmisort__2121_24.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__2123_14.min1.thm12017-02-06 12:45 830  
[ ]scmisort__2124_22.min1.thm12017-02-06 12:45 650  
[ ]scmisort__2126_26.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__2128_14.min1.thm12017-02-06 12:45 837  
[ ]scmisort__2161_48.min1.thm12017-02-06 12:45 2.8K 
[ ]scmisort__2166_12.min1.thm12017-02-06 12:45 620  
[ ]scmisort__2169_48.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2175_48.min1.thm12017-02-06 12:45 2.8K 
[ ]scmisort__2185_48.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__2189_14.min1.thm12017-02-06 12:45 841  
[ ]scmisort__2199_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2209_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2215_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2225_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2231_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2241_49.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2270_14.min1.thm12017-02-06 12:45 841  
[ ]scmisort__2290_14.min1.thm12017-02-06 12:45 841  
[ ]scmisort__2302_2.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__2311_14.min1.thm12017-02-06 12:45 841  
[ ]scmisort__2327_13.min1.thm12017-02-06 12:45 915  
[ ]scmisort__2329_13.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__2330_16.min1.thm12017-02-06 12:45 1.7K 
[ ]scmisort__2373_20.min1.thm12017-02-06 12:45 484  
[ ]scmisort__2373_20.min1.thm1.tptp2017-02-06 16:47 402  
[ ]scmisort__2433_28.min1.thm12017-02-06 12:45 529  
[ ]scmisort__2435_33.min1.thm12017-02-06 12:45 507  
[ ]scmisort__2442_13.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__2444_10.min1.thm12017-02-06 12:45 680  
[ ]scmisort__2444_10.min1.thm1.tptp2017-02-06 16:47 607  
[ ]scmisort__2462_13.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__2463_11.min1.thm12017-02-06 12:45 773  
[ ]scmisort__2468_16.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__2568_32.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__2569_41.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__2571_41.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__2572_29.min1.thm12017-02-06 12:45 734  
[ ]scmisort__2575_46.min1.thm12017-02-06 12:45 521  
[ ]scmisort__2578_58.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__2582_13.min1.thm12017-02-06 12:45 564  
[ ]scmisort__2615_32.min1.thm12017-02-06 12:45 3.9K 
[ ]scmisort__2616_41.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__2618_41.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__2619_29.min1.thm12017-02-06 12:45 734  
[ ]scmisort__2622_46.min1.thm12017-02-06 12:45 521  
[ ]scmisort__2623_52.min1.thm12017-02-06 12:45 33K 
[ ]scmisort__2626_58.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__2630_13.min1.thm12017-02-06 12:45 564  
[ ]scmisort__2643_11.min1.thm12017-02-06 12:45 307  
[ ]scmisort__2647_28.min1.thm12017-02-06 12:45 513  
[ ]scmisort__2649_22.min1.thm12017-02-06 12:45 491  
[ ]scmisort__2651_15.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2659_15.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2673_28.min1.thm12017-02-06 12:45 529  
[ ]scmisort__2675_22.min1.thm12017-02-06 12:45 507  
[ ]scmisort__2677_15.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__2684_18.min1.thm12017-02-06 12:45 858  
[ ]scmisort__2684_18.min1.thm1.tptp2017-02-06 16:47 785  
[ ]scmisort__2685_17.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2698_12.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__2701_11.min1.thm12017-02-06 12:45 307  
[ ]scmisort__2705_27.min1.thm12017-02-06 12:45 493  
[ ]scmisort__2707_32.min1.thm12017-02-06 12:45 471  
[ ]scmisort__2709_14.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__2737_29.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__2738_10.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__2743_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2752_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2765_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2768_20.min1.thm12017-02-06 12:45 518  
[ ]scmisort__2768_20.min1.thm1.tptp2017-02-06 16:47 436  
[ ]scmisort__2772_13.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__2784_13.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__2828_15.min1.thm12017-02-06 12:45 385  
[ ]scmisort__2845_21.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__2875_19.min1.thm12017-02-06 12:45 201  
[ ]scmisort__2901_25.min1.thm12017-02-06 12:45 287  
[ ]scmisort__2905_35.min1.thm12017-02-06 12:45 858  
[ ]scmisort__2911_27.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__2912_31.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__2923_50.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__2944_29.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__2945_69.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__2953_23.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__2954_34.min1.thm12017-02-06 12:45 2.6K 
[ ]scmisort__2982_15.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__2983_15.min1.thm12017-02-06 12:45 1.5K 
[ ]scmisort__3003_10.min1.thm12017-02-06 12:45 680  
[ ]scmisort__3003_10.min1.thm1.tptp2017-02-06 16:47 607  
[ ]scmisort__3011_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__3022_15.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__3032_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__3106_17.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3155_17.min1.thm12017-02-06 12:45 317  
[ ]scmisort__3183_18.min1.thm12017-02-06 12:45 942  
[ ]scmisort__3190_17.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__3197_20.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__3275_24.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__3276_23.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3302_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__3336_11.min1.thm12017-02-06 12:45 305  
[ ]scmisort__3403_18.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__3407_21.min1.thm12017-02-06 12:45 2.1K 
[ ]scmisort__3430_13.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__3465_19.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__3469_23.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__3470_55.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__3471_22.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__3477_24.min1.thm12017-02-06 12:45 2.4K 
[ ]scmisort__3483_28.min1.thm12017-02-06 12:45 2.5K 
[ ]scmisort__3515_29.min1.thm12017-02-06 12:45 293  
[ ]scmisort__3526_34.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__3554_24.min1.thm12017-02-06 12:45 1.6K 
[ ]scmisort__3650_13.min1.thm12017-02-06 12:45 2.0K 
[ ]scmisort__3711_21.min1.thm12017-02-06 12:45 635  
[ ]scmisort__3713_18.min1.thm12017-02-06 12:45 726  
[ ]scmisort__3717_10.min1.thm12017-02-06 12:45 584  
[ ]scmisort__3736_37.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__3737_38.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__3738_25.min1.thm12017-02-06 12:45 954  
[ ]scmisort__3743_37.min1.thm12017-02-06 12:45 635  
[ ]scmisort__3744_46.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__3746_22.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__3760_43.min1.thm12017-02-06 12:45 946  
[ ]scmisort__3761_31.min1.thm12017-02-06 12:45 693  
[ ]scmisort__3763_14.min1.thm12017-02-06 12:45 839  
[ ]scmisort__3776_22.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__3777_23.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__3782_21.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3783_21.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3788_16.min1.thm12017-02-06 12:45 942  
[ ]scmisort__3789_18.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__3789_18.min1.thm1.tptp2017-02-06 16:47 946  
[ ]scmisort__3856_21.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3857_21.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3858_22.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__3859_23.min1.thm12017-02-06 12:45 2.2K 
[ ]scmisort__3863_18.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__3864_17.min1.thm12017-02-06 12:45 2.7K 
[ ]scmisort__3865_16.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__3967_75.min1.thm12017-02-06 12:45 2.3K 
[ ]scmisort__3984_21.min1.thm12017-02-06 12:45 747  
[ ]scmisort__3984_21.min1.thm1.tptp2017-02-06 16:47 704  
[ ]scmisort__3986_31.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__3987_22.min1.thm12017-02-06 12:45 747  
[ ]scmisort__3987_22.min1.thm1.tptp2017-02-06 16:47 704  
[ ]scmisort__3992_18.min1.thm12017-02-06 12:45 575  
[ ]scmisort__3992_18.min1.thm1.tptp2017-02-06 16:47 518  
[ ]scmisort__3995_19.min1.thm12017-02-06 12:45 217  
[ ]scmisort__4002_27.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__4009_19.min1.thm12017-02-06 12:45 217  
[ ]scmisort__4016_27.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__4022_19.min1.thm12017-02-06 12:45 217  
[ ]scmisort__4029_27.min1.thm12017-02-06 12:45 1.9K 
[ ]scmisort__4038_41.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__4057_25.min1.thm12017-02-06 12:45 733  
[ ]scmisort__4058_58.min1.thm12017-02-06 12:45 1.8K 
[ ]scmisort__4059_26.min1.thm12017-02-06 12:45 768  
[ ]scmisort__4065_28.min1.thm12017-02-06 12:45 596  
[ ]scmisort__4067_32.min1.thm12017-02-06 12:45 480  
[ ]scmisort__4068_26.min1.thm12017-02-06 12:45 839  
[ ]scmisort__4070_30.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__4072_39.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__4074_25.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__4084_44.min1.thm12017-02-06 12:45 1.0K 
[ ]scmisort__4088_12.min1.thm12017-02-06 12:45 224  
[ ]scmisort__4089_23.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__4091_19.min1.thm12017-02-06 12:45 331  
[ ]scmisort__4092_17.min1.thm12017-02-06 12:45 331  
[ ]scmisort__4097_35.min1.thm12017-02-06 12:45 1.3K 
[ ]scmisort__4100_16.min1.thm12017-02-06 12:45 690  
[ ]scmisort__4104_60.min1.thm12017-02-06 12:45 891  
[ ]scmisort__4106_6.min1.thm12017-02-06 12:45 1.1K 
[ ]scmisort__4120_41.min1.thm12017-02-06 12:45 636  
[ ]scmisort__4121_11.min1.thm12017-02-06 12:45 1.4K 
[ ]scmisort__4124_7.min1.thm12017-02-06 12:45 1.2K 
[ ]scmisort__4127_17.min1.thm12017-02-06 12:45 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80