Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/exchsort
Name
Last modified
Size
Description
Parent Directory
-
exchsort__l84_exchsort
2025-09-08 16:19
70K
exchsort__l84_exchsort.vout
2025-09-15 18:56
4.7K
exchsort__t1_exchsort
2025-09-08 13:50
36K
exchsort__t1_exchsort.vout
2025-09-15 17:24
7.3K
exchsort__t2_exchsort
2025-09-08 13:52
26K
exchsort__t2_exchsort.depv1
2025-09-15 19:47
25
exchsort__t2_exchsort.depvmin1
2025-09-15 19:51
25
exchsort__t2_exchsort.vmin1
2025-09-15 19:47
702
exchsort__t2_exchsort.vmin1out
2025-09-15 19:50
14K
exchsort__t2_exchsort.vout
2025-09-15 14:25
14K
exchsort__t3_exchsort
2025-09-08 13:44
41K
exchsort__t3_exchsort.depv1
2025-09-15 19:47
89
exchsort__t3_exchsort.depvmin1
2025-09-15 19:51
89
exchsort__t3_exchsort.vmin1
2025-09-15 19:47
544
exchsort__t3_exchsort.vmin1out
2025-09-15 19:50
4.3K
exchsort__t3_exchsort.vout
2025-09-15 18:46
4.2K
exchsort__t4_exchsort
2025-09-08 13:53
41K
exchsort__t4_exchsort.vout
2025-09-15 18:59
2.0K
exchsort__t5_exchsort
2025-09-08 13:54
31K
exchsort__t5_exchsort.depv1
2025-09-15 19:47
68
exchsort__t5_exchsort.depvmin1
2025-09-15 19:51
45
exchsort__t5_exchsort.vmin1
2025-09-15 19:47
944
exchsort__t5_exchsort.vmin1out
2025-09-15 19:48
26K
exchsort__t5_exchsort.vout
2025-09-15 14:26
29K
exchsort__t6_exchsort
2025-09-08 13:56
37K
exchsort__t6_exchsort.vout
2025-09-15 15:48
7.3K
exchsort__t7_exchsort
2025-09-08 13:58
44K
exchsort__t7_exchsort.vout
2025-09-15 18:53
7.4K
exchsort__t8_exchsort
2025-09-08 13:44
363
exchsort__t8_exchsort.vout
2025-09-15 16:07
5.9K
exchsort__t9_exchsort
2025-09-08 13:59
37K
exchsort__t9_exchsort.vout
2025-09-15 13:33
7.3K
exchsort__t10_exchsort
2025-09-08 14:01
38K
exchsort__t10_exchsort.vout
2025-09-15 15:58
6.8K
exchsort__t11_exchsort
2025-09-08 14:02
39K
exchsort__t11_exchsort.vout
2025-09-15 17:42
7.4K
exchsort__t12_exchsort
2025-09-08 13:45
35K
exchsort__t12_exchsort.vout
2025-09-15 18:57
2.0K
exchsort__t13_exchsort
2025-09-08 13:46
805
exchsort__t13_exchsort.vout
2025-09-15 16:36
1.2K
exchsort__t14_exchsort
2025-09-08 13:47
28K
exchsort__t14_exchsort.vout
2025-09-15 14:55
2.0K
exchsort__t15_exchsort
2025-09-08 14:04
35K
exchsort__t15_exchsort.depv1
2025-09-15 19:47
188
exchsort__t15_exchsort.depvmin1
2025-09-15 19:51
188
exchsort__t15_exchsort.vmin1
2025-09-15 19:47
1.8K
exchsort__t15_exchsort.vmin1out
2025-09-15 19:49
21K
exchsort__t15_exchsort.vout
2025-09-15 18:54
20K
exchsort__t16_exchsort
2025-09-08 14:05
35K
exchsort__t16_exchsort.vout
2025-09-15 15:22
7.3K
exchsort__t17_exchsort
2025-09-08 13:47
1.0K
exchsort__t17_exchsort.vout
2025-09-15 19:32
2.3K
exchsort__t18_exchsort
2025-09-08 13:49
26K
exchsort__t18_exchsort.vout
2025-09-15 17:14
3.1K
exchsort__t19_exchsort
2025-09-08 14:06
35K
exchsort__t19_exchsort.depv1
2025-09-15 19:47
259
exchsort__t19_exchsort.depvmin1
2025-09-15 19:51
259
exchsort__t19_exchsort.vmin1
2025-09-15 19:47
1.8K
exchsort__t19_exchsort.vmin1out
2025-09-15 19:48
22K
exchsort__t19_exchsort.vout
2025-09-15 14:07
22K
exchsort__t20_exchsort
2025-09-08 14:08
30K
exchsort__t20_exchsort.depv1
2025-09-15 19:47
212
exchsort__t20_exchsort.depvmin1
2025-09-15 19:51
212
exchsort__t20_exchsort.vmin1
2025-09-15 19:47
1.8K
exchsort__t20_exchsort.vmin1out
2025-09-15 19:48
28K
exchsort__t20_exchsort.vout
2025-09-15 19:31
28K
exchsort__t21_exchsort
2025-09-08 14:08
1.3K
exchsort__t21_exchsort.depv1
2025-09-15 19:47
39
exchsort__t21_exchsort.depvmin1
2025-09-15 19:51
39
exchsort__t21_exchsort.vmin1
2025-09-15 19:47
363
exchsort__t21_exchsort.vmin1out
2025-09-15 19:49
3.7K
exchsort__t21_exchsort.vout
2025-09-15 16:46
3.7K
exchsort__t22_exchsort
2025-09-08 14:10
40K
exchsort__t22_exchsort.depv1
2025-09-15 19:47
403
exchsort__t22_exchsort.depvmin1
2025-09-15 19:51
289
exchsort__t22_exchsort.vmin1
2025-09-15 19:47
3.3K
exchsort__t22_exchsort.vmin1out
2025-09-15 19:48
32K
exchsort__t22_exchsort.vout
2025-09-15 17:09
43K
exchsort__t23_exchsort
2025-09-08 14:11
40K
exchsort__t23_exchsort.vout
2025-09-15 16:53
6.8K
exchsort__t24_exchsort
2025-09-08 14:13
38K
exchsort__t24_exchsort.vout
2025-09-15 13:52
2.0K
exchsort__t25_exchsort
2025-09-08 14:15
53K
exchsort__t25_exchsort.vout
2025-09-15 14:47
6.8K
exchsort__t26_exchsort
2025-09-08 14:16
54K
exchsort__t26_exchsort.vout
2025-09-15 17:11
6.8K
exchsort__t27_exchsort
2025-09-08 14:18
47K
exchsort__t27_exchsort.vout
2025-09-15 18:57
7.3K
exchsort__t28_exchsort
2025-09-08 14:20
45K
exchsort__t28_exchsort.vout
2025-09-15 17:52
7.4K
exchsort__t29_exchsort
2025-09-08 14:21
34K
exchsort__t29_exchsort.depv1
2025-09-15 19:47
98
exchsort__t29_exchsort.depvmin1
2025-09-15 19:51
98
exchsort__t29_exchsort.vmin1
2025-09-15 19:47
1.3K
exchsort__t29_exchsort.vmin1out
2025-09-15 19:50
15K
exchsort__t29_exchsort.vout
2025-09-15 13:59
16K
exchsort__t30_exchsort
2025-09-08 14:23
32K
exchsort__t30_exchsort.depv1
2025-09-15 19:47
99
exchsort__t30_exchsort.depvmin1
2025-09-15 19:51
99
exchsort__t30_exchsort.vmin1
2025-09-15 19:47
1.2K
exchsort__t30_exchsort.vmin1out
2025-09-15 19:49
13K
exchsort__t30_exchsort.vout
2025-09-15 17:29
15K
exchsort__t31_exchsort
2025-09-08 14:24
34K
exchsort__t31_exchsort.depv1
2025-09-15 19:47
86
exchsort__t31_exchsort.depvmin1
2025-09-15 19:51
86
exchsort__t31_exchsort.vmin1
2025-09-15 19:47
1.1K
exchsort__t31_exchsort.vmin1out
2025-09-15 19:47
11K
exchsort__t31_exchsort.vout
2025-09-15 15:40
11K
exchsort__t32_exchsort
2025-09-08 14:25
32K
exchsort__t32_exchsort.depv1
2025-09-15 19:47
99
exchsort__t32_exchsort.depvmin1
2025-09-15 19:51
99
exchsort__t32_exchsort.vmin1
2025-09-15 19:47
1.2K
exchsort__t32_exchsort.vmin1out
2025-09-15 19:48
13K
exchsort__t32_exchsort.vout
2025-09-15 18:53
15K
exchsort__t33_exchsort
2025-09-08 14:27
33K
exchsort__t33_exchsort.depv1
2025-09-15 19:47
51
exchsort__t33_exchsort.depvmin1
2025-09-15 19:51
51
exchsort__t33_exchsort.vmin1
2025-09-15 19:47
925
exchsort__t33_exchsort.vmin1out
2025-09-15 19:48
15K
exchsort__t33_exchsort.vout
2025-09-15 17:34
14K
exchsort__t34_exchsort
2025-09-08 14:29
32K
exchsort__t34_exchsort.depv1
2025-09-15 19:47
99
exchsort__t34_exchsort.depvmin1
2025-09-15 19:51
99
exchsort__t34_exchsort.vmin1
2025-09-15 19:47
1.2K
exchsort__t34_exchsort.vmin1out
2025-09-15 19:48
17K
exchsort__t34_exchsort.vout
2025-09-15 15:30
17K
exchsort__t35_exchsort
2025-09-08 14:31
32K
exchsort__t35_exchsort.vout
2025-09-15 17:47
2.0K
exchsort__t36_exchsort
2025-09-08 14:32
32K
exchsort__t36_exchsort.vout
2025-09-15 19:10
2.0K
exchsort__t37_exchsort
2025-09-08 14:34
52K
exchsort__t37_exchsort.vout
2025-09-15 17:56
7.3K
exchsort__t38_exchsort
2025-09-08 14:36
52K
exchsort__t38_exchsort.vout
2025-09-15 19:22
7.3K
exchsort__t39_exchsort
2025-09-08 14:38
57K
exchsort__t39_exchsort.vout
2025-09-15 16:57
6.3K
exchsort__t40_exchsort
2025-09-08 14:40
52K
exchsort__t40_exchsort.vout
2025-09-15 18:49
7.3K
exchsort__t41_exchsort
2025-09-08 14:42
51K
exchsort__t41_exchsort.vout
2025-09-15 15:44
6.8K
exchsort__t42_exchsort
2025-09-08 14:44
59K
exchsort__t42_exchsort.vout
2025-09-15 15:03
7.3K
exchsort__t43_exchsort
2025-09-08 14:45
55K
exchsort__t43_exchsort.vout
2025-09-15 16:10
7.3K
exchsort__t44_exchsort
2025-09-08 14:47
34K
exchsort__t44_exchsort.vout
2025-09-15 14:39
2.0K
exchsort__t45_exchsort
2025-09-08 14:49
32K
exchsort__t45_exchsort.depv1
2025-09-15 19:47
125
exchsort__t45_exchsort.depvmin1
2025-09-15 19:51
125
exchsort__t45_exchsort.vmin1
2025-09-15 19:47
1.7K
exchsort__t45_exchsort.vmin1out
2025-09-15 19:51
20K
exchsort__t45_exchsort.vout
2025-09-15 17:26
19K
exchsort__t46_exchsort
2025-09-08 14:51
36K
exchsort__t46_exchsort.depv1
2025-09-15 19:47
249
exchsort__t46_exchsort.depvmin1
2025-09-15 19:51
140
exchsort__t46_exchsort.vmin1
2025-09-15 19:47
2.9K
exchsort__t46_exchsort.vmin1out
2025-09-15 19:48
41K
exchsort__t46_exchsort.vout
2025-09-15 13:27
66K
exchsort__t47_exchsort
2025-09-08 14:53
50K
exchsort__t47_exchsort.vout
2025-09-15 13:26
4.2K
exchsort__t48_exchsort
2025-09-08 14:55
37K
exchsort__t48_exchsort.vout
2025-09-15 14:09
7.4K
exchsort__t49_exchsort
2025-09-08 14:57
36K
exchsort__t49_exchsort.depv1
2025-09-15 19:47
49
exchsort__t49_exchsort.depvmin1
2025-09-15 19:51
49
exchsort__t49_exchsort.vmin1
2025-09-15 19:47
1.0K
exchsort__t49_exchsort.vmin1out
2025-09-15 19:48
12K
exchsort__t49_exchsort.vout
2025-09-15 14:20
20K
exchsort__t50_exchsort
2025-09-08 14:59
36K
exchsort__t50_exchsort.depv1
2025-09-15 19:47
138
exchsort__t50_exchsort.depvmin1
2025-09-15 19:51
138
exchsort__t50_exchsort.vmin1
2025-09-15 19:47
2.1K
exchsort__t50_exchsort.vmin1out
2025-09-15 19:48
39K
exchsort__t50_exchsort.vout
2025-09-15 19:23
43K
exchsort__t51_exchsort
2025-09-08 15:01
39K
exchsort__t51_exchsort.depv1
2025-09-15 19:47
177
exchsort__t51_exchsort.depvmin1
2025-09-15 19:51
177
exchsort__t51_exchsort.vmin1
2025-09-15 19:47
2.8K
exchsort__t51_exchsort.vmin1out
2025-09-15 19:49
51K
exchsort__t51_exchsort.vout
2025-09-15 13:59
57K
exchsort__t52_exchsort
2025-09-08 15:03
38K
exchsort__t52_exchsort.depv1
2025-09-15 19:47
114
exchsort__t52_exchsort.depvmin1
2025-09-15 19:51
114
exchsort__t52_exchsort.vmin1
2025-09-15 19:47
2.0K
exchsort__t52_exchsort.vmin1out
2025-09-15 19:47
29K
exchsort__t52_exchsort.vout
2025-09-15 16:37
86K
exchsort__t53_exchsort
2025-09-08 15:05
38K
exchsort__t53_exchsort.depv1
2025-09-15 19:47
294
exchsort__t53_exchsort.depvmin1
2025-09-15 19:51
231
exchsort__t53_exchsort.vmin1
2025-09-15 19:47
4.3K
exchsort__t53_exchsort.vmin1out
2025-09-15 19:48
40K
exchsort__t53_exchsort.vout
2025-09-15 19:42
112K
exchsort__t54_exchsort
2025-09-08 15:07
38K
exchsort__t54_exchsort.depv1
2025-09-15 19:47
246
exchsort__t54_exchsort.depvmin1
2025-09-15 19:51
209
exchsort__t54_exchsort.vmin1
2025-09-15 19:47
3.8K
exchsort__t54_exchsort.vmin1out
2025-09-15 19:48
39K
exchsort__t54_exchsort.vout
2025-09-15 14:35
101K
exchsort__t55_exchsort
2025-09-08 15:09
38K
exchsort__t55_exchsort.depv1
2025-09-15 19:47
197
exchsort__t55_exchsort.depvmin1
2025-09-15 19:51
177
exchsort__t55_exchsort.vmin1
2025-09-15 19:47
2.9K
exchsort__t55_exchsort.vmin1out
2025-09-15 19:49
39K
exchsort__t55_exchsort.vout
2025-09-15 19:34
55K
exchsort__t56_exchsort
2025-09-08 15:11
38K
exchsort__t56_exchsort.depv1
2025-09-15 19:47
197
exchsort__t56_exchsort.depvmin1
2025-09-15 19:51
177
exchsort__t56_exchsort.vmin1
2025-09-15 19:47
2.9K
exchsort__t56_exchsort.vmin1out
2025-09-15 19:50
40K
exchsort__t56_exchsort.vout
2025-09-15 17:45
55K
exchsort__t57_exchsort
2025-09-08 15:13
38K
exchsort__t57_exchsort.depv1
2025-09-15 19:47
147
exchsort__t57_exchsort.depvmin1
2025-09-15 19:51
147
exchsort__t57_exchsort.vmin1
2025-09-15 19:47
2.4K
exchsort__t57_exchsort.vmin1out
2025-09-15 19:49
33K
exchsort__t57_exchsort.vout
2025-09-15 17:53
58K
exchsort__t58_exchsort
2025-09-08 15:15
39K
exchsort__t58_exchsort.depv1
2025-09-15 19:47
232
exchsort__t58_exchsort.depvmin1
2025-09-15 19:51
209
exchsort__t58_exchsort.vmin1
2025-09-15 19:47
3.0K
exchsort__t58_exchsort.vmin1out
2025-09-15 19:50
54K
exchsort__t58_exchsort.vout
2025-09-15 13:37
95K
exchsort__t59_exchsort
2025-09-08 15:17
41K
exchsort__t59_exchsort.depv1
2025-09-15 19:47
110
exchsort__t59_exchsort.depvmin1
2025-09-15 19:51
110
exchsort__t59_exchsort.vmin1
2025-09-15 19:47
955
exchsort__t59_exchsort.vmin1out
2025-09-15 19:48
20K
exchsort__t59_exchsort.vout
2025-09-15 17:42
20K
exchsort__t60_exchsort
2025-09-08 15:19
48K
exchsort__t60_exchsort.vout
2025-09-15 16:47
7.3K
exchsort__t61_exchsort
2025-09-08 15:21
71K
exchsort__t61_exchsort.vout
2025-09-15 19:44
7.3K
exchsort__t62_exchsort
2025-09-08 15:24
66K
exchsort__t62_exchsort.vout
2025-09-15 17:38
4.7K
exchsort__t63_exchsort
2025-09-08 15:26
67K
exchsort__t63_exchsort.vout
2025-09-15 18:22
4.7K
exchsort__t64_exchsort
2025-09-08 15:29
69K
exchsort__t64_exchsort.vout
2025-09-15 15:29
4.7K
exchsort__t65_exchsort
2025-09-08 15:31
69K
exchsort__t65_exchsort.vout
2025-09-15 17:18
4.7K
exchsort__t66_exchsort
2025-09-08 15:33
66K
exchsort__t66_exchsort.depv1
2025-09-15 19:47
114
exchsort__t66_exchsort.depvmin1
2025-09-15 19:51
114
exchsort__t66_exchsort.vmin1
2025-09-15 19:47
1.9K
exchsort__t66_exchsort.vmin1out
2025-09-15 19:48
22K
exchsort__t66_exchsort.vout
2025-09-15 15:29
31K
exchsort__t67_exchsort
2025-09-08 15:36
67K
exchsort__t67_exchsort.vout
2025-09-15 13:49
4.7K
exchsort__t68_exchsort
2025-09-08 15:38
68K
exchsort__t68_exchsort.vout
2025-09-15 18:51
7.4K
exchsort__t69_exchsort
2025-09-08 15:40
66K
exchsort__t69_exchsort.depv1
2025-09-15 19:47
102
exchsort__t69_exchsort.depvmin1
2025-09-15 19:51
102
exchsort__t69_exchsort.vmin1
2025-09-15 19:47
1.8K
exchsort__t69_exchsort.vmin1out
2025-09-15 19:49
33K
exchsort__t69_exchsort.vout
2025-09-15 18:06
42K
exchsort__t70_exchsort
2025-09-08 15:43
68K
exchsort__t70_exchsort.vout
2025-09-15 14:54
7.4K
exchsort__t71_exchsort
2025-09-08 15:45
76K
exchsort__t71_exchsort.vout
2025-09-15 19:45
7.3K
exchsort__t72_exchsort
2025-09-08 15:48
79K
exchsort__t72_exchsort.vout
2025-09-15 13:59
3.7K
exchsort__t73_exchsort
2025-09-08 15:51
83K
exchsort__t73_exchsort.vout
2025-09-15 14:40
4.2K
exchsort__t74_exchsort
2025-09-08 15:53
47K
exchsort__t74_exchsort.depv1
2025-09-15 19:47
212
exchsort__t74_exchsort.depvmin1
2025-09-15 19:51
212
exchsort__t74_exchsort.vmin1
2025-09-15 19:47
2.5K
exchsort__t74_exchsort.vmin1out
2025-09-15 19:49
28K
exchsort__t74_exchsort.vout
2025-09-15 14:42
42K
exchsort__t75_exchsort
2025-09-08 15:55
49K
exchsort__t75_exchsort.vout
2025-09-15 15:46
7.4K
exchsort__t76_exchsort
2025-09-08 15:57
57K
exchsort__t76_exchsort.vout
2025-09-15 16:25
4.2K
exchsort__t77_exchsort
2025-09-08 16:00
56K
exchsort__t77_exchsort.vout
2025-09-15 17:35
7.3K
exchsort__t78_exchsort
2025-09-08 16:02
66K
exchsort__t78_exchsort.vout
2025-09-15 14:45
4.2K
exchsort__t79_exchsort
2025-09-08 16:04
44K
exchsort__t79_exchsort.vout
2025-09-15 17:08
7.3K
exchsort__t80_exchsort
2025-09-08 16:06
44K
exchsort__t80_exchsort.depv1
2025-09-15 19:47
223
exchsort__t80_exchsort.depvmin1
2025-09-15 19:51
223
exchsort__t80_exchsort.vmin1
2025-09-15 19:47
1.3K
exchsort__t80_exchsort.vmin1out
2025-09-15 19:48
11K
exchsort__t80_exchsort.vout
2025-09-15 14:22
12K
exchsort__t81_exchsort
2025-09-08 16:07
48K
exchsort__t81_exchsort.vout
2025-09-15 18:55
7.3K
exchsort__t82_exchsort
2025-09-08 16:09
38K
exchsort__t82_exchsort.depv1
2025-09-15 19:47
97
exchsort__t82_exchsort.depvmin1
2025-09-15 19:51
97
exchsort__t82_exchsort.vmin1
2025-09-15 19:47
1.0K
exchsort__t82_exchsort.vmin1out
2025-09-15 19:49
13K
exchsort__t82_exchsort.vout
2025-09-15 18:40
15K
exchsort__t83_exchsort
2025-09-08 16:11
44K
exchsort__t83_exchsort.vout
2025-09-15 16:51
7.4K
exchsort__t84_exchsort
2025-09-08 16:12
38K
exchsort__t84_exchsort.depv1
2025-09-15 19:47
195
exchsort__t84_exchsort.depvmin1
2025-09-15 19:51
195
exchsort__t84_exchsort.vmin1
2025-09-15 19:47
1.7K
exchsort__t84_exchsort.vmin1out
2025-09-15 19:50
20K
exchsort__t84_exchsort.vout
2025-09-15 17:10
22K
exchsort__t85_exchsort
2025-09-08 16:15
74K
exchsort__t85_exchsort.vout
2025-09-15 14:43
4.2K
exchsort__t86_exchsort
2025-09-08 16:17
39K
exchsort__t86_exchsort.vout
2025-09-15 17:57
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80