Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ring_4
Name
Last modified
Size
Description
Parent Directory
-
ring_4__t19_ring_4.depvmin1
2021-07-25 21:03
100
ring_4__t33_ring_4.depvmin1
2021-07-25 21:03
337
ring_4__t14_ring_4.depvmin1
2021-07-25 21:03
133
ring_4__t13_ring_4.depvmin1
2021-07-25 21:03
22
ring_4__t39_ring_4.depvmin1
2021-07-25 21:03
33
ring_4__t32_ring_4.depvmin1
2021-07-25 21:03
69
ring_4__t31_ring_4.depvmin1
2021-07-25 21:03
147
ring_4__t38_ring_4.depvmin1
2021-07-25 21:03
33
ring_4__t34_ring_4.depvmin1
2021-07-25 21:03
22
ring_4__t28_ring_4.depvmin1
2021-07-25 21:03
400
ring_4__t32_ring_4.vmin1out
2021-07-25 21:02
21K
ring_4__t39_ring_4.vmin1out
2021-07-25 21:02
28K
ring_4__t13_ring_4.vmin1out
2021-07-25 21:01
3.3K
ring_4__t28_ring_4.vmin1out
2021-07-25 21:01
102K
ring_4__t14_ring_4.vmin1out
2021-07-25 21:00
12K
ring_4__t38_ring_4.vmin1out
2021-07-25 21:00
17K
ring_4__t33_ring_4.vmin1out
2021-07-25 20:59
82K
ring_4__t19_ring_4.vmin1out
2021-07-25 20:59
19K
ring_4__t31_ring_4.vmin1out
2021-07-25 20:59
25K
ring_4__t34_ring_4.vmin1out
2021-07-25 20:58
35K
ring_4__t39_ring_4.vmin1
2021-07-25 20:57
1.3K
ring_4__t38_ring_4.vmin1
2021-07-25 20:57
1.3K
ring_4__t34_ring_4.vmin1
2021-07-25 20:57
1.3K
ring_4__t33_ring_4.vmin1
2021-07-25 20:57
5.5K
ring_4__t32_ring_4.vmin1
2021-07-25 20:57
1.4K
ring_4__t31_ring_4.vmin1
2021-07-25 20:57
3.4K
ring_4__t28_ring_4.vmin1
2021-07-25 20:57
8.1K
ring_4__t19_ring_4.vmin1
2021-07-25 20:57
2.0K
ring_4__t14_ring_4.vmin1
2021-07-25 20:57
1.5K
ring_4__t13_ring_4.vmin1
2021-07-25 20:57
349
ring_4__t33_ring_4.depv1
2021-07-25 20:57
337
ring_4__t19_ring_4.depv1
2021-07-25 20:57
123
ring_4__t14_ring_4.depv1
2021-07-25 20:57
133
ring_4__t32_ring_4.depv1
2021-07-25 20:57
69
ring_4__t31_ring_4.depv1
2021-07-25 20:57
147
ring_4__t13_ring_4.depv1
2021-07-25 20:57
22
ring_4__t39_ring_4.depv1
2021-07-25 20:57
57
ring_4__t38_ring_4.depv1
2021-07-25 20:57
57
ring_4__t34_ring_4.depv1
2021-07-25 20:57
22
ring_4__t28_ring_4.depv1
2021-07-25 20:57
430
ring_4__t44_ring_4.vout
2021-07-25 20:49
4.7K
ring_4__t14_ring_4.vout
2021-07-25 20:47
13K
ring_4__t29_ring_4.vout
2021-07-25 20:45
4.7K
ring_4__t22_ring_4.vout
2021-07-25 20:36
5.8K
ring_4__t10_ring_4.vout
2021-07-25 20:35
4.7K
ring_4__l3_ring_4.vout
2021-07-25 20:33
4.7K
ring_4__t48_ring_4.vout
2021-07-25 20:30
7.3K
ring_4__t34_ring_4.vout
2021-07-25 20:25
21K
ring_4__t7_ring_4.vout
2021-07-25 20:13
4.7K
ring_4__t52_ring_4.vout
2021-07-25 20:03
4.7K
ring_4__t8_ring_4.vout
2021-07-25 19:49
4.7K
ring_4__t11_ring_4.vout
2021-07-25 19:44
4.1K
ring_4__t28_ring_4.vout
2021-07-25 19:42
100K
ring_4__t6_ring_4.vout
2021-07-25 19:40
4.7K
ring_4__t39_ring_4.vout
2021-07-25 19:35
50K
ring_4__t21_ring_4.vout
2021-07-25 19:29
5.8K
ring_4__t23_ring_4.vout
2021-07-25 19:26
4.7K
ring_4__t46_ring_4.vout
2021-07-25 19:17
4.7K
ring_4__t24_ring_4.vout
2021-07-25 19:15
4.7K
ring_4__t19_ring_4.vout
2021-07-25 18:54
26K
ring_4__t16_ring_4.vout
2021-07-25 18:47
5.8K
ring_4__t45_ring_4.vout
2021-07-25 18:46
4.7K
ring_4__t33_ring_4.vout
2021-07-25 18:45
49K
ring_4__t47_ring_4.vout
2021-07-25 18:42
7.3K
ring_4__t31_ring_4.vout
2021-07-25 18:31
49K
ring_4__t17_ring_4.vout
2021-07-25 18:30
5.8K
ring_4__t12_ring_4.vout
2021-07-25 18:27
4.7K
ring_4__t27_ring_4.vout
2021-07-25 18:22
4.7K
ring_4__l23_ring_4.vout
2021-07-25 18:20
5.8K
ring_4__t30_ring_4.vout
2021-07-25 18:15
4.7K
ring_4__t51_ring_4.vout
2021-07-25 18:14
4.7K
ring_4__t36_ring_4.vout
2021-07-25 18:13
4.7K
ring_4__t9_ring_4.vout
2021-07-25 17:58
4.1K
ring_4__t1_ring_4.vout
2021-07-25 17:57
4.7K
ring_4__t49_ring_4.vout
2021-07-25 17:56
4.7K
ring_4__l5_ring_4.vout
2021-07-25 17:56
4.7K
ring_4__t18_ring_4.vout
2021-07-25 17:41
5.8K
ring_4__t26_ring_4.vout
2021-07-25 17:31
4.7K
ring_4__t20_ring_4.vout
2021-07-25 17:27
4.7K
ring_4__t25_ring_4.vout
2021-07-25 17:18
4.7K
ring_4__t50_ring_4.vout
2021-07-25 17:04
4.7K
ring_4__t43_ring_4.vout
2021-07-25 17:02
7.2K
ring_4__t41_ring_4.vout
2021-07-25 16:58
4.7K
ring_4__l68_ring_4.vout
2021-07-25 16:58
4.7K
ring_4__t35_ring_4.vout
2021-07-25 16:52
4.7K
ring_4__t42_ring_4.vout
2021-07-25 16:41
4.7K
ring_4__t53_ring_4.vout
2021-07-25 16:40
4.7K
ring_4__t15_ring_4.vout
2021-07-25 16:35
5.8K
ring_4__t2_ring_4.vout
2021-07-25 16:21
4.7K
ring_4__l9_ring_4.vout
2021-07-25 16:20
4.7K
ring_4__t5_ring_4.vout
2021-07-25 16:15
4.7K
ring_4__t3_ring_4.vout
2021-07-25 16:10
4.7K
ring_4__l64_ring_4.vout
2021-07-25 16:04
7.3K
ring_4__t32_ring_4.vout
2021-07-25 15:56
11K
ring_4__t4_ring_4.vout
2021-07-25 15:51
4.7K
ring_4__l46_ring_4.vout
2021-07-25 15:45
5.3K
ring_4__t37_ring_4.vout
2021-07-25 15:13
4.7K
ring_4__l4_ring_4.vout
2021-07-25 15:12
5.8K
ring_4__l62_ring_4.vout
2021-07-25 15:09
3.6K
ring_4__l47_ring_4.vout
2021-07-25 15:03
4.7K
ring_4__l65_ring_4.vout
2021-07-25 15:02
7.3K
ring_4__t38_ring_4.vout
2021-07-25 14:49
28K
ring_4__l63_ring_4.vout
2021-07-25 14:44
3.6K
ring_4__l22_ring_4.vout
2021-07-25 14:35
7.3K
ring_4__t40_ring_4.vout
2021-07-25 14:28
4.7K
ring_4__t13_ring_4.vout
2021-07-25 14:23
3.4K
ring_4__l65_ring_4
2021-07-18 11:51
124K
ring_4__l64_ring_4
2021-07-18 11:51
126K
ring_4__l63_ring_4
2021-07-18 11:50
140K
ring_4__l62_ring_4
2021-07-18 11:49
135K
ring_4__l68_ring_4
2021-07-18 11:48
124K
ring_4__l47_ring_4
2021-07-18 11:47
80K
ring_4__l46_ring_4
2021-07-18 11:47
254K
ring_4__l23_ring_4
2021-07-18 11:46
31K
ring_4__l22_ring_4
2021-07-18 11:46
30K
ring_4__l9_ring_4
2021-07-18 11:45
117K
ring_4__l5_ring_4
2021-07-18 11:44
50K
ring_4__l4_ring_4
2021-07-18 11:44
101K
ring_4__l3_ring_4
2021-07-18 11:43
79K
ring_4__t53_ring_4
2021-07-18 11:43
134K
ring_4__t52_ring_4
2021-07-18 11:42
135K
ring_4__t50_ring_4
2021-07-18 11:41
110K
ring_4__t49_ring_4
2021-07-18 11:40
80K
ring_4__t48_ring_4
2021-07-18 11:40
121K
ring_4__t47_ring_4
2021-07-18 11:39
164K
ring_4__t46_ring_4
2021-07-18 11:38
161K
ring_4__t45_ring_4
2021-07-18 11:37
150K
ring_4__t44_ring_4
2021-07-18 11:36
239K
ring_4__t43_ring_4
2021-07-18 11:36
200K
ring_4__t42_ring_4
2021-07-18 11:35
245K
ring_4__t41_ring_4
2021-07-18 11:34
145K
ring_4__t40_ring_4
2021-07-18 11:33
143K
ring_4__t39_ring_4
2021-07-18 11:32
105K
ring_4__t38_ring_4
2021-07-18 11:32
105K
ring_4__t37_ring_4
2021-07-18 11:31
169K
ring_4__t36_ring_4
2021-07-18 11:30
126K
ring_4__t35_ring_4
2021-07-18 11:29
133K
ring_4__t32_ring_4
2021-07-18 11:28
46K
ring_4__t30_ring_4
2021-07-18 11:28
113K
ring_4__t29_ring_4
2021-07-18 11:27
132K
ring_4__t28_ring_4
2021-07-18 11:26
81K
ring_4__t27_ring_4
2021-07-18 11:26
102K
ring_4__t26_ring_4
2021-07-18 11:25
113K
ring_4__t25_ring_4
2021-07-18 11:24
113K
ring_4__t24_ring_4
2021-07-18 11:23
96K
ring_4__t23_ring_4
2021-07-18 11:23
103K
ring_4__t22_ring_4
2021-07-18 11:22
92K
ring_4__t21_ring_4
2021-07-18 11:21
79K
ring_4__t20_ring_4
2021-07-18 11:21
85K
ring_4__t19_ring_4
2021-07-18 11:20
58K
ring_4__t18_ring_4
2021-07-18 11:19
82K
ring_4__t17_ring_4
2021-07-18 11:19
68K
ring_4__t16_ring_4
2021-07-18 11:18
46K
ring_4__t15_ring_4
2021-07-18 11:17
87K
ring_4__t12_ring_4
2021-07-18 11:17
84K
ring_4__t11_ring_4
2021-07-18 11:16
27K
ring_4__t10_ring_4
2021-07-18 11:15
70K
ring_4__t9_ring_4
2021-07-18 11:15
34K
ring_4__t8_ring_4
2021-07-18 11:14
62K
ring_4__t7_ring_4
2021-07-18 11:14
103K
ring_4__t6_ring_4
2021-07-18 11:13
103K
ring_4__t5_ring_4
2021-07-18 11:12
106K
ring_4__t4_ring_4
2021-07-18 11:11
91K
ring_4__t3_ring_4
2021-07-18 11:11
100K
ring_4__t2_ring_4
2021-07-18 11:10
125K
ring_4__t1_ring_4
2021-07-18 11:09
78K
ring_4__t51_ring_4
2021-07-18 11:09
110K
ring_4__t34_ring_4
2021-07-18 11:08
74K
ring_4__t33_ring_4
2021-07-18 11:07
60K
ring_4__t31_ring_4
2021-07-18 11:07
58K
ring_4__t14_ring_4
2021-07-18 11:06
32K
ring_4__t13_ring_4
2021-07-18 11:06
30K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80