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