Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/goboard1
Name
Last modified
Size
Description
Parent Directory
-
goboard1__l10_goboard1
2017-01-13 17:36
61K
goboard1__t2_goboard1
2017-01-13 17:36
70K
goboard1__l32_goboard1
2017-01-13 17:36
77K
goboard1__t6_goboard1
2017-01-13 17:36
98K
goboard1__t22_goboard1
2017-01-13 17:36
98K
goboard1__t7_goboard1
2017-01-13 17:36
99K
goboard1__t12_goboard1
2017-01-13 17:36
99K
goboard1__t9_goboard1
2017-01-13 17:36
100K
goboard1__t8_goboard1
2017-01-13 17:36
102K
goboard1__t5_goboard1
2017-01-13 17:36
105K
goboard1__t3_goboard1
2017-01-13 17:36
109K
goboard1__t4_goboard1
2017-01-13 17:36
109K
goboard1__t11_goboard1
2017-01-13 17:36
109K
goboard1__t26_goboard1
2017-01-13 17:36
113K
goboard1__t18_goboard1
2017-01-13 17:36
113K
goboard1__t30_goboard1
2017-01-13 17:36
113K
goboard1__t20_goboard1
2017-01-13 17:36
115K
goboard1__t19_goboard1
2017-01-13 17:36
117K
goboard1__t23_goboard1
2017-01-13 17:36
123K
goboard1__t15_goboard1
2017-01-13 17:36
126K
goboard1__t16_goboard1
2017-01-13 17:36
126K
goboard1__t27_goboard1
2017-01-13 17:36
126K
goboard1__t31_goboard1
2017-01-13 17:36
127K
goboard1__t13_goboard1
2017-01-13 17:36
132K
goboard1__t10_goboard1
2017-01-13 17:36
136K
goboard1__t34_goboard1
2017-01-13 17:36
140K
goboard1__t28_goboard1
2017-01-13 17:36
143K
goboard1__t32_goboard1
2017-01-13 17:36
143K
goboard1__t29_goboard1
2017-01-13 17:36
156K
goboard1__t33_goboard1
2017-01-13 17:36
158K
goboard1__t35_goboard1
2017-01-13 17:36
172K
goboard1__t17_goboard1
2017-01-13 17:36
183K
goboard1__t37_goboard1
2017-01-13 17:36
192K
goboard1__t24_goboard1
2017-01-13 17:36
198K
goboard1__t14_goboard1
2017-01-13 17:36
201K
goboard1__t21_goboard1
2017-01-13 17:36
204K
goboard1__t1_goboard1
2017-01-13 17:36
207K
goboard1__t25_goboard1
2017-01-13 17:36
215K
goboard1__t36_goboard1
2017-01-13 17:36
247K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80