Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t32_goboard7
Name
Last modified
Size
Description
Parent Directory
-
gobrd11__183_22.min1.thm1.tptp
2017-02-06 16:58
736
gobrd12__279_30.min1.thm1.tptp
2017-02-06 16:58
750
gobrd12__450_30.min1.thm1.tptp
2017-02-06 16:58
750
gobrd12__913_30.min1.thm1.tptp
2017-02-06 16:58
750
gobrd12__1085_30.min1.thm1.tptp
2017-02-06 16:58
750
goboard8__1013_20.min1.thm1.tptp
2017-02-06 16:58
752
goboard8__1067_20.min1.thm1.tptp
2017-02-06 16:58
752
goboard8__1356_20.min1.thm1.tptp
2017-02-06 16:58
752
goboard8__1412_20.min1.thm1.tptp
2017-02-06 16:58
752
goboard8__1140_21.min1.thm1.tptp
2017-02-06 16:58
753
goboard8__1211_21.min1.thm1.tptp
2017-02-06 16:58
753
goboard8__1509_20.min1.thm1.tptp
2017-02-06 16:58
754
goboard8__1541_20.min1.thm1.tptp
2017-02-06 16:58
754
goboard8__1638_20.min1.thm1.tptp
2017-02-06 16:58
754
goboard8__1674_20.min1.thm1.tptp
2017-02-06 16:58
754
goboard9__911_24.min1.thm1.tptp
2017-02-06 16:58
761
gobrd12__1561_30.min1.thm1.tptp
2017-02-06 16:58
761
gobrd12__1729_30.min1.thm1.tptp
2017-02-06 16:58
761
gobrd12__1911_30.min1.thm1.tptp
2017-02-06 16:58
761
gobrd12__2195_30.min1.thm1.tptp
2017-02-06 16:58
761
gobrd12__2364_30.min1.thm1.tptp
2017-02-06 16:58
761
gobrd12__2546_30.min1.thm1.tptp
2017-02-06 16:58
761
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80