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