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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topalg_1__56_30.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__57_14.min1.thm12017-02-06 12:45 680  
[ ]topalg_1__68_17.min1.thm12017-02-06 12:45 538  
[ ]topalg_1__73_43.min1.thm12017-02-06 12:45 643  
[ ]topalg_1__74_17.min1.thm12017-02-06 12:45 657  
[ ]topalg_1__76_22.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__77_13.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__78_19.min1.thm12017-02-06 12:45 2.2K 
[ ]topalg_1__83_31.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__84_13.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__85_13.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__86_11.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__87_16.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__89_13.min1.thm12017-02-06 12:45 615  
[ ]topalg_1__90_15.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__91_17.min1.thm12017-02-06 12:45 801  
[ ]topalg_1__102_17.min1.thm12017-02-06 12:45 538  
[ ]topalg_1__107_43.min1.thm12017-02-06 12:45 643  
[ ]topalg_1__108_17.min1.thm12017-02-06 12:45 657  
[ ]topalg_1__111_13.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__112_19.min1.thm12017-02-06 12:45 2.3K 
[ ]topalg_1__117_31.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__118_13.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__120_17.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__121_13.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__122_11.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__123_16.min1.thm12017-02-06 12:45 2.4K 
[ ]topalg_1__124_17.min1.thm12017-02-06 12:45 800  
[ ]topalg_1__137_13.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__140_29.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__141_13.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__142_13.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__143_18.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__144_19.min1.thm12017-02-06 12:45 701  
[ ]topalg_1__146_38.min1.thm12017-02-06 12:45 411  
[ ]topalg_1__146_38.min1.thm1.tptp2017-02-06 16:47 333  
[ ]topalg_1__147_25.min1.thm12017-02-06 12:45 1.8K 
[ ]topalg_1__148_17.min1.thm12017-02-06 12:45 645  
[ ]topalg_1__161_13.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__164_29.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__165_22.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__166_19.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__168_38.min1.thm12017-02-06 12:45 401  
[ ]topalg_1__168_38.min1.thm1.tptp2017-02-06 16:47 323  
[ ]topalg_1__169_25.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__170_17.min1.thm12017-02-06 12:45 645  
[ ]topalg_1__177_28.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__177_45.min1.thm12017-02-06 12:45 2.4K 
[ ]topalg_1__197_39.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__199_23.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__200_25.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__211_23.min1.thm12017-02-06 12:45 909  
[ ]topalg_1__224_40.min1.thm12017-02-06 12:45 2.4K 
[ ]topalg_1__226_14.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__235_52.min1.thm12017-02-06 12:45 685  
[ ]topalg_1__236_17.min1.thm12017-02-06 12:45 866  
[ ]topalg_1__258_20.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__263_16.min1.thm12017-02-06 12:45 373  
[ ]topalg_1__286_15.min1.thm12017-02-06 12:45 372  
[ ]topalg_1__289_17.min1.thm12017-02-06 12:45 764  
[ ]topalg_1__322_18.min1.thm12017-02-06 12:45 765  
[ ]topalg_1__323_16.min1.thm12017-02-06 12:45 373  
[ ]topalg_1__327_18.min1.thm12017-02-06 12:45 764  
[ ]topalg_1__356_13.min1.thm12017-02-06 12:45 372  
[ ]topalg_1__363_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__363_29.min1.thm1.tptp2017-02-06 16:47 968  
[ ]topalg_1__364_15.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__364_15.min1.thm1.tptp2017-02-06 16:47 968  
[ ]topalg_1__381_46.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__382_47.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__387_22.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__389_13.min1.thm12017-02-06 12:45 189  
[ ]topalg_1__393_19.min1.thm12017-02-06 12:45 775  
[ ]topalg_1__400_21.min1.thm12017-02-06 12:45 270  
[ ]topalg_1__401_24.min1.thm12017-02-06 12:45 271  
[ ]topalg_1__410_37.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__413_52.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__414_29.min1.thm12017-02-06 12:45 713  
[ ]topalg_1__415_26.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__419_22.min1.thm12017-02-06 12:45 939  
[ ]topalg_1__428_20.min1.thm12017-02-06 12:45 938  
[ ]topalg_1__429_26.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__431_17.min1.thm12017-02-06 12:45 864  
[ ]topalg_1__432_20.min1.thm12017-02-06 12:45 507  
[ ]topalg_1__439_35.min1.thm12017-02-06 12:45 748  
[ ]topalg_1__441_26.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__459_11.min1.thm12017-02-06 12:45 257  
[ ]topalg_1__467_48.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__472_24.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__473_17.min1.thm12017-02-06 12:45 786  
[ ]topalg_1__474_50.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__478_50.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__482_19.min1.thm12017-02-06 12:45 774  
[ ]topalg_1__488_19.min1.thm12017-02-06 12:45 774  
[ ]topalg_1__495_20.min1.thm12017-02-06 12:45 921  
[ ]topalg_1__496_23.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__505_18.min1.thm12017-02-06 12:45 832  
[ ]topalg_1__506_37.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__507_53.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__508_53.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__509_29.min1.thm12017-02-06 12:45 713  
[ ]topalg_1__511_22.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__512_18.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__516_22.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__522_30.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__542_35.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__542_35.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]topalg_1__553_35.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__553_35.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]topalg_1__570_32.min1.thm12017-02-06 12:45 348  
[ ]topalg_1__570_32.min1.thm1.tptp2017-02-06 16:47 271  
[ ]topalg_1__571_16.min1.thm12017-02-06 12:45 393  
[ ]topalg_1__577_47.min1.thm12017-02-06 12:45 2.8K 
[ ]topalg_1__579_16.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__581_19.min1.thm12017-02-06 12:45 738  
[ ]topalg_1__583_45.min1.thm12017-02-06 12:45 482  
[ ]topalg_1__584_15.min1.thm12017-02-06 12:45 374  
[ ]topalg_1__589_23.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__590_15.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__591_13.min1.thm12017-02-06 12:45 253  
[ ]topalg_1__594_23.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__595_21.min1.thm12017-02-06 12:45 2.4K 
[ ]topalg_1__612_21.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__619_15.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__623_17.min1.thm12017-02-06 12:45 643  
[ ]topalg_1__636_27.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__638_47.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__638_47.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]topalg_1__640_21.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__645_33.min1.thm12017-02-06 12:45 1.8K 
[ ]topalg_1__650_30.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__667_23.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__678_21.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__682_29.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__688_24.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__689_20.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__698_56.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__700_20.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__712_28.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__715_58.min1.thm12017-02-06 12:45 919  
[ ]topalg_1__717_23.min1.thm12017-02-06 12:45 792  
[ ]topalg_1__722_31.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__723_67.min1.thm12017-02-06 12:45 691  
[ ]topalg_1__747_23.min1.thm12017-02-06 12:45 484  
[ ]topalg_1__747_23.min1.thm1.tptp2017-02-06 16:47 402  
[ ]topalg_1__748_21.min1.thm12017-02-06 12:45 3.1K 
[ ]topalg_1__757_15.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__758_21.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__762_59.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__780_43.min1.thm12017-02-06 12:45 597  
[ ]topalg_1__780_43.min1.thm1.tptp2017-02-06 16:47 519  
[ ]topalg_1__782_35.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__784_19.min1.thm12017-02-06 12:45 865  
[ ]topalg_1__790_19.min1.thm12017-02-06 12:45 396  
[ ]topalg_1__801_56.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__803_20.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__810_23.min1.thm12017-02-06 12:45 792  
[ ]topalg_1__811_23.min1.thm12017-02-06 12:45 484  
[ ]topalg_1__811_23.min1.thm1.tptp2017-02-06 16:47 402  
[ ]topalg_1__812_28.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__823_19.min1.thm12017-02-06 12:45 229  
[ ]topalg_1__827_24.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__840_21.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__841_25.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__845_32.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__847_19.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__849_22.min1.thm12017-02-06 12:45 397  
[ ]topalg_1__851_31.min1.thm12017-02-06 12:45 3.1K 
[ ]topalg_1__852_28.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__870_32.min1.thm12017-02-06 12:45 348  
[ ]topalg_1__870_32.min1.thm1.tptp2017-02-06 16:47 271  
[ ]topalg_1__871_16.min1.thm12017-02-06 12:45 393  
[ ]topalg_1__877_47.min1.thm12017-02-06 12:45 2.8K 
[ ]topalg_1__879_16.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__881_15.min1.thm12017-02-06 12:45 704  
[ ]topalg_1__883_45.min1.thm12017-02-06 12:45 482  
[ ]topalg_1__884_15.min1.thm12017-02-06 12:45 374  
[ ]topalg_1__889_23.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__890_15.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__891_13.min1.thm12017-02-06 12:45 219  
[ ]topalg_1__896_15.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__897_24.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__913_63.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__915_17.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__924_17.min1.thm12017-02-06 12:45 567  
[ ]topalg_1__937_27.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__939_47.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__939_47.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]topalg_1__941_28.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__956_23.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__957_40.min1.thm12017-02-06 12:45 4.2K 
[ ]topalg_1__971_29.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__977_24.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__978_16.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__987_56.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__989_20.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1000_28.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__1003_58.min1.thm12017-02-06 12:45 919  
[ ]topalg_1__1005_19.min1.thm12017-02-06 12:45 758  
[ ]topalg_1__1009_31.min1.thm12017-02-06 12:45 2.9K 
[ ]topalg_1__1010_57.min1.thm12017-02-06 12:45 827  
[ ]topalg_1__1043_59.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1060_23.min1.thm12017-02-06 12:45 778  
[ ]topalg_1__1062_19.min1.thm12017-02-06 12:45 395  
[ ]topalg_1__1065_41.min1.thm12017-02-06 12:45 571  
[ ]topalg_1__1065_41.min1.thm1.tptp2017-02-06 16:47 493  
[ ]topalg_1__1068_14.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__1072_24.min1.thm12017-02-06 12:45 841  
[ ]topalg_1__1082_56.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1084_20.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1091_19.min1.thm12017-02-06 12:45 758  
[ ]topalg_1__1092_19.min1.thm12017-02-06 12:45 450  
[ ]topalg_1__1092_19.min1.thm1.tptp2017-02-06 16:47 368  
[ ]topalg_1__1093_28.min1.thm12017-02-06 12:45 713  
[ ]topalg_1__1104_19.min1.thm12017-02-06 12:45 239  
[ ]topalg_1__1120_17.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__1122_22.min1.thm12017-02-06 12:45 397  
[ ]topalg_1__1124_29.min1.thm12017-02-06 12:45 2.6K 
[ ]topalg_1__1167_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1196_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1222_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1248_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1264_45.min1.thm12017-02-06 12:45 2.6K 
[ ]topalg_1__1277_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1293_45.min1.thm12017-02-06 12:45 2.6K 
[ ]topalg_1__1312_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1325_22.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1327_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1338_48.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1339_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1355_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1356_27.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1367_48.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1368_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1381_22.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1392_48.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1393_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1415_22.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__1424_26.min1.thm12017-02-06 12:45 945  
[ ]topalg_1__1425_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1455_26.min1.thm12017-02-06 12:45 945  
[ ]topalg_1__1456_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1470_27.min1.thm12017-02-06 12:45 1.8K 
[ ]topalg_1__1481_26.min1.thm12017-02-06 12:45 945  
[ ]topalg_1__1482_46.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1499_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1501_24.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__1504_24.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1508_22.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1523_48.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1524_26.min1.thm12017-02-06 12:45 945  
[ ]topalg_1__1525_46.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1549_45.min1.thm12017-02-06 12:45 490  
[ ]topalg_1__1552_61.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__1553_19.min1.thm12017-02-06 12:45 659  
[ ]topalg_1__1567_40.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1568_16.min1.thm12017-02-06 12:45 453  
[ ]topalg_1__1568_16.min1.thm1.tptp2017-02-06 16:47 373  
[ ]topalg_1__1576_11.min1.thm12017-02-06 12:45 131  
[ ]topalg_1__1582_11.min1.thm12017-02-06 12:45 851  
[ ]topalg_1__1598_39.min1.thm12017-02-06 12:45 891  
[ ]topalg_1__1599_24.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__1600_16.min1.thm12017-02-06 12:45 705  
[ ]topalg_1__1602_58.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__1603_44.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1628_8.min1.thm12017-02-06 12:45 2.3K 
[ ]topalg_1__1631_40.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1632_19.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__1644_47.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__1645_43.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1646_26.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1647_21.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1651_45.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__1652_41.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1653_24.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1654_19.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1677_43.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1679_21.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__1683_27.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1684_41.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1688_17.min1.thm12017-02-06 12:45 2.4K 
[ ]topalg_1__1699_48.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1706_20.min1.thm12017-02-06 12:45 2.1K 
[ ]topalg_1__1718_22.min1.thm12017-02-06 12:45 886  
[ ]topalg_1__1719_48.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1726_25.min1.thm12017-02-06 12:45 1.8K 
[ ]topalg_1__1734_11.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1740_14.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__1761_12.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__1765_12.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__1769_36.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__1773_20.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__1820_51.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__1830_51.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__1835_32.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1837_35.min1.thm12017-02-06 12:45 670  
[ ]topalg_1__1841_18.min1.thm12017-02-06 12:45 933  
[ ]topalg_1__1873_19.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__1880_23.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1882_23.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1886_23.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1904_35.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__1908_22.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1916_20.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__1918_40.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__1941_24.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__1947_33.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__1951_20.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__1957_54.min1.thm12017-02-06 12:45 885  
[ ]topalg_1__1960_70.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__1966_26.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__1983_33.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2004_27.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__2007_31.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2008_25.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__2022_24.min1.thm12017-02-06 12:45 945  
[ ]topalg_1__2023_17.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__2036_31.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2038_31.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2066_26.min1.thm12017-02-06 12:45 949  
[ ]topalg_1__2067_19.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__2089_27.min1.thm12017-02-06 12:45 2.1K 
[ ]topalg_1__2103_31.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__2106_38.min1.thm12017-02-06 12:45 2.1K 
[ ]topalg_1__2109_43.min1.thm12017-02-06 12:45 3.7K 
[ ]topalg_1__2120_26.min1.thm12017-02-06 12:45 949  
[ ]topalg_1__2121_19.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__2132_32.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__2135_22.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__2140_31.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2144_40.min1.thm12017-02-06 12:45 2.1K 
[ ]topalg_1__2147_73.min1.thm12017-02-06 12:45 3.9K 
[ ]topalg_1__2159_24.min1.thm12017-02-06 12:45 945  
[ ]topalg_1__2172_14.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__2185_62.min1.thm12017-02-06 12:45 2.9K 
[ ]topalg_1__2187_16.min1.thm12017-02-06 12:45 2.7K 
[ ]topalg_1__2212_47.min1.thm12017-02-06 12:45 941  
[ ]topalg_1__2213_64.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__2213_64.min1.thm1.tptp2017-02-06 16:47 887  
[ ]topalg_1__2230_47.min1.thm12017-02-06 12:45 941  
[ ]topalg_1__2252_50.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__2253_71.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2257_16.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__2258_16.min1.thm12017-02-06 12:45 1.5K 
[ ]topalg_1__2261_16.min1.thm12017-02-06 12:45 906  
[ ]topalg_1__2270_33.min1.thm12017-02-06 12:45 5.4K 
[ ]topalg_1__2293_15.min1.thm12017-02-06 12:45 372  
[ ]topalg_1__2299_11.min1.thm12017-02-06 12:45 593  
[ ]topalg_1__2304_11.min1.thm12017-02-06 12:45 593  
[ ]topalg_1__2313_15.min1.thm12017-02-06 12:45 372  
[ ]topalg_1__2314_22.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__2325_25.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__2341_21.min1.thm12017-02-06 12:45 1.6K 
[ ]topalg_1__2342_24.min1.thm12017-02-06 12:45 950  
[ ]topalg_1__2344_32.min1.thm12017-02-06 12:45 709  
[ ]topalg_1__2344_32.min1.thm1.tptp2017-02-06 16:47 644  
[ ]topalg_1__2349_21.min1.thm12017-02-06 12:45 701  
[ ]topalg_1__2349_21.min1.thm1.tptp2017-02-06 16:47 636  
[ ]topalg_1__2350_17.min1.thm12017-02-06 12:45 1.2K 
[ ]topalg_1__2364_41.min1.thm12017-02-06 12:45 2.0K 
[ ]topalg_1__2365_36.min1.thm12017-02-06 12:45 1.4K 
[ ]topalg_1__2382_55.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__2387_21.min1.thm12017-02-06 12:45 1.7K 
[ ]topalg_1__2410_13.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__2414_13.min1.thm12017-02-06 12:45 1.1K 
[ ]topalg_1__2415_17.min1.thm12017-02-06 12:45 1.9K 
[ ]topalg_1__2430_28.min1.thm12017-02-06 12:45 1.0K 
[ ]topalg_1__2431_15.min1.thm12017-02-06 12:45 372  
[ ]topalg_1__2432_22.min1.thm12017-02-06 12:45 1.3K 
[ ]topalg_1__2439_15.min1.thm12017-02-06 12:45 830  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80