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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abcmiz_a__884_59.min1.thm1.tptp2017-02-06 16:57 313  
[ ]abcmiz_a__945_64.min1.thm1.tptp2017-02-06 16:57 313  
[ ]abcmiz_a__1548_8.min1.thm1.tptp2017-02-06 16:57 313  
[ ]abcmiz_a__2098_8.min1.thm1.tptp2017-02-06 16:57 310  
[ ]abcmiz_a__2117_8.min1.thm1.tptp2017-02-06 16:57 310  
[ ]abcmiz_a__2151_8.min1.thm1.tptp2017-02-06 16:57 310  
[ ]afproj__1044_12.min1.thm1.tptp2017-02-06 16:57 296  
[ ]afproj__2617_10.min1.thm1.tptp2017-02-06 16:57 286  
[ ]afproj__2945_14.min1.thm1.tptp2017-02-06 16:57 294  
[ ]afproj__3156_15.min1.thm1.tptp2017-02-06 16:57 296  
[ ]afproj__3162_15.min1.thm1.tptp2017-02-06 16:57 296  
[ ]afproj__3168_15.min1.thm1.tptp2017-02-06 16:57 296  
[ ]algstr_4__2347_17.min1.thm1.tptp2017-02-06 16:57 296  
[ ]algstr_4__2459_30.min1.thm1.tptp2017-02-06 16:57 377  
[ ]algstr_4__2460_30.min1.thm1.tptp2017-02-06 16:57 378  
[ ]altcat_1__147_21.min1.thm1.tptp2017-02-06 16:57 343  
[ ]bintree2__414_16.min1.thm1.tptp2017-02-06 16:57 388  
[ ]bintree2__419_16.min1.thm1.tptp2017-02-06 16:57 393  
[ ]borsuk_6__3982_17.min1.thm1.tptp2017-02-06 16:57 304  
[ ]borsuk_6__4029_17.min1.thm1.tptp2017-02-06 16:57 299  
[ ]borsuk_6__4305_17.min1.thm1.tptp2017-02-06 16:57 304  
[ ]borsuk_6__4352_17.min1.thm1.tptp2017-02-06 16:57 299  
[ ]card_1__1664_12.min1.thm1.tptp2017-02-06 16:57 324  
[ ]card_1__1974_17.min1.thm1.tptp2017-02-06 16:57 306  
[ ]card_2__175_10.min1.thm1.tptp2017-02-06 16:57 321  
[ ]card_2__212_28.min1.thm1.tptp2017-02-06 16:57 354  
[ ]card_2__460_17.min1.thm1.tptp2017-02-06 16:57 298  
[ ]card_2__1039_17.min1.thm1.tptp2017-02-06 16:57 297  
[ ]card_2__1048_17.min1.thm1.tptp2017-02-06 16:57 292  
[ ]card_3__1176_17.min1.thm1.tptp2017-02-06 16:57 307  
[ ]coh_sp__750_44.min1.thm1.tptp2017-02-06 16:57 446  
[ ]coh_sp__775_25.min1.thm1.tptp2017-02-06 16:57 340  
[ ]coh_sp__1590_44.min1.thm1.tptp2017-02-06 16:57 446  
[ ]coh_sp__1615_25.min1.thm1.tptp2017-02-06 16:57 340  
[ ]cohsp_1__1702_17.min1.thm1.tptp2017-02-06 16:57 304  
[ ]cohsp_1__2144_17.min1.thm1.tptp2017-02-06 16:57 304  
[ ]conlat_1__193_42.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__195_12.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__196_19.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__199_13.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__212_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__215_12.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__273_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__276_13.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__357_42.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__359_12.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__360_19.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__363_13.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__376_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__379_12.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_1__437_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__440_13.min1.thm1.tptp2017-02-06 16:57 356  
[ ]conlat_2__1980_10.min1.thm1.tptp2017-02-06 16:57 308  
[ ]conlat_2__1981_17.min1.thm1.tptp2017-02-06 16:57 308  
[ ]conlat_2__2329_18.min1.thm1.tptp2017-02-06 16:57 312  
[ ]conlat_2__2340_18.min1.thm1.tptp2017-02-06 16:57 312  
[ ]conlat_2__2802_69.min1.thm1.tptp2017-02-06 16:57 506  
[ ]conlat_2__2804_12.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_2__2805_19.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_2__2807_30.min1.thm1.tptp2017-02-06 16:57 506  
[ ]conlat_2__2851_18.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_2__2853_32.min1.thm1.tptp2017-02-06 16:57 509  
[ ]conlat_2__2863_30.min1.thm1.tptp2017-02-06 16:57 512  
[ ]conlat_2__2910_19.min1.thm1.tptp2017-02-06 16:57 426  
[ ]conlat_2__2912_30.min1.thm1.tptp2017-02-06 16:57 506  
[ ]dickson__3656_22.min1.thm1.tptp2017-02-06 16:57 327  
[ ]dickson__3688_24.min1.thm1.tptp2017-02-06 16:57 328  
[ ]dickson__3872_22.min1.thm1.tptp2017-02-06 16:57 327  
[ ]facirc_1__1157_34.min1.thm1.tptp2017-02-06 16:57 537  
[ ]facirc_1__1176_34.min1.thm1.tptp2017-02-06 16:57 537  
[ ]finset_1__1238_12.min1.thm1.tptp2017-02-06 16:57 324  
[ ]fsm_1__961_63.min1.thm1.tptp2017-02-06 16:57 610  
[ ]funct_6__2033_34.min1.thm1.tptp2017-02-06 16:57 396  
[ ]funct_6__2069_33.min1.thm1.tptp2017-02-06 16:57 382  
[ ]functor0__1002_13.min1.thm1.tptp2017-02-06 16:57 574  
[ ]functor0__1004_13.min1.thm1.tptp2017-02-06 16:57 574  
[ ]functor0__1058_13.min1.thm1.tptp2017-02-06 16:57 574  
[ ]functor0__1064_13.min1.thm1.tptp2017-02-06 16:57 574  
[ ]functor0__1165_9.min1.thm1.tptp2017-02-06 16:57 300  
[ ]functor0__1210_11.min1.thm1.tptp2017-02-06 16:57 558  
[ ]functor0__1212_11.min1.thm1.tptp2017-02-06 16:57 558  
[ ]functor0__1262_11.min1.thm1.tptp2017-02-06 16:57 558  
[ ]functor0__1267_11.min1.thm1.tptp2017-02-06 16:57 558  
[ ]functor0__1802_8.min1.thm1.tptp2017-02-06 16:57 300  
[ ]functor0__1917_8.min1.thm1.tptp2017-02-06 16:57 300  
[ ]functor0__2594_8.min1.thm1.tptp2017-02-06 16:57 304  
[ ]gfacirc2__818_46.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]gfacirc2__1931_46.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]heyting3__169_16.min1.thm1.tptp2017-02-06 16:57 295  
[ ]integr1c__88_34.min1.thm1.tptp2017-02-06 16:57 299  
[ ]integr1c__91_24.min1.thm1.tptp2017-02-06 16:57 379  
[ ]integr1c__1932_49.min1.thm1.tptp2017-02-06 16:57 536  
[ ]integr1c__1964_49.min1.thm1.tptp2017-02-06 16:57 536  
[ ]integr1c__1996_49.min1.thm1.tptp2017-02-06 16:57 536  
[ ]integr1c__2028_49.min1.thm1.tptp2017-02-06 16:57 536  
[ ]integr1c__2413_49.min1.thm1.tptp2017-02-06 16:57 536  
[ ]integr1c__2444_49.min1.thm1.tptp2017-02-06 16:57 536  
[ ]integr1c__2629_49.min1.thm1.tptp2017-02-06 16:57 542  
[ ]integr1c__2660_49.min1.thm1.tptp2017-02-06 16:57 542  
[ ]lattice5__4250_20.min1.thm1.tptp2017-02-06 16:57 322  
[ ]lattice5__4253_20.min1.thm1.tptp2017-02-06 16:57 322  
[ ]lattice5__4550_16.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice5__4646_20.min1.thm1.tptp2017-02-06 16:57 315  
[ ]lattice5__4665_18.min1.thm1.tptp2017-02-06 16:57 307  
[ ]lattice5__4701_19.min1.thm1.tptp2017-02-06 16:57 307  
[ ]lattice5__4719_19.min1.thm1.tptp2017-02-06 16:57 310  
[ ]lattice5__4765_20.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice5__4785_16.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice5__4794_19.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice5__4805_19.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice5__4909_18.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice5__4956_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__4963_22.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__4981_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__4988_22.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__5258_13.min1.thm1.tptp2017-02-06 16:57 338  
[ ]lattice5__5516_15.min1.thm1.tptp2017-02-06 16:57 341  
[ ]lattice8__2991_20.min1.thm1.tptp2017-02-06 16:57 322  
[ ]lattice8__3089_19.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice8__3185_20.min1.thm1.tptp2017-02-06 16:57 315  
[ ]lattice8__3204_18.min1.thm1.tptp2017-02-06 16:57 307  
[ ]lattice8__3240_19.min1.thm1.tptp2017-02-06 16:57 307  
[ ]lattice8__3257_19.min1.thm1.tptp2017-02-06 16:57 310  
[ ]lattice8__3302_19.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice8__3320_19.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice8__3338_19.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice8__3443_18.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice8__3485_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3492_22.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3510_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3517_22.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3791_13.min1.thm1.tptp2017-02-06 16:57 338  
[ ]lattice8__4057_15.min1.thm1.tptp2017-02-06 16:57 341  
[ ]msafree3__175_10.min1.thm1.tptp2017-02-06 16:57 298  
[ ]msafree3__445_15.min1.thm1.tptp2017-02-06 16:57 298  
[ ]msafree3__1074_8.min1.thm1.tptp2017-02-06 16:57 300  
[ ]msualg_6__1702_13.min1.thm1.tptp2017-02-06 16:57 306  
[ ]msualg_9__393_11.min1.thm1.tptp2017-02-06 16:57 308  
[ ]msualg_9__404_11.min1.thm1.tptp2017-02-06 16:57 308  
[ ]msualg_9__830_10.min1.thm1.tptp2017-02-06 16:57 321  
[ ]nattra_1__1569_13.min1.thm1.tptp2017-02-06 16:57 324  
[ ]nattra_1__1645_22.min1.thm1.tptp2017-02-06 16:57 324  
[ ]nattra_1__1686_27.min1.thm1.tptp2017-02-06 16:57 416  
[ ]nattra_1__1749_14.min1.thm1.tptp2017-02-06 16:57 415  
[ ]nattra_1__1782_22.min1.thm1.tptp2017-02-06 16:57 336  
[ ]nattra_1__1838_31.min1.thm1.tptp2017-02-06 16:57 379  
[ ]nattra_1__1840_15.min1.thm1.tptp2017-02-06 16:57 376  
[ ]nattra_1__1859_47.min1.thm1.tptp2017-02-06 16:57 420  
[ ]nattra_1__1888_14.min1.thm1.tptp2017-02-06 16:57 375  
[ ]nattra_1__1907_47.min1.thm1.tptp2017-02-06 16:57 406  
[ ]nattra_1__2039_8.min1.thm1.tptp2017-02-06 16:57 300  
[ ]nattra_1__2088_11.min1.thm1.tptp2017-02-06 16:57 302  
[ ]ntalgo_1__528_23.min1.thm1.tptp2017-02-06 16:57 555  
[ ]polynom8__1616_21.min1.thm1.tptp2017-02-06 16:57 333  
[ ]polynom8__1668_23.min1.thm1.tptp2017-02-06 16:57 353  
[ ]pralg_2__363_19.min1.thm1.tptp2017-02-06 16:57 323  
[ ]pua2mss1__2345_16.min1.thm1.tptp2017-02-06 16:57 307  
[ ]pua2mss1__2489_16.min1.thm1.tptp2017-02-06 16:57 305  
[ ]qc_lang1__853_12.min1.thm1.tptp2017-02-06 16:57 291  
[ ]qc_lang1__1347_8.min1.thm1.tptp2017-02-06 16:57 285  
[ ]sgraph1__960_15.min1.thm1.tptp2017-02-06 16:57 340  
[ ]sgraph1__976_14.min1.thm1.tptp2017-02-06 16:57 314  
[ ]sgraph1__988_15.min1.thm1.tptp2017-02-06 16:57 346  
[ ]topalg_4__390_10.min1.thm1.tptp2017-02-06 16:57 308  
[ ]topdim_2__702_20.min1.thm1.tptp2017-02-06 16:57 330  
[ ]topgen_5__202_13.min1.thm1.tptp2017-02-06 16:57 294  
[ ]waybel26__1772_15.min1.thm1.tptp2017-02-06 16:57 306  
[ ]waybel26__1892_23.min1.thm1.tptp2017-02-06 16:57 330  
[ ]waybel26__1967_23.min1.thm1.tptp2017-02-06 16:57 330  
[ ]waybel27__422_14.min1.thm1.tptp2017-02-06 16:57 305  
[ ]waybel27__467_14.min1.thm1.tptp2017-02-06 16:57 299  
[ ]yellow10__805_17.min1.thm1.tptp2017-02-06 16:57 316  
[ ]yellow10__889_17.min1.thm1.tptp2017-02-06 16:57 316  
[ ]yellow18__459_15.min1.thm1.tptp2017-02-06 16:57 310  
[ ]yellow18__820_12.min1.thm1.tptp2017-02-06 16:57 567  
[ ]yellow18__834_26.min1.thm1.tptp2017-02-06 16:57 506  
[ ]yellow18__1054_12.min1.thm1.tptp2017-02-06 16:57 574  
[ ]yellow18__1068_26.min1.thm1.tptp2017-02-06 16:57 516  
[ ]yellow18__3767_21.min1.thm1.tptp2017-02-06 16:57 335  
[ ]yellow19__578_17.min1.thm1.tptp2017-02-06 16:57 322  
[ ]yellow20__1191_41.min1.thm1.tptp2017-02-06 16:57 890  
[ ]yellow20__1293_39.min1.thm1.tptp2017-02-06 16:57 891  
[ ]yoneda_1__305_25.min1.thm1.tptp2017-02-06 16:57 587  
[ ]yoneda_1__331_25.min1.thm1.tptp2017-02-06 16:57 587  
[ ]yoneda_1__566_26.min1.thm1.tptp2017-02-06 16:57 603  
[ ]yoneda_1__592_26.min1.thm1.tptp2017-02-06 16:57 603  
[ ]yoneda_1__1510_25.min1.thm1.tptp2017-02-06 16:57 568  
[ ]yoneda_1__1537_24.min1.thm1.tptp2017-02-06 16:57 568  
[ ]zf_fund1__101_25.min1.thm1.tptp2017-02-06 16:57 506  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80