Index of /~mptp/1147/mptp/ilp1/t4_integra1
Name
Last modified
Size
Description
Parent Directory
-
borsuk_4__1674_46.min1.thm1.tptp
2017-02-06 16:58
439
borsuk_4__688_48.min1.thm1.tptp
2017-02-06 16:58
440
borsuk_5__2227_48.min1.thm1.tptp
2017-02-06 16:58
440
integra8__619_43.min1.thm1.tptp
2017-02-06 16:58
440
integra1__1778_41.min1.thm1.tptp
2017-02-06 16:58
441
integra3__2151_40.min1.thm1.tptp
2017-02-06 16:58
441
integra1__1570_11.min1.thm1.tptp
2017-02-06 16:58
442
integra3__3078_41.min1.thm1.tptp
2017-02-06 16:58
442
integr18__1066_46.min1.thm1.tptp
2017-02-06 16:58
446
integra5__1999_42.min1.thm1.tptp
2017-02-06 16:58
446
fuzzy_1__578_45.min1.thm1.tptp
2017-02-06 16:58
448
fuzzy_4__1506_45.min1.thm1.tptp
2017-02-06 16:58
448
fuzzy_4__1580_45.min1.thm1.tptp
2017-02-06 16:58
448
integra2__1585_50.min1.thm1.tptp
2017-02-06 16:58
454
integra2__1609_50.min1.thm1.tptp
2017-02-06 16:58
454
integra2__1618_50.min1.thm1.tptp
2017-02-06 16:58
454
integra2__1595_50.min1.thm1.tptp
2017-02-06 16:58
455
fuzzy_1__189_47.min1.thm1.tptp
2017-02-06 16:58
472
fuzzy_1__272_47.min1.thm1.tptp
2017-02-06 16:58
480
fuzzy_1__353_47.min1.thm1.tptp
2017-02-06 16:58
480
fuzzy_1__1133_47.min1.thm1.tptp
2017-02-06 16:58
480
fuzzy_2__428_47.min1.thm1.tptp
2017-02-06 16:58
480
fuzzy_4__522_47.min1.thm1.tptp
2017-02-06 16:58
480
fuzzy_2__523_47.min1.thm1.tptp
2017-02-06 16:58
481
fuzzy_4__443_47.min1.thm1.tptp
2017-02-06 16:58
481
integra1__333_42.min1.thm1.tptp
2017-02-06 16:58
487
fuzzy_4__1417_49.min1.thm1.tptp
2017-02-06 16:58
496
integra1__308_46.min1.thm1.tptp
2017-02-06 16:58
501
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80