Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/domain_1
Name
Last modified
Size
Description
Parent Directory
-
domain_1__l9_domain_1
2024-07-28 10:55
6.0K
domain_1__l9_domain_1.depv1
2024-08-03 10:19
212
domain_1__l9_domain_1.depvmin1
2024-08-03 10:24
200
domain_1__l9_domain_1.vmin1
2024-08-03 10:19
2.4K
domain_1__l9_domain_1.vmin1out
2024-08-03 10:23
20K
domain_1__l9_domain_1.vout
2024-08-03 09:00
21K
domain_1__l18_domain_1
2024-07-28 10:55
7.8K
domain_1__l18_domain_1.depv1
2024-08-03 10:19
278
domain_1__l18_domain_1.depvmin1
2024-08-03 10:24
278
domain_1__l18_domain_1.vmin1
2024-08-03 10:19
3.6K
domain_1__l18_domain_1.vmin1out
2024-08-03 10:20
31K
domain_1__l18_domain_1.vout
2024-08-03 07:14
31K
domain_1__t1_domain_1
2024-07-28 10:56
3.1K
domain_1__t1_domain_1.depv1
2024-08-03 10:19
57
domain_1__t1_domain_1.depvmin1
2024-08-03 10:24
57
domain_1__t1_domain_1.vmin1
2024-08-03 10:19
658
domain_1__t1_domain_1.vmin1out
2024-08-03 10:21
12K
domain_1__t1_domain_1.vout
2024-08-03 06:00
11K
domain_1__t2_domain_1
2024-07-28 10:56
3.4K
domain_1__t2_domain_1.depv1
2024-08-03 10:19
47
domain_1__t2_domain_1.depvmin1
2024-08-03 10:24
47
domain_1__t2_domain_1.vmin1
2024-08-03 10:19
668
domain_1__t2_domain_1.vmin1out
2024-08-03 10:23
11K
domain_1__t2_domain_1.vout
2024-08-03 09:26
11K
domain_1__t3_domain_1
2024-07-28 10:57
4.4K
domain_1__t3_domain_1.depv1
2024-08-03 10:19
134
domain_1__t3_domain_1.depvmin1
2024-08-03 10:24
91
domain_1__t3_domain_1.vmin1
2024-08-03 10:19
1.3K
domain_1__t3_domain_1.vmin1out
2024-08-03 10:22
29K
domain_1__t3_domain_1.vout
2024-08-03 08:39
36K
domain_1__t4_domain_1
2024-07-28 10:58
4.6K
domain_1__t4_domain_1.vout
2024-08-03 04:22
7.3K
domain_1__t5_domain_1
2024-07-28 10:50
4.1K
domain_1__t5_domain_1.vout
2024-08-03 06:32
7.3K
domain_1__t6_domain_1
2024-07-28 10:51
5.0K
domain_1__t6_domain_1.depv1
2024-08-03 10:19
86
domain_1__t6_domain_1.depvmin1
2024-08-03 10:24
86
domain_1__t6_domain_1.vmin1
2024-08-03 10:19
1.3K
domain_1__t6_domain_1.vmin1out
2024-08-03 10:20
38K
domain_1__t6_domain_1.vout
2024-08-03 04:32
37K
domain_1__t7_domain_1
2024-07-28 10:51
5.3K
domain_1__t7_domain_1.depv1
2024-08-03 10:19
282
domain_1__t7_domain_1.depvmin1
2024-08-03 10:24
136
domain_1__t7_domain_1.vmin1
2024-08-03 10:19
3.0K
domain_1__t7_domain_1.vmin1out
2024-08-03 10:20
33K
domain_1__t7_domain_1.vout
2024-08-03 08:49
51K
domain_1__t8_domain_1
2024-07-28 10:52
4.9K
domain_1__t8_domain_1.depv1
2024-08-03 10:19
86
domain_1__t8_domain_1.depvmin1
2024-08-03 10:24
86
domain_1__t8_domain_1.vmin1
2024-08-03 10:19
1.3K
domain_1__t8_domain_1.vmin1out
2024-08-03 10:20
38K
domain_1__t8_domain_1.vout
2024-08-03 04:17
37K
domain_1__t9_domain_1
2024-07-28 10:58
6.4K
domain_1__t9_domain_1.depv1
2024-08-03 10:19
120
domain_1__t9_domain_1.depvmin1
2024-08-03 10:24
120
domain_1__t9_domain_1.vmin1
2024-08-03 10:19
1.5K
domain_1__t9_domain_1.vmin1out
2024-08-03 10:22
20K
domain_1__t9_domain_1.vout
2024-08-03 05:57
21K
domain_1__t10_domain_1
2024-07-28 10:59
6.2K
domain_1__t10_domain_1.vout
2024-08-03 10:02
6.8K
domain_1__t11_domain_1
2024-07-28 11:00
6.4K
domain_1__t11_domain_1.vout
2024-08-03 07:45
6.8K
domain_1__t12_domain_1
2024-07-28 10:52
4.8K
domain_1__t12_domain_1.vout
2024-08-03 10:16
7.3K
domain_1__t13_domain_1
2024-07-28 10:53
5.9K
domain_1__t13_domain_1.vout
2024-08-03 04:16
7.4K
domain_1__t14_domain_1
2024-07-28 10:53
6.2K
domain_1__t14_domain_1.depv1
2024-08-03 10:19
137
domain_1__t14_domain_1.depvmin1
2024-08-03 10:24
137
domain_1__t14_domain_1.vmin1
2024-08-03 10:19
2.0K
domain_1__t14_domain_1.vmin1out
2024-08-03 10:20
68K
domain_1__t14_domain_1.vout
2024-08-03 06:07
49K
domain_1__t15_domain_1
2024-07-28 10:54
6.3K
domain_1__t15_domain_1.depv1
2024-08-03 10:19
136
domain_1__t15_domain_1.depvmin1
2024-08-03 10:24
136
domain_1__t15_domain_1.vmin1
2024-08-03 10:19
2.0K
domain_1__t15_domain_1.vmin1out
2024-08-03 10:21
68K
domain_1__t15_domain_1.vout
2024-08-03 04:08
48K
domain_1__t16_domain_1
2024-07-28 10:54
5.8K
domain_1__t16_domain_1.vout
2024-08-03 08:04
7.3K
domain_1__t17_domain_1
2024-07-28 11:00
8.3K
domain_1__t17_domain_1.depv1
2024-08-03 10:19
231
domain_1__t17_domain_1.depvmin1
2024-08-03 10:24
231
domain_1__t17_domain_1.vmin1
2024-08-03 10:19
2.6K
domain_1__t17_domain_1.vmin1out
2024-08-03 10:21
51K
domain_1__t17_domain_1.vout
2024-08-03 07:26
51K
domain_1__t18_domain_1
2024-07-28 11:01
3.9K
domain_1__t18_domain_1.depv1
2024-08-03 10:19
102
domain_1__t18_domain_1.depvmin1
2024-08-03 10:24
102
domain_1__t18_domain_1.vmin1
2024-08-03 10:19
628
domain_1__t18_domain_1.vmin1out
2024-08-03 10:23
6.8K
domain_1__t18_domain_1.vout
2024-08-03 06:38
8.6K
domain_1__t19_domain_1
2024-07-28 11:01
6.6K
domain_1__t19_domain_1.depv1
2024-08-03 10:19
232
domain_1__t19_domain_1.depvmin1
2024-08-03 10:24
232
domain_1__t19_domain_1.vmin1
2024-08-03 10:19
2.0K
domain_1__t19_domain_1.vmin1out
2024-08-03 10:20
16K
domain_1__t19_domain_1.vout
2024-08-03 05:56
22K
domain_1__t20_domain_1
2024-07-28 11:02
8.4K
domain_1__t20_domain_1.vout
2024-08-03 10:14
7.9K
domain_1__t21_domain_1
2024-07-28 11:03
10K
domain_1__t21_domain_1.vout
2024-08-03 09:19
7.9K
domain_1__t22_domain_1
2024-07-28 11:03
3.9K
domain_1__t22_domain_1.depv1
2024-08-03 10:19
109
domain_1__t22_domain_1.depvmin1
2024-08-03 10:24
80
domain_1__t22_domain_1.vmin1
2024-08-03 10:19
1.0K
domain_1__t22_domain_1.vmin1out
2024-08-03 10:21
14K
domain_1__t22_domain_1.vout
2024-08-03 05:43
15K
domain_1__t23_domain_1
2024-07-28 11:04
7.4K
domain_1__t23_domain_1.vout
2024-08-03 06:21
3.7K
domain_1__t24_domain_1
2024-07-28 11:05
10K
domain_1__t24_domain_1.vout
2024-08-03 05:20
3.7K
domain_1__t25_domain_1
2024-07-28 11:05
12K
domain_1__t25_domain_1.vout
2024-08-03 04:15
3.7K
domain_1__t26_domain_1
2024-07-28 11:06
4.1K
domain_1__t26_domain_1.depv1
2024-08-03 10:19
126
domain_1__t26_domain_1.depvmin1
2024-08-03 10:24
126
domain_1__t26_domain_1.vmin1
2024-08-03 10:19
786
domain_1__t26_domain_1.vmin1out
2024-08-03 10:23
6.3K
domain_1__t26_domain_1.vout
2024-08-03 07:15
5.9K
domain_1__t27_domain_1
2024-07-28 11:06
5.0K
domain_1__t27_domain_1.depv1
2024-08-03 10:19
114
domain_1__t27_domain_1.depvmin1
2024-08-03 10:24
104
domain_1__t27_domain_1.vmin1
2024-08-03 10:19
1.1K
domain_1__t27_domain_1.vmin1out
2024-08-03 10:20
21K
domain_1__t27_domain_1.vout
2024-08-03 05:10
24K
domain_1__t28_domain_1
2024-07-28 11:07
5.1K
domain_1__t28_domain_1.vout
2024-08-03 09:31
6.8K
domain_1__t29_domain_1
2024-07-28 11:07
5.5K
domain_1__t29_domain_1.vout
2024-08-03 08:33
7.3K
domain_1__t30_domain_1
2024-07-28 11:08
4.8K
domain_1__t30_domain_1.vout
2024-08-03 04:30
6.8K
domain_1__t31_domain_1
2024-07-28 11:08
5.1K
domain_1__t31_domain_1.vout
2024-08-03 07:42
6.8K
domain_1__t32_domain_1
2024-07-28 11:09
6.3K
domain_1__t32_domain_1.vout
2024-08-03 06:41
6.8K
domain_1__t33_domain_1
2024-07-28 11:09
6.2K
domain_1__t33_domain_1.vout
2024-08-03 04:53
6.8K
domain_1__t34_domain_1
2024-07-28 11:10
6.2K
domain_1__t34_domain_1.vout
2024-08-03 09:41
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80