Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rvsum_3
Name
Last modified
Size
Description
Parent Directory
-
rvsum_3__l28_rvsum_3
2021-07-18 06:52
62K
rvsum_3__l28_rvsum_3.vout
2021-07-25 14:35
7.3K
rvsum_3__l29_rvsum_3
2021-07-18 06:53
62K
rvsum_3__l29_rvsum_3.vout
2021-07-25 14:28
7.3K
rvsum_3__t1_rvsum_3
2021-07-18 06:32
53K
rvsum_3__t1_rvsum_3.vout
2021-07-25 14:57
2.0K
rvsum_3__t2_rvsum_3
2021-07-18 06:33
218K
rvsum_3__t2_rvsum_3.vout
2021-07-25 14:31
2.0K
rvsum_3__t3_rvsum_3
2021-07-18 06:33
50K
rvsum_3__t3_rvsum_3.vout
2021-07-25 20:43
7.3K
rvsum_3__t4_rvsum_3
2021-07-18 06:34
97K
rvsum_3__t4_rvsum_3.vout
2021-07-25 16:26
3.7K
rvsum_3__t5_rvsum_3
2021-07-18 06:34
48K
rvsum_3__t5_rvsum_3.vout
2021-07-25 20:08
2.0K
rvsum_3__t6_rvsum_3
2021-07-18 06:35
44K
rvsum_3__t6_rvsum_3.vout
2021-07-25 14:32
7.3K
rvsum_3__t7_rvsum_3
2021-07-18 06:35
51K
rvsum_3__t7_rvsum_3.vout
2021-07-25 18:50
7.3K
rvsum_3__t8_rvsum_3
2021-07-18 06:35
50K
rvsum_3__t8_rvsum_3.depv1
2021-07-25 20:57
172
rvsum_3__t8_rvsum_3.depvmin1
2021-07-25 21:03
172
rvsum_3__t8_rvsum_3.vmin1
2021-07-25 20:57
1.6K
rvsum_3__t8_rvsum_3.vmin1out
2021-07-25 21:02
19K
rvsum_3__t8_rvsum_3.vout
2021-07-25 20:42
19K
rvsum_3__t9_rvsum_3
2021-07-18 06:36
34K
rvsum_3__t9_rvsum_3.vout
2021-07-25 14:35
2.0K
rvsum_3__t10_rvsum_3
2021-07-18 06:36
38K
rvsum_3__t10_rvsum_3.depv1
2021-07-25 20:57
135
rvsum_3__t10_rvsum_3.depvmin1
2021-07-25 21:03
135
rvsum_3__t10_rvsum_3.vmin1
2021-07-25 20:57
1.3K
rvsum_3__t10_rvsum_3.vmin1out
2021-07-25 20:57
22K
rvsum_3__t10_rvsum_3.vout
2021-07-25 17:55
22K
rvsum_3__t11_rvsum_3
2021-07-18 06:37
34K
rvsum_3__t11_rvsum_3.vout
2021-07-25 16:15
2.0K
rvsum_3__t12_rvsum_3
2021-07-18 06:37
40K
rvsum_3__t12_rvsum_3.vout
2021-07-25 19:37
7.3K
rvsum_3__t13_rvsum_3
2021-07-18 06:37
40K
rvsum_3__t13_rvsum_3.depv1
2021-07-25 20:57
209
rvsum_3__t13_rvsum_3.depvmin1
2021-07-25 21:03
209
rvsum_3__t13_rvsum_3.vmin1
2021-07-25 20:57
2.0K
rvsum_3__t13_rvsum_3.vmin1out
2021-07-25 21:01
25K
rvsum_3__t13_rvsum_3.vout
2021-07-25 16:19
28K
rvsum_3__t14_rvsum_3
2021-07-18 06:38
33K
rvsum_3__t14_rvsum_3.depv1
2021-07-25 20:57
35
rvsum_3__t14_rvsum_3.depvmin1
2021-07-25 21:03
35
rvsum_3__t14_rvsum_3.vmin1
2021-07-25 20:57
634
rvsum_3__t14_rvsum_3.vmin1out
2021-07-25 20:58
6.8K
rvsum_3__t14_rvsum_3.vout
2021-07-25 17:15
7.5K
rvsum_3__t15_rvsum_3
2021-07-18 06:32
38K
rvsum_3__t15_rvsum_3.vout
2021-07-25 16:32
2.0K
rvsum_3__t16_rvsum_3
2021-07-18 06:38
39K
rvsum_3__t16_rvsum_3.depv1
2021-07-25 20:57
79
rvsum_3__t16_rvsum_3.depvmin1
2021-07-25 21:03
79
rvsum_3__t16_rvsum_3.vmin1
2021-07-25 20:57
822
rvsum_3__t16_rvsum_3.vmin1out
2021-07-25 20:59
15K
rvsum_3__t16_rvsum_3.vout
2021-07-25 20:35
12K
rvsum_3__t17_rvsum_3
2021-07-18 06:39
40K
rvsum_3__t17_rvsum_3.depv1
2021-07-25 20:57
79
rvsum_3__t17_rvsum_3.depvmin1
2021-07-25 21:03
79
rvsum_3__t17_rvsum_3.vmin1
2021-07-25 20:57
836
rvsum_3__t17_rvsum_3.vmin1out
2021-07-25 20:58
15K
rvsum_3__t17_rvsum_3.vout
2021-07-25 20:15
12K
rvsum_3__t18_rvsum_3
2021-07-18 06:39
40K
rvsum_3__t18_rvsum_3.depv1
2021-07-25 20:57
79
rvsum_3__t18_rvsum_3.depvmin1
2021-07-25 21:03
79
rvsum_3__t18_rvsum_3.vmin1
2021-07-25 20:57
836
rvsum_3__t18_rvsum_3.vmin1out
2021-07-25 21:01
15K
rvsum_3__t18_rvsum_3.vout
2021-07-25 16:46
12K
rvsum_3__t19_rvsum_3
2021-07-18 06:39
45K
rvsum_3__t19_rvsum_3.vout
2021-07-25 14:29
4.2K
rvsum_3__t20_rvsum_3
2021-07-18 06:40
45K
rvsum_3__t20_rvsum_3.depv1
2021-07-25 20:57
171
rvsum_3__t20_rvsum_3.depvmin1
2021-07-25 21:03
171
rvsum_3__t20_rvsum_3.vmin1
2021-07-25 20:57
1.9K
rvsum_3__t20_rvsum_3.vmin1out
2021-07-25 21:02
21K
rvsum_3__t20_rvsum_3.vout
2021-07-25 18:59
29K
rvsum_3__t21_rvsum_3
2021-07-18 06:40
65K
rvsum_3__t21_rvsum_3.vout
2021-07-25 16:28
5.3K
rvsum_3__t22_rvsum_3
2021-07-18 06:41
35K
rvsum_3__t22_rvsum_3.depv1
2021-07-25 20:57
74
rvsum_3__t22_rvsum_3.depvmin1
2021-07-25 21:03
74
rvsum_3__t22_rvsum_3.vmin1
2021-07-25 20:57
936
rvsum_3__t22_rvsum_3.vmin1out
2021-07-25 21:01
10K
rvsum_3__t22_rvsum_3.vout
2021-07-25 18:57
11K
rvsum_3__t23_rvsum_3
2021-07-18 06:41
59K
rvsum_3__t23_rvsum_3.vout
2021-07-25 15:25
7.3K
rvsum_3__t24_rvsum_3
2021-07-18 06:42
84K
rvsum_3__t24_rvsum_3.vout
2021-07-25 20:05
7.3K
rvsum_3__t25_rvsum_3
2021-07-18 06:42
79K
rvsum_3__t25_rvsum_3.vout
2021-07-25 19:54
7.3K
rvsum_3__t26_rvsum_3
2021-07-18 06:43
47K
rvsum_3__t26_rvsum_3.vout
2021-07-25 18:25
7.3K
rvsum_3__t27_rvsum_3
2021-07-18 06:43
45K
rvsum_3__t27_rvsum_3.vout
2021-07-25 16:18
7.3K
rvsum_3__t28_rvsum_3
2021-07-18 06:43
49K
rvsum_3__t28_rvsum_3.vout
2021-07-25 19:41
4.7K
rvsum_3__t29_rvsum_3
2021-07-18 06:44
37K
rvsum_3__t29_rvsum_3.depv1
2021-07-25 20:57
49
rvsum_3__t29_rvsum_3.depvmin1
2021-07-25 21:03
49
rvsum_3__t29_rvsum_3.vmin1
2021-07-25 20:57
1.0K
rvsum_3__t29_rvsum_3.vmin1out
2021-07-25 21:02
15K
rvsum_3__t29_rvsum_3.vout
2021-07-25 19:33
16K
rvsum_3__t30_rvsum_3
2021-07-18 06:44
37K
rvsum_3__t30_rvsum_3.depv1
2021-07-25 20:57
109
rvsum_3__t30_rvsum_3.depvmin1
2021-07-25 21:03
109
rvsum_3__t30_rvsum_3.vmin1
2021-07-25 20:57
1.2K
rvsum_3__t30_rvsum_3.vmin1out
2021-07-25 21:01
17K
rvsum_3__t30_rvsum_3.vout
2021-07-25 18:29
16K
rvsum_3__t31_rvsum_3
2021-07-18 06:45
37K
rvsum_3__t31_rvsum_3.depv1
2021-07-25 20:57
109
rvsum_3__t31_rvsum_3.depvmin1
2021-07-25 21:03
109
rvsum_3__t31_rvsum_3.vmin1
2021-07-25 20:57
1.3K
rvsum_3__t31_rvsum_3.vmin1out
2021-07-25 20:59
17K
rvsum_3__t31_rvsum_3.vout
2021-07-25 18:12
16K
rvsum_3__t32_rvsum_3
2021-07-18 06:45
55K
rvsum_3__t32_rvsum_3.vout
2021-07-25 15:04
3.7K
rvsum_3__t33_rvsum_3
2021-07-18 06:45
33K
rvsum_3__t33_rvsum_3.vout
2021-07-25 20:28
2.0K
rvsum_3__t34_rvsum_3
2021-07-18 06:46
44K
rvsum_3__t34_rvsum_3.vout
2021-07-25 15:05
6.8K
rvsum_3__t35_rvsum_3
2021-07-18 06:46
66K
rvsum_3__t35_rvsum_3.vout
2021-07-25 14:43
4.7K
rvsum_3__t36_rvsum_3
2021-07-18 06:47
66K
rvsum_3__t36_rvsum_3.vout
2021-07-25 18:21
4.7K
rvsum_3__t37_rvsum_3
2021-07-18 06:47
70K
rvsum_3__t37_rvsum_3.vout
2021-07-25 18:35
4.7K
rvsum_3__t38_rvsum_3
2021-07-18 06:52
43K
rvsum_3__t38_rvsum_3.vout
2021-07-25 20:48
7.3K
rvsum_3__t39_rvsum_3
2021-07-18 06:48
43K
rvsum_3__t39_rvsum_3.depv1
2021-07-25 20:57
180
rvsum_3__t39_rvsum_3.depvmin1
2021-07-25 21:03
180
rvsum_3__t39_rvsum_3.vmin1
2021-07-25 20:57
2.1K
rvsum_3__t39_rvsum_3.vmin1out
2021-07-25 20:59
29K
rvsum_3__t39_rvsum_3.vout
2021-07-25 18:01
37K
rvsum_3__t40_rvsum_3
2021-07-18 06:48
72K
rvsum_3__t40_rvsum_3.vout
2021-07-25 14:33
7.3K
rvsum_3__t41_rvsum_3
2021-07-18 06:49
72K
rvsum_3__t41_rvsum_3.vout
2021-07-25 19:56
7.3K
rvsum_3__t42_rvsum_3
2021-07-18 06:49
52K
rvsum_3__t42_rvsum_3.depv1
2021-07-25 20:57
111
rvsum_3__t42_rvsum_3.depvmin1
2021-07-25 21:03
75
rvsum_3__t42_rvsum_3.vmin1
2021-07-25 20:57
1.8K
rvsum_3__t42_rvsum_3.vmin1out
2021-07-25 21:02
68K
rvsum_3__t42_rvsum_3.vout
2021-07-25 17:04
25K
rvsum_3__t43_rvsum_3
2021-07-18 06:50
67K
rvsum_3__t43_rvsum_3.vout
2021-07-25 16:05
7.3K
rvsum_3__t44_rvsum_3
2021-07-18 06:50
61K
rvsum_3__t44_rvsum_3.vout
2021-07-25 15:33
7.3K
rvsum_3__t45_rvsum_3
2021-07-18 06:50
62K
rvsum_3__t45_rvsum_3.vout
2021-07-25 20:43
7.3K
rvsum_3__t46_rvsum_3
2021-07-18 06:51
48K
rvsum_3__t46_rvsum_3.vout
2021-07-25 17:43
7.3K
rvsum_3__t47_rvsum_3
2021-07-18 06:51
45K
rvsum_3__t47_rvsum_3.depv1
2021-07-25 20:57
135
rvsum_3__t47_rvsum_3.depvmin1
2021-07-25 21:03
135
rvsum_3__t47_rvsum_3.vmin1
2021-07-25 20:57
1.7K
rvsum_3__t47_rvsum_3.vmin1out
2021-07-25 21:02
44K
rvsum_3__t47_rvsum_3.vout
2021-07-25 18:59
30K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80