Index of /~mptp/mml5.63.1382/MPTP2/problems_small/pre_topc
Name
Last modified
Size
Description
Parent Directory
-
pre_topc__t36_pre_topc.vout
2021-07-25 15:22
14K
pre_topc__t36_pre_topc.vmin1out
2021-07-25 21:02
24K
pre_topc__t36_pre_topc.vmin1
2021-07-25 20:57
1.5K
pre_topc__t36_pre_topc.depvmin1
2021-07-25 21:03
123
pre_topc__t36_pre_topc.depv1
2021-07-25 20:57
123
pre_topc__t36_pre_topc
2021-07-17 17:25
9.2K
pre_topc__t35_pre_topc.vout
2021-07-25 17:55
7.3K
pre_topc__t35_pre_topc
2021-07-17 17:25
5.7K
pre_topc__t34_pre_topc.vout
2021-07-25 16:56
65K
pre_topc__t34_pre_topc.vmin1out
2021-07-25 20:59
65K
pre_topc__t34_pre_topc.vmin1
2021-07-25 20:57
2.8K
pre_topc__t34_pre_topc.depvmin1
2021-07-25 21:03
124
pre_topc__t34_pre_topc.depv1
2021-07-25 20:57
124
pre_topc__t34_pre_topc
2021-07-17 17:25
7.2K
pre_topc__t33_pre_topc.vout
2021-07-25 19:14
52K
pre_topc__t33_pre_topc.vmin1out
2021-07-25 21:01
43K
pre_topc__t33_pre_topc.vmin1
2021-07-25 20:57
2.2K
pre_topc__t33_pre_topc.depvmin1
2021-07-25 21:03
123
pre_topc__t33_pre_topc.depv1
2021-07-25 20:57
123
pre_topc__t33_pre_topc
2021-07-17 17:25
6.9K
pre_topc__t32_pre_topc.vout
2021-07-25 15:23
54K
pre_topc__t32_pre_topc.vmin1out
2021-07-25 20:59
45K
pre_topc__t32_pre_topc.vmin1
2021-07-25 20:57
2.3K
pre_topc__t32_pre_topc.depvmin1
2021-07-25 21:03
138
pre_topc__t32_pre_topc.depv1
2021-07-25 20:57
138
pre_topc__t32_pre_topc
2021-07-17 17:24
6.9K
pre_topc__t31_pre_topc.vout
2021-07-25 18:14
3.8K
pre_topc__t31_pre_topc
2021-07-17 17:24
5.8K
pre_topc__t30_pre_topc.vout
2021-07-25 14:54
20K
pre_topc__t30_pre_topc.vmin1out
2021-07-25 21:01
24K
pre_topc__t30_pre_topc.vmin1
2021-07-25 20:57
1.5K
pre_topc__t30_pre_topc.depvmin1
2021-07-25 21:03
143
pre_topc__t30_pre_topc.depv1
2021-07-25 20:57
143
pre_topc__t30_pre_topc
2021-07-17 17:24
4.9K
pre_topc__t29_pre_topc.vout
2021-07-25 14:49
49K
pre_topc__t29_pre_topc.vmin1out
2021-07-25 20:58
43K
pre_topc__t29_pre_topc.vmin1
2021-07-25 20:57
2.1K
pre_topc__t29_pre_topc.depvmin1
2021-07-25 21:03
139
pre_topc__t29_pre_topc.depv1
2021-07-25 20:57
253
pre_topc__t29_pre_topc
2021-07-17 17:24
5.7K
pre_topc__t28_pre_topc.vout
2021-07-25 19:50
5.3K
pre_topc__t28_pre_topc
2021-07-17 17:19
4.4K
pre_topc__t27_pre_topc.vout
2021-07-25 19:17
7.3K
pre_topc__t27_pre_topc
2021-07-17 17:24
12K
pre_topc__t26_pre_topc.vout
2021-07-25 17:02
7.3K
pre_topc__t26_pre_topc
2021-07-17 17:23
8.1K
pre_topc__t25_pre_topc.vout
2021-07-25 19:01
22K
pre_topc__t25_pre_topc.vmin1out
2021-07-25 21:00
22K
pre_topc__t25_pre_topc.vmin1
2021-07-25 20:57
1.4K
pre_topc__t25_pre_topc.depvmin1
2021-07-25 21:03
110
pre_topc__t25_pre_topc.depv1
2021-07-25 20:57
110
pre_topc__t25_pre_topc
2021-07-17 17:23
8.3K
pre_topc__t24_pre_topc.vout
2021-07-25 19:12
44K
pre_topc__t24_pre_topc.vmin1out
2021-07-25 20:58
38K
pre_topc__t24_pre_topc.vmin1
2021-07-25 20:57
2.2K
pre_topc__t24_pre_topc.depvmin1
2021-07-25 21:03
123
pre_topc__t24_pre_topc.depv1
2021-07-25 20:57
204
pre_topc__t24_pre_topc
2021-07-17 17:18
7.1K
pre_topc__t23_pre_topc.vout
2021-07-25 16:43
2.0K
pre_topc__t23_pre_topc
2021-07-17 17:23
5.2K
pre_topc__t22_pre_topc.vout
2021-07-25 16:24
41K
pre_topc__t22_pre_topc.vmin1out
2021-07-25 20:59
38K
pre_topc__t22_pre_topc.vmin1
2021-07-25 20:57
2.5K
pre_topc__t22_pre_topc.depvmin1
2021-07-25 21:03
168
pre_topc__t22_pre_topc.depv1
2021-07-25 20:57
196
pre_topc__t22_pre_topc
2021-07-17 17:23
5.4K
pre_topc__t21_pre_topc.vout
2021-07-25 17:03
17K
pre_topc__t21_pre_topc.vmin1out
2021-07-25 21:02
13K
pre_topc__t21_pre_topc.vmin1
2021-07-25 20:57
1.4K
pre_topc__t21_pre_topc.depvmin1
2021-07-25 21:03
133
pre_topc__t21_pre_topc.depv1
2021-07-25 20:57
159
pre_topc__t21_pre_topc
2021-07-17 17:22
5.0K
pre_topc__t20_pre_topc.vout
2021-07-25 19:14
6.8K
pre_topc__t20_pre_topc
2021-07-17 17:22
8.8K
pre_topc__t19_pre_topc.vout
2021-07-25 15:10
7.4K
pre_topc__t19_pre_topc
2021-07-17 17:22
4.0K
pre_topc__t18_pre_topc.vout
2021-07-25 17:21
16K
pre_topc__t18_pre_topc.vmin1out
2021-07-25 20:58
11K
pre_topc__t18_pre_topc.vmin1
2021-07-25 20:57
817
pre_topc__t18_pre_topc.depvmin1
2021-07-25 21:03
69
pre_topc__t18_pre_topc.depv1
2021-07-25 20:57
69
pre_topc__t18_pre_topc
2021-07-17 17:22
3.9K
pre_topc__t17_pre_topc.vout
2021-07-25 18:56
6.8K
pre_topc__t17_pre_topc
2021-07-17 17:22
6.4K
pre_topc__t16_pre_topc.vout
2021-07-25 17:24
6.8K
pre_topc__t16_pre_topc
2021-07-17 17:22
5.8K
pre_topc__t15_pre_topc.vout
2021-07-25 18:24
7.4K
pre_topc__t15_pre_topc
2021-07-17 17:21
5.9K
pre_topc__t14_pre_topc.vout
2021-07-25 16:30
7.4K
pre_topc__t14_pre_topc
2021-07-17 17:21
8.1K
pre_topc__t13_pre_topc.vout
2021-07-25 16:46
6.8K
pre_topc__t13_pre_topc
2021-07-17 17:21
6.7K
pre_topc__t12_pre_topc.vout
2021-07-25 20:48
9.7K
pre_topc__t12_pre_topc.vmin1out
2021-07-25 21:02
9.6K
pre_topc__t12_pre_topc.vmin1
2021-07-25 20:57
876
pre_topc__t12_pre_topc.depvmin1
2021-07-25 21:03
87
pre_topc__t12_pre_topc.depv1
2021-07-25 20:57
87
pre_topc__t12_pre_topc
2021-07-17 17:21
3.7K
pre_topc__t11_pre_topc.vout
2021-07-25 20:09
20K
pre_topc__t11_pre_topc.vmin1out
2021-07-25 20:59
20K
pre_topc__t11_pre_topc.vmin1
2021-07-25 20:57
1.1K
pre_topc__t11_pre_topc.depvmin1
2021-07-25 21:03
89
pre_topc__t11_pre_topc.depv1
2021-07-25 20:57
89
pre_topc__t11_pre_topc
2021-07-17 17:20
5.2K
pre_topc__t10_pre_topc.vout
2021-07-25 16:56
48K
pre_topc__t10_pre_topc.vmin1out
2021-07-25 21:01
57K
pre_topc__t10_pre_topc.vmin1
2021-07-25 20:57
1.4K
pre_topc__t10_pre_topc.depvmin1
2021-07-25 21:03
94
pre_topc__t10_pre_topc.depv1
2021-07-25 20:57
94
pre_topc__t10_pre_topc
2021-07-17 17:20
5.9K
pre_topc__t9_pre_topc.vout
2021-07-25 20:12
29K
pre_topc__t9_pre_topc.vmin1out
2021-07-25 21:01
29K
pre_topc__t9_pre_topc.vmin1
2021-07-25 20:57
2.1K
pre_topc__t9_pre_topc.depvmin1
2021-07-25 21:03
152
pre_topc__t9_pre_topc.depv1
2021-07-25 20:57
152
pre_topc__t9_pre_topc
2021-07-17 17:20
10K
pre_topc__t8_pre_topc.vout
2021-07-25 20:03
7.5K
pre_topc__t8_pre_topc.vmin1out
2021-07-25 20:59
10K
pre_topc__t8_pre_topc.vmin1
2021-07-25 20:57
857
pre_topc__t8_pre_topc.depvmin1
2021-07-25 21:03
81
pre_topc__t8_pre_topc.depv1
2021-07-25 20:57
81
pre_topc__t8_pre_topc
2021-07-17 17:20
4.8K
pre_topc__t7_pre_topc.vout
2021-07-25 19:55
7.3K
pre_topc__t7_pre_topc
2021-07-17 17:20
7.1K
pre_topc__t6_pre_topc.vout
2021-07-25 17:09
5.4K
pre_topc__t6_pre_topc.vmin1out
2021-07-25 20:58
5.4K
pre_topc__t6_pre_topc.vmin1
2021-07-25 20:57
664
pre_topc__t6_pre_topc.depvmin1
2021-07-25 21:03
79
pre_topc__t6_pre_topc.depv1
2021-07-25 20:57
79
pre_topc__t6_pre_topc
2021-07-17 17:18
4.1K
pre_topc__t5_pre_topc.vout
2021-07-25 16:35
18K
pre_topc__t5_pre_topc.vmin1out
2021-07-25 21:02
17K
pre_topc__t5_pre_topc.vmin1
2021-07-25 20:57
1.2K
pre_topc__t5_pre_topc.depvmin1
2021-07-25 21:03
162
pre_topc__t5_pre_topc.depv1
2021-07-25 20:57
162
pre_topc__t5_pre_topc
2021-07-17 17:19
5.3K
pre_topc__t4_pre_topc.vout
2021-07-25 16:40
17K
pre_topc__t4_pre_topc.vmin1out
2021-07-25 21:00
15K
pre_topc__t4_pre_topc.vmin1
2021-07-25 20:57
1.0K
pre_topc__t4_pre_topc.depvmin1
2021-07-25 21:03
122
pre_topc__t4_pre_topc.depv1
2021-07-25 20:57
122
pre_topc__t4_pre_topc
2021-07-17 17:19
4.2K
pre_topc__t3_pre_topc.vout
2021-07-25 19:26
13K
pre_topc__t3_pre_topc.vmin1out
2021-07-25 20:58
13K
pre_topc__t3_pre_topc.vmin1
2021-07-25 20:57
957
pre_topc__t3_pre_topc.depvmin1
2021-07-25 21:03
126
pre_topc__t3_pre_topc.depv1
2021-07-25 20:57
126
pre_topc__t3_pre_topc
2021-07-17 17:19
4.9K
pre_topc__t2_pre_topc.vout
2021-07-25 16:12
4.5K
pre_topc__t2_pre_topc.vmin1out
2021-07-25 21:01
4.5K
pre_topc__t2_pre_topc.vmin1
2021-07-25 20:57
492
pre_topc__t2_pre_topc.depvmin1
2021-07-25 21:03
49
pre_topc__t2_pre_topc.depv1
2021-07-25 20:57
49
pre_topc__t2_pre_topc
2021-07-17 17:19
5.3K
pre_topc__t1_pre_topc.vout
2021-07-25 20:22
13K
pre_topc__t1_pre_topc.vmin1out
2021-07-25 20:58
11K
pre_topc__t1_pre_topc.vmin1
2021-07-25 20:57
1.0K
pre_topc__t1_pre_topc.depvmin1
2021-07-25 21:03
83
pre_topc__t1_pre_topc.depv1
2021-07-25 20:57
83
pre_topc__t1_pre_topc
2021-07-17 17:19
5.2K
pre_topc__l11_pre_topc.vout
2021-07-25 18:42
58K
pre_topc__l11_pre_topc.vmin1out
2021-07-25 21:02
42K
pre_topc__l11_pre_topc.vmin1
2021-07-25 20:57
2.5K
pre_topc__l11_pre_topc.depvmin1
2021-07-25 21:03
250
pre_topc__l11_pre_topc.depv1
2021-07-25 20:57
324
pre_topc__l11_pre_topc
2021-07-17 17:25
5.6K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80