Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/redefinition_k6_numbers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_a__645_17.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]aofa_000__2618_16.min1.thm1.tptp2017-02-06 16:57 258  
[ ]asympt_1__6534_70.min1.thm1.tptp2017-02-06 16:57 368  
[ ]card_5__930_14.min1.thm1.tptp2017-02-06 16:57 431  
[ ]cohsp_1__4488_51.min1.thm1.tptp2017-02-06 16:57 323  
[ ]cohsp_1__4508_44.min1.thm1.tptp2017-02-06 16:57 546  
[ ]cohsp_1__4524_51.min1.thm1.tptp2017-02-06 16:57 323  
[ ]cohsp_1__4544_44.min1.thm1.tptp2017-02-06 16:57 546  
[ ]complex2__293_11.min1.thm1.tptp2017-02-06 16:57 239  
[ ]complex2__1381_13.min1.thm1.tptp2017-02-06 16:57 593  
[ ]complex2__1416_15.min1.thm1.tptp2017-02-06 16:57 477  
[ ]comput_1__830_27.min1.thm1.tptp2017-02-06 16:57 260  
[ ]comput_1__5597_27.min1.thm1.tptp2017-02-06 16:57 253  
[ ]comput_1__5647_27.min1.thm1.tptp2017-02-06 16:57 252  
[ ]facirc_2__501_61.min1.thm1.tptp2017-02-06 16:57 578  
[ ]facirc_2__536_70.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]facirc_2__538_74.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]fdiff_7__1051_46.min1.thm1.tptp2017-02-06 16:57 763  
[ ]fdiff_7__1128_46.min1.thm1.tptp2017-02-06 16:57 763  
[ ]flang_2__648_16.min1.thm1.tptp2017-02-06 16:57 672  
[ ]flang_2__655_18.min1.thm1.tptp2017-02-06 16:57 471  
[ ]flang_2__678_14.min1.thm1.tptp2017-02-06 16:57 656  
[ ]flang_3__354_16.min1.thm1.tptp2017-02-06 16:57 268  
[ ]flang_3__375_14.min1.thm1.tptp2017-02-06 16:57 406  
[ ]fomodel0__844_49.min1.thm1.tptp2017-02-06 16:57 749  
[ ]fomodel0__930_46.min1.thm1.tptp2017-02-06 16:57 903  
[ ]fomodel2__3644_64.min1.thm1.tptp2017-02-06 16:57 636  
[ ]fscirc_2__336_60.min1.thm1.tptp2017-02-06 16:57 573  
[ ]fscirc_2__370_50.min1.thm1.tptp2017-02-06 16:57 1.9K 
[ ]fscirc_2__372_53.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]funct_7__1449_14.min1.thm1.tptp2017-02-06 16:57 797  
[ ]funct_7__2814_9.min1.thm1.tptp2017-02-06 16:57 232  
[ ]gfacirc2__343_16.min1.thm1.tptp2017-02-06 16:57 573  
[ ]gfacirc2__347_16.min1.thm1.tptp2017-02-06 16:57 405  
[ ]gfacirc2__354_17.min1.thm1.tptp2017-02-06 16:57 408  
[ ]gfacirc2__378_30.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]gfacirc2__379_33.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]gfacirc2__1326_16.min1.thm1.tptp2017-02-06 16:57 425  
[ ]gfacirc2__1329_17.min1.thm1.tptp2017-02-06 16:57 425  
[ ]gfacirc2__1450_16.min1.thm1.tptp2017-02-06 16:57 578  
[ ]gfacirc2__1452_16.min1.thm1.tptp2017-02-06 16:57 409  
[ ]gfacirc2__1463_17.min1.thm1.tptp2017-02-06 16:57 412  
[ ]gfacirc2__1487_30.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]gfacirc2__1488_33.min1.thm1.tptp2017-02-06 16:57 2.0K 
[ ]glib_001__5002_10.min1.thm1.tptp2017-02-06 16:57 682  
[ ]glib_002__1228_16.min1.thm1.tptp2017-02-06 16:57 263  
[ ]glib_004__2280_39.min1.thm1.tptp2017-02-06 16:57 443  
[ ]measure5__287_10.min1.thm1.tptp2017-02-06 16:57 198  
[ ]measure6__948_18.min1.thm1.tptp2017-02-06 16:57 266  
[ ]mesfunc5__7052_18.min1.thm1.tptp2017-02-06 16:57 487  
[ ]mmlquery__2048_18.min1.thm1.tptp2017-02-06 16:57 380  
[ ]mmlquery__2078_18.min1.thm1.tptp2017-02-06 16:57 380  
[ ]mmlquery__2108_18.min1.thm1.tptp2017-02-06 16:57 402  
[ ]modal_1__120_35.min1.thm1.tptp2017-02-06 16:57 283  
[ ]modal_1__123_41.min1.thm1.tptp2017-02-06 16:57 349  
[ ]mssublat__1430_16.min1.thm1.tptp2017-02-06 16:57 345  
[ ]nat_4__3397_25.min1.thm1.tptp2017-02-06 16:57 470  
[ ]nat_4__4208_62.min1.thm1.tptp2017-02-06 16:57 546  
[ ]necklace__47_18.min1.thm1.tptp2017-02-06 16:57 226  
[ ]ordinal6__2546_46.min1.thm1.tptp2017-02-06 16:57 377  
[ ]ordinal6__2550_46.min1.thm1.tptp2017-02-06 16:57 378  
[ ]ramsey_1__537_47.min1.thm1.tptp2017-02-06 16:57 213  
[ ]rat_1__53_11.min1.thm1.tptp2017-02-06 16:57 227  
[ ]ratfunc1__856_13.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]rfinseq2__68_78.min1.thm1.tptp2017-02-06 16:57 1.5K 
[ ]rfinseq2__331_21.min1.thm1.tptp2017-02-06 16:57 1.6K 
[ ]scm_inst__257_16.min1.thm1.tptp2017-02-06 16:57 202  
[ ]scmfsa8c__4192_4.min1.thm1.tptp2017-02-06 16:57 2.1K 
[ ]sin_cos__64_10.min1.thm1.tptp2017-02-06 16:57 196  
[ ]substut2__383_11.min1.thm1.tptp2017-02-06 16:57 452  
[ ]substut2__402_11.min1.thm1.tptp2017-02-06 16:57 474  
[ ]substut2__769_14.min1.thm1.tptp2017-02-06 16:57 454  
[ ]topalg_6__2690_16.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]trees_1__2199_25.min1.thm1.tptp2017-02-06 16:57 310  
[ ]trees_1__2241_31.min1.thm1.tptp2017-02-06 16:57 376  
[ ]trees_2__1206_19.min1.thm1.tptp2017-02-06 16:57 439  
[ ]trees_9__1863_18.min1.thm1.tptp2017-02-06 16:57 541  
[ ]triang_1__602_18.min1.thm1.tptp2017-02-06 16:57 387  
[ ]urysohn3__1063_16.min1.thm1.tptp2017-02-06 16:57 1.0K 
[ ]waybel18__1291_18.min1.thm1.tptp2017-02-06 16:57 226  
[ ]waybel18__1310_12.min1.thm1.tptp2017-02-06 16:57 651  
[ ]waybel18__1319_33.min1.thm1.tptp2017-02-06 16:57 385  
[ ]waybel18__1376_39.min1.thm1.tptp2017-02-06 16:57 390  
[ ]waybel18__1455_31.min1.thm1.tptp2017-02-06 16:57 372  
[ ]waybel18__1804_31.min1.thm1.tptp2017-02-06 16:57 372  
[ ]waybel_6__2360_14.min1.thm1.tptp2017-02-06 16:57 227  
[ ]xreal_0__760_15.min1.thm1.tptp2017-02-06 16:57 183  
[ ]yellow16__1747_13.min1.thm1.tptp2017-02-06 16:57 194  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80