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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]alg_1__50_47.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__60_33.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__80_47.min1.thm12017-02-06 12:46 934  
[ ]alg_1__93_24.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__97_34.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__151_24.min1.thm12017-02-06 12:46 583  
[ ]alg_1__151_24.min1.thm1.tptp2017-02-06 16:48 506  
[ ]alg_1__161_43.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__176_22.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__178_14.min1.thm12017-02-06 12:46 855  
[ ]alg_1__179_22.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__180_18.min1.thm12017-02-06 12:46 934  
[ ]alg_1__194_54.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__198_71.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__228_60.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__229_19.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__232_58.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__233_17.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__241_32.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__242_17.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__253_22.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__254_30.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__256_24.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__258_34.min1.thm12017-02-06 12:46 873  
[ ]alg_1__264_33.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__274_25.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__279_24.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__280_38.min1.thm12017-02-06 12:46 605  
[ ]alg_1__283_18.min1.thm12017-02-06 12:46 1.5K 
[ ]alg_1__284_38.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__286_20.min1.thm12017-02-06 12:46 401  
[ ]alg_1__286_20.min1.thm1.tptp2017-02-06 16:48 319  
[ ]alg_1__296_28.min1.thm12017-02-06 12:46 768  
[ ]alg_1__307_70.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__309_32.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__311_39.min1.thm12017-02-06 12:46 2.5K 
[ ]alg_1__312_12.min1.thm12017-02-06 12:46 768  
[ ]alg_1__313_54.min1.thm12017-02-06 12:46 773  
[ ]alg_1__319_55.min1.thm12017-02-06 12:46 2.4K 
[ ]alg_1__321_19.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__325_25.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__327_21.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__340_31.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__341_22.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__342_24.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__343_27.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__344_17.min1.thm12017-02-06 12:46 2.1K 
[ ]alg_1__356_59.min1.thm12017-02-06 12:46 2.3K 
[ ]alg_1__360_27.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__361_55.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__363_35.min1.thm12017-02-06 12:46 2.2K 
[ ]alg_1__364_39.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__372_56.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__374_17.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__382_29.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__383_28.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__385_22.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__387_22.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__388_27.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__389_29.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__390_20.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__391_27.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__394_16.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__402_29.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__405_29.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__406_31.min1.thm12017-02-06 12:46 2.2K 
[ ]alg_1__419_32.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__437_48.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__438_20.min1.thm12017-02-06 12:46 868  
[ ]alg_1__442_21.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__444_22.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__449_27.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__450_42.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__451_43.min1.thm12017-02-06 12:46 965  
[ ]alg_1__452_57.min1.thm12017-02-06 12:46 789  
[ ]alg_1__455_26.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__457_36.min1.thm12017-02-06 12:46 887  
[ ]alg_1__458_48.min1.thm12017-02-06 12:46 913  
[ ]alg_1__469_30.min1.thm12017-02-06 12:46 912  
[ ]alg_1__483_58.min1.thm12017-02-06 12:46 2.2K 
[ ]alg_1__485_21.min1.thm12017-02-06 12:46 2.1K 
[ ]alg_1__491_41.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__498_6.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__499_39.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__500_19.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__509_30.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__511_37.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__513_17.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__526_70.min1.thm12017-02-06 12:46 2.2K 
[ ]alg_1__530_32.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__531_22.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__532_34.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__533_34.min1.thm12017-02-06 12:46 2.1K 
[ ]alg_1__534_44.min1.thm12017-02-06 12:46 2.2K 
[ ]alg_1__538_52.min1.thm12017-02-06 12:46 2.1K 
[ ]alg_1__539_20.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__540_15.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__541_17.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__566_69.min1.thm12017-02-06 12:46 959  
[ ]alg_1__579_12.min1.thm12017-02-06 12:46 694  
[ ]alg_1__605_54.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__615_34.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__618_45.min1.thm12017-02-06 12:46 789  
[ ]alg_1__639_30.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__640_21.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__646_45.min1.thm12017-02-06 12:46 789  
[ ]alg_1__657_63.min1.thm12017-02-06 12:46 541  
[ ]alg_1__657_63.min1.thm1.tptp2017-02-06 16:48 463  
[ ]alg_1__659_58.min1.thm12017-02-06 12:46 1.5K 
[ ]alg_1__669_35.min1.thm12017-02-06 12:46 863  
[ ]alg_1__677_51.min1.thm12017-02-06 12:46 2.9K 
[ ]alg_1__685_18.min1.thm12017-02-06 12:46 640  
[ ]alg_1__691_49.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__697_19.min1.thm12017-02-06 12:46 3.0K 
[ ]alg_1__719_34.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__720_27.min1.thm12017-02-06 12:46 2.1K 
[ ]alg_1__721_21.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__746_78.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__749_17.min1.thm12017-02-06 12:46 552  
[ ]alg_1__749_17.min1.thm1.tptp2017-02-06 16:48 483  
[ ]alg_1__754_47.min1.thm12017-02-06 12:46 477  
[ ]alg_1__759_19.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__775_43.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__781_27.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__782_24.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__808_19.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__825_19.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__841_38.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__842_16.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__853_17.min1.thm12017-02-06 12:46 3.7K 
[ ]alg_1__872_17.min1.thm12017-02-06 12:46 395  
[ ]alg_1__877_18.min1.thm12017-02-06 12:46 634  
[ ]alg_1__887_25.min1.thm12017-02-06 12:46 714  
[ ]alg_1__887_25.min1.thm1.tptp2017-02-06 16:48 637  
[ ]alg_1__888_24.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__900_50.min1.thm12017-02-06 12:46 1.0K 
[ ]alg_1__904_6.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__918_18.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__919_37.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__943_40.min1.thm12017-02-06 12:46 765  
[ ]alg_1__945_44.min1.thm12017-02-06 12:46 843  
[ ]alg_1__953_19.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__954_45.min1.thm12017-02-06 12:46 963  
[ ]alg_1__955_31.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__963_44.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__964_37.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__967_59.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__969_20.min1.thm12017-02-06 12:46 414  
[ ]alg_1__983_33.min1.thm12017-02-06 12:46 655  
[ ]alg_1__984_19.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__992_34.min1.thm12017-02-06 12:46 330  
[ ]alg_1__992_34.min1.thm1.tptp2017-02-06 16:48 252  
[ ]alg_1__993_15.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__995_17.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__1017_45.min1.thm12017-02-06 12:46 354  
[ ]alg_1__1017_45.min1.thm1.tptp2017-02-06 16:48 276  
[ ]alg_1__1018_16.min1.thm12017-02-06 12:46 318  
[ ]alg_1__1019_21.min1.thm12017-02-06 12:46 716  
[ ]alg_1__1022_32.min1.thm12017-02-06 12:46 653  
[ ]alg_1__1029_57.min1.thm12017-02-06 12:46 590  
[ ]alg_1__1029_57.min1.thm1.tptp2017-02-06 16:48 512  
[ ]alg_1__1039_49.min1.thm12017-02-06 12:46 472  
[ ]alg_1__1039_49.min1.thm1.tptp2017-02-06 16:48 394  
[ ]alg_1__1040_20.min1.thm12017-02-06 12:46 2.2K 
[ ]alg_1__1043_54.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__1046_26.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__1048_36.min1.thm12017-02-06 12:46 885  
[ ]alg_1__1054_31.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__1063_57.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__1073_26.min1.thm12017-02-06 12:46 1.6K 
[ ]alg_1__1075_23.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__1076_21.min1.thm12017-02-06 12:46 1.5K 
[ ]alg_1__1077_28.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__1078_62.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__1081_22.min1.thm12017-02-06 12:46 2.3K 
[ ]alg_1__1093_40.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__1112_22.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__1118_20.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__1147_38.min1.thm12017-02-06 12:46 354  
[ ]alg_1__1147_38.min1.thm1.tptp2017-02-06 16:48 276  
[ ]alg_1__1149_18.min1.thm12017-02-06 12:46 730  
[ ]alg_1__1174_12.min1.thm12017-02-06 12:46 2.1K 
[ ]alg_1__1178_21.min1.thm12017-02-06 12:46 3.5K 
[ ]alg_1__1179_15.min1.thm12017-02-06 12:46 3.5K 
[ ]alg_1__1195_46.min1.thm12017-02-06 12:46 1.5K 
[ ]alg_1__1198_34.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__1199_24.min1.thm12017-02-06 12:46 1.7K 
[ ]alg_1__1200_39.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__1206_29.min1.thm12017-02-06 12:46 2.3K 
[ ]alg_1__1211_39.min1.thm12017-02-06 12:46 1.9K 
[ ]alg_1__1221_50.min1.thm12017-02-06 12:46 956  
[ ]alg_1__1224_37.min1.thm12017-02-06 12:46 773  
[ ]alg_1__1236_19.min1.thm12017-02-06 12:46 1.2K 
[ ]alg_1__1237_50.min1.thm12017-02-06 12:46 750  
[ ]alg_1__1240_21.min1.thm12017-02-06 12:46 3.0K 
[ ]alg_1__1255_47.min1.thm12017-02-06 12:46 1.8K 
[ ]alg_1__1257_20.min1.thm12017-02-06 12:46 3.0K 
[ ]alg_1__1260_19.min1.thm12017-02-06 12:46 2.0K 
[ ]alg_1__1272_36.min1.thm12017-02-06 12:46 338  
[ ]alg_1__1272_36.min1.thm1.tptp2017-02-06 16:48 260  
[ ]alg_1__1276_36.min1.thm12017-02-06 12:46 340  
[ ]alg_1__1276_36.min1.thm1.tptp2017-02-06 16:48 262  
[ ]alg_1__1277_18.min1.thm12017-02-06 12:46 2.7K 
[ ]alg_1__1278_17.min1.thm12017-02-06 12:46 2.7K 
[ ]alg_1__1295_30.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__1296_33.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__1299_17.min1.thm12017-02-06 12:46 1.3K 
[ ]alg_1__1307_14.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__1308_36.min1.thm12017-02-06 12:46 1.1K 
[ ]alg_1__1312_14.min1.thm12017-02-06 12:46 3.0K 
[ ]alg_1__1315_28.min1.thm12017-02-06 12:46 1.4K 
[ ]alg_1__1325_16.min1.thm12017-02-06 12:46 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80