Index of /~mptp/mml5.63.1382/MPTP2/problems_small/dtconstr
Name
Last modified
Size
Description
Parent Directory
-
dtconstr__t18_dtconstr.vout
2021-07-25 19:56
5.9K
dtconstr__t18_dtconstr
2021-07-18 06:05
86K
dtconstr__t17_dtconstr.vout
2021-07-25 16:47
8.4K
dtconstr__t17_dtconstr
2021-07-18 06:04
92K
dtconstr__t16_dtconstr.vout
2021-07-25 15:14
5.9K
dtconstr__t16_dtconstr
2021-07-18 06:04
86K
dtconstr__t15_dtconstr.vout
2021-07-25 19:47
8.4K
dtconstr__t15_dtconstr
2021-07-18 06:03
92K
dtconstr__t14_dtconstr.vout
2021-07-25 18:48
5.3K
dtconstr__t14_dtconstr
2021-07-18 06:02
63K
dtconstr__t13_dtconstr.vout
2021-07-25 16:07
7.4K
dtconstr__t13_dtconstr
2021-07-18 06:01
68K
dtconstr__t12_dtconstr.vout
2021-07-25 19:51
23K
dtconstr__t12_dtconstr.vmin1out
2021-07-25 21:01
22K
dtconstr__t12_dtconstr.vmin1
2021-07-25 20:57
2.6K
dtconstr__t12_dtconstr.depvmin1
2021-07-25 21:03
164
dtconstr__t12_dtconstr.depv1
2021-07-25 20:57
164
dtconstr__t12_dtconstr
2021-07-18 06:01
39K
dtconstr__t11_dtconstr.vout
2021-07-25 20:38
5.9K
dtconstr__t11_dtconstr
2021-07-18 06:00
77K
dtconstr__t10_dtconstr.vout
2021-07-25 17:11
6.8K
dtconstr__t10_dtconstr
2021-07-18 06:00
56K
dtconstr__t9_dtconstr.vout
2021-07-25 17:00
7.9K
dtconstr__t9_dtconstr
2021-07-18 05:59
55K
dtconstr__t8_dtconstr.vout
2021-07-25 15:14
24K
dtconstr__t8_dtconstr.vmin1out
2021-07-25 20:58
18K
dtconstr__t8_dtconstr.vmin1
2021-07-25 20:57
1.1K
dtconstr__t8_dtconstr.depvmin1
2021-07-25 21:03
84
dtconstr__t8_dtconstr.depv1
2021-07-25 20:57
84
dtconstr__t8_dtconstr
2021-07-18 05:58
26K
dtconstr__t7_dtconstr.vout
2021-07-25 17:28
26K
dtconstr__t7_dtconstr.vmin1out
2021-07-25 21:01
12K
dtconstr__t7_dtconstr.vmin1
2021-07-25 20:57
1.7K
dtconstr__t7_dtconstr.depvmin1
2021-07-25 21:03
216
dtconstr__t7_dtconstr.depv1
2021-07-25 20:57
216
dtconstr__t7_dtconstr
2021-07-18 05:58
32K
dtconstr__t6_dtconstr.vout
2021-07-25 16:45
7.3K
dtconstr__t6_dtconstr
2021-07-18 05:58
44K
dtconstr__t5_dtconstr.vout
2021-07-25 17:41
6.8K
dtconstr__t5_dtconstr
2021-07-18 05:57
42K
dtconstr__t4_dtconstr.vout
2021-07-25 19:04
7.9K
dtconstr__t4_dtconstr
2021-07-18 05:57
35K
dtconstr__t3_dtconstr.vout
2021-07-25 19:25
11K
dtconstr__t3_dtconstr.vmin1out
2021-07-25 20:59
11K
dtconstr__t3_dtconstr.vmin1
2021-07-25 20:57
1.2K
dtconstr__t3_dtconstr.depvmin1
2021-07-25 21:03
135
dtconstr__t3_dtconstr.depv1
2021-07-25 20:57
159
dtconstr__t3_dtconstr
2021-07-18 05:49
27K
dtconstr__t2_dtconstr.vout
2021-07-25 19:02
19K
dtconstr__t2_dtconstr.vmin1out
2021-07-25 21:01
19K
dtconstr__t2_dtconstr.vmin1
2021-07-25 20:57
1.3K
dtconstr__t2_dtconstr.depvmin1
2021-07-25 21:03
148
dtconstr__t2_dtconstr.depv1
2021-07-25 20:57
148
dtconstr__t2_dtconstr
2021-07-18 05:56
35K
dtconstr__t1_dtconstr.vout
2021-07-25 17:47
6.0K
dtconstr__t1_dtconstr.vmin1out
2021-07-25 21:00
4.4K
dtconstr__t1_dtconstr.vmin1
2021-07-25 20:57
503
dtconstr__t1_dtconstr.depvmin1
2021-07-25 21:03
47
dtconstr__t1_dtconstr.depv1
2021-07-25 20:57
47
dtconstr__t1_dtconstr
2021-07-18 05:56
29K
dtconstr__l43_dtconstr.vout
2021-07-25 15:57
4.7K
dtconstr__l43_dtconstr
2021-07-18 06:09
69K
dtconstr__l42_dtconstr.vout
2021-07-25 17:25
50K
dtconstr__l42_dtconstr.vmin1out
2021-07-25 21:00
40K
dtconstr__l42_dtconstr.vmin1
2021-07-25 20:57
4.7K
dtconstr__l42_dtconstr.depvmin1
2021-07-25 21:03
400
dtconstr__l42_dtconstr.depv1
2021-07-25 20:57
400
dtconstr__l42_dtconstr
2021-07-18 06:08
56K
dtconstr__l36_dtconstr.vout
2021-07-25 20:14
13K
dtconstr__l36_dtconstr.vmin1out
2021-07-25 21:02
12K
dtconstr__l36_dtconstr.vmin1
2021-07-25 20:57
1.5K
dtconstr__l36_dtconstr.depvmin1
2021-07-25 21:03
190
dtconstr__l36_dtconstr.depv1
2021-07-25 20:57
190
dtconstr__l36_dtconstr
2021-07-18 05:55
32K
dtconstr__l35_dtconstr.vout
2021-07-25 19:32
13K
dtconstr__l35_dtconstr.vmin1out
2021-07-25 21:00
13K
dtconstr__l35_dtconstr.vmin1
2021-07-25 20:57
1.5K
dtconstr__l35_dtconstr.depvmin1
2021-07-25 21:03
190
dtconstr__l35_dtconstr.depv1
2021-07-25 20:57
190
dtconstr__l35_dtconstr
2021-07-18 05:54
32K
dtconstr__l31_dtconstr.vout
2021-07-25 14:59
5.9K
dtconstr__l31_dtconstr
2021-07-18 06:07
56K
dtconstr__l27_dtconstr.vout
2021-07-25 20:31
17K
dtconstr__l27_dtconstr.vmin1out
2021-07-25 20:59
17K
dtconstr__l27_dtconstr.vmin1
2021-07-25 20:57
1.8K
dtconstr__l27_dtconstr.depvmin1
2021-07-25 21:03
102
dtconstr__l27_dtconstr.depv1
2021-07-25 20:57
102
dtconstr__l27_dtconstr
2021-07-18 05:54
42K
dtconstr__l26_dtconstr.vout
2021-07-25 18:07
10K
dtconstr__l26_dtconstr
2021-07-18 05:54
32K
dtconstr__l25_dtconstr.vout
2021-07-25 16:18
5.3K
dtconstr__l25_dtconstr
2021-07-18 06:07
34K
dtconstr__l24_dtconstr.vout
2021-07-25 20:45
8.3K
dtconstr__l24_dtconstr.vmin1out
2021-07-25 21:00
6.9K
dtconstr__l24_dtconstr.vmin1
2021-07-25 20:57
960
dtconstr__l24_dtconstr.depvmin1
2021-07-25 21:03
159
dtconstr__l24_dtconstr.depv1
2021-07-25 20:57
159
dtconstr__l24_dtconstr
2021-07-18 05:53
32K
dtconstr__l23_dtconstr.vout
2021-07-25 18:29
13K
dtconstr__l23_dtconstr.vmin1out
2021-07-25 21:02
13K
dtconstr__l23_dtconstr.vmin1
2021-07-25 20:57
1.5K
dtconstr__l23_dtconstr.depvmin1
2021-07-25 21:03
238
dtconstr__l23_dtconstr.depv1
2021-07-25 20:57
238
dtconstr__l23_dtconstr
2021-07-18 05:53
36K
dtconstr__l22_dtconstr.vout
2021-07-25 14:38
10K
dtconstr__l22_dtconstr
2021-07-18 05:56
31K
dtconstr__l21_dtconstr.vout
2021-07-25 15:44
5.3K
dtconstr__l21_dtconstr
2021-07-18 06:06
38K
dtconstr__l20_dtconstr.vout
2021-07-25 16:09
12K
dtconstr__l20_dtconstr.vmin1out
2021-07-25 21:01
10K
dtconstr__l20_dtconstr.vmin1
2021-07-25 20:57
784
dtconstr__l20_dtconstr.depvmin1
2021-07-25 21:03
119
dtconstr__l20_dtconstr.depv1
2021-07-25 20:57
119
dtconstr__l20_dtconstr
2021-07-18 05:52
32K
dtconstr__l19_dtconstr.vout
2021-07-25 20:36
34K
dtconstr__l19_dtconstr.vmin1out
2021-07-25 21:00
34K
dtconstr__l19_dtconstr.vmin1
2021-07-25 20:57
3.1K
dtconstr__l19_dtconstr.depvmin1
2021-07-25 21:03
319
dtconstr__l19_dtconstr.depv1
2021-07-25 20:57
368
dtconstr__l19_dtconstr
2021-07-18 06:06
38K
dtconstr__l18_dtconstr.vout
2021-07-25 17:55
34K
dtconstr__l18_dtconstr.vmin1out
2021-07-25 21:02
24K
dtconstr__l18_dtconstr.vmin1
2021-07-25 20:57
961
dtconstr__l18_dtconstr.depvmin1
2021-07-25 21:03
93
dtconstr__l18_dtconstr.depv1
2021-07-25 20:57
93
dtconstr__l18_dtconstr
2021-07-18 05:55
31K
dtconstr__l17_dtconstr.vout
2021-07-25 18:21
22K
dtconstr__l17_dtconstr.vmin1out
2021-07-25 20:59
20K
dtconstr__l17_dtconstr.vmin1
2021-07-25 20:57
1.8K
dtconstr__l17_dtconstr.depvmin1
2021-07-25 21:03
194
dtconstr__l17_dtconstr.depv1
2021-07-25 20:57
225
dtconstr__l17_dtconstr
2021-07-18 05:52
37K
dtconstr__l16_dtconstr.vout
2021-07-25 18:37
19K
dtconstr__l16_dtconstr.vmin1out
2021-07-25 20:58
21K
dtconstr__l16_dtconstr.vmin1
2021-07-25 20:57
1.8K
dtconstr__l16_dtconstr.depvmin1
2021-07-25 21:03
226
dtconstr__l16_dtconstr.depv1
2021-07-25 20:57
238
dtconstr__l16_dtconstr
2021-07-18 05:51
37K
dtconstr__l15_dtconstr.vout
2021-07-25 16:57
22K
dtconstr__l15_dtconstr.vmin1out
2021-07-25 20:58
20K
dtconstr__l15_dtconstr.vmin1
2021-07-25 20:57
1.8K
dtconstr__l15_dtconstr.depvmin1
2021-07-25 21:03
194
dtconstr__l15_dtconstr.depv1
2021-07-25 20:57
225
dtconstr__l15_dtconstr
2021-07-18 05:51
37K
dtconstr__l14_dtconstr.vout
2021-07-25 18:32
19K
dtconstr__l14_dtconstr.vmin1out
2021-07-25 20:57
21K
dtconstr__l14_dtconstr.vmin1
2021-07-25 20:57
1.8K
dtconstr__l14_dtconstr.depvmin1
2021-07-25 21:03
226
dtconstr__l14_dtconstr.depv1
2021-07-25 20:57
238
dtconstr__l14_dtconstr
2021-07-18 05:51
37K
dtconstr__l13_dtconstr.vout
2021-07-25 15:21
16K
dtconstr__l13_dtconstr.vmin1out
2021-07-25 21:01
13K
dtconstr__l13_dtconstr.vmin1
2021-07-25 20:57
1.6K
dtconstr__l13_dtconstr.depvmin1
2021-07-25 21:03
178
dtconstr__l13_dtconstr.depv1
2021-07-25 20:57
226
dtconstr__l13_dtconstr
2021-07-18 05:50
32K
dtconstr__l12_dtconstr.vout
2021-07-25 20:47
11K
dtconstr__l12_dtconstr.vmin1out
2021-07-25 21:00
11K
dtconstr__l12_dtconstr.vmin1
2021-07-25 20:57
670
dtconstr__l12_dtconstr.depvmin1
2021-07-25 21:03
64
dtconstr__l12_dtconstr.depv1
2021-07-25 20:57
64
dtconstr__l12_dtconstr
2021-07-18 05:50
37K
dtconstr__l3_dtconstr.vout
2021-07-25 18:35
25K
dtconstr__l3_dtconstr.vmin1out
2021-07-25 20:58
47K
dtconstr__l3_dtconstr.vmin1
2021-07-25 20:57
2.3K
dtconstr__l3_dtconstr.depvmin1
2021-07-25 21:03
228
dtconstr__l3_dtconstr.depv1
2021-07-25 20:57
239
dtconstr__l3_dtconstr
2021-07-18 06:05
29K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80