Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d7_xtuple_0
Name
Last modified
Size
Description
Parent Directory
-
xtuple_0__230_41.min1.thm1.tptp
2017-02-06 16:58
409
scmringi__698_18.min1.thm1.tptp
2017-02-06 16:58
399
scmringi__694_18.min1.thm1.tptp
2017-02-06 16:58
399
scmringi__690_18.min1.thm1.tptp
2017-02-06 16:58
359
scmringi__686_18.min1.thm1.tptp
2017-02-06 16:58
359
scmpds_i__876_18.min1.thm1.tptp
2017-02-06 16:58
359
scmpds_i__871_18.min1.thm1.tptp
2017-02-06 16:58
359
scmpds_i__866_18.min1.thm1.tptp
2017-02-06 16:58
359
scmpds_i__862_18.min1.thm1.tptp
2017-02-06 16:58
359
scmpds_i__858_18.min1.thm1.tptp
2017-02-06 16:58
359
scmpds_i__854_18.min1.thm1.tptp
2017-02-06 16:58
359
scmfsa_i__478_18.min1.thm1.tptp
2017-02-06 16:58
359
scmfsa_i__474_18.min1.thm1.tptp
2017-02-06 16:58
359
scm_inst__468_16.min1.thm1.tptp
2017-02-06 16:58
399
scm_inst__464_16.min1.thm1.tptp
2017-02-06 16:58
399
scm_inst__460_16.min1.thm1.tptp
2017-02-06 16:58
359
recdef_2__109_26.min1.thm1.tptp
2017-02-06 16:58
332
mcart_1__808_32.min1.thm1.tptp
2017-02-06 16:58
356
mcart_1__800_29.min1.thm1.tptp
2017-02-06 16:58
368
mcart_1__789_31.min1.thm1.tptp
2017-02-06 16:58
356
compos_1__1608_64.min1.thm1.tptp
2017-02-06 16:58
318
compos_0__820_15.min1.thm1.tptp
2017-02-06 16:58
351
amistd_2__659_66.min1.thm1.tptp
2017-02-06 16:58
393
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80