Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/exchsort
Name
Last modified
Size
Description
Parent Directory
-
exchsort__l84_exchsort
2016-03-08 13:05
103K
exchsort__t1_exchsort
2016-03-08 13:05
49K
exchsort__t2_exchsort
2016-03-08 13:05
44K
exchsort__t3_exchsort
2016-03-08 13:05
53K
exchsort__t4_exchsort
2016-03-08 13:05
54K
exchsort__t5_exchsort
2016-03-08 13:05
55K
exchsort__t6_exchsort
2016-03-08 13:05
52K
exchsort__t7_exchsort
2016-03-08 13:05
59K
exchsort__t8_exchsort
2016-03-08 13:05
49K
exchsort__t9_exchsort
2016-03-08 13:05
50K
exchsort__t10_exchsort
2016-03-08 13:05
51K
exchsort__t11_exchsort
2016-03-08 13:05
52K
exchsort__t12_exchsort
2016-03-08 13:05
47K
exchsort__t13_exchsort
2016-03-08 13:05
1.9K
exchsort__t14_exchsort
2016-03-08 13:05
46K
exchsort__t15_exchsort
2016-03-08 13:05
48K
exchsort__t16_exchsort
2016-03-08 13:05
48K
exchsort__t17_exchsort
2016-03-08 13:05
2.3K
exchsort__t18_exchsort
2016-03-08 13:05
46K
exchsort__t19_exchsort
2016-03-08 13:05
46K
exchsort__t20_exchsort
2016-03-08 13:05
48K
exchsort__t21_exchsort
2016-03-08 13:05
2.7K
exchsort__t22_exchsort
2016-03-08 13:05
55K
exchsort__t23_exchsort
2016-03-08 13:05
54K
exchsort__t24_exchsort
2016-03-08 13:05
52K
exchsort__t25_exchsort
2016-03-08 13:05
73K
exchsort__t26_exchsort
2016-03-08 13:05
75K
exchsort__t27_exchsort
2016-03-08 13:05
69K
exchsort__t28_exchsort
2016-03-08 13:05
66K
exchsort__t29_exchsort
2016-03-08 13:05
53K
exchsort__t30_exchsort
2016-03-08 13:05
52K
exchsort__t31_exchsort
2016-03-08 13:05
53K
exchsort__t32_exchsort
2016-03-08 13:05
52K
exchsort__t33_exchsort
2016-03-08 13:05
53K
exchsort__t34_exchsort
2016-03-08 13:05
52K
exchsort__t35_exchsort
2016-03-08 13:05
52K
exchsort__t36_exchsort
2016-03-08 13:05
52K
exchsort__t37_exchsort
2016-03-08 13:05
73K
exchsort__t38_exchsort
2016-03-08 13:05
74K
exchsort__t39_exchsort
2016-03-08 13:05
81K
exchsort__t40_exchsort
2016-03-08 13:05
73K
exchsort__t41_exchsort
2016-03-08 13:05
70K
exchsort__t42_exchsort
2016-03-08 13:05
84K
exchsort__t43_exchsort
2016-03-08 13:05
78K
exchsort__t44_exchsort
2016-03-08 13:05
53K
exchsort__t45_exchsort
2016-03-08 13:05
54K
exchsort__t46_exchsort
2017-01-05 20:54
70K
exchsort__t47_exchsort
2017-01-05 20:54
81K
exchsort__t48_exchsort
2017-01-05 20:54
70K
exchsort__t49_exchsort
2017-01-05 20:54
70K
exchsort__t50_exchsort
2017-01-05 20:54
70K
exchsort__t51_exchsort
2017-01-05 20:54
74K
exchsort__t52_exchsort
2017-01-05 20:54
73K
exchsort__t53_exchsort
2017-01-05 20:54
74K
exchsort__t54_exchsort
2017-01-05 20:54
74K
exchsort__t55_exchsort
2017-01-05 20:54
74K
exchsort__t56_exchsort
2017-01-05 20:54
74K
exchsort__t57_exchsort
2017-01-05 20:54
73K
exchsort__t58_exchsort
2017-01-05 20:54
75K
exchsort__t59_exchsort
2016-03-08 13:05
57K
exchsort__t60_exchsort
2016-03-08 13:05
67K
exchsort__t61_exchsort
2016-03-08 13:05
105K
exchsort__t62_exchsort
2016-03-08 13:05
98K
exchsort__t63_exchsort
2016-03-08 13:05
99K
exchsort__t64_exchsort
2016-03-08 13:05
103K
exchsort__t65_exchsort
2016-03-08 13:05
103K
exchsort__t66_exchsort
2016-03-08 13:05
97K
exchsort__t67_exchsort
2016-03-08 13:05
100K
exchsort__t68_exchsort
2016-03-08 13:05
101K
exchsort__t69_exchsort
2016-03-08 13:05
97K
exchsort__t70_exchsort
2016-03-08 13:05
101K
exchsort__t71_exchsort
2017-01-05 20:54
111K
exchsort__t72_exchsort
2017-01-05 20:54
117K
exchsort__t73_exchsort
2017-01-05 20:54
121K
exchsort__t74_exchsort
2017-01-05 20:54
76K
exchsort__t75_exchsort
2017-01-05 20:54
81K
exchsort__t76_exchsort
2017-01-05 20:54
83K
exchsort__t77_exchsort
2017-01-05 20:54
81K
exchsort__t78_exchsort
2017-01-05 20:54
95K
exchsort__t79_exchsort
2016-03-08 13:05
61K
exchsort__t80_exchsort
2016-03-08 13:05
61K
exchsort__t81_exchsort
2016-03-08 13:05
68K
exchsort__t82_exchsort
2016-03-08 13:05
52K
exchsort__t83_exchsort
2016-03-08 13:05
60K
exchsort__t84_exchsort
2016-03-08 13:05
53K
exchsort__t85_exchsort
2017-01-05 20:54
107K
exchsort__t86_exchsort
2016-03-08 13:05
64K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80