Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/rvsum_4
Name
Last modified
Size
Description
Parent Directory
-
rvsum_4__l9_rvsum_4
2025-09-09 05:53
121K
rvsum_4__l9_rvsum_4.vout
2025-09-15 13:31
7.3K
rvsum_4__t1_rvsum_4
2025-09-09 03:48
89K
rvsum_4__t1_rvsum_4.vout
2025-09-15 18:01
7.3K
rvsum_4__t2_rvsum_4
2025-09-09 03:50
110K
rvsum_4__t2_rvsum_4.vout
2025-09-15 18:40
7.3K
rvsum_4__t3_rvsum_4
2025-09-09 03:52
98K
rvsum_4__t3_rvsum_4.vout
2025-09-15 14:57
7.3K
rvsum_4__t4_rvsum_4
2025-09-09 03:37
123K
rvsum_4__t4_rvsum_4.vout
2025-09-15 16:25
6.8K
rvsum_4__t5_rvsum_4
2025-09-09 03:54
96K
rvsum_4__t5_rvsum_4.vout
2025-09-15 19:16
7.3K
rvsum_4__t6_rvsum_4
2025-09-09 03:56
128K
rvsum_4__t6_rvsum_4.vout
2025-09-15 17:36
7.3K
rvsum_4__t7_rvsum_4
2025-09-09 03:59
133K
rvsum_4__t7_rvsum_4.vout
2025-09-15 16:47
7.3K
rvsum_4__t8_rvsum_4
2025-09-09 04:01
122K
rvsum_4__t8_rvsum_4.vout
2025-09-15 13:34
7.3K
rvsum_4__t9_rvsum_4
2025-09-09 04:03
145K
rvsum_4__t9_rvsum_4.vout
2025-09-15 14:38
7.3K
rvsum_4__t10_rvsum_4
2025-09-09 04:05
125K
rvsum_4__t10_rvsum_4.vout
2025-09-15 15:11
7.3K
rvsum_4__t11_rvsum_4
2025-09-09 04:07
83K
rvsum_4__t11_rvsum_4.vout
2025-09-15 19:05
6.8K
rvsum_4__t12_rvsum_4
2025-09-09 04:09
64K
rvsum_4__t12_rvsum_4.vout
2025-09-15 13:49
7.3K
rvsum_4__t13_rvsum_4
2025-09-09 04:10
64K
rvsum_4__t13_rvsum_4.depv1
2025-09-15 19:47
176
rvsum_4__t13_rvsum_4.depvmin1
2025-09-15 19:51
163
rvsum_4__t13_rvsum_4.vmin1
2025-09-15 19:47
1.4K
rvsum_4__t13_rvsum_4.vmin1out
2025-09-15 19:47
11K
rvsum_4__t13_rvsum_4.vout
2025-09-15 17:23
12K
rvsum_4__t14_rvsum_4
2025-09-09 04:12
69K
rvsum_4__t14_rvsum_4.vout
2025-09-15 14:34
2.0K
rvsum_4__t15_rvsum_4
2025-09-09 04:14
79K
rvsum_4__t15_rvsum_4.depv1
2025-09-15 19:47
24
rvsum_4__t15_rvsum_4.depvmin1
2025-09-15 19:51
24
rvsum_4__t15_rvsum_4.vmin1
2025-09-15 19:47
521
rvsum_4__t15_rvsum_4.vmin1out
2025-09-15 19:48
6.8K
rvsum_4__t15_rvsum_4.vout
2025-09-15 16:41
8.0K
rvsum_4__t16_rvsum_4
2025-09-09 04:16
65K
rvsum_4__t16_rvsum_4.vout
2025-09-15 18:46
2.0K
rvsum_4__t17_rvsum_4
2025-09-09 04:17
74K
rvsum_4__t17_rvsum_4.vout
2025-09-15 14:57
6.8K
rvsum_4__t18_rvsum_4
2025-09-09 03:39
108K
rvsum_4__t18_rvsum_4.vout
2025-09-15 13:34
6.8K
rvsum_4__t19_rvsum_4
2025-09-09 04:20
124K
rvsum_4__t19_rvsum_4.vout
2025-09-15 14:27
7.3K
rvsum_4__t20_rvsum_4
2025-09-09 03:41
59K
rvsum_4__t20_rvsum_4.depv1
2025-09-15 19:47
50
rvsum_4__t20_rvsum_4.depvmin1
2025-09-15 19:51
50
rvsum_4__t20_rvsum_4.vmin1
2025-09-15 19:47
1.0K
rvsum_4__t20_rvsum_4.vmin1out
2025-09-15 19:49
12K
rvsum_4__t20_rvsum_4.vout
2025-09-15 13:50
11K
rvsum_4__t21_rvsum_4
2025-09-09 04:22
115K
rvsum_4__t21_rvsum_4.vout
2025-09-15 14:15
7.3K
rvsum_4__t22_rvsum_4
2025-09-09 04:24
120K
rvsum_4__t22_rvsum_4.vout
2025-09-15 18:39
7.3K
rvsum_4__t23_rvsum_4
2025-09-09 03:43
82K
rvsum_4__t23_rvsum_4.depv1
2025-09-15 19:47
301
rvsum_4__t23_rvsum_4.depvmin1
2025-09-15 19:51
301
rvsum_4__t23_rvsum_4.vmin1
2025-09-15 19:47
3.2K
rvsum_4__t23_rvsum_4.vmin1out
2025-09-15 19:51
35K
rvsum_4__t23_rvsum_4.vout
2025-09-15 14:21
34K
rvsum_4__t24_rvsum_4
2025-09-09 04:26
118K
rvsum_4__t24_rvsum_4.vout
2025-09-15 15:20
7.3K
rvsum_4__t25_rvsum_4
2025-09-09 04:28
118K
rvsum_4__t25_rvsum_4.vout
2025-09-15 18:18
7.3K
rvsum_4__t26_rvsum_4
2025-09-09 04:30
76K
rvsum_4__t26_rvsum_4.vout
2025-09-15 16:42
7.3K
rvsum_4__t29_rvsum_4
2025-09-09 04:32
63K
rvsum_4__t29_rvsum_4.vout
2025-09-15 15:00
7.3K
rvsum_4__t30_rvsum_4
2025-09-09 04:34
83K
rvsum_4__t30_rvsum_4.vout
2025-09-15 18:37
7.3K
rvsum_4__t31_rvsum_4
2025-09-09 04:36
84K
rvsum_4__t31_rvsum_4.vout
2025-09-15 14:54
7.3K
rvsum_4__t32_rvsum_4
2025-09-09 04:38
115K
rvsum_4__t32_rvsum_4.vout
2025-09-15 19:22
3.7K
rvsum_4__t33_rvsum_4
2025-09-09 04:40
119K
rvsum_4__t33_rvsum_4.vout
2025-09-15 17:18
7.3K
rvsum_4__t34_rvsum_4
2025-09-09 04:42
118K
rvsum_4__t34_rvsum_4.vout
2025-09-15 17:34
7.3K
rvsum_4__t35_rvsum_4
2025-09-09 04:44
91K
rvsum_4__t35_rvsum_4.vout
2025-09-15 16:30
7.3K
rvsum_4__t36_rvsum_4
2025-09-09 03:45
90K
rvsum_4__t36_rvsum_4.depv1
2025-09-15 19:47
36
rvsum_4__t36_rvsum_4.depvmin1
2025-09-15 19:51
36
rvsum_4__t36_rvsum_4.vmin1
2025-09-15 19:47
474
rvsum_4__t36_rvsum_4.vmin1out
2025-09-15 19:47
6.4K
rvsum_4__t36_rvsum_4.vout
2025-09-15 16:46
7.3K
rvsum_4__t37_rvsum_4
2025-09-09 04:46
101K
rvsum_4__t37_rvsum_4.vout
2025-09-15 14:33
7.3K
rvsum_4__t38_rvsum_4
2025-09-09 04:48
75K
rvsum_4__t38_rvsum_4.vout
2025-09-15 15:04
7.3K
rvsum_4__t39_rvsum_4
2025-09-09 04:50
103K
rvsum_4__t39_rvsum_4.vout
2025-09-15 13:32
7.3K
rvsum_4__t40_rvsum_4
2025-09-09 04:52
137K
rvsum_4__t40_rvsum_4.vout
2025-09-15 18:35
7.3K
rvsum_4__t41_rvsum_4
2025-09-09 04:55
116K
rvsum_4__t41_rvsum_4.vout
2025-09-15 14:52
7.3K
rvsum_4__t42_rvsum_4
2025-09-09 04:56
76K
rvsum_4__t42_rvsum_4.vout
2025-09-15 15:18
2.0K
rvsum_4__t43_rvsum_4
2025-09-09 04:59
139K
rvsum_4__t43_rvsum_4.vout
2025-09-15 17:48
6.8K
rvsum_4__t44_rvsum_4
2025-09-09 05:01
119K
rvsum_4__t44_rvsum_4.vout
2025-09-15 13:33
7.3K
rvsum_4__t45_rvsum_4
2025-09-09 05:03
140K
rvsum_4__t45_rvsum_4.vout
2025-09-15 17:13
7.3K
rvsum_4__t46_rvsum_4
2025-09-09 05:06
119K
rvsum_4__t46_rvsum_4.vout
2025-09-15 19:09
7.3K
rvsum_4__t47_rvsum_4
2025-09-09 05:08
121K
rvsum_4__t47_rvsum_4.vout
2025-09-15 15:49
7.3K
rvsum_4__t48_rvsum_4
2025-09-09 05:10
104K
rvsum_4__t48_rvsum_4.vout
2025-09-15 18:30
7.3K
rvsum_4__t49_rvsum_4
2025-09-09 05:12
121K
rvsum_4__t49_rvsum_4.vout
2025-09-15 18:44
7.3K
rvsum_4__t50_rvsum_4
2025-09-09 05:14
93K
rvsum_4__t50_rvsum_4.vout
2025-09-15 17:04
7.3K
rvsum_4__t51_rvsum_4
2025-09-09 05:16
77K
rvsum_4__t51_rvsum_4.depv1
2025-09-15 19:47
276
rvsum_4__t51_rvsum_4.depvmin1
2025-09-15 19:51
225
rvsum_4__t51_rvsum_4.vmin1
2025-09-15 19:47
3.2K
rvsum_4__t51_rvsum_4.vmin1out
2025-09-15 19:51
31K
rvsum_4__t51_rvsum_4.vout
2025-09-15 13:58
34K
rvsum_4__t52_rvsum_4
2025-09-09 05:18
115K
rvsum_4__t52_rvsum_4.vout
2025-09-15 18:19
7.3K
rvsum_4__t53_rvsum_4
2025-09-09 05:20
136K
rvsum_4__t53_rvsum_4.vout
2025-09-15 18:50
6.8K
rvsum_4__t54_rvsum_4
2025-09-09 05:23
118K
rvsum_4__t54_rvsum_4.vout
2025-09-15 18:36
7.3K
rvsum_4__t55_rvsum_4
2025-09-09 05:25
148K
rvsum_4__t55_rvsum_4.vout
2025-09-15 15:54
7.3K
rvsum_4__t56_rvsum_4
2025-09-09 05:27
126K
rvsum_4__t56_rvsum_4.vout
2025-09-15 13:52
6.8K
rvsum_4__t57_rvsum_4
2025-09-09 05:30
153K
rvsum_4__t57_rvsum_4.vout
2025-09-15 19:06
7.3K
rvsum_4__t58_rvsum_4
2025-09-09 05:32
77K
rvsum_4__t58_rvsum_4.vout
2025-09-15 16:50
2.0K
rvsum_4__t59_rvsum_4
2025-09-09 05:34
123K
rvsum_4__t59_rvsum_4.vout
2025-09-15 17:05
7.3K
rvsum_4__t60_rvsum_4
2025-09-09 05:36
144K
rvsum_4__t60_rvsum_4.vout
2025-09-15 16:16
7.3K
rvsum_4__t61_rvsum_4
2025-09-09 05:38
72K
rvsum_4__t61_rvsum_4.vout
2025-09-15 17:27
7.3K
rvsum_4__t62_rvsum_4
2025-09-09 05:40
75K
rvsum_4__t62_rvsum_4.vout
2025-09-15 16:50
7.3K
rvsum_4__t63_rvsum_4
2025-09-09 03:46
74K
rvsum_4__t63_rvsum_4.vout
2025-09-15 13:56
2.0K
rvsum_4__t64_rvsum_4
2025-09-09 05:42
111K
rvsum_4__t64_rvsum_4.vout
2025-09-15 17:00
7.3K
rvsum_4__t65_rvsum_4
2025-09-09 05:44
77K
rvsum_4__t65_rvsum_4.vout
2025-09-15 16:27
2.0K
rvsum_4__t66_rvsum_4
2025-09-09 05:46
169K
rvsum_4__t66_rvsum_4.vout
2025-09-15 19:42
7.3K
rvsum_4__t67_rvsum_4
2025-09-09 05:49
139K
rvsum_4__t67_rvsum_4.vout
2025-09-15 18:01
7.3K
rvsum_4__t68_rvsum_4
2025-09-09 05:51
124K
rvsum_4__t68_rvsum_4.vout
2025-09-15 16:29
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80