Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d2_setfam_1
Name
Last modified
Size
Description
Parent Directory
-
bvfunc_1__2746_17.min1.thm1.tptp
2017-02-06 16:58
443
bvfunc_2__542_17.min1.thm1.tptp
2017-02-06 16:58
433
bvfunc_2__582_17.min1.thm1.tptp
2017-02-06 16:58
433
finseq_4__2707_70.min1.thm1.tptp
2017-02-06 16:58
389
finseq_4__2758_70.min1.thm1.tptp
2017-02-06 16:58
389
partit1__251_22.min1.thm1.tptp
2017-02-06 16:58
399
partit1__749_45.min1.thm1.tptp
2017-02-06 16:58
505
partit1__763_42.min1.thm1.tptp
2017-02-06 16:58
505
partit1__804_38.min1.thm1.tptp
2017-02-06 16:58
545
partit1__832_34.min1.thm1.tptp
2017-02-06 16:58
545
partit1__850_28.min1.thm1.tptp
2017-02-06 16:58
461
partit1__1056_19.min1.thm1.tptp
2017-02-06 16:58
477
partit1__1098_26.min1.thm1.tptp
2017-02-06 16:58
461
partit1__1292_17.min1.thm1.tptp
2017-02-06 16:58
377
pcomps_1__515_17.min1.thm1.tptp
2017-02-06 16:58
441
pcomps_2__997_30.min1.thm1.tptp
2017-02-06 16:58
387
pua2mss1__2618_4.min1.thm1.tptp
2017-02-06 16:58
445
taxonom1__935_23.min1.thm1.tptp
2017-02-06 16:58
468
taxonom1__951_23.min1.thm1.tptp
2017-02-06 16:58
468
yellow15__894_17.min1.thm1.tptp
2017-02-06 16:58
499
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80