Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t3_xboole_0
Name
Last modified
Size
Description
Parent Directory
-
zfmodel2__2002_38.min1.thm1.tptp
2017-02-06 16:57
539
zfmodel2__1729_38.min1.thm1.tptp
2017-02-06 16:57
541
zfmodel1__945_31.min1.thm1.tptp
2017-02-06 16:57
479
zf_fund1__1418_15.min1.thm1.tptp
2017-02-06 16:57
547
zf_fund1__1391_17.min1.thm1.tptp
2017-02-06 16:57
555
yellow19__907_13.min1.thm1.tptp
2017-02-06 16:57
401
yellow19__502_13.min1.thm1.tptp
2017-02-06 16:57
453
yellow19__487_19.min1.thm1.tptp
2017-02-06 16:57
460
yellow10__1977_13.min1.thm1.tptp
2017-02-06 16:57
491
yellow10__1968_13.min1.thm1.tptp
2017-02-06 16:57
489
yellow10__1939_14.min1.thm1.tptp
2017-02-06 16:57
481
yellow10__1917_13.min1.thm1.tptp
2017-02-06 16:57
491
xregular__531_19.min1.thm1.tptp
2017-02-06 16:57
593
xregular__477_19.min1.thm1.tptp
2017-02-06 16:57
547
xboole_1__1392_17.min1.thm1.tptp
2017-02-06 16:57
405
xboole_1__1231_17.min1.thm1.tptp
2017-02-06 16:57
515
xboole_1__1142_17.min1.thm1.tptp
2017-02-06 16:57
515
xboole_1__1122_17.min1.thm1.tptp
2017-02-06 16:57
457
xboole_1__1063_13.min1.thm1.tptp
2017-02-06 16:57
399
xboole_1__1052_18.min1.thm1.tptp
2017-02-06 16:57
457
xboole_1__988_13.min1.thm1.tptp
2017-02-06 16:57
403
xboole_1__979_13.min1.thm1.tptp
2017-02-06 16:57
403
xboole_1__970_27.min1.thm1.tptp
2017-02-06 16:57
461
xboole_1__957_17.min1.thm1.tptp
2017-02-06 16:57
412
xboole_1__933_35.min1.thm1.tptp
2017-02-06 16:57
403
xboole_0__296_4.min1.thm1.tptp
2017-02-06 16:57
581
wellfnd1__826_28.min1.thm1.tptp
2017-02-06 16:57
607
wellfnd1__809_27.min1.thm1.tptp
2017-02-06 16:57
611
weddwitt__1194_15.min1.thm1.tptp
2017-02-06 16:57
437
waybel34__1112_29.min1.thm1.tptp
2017-02-06 16:57
1.2K
waybel34__1041_15.min1.thm1.tptp
2017-02-06 16:57
611
waybel32__909_15.min1.thm1.tptp
2017-02-06 16:57
415
waybel32__444_18.min1.thm1.tptp
2017-02-06 16:57
477
waybel30__1820_19.min1.thm1.tptp
2017-02-06 16:57
456
waybel30__1803_15.min1.thm1.tptp
2017-02-06 16:57
411
waybel30__1798_15.min1.thm1.tptp
2017-02-06 16:57
411
waybel29__2789_18.min1.thm1.tptp
2017-02-06 16:57
515
waybel29__2143_16.min1.thm1.tptp
2017-02-06 16:57
419
waybel29__1015_19.min1.thm1.tptp
2017-02-06 16:57
443
waybel29__1010_19.min1.thm1.tptp
2017-02-06 16:57
443
waybel29__978_17.min1.thm1.tptp
2017-02-06 16:57
447
waybel29__322_17.min1.thm1.tptp
2017-02-06 16:57
564
waybel26__1952_17.min1.thm1.tptp
2017-02-06 16:57
429
waybel25__2413_17.min1.thm1.tptp
2017-02-06 16:57
427
waybel25__2137_17.min1.thm1.tptp
2017-02-06 16:57
403
waybel25__2060_15.min1.thm1.tptp
2017-02-06 16:57
401
waybel25__2036_17.min1.thm1.tptp
2017-02-06 16:57
641
waybel25__1988_17.min1.thm1.tptp
2017-02-06 16:57
461
waybel25__1911_13.min1.thm1.tptp
2017-02-06 16:57
407
waybel25__1832_17.min1.thm1.tptp
2017-02-06 16:57
448
waybel25__603_17.min1.thm1.tptp
2017-02-06 16:57
428
waybel19__580_13.min1.thm1.tptp
2017-02-06 16:57
407
waybel11__632_15.min1.thm1.tptp
2017-02-06 16:57
415
waybel11__262_23.min1.thm1.tptp
2017-02-06 16:57
457
vectsp11__2435_15.min1.thm1.tptp
2017-02-06 16:57
411
uniform1__408_15.min1.thm1.tptp
2017-02-06 16:57
411
toprealb__204_13.min1.thm1.tptp
2017-02-06 16:57
401
topreal9__1738_25.min1.thm1.tptp
2017-02-06 16:57
579
topreal9__371_23.min1.thm1.tptp
2017-02-06 16:57
579
topreal1__1368_14.min1.thm1.tptp
2017-02-06 16:57
399
topgen_5__3630_18.min1.thm1.tptp
2017-02-06 16:57
431
topgen_5__2026_13.min1.thm1.tptp
2017-02-06 16:57
429
topgen_5__820_20.min1.thm1.tptp
2017-02-06 16:57
517
topgen_4__1620_14.min1.thm1.tptp
2017-02-06 16:57
465
topgen_3__1927_19.min1.thm1.tptp
2017-02-06 16:57
519
topgen_3__1263_14.min1.thm1.tptp
2017-02-06 16:57
413
topgen_1__1117_20.min1.thm1.tptp
2017-02-06 16:57
541
topgen_1__977_19.min1.thm1.tptp
2017-02-06 16:57
447
topdim_2__2622_14.min1.thm1.tptp
2017-02-06 16:57
405
topdim_2__2545_20.min1.thm1.tptp
2017-02-06 16:57
440
topdim_2__2265_24.min1.thm1.tptp
2017-02-06 16:57
668
topdim_1__2585_18.min1.thm1.tptp
2017-02-06 16:57
465
topdim_1__2434_22.min1.thm1.tptp
2017-02-06 16:57
443
topdim_1__2120_15.min1.thm1.tptp
2017-02-06 16:57
569
topdim_1__1896_16.min1.thm1.tptp
2017-02-06 16:57
631
topalg_3__747_16.min1.thm1.tptp
2017-02-06 16:57
409
topalg_3__739_16.min1.thm1.tptp
2017-02-06 16:57
409
topalg_3__691_30.min1.thm1.tptp
2017-02-06 16:57
537
topalg_3__670_30.min1.thm1.tptp
2017-02-06 16:57
537
topalg_3__459_22.min1.thm1.tptp
2017-02-06 16:57
399
taxonom2__1340_37.min1.thm1.tptp
2017-02-06 16:57
415
t_1topsp__290_17.min1.thm1.tptp
2017-02-06 16:57
427
t_0topsp__305_13.min1.thm1.tptp
2017-02-06 16:57
399
subset_1__881_19.min1.thm1.tptp
2017-02-06 16:57
383
subset_1__582_34.min1.thm1.tptp
2017-02-06 16:57
532
subset_1__551_13.min1.thm1.tptp
2017-02-06 16:57
399
sublemma__1320_17.min1.thm1.tptp
2017-02-06 16:57
789
simplex2__652_24.min1.thm1.tptp
2017-02-06 16:57
485
simplex2__593_24.min1.thm1.tptp
2017-02-06 16:57
489
simplex1__1496_22.min1.thm1.tptp
2017-02-06 16:57
693
simplex1__1413_21.min1.thm1.tptp
2017-02-06 16:57
707
simplex1__171_22.min1.thm1.tptp
2017-02-06 16:57
595
seq_4__3110_13.min1.thm1.tptp
2017-02-06 16:57
387
scmyciel__5449_34.min1.thm1.tptp
2017-02-06 16:57
446
scmyciel__5245_22.min1.thm1.tptp
2017-02-06 16:57
453
scmyciel__5213_22.min1.thm1.tptp
2017-02-06 16:57
453
scmyciel__5174_22.min1.thm1.tptp
2017-02-06 16:57
453
scmyciel__4172_22.min1.thm1.tptp
2017-02-06 16:57
451
scmyciel__3949_26.min1.thm1.tptp
2017-02-06 16:57
557
scmyciel__2808_20.min1.thm1.tptp
2017-02-06 16:57
449
scmyciel__404_23.min1.thm1.tptp
2017-02-06 16:57
533
roughs_1__1514_17.min1.thm1.tptp
2017-02-06 16:57
503
roughs_1__1237_70.min1.thm1.tptp
2017-02-06 16:57
605
rltopsp1__2956_19.min1.thm1.tptp
2017-02-06 16:57
471
rltopsp1__2949_18.min1.thm1.tptp
2017-02-06 16:57
469
rltopsp1__2609_17.min1.thm1.tptp
2017-02-06 16:57
451
rltopsp1__2574_19.min1.thm1.tptp
2017-02-06 16:57
463
rltopsp1__2055_18.min1.thm1.tptp
2017-02-06 16:57
535
rltopsp1__1578_18.min1.thm1.tptp
2017-02-06 16:57
563
rlaffin2__622_44.min1.thm1.tptp
2017-02-06 16:57
513
relset_2__1481_16.min1.thm1.tptp
2017-02-06 16:57
521
relset_2__1438_17.min1.thm1.tptp
2017-02-06 16:57
615
relat_1__3091_13.min1.thm1.tptp
2017-02-06 16:57
399
relat_1__3076_12.min1.thm1.tptp
2017-02-06 16:57
399
ranknull__1506_22.min1.thm1.tptp
2017-02-06 16:57
739
ranknull__1253_21.min1.thm1.tptp
2017-02-06 16:57
703
ranknull__1173_25.min1.thm1.tptp
2017-02-06 16:57
727
ranknull__119_17.min1.thm1.tptp
2017-02-06 16:57
805
ranknull__114_13.min1.thm1.tptp
2017-02-06 16:57
397
random_2__69_42.min1.thm1.tptp
2017-02-06 16:57
557
quofield__400_13.min1.thm1.tptp
2017-02-06 16:57
399
qmax_1__156_16.min1.thm1.tptp
2017-02-06 16:57
566
pua2mss1__2414_17.min1.thm1.tptp
2017-02-06 16:57
527
pua2mss1__755_14.min1.thm1.tptp
2017-02-06 16:57
413
pua2mss1__620_14.min1.thm1.tptp
2017-02-06 16:57
413
pua2mss1__508_14.min1.thm1.tptp
2017-02-06 16:57
413
prob_3__915_18.min1.thm1.tptp
2017-02-06 16:57
541
prob_3__703_37.min1.thm1.tptp
2017-02-06 16:57
627
pre_topc__764_57.min1.thm1.tptp
2017-02-06 16:57
577
pcomps_2__1174_19.min1.thm1.tptp
2017-02-06 16:57
545
pcomps_2__1166_19.min1.thm1.tptp
2017-02-06 16:57
543
pcomps_2__1057_17.min1.thm1.tptp
2017-02-06 16:57
429
pcomps_1__916_29.min1.thm1.tptp
2017-02-06 16:57
545
pboole__402_17.min1.thm1.tptp
2017-02-06 16:57
552
partit1__1744_27.min1.thm1.tptp
2017-02-06 16:57
411
partit1__1656_26.min1.thm1.tptp
2017-02-06 16:57
419
partit1__1564_27.min1.thm1.tptp
2017-02-06 16:57
419
partit1__454_39.min1.thm1.tptp
2017-02-06 16:57
395
orders_2__2117_18.min1.thm1.tptp
2017-02-06 16:57
519
orders_2__1254_17.min1.thm1.tptp
2017-02-06 16:57
494
normform__515_17.min1.thm1.tptp
2017-02-06 16:57
683
net_1__135_17.min1.thm1.tptp
2017-02-06 16:57
444
necklace__1810_33.min1.thm1.tptp
2017-02-06 16:57
533
necklace__1665_24.min1.thm1.tptp
2017-02-06 16:57
659
necklace__1434_19.min1.thm1.tptp
2017-02-06 16:57
611
necklace__1269_14.min1.thm1.tptp
2017-02-06 16:57
435
necklace__565_35.min1.thm1.tptp
2017-02-06 16:57
593
neckla_3__5488_25.min1.thm1.tptp
2017-02-06 16:57
407
neckla_3__5443_24.min1.thm1.tptp
2017-02-06 16:57
407
nattra_1__723_20.min1.thm1.tptp
2017-02-06 16:57
567
nat_3__1806_21.min1.thm1.tptp
2017-02-06 16:57
521
nagata_2__3180_17.min1.thm1.tptp
2017-02-06 16:57
431
nagata_2__3177_17.min1.thm1.tptp
2017-02-06 16:57
431
nagata_1__1468_21.min1.thm1.tptp
2017-02-06 16:57
707
nagata_1__1442_21.min1.thm1.tptp
2017-02-06 16:57
707
nagata_1__1430_23.min1.thm1.tptp
2017-02-06 16:57
575
nagata_1__1054_48.min1.thm1.tptp
2017-02-06 16:57
521
nagata_1__797_15.min1.thm1.tptp
2017-02-06 16:57
419
mycielsk__2748_32.min1.thm1.tptp
2017-02-06 16:57
476
mycielsk__2737_21.min1.thm1.tptp
2017-02-06 16:57
423
mycielsk__1482_20.min1.thm1.tptp
2017-02-06 16:57
443
mycielsk__724_46.min1.thm1.tptp
2017-02-06 16:57
423
mycielsk__591_46.min1.thm1.tptp
2017-02-06 16:57
423
mycielsk__488_17.min1.thm1.tptp
2017-02-06 16:57
407
mycielsk__411_30.min1.thm1.tptp
2017-02-06 16:57
478
mycielsk__330_18.min1.thm1.tptp
2017-02-06 16:57
423
mycielsk__276_20.min1.thm1.tptp
2017-02-06 16:57
417
msaterm__1242_19.min1.thm1.tptp
2017-02-06 16:57
589
moebius1__2579_29.min1.thm1.tptp
2017-02-06 16:57
579
moebius1__2277_29.min1.thm1.tptp
2017-02-06 16:57
579
moebius1__2059_17.min1.thm1.tptp
2017-02-06 16:57
395
moebius1__693_29.min1.thm1.tptp
2017-02-06 16:57
579
moebius1__560_27.min1.thm1.tptp
2017-02-06 16:57
567
metrizts__2765_26.min1.thm1.tptp
2017-02-06 16:57
490
metrizts__2653_15.min1.thm1.tptp
2017-02-06 16:57
429
metrizts__1681_16.min1.thm1.tptp
2017-02-06 16:57
425
metrizts__1518_18.min1.thm1.tptp
2017-02-06 16:57
449
metric_2__211_23.min1.thm1.tptp
2017-02-06 16:57
519
mesfunc9__1625_51.min1.thm1.tptp
2017-02-06 16:57
965
mesfunc9__1604_51.min1.thm1.tptp
2017-02-06 16:57
965
mesfunc5__5803_24.min1.thm1.tptp
2017-02-06 16:57
609
mesfunc4__1467_35.min1.thm1.tptp
2017-02-06 16:57
589
mesfunc4__513_29.min1.thm1.tptp
2017-02-06 16:57
669
mesfunc4__490_29.min1.thm1.tptp
2017-02-06 16:57
669
mesfunc4__74_31.min1.thm1.tptp
2017-02-06 16:57
437
mesfunc4__60_31.min1.thm1.tptp
2017-02-06 16:57
437
mesfunc2__761_61.min1.thm1.tptp
2017-02-06 16:57
771
mesfunc2__750_32.min1.thm1.tptp
2017-02-06 16:57
771
mesfunc2__738_60.min1.thm1.tptp
2017-02-06 16:57
771
mesfunc2__725_31.min1.thm1.tptp
2017-02-06 16:57
771
menelaus__1024_6.min1.thm1.tptp
2017-02-06 16:57
890
menelaus__463_4.min1.thm1.tptp
2017-02-06 16:57
540
membered__1264_35.min1.thm1.tptp
2017-02-06 16:57
413
membered__1249_35.min1.thm1.tptp
2017-02-06 16:57
413
membered__1234_35.min1.thm1.tptp
2017-02-06 16:57
413
membered__1219_35.min1.thm1.tptp
2017-02-06 16:57
407
membered__1204_35.min1.thm1.tptp
2017-02-06 16:57
407
membered__1189_35.min1.thm1.tptp
2017-02-06 16:57
407
matrlin2__1403_14.min1.thm1.tptp
2017-02-06 16:57
403
matrixj2__3416_24.min1.thm1.tptp
2017-02-06 16:57
469
mathmorp__1068_14.min1.thm1.tptp
2017-02-06 16:57
581
mathmorp__1022_13.min1.thm1.tptp
2017-02-06 16:57
497
lopban_5__920_15.min1.thm1.tptp
2017-02-06 16:57
416
laplace__3106_16.min1.thm1.tptp
2017-02-06 16:57
517
kurato_2__1050_24.min1.thm1.tptp
2017-02-06 16:57
1.0K
kurato_2__1028_24.min1.thm1.tptp
2017-02-06 16:57
1.0K
kurato_2__773_16.min1.thm1.tptp
2017-02-06 16:57
585
kurato_2__561_15.min1.thm1.tptp
2017-02-06 16:57
527
kurato_2__379_23.min1.thm1.tptp
2017-02-06 16:57
627
kurato_1__1122_13.min1.thm1.tptp
2017-02-06 16:57
399
kurato_0__58_22.min1.thm1.tptp
2017-02-06 16:57
393
kurato_0__56_22.min1.thm1.tptp
2017-02-06 16:57
393
knaster__95_20.min1.thm1.tptp
2017-02-06 16:57
451
jordan__6272_15.min1.thm1.tptp
2017-02-06 16:57
497
jordan__6267_15.min1.thm1.tptp
2017-02-06 16:57
519
jordan__5812_16.min1.thm1.tptp
2017-02-06 16:57
547
jordan__4713_13.min1.thm1.tptp
2017-02-06 16:57
503
jordan__4626_13.min1.thm1.tptp
2017-02-06 16:57
531
jordan__3701_46.min1.thm1.tptp
2017-02-06 16:57
462
jordan__1476_14.min1.thm1.tptp
2017-02-06 16:57
607
jordan22__2168_14.min1.thm1.tptp
2017-02-06 16:57
633
jordan22__1689_14.min1.thm1.tptp
2017-02-06 16:57
633
jordan21__1821_15.min1.thm1.tptp
2017-02-06 16:57
719
jordan21__1713_15.min1.thm1.tptp
2017-02-06 16:57
719
jordan21__1523_15.min1.thm1.tptp
2017-02-06 16:57
719
jordan21__1415_15.min1.thm1.tptp
2017-02-06 16:57
719
jordan20__1772_17.min1.thm1.tptp
2017-02-06 16:57
405
jordan19__714_17.min1.thm1.tptp
2017-02-06 16:57
1.5K
jordan15__64_13.min1.thm1.tptp
2017-02-06 16:57
393
jordan14__907_23.min1.thm1.tptp
2017-02-06 16:57
495
jordan13__3602_15.min1.thm1.tptp
2017-02-06 16:57
563
jordan13__2420_23.min1.thm1.tptp
2017-02-06 16:57
474
jordan13__2400_17.min1.thm1.tptp
2017-02-06 16:57
573
jordan12__2515_18.min1.thm1.tptp
2017-02-06 16:57
427
jordan12__1085_24.min1.thm1.tptp
2017-02-06 16:57
539
jordan12__1074_24.min1.thm1.tptp
2017-02-06 16:57
539
jordan11__170_14.min1.thm1.tptp
2017-02-06 16:57
401
jordan10__1001_20.min1.thm1.tptp
2017-02-06 16:57
538
jordan9__6062_50.min1.thm1.tptp
2017-02-06 16:57
818
jordan9__5705_17.min1.thm1.tptp
2017-02-06 16:57
569
jordan9__5098_25.min1.thm1.tptp
2017-02-06 16:57
482
jordan9__5079_19.min1.thm1.tptp
2017-02-06 16:57
581
jordan9__3192_23.min1.thm1.tptp
2017-02-06 16:57
828
jordan9__1776_14.min1.thm1.tptp
2017-02-06 16:57
539
jordan9__542_15.min1.thm1.tptp
2017-02-06 16:57
575
jordan6__2257_17.min1.thm1.tptp
2017-02-06 16:57
397
jordan2c__7020_16.min1.thm1.tptp
2017-02-06 16:57
525
jordan2c__6998_16.min1.thm1.tptp
2017-02-06 16:57
525
jordan2c__6382_16.min1.thm1.tptp
2017-02-06 16:57
525
jordan2c__6360_16.min1.thm1.tptp
2017-02-06 16:57
525
jordan2c__4529_33.min1.thm1.tptp
2017-02-06 16:57
459
jordan1k__276_13.min1.thm1.tptp
2017-02-06 16:57
399
jordan1j__2366_17.min1.thm1.tptp
2017-02-06 16:57
727
jordan1j__2274_17.min1.thm1.tptp
2017-02-06 16:57
591
jordan1i__640_17.min1.thm1.tptp
2017-02-06 16:57
551
jordan1i__496_17.min1.thm1.tptp
2017-02-06 16:57
551
jordan1i__346_17.min1.thm1.tptp
2017-02-06 16:57
551
jordan1g__4470_17.min1.thm1.tptp
2017-02-06 16:57
503
jordan1g__4174_17.min1.thm1.tptp
2017-02-06 16:57
503
jordan1g__2920_19.min1.thm1.tptp
2017-02-06 16:57
1.4K
jordan1g__1999_16.min1.thm1.tptp
2017-02-06 16:57
535
jordan1f__902_60.min1.thm1.tptp
2017-02-06 16:57
819
jordan1f__622_60.min1.thm1.tptp
2017-02-06 16:57
819
jordan1f__342_60.min1.thm1.tptp
2017-02-06 16:57
819
jordan1f__62_60.min1.thm1.tptp
2017-02-06 16:57
819
jordan1a__3271_15.min1.thm1.tptp
2017-02-06 16:57
527
jordan1a__3239_15.min1.thm1.tptp
2017-02-06 16:57
527
jordan1a__3207_15.min1.thm1.tptp
2017-02-06 16:57
527
jordan1a__3175_15.min1.thm1.tptp
2017-02-06 16:57
527
jordan1a__257_13.min1.thm1.tptp
2017-02-06 16:57
399
jordan1__1002_13.min1.thm1.tptp
2017-02-06 16:57
393
jgraph_8__1475_18.min1.thm1.tptp
2017-02-06 16:57
488
jgraph_6__4144_15.min1.thm1.tptp
2017-02-06 16:57
595
jgraph_6__4123_15.min1.thm1.tptp
2017-02-06 16:57
595
jgraph_5__1414_20.min1.thm1.tptp
2017-02-06 16:57
581
jgraph_2__5266_15.min1.thm1.tptp
2017-02-06 16:57
495
jgraph_2__5189_15.min1.thm1.tptp
2017-02-06 16:57
493
jgraph_1__3778_18.min1.thm1.tptp
2017-02-06 16:57
483
jct_misc__685_14.min1.thm1.tptp
2017-02-06 16:57
507
jct_misc__681_13.min1.thm1.tptp
2017-02-06 16:57
507
int_7__288_58.min1.thm1.tptp
2017-02-06 16:57
455
int_5__4587_20.min1.thm1.tptp
2017-02-06 16:57
533
int_5__4560_20.min1.thm1.tptp
2017-02-06 16:57
527
int_5__4520_16.min1.thm1.tptp
2017-02-06 16:57
403
group_11__1212_46.min1.thm1.tptp
2017-02-06 16:57
689
group_11__1197_38.min1.thm1.tptp
2017-02-06 16:57
553
group_11__1195_38.min1.thm1.tptp
2017-02-06 16:57
553
group_11__758_36.min1.thm1.tptp
2017-02-06 16:57
677
group_11__564_32.min1.thm1.tptp
2017-02-06 16:57
577
group_11__549_31.min1.thm1.tptp
2017-02-06 16:57
497
group_11__547_31.min1.thm1.tptp
2017-02-06 16:57
497
group_11__68_32.min1.thm1.tptp
2017-02-06 16:57
533
group_3__1918_24.min1.thm1.tptp
2017-02-06 16:57
511
group_3__1686_23.min1.thm1.tptp
2017-02-06 16:57
511
group_3__1431_23.min1.thm1.tptp
2017-02-06 16:57
501
group_2__2935_24.min1.thm1.tptp
2017-02-06 16:57
549
group_2__2128_17.min1.thm1.tptp
2017-02-06 16:57
579
group_2__2012_17.min1.thm1.tptp
2017-02-06 16:57
579
graph_3__3598_28.min1.thm1.tptp
2017-02-06 16:57
483
graph_3__3208_34.min1.thm1.tptp
2017-02-06 16:57
487
graph_3__3011_55.min1.thm1.tptp
2017-02-06 16:57
455
graph_3__1004_54.min1.thm1.tptp
2017-02-06 16:57
419
goboard8__1409_15.min1.thm1.tptp
2017-02-06 16:57
437
goboard8__1353_15.min1.thm1.tptp
2017-02-06 16:57
437
goboard8__1297_15.min1.thm1.tptp
2017-02-06 16:57
437
goboard8__1241_15.min1.thm1.tptp
2017-02-06 16:57
437
goboard7__305_15.min1.thm1.tptp
2017-02-06 16:57
611
goboard6__4985_17.min1.thm1.tptp
2017-02-06 16:57
1.0K
goboard6__4974_17.min1.thm1.tptp
2017-02-06 16:57
892
goboard6__4963_17.min1.thm1.tptp
2017-02-06 16:57
1.4K
goboard6__4949_17.min1.thm1.tptp
2017-02-06 16:57
1.3K
goboard6__4935_17.min1.thm1.tptp
2017-02-06 16:57
1.3K
goboard6__4921_17.min1.thm1.tptp
2017-02-06 16:57
1.4K
goboard6__4906_17.min1.thm1.tptp
2017-02-06 16:57
1.2K
goboard4__2524_18.min1.thm1.tptp
2017-02-06 16:57
449
gcd_1__650_19.min1.thm1.tptp
2017-02-06 16:57
473
funcop_1__1907_13.min1.thm1.tptp
2017-02-06 16:57
409
fraenkel__456_15.min1.thm1.tptp
2017-02-06 16:57
403
fintopo6__1662_15.min1.thm1.tptp
2017-02-06 16:57
477
fintopo6__1129_15.min1.thm1.tptp
2017-02-06 16:57
465
fintopo6__672_15.min1.thm1.tptp
2017-02-06 16:57
545
fintopo6__658_14.min1.thm1.tptp
2017-02-06 16:57
549
fintopo6__653_13.min1.thm1.tptp
2017-02-06 16:57
545
fintopo6__627_14.min1.thm1.tptp
2017-02-06 16:57
545
fintopo6__613_13.min1.thm1.tptp
2017-02-06 16:57
465
fintopo6__608_14.min1.thm1.tptp
2017-02-06 16:57
545
fintopo6__583_13.min1.thm1.tptp
2017-02-06 16:57
545
fintopo6__571_14.min1.thm1.tptp
2017-02-06 16:57
545
fintopo6__401_13.min1.thm1.tptp
2017-02-06 16:57
465
fintopo6__163_13.min1.thm1.tptp
2017-02-06 16:57
450
fintopo6__157_15.min1.thm1.tptp
2017-02-06 16:57
449
fintopo4__259_21.min1.thm1.tptp
2017-02-06 16:57
489
fintopo4__174_15.min1.thm1.tptp
2017-02-06 16:57
453
fintopo2__1379_47.min1.thm1.tptp
2017-02-06 16:57
415
fintopo2__1244_49.min1.thm1.tptp
2017-02-06 16:57
499
fintopo2__776_45.min1.thm1.tptp
2017-02-06 16:57
407
fintopo2__192_30.min1.thm1.tptp
2017-02-06 16:57
539
finseq_5__658_21.min1.thm1.tptp
2017-02-06 16:57
635
finseq_3__3112_26.min1.thm1.tptp
2017-02-06 16:57
475
finseq_3__2690_18.min1.thm1.tptp
2017-02-06 16:57
459
finseq_3__1639_41.min1.thm1.tptp
2017-02-06 16:57
453
finseq_1__360_21.min1.thm1.tptp
2017-02-06 16:57
495
finseq_1__352_19.min1.thm1.tptp
2017-02-06 16:57
437
fin_topo__1063_14.min1.thm1.tptp
2017-02-06 16:57
665
fin_topo__1057_13.min1.thm1.tptp
2017-02-06 16:57
745
facirc_1__393_17.min1.thm1.tptp
2017-02-06 16:57
399
euclidlp__1271_14.min1.thm1.tptp
2017-02-06 16:57
399
euclidlp__869_16.min1.thm1.tptp
2017-02-06 16:57
529
euclidlp__864_14.min1.thm1.tptp
2017-02-06 16:57
403
eqrel_1__2367_27.min1.thm1.tptp
2017-02-06 16:57
696
eqrel_1__1779_29.min1.thm1.tptp
2017-02-06 16:57
681
eqrel_1__1732_30.min1.thm1.tptp
2017-02-06 16:57
449
eqrel_1__1114_27.min1.thm1.tptp
2017-02-06 16:57
433
eqrel_1__620_24.min1.thm1.tptp
2017-02-06 16:57
625
ec_pf_1__2234_29.min1.thm1.tptp
2017-02-06 16:57
525
dtconstr__313_26.min1.thm1.tptp
2017-02-06 16:57
439
compl_sp__3429_16.min1.thm1.tptp
2017-02-06 16:57
421
compl_sp__1571_18.min1.thm1.tptp
2017-02-06 16:57
423
compl_sp__593_17.min1.thm1.tptp
2017-02-06 16:57
427
compl_sp__587_17.min1.thm1.tptp
2017-02-06 16:57
427
classes1__2086_48.min1.thm1.tptp
2017-02-06 16:57
453
catalg_1__2057_38.min1.thm1.tptp
2017-02-06 16:57
823
catalan2__2300_15.min1.thm1.tptp
2017-02-06 16:57
403
card_2__821_21.min1.thm1.tptp
2017-02-06 16:57
539
card_2__699_24.min1.thm1.tptp
2017-02-06 16:57
543
card_2__688_23.min1.thm1.tptp
2017-02-06 16:57
543
card_1__1192_21.min1.thm1.tptp
2017-02-06 16:57
429
calcul_2__227_20.min1.thm1.tptp
2017-02-06 16:57
483
calcul_2__176_19.min1.thm1.tptp
2017-02-06 16:57
431
calcul_2__167_21.min1.thm1.tptp
2017-02-06 16:57
519
bvfunc_2__179_19.min1.thm1.tptp
2017-02-06 16:57
441
borsuk_7__813_26.min1.thm1.tptp
2017-02-06 16:57
415
borsuk_5__1694_22.min1.thm1.tptp
2017-02-06 16:57
515
borsuk_1__1130_26.min1.thm1.tptp
2017-02-06 16:57
639
axioms__262_22.min1.thm1.tptp
2017-02-06 16:57
397
axioms__157_29.min1.thm1.tptp
2017-02-06 16:57
467
arytm_2__137_14.min1.thm1.tptp
2017-02-06 16:57
381
arytm_0__90_26.min1.thm1.tptp
2017-02-06 16:57
447
ami_4__715_18.min1.thm1.tptp
2017-02-06 16:57
489
afproj__702_29.min1.thm1.tptp
2017-02-06 16:57
431
abian__1270_16.min1.thm1.tptp
2017-02-06 16:57
635
abian__1223_16.min1.thm1.tptp
2017-02-06 16:57
635
abian__1176_16.min1.thm1.tptp
2017-02-06 16:57
635
abian__813_17.min1.thm1.tptp
2017-02-06 16:57
401
abcmiz_0__862_23.min1.thm1.tptp
2017-02-06 16:57
573
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80