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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cc0sp2__138_9.min1.thm1.tptp2017-02-06 16:58 332  
[ ]compts_1__717_8.min1.thm1.tptp2017-02-06 16:58 403  
[ ]fintopo2__121_13.min1.thm1.tptp2017-02-06 16:58 533  
[ ]fintopo2__134_13.min1.thm1.tptp2017-02-06 16:58 533  
[ ]fintopo2__1511_15.min1.thm1.tptp2017-02-06 16:58 547  
[ ]fintopo3__926_8.min1.thm1.tptp2017-02-06 16:58 403  
[ ]frechet__1538_11.min1.thm1.tptp2017-02-06 16:58 385  
[ ]hilbert3__196_9.min1.thm1.tptp2017-02-06 16:58 354  
[ ]jgraph_2__868_9.min1.thm1.tptp2017-02-06 16:58 444  
[ ]jgraph_2__900_9.min1.thm1.tptp2017-02-06 16:58 444  
[ ]jordan1__1474_35.min1.thm1.tptp2017-02-06 16:58 404  
[ ]jordan1__2350_35.min1.thm1.tptp2017-02-06 16:58 404  
[ ]jordan24__665_9.min1.thm1.tptp2017-02-06 16:58 362  
[ ]lopclset__1326_16.min1.thm1.tptp2017-02-06 16:58 436  
[ ]lpspace2__2730_15.min1.thm1.tptp2017-02-06 16:58 372  
[ ]matrtop2__755_11.min1.thm1.tptp2017-02-06 16:58 582  
[ ]metrizts__2202_15.min1.thm1.tptp2017-02-06 16:58 526  
[ ]pscomp_1__340_11.min1.thm1.tptp2017-02-06 16:58 347  
[ ]rlaffin1__1081_23.min1.thm1.tptp2017-02-06 16:58 406  
[ ]setfam_1__976_11.min1.thm1.tptp2017-02-06 16:58 382  
[ ]setfam_1__988_9.min1.thm1.tptp2017-02-06 16:58 362  
[ ]setfam_1__1019_11.min1.thm1.tptp2017-02-06 16:58 372  
[ ]setfam_1__1066_11.min1.thm1.tptp2017-02-06 16:58 372  
[ ]setfam_1__1105_9.min1.thm1.tptp2017-02-06 16:58 362  
[ ]setfam_1__1184_11.min1.thm1.tptp2017-02-06 16:58 374  
[ ]subset_1__440_21.min1.thm1.tptp2017-02-06 16:58 364  
[ ]subset_1__441_19.min1.thm1.tptp2017-02-06 16:58 364  
[ ]subset_1__559_8.min1.thm1.tptp2017-02-06 16:58 362  
[ ]subset_1__967_20.min1.thm1.tptp2017-02-06 16:58 364  
[ ]tdlat_3__52_15.min1.thm1.tptp2017-02-06 16:58 517  
[ ]tdlat_3__59_14.min1.thm1.tptp2017-02-06 16:58 521  
[ ]tex_4__255_21.min1.thm1.tptp2017-02-06 16:58 409  
[ ]topgen_1__121_15.min1.thm1.tptp2017-02-06 16:58 615  
[ ]topgen_2__1198_8.min1.thm1.tptp2017-02-06 16:58 490  
[ ]topgen_3__2032_11.min1.thm1.tptp2017-02-06 16:58 442  
[ ]topgen_5__2119_11.min1.thm1.tptp2017-02-06 16:58 401  
[ ]tops_2__161_11.min1.thm1.tptp2017-02-06 16:58 387  
[ ]tops_2__217_7.min1.thm1.tptp2017-02-06 16:58 385  
[ ]urysohn1__1046_15.min1.thm1.tptp2017-02-06 16:58 456  
[ ]urysohn1__1104_19.min1.thm1.tptp2017-02-06 16:58 481  
[ ]urysohn1__1212_15.min1.thm1.tptp2017-02-06 16:58 456  
[ ]urysohn1__1270_11.min1.thm1.tptp2017-02-06 16:58 406  
[ ]waybel14__141_9.min1.thm1.tptp2017-02-06 16:58 393  
[ ]waybel30__761_21.min1.thm1.tptp2017-02-06 16:58 593  
[ ]yellow_8__126_11.min1.thm1.tptp2017-02-06 16:58 393  
[ ]yellow_9__198_11.min1.thm1.tptp2017-02-06 16:58 403  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80