Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rvsum_4
Name
Last modified
Size
Description
Parent Directory
-
rvsum_4__t68_rvsum_4.vout
2021-07-25 18:49
7.3K
rvsum_4__t68_rvsum_4
2021-07-18 01:12
117K
rvsum_4__t67_rvsum_4.vout
2021-07-25 17:05
7.3K
rvsum_4__t67_rvsum_4
2021-07-18 01:12
132K
rvsum_4__t66_rvsum_4.vout
2021-07-25 14:56
7.3K
rvsum_4__t66_rvsum_4
2021-07-18 01:11
161K
rvsum_4__t65_rvsum_4.vout
2021-07-25 16:00
8.9K
rvsum_4__t65_rvsum_4.vmin1out
2021-07-25 20:59
8.2K
rvsum_4__t65_rvsum_4.vmin1
2021-07-25 20:57
917
rvsum_4__t65_rvsum_4.depvmin1
2021-07-25 21:03
91
rvsum_4__t65_rvsum_4.depv1
2021-07-25 20:57
91
rvsum_4__t65_rvsum_4
2021-07-18 01:10
74K
rvsum_4__t64_rvsum_4.vout
2021-07-25 18:22
7.3K
rvsum_4__t64_rvsum_4
2021-07-18 01:10
106K
rvsum_4__t63_rvsum_4.vout
2021-07-25 19:20
2.0K
rvsum_4__t63_rvsum_4
2021-07-18 00:31
74K
rvsum_4__t62_rvsum_4.vout
2021-07-25 19:06
7.3K
rvsum_4__t62_rvsum_4
2021-07-18 01:09
71K
rvsum_4__t61_rvsum_4.vout
2021-07-25 15:12
7.3K
rvsum_4__t61_rvsum_4
2021-07-18 01:08
68K
rvsum_4__t60_rvsum_4.vout
2021-07-25 18:03
7.3K
rvsum_4__t60_rvsum_4
2021-07-18 01:08
137K
rvsum_4__t59_rvsum_4.vout
2021-07-25 19:12
7.3K
rvsum_4__t59_rvsum_4
2021-07-18 01:07
116K
rvsum_4__t58_rvsum_4.vout
2021-07-25 17:40
8.9K
rvsum_4__t58_rvsum_4.vmin1out
2021-07-25 21:00
8.2K
rvsum_4__t58_rvsum_4.vmin1
2021-07-25 20:57
917
rvsum_4__t58_rvsum_4.depvmin1
2021-07-25 21:03
91
rvsum_4__t58_rvsum_4.depv1
2021-07-25 20:57
91
rvsum_4__t58_rvsum_4
2021-07-18 01:07
74K
rvsum_4__t57_rvsum_4.vout
2021-07-25 14:42
7.3K
rvsum_4__t57_rvsum_4
2021-07-18 01:06
148K
rvsum_4__t56_rvsum_4.vout
2021-07-25 17:24
6.8K
rvsum_4__t56_rvsum_4
2021-07-18 01:05
118K
rvsum_4__t55_rvsum_4.vout
2021-07-25 15:44
7.3K
rvsum_4__t55_rvsum_4
2021-07-18 01:05
141K
rvsum_4__t54_rvsum_4.vout
2021-07-25 19:48
7.3K
rvsum_4__t54_rvsum_4
2021-07-18 01:04
113K
rvsum_4__t53_rvsum_4.vout
2021-07-25 20:22
6.8K
rvsum_4__t53_rvsum_4
2021-07-18 01:03
128K
rvsum_4__t52_rvsum_4.vout
2021-07-25 17:35
7.3K
rvsum_4__t52_rvsum_4
2021-07-18 01:02
108K
rvsum_4__t51_rvsum_4.vout
2021-07-25 18:00
34K
rvsum_4__t51_rvsum_4.vmin1out
2021-07-25 20:57
31K
rvsum_4__t51_rvsum_4.vmin1
2021-07-25 20:57
3.2K
rvsum_4__t51_rvsum_4.depvmin1
2021-07-25 21:03
225
rvsum_4__t51_rvsum_4.depv1
2021-07-25 20:57
276
rvsum_4__t51_rvsum_4
2021-07-18 01:02
73K
rvsum_4__t50_rvsum_4.vout
2021-07-25 16:23
7.3K
rvsum_4__t50_rvsum_4
2021-07-18 01:01
85K
rvsum_4__t49_rvsum_4.vout
2021-07-25 16:37
7.3K
rvsum_4__t49_rvsum_4
2021-07-18 01:01
113K
rvsum_4__t48_rvsum_4.vout
2021-07-25 17:24
7.3K
rvsum_4__t48_rvsum_4
2021-07-18 01:00
115K
rvsum_4__t47_rvsum_4.vout
2021-07-25 20:28
7.3K
rvsum_4__t47_rvsum_4
2021-07-18 00:59
114K
rvsum_4__t46_rvsum_4.vout
2021-07-25 16:26
7.3K
rvsum_4__t46_rvsum_4
2021-07-18 00:58
112K
rvsum_4__t45_rvsum_4.vout
2021-07-25 17:06
6.8K
rvsum_4__t45_rvsum_4
2021-07-18 00:58
134K
rvsum_4__t44_rvsum_4.vout
2021-07-25 16:09
7.3K
rvsum_4__t44_rvsum_4
2021-07-18 00:57
112K
rvsum_4__t43_rvsum_4.vout
2021-07-25 19:15
6.8K
rvsum_4__t43_rvsum_4
2021-07-18 00:56
132K
rvsum_4__t42_rvsum_4.vout
2021-07-25 18:05
12K
rvsum_4__t42_rvsum_4.vmin1out
2021-07-25 20:58
11K
rvsum_4__t42_rvsum_4.vmin1
2021-07-25 20:57
1.0K
rvsum_4__t42_rvsum_4.depvmin1
2021-07-25 21:03
77
rvsum_4__t42_rvsum_4.depv1
2021-07-25 20:57
77
rvsum_4__t42_rvsum_4
2021-07-18 00:56
74K
rvsum_4__t41_rvsum_4.vout
2021-07-25 15:15
16K
rvsum_4__t41_rvsum_4.vmin1out
2021-07-25 20:58
8.0K
rvsum_4__t41_rvsum_4.vmin1
2021-07-25 20:57
1.0K
rvsum_4__t41_rvsum_4.depvmin1
2021-07-25 21:03
54
rvsum_4__t41_rvsum_4.depv1
2021-07-25 20:57
78
rvsum_4__t41_rvsum_4
2021-07-18 00:55
109K
rvsum_4__t40_rvsum_4.vout
2021-07-25 16:43
7.3K
rvsum_4__t40_rvsum_4
2021-07-18 00:54
129K
rvsum_4__t39_rvsum_4.vout
2021-07-25 15:12
7.3K
rvsum_4__t39_rvsum_4
2021-07-18 00:54
100K
rvsum_4__t38_rvsum_4.vout
2021-07-25 20:51
7.3K
rvsum_4__t38_rvsum_4
2021-07-18 00:53
72K
rvsum_4__t37_rvsum_4.vout
2021-07-25 18:51
6.8K
rvsum_4__t37_rvsum_4
2021-07-18 00:52
100K
rvsum_4__t36_rvsum_4.vout
2021-07-25 15:18
6.9K
rvsum_4__t36_rvsum_4.vmin1out
2021-07-25 20:59
6.4K
rvsum_4__t36_rvsum_4.vmin1
2021-07-25 20:57
585
rvsum_4__t36_rvsum_4.depvmin1
2021-07-25 21:03
65
rvsum_4__t36_rvsum_4.depv1
2021-07-25 20:57
65
rvsum_4__t36_rvsum_4
2021-07-18 00:31
83K
rvsum_4__t35_rvsum_4.vout
2021-07-25 14:58
7.3K
rvsum_4__t35_rvsum_4
2021-07-18 00:52
87K
rvsum_4__t34_rvsum_4.vout
2021-07-25 20:45
7.3K
rvsum_4__t34_rvsum_4
2021-07-18 00:51
111K
rvsum_4__t33_rvsum_4.vout
2021-07-25 17:13
7.3K
rvsum_4__t33_rvsum_4
2021-07-18 00:50
111K
rvsum_4__t32_rvsum_4.vout
2021-07-25 19:39
3.7K
rvsum_4__t32_rvsum_4
2021-07-18 00:50
107K
rvsum_4__t31_rvsum_4.vout
2021-07-25 18:32
7.3K
rvsum_4__t31_rvsum_4
2021-07-18 00:49
80K
rvsum_4__t30_rvsum_4.vout
2021-07-25 20:26
7.3K
rvsum_4__t30_rvsum_4
2021-07-18 00:48
79K
rvsum_4__t29_rvsum_4.vout
2021-07-25 17:48
7.3K
rvsum_4__t29_rvsum_4
2021-07-18 00:48
59K
rvsum_4__t26_rvsum_4.vout
2021-07-25 18:16
7.3K
rvsum_4__t26_rvsum_4
2021-07-18 00:47
72K
rvsum_4__t25_rvsum_4.vout
2021-07-25 15:19
7.3K
rvsum_4__t25_rvsum_4
2021-07-18 00:46
111K
rvsum_4__t24_rvsum_4.vout
2021-07-25 18:00
7.3K
rvsum_4__t24_rvsum_4
2021-07-18 00:46
110K
rvsum_4__t23_rvsum_4.vout
2021-07-25 17:45
34K
rvsum_4__t23_rvsum_4.vmin1out
2021-07-25 21:00
35K
rvsum_4__t23_rvsum_4.vmin1
2021-07-25 20:57
3.2K
rvsum_4__t23_rvsum_4.depvmin1
2021-07-25 21:03
301
rvsum_4__t23_rvsum_4.depv1
2021-07-25 20:57
301
rvsum_4__t23_rvsum_4
2021-07-18 00:30
78K
rvsum_4__t22_rvsum_4.vout
2021-07-25 20:55
7.3K
rvsum_4__t22_rvsum_4
2021-07-18 00:45
113K
rvsum_4__t21_rvsum_4.vout
2021-07-25 20:09
7.3K
rvsum_4__t21_rvsum_4
2021-07-18 00:44
107K
rvsum_4__t20_rvsum_4.vout
2021-07-25 16:21
11K
rvsum_4__t20_rvsum_4.vmin1out
2021-07-25 21:01
12K
rvsum_4__t20_rvsum_4.vmin1
2021-07-25 20:57
1.0K
rvsum_4__t20_rvsum_4.depvmin1
2021-07-25 21:03
50
rvsum_4__t20_rvsum_4.depv1
2021-07-25 20:57
50
rvsum_4__t20_rvsum_4
2021-07-18 00:29
55K
rvsum_4__t19_rvsum_4.vout
2021-07-25 18:07
7.3K
rvsum_4__t19_rvsum_4
2021-07-18 00:43
117K
rvsum_4__t18_rvsum_4.vout
2021-07-25 14:26
6.8K
rvsum_4__t18_rvsum_4
2021-07-18 00:29
101K
rvsum_4__t17_rvsum_4.vout
2021-07-25 17:07
6.8K
rvsum_4__t17_rvsum_4
2021-07-18 00:43
70K
rvsum_4__t16_rvsum_4.vout
2021-07-25 19:24
2.0K
rvsum_4__t16_rvsum_4
2021-07-18 00:42
61K
rvsum_4__t15_rvsum_4.vout
2021-07-25 14:54
8.0K
rvsum_4__t15_rvsum_4.vmin1out
2021-07-25 20:58
6.8K
rvsum_4__t15_rvsum_4.vmin1
2021-07-25 20:57
521
rvsum_4__t15_rvsum_4.depvmin1
2021-07-25 21:03
24
rvsum_4__t15_rvsum_4.depv1
2021-07-25 20:57
24
rvsum_4__t15_rvsum_4
2021-07-18 00:41
76K
rvsum_4__t14_rvsum_4.vout
2021-07-25 16:49
2.0K
rvsum_4__t14_rvsum_4
2021-07-18 00:41
65K
rvsum_4__t13_rvsum_4.vout
2021-07-25 14:44
12K
rvsum_4__t13_rvsum_4.vmin1out
2021-07-25 20:58
11K
rvsum_4__t13_rvsum_4.vmin1
2021-07-25 20:57
1.4K
rvsum_4__t13_rvsum_4.depvmin1
2021-07-25 21:03
163
rvsum_4__t13_rvsum_4.depv1
2021-07-25 20:57
176
rvsum_4__t13_rvsum_4
2021-07-18 00:40
60K
rvsum_4__t12_rvsum_4.vout
2021-07-25 16:27
6.8K
rvsum_4__t12_rvsum_4
2021-07-18 00:39
60K
rvsum_4__t11_rvsum_4.vout
2021-07-25 18:09
6.8K
rvsum_4__t11_rvsum_4
2021-07-18 00:39
80K
rvsum_4__t10_rvsum_4.vout
2021-07-25 16:35
7.3K
rvsum_4__t10_rvsum_4
2021-07-18 00:38
98K
rvsum_4__t9_rvsum_4.vout
2021-07-25 18:25
7.3K
rvsum_4__t9_rvsum_4
2021-07-18 00:37
132K
rvsum_4__t8_rvsum_4.vout
2021-07-25 18:57
7.3K
rvsum_4__t8_rvsum_4
2021-07-18 00:37
109K
rvsum_4__t7_rvsum_4.vout
2021-07-25 16:45
7.3K
rvsum_4__t7_rvsum_4
2021-07-18 00:36
121K
rvsum_4__t6_rvsum_4.vout
2021-07-25 16:08
7.3K
rvsum_4__t6_rvsum_4
2021-07-18 00:35
117K
rvsum_4__t5_rvsum_4.vout
2021-07-25 18:04
7.3K
rvsum_4__t5_rvsum_4
2021-07-18 00:34
89K
rvsum_4__t4_rvsum_4.vout
2021-07-25 20:26
6.8K
rvsum_4__t4_rvsum_4
2021-07-18 00:28
115K
rvsum_4__t3_rvsum_4.vout
2021-07-25 18:29
7.3K
rvsum_4__t3_rvsum_4
2021-07-18 00:33
91K
rvsum_4__t2_rvsum_4.vout
2021-07-25 19:58
7.3K
rvsum_4__t2_rvsum_4
2021-07-18 00:32
103K
rvsum_4__t1_rvsum_4.vout
2021-07-25 16:48
7.3K
rvsum_4__t1_rvsum_4
2021-07-18 00:32
82K
rvsum_4__l9_rvsum_4.vout
2021-07-25 19:50
7.3K
rvsum_4__l9_rvsum_4
2021-07-18 01:13
109K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80