Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/goboard7
Name
Last modified
Size
Description
Parent Directory
-
goboard7__t64_goboard7
2017-01-12 22:04
52K
goboard7__t63_goboard7
2017-01-12 22:04
52K
goboard7__t62_goboard7
2017-01-12 22:04
88K
goboard7__t61_goboard7
2017-01-12 22:04
88K
goboard7__t60_goboard7
2017-01-12 22:04
88K
goboard7__t59_goboard7
2017-01-12 22:04
88K
goboard7__t58_goboard7
2017-01-12 22:04
260K
goboard7__t57_goboard7
2017-01-12 22:04
260K
goboard7__t56_goboard7
2017-01-12 22:04
258K
goboard7__t55_goboard7
2017-01-12 22:04
260K
goboard7__t54_goboard7
2017-01-12 22:04
260K
goboard7__t53_goboard7
2017-01-12 22:04
258K
goboard7__t52_goboard7
2017-01-12 22:04
64K
goboard7__t51_goboard7
2017-01-12 22:04
67K
goboard7__t50_goboard7
2017-01-12 22:04
64K
goboard7__t49_goboard7
2017-01-12 22:04
64K
goboard7__t48_goboard7
2017-01-12 22:04
67K
goboard7__t47_goboard7
2017-01-12 22:04
64K
goboard7__t46_goboard7
2017-01-12 22:04
64K
goboard7__t45_goboard7
2017-01-12 22:04
67K
goboard7__t44_goboard7
2017-01-12 22:04
64K
goboard7__t43_goboard7
2017-01-12 22:04
64K
goboard7__t42_goboard7
2017-01-12 22:04
67K
goboard7__t41_goboard7
2017-01-12 22:04
64K
goboard7__t40_goboard7
2017-01-12 22:04
172K
goboard7__t39_goboard7
2017-01-12 22:04
172K
goboard7__t38_goboard7
2017-01-12 22:04
44K
goboard7__t37_goboard7
2017-01-12 22:04
45K
goboard7__t36_goboard7
2017-01-12 22:04
45K
goboard7__t35_goboard7
2017-01-12 22:04
238K
goboard7__t34_goboard7
2017-01-12 22:04
63K
goboard7__t33_goboard7
2017-01-12 22:04
55K
goboard7__t32_goboard7
2017-01-12 22:04
55K
goboard7__t31_goboard7
2017-01-12 22:04
100K
goboard7__t30_goboard7
2017-01-12 22:04
100K
goboard7__t29_goboard7
2017-01-12 22:04
70K
goboard7__t28_goboard7
2017-01-12 22:04
171K
goboard7__t27_goboard7
2017-01-12 22:04
171K
goboard7__t26_goboard7
2017-01-12 22:03
169K
goboard7__t25_goboard7
2017-01-12 22:03
169K
goboard7__t24_goboard7
2017-01-12 22:03
90K
goboard7__t23_goboard7
2017-01-12 22:03
97K
goboard7__t22_goboard7
2017-01-12 22:03
97K
goboard7__t21_goboard7
2017-01-12 22:03
78K
goboard7__t20_goboard7
2017-01-12 22:03
95K
goboard7__t19_goboard7
2017-01-12 22:03
95K
goboard7__t18_goboard7
2017-01-12 22:03
68K
goboard7__t17_goboard7
2017-01-12 22:03
67K
goboard7__t16_goboard7
2017-01-12 22:03
68K
goboard7__t15_goboard7
2017-01-12 22:03
68K
goboard7__t14_goboard7
2017-01-12 22:03
68K
goboard7__t13_goboard7
2017-01-12 22:03
68K
goboard7__t12_goboard7
2017-01-12 22:03
137K
goboard7__t11_goboard7
2017-01-12 22:03
69K
goboard7__t10_goboard7
2017-01-12 22:03
69K
goboard7__t9_goboard7
2017-01-12 22:03
64K
goboard7__t8_goboard7
2017-01-12 22:03
56K
goboard7__t7_goboard7
2017-01-12 22:03
56K
goboard7__t6_goboard7
2017-01-12 22:03
67K
goboard7__t5_goboard7
2017-01-12 22:03
67K
goboard7__t4_goboard7
2017-01-12 22:03
43K
goboard7__t3_goboard7
2017-01-12 22:03
46K
goboard7__t2_goboard7
2017-01-12 22:03
29K
goboard7__t1_goboard7
2017-01-12 22:03
53K
goboard7__l30_goboard7
2017-01-12 22:04
50K
goboard7__l25_goboard7
2017-01-12 22:03
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80