Index of /~mptp/mml5.63.1382/MPTP2/problems_small/mod_2
Name
Last modified
Size
Description
Parent Directory
-
mod_2__t29_mod_2.vout
2021-07-25 20:14
32K
mod_2__t29_mod_2.vmin1out
2021-07-25 20:59
29K
mod_2__t29_mod_2.vmin1
2021-07-25 20:57
3.1K
mod_2__t29_mod_2.depvmin1
2021-07-25 21:03
252
mod_2__t29_mod_2.depv1
2021-07-25 20:57
252
mod_2__t29_mod_2
2021-07-18 09:28
22K
mod_2__t28_mod_2.vout
2021-07-25 16:45
15K
mod_2__t28_mod_2.vmin1out
2021-07-25 20:57
15K
mod_2__t28_mod_2.vmin1
2021-07-25 20:57
1.2K
mod_2__t28_mod_2.depvmin1
2021-07-25 21:03
97
mod_2__t28_mod_2.depv1
2021-07-25 20:57
97
mod_2__t28_mod_2
2021-07-18 09:28
7.2K
mod_2__t27_mod_2.vout
2021-07-25 17:46
8.7K
mod_2__t27_mod_2
2021-07-18 09:28
33K
mod_2__t26_mod_2.vout
2021-07-25 20:02
6.7K
mod_2__t26_mod_2
2021-07-18 09:27
22K
mod_2__t25_mod_2.vout
2021-07-25 20:35
6.8K
mod_2__t25_mod_2
2021-07-18 09:27
4.5K
mod_2__t24_mod_2.vout
2021-07-25 17:39
51K
mod_2__t24_mod_2.vmin1out
2021-07-25 21:01
46K
mod_2__t24_mod_2.vmin1
2021-07-25 20:57
2.7K
mod_2__t24_mod_2.depvmin1
2021-07-25 21:03
149
mod_2__t24_mod_2.depv1
2021-07-25 20:57
218
mod_2__t24_mod_2
2021-07-18 09:27
22K
mod_2__t23_mod_2.vout
2021-07-25 19:11
4.7K
mod_2__t23_mod_2
2021-07-18 09:26
23K
mod_2__t22_mod_2.vout
2021-07-25 16:06
56K
mod_2__t22_mod_2.vmin1out
2021-07-25 21:01
60K
mod_2__t22_mod_2.vmin1
2021-07-25 20:57
4.1K
mod_2__t22_mod_2.depvmin1
2021-07-25 21:03
294
mod_2__t22_mod_2.depv1
2021-07-25 20:57
383
mod_2__t22_mod_2
2021-07-18 09:19
21K
mod_2__t21_mod_2.vout
2021-07-25 18:18
7.1K
mod_2__t21_mod_2.vmin1out
2021-07-25 20:59
7.1K
mod_2__t21_mod_2.vmin1
2021-07-25 20:57
860
mod_2__t21_mod_2.depvmin1
2021-07-25 21:03
154
mod_2__t21_mod_2.depv1
2021-07-25 20:57
154
mod_2__t21_mod_2
2021-07-18 09:26
3.4K
mod_2__t20_mod_2.vout
2021-07-25 18:13
8.7K
mod_2__t20_mod_2.vmin1out
2021-07-25 21:00
7.3K
mod_2__t20_mod_2.vmin1
2021-07-25 20:57
923
mod_2__t20_mod_2.depvmin1
2021-07-25 21:03
102
mod_2__t20_mod_2.depv1
2021-07-25 20:57
102
mod_2__t20_mod_2
2021-07-18 09:26
3.4K
mod_2__t19_mod_2.vout
2021-07-25 15:16
14K
mod_2__t19_mod_2.vmin1out
2021-07-25 20:58
12K
mod_2__t19_mod_2.vmin1
2021-07-25 20:57
1.5K
mod_2__t19_mod_2.depvmin1
2021-07-25 21:03
168
mod_2__t19_mod_2.depv1
2021-07-25 20:57
168
mod_2__t19_mod_2
2021-07-18 09:26
4.4K
mod_2__t18_mod_2.vout
2021-07-25 15:45
4.7K
mod_2__t18_mod_2
2021-07-18 09:26
35K
mod_2__t17_mod_2.vout
2021-07-25 20:53
60K
mod_2__t17_mod_2.vmin1out
2021-07-25 20:58
65K
mod_2__t17_mod_2.vmin1
2021-07-25 20:57
4.1K
mod_2__t17_mod_2.depvmin1
2021-07-25 21:03
53
mod_2__t17_mod_2.depv1
2021-07-25 20:57
53
mod_2__t17_mod_2
2021-07-18 09:25
26K
mod_2__t16_mod_2.vout
2021-07-25 18:50
5.3K
mod_2__t16_mod_2
2021-07-18 09:25
29K
mod_2__t15_mod_2.vout
2021-07-25 17:48
7.3K
mod_2__t15_mod_2
2021-07-18 09:24
24K
mod_2__t14_mod_2.vout
2021-07-25 16:12
155K
mod_2__t14_mod_2.vmin1out
2021-07-25 20:58
113K
mod_2__t14_mod_2.vmin1
2021-07-25 20:57
6.3K
mod_2__t14_mod_2.depvmin1
2021-07-25 21:03
62
mod_2__t14_mod_2.depv1
2021-07-25 20:57
62
mod_2__t14_mod_2
2021-07-18 09:24
32K
mod_2__t13_mod_2.vout
2021-07-25 19:19
4.7K
mod_2__t13_mod_2
2021-07-18 09:24
31K
mod_2__t12_mod_2.vout
2021-07-25 20:19
4.8K
mod_2__t12_mod_2
2021-07-18 09:23
30K
mod_2__t11_mod_2.vout
2021-07-25 16:51
62K
mod_2__t11_mod_2.vmin1out
2021-07-25 21:00
140K
mod_2__t11_mod_2.vmin1
2021-07-25 20:57
3.2K
mod_2__t11_mod_2.depvmin1
2021-07-25 21:03
43
mod_2__t11_mod_2.depv1
2021-07-25 20:57
43
mod_2__t11_mod_2
2021-07-18 09:23
15K
mod_2__t10_mod_2.vout
2021-07-25 14:25
76K
mod_2__t10_mod_2.vmin1out
2021-07-25 20:59
206K
mod_2__t10_mod_2.vmin1
2021-07-25 20:57
3.2K
mod_2__t10_mod_2.depvmin1
2021-07-25 21:03
50
mod_2__t10_mod_2.depv1
2021-07-25 20:57
50
mod_2__t10_mod_2
2021-07-18 09:22
24K
mod_2__t9_mod_2.vout
2021-07-25 15:18
65K
mod_2__t9_mod_2.vmin1out
2021-07-25 20:59
63K
mod_2__t9_mod_2.vmin1
2021-07-25 20:57
3.1K
mod_2__t9_mod_2.depvmin1
2021-07-25 21:03
51
mod_2__t9_mod_2.depv1
2021-07-25 20:57
51
mod_2__t9_mod_2
2021-07-18 09:22
14K
mod_2__t8_mod_2.vout
2021-07-25 16:18
49K
mod_2__t8_mod_2.vmin1out
2021-07-25 20:58
136K
mod_2__t8_mod_2.vmin1
2021-07-25 20:57
3.1K
mod_2__t8_mod_2.depvmin1
2021-07-25 21:03
52
mod_2__t8_mod_2.depv1
2021-07-25 20:57
52
mod_2__t8_mod_2
2021-07-18 09:22
23K
mod_2__t7_mod_2.vout
2021-07-25 16:54
36K
mod_2__t7_mod_2.vmin1out
2021-07-25 21:00
151K
mod_2__t7_mod_2.vmin1
2021-07-25 20:57
4.1K
mod_2__t7_mod_2.depvmin1
2021-07-25 21:03
69
mod_2__t7_mod_2.depv1
2021-07-25 20:57
69
mod_2__t7_mod_2
2021-07-18 09:21
25K
mod_2__t6_mod_2.vout
2021-07-25 15:32
227K
mod_2__t6_mod_2.vmin1out
2021-07-25 20:59
124K
mod_2__t6_mod_2.vmin1
2021-07-25 20:57
6.2K
mod_2__t6_mod_2.depvmin1
2021-07-25 21:03
117
mod_2__t6_mod_2.depv1
2021-07-25 20:57
117
mod_2__t6_mod_2
2021-07-18 09:21
27K
mod_2__t5_mod_2.vout
2021-07-25 16:03
75K
mod_2__t5_mod_2.vmin1out
2021-07-25 21:02
76K
mod_2__t5_mod_2.vmin1
2021-07-25 20:57
2.2K
mod_2__t5_mod_2.depvmin1
2021-07-25 21:03
27
mod_2__t5_mod_2.depv1
2021-07-25 20:57
27
mod_2__t5_mod_2
2021-07-18 09:21
22K
mod_2__t4_mod_2.vout
2021-07-25 17:54
13K
mod_2__t4_mod_2.vmin1out
2021-07-25 21:02
25K
mod_2__t4_mod_2.vmin1
2021-07-25 20:57
1.7K
mod_2__t4_mod_2.depvmin1
2021-07-25 21:03
45
mod_2__t4_mod_2.depv1
2021-07-25 20:57
45
mod_2__t4_mod_2
2021-07-18 09:20
20K
mod_2__t3_mod_2.vout
2021-07-25 20:53
112K
mod_2__t3_mod_2.vmin1out
2021-07-25 20:58
71K
mod_2__t3_mod_2.vmin1
2021-07-25 20:57
5.0K
mod_2__t3_mod_2.depvmin1
2021-07-25 21:03
180
mod_2__t3_mod_2.depv1
2021-07-25 20:57
180
mod_2__t3_mod_2
2021-07-18 09:19
23K
mod_2__t2_mod_2.vout
2021-07-25 17:07
2.0K
mod_2__t2_mod_2
2021-07-18 09:20
18K
mod_2__t1_mod_2.vout
2021-07-25 14:36
51K
mod_2__t1_mod_2.vmin1out
2021-07-25 20:59
63K
mod_2__t1_mod_2.vmin1
2021-07-25 20:57
4.4K
mod_2__t1_mod_2.depvmin1
2021-07-25 21:03
341
mod_2__t1_mod_2.depv1
2021-07-25 20:57
387
mod_2__t1_mod_2
2021-07-18 09:19
26K
mod_2__l57_mod_2.vout
2021-07-25 19:54
28K
mod_2__l57_mod_2.vmin1out
2021-07-25 21:00
19K
mod_2__l57_mod_2.vmin1
2021-07-25 20:57
1.7K
mod_2__l57_mod_2.depvmin1
2021-07-25 21:03
56
mod_2__l57_mod_2.depv1
2021-07-25 20:57
102
mod_2__l57_mod_2
2021-07-18 09:31
7.6K
mod_2__l55_mod_2.vout
2021-07-25 18:55
7.8K
mod_2__l55_mod_2
2021-07-18 09:30
20K
mod_2__l49_mod_2.vout
2021-07-25 18:42
51K
mod_2__l49_mod_2.vmin1out
2021-07-25 20:59
52K
mod_2__l49_mod_2.vmin1
2021-07-25 20:57
2.0K
mod_2__l49_mod_2.depvmin1
2021-07-25 21:03
170
mod_2__l49_mod_2.depv1
2021-07-25 20:57
170
mod_2__l49_mod_2
2021-07-18 09:30
3.3K
mod_2__l48_mod_2.vout
2021-07-25 19:13
6.2K
mod_2__l48_mod_2
2021-07-18 09:30
22K
mod_2__l46_mod_2.vout
2021-07-25 20:30
7.7K
mod_2__l46_mod_2
2021-07-18 09:30
20K
mod_2__l36_mod_2.vout
2021-07-25 18:10
6.9K
mod_2__l36_mod_2.vmin1out
2021-07-25 21:02
7.0K
mod_2__l36_mod_2.vmin1
2021-07-25 20:57
579
mod_2__l36_mod_2.depvmin1
2021-07-25 21:03
92
mod_2__l36_mod_2.depv1
2021-07-25 20:57
92
mod_2__l36_mod_2
2021-07-18 09:29
2.0K
mod_2__l35_mod_2.vout
2021-07-25 18:38
6.9K
mod_2__l35_mod_2.vmin1out
2021-07-25 20:59
7.0K
mod_2__l35_mod_2.vmin1
2021-07-25 20:57
579
mod_2__l35_mod_2.depvmin1
2021-07-25 21:03
92
mod_2__l35_mod_2.depv1
2021-07-25 20:57
92
mod_2__l35_mod_2
2021-07-18 09:29
2.0K
mod_2__l34_mod_2.vout
2021-07-25 17:53
7.0K
mod_2__l34_mod_2.vmin1out
2021-07-25 20:58
7.1K
mod_2__l34_mod_2.vmin1
2021-07-25 20:57
588
mod_2__l34_mod_2.depvmin1
2021-07-25 21:03
92
mod_2__l34_mod_2.depv1
2021-07-25 20:57
92
mod_2__l34_mod_2
2021-07-18 09:29
2.0K
mod_2__l1_mod_2.vout
2021-07-25 19:58
5.8K
mod_2__l1_mod_2
2021-07-18 09:29
32K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80