Index of /~mptp/mml5.63.1382/MPTP2/problems_small/cfcont_1
Name
Last modified
Size
Description
Parent Directory
-
cfcont_1__t52_cfcont_1.vout
2021-07-25 16:30
7.3K
cfcont_1__t52_cfcont_1
2021-07-18 04:08
34K
cfcont_1__t51_cfcont_1.vout
2021-07-25 16:42
7.3K
cfcont_1__t51_cfcont_1
2021-07-18 04:07
35K
cfcont_1__t50_cfcont_1.vout
2021-07-25 15:49
6.8K
cfcont_1__t50_cfcont_1
2021-07-18 04:07
50K
cfcont_1__t49_cfcont_1.vout
2021-07-25 17:05
4.7K
cfcont_1__t49_cfcont_1
2021-07-18 04:06
38K
cfcont_1__t48_cfcont_1.vout
2021-07-25 17:06
4.7K
cfcont_1__t48_cfcont_1
2021-07-18 04:06
33K
cfcont_1__t47_cfcont_1.vout
2021-07-25 19:30
7.3K
cfcont_1__t47_cfcont_1
2021-07-18 04:05
45K
cfcont_1__t46_cfcont_1.vout
2021-07-25 20:03
15K
cfcont_1__t46_cfcont_1.vmin1out
2021-07-25 21:00
15K
cfcont_1__t46_cfcont_1.vmin1
2021-07-25 20:57
1.8K
cfcont_1__t46_cfcont_1.depvmin1
2021-07-25 21:03
198
cfcont_1__t46_cfcont_1.depv1
2021-07-25 20:57
198
cfcont_1__t46_cfcont_1
2021-07-18 03:47
27K
cfcont_1__t45_cfcont_1.vout
2021-07-25 20:44
6.8K
cfcont_1__t45_cfcont_1
2021-07-18 04:05
37K
cfcont_1__t44_cfcont_1.vout
2021-07-25 20:56
21K
cfcont_1__t44_cfcont_1.vmin1out
2021-07-25 21:02
18K
cfcont_1__t44_cfcont_1.vmin1
2021-07-25 20:57
1.8K
cfcont_1__t44_cfcont_1.depvmin1
2021-07-25 21:03
78
cfcont_1__t44_cfcont_1.depv1
2021-07-25 20:57
117
cfcont_1__t44_cfcont_1
2021-07-18 04:04
38K
cfcont_1__t43_cfcont_1.vout
2021-07-25 16:29
6.8K
cfcont_1__t43_cfcont_1
2021-07-18 04:04
71K
cfcont_1__t42_cfcont_1.vout
2021-07-25 14:54
6.8K
cfcont_1__t42_cfcont_1
2021-07-18 04:03
43K
cfcont_1__t41_cfcont_1.vout
2021-07-25 16:26
6.8K
cfcont_1__t41_cfcont_1
2021-07-18 04:03
35K
cfcont_1__t40_cfcont_1.vout
2021-07-25 18:23
7.3K
cfcont_1__t40_cfcont_1
2021-07-18 04:02
32K
cfcont_1__t39_cfcont_1.vout
2021-07-25 18:06
6.8K
cfcont_1__t39_cfcont_1
2021-07-18 04:02
39K
cfcont_1__t38_cfcont_1.vout
2021-07-25 17:29
6.8K
cfcont_1__t38_cfcont_1
2021-07-18 04:01
35K
cfcont_1__t37_cfcont_1.vout
2021-07-25 18:00
4.7K
cfcont_1__t37_cfcont_1
2021-07-18 04:01
54K
cfcont_1__t36_cfcont_1.vout
2021-07-25 19:50
6.8K
cfcont_1__t36_cfcont_1
2021-07-18 04:00
38K
cfcont_1__t35_cfcont_1.vout
2021-07-25 17:31
19K
cfcont_1__t35_cfcont_1.vmin1out
2021-07-25 21:01
14K
cfcont_1__t35_cfcont_1.vmin1
2021-07-25 20:57
1.7K
cfcont_1__t35_cfcont_1.depvmin1
2021-07-25 21:03
185
cfcont_1__t35_cfcont_1.depv1
2021-07-25 20:57
185
cfcont_1__t35_cfcont_1
2021-07-18 03:46
36K
cfcont_1__t34_cfcont_1.vout
2021-07-25 18:34
6.8K
cfcont_1__t34_cfcont_1
2021-07-18 04:00
35K
cfcont_1__t33_cfcont_1.vout
2021-07-25 17:49
6.8K
cfcont_1__t33_cfcont_1
2021-07-18 03:59
70K
cfcont_1__t32_cfcont_1.vout
2021-07-25 18:27
6.8K
cfcont_1__t32_cfcont_1
2021-07-18 03:59
43K
cfcont_1__t30_cfcont_1.vout
2021-07-25 17:47
55K
cfcont_1__t30_cfcont_1.vmin1out
2021-07-25 21:02
54K
cfcont_1__t30_cfcont_1.vmin1
2021-07-25 20:57
4.1K
cfcont_1__t30_cfcont_1.depvmin1
2021-07-25 21:03
242
cfcont_1__t30_cfcont_1.depv1
2021-07-25 20:57
242
cfcont_1__t30_cfcont_1
2021-07-18 03:58
62K
cfcont_1__t29_cfcont_1.vout
2021-07-25 16:32
20K
cfcont_1__t29_cfcont_1.vmin1out
2021-07-25 21:01
18K
cfcont_1__t29_cfcont_1.vmin1
2021-07-25 20:57
2.0K
cfcont_1__t29_cfcont_1.depvmin1
2021-07-25 21:03
101
cfcont_1__t29_cfcont_1.depv1
2021-07-25 20:57
140
cfcont_1__t29_cfcont_1
2021-07-18 03:58
28K
cfcont_1__t28_cfcont_1.vout
2021-07-25 20:47
15K
cfcont_1__t28_cfcont_1.vmin1out
2021-07-25 21:02
15K
cfcont_1__t28_cfcont_1.vmin1
2021-07-25 20:57
1.3K
cfcont_1__t28_cfcont_1.depvmin1
2021-07-25 21:03
102
cfcont_1__t28_cfcont_1.depv1
2021-07-25 20:57
102
cfcont_1__t28_cfcont_1
2021-07-18 03:46
23K
cfcont_1__t27_cfcont_1.vout
2021-07-25 20:56
4.7K
cfcont_1__t27_cfcont_1
2021-07-18 03:57
36K
cfcont_1__t26_cfcont_1.vout
2021-07-25 15:34
7.4K
cfcont_1__t26_cfcont_1
2021-07-18 03:57
32K
cfcont_1__t25_cfcont_1.vout
2021-07-25 18:13
22K
cfcont_1__t25_cfcont_1.vmin1out
2021-07-25 21:01
18K
cfcont_1__t25_cfcont_1.vmin1
2021-07-25 20:57
1.7K
cfcont_1__t25_cfcont_1.depvmin1
2021-07-25 21:03
68
cfcont_1__t25_cfcont_1.depv1
2021-07-25 20:57
117
cfcont_1__t25_cfcont_1
2021-07-18 03:56
25K
cfcont_1__t21_cfcont_1.vout
2021-07-25 16:44
23K
cfcont_1__t21_cfcont_1.vmin1out
2021-07-25 20:59
23K
cfcont_1__t21_cfcont_1.vmin1
2021-07-25 20:57
2.0K
cfcont_1__t21_cfcont_1.depvmin1
2021-07-25 21:03
106
cfcont_1__t21_cfcont_1.depv1
2021-07-25 20:57
106
cfcont_1__t21_cfcont_1
2021-07-18 03:46
25K
cfcont_1__t20_cfcont_1.vout
2021-07-25 19:42
77K
cfcont_1__t20_cfcont_1.vmin1out
2021-07-25 21:00
53K
cfcont_1__t20_cfcont_1.vmin1
2021-07-25 20:57
2.3K
cfcont_1__t20_cfcont_1.depvmin1
2021-07-25 21:03
115
cfcont_1__t20_cfcont_1.depv1
2021-07-25 20:57
139
cfcont_1__t20_cfcont_1
2021-07-18 03:56
29K
cfcont_1__t19_cfcont_1.vout
2021-07-25 14:23
2.0K
cfcont_1__t19_cfcont_1
2021-07-18 03:55
28K
cfcont_1__t18_cfcont_1.vout
2021-07-25 18:33
4.7K
cfcont_1__t18_cfcont_1
2021-07-18 03:55
39K
cfcont_1__t17_cfcont_1.vout
2021-07-25 17:47
4.7K
cfcont_1__t17_cfcont_1
2021-07-18 03:54
39K
cfcont_1__t16_cfcont_1.vout
2021-07-25 14:40
6.8K
cfcont_1__t16_cfcont_1
2021-07-18 03:54
41K
cfcont_1__t15_cfcont_1.vout
2021-07-25 17:41
25K
cfcont_1__t15_cfcont_1.vmin1out
2021-07-25 21:02
17K
cfcont_1__t15_cfcont_1.vmin1
2021-07-25 20:57
1.9K
cfcont_1__t15_cfcont_1.depvmin1
2021-07-25 21:03
113
cfcont_1__t15_cfcont_1.depv1
2021-07-25 20:57
113
cfcont_1__t15_cfcont_1
2021-07-18 03:53
28K
cfcont_1__t14_cfcont_1.vout
2021-07-25 15:28
59K
cfcont_1__t14_cfcont_1.vmin1out
2021-07-25 21:00
45K
cfcont_1__t14_cfcont_1.vmin1
2021-07-25 20:57
4.2K
cfcont_1__t14_cfcont_1.depvmin1
2021-07-25 21:03
203
cfcont_1__t14_cfcont_1.depv1
2021-07-25 20:57
242
cfcont_1__t14_cfcont_1
2021-07-18 03:53
55K
cfcont_1__t13_cfcont_1.vout
2021-07-25 15:27
6.8K
cfcont_1__t13_cfcont_1
2021-07-18 03:52
38K
cfcont_1__t12_cfcont_1.vout
2021-07-25 19:49
6.8K
cfcont_1__t12_cfcont_1
2021-07-18 03:52
38K
cfcont_1__t11_cfcont_1.vout
2021-07-25 14:28
6.8K
cfcont_1__t11_cfcont_1
2021-07-18 03:51
35K
cfcont_1__t10_cfcont_1.vout
2021-07-25 16:55
7.3K
cfcont_1__t10_cfcont_1
2021-07-18 03:51
32K
cfcont_1__t9_cfcont_1.vout
2021-07-25 18:19
6.8K
cfcont_1__t9_cfcont_1
2021-07-18 03:45
32K
cfcont_1__t8_cfcont_1.vout
2021-07-25 18:10
6.8K
cfcont_1__t8_cfcont_1
2021-07-18 03:50
33K
cfcont_1__t7_cfcont_1.vout
2021-07-25 16:13
6.8K
cfcont_1__t7_cfcont_1
2021-07-18 03:50
63K
cfcont_1__t6_cfcont_1.vout
2021-07-25 19:14
4.1K
cfcont_1__t6_cfcont_1
2021-07-18 03:50
58K
cfcont_1__t5_cfcont_1.vout
2021-07-25 20:11
4.1K
cfcont_1__t5_cfcont_1
2021-07-18 03:49
33K
cfcont_1__t4_cfcont_1.vout
2021-07-25 18:25
4.1K
cfcont_1__t4_cfcont_1
2021-07-18 03:49
45K
cfcont_1__t3_cfcont_1.vout
2021-07-25 20:15
4.1K
cfcont_1__t3_cfcont_1
2021-07-18 03:48
35K
cfcont_1__t2_cfcont_1.vout
2021-07-25 15:17
4.1K
cfcont_1__t2_cfcont_1
2021-07-18 03:48
60K
cfcont_1__t1_cfcont_1.vout
2021-07-25 20:14
4.1K
cfcont_1__t1_cfcont_1
2021-07-18 03:47
49K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80