Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sheffer1
Name
Last modified
Size
Description
Parent Directory
-
sheffer1__t37_sheffer1.vout
2024-08-03 04:34
7.9K
sheffer1__t37_sheffer1
2024-07-28 11:57
19K
sheffer1__t36_sheffer1.vout
2024-08-03 05:32
3.7K
sheffer1__t36_sheffer1
2024-07-28 11:55
17K
sheffer1__t35_sheffer1.vout
2024-08-03 04:48
3.7K
sheffer1__t35_sheffer1
2024-07-28 11:54
17K
sheffer1__t34_sheffer1.vout
2024-08-03 07:33
30K
sheffer1__t34_sheffer1.vmin1out
2024-08-03 10:20
29K
sheffer1__t34_sheffer1.vmin1
2024-08-03 10:20
1.8K
sheffer1__t34_sheffer1.depvmin1
2024-08-03 10:24
96
sheffer1__t34_sheffer1.depv1
2024-08-03 10:19
96
sheffer1__t34_sheffer1
2024-07-28 11:53
16K
sheffer1__t33_sheffer1.vout
2024-08-03 08:50
39K
sheffer1__t33_sheffer1.vmin1out
2024-08-03 10:22
35K
sheffer1__t33_sheffer1.vmin1
2024-08-03 10:20
2.2K
sheffer1__t33_sheffer1.depvmin1
2024-08-03 10:24
126
sheffer1__t33_sheffer1.depv1
2024-08-03 10:19
126
sheffer1__t33_sheffer1
2024-07-28 11:52
17K
sheffer1__t32_sheffer1.vout
2024-08-03 05:03
22K
sheffer1__t32_sheffer1.vmin1out
2024-08-03 10:22
43K
sheffer1__t32_sheffer1.vmin1
2024-08-03 10:20
1.8K
sheffer1__t32_sheffer1.depvmin1
2024-08-03 10:24
110
sheffer1__t32_sheffer1.depv1
2024-08-03 10:19
110
sheffer1__t32_sheffer1
2024-07-28 11:51
14K
sheffer1__t31_sheffer1.vout
2024-08-03 05:22
21K
sheffer1__t31_sheffer1.vmin1out
2024-08-03 10:20
29K
sheffer1__t31_sheffer1.vmin1
2024-08-03 10:20
1.6K
sheffer1__t31_sheffer1.depvmin1
2024-08-03 10:24
97
sheffer1__t31_sheffer1.depv1
2024-08-03 10:19
97
sheffer1__t31_sheffer1
2024-07-28 11:49
14K
sheffer1__t30_sheffer1.vout
2024-08-03 10:13
15K
sheffer1__t30_sheffer1.vmin1out
2024-08-03 10:22
15K
sheffer1__t30_sheffer1.vmin1
2024-08-03 10:20
1.5K
sheffer1__t30_sheffer1.depvmin1
2024-08-03 10:24
96
sheffer1__t30_sheffer1.depv1
2024-08-03 10:19
96
sheffer1__t30_sheffer1
2024-07-28 11:27
14K
sheffer1__t29_sheffer1.vout
2024-08-03 06:45
2.0K
sheffer1__t29_sheffer1
2024-07-28 11:26
14K
sheffer1__t28_sheffer1.vout
2024-08-03 06:53
3.7K
sheffer1__t28_sheffer1
2024-07-28 11:48
21K
sheffer1__t27_sheffer1.vout
2024-08-03 04:49
3.7K
sheffer1__t27_sheffer1
2024-07-28 11:47
21K
sheffer1__t26_sheffer1.vout
2024-08-03 09:02
31K
sheffer1__t26_sheffer1.vmin1out
2024-08-03 10:20
30K
sheffer1__t26_sheffer1.vmin1
2024-08-03 10:20
2.3K
sheffer1__t26_sheffer1.depvmin1
2024-08-03 10:24
137
sheffer1__t26_sheffer1.depv1
2024-08-03 10:19
137
sheffer1__t26_sheffer1
2024-07-28 11:46
18K
sheffer1__t25_sheffer1.vout
2024-08-03 07:11
2.0K
sheffer1__t25_sheffer1
2024-07-28 11:45
14K
sheffer1__t24_sheffer1.vout
2024-08-03 07:48
3.7K
sheffer1__t24_sheffer1
2024-07-28 11:44
12K
sheffer1__t23_sheffer1.vout
2024-08-03 07:01
2.0K
sheffer1__t23_sheffer1
2024-07-28 11:43
8.2K
sheffer1__t22_sheffer1.vout
2024-08-03 10:03
43K
sheffer1__t22_sheffer1.vmin1out
2024-08-03 10:23
36K
sheffer1__t22_sheffer1.vmin1
2024-08-03 10:20
1.7K
sheffer1__t22_sheffer1.depvmin1
2024-08-03 10:24
64
sheffer1__t22_sheffer1.depv1
2024-08-03 10:19
64
sheffer1__t22_sheffer1
2024-07-28 11:25
6.6K
sheffer1__t21_sheffer1.vout
2024-08-03 06:39
28K
sheffer1__t21_sheffer1.vmin1out
2024-08-03 10:20
29K
sheffer1__t21_sheffer1.vmin1
2024-08-03 10:20
1.9K
sheffer1__t21_sheffer1.depvmin1
2024-08-03 10:24
145
sheffer1__t21_sheffer1.depv1
2024-08-03 10:19
145
sheffer1__t21_sheffer1
2024-07-28 11:42
9.1K
sheffer1__t20_sheffer1.vout
2024-08-03 07:14
30K
sheffer1__t20_sheffer1.vmin1out
2024-08-03 10:20
31K
sheffer1__t20_sheffer1.vmin1
2024-08-03 10:20
2.1K
sheffer1__t20_sheffer1.depvmin1
2024-08-03 10:24
171
sheffer1__t20_sheffer1.depv1
2024-08-03 10:19
171
sheffer1__t20_sheffer1
2024-07-28 11:41
9.0K
sheffer1__t19_sheffer1.vout
2024-08-03 07:06
33K
sheffer1__t19_sheffer1.vmin1out
2024-08-03 10:22
32K
sheffer1__t19_sheffer1.vmin1
2024-08-03 10:20
1.9K
sheffer1__t19_sheffer1.depvmin1
2024-08-03 10:24
132
sheffer1__t19_sheffer1.depv1
2024-08-03 10:19
132
sheffer1__t19_sheffer1
2024-07-28 11:41
6.3K
sheffer1__t18_sheffer1.vout
2024-08-03 07:14
32K
sheffer1__t18_sheffer1.vmin1out
2024-08-03 10:21
32K
sheffer1__t18_sheffer1.vmin1
2024-08-03 10:20
1.9K
sheffer1__t18_sheffer1.depvmin1
2024-08-03 10:24
132
sheffer1__t18_sheffer1.depv1
2024-08-03 10:19
132
sheffer1__t18_sheffer1
2024-07-28 11:40
6.3K
sheffer1__t17_sheffer1.vout
2024-08-03 07:47
2.0K
sheffer1__t17_sheffer1
2024-07-28 11:39
8.1K
sheffer1__t16_sheffer1.vout
2024-08-03 09:30
2.0K
sheffer1__t16_sheffer1
2024-07-28 11:39
8.1K
sheffer1__t15_sheffer1.vout
2024-08-03 09:20
3.7K
sheffer1__t15_sheffer1
2024-07-28 11:38
8.5K
sheffer1__t14_sheffer1.vout
2024-08-03 07:43
2.0K
sheffer1__t14_sheffer1
2024-07-28 11:37
5.7K
sheffer1__t13_sheffer1.vout
2024-08-03 05:09
3.7K
sheffer1__t13_sheffer1
2024-07-28 11:37
8.5K
sheffer1__t12_sheffer1.vout
2024-08-03 09:20
2.0K
sheffer1__t12_sheffer1
2024-07-28 11:36
5.6K
sheffer1__t11_sheffer1.vout
2024-08-03 10:12
2.0K
sheffer1__t11_sheffer1
2024-07-28 11:35
7.6K
sheffer1__t10_sheffer1.vout
2024-08-03 09:30
47K
sheffer1__t10_sheffer1.vmin1out
2024-08-03 10:21
44K
sheffer1__t10_sheffer1.vmin1
2024-08-03 10:20
2.4K
sheffer1__t10_sheffer1.depvmin1
2024-08-03 10:24
168
sheffer1__t10_sheffer1.depv1
2024-08-03 10:19
168
sheffer1__t10_sheffer1
2024-07-28 11:34
7.4K
sheffer1__t9_sheffer1.vout
2024-08-03 04:49
60K
sheffer1__t9_sheffer1.vmin1out
2024-08-03 10:22
59K
sheffer1__t9_sheffer1.vmin1
2024-08-03 10:20
3.7K
sheffer1__t9_sheffer1.depvmin1
2024-08-03 10:24
261
sheffer1__t9_sheffer1.depv1
2024-08-03 10:19
261
sheffer1__t9_sheffer1
2024-07-28 11:34
8.2K
sheffer1__t8_sheffer1.vout
2024-08-03 08:47
7.3K
sheffer1__t8_sheffer1
2024-07-28 11:33
8.0K
sheffer1__t7_sheffer1.vout
2024-08-03 08:46
28K
sheffer1__t7_sheffer1.vmin1out
2024-08-03 10:20
70K
sheffer1__t7_sheffer1.vmin1
2024-08-03 10:20
2.7K
sheffer1__t7_sheffer1.depvmin1
2024-08-03 10:24
181
sheffer1__t7_sheffer1.depv1
2024-08-03 10:19
196
sheffer1__t7_sheffer1
2024-07-28 11:32
7.3K
sheffer1__t6_sheffer1.vout
2024-08-03 04:41
33K
sheffer1__t6_sheffer1.vmin1out
2024-08-03 10:21
49K
sheffer1__t6_sheffer1.vmin1
2024-08-03 10:20
2.9K
sheffer1__t6_sheffer1.depvmin1
2024-08-03 10:24
212
sheffer1__t6_sheffer1.depv1
2024-08-03 10:19
212
sheffer1__t6_sheffer1
2024-07-28 11:32
7.3K
sheffer1__t5_sheffer1.vout
2024-08-03 04:17
32K
sheffer1__t5_sheffer1.vmin1out
2024-08-03 10:23
38K
sheffer1__t5_sheffer1.vmin1
2024-08-03 10:20
2.1K
sheffer1__t5_sheffer1.depvmin1
2024-08-03 10:24
134
sheffer1__t5_sheffer1.depv1
2024-08-03 10:19
134
sheffer1__t5_sheffer1
2024-07-28 11:31
7.4K
sheffer1__t4_sheffer1.vout
2024-08-03 08:46
32K
sheffer1__t4_sheffer1.vmin1out
2024-08-03 10:23
37K
sheffer1__t4_sheffer1.vmin1
2024-08-03 10:20
2.1K
sheffer1__t4_sheffer1.depvmin1
2024-08-03 10:24
133
sheffer1__t4_sheffer1.depv1
2024-08-03 10:19
133
sheffer1__t4_sheffer1
2024-07-28 11:30
7.4K
sheffer1__t3_sheffer1.vout
2024-08-03 07:50
20K
sheffer1__t3_sheffer1.vmin1out
2024-08-03 10:20
20K
sheffer1__t3_sheffer1.vmin1
2024-08-03 10:20
1.5K
sheffer1__t3_sheffer1.depvmin1
2024-08-03 10:24
91
sheffer1__t3_sheffer1.depv1
2024-08-03 10:19
91
sheffer1__t3_sheffer1
2024-07-28 11:30
6.6K
sheffer1__t2_sheffer1.vout
2024-08-03 10:12
20K
sheffer1__t2_sheffer1.vmin1out
2024-08-03 10:22
20K
sheffer1__t2_sheffer1.vmin1
2024-08-03 10:20
1.5K
sheffer1__t2_sheffer1.depvmin1
2024-08-03 10:24
91
sheffer1__t2_sheffer1.depv1
2024-08-03 10:19
91
sheffer1__t2_sheffer1
2024-07-28 11:29
6.6K
sheffer1__t1_sheffer1.vout
2024-08-03 05:26
25K
sheffer1__t1_sheffer1.vmin1out
2024-08-03 10:20
26K
sheffer1__t1_sheffer1.vmin1
2024-08-03 10:20
2.5K
sheffer1__t1_sheffer1.depvmin1
2024-08-03 10:24
185
sheffer1__t1_sheffer1.depv1
2024-08-03 10:19
185
sheffer1__t1_sheffer1
2024-07-28 11:28
10K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80