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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_1__362_11.min1.thm1.tptp2017-02-06 16:57 202  
[ ]bhsp_5__396_46.min1.thm1.tptp2017-02-06 16:57 414  
[ ]bhsp_5__426_27.min1.thm1.tptp2017-02-06 16:57 304  
[ ]birkhoff__147_78.min1.thm1.tptp2017-02-06 16:57 329  
[ ]card_1__697_10.min1.thm1.tptp2017-02-06 16:57 286  
[ ]card_5__255_10.min1.thm1.tptp2017-02-06 16:57 261  
[ ]cat_3__1342_45.min1.thm1.tptp2017-02-06 16:57 394  
[ ]cat_3__2592_45.min1.thm1.tptp2017-02-06 16:57 394  
[ ]chain_1__224_9.min1.thm1.tptp2017-02-06 16:57 223  
[ ]classes2__1688_10.min1.thm1.tptp2017-02-06 16:57 294  
[ ]cohsp_1__415_41.min1.thm1.tptp2017-02-06 16:57 260  
[ ]cohsp_1__1198_12.min1.thm1.tptp2017-02-06 16:57 225  
[ ]compl_sp__1917_20.min1.thm1.tptp2017-02-06 16:57 277  
[ ]convex1__651_30.min1.thm1.tptp2017-02-06 16:57 595  
[ ]convex2__935_75.min1.thm1.tptp2017-02-06 16:57 699  
[ ]convex3__1113_76.min1.thm1.tptp2017-02-06 16:57 400  
[ ]convex4__2335_57.min1.thm1.tptp2017-02-06 16:57 656  
[ ]dickson__3305_61.min1.thm1.tptp2017-02-06 16:57 331  
[ ]euclid_7__570_15.min1.thm1.tptp2017-02-06 16:57 197  
[ ]euclid_7__879_10.min1.thm1.tptp2017-02-06 16:57 204  
[ ]filerec1__206_17.min1.thm1.tptp2017-02-06 16:57 54  
[ ]finseq_1__705_11.min1.thm1.tptp2017-02-06 16:57 202  
[ ]finseq_1__714_15.min1.thm1.tptp2017-02-06 16:57 204  
[ ]finseq_3__91_42.min1.thm1.tptp2017-02-06 16:57 278  
[ ]finseq_3__383_17.min1.thm1.tptp2017-02-06 16:57 224  
[ ]finseq_3__386_19.min1.thm1.tptp2017-02-06 16:57 248  
[ ]fomodel0__282_34.min1.thm1.tptp2017-02-06 16:57 247  
[ ]fomodel0__3405_50.min1.thm1.tptp2017-02-06 16:57 278  
[ ]fomodel0__3524_12.min1.thm1.tptp2017-02-06 16:57 291  
[ ]fomodel3__3392_35.min1.thm1.tptp2017-02-06 16:57 208  
[ ]fomodel4__676_37.min1.thm1.tptp2017-02-06 16:57 602  
[ ]funct_1__52_15.min1.thm1.tptp2017-02-06 16:57 192  
[ ]gate_1__53_22.min1.thm1.tptp2017-02-06 16:57 211  
[ ]glib_000__42_21.min1.thm1.tptp2017-02-06 16:57 196  
[ ]graph_1__546_16.min1.thm1.tptp2017-02-06 16:57 229  
[ ]grcat_1__817_15.min1.thm1.tptp2017-02-06 16:57 412  
[ ]group_2__2868_35.min1.thm1.tptp2017-02-06 16:57 197  
[ ]heyting2__558_35.min1.thm1.tptp2017-02-06 16:57 197  
[ ]jgraph_3__3315_12.min1.thm1.tptp2017-02-06 16:57 267  
[ ]jgraph_4__2162_10.min1.thm1.tptp2017-02-06 16:57 264  
[ ]jgraph_4__4875_9.min1.thm1.tptp2017-02-06 16:57 264  
[ ]jgraph_4__8023_10.min1.thm1.tptp2017-02-06 16:57 273  
[ ]jgraph_4__11040_10.min1.thm1.tptp2017-02-06 16:57 269  
[ ]jordan1g__57_15.min1.thm1.tptp2017-02-06 16:57 196  
[ ]lattice3__1982_17.min1.thm1.tptp2017-02-06 16:57 363  
[ ]lattice6__1376_54.min1.thm1.tptp2017-02-06 16:57 330  
[ ]lattice6__1420_57.min1.thm1.tptp2017-02-06 16:57 330  
[ ]lattice6__1945_63.min1.thm1.tptp2017-02-06 16:57 270  
[ ]margrel1__86_56.min1.thm1.tptp2017-02-06 16:57 515  
[ ]margrel1__225_15.min1.thm1.tptp2017-02-06 16:57 316  
[ ]margrel1__236_15.min1.thm1.tptp2017-02-06 16:57 326  
[ ]margrel1__243_33.min1.thm1.tptp2017-02-06 16:57 322  
[ ]margrel1__249_32.min1.thm1.tptp2017-02-06 16:57 312  
[ ]margrel1__334_75.min1.thm1.tptp2017-02-06 16:57 374  
[ ]measure6__995_17.min1.thm1.tptp2017-02-06 16:57 185  
[ ]memstr_0__395_15.min1.thm1.tptp2017-02-06 16:57 201  
[ ]metrizts__261_48.min1.thm1.tptp2017-02-06 16:57 319  
[ ]metrizts__861_53.min1.thm1.tptp2017-02-06 16:57 329  
[ ]metrizts__964_53.min1.thm1.tptp2017-02-06 16:57 329  
[ ]nagata_1__124_19.min1.thm1.tptp2017-02-06 16:57 197  
[ ]orders_1__1856_15.min1.thm1.tptp2017-02-06 16:57 470  
[ ]ordinal1__121_30.min1.thm1.tptp2017-02-06 16:57 243  
[ ]ordinal1__122_58.min1.thm1.tptp2017-02-06 16:57 306  
[ ]ordinal2__2173_18.min1.thm1.tptp2017-02-06 16:57 164  
[ ]ordinal4__1056_19.min1.thm1.tptp2017-02-06 16:57 602  
[ ]ordinal4__1093_15.min1.thm1.tptp2017-02-06 16:57 590  
[ ]ordinal4__1234_10.min1.thm1.tptp2017-02-06 16:57 373  
[ ]ordinal4__1385_11.min1.thm1.tptp2017-02-06 16:57 326  
[ ]ordinal5__538_20.min1.thm1.tptp2017-02-06 16:57 164  
[ ]ordinal5__880_22.min1.thm1.tptp2017-02-06 16:57 203  
[ ]partit_2__696_10.min1.thm1.tptp2017-02-06 16:57 230  
[ ]pboole__1632_13.min1.thm1.tptp2017-02-06 16:57 326  
[ ]prob_1__590_16.min1.thm1.tptp2017-02-06 16:57 251  
[ ]pzfmisc1__102_17.min1.thm1.tptp2017-02-06 16:57 237  
[ ]pzfmisc1__149_21.min1.thm1.tptp2017-02-06 16:57 297  
[ ]quantal1__574_40.min1.thm1.tptp2017-02-06 16:57 264  
[ ]scmpds_8__2521_39.min1.thm1.tptp2017-02-06 16:57 453  
[ ]scmpds_8__2667_39.min1.thm1.tptp2017-02-06 16:57 453  
[ ]scmyciel__176_15.min1.thm1.tptp2017-02-06 16:57 207  
[ ]seqfunc__962_16.min1.thm1.tptp2017-02-06 16:57 198  
[ ]setwiseo__191_16.min1.thm1.tptp2017-02-06 16:57 261  
[ ]simplex1__2201_23.min1.thm1.tptp2017-02-06 16:57 193  
[ ]simplex1__2492_24.min1.thm1.tptp2017-02-06 16:57 195  
[ ]simplex1__2801_24.min1.thm1.tptp2017-02-06 16:57 196  
[ ]simplex1__3264_23.min1.thm1.tptp2017-02-06 16:57 193  
[ ]subset_1__186_11.min1.thm1.tptp2017-02-06 16:57 202  
[ ]substlat__80_69.min1.thm1.tptp2017-02-06 16:57 476  
[ ]taxonom2__265_78.min1.thm1.tptp2017-02-06 16:57 326  
[ ]toler_1__40_31.min1.thm1.tptp2017-02-06 16:57 259  
[ ]topdim_2__937_51.min1.thm1.tptp2017-02-06 16:57 325  
[ ]topreal8__72_15.min1.thm1.tptp2017-02-06 16:57 196  
[ ]trees_1__1601_48.min1.thm1.tptp2017-02-06 16:57 274  
[ ]trees_1__1603_15.min1.thm1.tptp2017-02-06 16:57 366  
[ ]trees_1__1661_48.min1.thm1.tptp2017-02-06 16:57 272  
[ ]trees_1__1663_15.min1.thm1.tptp2017-02-06 16:57 352  
[ ]trees_3__1421_11.min1.thm1.tptp2017-02-06 16:57 247  
[ ]unialg_3__49_15.min1.thm1.tptp2017-02-06 16:57 251  
[ ]vectsp_8__56_15.min1.thm1.tptp2017-02-06 16:57 266  
[ ]xboole_1__46_13.min1.thm1.tptp2017-02-06 16:57 263  
[ ]xreal_0__760_15.min1.thm1.tptp2017-02-06 16:57 183  
[ ]xxreal_1__451_13.min1.thm1.tptp2017-02-06 16:57 296  
[ ]xxreal_1__464_13.min1.thm1.tptp2017-02-06 16:57 296  
[ ]xxreal_2__49_34.min1.thm1.tptp2017-02-06 16:57 190  
[ ]xxreal_2__1140_13.min1.thm1.tptp2017-02-06 16:57 262  
[ ]xxreal_2__1147_13.min1.thm1.tptp2017-02-06 16:57 262  
[ ]yellow_0__298_15.min1.thm1.tptp2017-02-06 16:57 291  
[ ]yellow_0__301_13.min1.thm1.tptp2017-02-06 16:57 285  
[ ]yellow_1__1127_47.min1.thm1.tptp2017-02-06 16:57 494  
[ ]zfmisc_1__2307_18.min1.thm1.tptp2017-02-06 16:57 201  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80