Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/comput_1
Name
Last modified
Size
Description
Parent Directory
-
comput_1__l24_comput_1
2017-01-05 20:54
75K
comput_1__l70_comput_1
2017-01-05 20:54
122K
comput_1__l71_comput_1
2017-01-05 20:54
142K
comput_1__l72_comput_1
2017-01-05 20:54
146K
comput_1__l73_comput_1
2017-01-05 20:54
172K
comput_1__l74_comput_1
2017-01-05 20:54
176K
comput_1__l87_comput_1
2017-01-05 20:54
73K
comput_1__l111_comput_1
2017-01-05 20:54
137K
comput_1__t1_comput_1
2016-03-08 13:05
62K
comput_1__t2_comput_1
2016-03-08 13:05
55K
comput_1__t3_comput_1
2016-03-08 13:05
98K
comput_1__t4_comput_1
2016-03-08 13:05
117K
comput_1__t5_comput_1
2017-01-05 20:54
69K
comput_1__t6_comput_1
2017-01-05 20:54
66K
comput_1__t7_comput_1
2016-03-08 13:05
62K
comput_1__t8_comput_1
2017-01-05 20:54
77K
comput_1__t9_comput_1
2017-01-05 20:54
86K
comput_1__t10_comput_1
2016-03-08 13:05
62K
comput_1__t11_comput_1
2016-03-08 13:05
66K
comput_1__t12_comput_1
2017-01-05 20:54
56K
comput_1__t13_comput_1
2016-03-08 13:05
59K
comput_1__t14_comput_1
2017-01-05 20:54
57K
comput_1__t15_comput_1
2017-01-05 20:54
67K
comput_1__t16_comput_1
2017-01-05 20:54
69K
comput_1__t17_comput_1
2016-03-08 13:05
74K
comput_1__t18_comput_1
2016-03-08 13:05
54K
comput_1__t19_comput_1
2016-03-08 13:05
55K
comput_1__t20_comput_1
2017-01-05 20:54
75K
comput_1__t21_comput_1
2017-01-05 20:54
73K
comput_1__t22_comput_1
2017-01-05 20:54
75K
comput_1__t23_comput_1
2017-01-05 20:54
76K
comput_1__t24_comput_1
2017-01-05 20:54
72K
comput_1__t25_comput_1
2017-01-05 20:54
72K
comput_1__t26_comput_1
2016-03-08 13:05
55K
comput_1__t27_comput_1
2017-01-05 20:54
71K
comput_1__t28_comput_1
2017-01-05 20:54
72K
comput_1__t29_comput_1
2017-01-05 20:54
75K
comput_1__t30_comput_1
2017-01-05 20:54
83K
comput_1__t31_comput_1
2017-01-05 20:54
85K
comput_1__t32_comput_1
2017-01-05 20:54
84K
comput_1__t33_comput_1
2017-01-05 20:54
72K
comput_1__t34_comput_1
2017-01-05 20:54
84K
comput_1__t35_comput_1
2017-01-05 20:54
91K
comput_1__t36_comput_1
2017-01-05 20:54
95K
comput_1__t37_comput_1
2017-01-05 20:54
93K
comput_1__t38_comput_1
2017-01-05 20:54
95K
comput_1__t39_comput_1
2017-01-05 20:54
86K
comput_1__t40_comput_1
2017-01-05 20:54
117K
comput_1__t41_comput_1
2017-01-05 20:54
91K
comput_1__t42_comput_1
2017-01-05 20:54
90K
comput_1__t43_comput_1
2016-03-08 13:05
63K
comput_1__t44_comput_1
2017-01-05 20:54
91K
comput_1__t45_comput_1
2017-01-05 20:54
110K
comput_1__t46_comput_1
2017-01-05 20:54
103K
comput_1__t47_comput_1
2017-01-05 20:54
84K
comput_1__t48_comput_1
2017-01-05 20:54
73K
comput_1__t49_comput_1
2017-01-05 20:54
114K
comput_1__t50_comput_1
2017-01-05 20:54
104K
comput_1__t51_comput_1
2017-01-05 20:54
138K
comput_1__t52_comput_1
2017-01-05 20:54
141K
comput_1__t53_comput_1
2017-01-05 20:54
108K
comput_1__t54_comput_1
2017-01-05 20:54
160K
comput_1__t55_comput_1
2017-01-05 20:54
93K
comput_1__t56_comput_1
2017-01-05 20:54
94K
comput_1__t57_comput_1
2017-01-05 20:54
123K
comput_1__t58_comput_1
2017-01-05 20:54
96K
comput_1__t59_comput_1
2017-01-05 20:54
96K
comput_1__t60_comput_1
2017-01-05 20:54
104K
comput_1__t61_comput_1
2017-01-05 20:54
100K
comput_1__t62_comput_1
2017-01-05 20:54
100K
comput_1__t63_comput_1
2017-01-05 20:54
135K
comput_1__t64_comput_1
2017-01-05 20:54
179K
comput_1__t65_comput_1
2017-01-05 20:54
141K
comput_1__t66_comput_1
2017-01-05 20:54
112K
comput_1__t67_comput_1
2017-01-05 20:54
98K
comput_1__t68_comput_1
2017-01-05 20:54
137K
comput_1__t69_comput_1
2017-01-05 20:54
335K
comput_1__t70_comput_1
2017-01-05 20:54
141K
comput_1__t71_comput_1
2017-01-05 20:54
113K
comput_1__t72_comput_1
2017-01-05 20:54
111K
comput_1__t73_comput_1
2017-01-05 20:54
129K
comput_1__t74_comput_1
2017-01-05 20:54
67K
comput_1__t75_comput_1
2017-01-05 20:54
135K
comput_1__t76_comput_1
2017-01-05 20:54
140K
comput_1__t77_comput_1
2017-01-05 20:54
138K
comput_1__t78_comput_1
2017-01-05 20:54
131K
comput_1__t79_comput_1
2017-01-05 20:54
103K
comput_1__t80_comput_1
2017-01-05 20:54
104K
comput_1__t81_comput_1
2017-01-05 20:54
103K
comput_1__t82_comput_1
2017-01-05 20:54
101K
comput_1__t83_comput_1
2017-01-05 20:54
127K
comput_1__t84_comput_1
2017-01-05 20:54
139K
comput_1__t85_comput_1
2017-01-05 20:54
138K
comput_1__t86_comput_1
2017-01-05 20:54
156K
comput_1__t87_comput_1
2017-01-05 20:54
152K
comput_1__t88_comput_1
2017-01-05 20:54
142K
comput_1__t89_comput_1
2017-01-05 20:54
116K
comput_1__t90_comput_1
2017-01-05 20:54
229K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80