Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/autalg_1
Name
Last modified
Size
Description
Parent Directory
-
autalg_1__l6_autalg_1
2024-07-26 20:43
24K
autalg_1__l6_autalg_1.depv1
2024-08-03 10:19
33
autalg_1__l6_autalg_1.depvmin1
2024-08-03 10:24
33
autalg_1__l6_autalg_1.vmin1
2024-08-03 10:19
1.4K
autalg_1__l6_autalg_1.vmin1out
2024-08-03 10:21
24K
autalg_1__l6_autalg_1.vout
2024-08-03 05:23
14K
autalg_1__l11_autalg_1
2024-07-26 20:43
16K
autalg_1__l11_autalg_1.depv1
2024-08-03 10:19
215
autalg_1__l11_autalg_1.depvmin1
2024-08-03 10:24
215
autalg_1__l11_autalg_1.vmin1
2024-08-03 10:19
2.8K
autalg_1__l11_autalg_1.vmin1out
2024-08-03 10:23
42K
autalg_1__l11_autalg_1.vout
2024-08-03 06:28
43K
autalg_1__l31_autalg_1
2024-07-26 20:45
25K
autalg_1__l31_autalg_1.depv1
2024-08-03 10:19
161
autalg_1__l31_autalg_1.depvmin1
2024-08-03 10:24
161
autalg_1__l31_autalg_1.vmin1
2024-08-03 10:19
2.8K
autalg_1__l31_autalg_1.vmin1out
2024-08-03 10:21
41K
autalg_1__l31_autalg_1.vout
2024-08-03 05:51
45K
autalg_1__l43_autalg_1
2024-07-26 20:46
42K
autalg_1__l43_autalg_1.vout
2024-08-03 04:15
7.3K
autalg_1__t1_autalg_1
2024-07-26 20:12
24K
autalg_1__t1_autalg_1.vout
2024-08-03 07:20
5.8K
autalg_1__t2_autalg_1
2024-07-26 20:13
14K
autalg_1__t2_autalg_1.depv1
2024-08-03 10:19
196
autalg_1__t2_autalg_1.depvmin1
2024-08-03 10:24
196
autalg_1__t2_autalg_1.vmin1
2024-08-03 10:19
1.8K
autalg_1__t2_autalg_1.vmin1out
2024-08-03 10:20
24K
autalg_1__t2_autalg_1.vout
2024-08-03 05:11
23K
autalg_1__t3_autalg_1
2024-07-26 20:13
14K
autalg_1__t3_autalg_1.depv1
2024-08-03 10:19
116
autalg_1__t3_autalg_1.depvmin1
2024-08-03 10:24
116
autalg_1__t3_autalg_1.vmin1
2024-08-03 10:19
1.6K
autalg_1__t3_autalg_1.vmin1out
2024-08-03 10:20
21K
autalg_1__t3_autalg_1.vout
2024-08-03 06:46
21K
autalg_1__t4_autalg_1
2024-07-26 20:14
15K
autalg_1__t4_autalg_1.depv1
2024-08-03 10:19
125
autalg_1__t4_autalg_1.depvmin1
2024-08-03 10:24
125
autalg_1__t4_autalg_1.vmin1
2024-08-03 10:19
2.4K
autalg_1__t4_autalg_1.vmin1out
2024-08-03 10:20
38K
autalg_1__t4_autalg_1.vout
2024-08-03 08:28
39K
autalg_1__t5_autalg_1
2024-07-26 20:15
15K
autalg_1__t5_autalg_1.depv1
2024-08-03 10:19
151
autalg_1__t5_autalg_1.depvmin1
2024-08-03 10:24
151
autalg_1__t5_autalg_1.vmin1
2024-08-03 10:19
2.9K
autalg_1__t5_autalg_1.vmin1out
2024-08-03 10:21
49K
autalg_1__t5_autalg_1.vout
2024-08-03 05:34
49K
autalg_1__t6_autalg_1
2024-07-26 20:16
17K
autalg_1__t6_autalg_1.depv1
2024-08-03 10:19
191
autalg_1__t6_autalg_1.depvmin1
2024-08-03 10:24
191
autalg_1__t6_autalg_1.vmin1
2024-08-03 10:19
3.6K
autalg_1__t6_autalg_1.vmin1out
2024-08-03 10:21
63K
autalg_1__t6_autalg_1.vout
2024-08-03 04:18
64K
autalg_1__t7_autalg_1
2024-07-26 20:07
20K
autalg_1__t7_autalg_1.depv1
2024-08-03 10:19
204
autalg_1__t7_autalg_1.depvmin1
2024-08-03 10:24
204
autalg_1__t7_autalg_1.vmin1
2024-08-03 10:19
3.5K
autalg_1__t7_autalg_1.vmin1out
2024-08-03 10:23
60K
autalg_1__t7_autalg_1.vout
2024-08-03 09:52
49K
autalg_1__t8_autalg_1
2024-07-26 20:17
22K
autalg_1__t8_autalg_1.vout
2024-08-03 05:41
5.8K
autalg_1__t9_autalg_1
2024-07-26 20:18
27K
autalg_1__t9_autalg_1.vout
2024-08-03 05:11
5.3K
autalg_1__t10_autalg_1
2024-07-26 20:19
4.6K
autalg_1__t10_autalg_1.depv1
2024-08-03 10:19
25
autalg_1__t10_autalg_1.depvmin1
2024-08-03 10:24
25
autalg_1__t10_autalg_1.vmin1
2024-08-03 10:19
786
autalg_1__t10_autalg_1.vmin1out
2024-08-03 10:21
26K
autalg_1__t10_autalg_1.vout
2024-08-03 09:53
24K
autalg_1__t11_autalg_1
2024-07-26 20:20
16K
autalg_1__t11_autalg_1.vout
2024-08-03 04:16
2.0K
autalg_1__t12_autalg_1
2024-07-26 20:20
17K
autalg_1__t12_autalg_1.vout
2024-08-03 08:37
7.3K
autalg_1__t13_autalg_1
2024-07-26 20:21
16K
autalg_1__t13_autalg_1.vout
2024-08-03 09:55
4.1K
autalg_1__t14_autalg_1
2024-07-26 20:22
5.7K
autalg_1__t14_autalg_1.depv1
2024-08-03 10:19
133
autalg_1__t14_autalg_1.depvmin1
2024-08-03 10:24
107
autalg_1__t14_autalg_1.vmin1
2024-08-03 10:19
1.9K
autalg_1__t14_autalg_1.vmin1out
2024-08-03 10:20
45K
autalg_1__t14_autalg_1.vout
2024-08-03 05:04
47K
autalg_1__t15_autalg_1
2024-07-26 20:22
19K
autalg_1__t15_autalg_1.vout
2024-08-03 05:23
2.0K
autalg_1__t16_autalg_1
2024-07-26 20:23
23K
autalg_1__t16_autalg_1.vout
2024-08-03 08:49
4.1K
autalg_1__t17_autalg_1
2024-07-26 20:24
24K
autalg_1__t17_autalg_1.vout
2024-08-03 05:49
6.2K
autalg_1__t18_autalg_1
2024-07-26 20:25
14K
autalg_1__t18_autalg_1.vout
2024-08-03 06:05
7.3K
autalg_1__t19_autalg_1
2024-07-26 20:26
16K
autalg_1__t19_autalg_1.vout
2024-08-03 09:53
7.3K
autalg_1__t20_autalg_1
2024-07-26 20:27
15K
autalg_1__t20_autalg_1.vout
2024-08-03 07:13
7.3K
autalg_1__t21_autalg_1
2024-07-26 20:08
12K
autalg_1__t21_autalg_1.depv1
2024-08-03 10:19
125
autalg_1__t21_autalg_1.depvmin1
2024-08-03 10:24
125
autalg_1__t21_autalg_1.vmin1
2024-08-03 10:19
1.6K
autalg_1__t21_autalg_1.vmin1out
2024-08-03 10:21
29K
autalg_1__t21_autalg_1.vout
2024-08-03 05:01
16K
autalg_1__t22_autalg_1
2024-07-26 20:09
16K
autalg_1__t22_autalg_1.depv1
2024-08-03 10:19
151
autalg_1__t22_autalg_1.depvmin1
2024-08-03 10:24
151
autalg_1__t22_autalg_1.vmin1
2024-08-03 10:19
2.2K
autalg_1__t22_autalg_1.vmin1out
2024-08-03 10:21
33K
autalg_1__t22_autalg_1.vout
2024-08-03 08:20
31K
autalg_1__t23_autalg_1
2024-07-26 20:09
13K
autalg_1__t23_autalg_1.depv1
2024-08-03 10:19
38
autalg_1__t23_autalg_1.depvmin1
2024-08-03 10:24
38
autalg_1__t23_autalg_1.vmin1
2024-08-03 10:19
704
autalg_1__t23_autalg_1.vmin1out
2024-08-03 10:23
6.6K
autalg_1__t23_autalg_1.vout
2024-08-03 05:31
9.3K
autalg_1__t24_autalg_1
2024-07-26 20:27
15K
autalg_1__t24_autalg_1.depv1
2024-08-03 10:19
126
autalg_1__t24_autalg_1.depvmin1
2024-08-03 10:24
126
autalg_1__t24_autalg_1.vmin1
2024-08-03 10:19
2.1K
autalg_1__t24_autalg_1.vmin1out
2024-08-03 10:23
29K
autalg_1__t24_autalg_1.vout
2024-08-03 05:51
28K
autalg_1__t25_autalg_1
2024-07-26 20:28
17K
autalg_1__t25_autalg_1.depv1
2024-08-03 10:19
227
autalg_1__t25_autalg_1.depvmin1
2024-08-03 10:24
227
autalg_1__t25_autalg_1.vmin1
2024-08-03 10:19
3.9K
autalg_1__t25_autalg_1.vmin1out
2024-08-03 10:21
31K
autalg_1__t25_autalg_1.vout
2024-08-03 08:37
54K
autalg_1__t26_autalg_1
2024-07-26 20:29
17K
autalg_1__t26_autalg_1.depv1
2024-08-03 10:19
176
autalg_1__t26_autalg_1.depvmin1
2024-08-03 10:24
176
autalg_1__t26_autalg_1.vmin1
2024-08-03 10:19
3.6K
autalg_1__t26_autalg_1.vmin1out
2024-08-03 10:22
61K
autalg_1__t26_autalg_1.vout
2024-08-03 07:37
63K
autalg_1__t27_autalg_1
2024-07-26 20:31
33K
autalg_1__t27_autalg_1.depv1
2024-08-03 10:19
294
autalg_1__t27_autalg_1.depvmin1
2024-08-03 10:24
294
autalg_1__t27_autalg_1.vmin1
2024-08-03 10:19
5.4K
autalg_1__t27_autalg_1.vmin1out
2024-08-03 10:22
77K
autalg_1__t27_autalg_1.vout
2024-08-03 09:08
67K
autalg_1__t28_autalg_1
2024-07-26 20:11
23K
autalg_1__t28_autalg_1.depv1
2024-08-03 10:19
151
autalg_1__t28_autalg_1.depvmin1
2024-08-03 10:24
151
autalg_1__t28_autalg_1.vmin1
2024-08-03 10:19
3.5K
autalg_1__t28_autalg_1.vmin1out
2024-08-03 10:22
69K
autalg_1__t28_autalg_1.vout
2024-08-03 04:18
55K
autalg_1__t29_autalg_1
2024-07-26 20:32
25K
autalg_1__t29_autalg_1.vout
2024-08-03 10:09
4.1K
autalg_1__t30_autalg_1
2024-07-26 20:33
28K
autalg_1__t30_autalg_1.vout
2024-08-03 06:51
4.1K
autalg_1__t31_autalg_1
2024-07-26 20:35
35K
autalg_1__t31_autalg_1.vout
2024-08-03 04:12
4.7K
autalg_1__t32_autalg_1
2024-07-26 20:36
30K
autalg_1__t32_autalg_1.depv1
2024-08-03 10:19
245
autalg_1__t32_autalg_1.depvmin1
2024-08-03 10:24
245
autalg_1__t32_autalg_1.vmin1
2024-08-03 10:19
3.9K
autalg_1__t32_autalg_1.vmin1out
2024-08-03 10:21
45K
autalg_1__t32_autalg_1.vout
2024-08-03 09:10
50K
autalg_1__t33_autalg_1
2024-07-26 20:38
47K
autalg_1__t33_autalg_1.vout
2024-08-03 08:00
6.8K
autalg_1__t34_autalg_1
2024-07-26 20:40
38K
autalg_1__t34_autalg_1.vout
2024-08-03 09:30
6.8K
autalg_1__t35_autalg_1
2024-07-26 20:41
37K
autalg_1__t35_autalg_1.depv1
2024-08-03 10:19
259
autalg_1__t35_autalg_1.depvmin1
2024-08-03 10:24
259
autalg_1__t35_autalg_1.vmin1
2024-08-03 10:19
5.2K
autalg_1__t35_autalg_1.vmin1out
2024-08-03 10:23
127K
autalg_1__t35_autalg_1.vout
2024-08-03 09:28
100K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80