Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/goboard1
Name
Last modified
Size
Description
Parent Directory
-
goboard1__l10_goboard1
2013-09-04 12:13
24K
goboard1__l32_goboard1
2013-09-04 12:13
31K
goboard1__t1_goboard1
2013-09-04 12:13
93K
goboard1__t2_goboard1
2013-09-04 12:13
28K
goboard1__t3_goboard1
2013-09-04 12:13
43K
goboard1__t4_goboard1
2013-09-04 12:13
43K
goboard1__t5_goboard1
2013-09-04 12:13
42K
goboard1__t6_goboard1
2013-09-04 12:13
39K
goboard1__t7_goboard1
2013-09-04 12:13
39K
goboard1__t8_goboard1
2013-09-04 12:13
40K
goboard1__t9_goboard1
2013-09-04 12:13
40K
goboard1__t10_goboard1
2013-09-04 12:13
56K
goboard1__t11_goboard1
2013-09-04 12:13
44K
goboard1__t12_goboard1
2013-09-04 12:13
39K
goboard1__t13_goboard1
2013-09-04 12:13
54K
goboard1__t14_goboard1
2013-09-04 12:13
89K
goboard1__t15_goboard1
2013-09-04 12:13
51K
goboard1__t16_goboard1
2013-09-04 12:13
51K
goboard1__t17_goboard1
2013-09-04 12:13
81K
goboard1__t18_goboard1
2013-09-04 12:13
46K
goboard1__t19_goboard1
2013-09-04 12:13
48K
goboard1__t20_goboard1
2013-09-04 12:13
47K
goboard1__t21_goboard1
2013-09-04 12:13
90K
goboard1__t22_goboard1
2013-09-04 12:13
40K
goboard1__t23_goboard1
2013-09-04 12:13
50K
goboard1__t24_goboard1
2013-09-04 12:13
88K
goboard1__t25_goboard1
2013-09-04 12:13
95K
goboard1__t26_goboard1
2013-09-04 12:13
45K
goboard1__t27_goboard1
2013-09-04 12:13
51K
goboard1__t28_goboard1
2013-09-04 12:13
60K
goboard1__t29_goboard1
2013-09-04 12:13
71K
goboard1__t30_goboard1
2013-09-04 12:13
45K
goboard1__t31_goboard1
2013-09-04 12:13
52K
goboard1__t32_goboard1
2013-09-04 12:13
60K
goboard1__t33_goboard1
2013-09-04 12:13
72K
goboard1__t34_goboard1
2013-09-04 12:13
60K
goboard1__t35_goboard1
2013-09-04 12:13
74K
goboard1__t36_goboard1
2013-09-04 12:13
112K
goboard1__t37_goboard1
2013-09-04 12:13
87K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80