Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems/exchsort
Name
Last modified
Size
Description
Parent Directory
-
exchsort__l84_exchsort
2023-06-28 20:17
104K
exchsort__s1_exchsort
2023-06-28 19:42
76K
exchsort__s2_exchsort
2023-06-28 19:43
93K
exchsort__t1_exchsort
2023-06-28 19:43
51K
exchsort__t2_exchsort
2023-06-28 19:44
36K
exchsort__t3_exchsort
2023-06-28 19:40
59K
exchsort__t4_exchsort
2023-06-28 19:44
60K
exchsort__t5_exchsort
2023-06-28 19:45
44K
exchsort__t6_exchsort
2023-06-28 19:45
53K
exchsort__t7_exchsort
2023-06-28 19:46
63K
exchsort__t8_exchsort
2023-06-28 19:40
748
exchsort__t9_exchsort
2023-06-28 19:46
53K
exchsort__t10_exchsort
2023-06-28 19:47
54K
exchsort__t11_exchsort
2023-06-28 19:47
55K
exchsort__t12_exchsort
2023-06-28 19:40
50K
exchsort__t13_exchsort
2023-06-28 19:40
1.8K
exchsort__t14_exchsort
2023-06-28 19:41
40K
exchsort__t15_exchsort
2023-06-28 19:47
50K
exchsort__t16_exchsort
2023-06-28 19:48
51K
exchsort__t17_exchsort
2023-06-28 19:41
2.2K
exchsort__t18_exchsort
2023-06-28 19:41
36K
exchsort__t19_exchsort
2023-06-28 19:48
49K
exchsort__t20_exchsort
2023-06-28 19:49
42K
exchsort__t21_exchsort
2023-06-28 19:49
2.8K
exchsort__t22_exchsort
2023-06-28 19:49
58K
exchsort__t23_exchsort
2023-06-28 19:50
57K
exchsort__t24_exchsort
2023-06-28 19:50
55K
exchsort__t25_exchsort
2023-06-28 19:51
76K
exchsort__t26_exchsort
2023-06-28 19:51
78K
exchsort__t27_exchsort
2023-06-28 19:52
69K
exchsort__t28_exchsort
2023-06-28 19:52
66K
exchsort__t29_exchsort
2023-06-28 19:52
48K
exchsort__t30_exchsort
2023-06-28 19:53
46K
exchsort__t31_exchsort
2023-06-28 19:53
48K
exchsort__t32_exchsort
2023-06-28 19:53
46K
exchsort__t33_exchsort
2023-06-28 19:54
48K
exchsort__t34_exchsort
2023-06-28 19:54
46K
exchsort__t35_exchsort
2023-06-28 19:55
46K
exchsort__t36_exchsort
2023-06-28 19:55
46K
exchsort__t37_exchsort
2023-06-28 19:55
76K
exchsort__t38_exchsort
2023-06-28 19:56
76K
exchsort__t39_exchsort
2023-06-28 19:56
84K
exchsort__t40_exchsort
2023-06-28 19:57
75K
exchsort__t41_exchsort
2023-06-28 19:57
74K
exchsort__t42_exchsort
2023-06-28 19:57
86K
exchsort__t43_exchsort
2023-06-28 19:58
80K
exchsort__t44_exchsort
2023-06-28 19:58
48K
exchsort__t45_exchsort
2023-06-28 19:59
45K
exchsort__t46_exchsort
2023-06-28 19:59
51K
exchsort__t47_exchsort
2023-06-28 19:59
73K
exchsort__t48_exchsort
2023-06-28 20:00
51K
exchsort__t49_exchsort
2023-06-28 20:00
50K
exchsort__t50_exchsort
2023-06-28 20:01
51K
exchsort__t51_exchsort
2023-06-28 20:01
55K
exchsort__t52_exchsort
2023-06-28 20:02
54K
exchsort__t53_exchsort
2023-06-28 20:02
55K
exchsort__t54_exchsort
2023-06-28 20:03
54K
exchsort__t55_exchsort
2023-06-28 20:03
55K
exchsort__t56_exchsort
2023-06-28 20:03
55K
exchsort__t57_exchsort
2023-06-28 20:04
54K
exchsort__t58_exchsort
2023-06-28 20:04
56K
exchsort__t59_exchsort
2023-06-28 20:05
59K
exchsort__t60_exchsort
2023-06-28 20:05
70K
exchsort__t61_exchsort
2023-06-28 20:06
106K
exchsort__t62_exchsort
2023-06-28 20:06
99K
exchsort__t63_exchsort
2023-06-28 20:07
100K
exchsort__t64_exchsort
2023-06-28 20:07
104K
exchsort__t65_exchsort
2023-06-28 20:08
104K
exchsort__t66_exchsort
2023-06-28 20:08
98K
exchsort__t67_exchsort
2023-06-28 20:09
101K
exchsort__t68_exchsort
2023-06-28 20:09
102K
exchsort__t69_exchsort
2023-06-28 20:10
98K
exchsort__t70_exchsort
2023-06-28 20:10
102K
exchsort__t71_exchsort
2023-06-28 20:11
112K
exchsort__t72_exchsort
2023-06-28 20:11
118K
exchsort__t73_exchsort
2023-06-28 20:12
123K
exchsort__t74_exchsort
2023-06-28 20:12
68K
exchsort__t75_exchsort
2023-06-28 20:13
70K
exchsort__t76_exchsort
2023-06-28 20:13
83K
exchsort__t77_exchsort
2023-06-28 20:13
82K
exchsort__t78_exchsort
2023-06-28 20:14
97K
exchsort__t79_exchsort
2023-06-28 20:14
64K
exchsort__t80_exchsort
2023-06-28 20:15
64K
exchsort__t81_exchsort
2023-06-28 20:15
70K
exchsort__t82_exchsort
2023-06-28 20:15
55K
exchsort__t83_exchsort
2023-06-28 20:16
63K
exchsort__t84_exchsort
2023-06-28 20:16
54K
exchsort__t85_exchsort
2023-06-28 20:17
108K
exchsort__t86_exchsort
2023-06-28 20:17
56K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80