Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d8_xboole_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numbers__867_20.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__870_16.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__873_19.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__876_15.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__879_16.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__882_19.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__888_15.min1.thm1.tptp2017-02-06 16:57 233  
[ ]numbers__894_19.min1.thm1.tptp2017-02-06 16:57 234  
[ ]card_2__1249_16.min1.thm1.tptp2017-02-06 16:57 250  
[ ]trees_2__69_27.min1.thm1.tptp2017-02-06 16:57 250  
[ ]xboole_1__895_17.min1.thm1.tptp2017-02-06 16:57 254  
[ ]dilworth__125_13.min1.thm1.tptp2017-02-06 16:57 256  
[ ]modal_1__242_23.min1.thm1.tptp2017-02-06 16:57 256  
[ ]trees_1__2265_22.min1.thm1.tptp2017-02-06 16:57 256  
[ ]trees_1__2303_22.min1.thm1.tptp2017-02-06 16:57 256  
[ ]trees_9__2571_25.min1.thm1.tptp2017-02-06 16:57 256  
[ ]xboole_1__1467_17.min1.thm1.tptp2017-02-06 16:57 258  
[ ]borsuk_4__1740_13.min1.thm1.tptp2017-02-06 16:57 262  
[ ]ordinal1__178_13.min1.thm1.tptp2017-02-06 16:57 262  
[ ]qc_lang4__690_26.min1.thm1.tptp2017-02-06 16:57 262  
[ ]qc_lang4__784_29.min1.thm1.tptp2017-02-06 16:57 262  
[ ]subset_1__1076_11.min1.thm1.tptp2017-02-06 16:57 262  
[ ]trees_a__438_43.min1.thm1.tptp2017-02-06 16:57 262  
[ ]xboole_1__844_11.min1.thm1.tptp2017-02-06 16:57 262  
[ ]xboole_1__854_11.min1.thm1.tptp2017-02-06 16:57 262  
[ ]xboole_1__867_11.min1.thm1.tptp2017-02-06 16:57 262  
[ ]trees_2__199_31.min1.thm1.tptp2017-02-06 16:57 266  
[ ]orders_2__1561_21.min1.thm1.tptp2017-02-06 16:57 268  
[ ]trees_1__263_25.min1.thm1.tptp2017-02-06 16:57 272  
[ ]trees_2__982_23.min1.thm1.tptp2017-02-06 16:57 276  
[ ]rlaffin2__605_21.min1.thm1.tptp2017-02-06 16:57 280  
[ ]bintree2__660_27.min1.thm1.tptp2017-02-06 16:57 282  
[ ]abcmiz_a__183_17.min1.thm1.tptp2017-02-06 16:57 288  
[ ]trees_1__487_38.min1.thm1.tptp2017-02-06 16:57 290  
[ ]trees_4__881_24.min1.thm1.tptp2017-02-06 16:57 292  
[ ]simplex1__3450_18.min1.thm1.tptp2017-02-06 16:57 294  
[ ]trees_1__2352_17.min1.thm1.tptp2017-02-06 16:57 296  
[ ]orders_2__1515_26.min1.thm1.tptp2017-02-06 16:57 298  
[ ]orders_2__1521_26.min1.thm1.tptp2017-02-06 16:57 298  
[ ]ordinal1__287_22.min1.thm1.tptp2017-02-06 16:57 300  
[ ]trees_1__949_25.min1.thm1.tptp2017-02-06 16:57 300  
[ ]orders_2__1606_28.min1.thm1.tptp2017-02-06 16:57 302  
[ ]simplex1__3607_20.min1.thm1.tptp2017-02-06 16:57 303  
[ ]simplex1__4388_19.min1.thm1.tptp2017-02-06 16:57 303  
[ ]rcomp_3__2076_17.min1.thm1.tptp2017-02-06 16:57 305  
[ ]trees_1__1258_40.min1.thm1.tptp2017-02-06 16:57 308  
[ ]rcomp_3__2028_19.min1.thm1.tptp2017-02-06 16:57 310  
[ ]sgraph1__1170_18.min1.thm1.tptp2017-02-06 16:57 311  
[ ]rlaffin2__673_25.min1.thm1.tptp2017-02-06 16:57 314  
[ ]trees_9__2543_20.min1.thm1.tptp2017-02-06 16:57 314  
[ ]trees_3__1722_33.min1.thm1.tptp2017-02-06 16:57 326  
[ ]pre_circ__542_40.min1.thm1.tptp2017-02-06 16:57 327  
[ ]trees_a__262_42.min1.thm1.tptp2017-02-06 16:57 330  
[ ]trees_1__391_22.min1.thm1.tptp2017-02-06 16:57 331  
[ ]trees_1__394_22.min1.thm1.tptp2017-02-06 16:57 331  
[ ]simplex0__981_23.min1.thm1.tptp2017-02-06 16:57 332  
[ ]modal_1__932_38.min1.thm1.tptp2017-02-06 16:57 334  
[ ]modal_1__1556_38.min1.thm1.tptp2017-02-06 16:57 334  
[ ]trees_a__505_20.min1.thm1.tptp2017-02-06 16:57 335  
[ ]trees_3__1742_36.min1.thm1.tptp2017-02-06 16:57 340  
[ ]trees_a__196_40.min1.thm1.tptp2017-02-06 16:57 342  
[ ]pre_circ__666_38.min1.thm1.tptp2017-02-06 16:57 344  
[ ]trees_1__2209_35.min1.thm1.tptp2017-02-06 16:57 356  
[ ]trees_1__2151_31.min1.thm1.tptp2017-02-06 16:57 368  
[ ]xxreal_1__1318_25.min1.thm1.tptp2017-02-06 16:57 378  
[ ]exchsort__989_21.min1.thm1.tptp2017-02-06 16:57 382  
[ ]zfmodel1__468_17.min1.thm1.tptp2017-02-06 16:57 388  
[ ]rcomp_3__2082_15.min1.thm1.tptp2017-02-06 16:57 399  
[ ]xboole_1__1363_17.min1.thm1.tptp2017-02-06 16:57 401  
[ ]trees_1__1189_36.min1.thm1.tptp2017-02-06 16:57 402  
[ ]trees_2__120_40.min1.thm1.tptp2017-02-06 16:57 403  
[ ]heyting3__843_17.min1.thm1.tptp2017-02-06 16:57 410  
[ ]trees_a__162_36.min1.thm1.tptp2017-02-06 16:57 414  
[ ]nagata_1__949_34.min1.thm1.tptp2017-02-06 16:57 418  
[ ]modal_1__105_38.min1.thm1.tptp2017-02-06 16:57 426  
[ ]simplex0__1108_23.min1.thm1.tptp2017-02-06 16:57 450  
[ ]simplex0__1120_23.min1.thm1.tptp2017-02-06 16:57 450  
[ ]simplex0__1188_21.min1.thm1.tptp2017-02-06 16:57 456  
[ ]simplex0__1199_21.min1.thm1.tptp2017-02-06 16:57 456  
[ ]simplex0__1103_21.min1.thm1.tptp2017-02-06 16:57 491  
[ ]simplex0__1115_21.min1.thm1.tptp2017-02-06 16:57 491  
[ ]simplex0__1191_14.min1.thm1.tptp2017-02-06 16:57 499  
[ ]simplex0__1202_14.min1.thm1.tptp2017-02-06 16:57 499  
[ ]trees_3__2101_59.min1.thm1.tptp2017-02-06 16:57 500  
[ ]trees_3__2303_59.min1.thm1.tptp2017-02-06 16:57 501  
[ ]trees_3__2275_59.min1.thm1.tptp2017-02-06 16:57 502  
[ ]modal_1__363_20.min1.thm1.tptp2017-02-06 16:57 508  
[ ]isomichi__960_32.min1.thm1.tptp2017-02-06 16:57 510  
[ ]ideal_1__5840_23.min1.thm1.tptp2017-02-06 16:57 638  
[ ]isomichi__1155_34.min1.thm1.tptp2017-02-06 16:57 666  
[ ]fin_topo__812_38.min1.thm1.tptp2017-02-06 16:57 678  
[ ]ideal_1__5996_40.min1.thm1.tptp2017-02-06 16:57 818  
[ ]simplex1__1821_24.min1.thm1.tptp2017-02-06 16:57 915  
[ ]simplex1__1816_24.min1.thm1.tptp2017-02-06 16:57 918  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80