Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/altcat_2
Name
Last modified
Size
Description
Parent Directory
-
altcat_2__l28_altcat_2
2025-09-08 00:40
13K
altcat_2__l28_altcat_2.depv1
2025-09-15 19:47
220
altcat_2__l28_altcat_2.depvmin1
2025-09-15 19:52
197
altcat_2__l28_altcat_2.vmin1
2025-09-15 19:47
3.0K
altcat_2__l28_altcat_2.vmin1out
2025-09-15 19:49
84K
altcat_2__l28_altcat_2.vout
2025-09-15 13:25
45K
altcat_2__t1_altcat_2
2025-09-08 00:09
18K
altcat_2__t1_altcat_2.vout
2025-09-15 16:07
6.8K
altcat_2__t2_altcat_2
2025-09-08 00:10
7.9K
altcat_2__t2_altcat_2.vout
2025-09-15 14:30
7.3K
altcat_2__t3_altcat_2
2025-09-08 00:11
14K
altcat_2__t3_altcat_2.vout
2025-09-15 15:22
7.3K
altcat_2__t4_altcat_2
2025-09-08 00:12
20K
altcat_2__t4_altcat_2.vout
2025-09-15 17:42
7.3K
altcat_2__t5_altcat_2
2025-09-08 00:12
17K
altcat_2__t5_altcat_2.vout
2025-09-15 17:24
7.3K
altcat_2__t6_altcat_2
2025-09-08 00:13
15K
altcat_2__t6_altcat_2.depv1
2025-09-15 19:47
161
altcat_2__t6_altcat_2.depvmin1
2025-09-15 19:52
161
altcat_2__t6_altcat_2.vmin1
2025-09-15 19:47
1.9K
altcat_2__t6_altcat_2.vmin1out
2025-09-15 19:50
32K
altcat_2__t6_altcat_2.vout
2025-09-15 13:34
24K
altcat_2__t7_altcat_2
2025-09-08 00:14
11K
altcat_2__t7_altcat_2.depv1
2025-09-15 19:47
70
altcat_2__t7_altcat_2.depvmin1
2025-09-15 19:52
70
altcat_2__t7_altcat_2.vmin1
2025-09-15 19:47
1.2K
altcat_2__t7_altcat_2.vmin1out
2025-09-15 19:48
15K
altcat_2__t7_altcat_2.vout
2025-09-15 18:42
29K
altcat_2__t8_altcat_2
2025-09-08 00:14
11K
altcat_2__t8_altcat_2.vout
2025-09-15 16:28
7.3K
altcat_2__t9_altcat_2
2025-09-08 00:08
11K
altcat_2__t9_altcat_2.depv1
2025-09-15 19:47
79
altcat_2__t9_altcat_2.depvmin1
2025-09-15 19:52
79
altcat_2__t9_altcat_2.vmin1
2025-09-15 19:47
1.2K
altcat_2__t9_altcat_2.vmin1out
2025-09-15 19:48
29K
altcat_2__t9_altcat_2.vout
2025-09-15 17:49
18K
altcat_2__t10_altcat_2
2025-09-08 00:15
18K
altcat_2__t10_altcat_2.vout
2025-09-15 14:38
7.4K
altcat_2__t11_altcat_2
2025-09-08 00:17
20K
altcat_2__t11_altcat_2.vout
2025-09-15 15:08
7.3K
altcat_2__t12_altcat_2
2025-09-08 00:17
19K
altcat_2__t12_altcat_2.depv1
2025-09-15 19:47
50
altcat_2__t12_altcat_2.depvmin1
2025-09-15 19:52
50
altcat_2__t12_altcat_2.vmin1
2025-09-15 19:47
1.4K
altcat_2__t12_altcat_2.vmin1out
2025-09-15 19:49
23K
altcat_2__t12_altcat_2.vout
2025-09-15 16:08
23K
altcat_2__t13_altcat_2
2025-09-08 00:19
29K
altcat_2__t13_altcat_2.vout
2025-09-15 15:09
7.3K
altcat_2__t14_altcat_2
2025-09-08 00:20
25K
altcat_2__t14_altcat_2.vout
2025-09-15 15:24
7.3K
altcat_2__t15_altcat_2
2025-09-08 00:21
26K
altcat_2__t15_altcat_2.vout
2025-09-15 19:45
7.3K
altcat_2__t16_altcat_2
2025-09-08 00:22
16K
altcat_2__t16_altcat_2.depv1
2025-09-15 19:47
138
altcat_2__t16_altcat_2.depvmin1
2025-09-15 19:52
138
altcat_2__t16_altcat_2.vmin1
2025-09-15 19:47
2.4K
altcat_2__t16_altcat_2.vmin1out
2025-09-15 19:49
22K
altcat_2__t16_altcat_2.vout
2025-09-15 14:44
30K
altcat_2__t17_altcat_2
2025-09-08 00:23
16K
altcat_2__t17_altcat_2.depv1
2025-09-15 19:47
138
altcat_2__t17_altcat_2.depvmin1
2025-09-15 19:52
138
altcat_2__t17_altcat_2.vmin1
2025-09-15 19:47
2.6K
altcat_2__t17_altcat_2.vmin1out
2025-09-15 19:51
25K
altcat_2__t17_altcat_2.vout
2025-09-15 15:18
33K
altcat_2__t18_altcat_2
2025-09-08 00:25
24K
altcat_2__t18_altcat_2.vout
2025-09-15 19:03
4.1K
altcat_2__t19_altcat_2
2025-09-08 00:09
13K
altcat_2__t19_altcat_2.depv1
2025-09-15 19:47
97
altcat_2__t19_altcat_2.depvmin1
2025-09-15 19:52
97
altcat_2__t19_altcat_2.vmin1
2025-09-15 19:47
766
altcat_2__t19_altcat_2.vmin1out
2025-09-15 19:50
6.0K
altcat_2__t19_altcat_2.vout
2025-09-15 15:43
5.7K
altcat_2__t20_altcat_2
2025-09-08 00:25
16K
altcat_2__t20_altcat_2.depv1
2025-09-15 19:47
197
altcat_2__t20_altcat_2.depvmin1
2025-09-15 19:52
148
altcat_2__t20_altcat_2.vmin1
2025-09-15 19:47
3.2K
altcat_2__t20_altcat_2.vmin1out
2025-09-15 19:50
75K
altcat_2__t20_altcat_2.vout
2025-09-15 19:11
53K
altcat_2__t21_altcat_2
2025-09-08 00:26
16K
altcat_2__t21_altcat_2.depv1
2025-09-15 19:47
136
altcat_2__t21_altcat_2.depvmin1
2025-09-15 19:52
136
altcat_2__t21_altcat_2.vmin1
2025-09-15 19:47
3.0K
altcat_2__t21_altcat_2.vmin1out
2025-09-15 19:47
114K
altcat_2__t21_altcat_2.vout
2025-09-15 17:37
120K
altcat_2__t22_altcat_2
2025-09-08 00:27
21K
altcat_2__t22_altcat_2.depv1
2025-09-15 19:47
139
altcat_2__t22_altcat_2.depvmin1
2025-09-15 19:52
139
altcat_2__t22_altcat_2.vmin1
2025-09-15 19:47
2.9K
altcat_2__t22_altcat_2.vmin1out
2025-09-15 19:47
28K
altcat_2__t22_altcat_2.vout
2025-09-15 15:46
77K
altcat_2__t23_altcat_2
2025-09-08 00:28
26K
altcat_2__t23_altcat_2.depv1
2025-09-15 19:47
165
altcat_2__t23_altcat_2.depvmin1
2025-09-15 19:52
165
altcat_2__t23_altcat_2.vmin1
2025-09-15 19:47
1.7K
altcat_2__t23_altcat_2.vmin1out
2025-09-15 19:48
15K
altcat_2__t23_altcat_2.vout
2025-09-15 18:12
20K
altcat_2__t24_altcat_2
2025-09-08 00:30
25K
altcat_2__t24_altcat_2.vout
2025-09-15 17:47
7.4K
altcat_2__t25_altcat_2
2025-09-08 00:31
22K
altcat_2__t25_altcat_2.depv1
2025-09-15 19:47
208
altcat_2__t25_altcat_2.depvmin1
2025-09-15 19:52
208
altcat_2__t25_altcat_2.vmin1
2025-09-15 19:47
2.8K
altcat_2__t25_altcat_2.vmin1out
2025-09-15 19:48
45K
altcat_2__t25_altcat_2.vout
2025-09-15 18:51
46K
altcat_2__t26_altcat_2
2025-09-08 00:32
21K
altcat_2__t26_altcat_2.depv1
2025-09-15 19:47
118
altcat_2__t26_altcat_2.depvmin1
2025-09-15 19:52
118
altcat_2__t26_altcat_2.vmin1
2025-09-15 19:47
2.1K
altcat_2__t26_altcat_2.vmin1out
2025-09-15 19:49
31K
altcat_2__t26_altcat_2.vout
2025-09-15 16:06
41K
altcat_2__t27_altcat_2
2025-09-08 00:33
16K
altcat_2__t27_altcat_2.depv1
2025-09-15 19:47
93
altcat_2__t27_altcat_2.depvmin1
2025-09-15 19:52
93
altcat_2__t27_altcat_2.vmin1
2025-09-15 19:47
1.4K
altcat_2__t27_altcat_2.vmin1out
2025-09-15 19:50
15K
altcat_2__t27_altcat_2.vout
2025-09-15 13:59
15K
altcat_2__t28_altcat_2
2025-09-08 00:33
13K
altcat_2__t28_altcat_2.vout
2025-09-15 15:36
2.0K
altcat_2__t29_altcat_2
2025-09-08 00:34
19K
altcat_2__t29_altcat_2.depv1
2025-09-15 19:47
114
altcat_2__t29_altcat_2.depvmin1
2025-09-15 19:52
114
altcat_2__t29_altcat_2.vmin1
2025-09-15 19:47
1.4K
altcat_2__t29_altcat_2.vmin1out
2025-09-15 19:50
12K
altcat_2__t29_altcat_2.vout
2025-09-15 16:21
15K
altcat_2__t30_altcat_2
2025-09-08 00:35
16K
altcat_2__t30_altcat_2.depv1
2025-09-15 19:47
52
altcat_2__t30_altcat_2.depvmin1
2025-09-15 19:52
52
altcat_2__t30_altcat_2.vmin1
2025-09-15 19:47
1.3K
altcat_2__t30_altcat_2.vmin1out
2025-09-15 19:50
16K
altcat_2__t30_altcat_2.vout
2025-09-15 15:52
15K
altcat_2__t31_altcat_2
2025-09-08 00:36
20K
altcat_2__t31_altcat_2.vout
2025-09-15 16:09
7.4K
altcat_2__t32_altcat_2
2025-09-08 00:38
26K
altcat_2__t32_altcat_2.vout
2025-09-15 17:05
6.8K
altcat_2__t33_altcat_2
2025-09-08 00:38
16K
altcat_2__t33_altcat_2.depv1
2025-09-15 19:47
65
altcat_2__t33_altcat_2.depvmin1
2025-09-15 19:52
65
altcat_2__t33_altcat_2.vmin1
2025-09-15 19:47
1.3K
altcat_2__t33_altcat_2.vmin1out
2025-09-15 19:49
24K
altcat_2__t33_altcat_2.vout
2025-09-15 17:45
24K
altcat_2__t34_altcat_2
2025-09-08 00:39
21K
altcat_2__t34_altcat_2.vout
2025-09-15 13:37
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80