Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/lpspace1
Name
Last modified
Size
Description
Parent Directory
-
lpspace1__l26_lpspace1
2016-03-08 13:07
69K
lpspace1__l31_lpspace1
2016-03-08 13:07
60K
lpspace1__l33_lpspace1
2017-01-05 20:54
95K
lpspace1__l34_lpspace1
2016-03-08 13:07
55K
lpspace1__l37_lpspace1
2017-01-05 20:54
93K
lpspace1__l50_lpspace1
2017-01-05 20:54
92K
lpspace1__l82_lpspace1
2017-01-05 20:54
153K
lpspace1__t1_lpspace1
2016-03-08 13:07
48K
lpspace1__t2_lpspace1
2016-03-08 13:07
68K
lpspace1__t3_lpspace1
2016-03-08 13:07
52K
lpspace1__t4_lpspace1
2016-03-08 13:07
56K
lpspace1__t5_lpspace1
2016-03-08 13:07
55K
lpspace1__t6_lpspace1
2016-03-08 13:07
50K
lpspace1__t7_lpspace1
2016-03-08 13:07
51K
lpspace1__t8_lpspace1
2016-03-08 13:07
35K
lpspace1__t9_lpspace1
2016-03-08 13:07
47K
lpspace1__t10_lpspace1
2016-03-08 13:07
37K
lpspace1__t11_lpspace1
2016-03-08 13:07
38K
lpspace1__t12_lpspace1
2016-03-08 13:07
48K
lpspace1__t13_lpspace1
2016-03-08 13:07
49K
lpspace1__t14_lpspace1
2016-03-08 13:07
59K
lpspace1__t15_lpspace1
2016-03-08 13:07
54K
lpspace1__t16_lpspace1
2016-03-08 13:07
71K
lpspace1__t17_lpspace1
2016-03-08 13:07
42K
lpspace1__t18_lpspace1
2016-03-08 13:07
43K
lpspace1__t19_lpspace1
2016-03-08 13:07
71K
lpspace1__t20_lpspace1
2016-03-08 13:07
69K
lpspace1__t21_lpspace1
2016-03-08 13:07
64K
lpspace1__t22_lpspace1
2016-03-08 13:07
76K
lpspace1__t23_lpspace1
2017-01-05 20:54
81K
lpspace1__t24_lpspace1
2017-01-05 20:54
94K
lpspace1__t25_lpspace1
2017-01-05 20:54
95K
lpspace1__t26_lpspace1
2017-01-05 20:54
86K
lpspace1__t27_lpspace1
2017-01-05 20:54
92K
lpspace1__t28_lpspace1
2016-03-08 13:07
46K
lpspace1__t29_lpspace1
2016-03-08 13:07
46K
lpspace1__t30_lpspace1
2016-03-08 13:07
53K
lpspace1__t31_lpspace1
2016-03-08 13:07
56K
lpspace1__t32_lpspace1
2016-03-08 13:07
47K
lpspace1__t33_lpspace1
2016-03-08 13:07
65K
lpspace1__t34_lpspace1
2017-01-05 20:54
78K
lpspace1__t35_lpspace1
2017-01-05 20:54
90K
lpspace1__t36_lpspace1
2017-01-05 20:54
86K
lpspace1__t37_lpspace1
2017-01-05 20:54
67K
lpspace1__t38_lpspace1
2017-01-05 20:54
65K
lpspace1__t39_lpspace1
2017-01-05 20:54
69K
lpspace1__t40_lpspace1
2017-01-05 20:54
67K
lpspace1__t41_lpspace1
2017-01-05 20:54
71K
lpspace1__t42_lpspace1
2017-01-05 20:54
69K
lpspace1__t43_lpspace1
2017-01-05 20:54
108K
lpspace1__t44_lpspace1
2016-03-08 13:07
64K
lpspace1__t45_lpspace1
2017-01-05 20:54
98K
lpspace1__t46_lpspace1
2017-01-05 20:54
79K
lpspace1__t47_lpspace1
2017-01-05 20:54
101K
lpspace1__t48_lpspace1
2017-01-05 20:54
92K
lpspace1__t49_lpspace1
2017-01-05 20:54
112K
lpspace1__t50_lpspace1
2017-01-05 20:54
110K
lpspace1__t51_lpspace1
2017-01-05 20:54
104K
lpspace1__t52_lpspace1
2016-03-08 13:07
41K
lpspace1__t53_lpspace1
2017-01-05 20:54
158K
lpspace1__t54_lpspace1
2016-03-08 13:07
67K
lpspace1__t55_lpspace1
2016-03-08 13:07
102K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80