Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/grcat_1
Name
Last modified
Size
Description
Parent Directory
-
grcat_1__l67_grcat_1
2024-07-27 06:39
29K
grcat_1__l67_grcat_1.vout
2024-08-03 04:46
4.7K
grcat_1__l68_grcat_1
2024-07-27 06:41
40K
grcat_1__l68_grcat_1.vout
2024-08-03 09:57
6.8K
grcat_1__t1_grcat_1
2024-07-27 05:58
3.0K
grcat_1__t1_grcat_1.depv1
2024-08-03 10:19
81
grcat_1__t1_grcat_1.depvmin1
2024-08-03 10:24
81
grcat_1__t1_grcat_1.vmin1
2024-08-03 10:19
1.0K
grcat_1__t1_grcat_1.vmin1out
2024-08-03 10:23
12K
grcat_1__t1_grcat_1.vout
2024-08-03 06:36
12K
grcat_1__t2_grcat_1
2024-07-27 05:58
5.6K
grcat_1__t2_grcat_1.depv1
2024-08-03 10:19
205
grcat_1__t2_grcat_1.depvmin1
2024-08-03 10:24
183
grcat_1__t2_grcat_1.vmin1
2024-08-03 10:19
1.8K
grcat_1__t2_grcat_1.vmin1out
2024-08-03 10:22
14K
grcat_1__t2_grcat_1.vout
2024-08-03 05:34
17K
grcat_1__t3_grcat_1
2024-07-27 05:59
7.5K
grcat_1__t3_grcat_1.depv1
2024-08-03 10:19
277
grcat_1__t3_grcat_1.depvmin1
2024-08-03 10:24
200
grcat_1__t3_grcat_1.vmin1
2024-08-03 10:19
2.9K
grcat_1__t3_grcat_1.vmin1out
2024-08-03 10:21
28K
grcat_1__t3_grcat_1.vout
2024-08-03 09:48
29K
grcat_1__t4_grcat_1
2024-07-27 05:52
17K
grcat_1__t4_grcat_1.depv1
2024-08-03 10:19
385
grcat_1__t4_grcat_1.depvmin1
2024-08-03 10:24
333
grcat_1__t4_grcat_1.vmin1
2024-08-03 10:19
3.3K
grcat_1__t4_grcat_1.vmin1out
2024-08-03 10:20
40K
grcat_1__t4_grcat_1.vout
2024-08-03 05:30
63K
grcat_1__t5_grcat_1
2024-07-27 05:53
20K
grcat_1__t5_grcat_1.depv1
2024-08-03 10:19
176
grcat_1__t5_grcat_1.depvmin1
2024-08-03 10:24
176
grcat_1__t5_grcat_1.vmin1
2024-08-03 10:19
4.2K
grcat_1__t5_grcat_1.vmin1out
2024-08-03 10:22
24K
grcat_1__t5_grcat_1.vout
2024-08-03 09:10
42K
grcat_1__t6_grcat_1
2024-07-27 06:00
21K
grcat_1__t6_grcat_1.vout
2024-08-03 08:15
8.8K
grcat_1__t7_grcat_1
2024-07-27 06:01
11K
grcat_1__t7_grcat_1.vout
2024-08-03 10:01
2.0K
grcat_1__t8_grcat_1
2024-07-27 05:54
14K
grcat_1__t8_grcat_1.depv1
2024-08-03 10:19
166
grcat_1__t8_grcat_1.depvmin1
2024-08-03 10:24
166
grcat_1__t8_grcat_1.vmin1
2024-08-03 10:19
2.7K
grcat_1__t8_grcat_1.vmin1out
2024-08-03 10:20
57K
grcat_1__t8_grcat_1.vout
2024-08-03 07:57
41K
grcat_1__t9_grcat_1
2024-07-27 06:02
12K
grcat_1__t9_grcat_1.depv1
2024-08-03 10:19
58
grcat_1__t9_grcat_1.depvmin1
2024-08-03 10:24
58
grcat_1__t9_grcat_1.vmin1
2024-08-03 10:19
540
grcat_1__t9_grcat_1.vmin1out
2024-08-03 10:22
4.9K
grcat_1__t9_grcat_1.vout
2024-08-03 07:42
5.0K
grcat_1__t10_grcat_1
2024-07-27 06:03
14K
grcat_1__t10_grcat_1.depv1
2024-08-03 10:19
36
grcat_1__t10_grcat_1.depvmin1
2024-08-03 10:24
36
grcat_1__t10_grcat_1.vmin1
2024-08-03 10:19
1.0K
grcat_1__t10_grcat_1.vmin1out
2024-08-03 10:21
25K
grcat_1__t10_grcat_1.vout
2024-08-03 07:56
16K
grcat_1__t11_grcat_1
2024-07-27 06:04
15K
grcat_1__t11_grcat_1.depv1
2024-08-03 10:19
141
grcat_1__t11_grcat_1.depvmin1
2024-08-03 10:24
141
grcat_1__t11_grcat_1.vmin1
2024-08-03 10:19
2.8K
grcat_1__t11_grcat_1.vmin1out
2024-08-03 10:20
42K
grcat_1__t11_grcat_1.vout
2024-08-03 06:35
33K
grcat_1__t12_grcat_1
2024-07-27 06:05
14K
grcat_1__t12_grcat_1.depv1
2024-08-03 10:19
86
grcat_1__t12_grcat_1.depvmin1
2024-08-03 10:24
86
grcat_1__t12_grcat_1.vmin1
2024-08-03 10:19
1.9K
grcat_1__t12_grcat_1.vmin1out
2024-08-03 10:21
39K
grcat_1__t12_grcat_1.vout
2024-08-03 07:26
18K
grcat_1__t13_grcat_1
2024-07-27 06:06
13K
grcat_1__t13_grcat_1.depv1
2024-08-03 10:19
62
grcat_1__t13_grcat_1.depvmin1
2024-08-03 10:24
62
grcat_1__t13_grcat_1.vmin1
2024-08-03 10:19
1.6K
grcat_1__t13_grcat_1.vmin1out
2024-08-03 10:20
38K
grcat_1__t13_grcat_1.vout
2024-08-03 09:56
25K
grcat_1__t14_grcat_1
2024-07-27 06:07
6.8K
grcat_1__t14_grcat_1.depv1
2024-08-03 10:19
63
grcat_1__t14_grcat_1.depvmin1
2024-08-03 10:24
63
grcat_1__t14_grcat_1.vmin1
2024-08-03 10:19
1.3K
grcat_1__t14_grcat_1.vmin1out
2024-08-03 10:20
17K
grcat_1__t14_grcat_1.vout
2024-08-03 09:26
17K
grcat_1__t15_grcat_1
2024-07-27 06:08
14K
grcat_1__t15_grcat_1.depv1
2024-08-03 10:19
60
grcat_1__t15_grcat_1.depvmin1
2024-08-03 10:24
60
grcat_1__t15_grcat_1.vmin1
2024-08-03 10:19
1.6K
grcat_1__t15_grcat_1.vmin1out
2024-08-03 10:22
35K
grcat_1__t15_grcat_1.vout
2024-08-03 05:23
20K
grcat_1__t16_grcat_1
2024-07-27 06:08
7.4K
grcat_1__t16_grcat_1.depv1
2024-08-03 10:19
75
grcat_1__t16_grcat_1.depvmin1
2024-08-03 10:24
75
grcat_1__t16_grcat_1.vmin1
2024-08-03 10:19
1.6K
grcat_1__t16_grcat_1.vmin1out
2024-08-03 10:22
38K
grcat_1__t16_grcat_1.vout
2024-08-03 05:50
39K
grcat_1__t17_grcat_1
2024-07-27 06:10
18K
grcat_1__t17_grcat_1.vout
2024-08-03 06:09
4.7K
grcat_1__t18_grcat_1
2024-07-27 06:11
18K
grcat_1__t18_grcat_1.vout
2024-08-03 05:27
4.7K
grcat_1__t19_grcat_1
2024-07-27 06:12
18K
grcat_1__t19_grcat_1.vout
2024-08-03 06:48
4.7K
grcat_1__t20_grcat_1
2024-07-27 06:13
15K
grcat_1__t20_grcat_1.depv1
2024-08-03 10:19
144
grcat_1__t20_grcat_1.depvmin1
2024-08-03 10:24
144
grcat_1__t20_grcat_1.vmin1
2024-08-03 10:19
3.1K
grcat_1__t20_grcat_1.vmin1out
2024-08-03 10:23
102K
grcat_1__t20_grcat_1.vout
2024-08-03 09:41
110K
grcat_1__t21_grcat_1
2024-07-27 06:14
17K
grcat_1__t21_grcat_1.vout
2024-08-03 08:03
4.7K
grcat_1__t22_grcat_1
2024-07-27 06:15
15K
grcat_1__t22_grcat_1.vout
2024-08-03 09:37
4.7K
grcat_1__t23_grcat_1
2024-07-27 06:16
22K
grcat_1__t23_grcat_1.vout
2024-08-03 10:15
4.7K
grcat_1__t24_grcat_1
2024-07-27 06:17
12K
grcat_1__t24_grcat_1.depv1
2024-08-03 10:19
47
grcat_1__t24_grcat_1.depvmin1
2024-08-03 10:24
47
grcat_1__t24_grcat_1.vmin1
2024-08-03 10:19
498
grcat_1__t24_grcat_1.vmin1out
2024-08-03 10:21
7.1K
grcat_1__t24_grcat_1.vout
2024-08-03 07:28
8.9K
grcat_1__t25_grcat_1
2024-07-27 06:18
14K
grcat_1__t25_grcat_1.depv1
2024-08-03 10:19
131
grcat_1__t25_grcat_1.depvmin1
2024-08-03 10:24
131
grcat_1__t25_grcat_1.vmin1
2024-08-03 10:19
2.1K
grcat_1__t25_grcat_1.vmin1out
2024-08-03 10:22
45K
grcat_1__t25_grcat_1.vout
2024-08-03 05:14
57K
grcat_1__t26_grcat_1
2024-07-27 06:19
14K
grcat_1__t26_grcat_1.depv1
2024-08-03 10:19
80
grcat_1__t26_grcat_1.depvmin1
2024-08-03 10:24
80
grcat_1__t26_grcat_1.vmin1
2024-08-03 10:19
1.1K
grcat_1__t26_grcat_1.vmin1out
2024-08-03 10:21
16K
grcat_1__t26_grcat_1.vout
2024-08-03 07:25
16K
grcat_1__t27_grcat_1
2024-07-27 06:20
15K
grcat_1__t27_grcat_1.depv1
2024-08-03 10:19
112
grcat_1__t27_grcat_1.depvmin1
2024-08-03 10:24
112
grcat_1__t27_grcat_1.vmin1
2024-08-03 10:19
1.3K
grcat_1__t27_grcat_1.vmin1out
2024-08-03 10:23
21K
grcat_1__t27_grcat_1.vout
2024-08-03 09:18
28K
grcat_1__t28_grcat_1
2024-07-27 06:21
19K
grcat_1__t28_grcat_1.depv1
2024-08-03 10:19
561
grcat_1__t28_grcat_1.depvmin1
2024-08-03 10:24
437
grcat_1__t28_grcat_1.vmin1
2024-08-03 10:19
5.3K
grcat_1__t28_grcat_1.vmin1out
2024-08-03 10:21
49K
grcat_1__t28_grcat_1.vout
2024-08-03 04:20
56K
grcat_1__t29_grcat_1
2024-07-27 06:23
17K
grcat_1__t29_grcat_1.depv1
2024-08-03 10:19
59
grcat_1__t29_grcat_1.depvmin1
2024-08-03 10:24
59
grcat_1__t29_grcat_1.vmin1
2024-08-03 10:19
582
grcat_1__t29_grcat_1.vmin1out
2024-08-03 10:20
11K
grcat_1__t29_grcat_1.vout
2024-08-03 04:36
9.0K
grcat_1__t30_grcat_1
2024-07-27 06:24
14K
grcat_1__t30_grcat_1.depv1
2024-08-03 10:19
82
grcat_1__t30_grcat_1.depvmin1
2024-08-03 10:24
82
grcat_1__t30_grcat_1.vmin1
2024-08-03 10:19
1.2K
grcat_1__t30_grcat_1.vmin1out
2024-08-03 10:20
16K
grcat_1__t30_grcat_1.vout
2024-08-03 09:23
20K
grcat_1__t31_grcat_1
2024-07-27 06:25
19K
grcat_1__t31_grcat_1.depv1
2024-08-03 10:19
171
grcat_1__t31_grcat_1.depvmin1
2024-08-03 10:24
171
grcat_1__t31_grcat_1.vmin1
2024-08-03 10:19
2.2K
grcat_1__t31_grcat_1.vmin1out
2024-08-03 10:22
62K
grcat_1__t31_grcat_1.vout
2024-08-03 10:05
35K
grcat_1__t32_grcat_1
2024-07-27 06:26
20K
grcat_1__t32_grcat_1.vout
2024-08-03 07:57
4.7K
grcat_1__t33_grcat_1
2024-07-27 06:28
27K
grcat_1__t33_grcat_1.vout
2024-08-03 08:12
5.8K
grcat_1__t34_grcat_1
2024-07-27 06:30
25K
grcat_1__t34_grcat_1.depv1
2024-08-03 10:19
374
grcat_1__t34_grcat_1.depvmin1
2024-08-03 10:24
278
grcat_1__t34_grcat_1.vmin1
2024-08-03 10:19
4.9K
grcat_1__t34_grcat_1.vmin1out
2024-08-03 10:22
55K
grcat_1__t34_grcat_1.vout
2024-08-03 04:40
76K
grcat_1__t36_grcat_1
2024-07-27 06:31
29K
grcat_1__t36_grcat_1.vout
2024-08-03 04:14
4.7K
grcat_1__t37_grcat_1
2024-07-27 06:33
23K
grcat_1__t37_grcat_1.depv1
2024-08-03 10:19
350
grcat_1__t37_grcat_1.depvmin1
2024-08-03 10:24
350
grcat_1__t37_grcat_1.vmin1
2024-08-03 10:19
3.9K
grcat_1__t37_grcat_1.vmin1out
2024-08-03 10:20
45K
grcat_1__t37_grcat_1.vout
2024-08-03 05:13
42K
grcat_1__t38_grcat_1
2024-07-27 05:56
27K
grcat_1__t38_grcat_1.vout
2024-08-03 07:28
7.8K
grcat_1__t39_grcat_1
2024-07-27 05:57
28K
grcat_1__t39_grcat_1.vout
2024-08-03 06:55
7.3K
grcat_1__t40_grcat_1
2024-07-27 06:34
33K
grcat_1__t40_grcat_1.vout
2024-08-03 07:01
7.9K
grcat_1__t41_grcat_1
2024-07-27 06:35
16K
grcat_1__t41_grcat_1.depv1
2024-08-03 10:19
322
grcat_1__t41_grcat_1.depvmin1
2024-08-03 10:24
195
grcat_1__t41_grcat_1.vmin1
2024-08-03 10:19
6.0K
grcat_1__t41_grcat_1.vmin1out
2024-08-03 10:20
58K
grcat_1__t41_grcat_1.vout
2024-08-03 04:46
63K
grcat_1__t42_grcat_1
2024-07-27 06:37
34K
grcat_1__t42_grcat_1.vout
2024-08-03 08:31
7.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80