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