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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afproj__1076_10.min1.thm1.tptp2017-02-06 16:57 280  
[ ]algstr_4__2345_17.min1.thm1.tptp2017-02-06 16:57 284  
[ ]algstr_4__2400_26.min1.thm1.tptp2017-02-06 16:57 575  
[ ]algstr_4__2456_22.min1.thm1.tptp2017-02-06 16:57 338  
[ ]algstr_4__2457_47.min1.thm1.tptp2017-02-06 16:57 339  
[ ]algstr_4__2458_47.min1.thm1.tptp2017-02-06 16:57 341  
[ ]borsuk_6__4028_17.min1.thm1.tptp2017-02-06 16:57 286  
[ ]borsuk_6__4351_17.min1.thm1.tptp2017-02-06 16:57 286  
[ ]card_1__1695_17.min1.thm1.tptp2017-02-06 16:57 322  
[ ]card_2__224_21.min1.thm1.tptp2017-02-06 16:57 298  
[ ]card_2__230_21.min1.thm1.tptp2017-02-06 16:57 298  
[ ]card_3__1177_17.min1.thm1.tptp2017-02-06 16:57 307  
[ ]circcmb2__673_21.min1.thm1.tptp2017-02-06 16:57 386  
[ ]circcmb2__700_30.min1.thm1.tptp2017-02-06 16:57 710  
[ ]coh_sp__734_22.min1.thm1.tptp2017-02-06 16:57 335  
[ ]coh_sp__1429_15.min1.thm1.tptp2017-02-06 16:57 306  
[ ]coh_sp__1462_27.min1.thm1.tptp2017-02-06 16:57 345  
[ ]coh_sp__1573_20.min1.thm1.tptp2017-02-06 16:57 335  
[ ]conlat_1__179_19.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__183_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__187_19.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__191_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__248_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__252_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__268_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__272_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__341_18.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__345_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__349_19.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__355_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__412_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__416_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_1__432_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_1__436_34.min1.thm1.tptp2017-02-06 16:57 388  
[ ]conlat_2__1910_22.min1.thm1.tptp2017-02-06 16:57 308  
[ ]conlat_2__1912_11.min1.thm1.tptp2017-02-06 16:57 308  
[ ]conlat_2__1984_22.min1.thm1.tptp2017-02-06 16:57 308  
[ ]conlat_2__1986_11.min1.thm1.tptp2017-02-06 16:57 308  
[ ]conlat_2__2808_24.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_2__2810_13.min1.thm1.tptp2017-02-06 16:57 324  
[ ]conlat_2__2867_34.min1.thm1.tptp2017-02-06 16:57 538  
[ ]conlat_2__2875_32.min1.thm1.tptp2017-02-06 16:57 541  
[ ]conlat_2__2915_18.min1.thm1.tptp2017-02-06 16:57 375  
[ ]conlat_2__2917_34.min1.thm1.tptp2017-02-06 16:57 535  
[ ]dickson__3657_22.min1.thm1.tptp2017-02-06 16:57 327  
[ ]dickson__3701_24.min1.thm1.tptp2017-02-06 16:57 329  
[ ]dickson__3896_22.min1.thm1.tptp2017-02-06 16:57 327  
[ ]facirc_1__1111_29.min1.thm1.tptp2017-02-06 16:57 439  
[ ]facirc_1__1129_36.min1.thm1.tptp2017-02-06 16:57 427  
[ ]facirc_1__1310_15.min1.thm1.tptp2017-02-06 16:57 300  
[ ]finset_1__1304_12.min1.thm1.tptp2017-02-06 16:57 324  
[ ]fomodel2__1509_49.min1.thm1.tptp2017-02-06 16:57 329  
[ ]fsm_1__4191_23.min1.thm1.tptp2017-02-06 16:57 505  
[ ]fsm_1__4260_21.min1.thm1.tptp2017-02-06 16:57 493  
[ ]fsm_3__1023_13.min1.thm1.tptp2017-02-06 16:57 352  
[ ]fsm_3__1078_13.min1.thm1.tptp2017-02-06 16:57 392  
[ ]funct_6__2039_34.min1.thm1.tptp2017-02-06 16:57 396  
[ ]funct_6__2074_33.min1.thm1.tptp2017-02-06 16:57 382  
[ ]gfacirc2__832_40.min1.thm1.tptp2017-02-06 16:57 315  
[ ]gfacirc2__1945_40.min1.thm1.tptp2017-02-06 16:57 315  
[ ]index_1__1311_19.min1.thm1.tptp2017-02-06 16:57 626  
[ ]integr1c__89_34.min1.thm1.tptp2017-02-06 16:57 299  
[ ]integr1c__92_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__4293_20.min1.thm1.tptp2017-02-06 16:57 322  
[ ]lattice5__4296_20.min1.thm1.tptp2017-02-06 16:57 323  
[ ]lattice5__4549_19.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice5__4625_18.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice5__4645_20.min1.thm1.tptp2017-02-06 16:57 315  
[ ]lattice5__4661_19.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice5__4704_18.min1.thm1.tptp2017-02-06 16:57 307  
[ ]lattice5__4722_15.min1.thm1.tptp2017-02-06 16:57 310  
[ ]lattice5__4768_15.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice5__4788_15.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice5__4808_15.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice5__4911_18.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice5__4959_16.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__4967_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__4984_16.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__4992_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice5__5508_15.min1.thm1.tptp2017-02-06 16:57 341  
[ ]lattice8__3036_20.min1.thm1.tptp2017-02-06 16:57 322  
[ ]lattice8__3090_19.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice8__3164_18.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice8__3184_20.min1.thm1.tptp2017-02-06 16:57 315  
[ ]lattice8__3200_19.min1.thm1.tptp2017-02-06 16:57 306  
[ ]lattice8__3243_15.min1.thm1.tptp2017-02-06 16:57 307  
[ ]lattice8__3260_15.min1.thm1.tptp2017-02-06 16:57 310  
[ ]lattice8__3305_16.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice8__3323_16.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice8__3341_16.min1.thm1.tptp2017-02-06 16:57 314  
[ ]lattice8__3439_15.min1.thm1.tptp2017-02-06 16:57 311  
[ ]lattice8__3488_16.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3496_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3513_16.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__3521_19.min1.thm1.tptp2017-02-06 16:57 302  
[ ]lattice8__4049_15.min1.thm1.tptp2017-02-06 16:57 341  
[ ]msafree3__441_15.min1.thm1.tptp2017-02-06 16:57 298  
[ ]msscyc_2__382_16.min1.thm1.tptp2017-02-06 16:57 312  
[ ]msualg_6__1700_15.min1.thm1.tptp2017-02-06 16:57 306  
[ ]msualg_9__871_10.min1.thm1.tptp2017-02-06 16:57 321  
[ ]nattra_1__1583_13.min1.thm1.tptp2017-02-06 16:57 324  
[ ]nattra_1__1650_16.min1.thm1.tptp2017-02-06 16:57 324  
[ ]nattra_1__1802_32.min1.thm1.tptp2017-02-06 16:57 374  
[ ]nattra_1__1804_14.min1.thm1.tptp2017-02-06 16:57 372  
[ ]nattra_1__1821_23.min1.thm1.tptp2017-02-06 16:57 328  
[ ]nattra_1__1841_29.min1.thm1.tptp2017-02-06 16:57 366  
[ ]nattra_1__1843_14.min1.thm1.tptp2017-02-06 16:57 364  
[ ]nattra_1__2042_9.min1.thm1.tptp2017-02-06 16:57 300  
[ ]normform__548_15.min1.thm1.tptp2017-02-06 16:57 298  
[ ]ntalgo_1__528_23.min1.thm1.tptp2017-02-06 16:57 555  
[ ]polynom8__1663_23.min1.thm1.tptp2017-02-06 16:57 333  
[ ]pralg_2__396_19.min1.thm1.tptp2017-02-06 16:57 323  
[ ]pua2mss1__2490_16.min1.thm1.tptp2017-02-06 16:57 306  
[ ]scm_comp__365_29.min1.thm1.tptp2017-02-06 16:57 328  
[ ]scm_comp__366_29.min1.thm1.tptp2017-02-06 16:57 338  
[ ]scm_comp__558_29.min1.thm1.tptp2017-02-06 16:57 328  
[ ]scm_comp__559_29.min1.thm1.tptp2017-02-06 16:57 338  
[ ]sgraph1__973_19.min1.thm1.tptp2017-02-06 16:57 366  
[ ]topalg_4__429_10.min1.thm1.tptp2017-02-06 16:57 308  
[ ]topdim_2__705_20.min1.thm1.tptp2017-02-06 16:57 331  
[ ]topgen_5__201_15.min1.thm1.tptp2017-02-06 16:57 294  
[ ]waybel26__1788_15.min1.thm1.tptp2017-02-06 16:57 306  
[ ]waybel26__1896_22.min1.thm1.tptp2017-02-06 16:57 330  
[ ]waybel26__1970_22.min1.thm1.tptp2017-02-06 16:57 331  
[ ]waybel27__421_13.min1.thm1.tptp2017-02-06 16:57 303  
[ ]waybel27__466_14.min1.thm1.tptp2017-02-06 16:57 299  
[ ]yellow10__839_15.min1.thm1.tptp2017-02-06 16:57 308  
[ ]yellow10__923_15.min1.thm1.tptp2017-02-06 16:57 308  
[ ]yellow18__460_15.min1.thm1.tptp2017-02-06 16:57 310  
[ ]yellow18__835_19.min1.thm1.tptp2017-02-06 16:57 420  
[ ]yellow18__1069_19.min1.thm1.tptp2017-02-06 16:57 428  
[ ]yellow18__3768_26.min1.thm1.tptp2017-02-06 16:57 364  
[ ]yellow19__742_17.min1.thm1.tptp2017-02-06 16:57 323  
[ ]yellow19__744_17.min1.thm1.tptp2017-02-06 16:57 324  
[ ]yellow19__751_17.min1.thm1.tptp2017-02-06 16:57 323  
[ ]yoneda_1__310_25.min1.thm1.tptp2017-02-06 16:57 587  
[ ]yoneda_1__326_25.min1.thm1.tptp2017-02-06 16:57 587  
[ ]yoneda_1__571_27.min1.thm1.tptp2017-02-06 16:57 603  
[ ]yoneda_1__587_27.min1.thm1.tptp2017-02-06 16:57 603  
[ ]yoneda_1__1499_25.min1.thm1.tptp2017-02-06 16:57 568  
[ ]zf_fund1__102_19.min1.thm1.tptp2017-02-06 16:57 408  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80