Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rsspace4
Name
Last modified
Size
Description
Parent Directory
-
rsspace4__t10_rsspace4.vout
2021-07-25 18:51
173K
rsspace4__t4_rsspace4
2021-07-18 02:03
121K
rsspace4__t3_rsspace4
2021-07-18 02:02
100K
rsspace4__t5_rsspace4.vmin1out
2021-07-25 21:02
97K
rsspace4__t2_rsspace4
2021-07-18 02:00
94K
rsspace4__t11_rsspace4.vmin1out
2021-07-25 21:00
87K
rsspace4__t10_rsspace4.vmin1out
2021-07-25 20:59
83K
rsspace4__t25_rsspace4
2021-07-18 02:14
81K
rsspace4__t14_rsspace4.vout
2021-07-25 19:08
75K
rsspace4__t26_rsspace4.vout
2021-07-25 14:47
68K
rsspace4__t26_rsspace4.vmin1out
2021-07-25 20:59
67K
rsspace4__t7_rsspace4.vmin1out
2021-07-25 20:58
57K
rsspace4__t6_rsspace4
2021-07-18 02:04
54K
rsspace4__t7_rsspace4.vout
2021-07-25 16:00
53K
rsspace4__t18_rsspace4
2021-07-18 02:11
46K
rsspace4__t22_rsspace4
2021-07-18 01:58
44K
rsspace4__t19_rsspace4
2021-07-18 02:11
44K
rsspace4__t8_rsspace4
2021-07-18 02:05
43K
rsspace4__t24_rsspace4
2021-07-18 02:13
43K
rsspace4__t20_rsspace4
2021-07-18 02:12
43K
rsspace4__t17_rsspace4
2021-07-18 02:10
43K
rsspace4__t16_rsspace4
2021-07-18 02:10
42K
rsspace4__t14_rsspace4.vmin1out
2021-07-25 20:58
42K
rsspace4__t9_rsspace4
2021-07-18 02:06
41K
rsspace4__t11_rsspace4.vout
2021-07-25 17:19
41K
rsspace4__t15_rsspace4
2021-07-18 02:09
40K
rsspace4__t23_rsspace4
2021-07-18 02:13
39K
rsspace4__l7_rsspace4
2021-07-18 02:16
38K
rsspace4__t10_rsspace4
2021-07-18 02:06
38K
rsspace4__t13_rsspace4.vout
2021-07-25 15:57
36K
rsspace4__t5_rsspace4.vout
2021-07-25 20:17
36K
rsspace4__l5_rsspace4
2021-07-18 02:00
35K
rsspace4__t14_rsspace4
2021-07-18 02:08
35K
rsspace4__t26_rsspace4
2021-07-18 02:15
35K
rsspace4__t12_rsspace4
2021-07-18 02:07
35K
rsspace4__l4_rsspace4
2021-07-18 01:59
34K
rsspace4__t11_rsspace4
2021-07-18 02:07
33K
rsspace4__l8_rsspace4
2021-07-18 02:16
32K
rsspace4__t7_rsspace4
2021-07-18 01:58
32K
rsspace4__t5_rsspace4
2021-07-18 02:04
31K
rsspace4__l2_rsspace4
2021-07-18 02:16
29K
rsspace4__t1_rsspace4
2021-07-18 01:57
29K
rsspace4__t13_rsspace4
2021-07-18 02:08
29K
rsspace4__t13_rsspace4.vmin1out
2021-07-25 21:01
27K
rsspace4__t1_rsspace4.vout
2021-07-25 19:43
26K
rsspace4__l1_rsspace4
2021-07-18 02:15
25K
rsspace4__t1_rsspace4.vmin1out
2021-07-25 21:02
21K
rsspace4__l5_rsspace4.vmin1out
2021-07-25 21:01
14K
rsspace4__l5_rsspace4.vout
2021-07-25 18:29
13K
rsspace4__l4_rsspace4.vmin1out
2021-07-25 21:02
10K
rsspace4__l4_rsspace4.vout
2021-07-25 16:38
9.9K
rsspace4__t2_rsspace4.vout
2021-07-25 20:13
8.4K
rsspace4__t12_rsspace4.vout
2021-07-25 15:29
7.9K
rsspace4__t23_rsspace4.vout
2021-07-25 18:44
7.9K
rsspace4__t17_rsspace4.vout
2021-07-25 15:37
7.9K
rsspace4__t18_rsspace4.vout
2021-07-25 16:44
7.3K
rsspace4__t16_rsspace4.vout
2021-07-25 20:10
7.3K
rsspace4__t15_rsspace4.vout
2021-07-25 15:48
7.3K
rsspace4__l2_rsspace4.vout
2021-07-25 19:16
7.3K
rsspace4__t25_rsspace4.vout
2021-07-25 16:12
6.8K
rsspace4__l7_rsspace4.vout
2021-07-25 17:10
6.8K
rsspace4__t10_rsspace4.vmin1
2021-07-25 20:57
6.2K
rsspace4__t24_rsspace4.vout
2021-07-25 17:44
4.7K
rsspace4__t22_rsspace4.vout
2021-07-25 14:53
4.7K
rsspace4__t20_rsspace4.vout
2021-07-25 15:05
4.7K
rsspace4__t19_rsspace4.vout
2021-07-25 14:40
4.7K
rsspace4__t6_rsspace4.vout
2021-07-25 16:49
4.7K
rsspace4__t8_rsspace4.vout
2021-07-25 19:26
4.7K
rsspace4__t3_rsspace4.vout
2021-07-25 16:57
4.7K
rsspace4__t9_rsspace4.vout
2021-07-25 18:23
4.7K
rsspace4__t4_rsspace4.vout
2021-07-25 18:39
4.7K
rsspace4__l8_rsspace4.vout
2021-07-25 15:43
4.7K
rsspace4__t14_rsspace4.vmin1
2021-07-25 20:57
4.3K
rsspace4__t11_rsspace4.vmin1
2021-07-25 20:57
3.6K
rsspace4__t26_rsspace4.vmin1
2021-07-25 20:57
3.2K
rsspace4__t7_rsspace4.vmin1
2021-07-25 20:57
2.9K
rsspace4__t13_rsspace4.vmin1
2021-07-25 20:57
2.7K
rsspace4__l5_rsspace4.vmin1
2021-07-25 20:57
2.6K
rsspace4__t5_rsspace4.vmin1
2021-07-25 20:57
2.5K
rsspace4__l1_rsspace4.vout
2021-07-25 15:26
2.0K
rsspace4__t1_rsspace4.vmin1
2021-07-25 20:57
1.4K
rsspace4__l4_rsspace4.vmin1
2021-07-25 20:57
1.3K
rsspace4__t10_rsspace4.depv1
2021-07-25 20:57
195
rsspace4__t5_rsspace4.depvmin1
2021-07-25 21:03
193
rsspace4__t5_rsspace4.depv1
2021-07-25 20:57
193
rsspace4__t11_rsspace4.depvmin1
2021-07-25 21:03
153
rsspace4__t11_rsspace4.depv1
2021-07-25 20:57
153
rsspace4__t13_rsspace4.depv1
2021-07-25 20:57
144
rsspace4__t14_rsspace4.depvmin1
2021-07-25 21:03
142
rsspace4__t14_rsspace4.depv1
2021-07-25 20:57
142
rsspace4__t10_rsspace4.depvmin1
2021-07-25 21:03
132
rsspace4__l4_rsspace4.depvmin1
2021-07-25 21:03
103
rsspace4__l4_rsspace4.depv1
2021-07-25 20:57
103
rsspace4__t13_rsspace4.depvmin1
2021-07-25 21:03
99
rsspace4__t7_rsspace4.depvmin1
2021-07-25 21:03
94
rsspace4__t7_rsspace4.depv1
2021-07-25 20:57
94
rsspace4__t1_rsspace4.depvmin1
2021-07-25 21:03
87
rsspace4__t1_rsspace4.depv1
2021-07-25 20:57
87
rsspace4__t26_rsspace4.depvmin1
2021-07-25 21:03
67
rsspace4__t26_rsspace4.depv1
2021-07-25 20:57
67
rsspace4__l5_rsspace4.depvmin1
2021-07-25 21:03
25
rsspace4__l5_rsspace4.depv1
2021-07-25 20:57
25
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80