Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rusub_4
Name
Last modified
Size
Description
Parent Directory
-
rusub_4__t36_rusub_4.vout
2021-07-25 15:45
7.3K
rusub_4__t36_rusub_4
2021-07-18 11:56
22K
rusub_4__t35_rusub_4.vout
2021-07-25 20:50
7.3K
rusub_4__t35_rusub_4
2021-07-18 11:56
20K
rusub_4__t34_rusub_4.vout
2021-07-25 14:31
27K
rusub_4__t34_rusub_4.vmin1out
2021-07-25 20:59
20K
rusub_4__t34_rusub_4.vmin1
2021-07-25 20:57
1.9K
rusub_4__t34_rusub_4.depvmin1
2021-07-25 21:03
158
rusub_4__t34_rusub_4.depv1
2021-07-25 20:57
158
rusub_4__t34_rusub_4
2021-07-18 11:55
21K
rusub_4__t33_rusub_4.vout
2021-07-25 16:52
3.7K
rusub_4__t33_rusub_4
2021-07-18 11:55
18K
rusub_4__t32_rusub_4.vout
2021-07-25 18:31
3.7K
rusub_4__t32_rusub_4
2021-07-18 11:55
29K
rusub_4__t31_rusub_4.vout
2021-07-25 17:02
7.3K
rusub_4__t31_rusub_4
2021-07-18 11:54
25K
rusub_4__t30_rusub_4.vout
2021-07-25 16:50
3.7K
rusub_4__t30_rusub_4
2021-07-18 11:54
29K
rusub_4__t29_rusub_4.vout
2021-07-25 16:09
2.0K
rusub_4__t29_rusub_4
2021-07-18 11:54
22K
rusub_4__t28_rusub_4.vout
2021-07-25 15:35
7.3K
rusub_4__t28_rusub_4
2021-07-18 11:53
35K
rusub_4__t27_rusub_4.vout
2021-07-25 18:52
2.0K
rusub_4__t27_rusub_4
2021-07-18 11:53
22K
rusub_4__t26_rusub_4.vout
2021-07-25 17:17
7.3K
rusub_4__t26_rusub_4
2021-07-18 11:52
46K
rusub_4__t25_rusub_4.vout
2021-07-25 19:45
2.0K
rusub_4__t25_rusub_4
2021-07-18 11:52
21K
rusub_4__t24_rusub_4.vout
2021-07-25 17:47
2.0K
rusub_4__t24_rusub_4
2021-07-18 11:52
24K
rusub_4__t23_rusub_4.vout
2021-07-25 20:48
4.7K
rusub_4__t23_rusub_4
2021-07-18 11:51
22K
rusub_4__t22_rusub_4.vout
2021-07-25 18:47
2.0K
rusub_4__t22_rusub_4
2021-07-18 11:42
17K
rusub_4__t21_rusub_4.vout
2021-07-25 14:35
98K
rusub_4__t21_rusub_4.vmin1out
2021-07-25 20:59
79K
rusub_4__t21_rusub_4.vmin1
2021-07-25 20:57
2.7K
rusub_4__t21_rusub_4.depvmin1
2021-07-25 21:03
71
rusub_4__t21_rusub_4.depv1
2021-07-25 20:57
71
rusub_4__t21_rusub_4
2021-07-18 11:51
28K
rusub_4__t20_rusub_4.vout
2021-07-25 15:34
18K
rusub_4__t20_rusub_4.vmin1out
2021-07-25 20:59
32K
rusub_4__t20_rusub_4.vmin1
2021-07-25 20:57
1.5K
rusub_4__t20_rusub_4.depvmin1
2021-07-25 21:03
76
rusub_4__t20_rusub_4.depv1
2021-07-25 20:57
76
rusub_4__t20_rusub_4
2021-07-18 11:51
29K
rusub_4__t19_rusub_4.vout
2021-07-25 19:56
32K
rusub_4__t19_rusub_4.vmin1out
2021-07-25 21:02
30K
rusub_4__t19_rusub_4.vmin1
2021-07-25 20:57
2.1K
rusub_4__t19_rusub_4.depvmin1
2021-07-25 21:03
106
rusub_4__t19_rusub_4.depv1
2021-07-25 20:57
162
rusub_4__t19_rusub_4
2021-07-18 11:50
29K
rusub_4__t18_rusub_4.vout
2021-07-25 18:56
16K
rusub_4__t18_rusub_4.vmin1out
2021-07-25 20:57
38K
rusub_4__t18_rusub_4.vmin1
2021-07-25 20:57
1.3K
rusub_4__t18_rusub_4.depvmin1
2021-07-25 21:03
35
rusub_4__t18_rusub_4.depv1
2021-07-25 20:57
35
rusub_4__t18_rusub_4
2021-07-18 11:41
29K
rusub_4__t17_rusub_4.vout
2021-07-25 15:21
70K
rusub_4__t17_rusub_4.vmin1out
2021-07-25 21:01
117K
rusub_4__t17_rusub_4.vmin1
2021-07-25 20:57
5.2K
rusub_4__t17_rusub_4.depvmin1
2021-07-25 21:03
266
rusub_4__t17_rusub_4.depv1
2021-07-25 20:57
302
rusub_4__t17_rusub_4
2021-07-18 11:50
33K
rusub_4__t16_rusub_4.vout
2021-07-25 17:36
7.3K
rusub_4__t16_rusub_4
2021-07-18 11:49
47K
rusub_4__t15_rusub_4.vout
2021-07-25 17:08
7.3K
rusub_4__t15_rusub_4
2021-07-18 11:49
92K
rusub_4__t14_rusub_4.vout
2021-07-25 14:44
7.3K
rusub_4__t14_rusub_4
2021-07-18 11:48
36K
rusub_4__t13_rusub_4.vout
2021-07-25 18:26
4.7K
rusub_4__t13_rusub_4
2021-07-18 11:48
33K
rusub_4__t12_rusub_4.vout
2021-07-25 17:40
78K
rusub_4__t12_rusub_4.vmin1out
2021-07-25 21:01
127K
rusub_4__t12_rusub_4.vmin1
2021-07-25 20:57
5.1K
rusub_4__t12_rusub_4.depvmin1
2021-07-25 21:03
277
rusub_4__t12_rusub_4.depv1
2021-07-25 20:57
357
rusub_4__t12_rusub_4
2021-07-18 11:47
38K
rusub_4__t11_rusub_4.vout
2021-07-25 17:20
7.3K
rusub_4__t11_rusub_4
2021-07-18 11:47
39K
rusub_4__t10_rusub_4.vout
2021-07-25 20:47
28K
rusub_4__t10_rusub_4.vmin1out
2021-07-25 21:02
60K
rusub_4__t10_rusub_4.vmin1
2021-07-25 20:57
2.7K
rusub_4__t10_rusub_4.depvmin1
2021-07-25 21:03
81
rusub_4__t10_rusub_4.depv1
2021-07-25 20:57
81
rusub_4__t10_rusub_4
2021-07-18 11:46
31K
rusub_4__t9_rusub_4.vout
2021-07-25 19:09
7.3K
rusub_4__t9_rusub_4
2021-07-18 11:46
31K
rusub_4__t8_rusub_4.vout
2021-07-25 17:56
7.3K
rusub_4__t8_rusub_4
2021-07-18 11:45
36K
rusub_4__t7_rusub_4.vout
2021-07-25 17:50
7.3K
rusub_4__t7_rusub_4
2021-07-18 11:45
19K
rusub_4__t6_rusub_4.vout
2021-07-25 19:03
4.7K
rusub_4__t6_rusub_4
2021-07-18 11:45
30K
rusub_4__t5_rusub_4.vout
2021-07-25 16:40
66K
rusub_4__t5_rusub_4.vmin1out
2021-07-25 20:57
29K
rusub_4__t5_rusub_4.vmin1
2021-07-25 20:57
3.0K
rusub_4__t5_rusub_4.depvmin1
2021-07-25 21:03
143
rusub_4__t5_rusub_4.depv1
2021-07-25 20:57
143
rusub_4__t5_rusub_4
2021-07-18 11:44
33K
rusub_4__t4_rusub_4.vout
2021-07-25 20:49
28K
rusub_4__t4_rusub_4.vmin1out
2021-07-25 20:58
21K
rusub_4__t4_rusub_4.vmin1
2021-07-25 20:57
1.4K
rusub_4__t4_rusub_4.depvmin1
2021-07-25 21:03
57
rusub_4__t4_rusub_4.depv1
2021-07-25 20:57
57
rusub_4__t4_rusub_4
2021-07-18 11:44
18K
rusub_4__t3_rusub_4.vout
2021-07-25 16:32
4.2K
rusub_4__t3_rusub_4
2021-07-18 11:44
46K
rusub_4__t2_rusub_4.vout
2021-07-25 17:50
6.8K
rusub_4__t2_rusub_4
2021-07-18 11:43
62K
rusub_4__t1_rusub_4.vout
2021-07-25 19:43
7.3K
rusub_4__t1_rusub_4
2021-07-18 11:42
65K
rusub_4__l21_rusub_4.vout
2021-07-25 15:05
7.3K
rusub_4__l21_rusub_4
2021-07-18 11:57
33K
rusub_4__l2_rusub_4.vout
2021-07-25 18:23
7.4K
rusub_4__l2_rusub_4.vmin1out
2021-07-25 21:02
5.5K
rusub_4__l2_rusub_4.vmin1
2021-07-25 20:57
732
rusub_4__l2_rusub_4.depvmin1
2021-07-25 21:03
111
rusub_4__l2_rusub_4.depv1
2021-07-25 20:57
111
rusub_4__l2_rusub_4
2021-07-18 11:56
13K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80