Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t57_card_2
Name
Last modified
Size
Description
Parent Directory
-
dilworth__685_21.min1.thm1.tptp
2017-02-06 16:58
275
dilworth__813_20.min1.thm1.tptp
2017-02-06 16:58
275
hallmar1__862_19.min1.thm1.tptp
2017-02-06 16:58
278
jordan1g__829_26.min1.thm1.tptp
2017-02-06 16:58
509
jordan1g__996_25.min1.thm1.tptp
2017-02-06 16:58
507
jordan1g__1059_26.min1.thm1.tptp
2017-02-06 16:58
512
jordan1g__1408_27.min1.thm1.tptp
2017-02-06 16:58
509
jordan1g__1473_27.min1.thm1.tptp
2017-02-06 16:58
509
jordan1j__150_26.min1.thm1.tptp
2017-02-06 16:58
499
jordan1j__182_21.min1.thm1.tptp
2017-02-06 16:58
499
jordan1j__405_26.min1.thm1.tptp
2017-02-06 16:58
499
jordan1j__414_28.min1.thm1.tptp
2017-02-06 16:58
499
jordan1j__443_26.min1.thm1.tptp
2017-02-06 16:58
503
neckla_3__6569_45.min1.thm1.tptp
2017-02-06 16:58
390
ordinal6__475_21.min1.thm1.tptp
2017-02-06 16:58
263
pencil_1__370_23.min1.thm1.tptp
2017-02-06 16:58
283
pencil_1__405_22.min1.thm1.tptp
2017-02-06 16:58
276
pencil_1__424_21.min1.thm1.tptp
2017-02-06 16:58
275
pencil_1__544_22.min1.thm1.tptp
2017-02-06 16:58
276
pencil_1__567_23.min1.thm1.tptp
2017-02-06 16:58
291
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80