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