Index of /~mptp/mml5.63.1382/MPTP2/problems_small/index_1
Name
Last modified
Size
Description
Parent Directory
-
index_1__l14_index_1
2021-07-18 11:15
33K
index_1__l14_index_1.vout
2021-07-25 14:40
4.7K
index_1__l19_index_1
2021-07-18 11:15
21K
index_1__l19_index_1.vout
2021-07-25 19:46
4.2K
index_1__l24_index_1
2021-07-18 11:15
36K
index_1__l24_index_1.vout
2021-07-25 17:57
7.3K
index_1__l32_index_1
2021-07-18 11:16
29K
index_1__l32_index_1.vout
2021-07-25 18:32
2.0K
index_1__l33_index_1
2021-07-18 11:16
29K
index_1__l33_index_1.vout
2021-07-25 20:03
2.0K
index_1__l42_index_1
2021-07-18 11:16
21K
index_1__l42_index_1.depv1
2021-07-25 20:57
216
index_1__l42_index_1.depvmin1
2021-07-25 21:03
176
index_1__l42_index_1.vmin1
2021-07-25 20:57
4.6K
index_1__l42_index_1.vmin1out
2021-07-25 20:59
30K
index_1__l42_index_1.vout
2021-07-25 20:43
75K
index_1__t1_index_1
2021-07-18 11:02
33K
index_1__t1_index_1.vout
2021-07-25 16:51
4.7K
index_1__t2_index_1
2021-07-18 11:03
22K
index_1__t2_index_1.vout
2021-07-25 19:50
4.1K
index_1__t3_index_1
2021-07-18 11:03
21K
index_1__t3_index_1.depv1
2021-07-25 20:57
149
index_1__t3_index_1.depvmin1
2021-07-25 21:03
149
index_1__t3_index_1.vmin1
2021-07-25 20:57
2.5K
index_1__t3_index_1.vmin1out
2021-07-25 20:58
81K
index_1__t3_index_1.vout
2021-07-25 17:14
81K
index_1__t4_index_1
2021-07-18 11:03
24K
index_1__t4_index_1.vout
2021-07-25 18:06
2.0K
index_1__t5_index_1
2021-07-18 11:00
22K
index_1__t5_index_1.depv1
2021-07-25 20:57
188
index_1__t5_index_1.depvmin1
2021-07-25 21:03
140
index_1__t5_index_1.vmin1
2021-07-25 20:57
2.6K
index_1__t5_index_1.vmin1out
2021-07-25 21:00
25K
index_1__t5_index_1.vout
2021-07-25 15:49
26K
index_1__t6_index_1
2021-07-18 11:04
42K
index_1__t6_index_1.vout
2021-07-25 18:45
4.7K
index_1__t7_index_1
2021-07-18 11:04
45K
index_1__t7_index_1.vout
2021-07-25 14:37
4.7K
index_1__t8_index_1
2021-07-18 11:01
20K
index_1__t8_index_1.vout
2021-07-25 15:08
4.1K
index_1__t9_index_1
2021-07-18 11:04
32K
index_1__t9_index_1.vout
2021-07-25 20:40
7.3K
index_1__t10_index_1
2021-07-18 11:05
32K
index_1__t10_index_1.vout
2021-07-25 17:59
7.3K
index_1__t11_index_1
2021-07-18 11:05
34K
index_1__t11_index_1.vout
2021-07-25 18:09
5.8K
index_1__t12_index_1
2021-07-18 11:01
22K
index_1__t12_index_1.depv1
2021-07-25 20:57
48
index_1__t12_index_1.depvmin1
2021-07-25 21:03
24
index_1__t12_index_1.vmin1
2021-07-25 20:57
1.0K
index_1__t12_index_1.vmin1out
2021-07-25 21:01
9.7K
index_1__t12_index_1.vout
2021-07-25 16:15
11K
index_1__t13_index_1
2021-07-18 11:01
25K
index_1__t13_index_1.vout
2021-07-25 19:28
2.0K
index_1__t14_index_1
2021-07-18 11:06
35K
index_1__t14_index_1.vout
2021-07-25 20:02
4.7K
index_1__t15_index_1
2021-07-18 11:06
46K
index_1__t15_index_1.vout
2021-07-25 17:34
4.7K
index_1__t16_index_1
2021-07-18 11:07
52K
index_1__t16_index_1.vout
2021-07-25 18:58
5.8K
index_1__t17_index_1
2021-07-18 11:07
45K
index_1__t17_index_1.vout
2021-07-25 16:01
5.8K
index_1__t18_index_1
2021-07-18 11:07
47K
index_1__t18_index_1.vout
2021-07-25 15:12
4.7K
index_1__t19_index_1
2021-07-18 11:02
22K
index_1__t19_index_1.depv1
2021-07-25 20:57
164
index_1__t19_index_1.depvmin1
2021-07-25 21:03
164
index_1__t19_index_1.vmin1
2021-07-25 20:57
4.7K
index_1__t19_index_1.vmin1out
2021-07-25 21:02
34K
index_1__t19_index_1.vout
2021-07-25 15:17
70K
index_1__t20_index_1
2021-07-18 11:08
33K
index_1__t20_index_1.vout
2021-07-25 19:35
7.3K
index_1__t21_index_1
2021-07-18 11:08
31K
index_1__t21_index_1.vout
2021-07-25 20:47
7.3K
index_1__t22_index_1
2021-07-18 11:09
33K
index_1__t22_index_1.vout
2021-07-25 18:38
4.1K
index_1__t23_index_1
2021-07-18 11:09
33K
index_1__t23_index_1.vout
2021-07-25 15:15
4.1K
index_1__t24_index_1
2021-07-18 11:09
34K
index_1__t24_index_1.vout
2021-07-25 16:40
4.1K
index_1__t25_index_1
2021-07-18 11:10
23K
index_1__t25_index_1.depv1
2021-07-25 20:57
202
index_1__t25_index_1.depvmin1
2021-07-25 21:03
202
index_1__t25_index_1.vmin1
2021-07-25 20:57
5.4K
index_1__t25_index_1.vmin1out
2021-07-25 21:02
85K
index_1__t25_index_1.vout
2021-07-25 17:47
47K
index_1__t26_index_1
2021-07-18 11:10
31K
index_1__t26_index_1.vout
2021-07-25 20:16
4.1K
index_1__t27_index_1
2021-07-18 11:10
28K
index_1__t27_index_1.vout
2021-07-25 19:59
4.1K
index_1__t28_index_1
2021-07-18 11:11
36K
index_1__t28_index_1.vout
2021-07-25 20:41
4.1K
index_1__t29_index_1
2021-07-18 11:11
24K
index_1__t29_index_1.vout
2021-07-25 14:51
3.2K
index_1__t30_index_1
2021-07-18 11:11
24K
index_1__t30_index_1.depv1
2021-07-25 20:57
236
index_1__t30_index_1.depvmin1
2021-07-25 21:03
236
index_1__t30_index_1.vmin1
2021-07-25 20:57
6.6K
index_1__t30_index_1.vmin1out
2021-07-25 20:59
116K
index_1__t30_index_1.vout
2021-07-25 16:49
78K
index_1__t31_index_1
2021-07-18 11:12
29K
index_1__t31_index_1.vout
2021-07-25 14:54
4.2K
index_1__t32_index_1
2021-07-18 11:12
30K
index_1__t32_index_1.vout
2021-07-25 18:11
4.1K
index_1__t33_index_1
2021-07-18 11:12
37K
index_1__t33_index_1.vout
2021-07-25 17:59
4.1K
index_1__t34_index_1
2021-07-18 11:13
37K
index_1__t34_index_1.vout
2021-07-25 16:32
4.1K
index_1__t35_index_1
2021-07-18 11:13
39K
index_1__t35_index_1.vout
2021-07-25 20:35
4.1K
index_1__t36_index_1
2021-07-18 11:14
25K
index_1__t36_index_1.vout
2021-07-25 18:06
3.2K
index_1__t37_index_1
2021-07-18 11:14
38K
index_1__t37_index_1.vout
2021-07-25 18:29
4.1K
index_1__t38_index_1
2021-07-18 11:14
24K
index_1__t38_index_1.depv1
2021-07-25 20:57
230
index_1__t38_index_1.depvmin1
2021-07-25 21:03
216
index_1__t38_index_1.vmin1
2021-07-25 20:57
6.4K
index_1__t38_index_1.vmin1out
2021-07-25 21:00
183K
index_1__t38_index_1.vout
2021-07-25 17:09
130K
index_1__t39_index_1
2021-07-18 11:02
18K
index_1__t39_index_1.depv1
2021-07-25 20:57
24
index_1__t39_index_1.depvmin1
2021-07-25 21:03
24
index_1__t39_index_1.vmin1
2021-07-25 20:57
701
index_1__t39_index_1.vmin1out
2021-07-25 21:01
6.4K
index_1__t39_index_1.vout
2021-07-25 14:42
5.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}