Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rlvect_4
Name
Last modified
Size
Description
Parent Directory
-
rlvect_4__l1_rlvect_4
2024-07-27 11:10
18K
rlvect_4__l1_rlvect_4.vout
2024-08-03 06:07
7.3K
rlvect_4__l2_rlvect_4
2024-07-27 11:11
19K
rlvect_4__l2_rlvect_4.vout
2024-08-03 05:32
6.8K
rlvect_4__l3_rlvect_4
2024-07-27 11:13
19K
rlvect_4__l3_rlvect_4.vout
2024-08-03 06:04
6.8K
rlvect_4__l10_rlvect_4
2024-07-27 10:22
5.1K
rlvect_4__l10_rlvect_4.depv1
2024-08-03 10:19
106
rlvect_4__l10_rlvect_4.depvmin1
2024-08-03 10:24
106
rlvect_4__l10_rlvect_4.vmin1
2024-08-03 10:19
520
rlvect_4__l10_rlvect_4.vmin1out
2024-08-03 10:20
4.0K
rlvect_4__l10_rlvect_4.vout
2024-08-03 05:04
4.2K
rlvect_4__t1_rlvect_4
2024-07-27 10:23
11K
rlvect_4__t1_rlvect_4.depv1
2024-08-03 10:19
188
rlvect_4__t1_rlvect_4.depvmin1
2024-08-03 10:24
173
rlvect_4__t1_rlvect_4.vmin1
2024-08-03 10:19
3.0K
rlvect_4__t1_rlvect_4.vmin1out
2024-08-03 10:20
53K
rlvect_4__t1_rlvect_4.vout
2024-08-03 04:08
53K
rlvect_4__t2_rlvect_4
2024-07-27 10:24
9.4K
rlvect_4__t2_rlvect_4.depv1
2024-08-03 10:19
66
rlvect_4__t2_rlvect_4.depvmin1
2024-08-03 10:24
66
rlvect_4__t2_rlvect_4.vmin1
2024-08-03 10:19
1.4K
rlvect_4__t2_rlvect_4.vmin1out
2024-08-03 10:21
13K
rlvect_4__t2_rlvect_4.vout
2024-08-03 05:36
11K
rlvect_4__t3_rlvect_4
2024-07-27 10:25
15K
rlvect_4__t3_rlvect_4.depv1
2024-08-03 10:19
38
rlvect_4__t3_rlvect_4.depvmin1
2024-08-03 10:24
38
rlvect_4__t3_rlvect_4.vmin1
2024-08-03 10:19
1.2K
rlvect_4__t3_rlvect_4.vmin1out
2024-08-03 10:22
16K
rlvect_4__t3_rlvect_4.vout
2024-08-03 08:53
13K
rlvect_4__t4_rlvect_4
2024-07-27 10:26
13K
rlvect_4__t4_rlvect_4.depv1
2024-08-03 10:19
194
rlvect_4__t4_rlvect_4.depvmin1
2024-08-03 10:24
137
rlvect_4__t4_rlvect_4.vmin1
2024-08-03 10:19
2.9K
rlvect_4__t4_rlvect_4.vmin1out
2024-08-03 10:22
65K
rlvect_4__t4_rlvect_4.vout
2024-08-03 07:26
57K
rlvect_4__t5_rlvect_4
2024-07-27 10:27
13K
rlvect_4__t5_rlvect_4.depv1
2024-08-03 10:19
49
rlvect_4__t5_rlvect_4.depvmin1
2024-08-03 10:24
49
rlvect_4__t5_rlvect_4.vmin1
2024-08-03 10:19
1.7K
rlvect_4__t5_rlvect_4.vmin1out
2024-08-03 10:20
32K
rlvect_4__t5_rlvect_4.vout
2024-08-03 05:39
33K
rlvect_4__t6_rlvect_4
2024-07-27 10:29
34K
rlvect_4__t6_rlvect_4.vout
2024-08-03 06:52
7.3K
rlvect_4__t7_rlvect_4
2024-07-27 10:30
25K
rlvect_4__t7_rlvect_4.vout
2024-08-03 06:43
7.3K
rlvect_4__t8_rlvect_4
2024-07-27 10:32
23K
rlvect_4__t8_rlvect_4.vout
2024-08-03 09:39
7.3K
rlvect_4__t9_rlvect_4
2024-07-27 10:33
16K
rlvect_4__t9_rlvect_4.depv1
2024-08-03 10:19
152
rlvect_4__t9_rlvect_4.depvmin1
2024-08-03 10:24
133
rlvect_4__t9_rlvect_4.vmin1
2024-08-03 10:19
1.7K
rlvect_4__t9_rlvect_4.vmin1out
2024-08-03 10:23
14K
rlvect_4__t9_rlvect_4.vout
2024-08-03 09:14
17K
rlvect_4__t10_rlvect_4
2024-07-27 10:34
18K
rlvect_4__t10_rlvect_4.depv1
2024-08-03 10:19
204
rlvect_4__t10_rlvect_4.depvmin1
2024-08-03 10:24
204
rlvect_4__t10_rlvect_4.vmin1
2024-08-03 10:19
3.4K
rlvect_4__t10_rlvect_4.vmin1out
2024-08-03 10:22
91K
rlvect_4__t10_rlvect_4.vout
2024-08-03 06:49
56K
rlvect_4__t11_rlvect_4
2024-07-27 10:36
27K
rlvect_4__t11_rlvect_4.vout
2024-08-03 06:27
7.4K
rlvect_4__t12_rlvect_4
2024-07-27 10:37
17K
rlvect_4__t12_rlvect_4.depv1
2024-08-03 10:19
153
rlvect_4__t12_rlvect_4.depvmin1
2024-08-03 10:24
134
rlvect_4__t12_rlvect_4.vmin1
2024-08-03 10:19
1.9K
rlvect_4__t12_rlvect_4.vmin1out
2024-08-03 10:22
18K
rlvect_4__t12_rlvect_4.vout
2024-08-03 05:16
23K
rlvect_4__t13_rlvect_4
2024-07-27 10:38
19K
rlvect_4__t13_rlvect_4.vout
2024-08-03 04:07
4.7K
rlvect_4__t14_rlvect_4
2024-07-27 10:40
29K
rlvect_4__t14_rlvect_4.vout
2024-08-03 04:43
7.3K
rlvect_4__t15_rlvect_4
2024-07-27 10:41
17K
rlvect_4__t15_rlvect_4.depv1
2024-08-03 10:19
155
rlvect_4__t15_rlvect_4.depvmin1
2024-08-03 10:24
136
rlvect_4__t15_rlvect_4.vmin1
2024-08-03 10:19
2.1K
rlvect_4__t15_rlvect_4.vmin1out
2024-08-03 10:23
43K
rlvect_4__t15_rlvect_4.vout
2024-08-03 04:44
28K
rlvect_4__t16_rlvect_4
2024-07-27 10:43
19K
rlvect_4__t16_rlvect_4.vout
2024-08-03 08:12
4.7K
rlvect_4__t17_rlvect_4
2024-07-27 10:44
35K
rlvect_4__t17_rlvect_4.vout
2024-08-03 05:41
7.3K
rlvect_4__t18_rlvect_4
2024-07-27 10:45
18K
rlvect_4__t18_rlvect_4.vout
2024-08-03 05:36
7.3K
rlvect_4__t19_rlvect_4
2024-07-27 10:46
19K
rlvect_4__t19_rlvect_4.depv1
2024-08-03 10:19
89
rlvect_4__t19_rlvect_4.depvmin1
2024-08-03 10:24
89
rlvect_4__t19_rlvect_4.vmin1
2024-08-03 10:19
2.0K
rlvect_4__t19_rlvect_4.vmin1out
2024-08-03 10:22
35K
rlvect_4__t19_rlvect_4.vout
2024-08-03 07:26
78K
rlvect_4__t20_rlvect_4
2024-07-27 10:48
16K
rlvect_4__t20_rlvect_4.vout
2024-08-03 08:24
4.7K
rlvect_4__t21_rlvect_4
2024-07-27 10:49
25K
rlvect_4__t21_rlvect_4.vout
2024-08-03 06:29
4.7K
rlvect_4__t22_rlvect_4
2024-07-27 10:50
15K
rlvect_4__t22_rlvect_4.depv1
2024-08-03 10:19
176
rlvect_4__t22_rlvect_4.depvmin1
2024-08-03 10:24
176
rlvect_4__t22_rlvect_4.vmin1
2024-08-03 10:19
2.0K
rlvect_4__t22_rlvect_4.vmin1out
2024-08-03 10:23
30K
rlvect_4__t22_rlvect_4.vout
2024-08-03 07:47
30K
rlvect_4__t23_rlvect_4
2024-07-27 10:51
34K
rlvect_4__t23_rlvect_4.vout
2024-08-03 04:51
7.3K
rlvect_4__t24_rlvect_4
2024-07-27 10:53
35K
rlvect_4__t24_rlvect_4.vout
2024-08-03 09:11
7.3K
rlvect_4__t25_rlvect_4
2024-07-27 10:54
18K
rlvect_4__t25_rlvect_4.vout
2024-08-03 09:57
7.3K
rlvect_4__t26_rlvect_4
2024-07-27 10:55
30K
rlvect_4__t26_rlvect_4.vout
2024-08-03 05:04
7.3K
rlvect_4__t27_rlvect_4
2024-07-27 10:57
19K
rlvect_4__t27_rlvect_4.depv1
2024-08-03 10:19
88
rlvect_4__t27_rlvect_4.depvmin1
2024-08-03 10:24
88
rlvect_4__t27_rlvect_4.vmin1
2024-08-03 10:19
2.2K
rlvect_4__t27_rlvect_4.vmin1out
2024-08-03 10:23
93K
rlvect_4__t27_rlvect_4.vout
2024-08-03 09:34
110K
rlvect_4__t28_rlvect_4
2024-07-27 10:58
23K
rlvect_4__t28_rlvect_4.vout
2024-08-03 06:37
7.3K
rlvect_4__t29_rlvect_4
2024-07-27 10:59
16K
rlvect_4__t29_rlvect_4.vout
2024-08-03 04:59
5.3K
rlvect_4__t30_rlvect_4
2024-07-27 11:00
16K
rlvect_4__t30_rlvect_4.vout
2024-08-03 05:57
4.7K
rlvect_4__t31_rlvect_4
2024-07-27 11:02
16K
rlvect_4__t31_rlvect_4.depv1
2024-08-03 10:19
203
rlvect_4__t31_rlvect_4.depvmin1
2024-08-03 10:24
203
rlvect_4__t31_rlvect_4.vmin1
2024-08-03 10:19
2.8K
rlvect_4__t31_rlvect_4.vmin1out
2024-08-03 10:20
47K
rlvect_4__t31_rlvect_4.vout
2024-08-03 06:55
40K
rlvect_4__t32_rlvect_4
2024-07-27 11:03
14K
rlvect_4__t32_rlvect_4.depv1
2024-08-03 10:19
77
rlvect_4__t32_rlvect_4.depvmin1
2024-08-03 10:24
77
rlvect_4__t32_rlvect_4.vmin1
2024-08-03 10:19
1.4K
rlvect_4__t32_rlvect_4.vmin1out
2024-08-03 10:20
25K
rlvect_4__t32_rlvect_4.vout
2024-08-03 05:25
15K
rlvect_4__t33_rlvect_4
2024-07-27 11:04
26K
rlvect_4__t33_rlvect_4.vout
2024-08-03 09:49
4.7K
rlvect_4__t34_rlvect_4
2024-07-27 11:06
46K
rlvect_4__t34_rlvect_4.vout
2024-08-03 09:25
4.7K
rlvect_4__t35_rlvect_4
2024-07-27 11:07
36K
rlvect_4__t35_rlvect_4.vout
2024-08-03 08:36
7.3K
rlvect_4__t36_rlvect_4
2024-07-27 11:08
27K
rlvect_4__t36_rlvect_4.vout
2024-08-03 04:28
7.3K
rlvect_4__t37_rlvect_4
2024-07-27 10:19
16K
rlvect_4__t37_rlvect_4.depv1
2024-08-03 10:19
25
rlvect_4__t37_rlvect_4.depvmin1
2024-08-03 10:24
25
rlvect_4__t37_rlvect_4.vmin1
2024-08-03 10:19
914
rlvect_4__t37_rlvect_4.vmin1out
2024-08-03 10:23
21K
rlvect_4__t37_rlvect_4.vout
2024-08-03 08:09
21K
rlvect_4__t38_rlvect_4
2024-07-27 10:20
16K
rlvect_4__t38_rlvect_4.depv1
2024-08-03 10:19
109
rlvect_4__t38_rlvect_4.depvmin1
2024-08-03 10:24
25
rlvect_4__t38_rlvect_4.vmin1
2024-08-03 10:19
1.8K
rlvect_4__t38_rlvect_4.vmin1out
2024-08-03 10:23
38K
rlvect_4__t38_rlvect_4.vout
2024-08-03 07:36
24K
rlvect_4__t39_rlvect_4
2024-07-27 10:21
16K
rlvect_4__t39_rlvect_4.depv1
2024-08-03 10:19
25
rlvect_4__t39_rlvect_4.depvmin1
2024-08-03 10:24
25
rlvect_4__t39_rlvect_4.vmin1
2024-08-03 10:19
1.6K
rlvect_4__t39_rlvect_4.vmin1out
2024-08-03 10:20
64K
rlvect_4__t39_rlvect_4.vout
2024-08-03 10:02
73K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80