Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/d2_goboard2
Name
Last modified
Size
Description
Parent Directory
-
goboard5__774_17.min1.thm1.tptp
2017-02-06 16:58
520
goboard5__911_47.min1.thm1.tptp
2017-02-06 16:58
489
goboard9__243_15.min1.thm1.tptp
2017-02-06 16:58
491
gobrd13__1105_48.min1.thm1.tptp
2017-02-06 16:58
482
gobrd13__1131_48.min1.thm1.tptp
2017-02-06 16:58
482
jordan1h__1517_15.min1.thm1.tptp
2017-02-06 16:58
491
jordan2c__5261_55.min1.thm1.tptp
2017-02-06 16:58
708
jordan5b__1874_51.min1.thm1.tptp
2017-02-06 16:58
709
jordan5b__1882_6.min1.thm1.tptp
2017-02-06 16:58
843
jordan5b__1888_60.min1.thm1.tptp
2017-02-06 16:58
915
jordan5b__1927_51.min1.thm1.tptp
2017-02-06 16:58
709
jordan5b__1935_6.min1.thm1.tptp
2017-02-06 16:58
843
jordan5b__1941_62.min1.thm1.tptp
2017-02-06 16:58
915
jordan5d__164_48.min1.thm1.tptp
2017-02-06 16:58
695
jordan5d__174_7.min1.thm1.tptp
2017-02-06 16:58
896
jordan5d__178_63.min1.thm1.tptp
2017-02-06 16:58
826
jordan5d__195_47.min1.thm1.tptp
2017-02-06 16:58
694
jordan5d__209_11.min1.thm1.tptp
2017-02-06 16:58
896
jordan5d__216_61.min1.thm1.tptp
2017-02-06 16:58
826
jordan5d__232_47.min1.thm1.tptp
2017-02-06 16:58
482
jordan5d__272_47.min1.thm1.tptp
2017-02-06 16:58
482
jordan5d__314_48.min1.thm1.tptp
2017-02-06 16:58
482
jordan5d__349_48.min1.thm1.tptp
2017-02-06 16:58
489
revrot_1__925_15.min1.thm1.tptp
2017-02-06 16:58
553
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80