Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/goboard9
Name
Last modified
Size
Description
Parent Directory
-
goboard9__l9_goboard9
2016-03-08 13:06
48K
goboard9__t1_goboard9
2016-03-08 13:06
27K
goboard9__t2_goboard9
2016-03-08 13:06
27K
goboard9__t3_goboard9
2016-03-08 13:06
35K
goboard9__t4_goboard9
2016-03-08 13:06
28K
goboard9__t6_goboard9
2016-03-08 13:06
42K
goboard9__t7_goboard9
2016-03-08 13:06
123K
goboard9__t8_goboard9
2016-03-08 13:06
123K
goboard9__t9_goboard9
2016-03-08 13:06
102K
goboard9__t10_goboard9
2016-03-08 13:06
62K
goboard9__t11_goboard9
2016-03-08 13:06
95K
goboard9__t12_goboard9
2017-01-05 20:54
57K
goboard9__t13_goboard9
2017-01-05 20:54
58K
goboard9__t14_goboard9
2016-03-08 13:06
96K
goboard9__t15_goboard9
2016-03-08 13:06
55K
goboard9__t16_goboard9
2016-03-08 13:06
77K
goboard9__t17_goboard9
2016-03-08 13:06
51K
goboard9__t19_goboard9
2016-03-08 13:06
56K
goboard9__t20_goboard9
2016-03-08 13:06
77K
goboard9__t21_goboard9
2016-03-08 13:06
460K
goboard9__t22_goboard9
2016-03-08 13:06
45K
goboard9__t23_goboard9
2016-03-08 13:06
117K
goboard9__t24_goboard9
2016-03-08 13:06
43K
goboard9__t25_goboard9
2016-03-08 13:06
78K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80