Index of /~mptp/1147/MPTP2/problems_thf_tls1/goboard9
Name
Last modified
Size
Description
Parent Directory
-
goboard9__l9_goboard9
2017-01-13 19:14
48K
goboard9__t1_goboard9
2017-01-13 19:14
27K
goboard9__t2_goboard9
2017-01-13 19:14
27K
goboard9__t3_goboard9
2017-01-13 19:14
35K
goboard9__t4_goboard9
2017-01-13 19:14
28K
goboard9__t6_goboard9
2017-01-13 19:14
42K
goboard9__t7_goboard9
2017-01-13 19:14
129K
goboard9__t8_goboard9
2017-01-13 19:14
129K
goboard9__t9_goboard9
2017-01-13 19:14
104K
goboard9__t10_goboard9
2017-01-13 19:14
63K
goboard9__t11_goboard9
2017-01-13 19:14
97K
goboard9__t12_goboard9
2017-01-13 19:14
57K
goboard9__t13_goboard9
2017-01-13 19:14
59K
goboard9__t14_goboard9
2017-01-13 19:14
98K
goboard9__t15_goboard9
2017-01-13 19:14
55K
goboard9__t16_goboard9
2017-01-13 19:14
78K
goboard9__t17_goboard9
2017-01-13 19:14
51K
goboard9__t19_goboard9
2017-01-13 19:14
56K
goboard9__t20_goboard9
2017-01-13 19:14
79K
goboard9__t21_goboard9
2017-01-13 19:14
488K
goboard9__t22_goboard9
2017-01-13 19:14
45K
goboard9__t23_goboard9
2017-01-13 19:14
121K
goboard9__t24_goboard9
2017-01-13 19:14
43K
goboard9__t25_goboard9
2017-01-13 19:14
80K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80