Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/topalg_6
Name
Last modified
Size
Description
Parent Directory
-
topalg_6__t9_topalg_6
2017-01-05 20:54
245K
topalg_6__t45_topalg_6
2017-01-05 20:54
234K
topalg_6__t44_topalg_6
2017-01-05 20:54
132K
topalg_6__t43_topalg_6
2017-01-05 20:54
154K
topalg_6__t42_topalg_6
2017-01-05 20:54
122K
topalg_6__t41_topalg_6
2017-01-05 20:54
119K
topalg_6__t40_topalg_6
2017-01-05 20:54
92K
topalg_6__t39_topalg_6
2017-01-05 20:54
137K
topalg_6__t38_topalg_6
2017-01-05 20:54
129K
topalg_6__t37_topalg_6
2017-01-05 20:54
98K
topalg_6__t36_topalg_6
2017-01-05 20:54
188K
topalg_6__t35_topalg_6
2017-01-05 20:54
133K
topalg_6__t34_topalg_6
2017-01-05 20:54
127K
topalg_6__t33_topalg_6
2017-01-05 20:54
133K
topalg_6__t32_topalg_6
2017-01-05 20:54
119K
topalg_6__t31_topalg_6
2017-01-05 20:54
92K
topalg_6__t30_topalg_6
2017-01-05 20:54
127K
topalg_6__t29_topalg_6
2017-01-05 20:54
135K
topalg_6__t28_topalg_6
2017-01-05 20:54
101K
topalg_6__t27_topalg_6
2017-01-05 20:54
86K
topalg_6__t26_topalg_6
2017-01-05 20:54
96K
topalg_6__t25_topalg_6
2017-01-05 20:54
93K
topalg_6__t24_topalg_6
2017-01-05 20:54
79K
topalg_6__t23_topalg_6
2017-01-05 20:54
74K
topalg_6__t22_topalg_6
2017-01-05 20:54
103K
topalg_6__t21_topalg_6
2017-01-05 20:54
74K
topalg_6__t20_topalg_6
2017-01-05 20:54
74K
topalg_6__t16_topalg_6
2017-01-05 20:54
109K
topalg_6__l63_topalg_6
2017-01-05 20:54
625K
topalg_6__l56_topalg_6
2017-01-05 20:54
145K
topalg_6__t8_topalg_6
2016-03-08 13:10
99K
topalg_6__t7_topalg_6
2016-03-08 13:10
82K
topalg_6__t6_topalg_6
2016-03-08 13:10
87K
topalg_6__t5_topalg_6
2016-03-08 13:10
81K
topalg_6__t4_topalg_6
2016-03-08 13:10
82K
topalg_6__t47_topalg_6
2016-03-08 13:10
172K
topalg_6__t46_topalg_6
2016-03-08 13:10
87K
topalg_6__t3_topalg_6
2016-03-08 13:10
110K
topalg_6__t2_topalg_6
2016-03-08 13:10
137K
topalg_6__t1_topalg_6
2016-03-08 13:10
95K
topalg_6__t19_topalg_6
2016-03-08 13:10
72K
topalg_6__t18_topalg_6
2016-03-08 13:10
88K
topalg_6__t17_topalg_6
2016-03-08 13:10
99K
topalg_6__t15_topalg_6
2016-03-08 13:10
88K
topalg_6__t14_topalg_6
2016-03-08 13:10
48K
topalg_6__t13_topalg_6
2016-03-08 13:10
86K
topalg_6__t12_topalg_6
2016-03-08 13:10
95K
topalg_6__t11_topalg_6
2016-03-08 13:10
87K
topalg_6__t10_topalg_6
2016-03-08 13:10
116K
topalg_6__l62_topalg_6
2016-03-08 13:10
170K
topalg_6__l23_topalg_6
2016-03-08 13:10
79K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80