Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/taxonom1
Name
Last modified
Size
Description
Parent Directory
-
taxonom1__l11_taxonom1
2025-09-09 07:01
17K
taxonom1__l11_taxonom1.depv1
2025-09-15 19:47
70
taxonom1__l11_taxonom1.depvmin1
2025-09-15 19:52
70
taxonom1__l11_taxonom1.vmin1
2025-09-15 19:47
566
taxonom1__l11_taxonom1.vmin1out
2025-09-15 19:50
6.4K
taxonom1__l11_taxonom1.vout
2025-09-15 14:01
6.8K
taxonom1__l28_taxonom1
2025-09-09 07:03
37K
taxonom1__l28_taxonom1.vout
2025-09-15 15:00
7.3K
taxonom1__t1_taxonom1
2025-09-09 05:59
34K
taxonom1__t1_taxonom1.depv1
2025-09-15 19:47
387
taxonom1__t1_taxonom1.depvmin1
2025-09-15 19:52
297
taxonom1__t1_taxonom1.vmin1
2025-09-15 19:47
3.0K
taxonom1__t1_taxonom1.vmin1out
2025-09-15 19:50
32K
taxonom1__t1_taxonom1.vout
2025-09-15 17:38
33K
taxonom1__t2_taxonom1
2025-09-09 06:00
34K
taxonom1__t2_taxonom1.vout
2025-09-15 15:11
7.3K
taxonom1__t3_taxonom1
2025-09-09 06:01
26K
taxonom1__t3_taxonom1.depv1
2025-09-15 19:47
48
taxonom1__t3_taxonom1.depvmin1
2025-09-15 19:52
48
taxonom1__t3_taxonom1.vmin1
2025-09-15 19:47
667
taxonom1__t3_taxonom1.vmin1out
2025-09-15 19:48
8.0K
taxonom1__t3_taxonom1.vout
2025-09-15 15:11
14K
taxonom1__t4_taxonom1
2025-09-09 06:03
27K
taxonom1__t4_taxonom1.depv1
2025-09-15 19:47
49
taxonom1__t4_taxonom1.depvmin1
2025-09-15 19:52
49
taxonom1__t4_taxonom1.vmin1
2025-09-15 19:47
668
taxonom1__t4_taxonom1.vmin1out
2025-09-15 19:51
8.0K
taxonom1__t4_taxonom1.vout
2025-09-15 16:07
14K
taxonom1__t5_taxonom1
2025-09-09 06:04
42K
taxonom1__t5_taxonom1.vout
2025-09-15 15:00
7.3K
taxonom1__t6_taxonom1
2025-09-09 06:05
31K
taxonom1__t6_taxonom1.depv1
2025-09-15 19:47
77
taxonom1__t6_taxonom1.depvmin1
2025-09-15 19:52
77
taxonom1__t6_taxonom1.vmin1
2025-09-15 19:47
971
taxonom1__t6_taxonom1.vmin1out
2025-09-15 19:49
13K
taxonom1__t6_taxonom1.vout
2025-09-15 13:39
13K
taxonom1__t7_taxonom1
2025-09-09 06:07
60K
taxonom1__t7_taxonom1.vout
2025-09-15 14:47
7.3K
taxonom1__t8_taxonom1
2025-09-09 06:08
31K
taxonom1__t8_taxonom1.depv1
2025-09-15 19:47
90
taxonom1__t8_taxonom1.depvmin1
2025-09-15 19:52
90
taxonom1__t8_taxonom1.vmin1
2025-09-15 19:47
1.3K
taxonom1__t8_taxonom1.vmin1out
2025-09-15 19:50
13K
taxonom1__t8_taxonom1.vout
2025-09-15 13:30
18K
taxonom1__t9_taxonom1
2025-09-09 06:10
32K
taxonom1__t9_taxonom1.depv1
2025-09-15 19:47
175
taxonom1__t9_taxonom1.depvmin1
2025-09-15 19:52
175
taxonom1__t9_taxonom1.vmin1
2025-09-15 19:47
2.1K
taxonom1__t9_taxonom1.vmin1out
2025-09-15 19:48
22K
taxonom1__t9_taxonom1.vout
2025-09-15 16:55
26K
taxonom1__t10_taxonom1
2025-09-09 06:11
42K
taxonom1__t10_taxonom1.vout
2025-09-15 14:09
6.8K
taxonom1__t11_taxonom1
2025-09-09 06:13
35K
taxonom1__t11_taxonom1.depv1
2025-09-15 19:47
107
taxonom1__t11_taxonom1.depvmin1
2025-09-15 19:52
107
taxonom1__t11_taxonom1.vmin1
2025-09-15 19:47
921
taxonom1__t11_taxonom1.vmin1out
2025-09-15 19:50
11K
taxonom1__t11_taxonom1.vout
2025-09-15 18:53
9.7K
taxonom1__t12_taxonom1
2025-09-09 06:14
18K
taxonom1__t12_taxonom1.depv1
2025-09-15 19:47
107
taxonom1__t12_taxonom1.depvmin1
2025-09-15 19:52
107
taxonom1__t12_taxonom1.vmin1
2025-09-15 19:47
1.2K
taxonom1__t12_taxonom1.vmin1out
2025-09-15 19:47
21K
taxonom1__t12_taxonom1.vout
2025-09-15 17:08
21K
taxonom1__t13_taxonom1
2025-09-09 06:15
36K
taxonom1__t13_taxonom1.depv1
2025-09-15 19:47
131
taxonom1__t13_taxonom1.depvmin1
2025-09-15 19:52
131
taxonom1__t13_taxonom1.vmin1
2025-09-15 19:47
1.1K
taxonom1__t13_taxonom1.vmin1out
2025-09-15 19:50
19K
taxonom1__t13_taxonom1.vout
2025-09-15 15:34
16K
taxonom1__t14_taxonom1
2025-09-09 06:17
37K
taxonom1__t14_taxonom1.depv1
2025-09-15 19:47
162
taxonom1__t14_taxonom1.depvmin1
2025-09-15 19:52
95
taxonom1__t14_taxonom1.vmin1
2025-09-15 19:47
1.4K
taxonom1__t14_taxonom1.vmin1out
2025-09-15 19:51
19K
taxonom1__t14_taxonom1.vout
2025-09-15 13:31
25K
taxonom1__t15_taxonom1
2025-09-09 06:18
37K
taxonom1__t15_taxonom1.depv1
2025-09-15 19:47
132
taxonom1__t15_taxonom1.depvmin1
2025-09-15 19:52
132
taxonom1__t15_taxonom1.vmin1
2025-09-15 19:47
1.1K
taxonom1__t15_taxonom1.vmin1out
2025-09-15 19:51
13K
taxonom1__t15_taxonom1.vout
2025-09-15 16:53
13K
taxonom1__t16_taxonom1
2025-09-09 06:19
34K
taxonom1__t16_taxonom1.depv1
2025-09-15 19:47
109
taxonom1__t16_taxonom1.depvmin1
2025-09-15 19:52
109
taxonom1__t16_taxonom1.vmin1
2025-09-15 19:47
1.7K
taxonom1__t16_taxonom1.vmin1out
2025-09-15 19:47
28K
taxonom1__t16_taxonom1.vout
2025-09-15 17:42
24K
taxonom1__t17_taxonom1
2025-09-09 06:21
34K
taxonom1__t17_taxonom1.depv1
2025-09-15 19:47
109
taxonom1__t17_taxonom1.depvmin1
2025-09-15 19:52
109
taxonom1__t17_taxonom1.vmin1
2025-09-15 19:47
1.8K
taxonom1__t17_taxonom1.vmin1out
2025-09-15 19:51
37K
taxonom1__t17_taxonom1.vout
2025-09-15 13:52
32K
taxonom1__t18_taxonom1
2025-09-09 06:22
39K
taxonom1__t18_taxonom1.vout
2025-09-15 14:59
7.3K
taxonom1__t19_taxonom1
2025-09-09 06:24
34K
taxonom1__t19_taxonom1.vout
2025-09-15 14:32
7.3K
taxonom1__t20_taxonom1
2025-09-09 06:25
34K
taxonom1__t20_taxonom1.vout
2025-09-15 17:55
4.7K
taxonom1__t21_taxonom1
2025-09-09 06:26
34K
taxonom1__t21_taxonom1.depv1
2025-09-15 19:47
137
taxonom1__t21_taxonom1.depvmin1
2025-09-15 19:52
137
taxonom1__t21_taxonom1.vmin1
2025-09-15 19:47
1.6K
taxonom1__t21_taxonom1.vmin1out
2025-09-15 19:50
25K
taxonom1__t21_taxonom1.vout
2025-09-15 14:14
25K
taxonom1__t22_taxonom1
2025-09-09 06:28
40K
taxonom1__t22_taxonom1.vout
2025-09-15 15:31
7.3K
taxonom1__t23_taxonom1
2025-09-09 06:30
42K
taxonom1__t23_taxonom1.vout
2025-09-15 14:35
7.3K
taxonom1__t24_taxonom1
2025-09-09 06:31
34K
taxonom1__t24_taxonom1.vout
2025-09-15 16:28
4.7K
taxonom1__t25_taxonom1
2025-09-09 05:57
36K
taxonom1__t25_taxonom1.depv1
2025-09-15 19:47
111
taxonom1__t25_taxonom1.depvmin1
2025-09-15 19:52
87
taxonom1__t25_taxonom1.vmin1
2025-09-15 19:47
1.2K
taxonom1__t25_taxonom1.vmin1out
2025-09-15 19:48
12K
taxonom1__t25_taxonom1.vout
2025-09-15 13:26
14K
taxonom1__t26_taxonom1
2025-09-09 06:32
39K
taxonom1__t26_taxonom1.vout
2025-09-15 13:36
6.8K
taxonom1__t27_taxonom1
2025-09-09 06:34
46K
taxonom1__t27_taxonom1.vout
2025-09-15 16:34
6.8K
taxonom1__t28_taxonom1
2025-09-09 06:36
40K
taxonom1__t28_taxonom1.vout
2025-09-15 15:31
6.8K
taxonom1__t29_taxonom1
2025-09-09 06:37
34K
taxonom1__t29_taxonom1.depv1
2025-09-15 19:47
184
taxonom1__t29_taxonom1.depvmin1
2025-09-15 19:52
171
taxonom1__t29_taxonom1.vmin1
2025-09-15 19:47
2.7K
taxonom1__t29_taxonom1.vmin1out
2025-09-15 19:48
30K
taxonom1__t29_taxonom1.vout
2025-09-15 16:49
39K
taxonom1__t30_taxonom1
2025-09-09 06:39
46K
taxonom1__t30_taxonom1.vout
2025-09-15 16:21
4.1K
taxonom1__t31_taxonom1
2025-09-09 06:41
40K
taxonom1__t31_taxonom1.vout
2025-09-15 19:19
7.3K
taxonom1__t32_taxonom1
2025-09-09 06:42
36K
taxonom1__t32_taxonom1.depv1
2025-09-15 19:47
66
taxonom1__t32_taxonom1.depvmin1
2025-09-15 19:52
66
taxonom1__t32_taxonom1.vmin1
2025-09-15 19:47
1.4K
taxonom1__t32_taxonom1.vmin1out
2025-09-15 19:51
13K
taxonom1__t32_taxonom1.vout
2025-09-15 13:31
13K
taxonom1__t33_taxonom1
2025-09-09 06:44
40K
taxonom1__t33_taxonom1.vout
2025-09-15 17:39
7.3K
taxonom1__t34_taxonom1
2025-09-09 06:45
38K
taxonom1__t34_taxonom1.vout
2025-09-15 16:17
5.3K
taxonom1__t35_taxonom1
2025-09-09 06:47
39K
taxonom1__t35_taxonom1.vout
2025-09-15 16:07
7.4K
taxonom1__t36_taxonom1
2025-09-09 06:49
46K
taxonom1__t36_taxonom1.vout
2025-09-15 15:24
4.7K
taxonom1__t37_taxonom1
2025-09-09 06:50
36K
taxonom1__t37_taxonom1.vout
2025-09-15 16:45
7.3K
taxonom1__t38_taxonom1
2025-09-09 06:52
34K
taxonom1__t38_taxonom1.depv1
2025-09-15 19:47
237
taxonom1__t38_taxonom1.depvmin1
2025-09-15 19:52
213
taxonom1__t38_taxonom1.vmin1
2025-09-15 19:47
2.4K
taxonom1__t38_taxonom1.vmin1out
2025-09-15 19:50
23K
taxonom1__t38_taxonom1.vout
2025-09-15 15:01
34K
taxonom1__t39_taxonom1
2025-09-09 06:53
34K
taxonom1__t39_taxonom1.depv1
2025-09-15 19:47
180
taxonom1__t39_taxonom1.depvmin1
2025-09-15 19:52
157
taxonom1__t39_taxonom1.vmin1
2025-09-15 19:47
2.2K
taxonom1__t39_taxonom1.vmin1out
2025-09-15 19:48
17K
taxonom1__t39_taxonom1.vout
2025-09-15 19:35
19K
taxonom1__t40_taxonom1
2025-09-09 06:55
36K
taxonom1__t40_taxonom1.depv1
2025-09-15 19:47
144
taxonom1__t40_taxonom1.depvmin1
2025-09-15 19:52
144
taxonom1__t40_taxonom1.vmin1
2025-09-15 19:47
2.0K
taxonom1__t40_taxonom1.vmin1out
2025-09-15 19:50
16K
taxonom1__t40_taxonom1.vout
2025-09-15 14:37
22K
taxonom1__t41_taxonom1
2025-09-09 06:57
50K
taxonom1__t41_taxonom1.vout
2025-09-15 15:34
7.4K
taxonom1__t42_taxonom1
2025-09-09 06:58
34K
taxonom1__t42_taxonom1.depv1
2025-09-15 19:47
82
taxonom1__t42_taxonom1.depvmin1
2025-09-15 19:52
82
taxonom1__t42_taxonom1.vmin1
2025-09-15 19:47
1.1K
taxonom1__t42_taxonom1.vmin1out
2025-09-15 19:50
8.1K
taxonom1__t42_taxonom1.vout
2025-09-15 18:55
8.8K
taxonom1__t43_taxonom1
2025-09-09 07:00
52K
taxonom1__t43_taxonom1.vout
2025-09-15 15:40
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80