Index of /~mptp/1147/MPTP2/problems_thf_tls/goboard1
Name
Last modified
Size
Description
Parent Directory
-
goboard1__t37_goboard1
2017-01-12 22:03
146K
goboard1__t36_goboard1
2017-01-12 22:03
190K
goboard1__t35_goboard1
2017-01-12 22:03
121K
goboard1__t34_goboard1
2017-01-12 22:03
96K
goboard1__t33_goboard1
2017-01-12 22:03
112K
goboard1__t32_goboard1
2017-01-12 22:03
98K
goboard1__t31_goboard1
2017-01-12 22:03
86K
goboard1__t30_goboard1
2017-01-12 22:03
74K
goboard1__t29_goboard1
2017-01-12 22:03
110K
goboard1__t28_goboard1
2017-01-12 22:03
98K
goboard1__t27_goboard1
2017-01-12 22:03
85K
goboard1__t26_goboard1
2017-01-12 22:03
74K
goboard1__t25_goboard1
2017-01-12 22:03
162K
goboard1__t24_goboard1
2017-01-12 22:03
151K
goboard1__t23_goboard1
2017-01-12 22:03
84K
goboard1__t22_goboard1
2017-01-12 22:03
65K
goboard1__t21_goboard1
2017-01-12 22:03
155K
goboard1__t20_goboard1
2017-01-12 22:03
77K
goboard1__t19_goboard1
2017-01-12 22:03
79K
goboard1__t18_goboard1
2017-01-12 22:03
77K
goboard1__t17_goboard1
2017-01-12 22:03
140K
goboard1__t16_goboard1
2017-01-12 22:03
85K
goboard1__t15_goboard1
2017-01-12 22:03
85K
goboard1__t14_goboard1
2017-01-12 22:03
152K
goboard1__t13_goboard1
2017-01-12 22:03
89K
goboard1__t12_goboard1
2017-01-12 22:03
65K
goboard1__t11_goboard1
2017-01-12 22:03
74K
goboard1__t10_goboard1
2017-01-12 22:03
94K
goboard1__t9_goboard1
2017-01-12 22:03
65K
goboard1__t8_goboard1
2017-01-12 22:03
67K
goboard1__t7_goboard1
2017-01-12 22:03
65K
goboard1__t6_goboard1
2017-01-12 22:03
64K
goboard1__t5_goboard1
2017-01-12 22:03
69K
goboard1__t4_goboard1
2017-01-12 22:03
71K
goboard1__t3_goboard1
2017-01-12 22:03
71K
goboard1__t2_goboard1
2017-01-12 22:03
46K
goboard1__t1_goboard1
2017-01-12 22:03
162K
goboard1__l32_goboard1
2017-01-12 22:03
50K
goboard1__l10_goboard1
2017-01-12 22:03
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80