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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_2__1840_36.min1.thm1.tptp2017-02-06 16:57 461  
[ ]amistd_4__575_9.min1.thm1.tptp2017-02-06 16:57 314  
[ ]bspace__1095_19.min1.thm1.tptp2017-02-06 16:57 348  
[ ]bvfunc14__3834_66.min1.thm1.tptp2017-02-06 16:57 1.0K 
[ ]bvfunc14__4677_67.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]bvfunc14__5622_70.min1.thm1.tptp2017-02-06 16:57 1.1K 
[ ]bvfunc14__5627_4.min1.thm1.tptp2017-02-06 16:57 1.2K 
[ ]card_3__3186_19.min1.thm1.tptp2017-02-06 16:57 407  
[ ]card_4__752_27.min1.thm1.tptp2017-02-06 16:57 312  
[ ]card_4__916_61.min1.thm1.tptp2017-02-06 16:57 538  
[ ]card_fil__440_25.min1.thm1.tptp2017-02-06 16:57 296  
[ ]card_fil__1525_22.min1.thm1.tptp2017-02-06 16:57 396  
[ ]card_fin__1573_30.min1.thm1.tptp2017-02-06 16:57 327  
[ ]card_fin__2395_16.min1.thm1.tptp2017-02-06 16:57 362  
[ ]card_fin__2602_16.min1.thm1.tptp2017-02-06 16:57 361  
[ ]card_fin__2609_18.min1.thm1.tptp2017-02-06 16:57 363  
[ ]card_fin__2698_16.min1.thm1.tptp2017-02-06 16:57 362  
[ ]card_fin__2730_18.min1.thm1.tptp2017-02-06 16:57 364  
[ ]card_fin__2802_16.min1.thm1.tptp2017-02-06 16:57 362  
[ ]card_fin__2879_20.min1.thm1.tptp2017-02-06 16:57 365  
[ ]card_lar__502_23.min1.thm1.tptp2017-02-06 16:57 292  
[ ]chain_1__308_25.min1.thm1.tptp2017-02-06 16:57 332  
[ ]chain_1__309_35.min1.thm1.tptp2017-02-06 16:57 397  
[ ]chain_1__2478_20.min1.thm1.tptp2017-02-06 16:57 363  
[ ]classes2__1286_32.min1.thm1.tptp2017-02-06 16:57 406  
[ ]e_siec__124_54.min1.thm1.tptp2017-02-06 16:57 490  
[ ]exchsort__720_23.min1.thm1.tptp2017-02-06 16:57 292  
[ ]finset_1__353_37.min1.thm1.tptp2017-02-06 16:57 308  
[ ]funct_7__1024_34.min1.thm1.tptp2017-02-06 16:57 505  
[ ]funct_7__1027_23.min1.thm1.tptp2017-02-06 16:57 301  
[ ]funct_7__3447_36.min1.thm1.tptp2017-02-06 16:57 513  
[ ]funct_7__3506_36.min1.thm1.tptp2017-02-06 16:57 513  
[ ]graph_5__3318_28.min1.thm1.tptp2017-02-06 16:57 391  
[ ]laplace__259_18.min1.thm1.tptp2017-02-06 16:57 383  
[ ]laplace__262_19.min1.thm1.tptp2017-02-06 16:57 383  
[ ]measure1__261_28.min1.thm1.tptp2017-02-06 16:57 432  
[ ]measure1__278_30.min1.thm1.tptp2017-02-06 16:57 432  
[ ]measure4__420_27.min1.thm1.tptp2017-02-06 16:57 356  
[ ]measure4__499_27.min1.thm1.tptp2017-02-06 16:57 420  
[ ]measure8__1909_39.min1.thm1.tptp2017-02-06 16:57 348  
[ ]ordinal6__147_36.min1.thm1.tptp2017-02-06 16:57 461  
[ ]pboole__968_12.min1.thm1.tptp2017-02-06 16:57 310  
[ ]pboole__1015_35.min1.thm1.tptp2017-02-06 16:57 627  
[ ]pboole__1096_36.min1.thm1.tptp2017-02-06 16:57 627  
[ ]rearran1__713_33.min1.thm1.tptp2017-02-06 16:57 526  
[ ]relat_1__227_32.min1.thm1.tptp2017-02-06 16:57 416  
[ ]relat_1__341_32.min1.thm1.tptp2017-02-06 16:57 423  
[ ]relat_1__1746_41.min1.thm1.tptp2017-02-06 16:57 469  
[ ]rfinseq__193_20.min1.thm1.tptp2017-02-06 16:57 338  
[ ]rfunct_3__1812_11.min1.thm1.tptp2017-02-06 16:57 254  
[ ]rfunct_3__2641_21.min1.thm1.tptp2017-02-06 16:57 324  
[ ]rfunct_3__2960_34.min1.thm1.tptp2017-02-06 16:57 485  
[ ]rlvect_5__256_35.min1.thm1.tptp2017-02-06 16:57 331  
[ ]robbins4__450_22.min1.thm1.tptp2017-02-06 16:57 259  
[ ]robbins4__617_32.min1.thm1.tptp2017-02-06 16:57 325  
[ ]robbins4__720_32.min1.thm1.tptp2017-02-06 16:57 325  
[ ]robbins4__881_32.min1.thm1.tptp2017-02-06 16:57 325  
[ ]robbins4__934_32.min1.thm1.tptp2017-02-06 16:57 325  
[ ]robbins4__1993_26.min1.thm1.tptp2017-02-06 16:57 312  
[ ]robbins4__2032_26.min1.thm1.tptp2017-02-06 16:57 312  
[ ]setwiseo__760_28.min1.thm1.tptp2017-02-06 16:57 381  
[ ]sysrel__544_47.min1.thm1.tptp2017-02-06 16:57 594  
[ ]sysrel__566_47.min1.thm1.tptp2017-02-06 16:57 597  
[ ]tsep_1__44_23.min1.thm1.tptp2017-02-06 16:57 280  
[ ]yellow11__694_28.min1.thm1.tptp2017-02-06 16:57 316  
[ ]zf_fund2__95_47.min1.thm1.tptp2017-02-06 16:57 633  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80