Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/goboard5
Name
Last modified
Size
Description
Parent Directory
-
goboard5__l16_goboard5
2013-09-04 12:11
27K
goboard5__l17_goboard5
2013-09-04 12:11
27K
goboard5__t1_goboard5
2013-09-04 12:11
34K
goboard5__t2_goboard5
2013-09-04 12:11
34K
goboard5__t3_goboard5
2013-09-04 12:11
33K
goboard5__t4_goboard5
2013-09-04 12:11
33K
goboard5__t5_goboard5
2013-09-04 12:11
33K
goboard5__t6_goboard5
2013-09-04 12:11
34K
goboard5__t7_goboard5
2013-09-04 12:11
35K
goboard5__t8_goboard5
2013-09-04 12:11
33K
goboard5__t9_goboard5
2013-09-04 12:11
34K
goboard5__t10_goboard5
2013-09-04 12:11
35K
goboard5__t11_goboard5
2013-09-04 12:11
37K
goboard5__t12_goboard5
2013-09-04 12:11
35K
goboard5__t13_goboard5
2013-09-04 12:11
36K
goboard5__t14_goboard5
2013-09-04 12:11
36K
goboard5__t15_goboard5
2013-09-04 12:11
36K
goboard5__t16_goboard5
2013-09-04 12:11
36K
goboard5__t17_goboard5
2013-09-04 12:11
35K
goboard5__t18_goboard5
2013-09-04 12:11
36K
goboard5__t19_goboard5
2013-09-04 12:11
36K
goboard5__t20_goboard5
2013-09-04 12:11
35K
goboard5__t21_goboard5
2013-09-04 12:11
36K
goboard5__t22_goboard5
2013-09-04 12:11
36K
goboard5__t23_goboard5
2013-09-04 12:11
60K
goboard5__t24_goboard5
2013-09-04 12:11
60K
goboard5__t25_goboard5
2013-09-04 12:11
44K
goboard5__t26_goboard5
2013-09-04 12:11
44K
goboard5__t27_goboard5
2013-09-04 12:11
43K
goboard5__t28_goboard5
2013-09-04 12:11
43K
goboard5__t29_goboard5
2013-09-04 12:11
43K
goboard5__t30_goboard5
2013-09-04 12:11
43K
goboard5__t31_goboard5
2013-09-04 12:11
103K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80