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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice4__53_13.min1.thm12017-02-06 12:45 192  
[ ]lattice4__57_40.min1.thm12017-02-06 12:45 475  
[ ]lattice4__58_21.min1.thm12017-02-06 12:45 645  
[ ]lattice4__62_21.min1.thm12017-02-06 12:45 594  
[ ]lattice4__65_17.min1.thm12017-02-06 12:45 724  
[ ]lattice4__80_13.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__87_27.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice4__88_30.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__89_17.min1.thm12017-02-06 12:45 918  
[ ]lattice4__100_14.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice4__104_11.min1.thm12017-02-06 12:45 756  
[ ]lattice4__105_12.min1.thm12017-02-06 12:45 826  
[ ]lattice4__127_17.min1.thm12017-02-06 12:45 353  
[ ]lattice4__134_32.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice4__135_19.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__136_25.min1.thm12017-02-06 12:45 762  
[ ]lattice4__136_25.min1.thm1.tptp2017-02-06 16:47 698  
[ ]lattice4__137_28.min1.thm12017-02-06 12:45 916  
[ ]lattice4__137_28.min1.thm1.tptp2017-02-06 16:47 852  
[ ]lattice4__138_32.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice4__139_19.min1.thm12017-02-06 12:45 944  
[ ]lattice4__140_25.min1.thm12017-02-06 12:45 762  
[ ]lattice4__140_25.min1.thm1.tptp2017-02-06 16:47 698  
[ ]lattice4__141_28.min1.thm12017-02-06 12:45 916  
[ ]lattice4__141_28.min1.thm1.tptp2017-02-06 16:47 852  
[ ]lattice4__143_16.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__164_65.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__172_17.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__180_69.min1.thm12017-02-06 12:45 605  
[ ]lattice4__183_32.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__186_55.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__187_28.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__189_14.min1.thm12017-02-06 12:45 607  
[ ]lattice4__189_14.min1.thm1.tptp2017-02-06 16:47 553  
[ ]lattice4__203_51.min1.thm12017-02-06 12:45 759  
[ ]lattice4__205_51.min1.thm12017-02-06 12:45 888  
[ ]lattice4__206_24.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__207_54.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__209_36.min1.thm12017-02-06 12:45 557  
[ ]lattice4__209_36.min1.thm1.tptp2017-02-06 16:47 490  
[ ]lattice4__211_62.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__214_49.min1.thm12017-02-06 12:45 474  
[ ]lattice4__214_49.min1.thm1.tptp2017-02-06 16:47 386  
[ ]lattice4__215_20.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__234_34.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__248_32.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice4__264_34.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__269_32.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__279_29.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice4__280_18.min1.thm12017-02-06 12:45 910  
[ ]lattice4__292_44.min1.thm12017-02-06 12:45 917  
[ ]lattice4__293_53.min1.thm12017-02-06 12:45 881  
[ ]lattice4__294_19.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__295_28.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice4__301_46.min1.thm12017-02-06 12:45 877  
[ ]lattice4__303_22.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice4__304_21.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__306_33.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice4__307_19.min1.thm12017-02-06 12:45 557  
[ ]lattice4__307_19.min1.thm1.tptp2017-02-06 16:47 490  
[ ]lattice4__309_19.min1.thm12017-02-06 12:45 557  
[ ]lattice4__309_19.min1.thm1.tptp2017-02-06 16:47 490  
[ ]lattice4__312_49.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice4__313_19.min1.thm12017-02-06 12:45 755  
[ ]lattice4__342_38.min1.thm12017-02-06 12:45 260  
[ ]lattice4__343_51.min1.thm12017-02-06 12:45 367  
[ ]lattice4__343_51.min1.thm1.tptp2017-02-06 16:47 295  
[ ]lattice4__344_41.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__345_39.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__354_44.min1.thm12017-02-06 12:45 846  
[ ]lattice4__355_16.min1.thm12017-02-06 12:45 929  
[ ]lattice4__360_54.min1.thm12017-02-06 12:45 585  
[ ]lattice4__369_11.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__372_11.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__380_11.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__389_11.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__406_13.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__408_13.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__410_13.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__437_16.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__439_13.min1.thm12017-02-06 12:45 870  
[ ]lattice4__440_21.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice4__448_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__457_54.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice4__459_32.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__484_74.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice4__487_19.min1.thm12017-02-06 12:45 561  
[ ]lattice4__487_19.min1.thm1.tptp2017-02-06 16:47 486  
[ ]lattice4__509_20.min1.thm12017-02-06 12:45 497  
[ ]lattice4__510_18.min1.thm12017-02-06 12:45 352  
[ ]lattice4__510_18.min1.thm1.tptp2017-02-06 16:47 274  
[ ]lattice4__511_34.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__538_16.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__540_13.min1.thm12017-02-06 12:45 870  
[ ]lattice4__541_21.min1.thm12017-02-06 12:45 2.7K 
[ ]lattice4__549_17.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__557_74.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice4__560_16.min1.thm12017-02-06 12:45 561  
[ ]lattice4__560_16.min1.thm1.tptp2017-02-06 16:47 486  
[ ]lattice4__572_54.min1.thm12017-02-06 12:45 2.1K 
[ ]lattice4__574_32.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__588_39.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice4__619_20.min1.thm12017-02-06 12:45 497  
[ ]lattice4__620_18.min1.thm12017-02-06 12:45 352  
[ ]lattice4__620_18.min1.thm1.tptp2017-02-06 16:47 274  
[ ]lattice4__621_34.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__644_13.min1.thm12017-02-06 12:45 191  
[ ]lattice4__653_60.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice4__654_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__656_44.min1.thm12017-02-06 12:45 2.2K 
[ ]lattice4__656_54.min1.thm12017-02-06 12:45 728  
[ ]lattice4__660_14.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__685_25.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__699_25.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__700_30.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice4__713_12.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice4__715_12.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice4__722_25.min1.thm12017-02-06 12:45 1.9K 
[ ]lattice4__726_43.min1.thm12017-02-06 12:45 506  
[ ]lattice4__726_43.min1.thm1.tptp2017-02-06 16:47 416  
[ ]lattice4__727_39.min1.thm12017-02-06 12:45 349  
[ ]lattice4__727_39.min1.thm1.tptp2017-02-06 16:47 263  
[ ]lattice4__734_23.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice4__740_17.min1.thm12017-02-06 12:45 1.7K 
[ ]lattice4__757_16.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice4__766_13.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice4__775_22.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice4__776_33.min1.thm12017-02-06 12:45 380  
[ ]lattice4__777_28.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__778_39.min1.thm12017-02-06 12:45 680  
[ ]lattice4__779_25.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__780_39.min1.thm12017-02-06 12:45 349  
[ ]lattice4__780_39.min1.thm1.tptp2017-02-06 16:47 263  
[ ]lattice4__784_24.min1.thm12017-02-06 12:45 892  
[ ]lattice4__785_21.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__787_21.min1.thm12017-02-06 12:45 892  
[ ]lattice4__788_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__792_17.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__802_42.min1.thm12017-02-06 12:45 264  
[ ]lattice4__803_65.min1.thm12017-02-06 12:45 853  
[ ]lattice4__805_15.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__819_17.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__830_17.min1.thm12017-02-06 12:45 968  
[ ]lattice4__836_40.min1.thm12017-02-06 12:45 260  
[ ]lattice4__837_63.min1.thm12017-02-06 12:45 849  
[ ]lattice4__838_49.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__846_51.min1.thm12017-02-06 12:45 901  
[ ]lattice4__861_33.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__862_39.min1.thm12017-02-06 12:45 494  
[ ]lattice4__862_39.min1.thm1.tptp2017-02-06 16:47 415  
[ ]lattice4__864_14.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__868_20.min1.thm12017-02-06 12:45 473  
[ ]lattice4__868_20.min1.thm1.tptp2017-02-06 16:47 396  
[ ]lattice4__869_21.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice4__871_51.min1.thm12017-02-06 12:45 772  
[ ]lattice4__872_29.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__876_20.min1.thm12017-02-06 12:45 786  
[ ]lattice4__878_48.min1.thm12017-02-06 12:45 506  
[ ]lattice4__891_17.min1.thm12017-02-06 12:45 893  
[ ]lattice4__892_36.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__899_41.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__902_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__904_41.min1.thm12017-02-06 12:45 264  
[ ]lattice4__906_35.min1.thm12017-02-06 12:45 404  
[ ]lattice4__907_19.min1.thm12017-02-06 12:45 901  
[ ]lattice4__910_18.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__911_19.min1.thm12017-02-06 12:45 612  
[ ]lattice4__918_29.min1.thm12017-02-06 12:45 762  
[ ]lattice4__933_49.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__934_18.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__936_16.min1.thm12017-02-06 12:45 447  
[ ]lattice4__936_16.min1.thm1.tptp2017-02-06 16:47 369  
[ ]lattice4__947_33.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__948_15.min1.thm12017-02-06 12:45 1.8K 
[ ]lattice4__949_38.min1.thm12017-02-06 12:45 432  
[ ]lattice4__949_38.min1.thm1.tptp2017-02-06 16:47 352  
[ ]lattice4__950_16.min1.thm12017-02-06 12:45 834  
[ ]lattice4__951_16.min1.thm12017-02-06 12:45 366  
[ ]lattice4__951_16.min1.thm1.tptp2017-02-06 16:47 278  
[ ]lattice4__956_58.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__964_32.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__966_43.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__972_17.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__986_18.min1.thm12017-02-06 12:45 522  
[ ]lattice4__1001_37.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__1014_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1016_39.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1019_22.min1.thm12017-02-06 12:45 944  
[ ]lattice4__1020_15.min1.thm12017-02-06 12:45 537  
[ ]lattice4__1020_15.min1.thm1.tptp2017-02-06 16:47 462  
[ ]lattice4__1021_25.min1.thm12017-02-06 12:45 886  
[ ]lattice4__1026_29.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1034_36.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__1047_19.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1049_39.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1052_19.min1.thm12017-02-06 12:45 944  
[ ]lattice4__1053_18.min1.thm12017-02-06 12:45 537  
[ ]lattice4__1053_18.min1.thm1.tptp2017-02-06 16:47 462  
[ ]lattice4__1054_25.min1.thm12017-02-06 12:45 886  
[ ]lattice4__1059_29.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1079_35.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__1080_20.min1.thm12017-02-06 12:45 2.0K 
[ ]lattice4__1081_24.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice4__1101_40.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1102_21.min1.thm12017-02-06 12:45 483  
[ ]lattice4__1102_21.min1.thm1.tptp2017-02-06 16:47 412  
[ ]lattice4__1114_43.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1120_21.min1.thm12017-02-06 12:45 680  
[ ]lattice4__1128_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__1129_15.min1.thm12017-02-06 12:45 898  
[ ]lattice4__1151_22.min1.thm12017-02-06 12:45 1.5K 
[ ]lattice4__1152_15.min1.thm12017-02-06 12:45 898  
[ ]lattice4__1169_23.min1.thm12017-02-06 12:45 1.4K 
[ ]lattice4__1170_18.min1.thm12017-02-06 12:45 826  
[ ]lattice4__1189_22.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__1194_44.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__1195_40.min1.thm12017-02-06 12:45 659  
[ ]lattice4__1195_40.min1.thm1.tptp2017-02-06 16:47 584  
[ ]lattice4__1198_51.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1199_24.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__1200_22.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__1204_56.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1205_32.min1.thm12017-02-06 12:45 820  
[ ]lattice4__1206_19.min1.thm12017-02-06 12:45 883  
[ ]lattice4__1210_60.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1211_17.min1.thm12017-02-06 12:45 923  
[ ]lattice4__1227_40.min1.thm12017-02-06 12:45 620  
[ ]lattice4__1228_62.min1.thm12017-02-06 12:45 908  
[ ]lattice4__1229_24.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1230_28.min1.thm12017-02-06 12:45 633  
[ ]lattice4__1230_28.min1.thm1.tptp2017-02-06 16:47 558  
[ ]lattice4__1233_21.min1.thm12017-02-06 12:45 1.1K 
[ ]lattice4__1234_20.min1.thm12017-02-06 12:45 828  
[ ]lattice4__1241_47.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__1242_16.min1.thm12017-02-06 12:45 1.2K 
[ ]lattice4__1244_49.min1.thm12017-02-06 12:45 962  
[ ]lattice4__1251_46.min1.thm12017-02-06 12:45 1.0K 
[ ]lattice4__1256_20.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__1261_53.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1262_23.min1.thm12017-02-06 12:45 1.6K 
[ ]lattice4__1264_21.min1.thm12017-02-06 12:45 583  
[ ]lattice4__1265_21.min1.thm12017-02-06 12:45 2.3K 
[ ]lattice4__1277_39.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__1279_39.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__1281_17.min1.thm12017-02-06 12:45 678  
[ ]lattice4__1289_23.min1.thm12017-02-06 12:45 1.3K 
[ ]lattice4__1290_34.min1.thm12017-02-06 12:45 917  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80