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