Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ami_wstd
Name
Last modified
Size
Description
Parent Directory
-
ami_wstd__l6_ami_wstd
2024-07-28 03:42
62K
ami_wstd__l6_ami_wstd.vout
2024-08-03 08:04
7.3K
ami_wstd__l9_ami_wstd
2024-07-28 03:45
71K
ami_wstd__l9_ami_wstd.vout
2024-08-03 04:23
4.7K
ami_wstd__l10_ami_wstd
2024-07-28 03:47
72K
ami_wstd__l10_ami_wstd.vout
2024-08-03 05:16
7.3K
ami_wstd__l47_ami_wstd
2024-07-28 03:48
45K
ami_wstd__l47_ami_wstd.vout
2024-08-03 07:21
4.7K
ami_wstd__t1_ami_wstd
2024-07-28 02:44
85K
ami_wstd__t1_ami_wstd.vout
2024-08-03 05:59
7.3K
ami_wstd__t2_ami_wstd
2024-07-28 02:46
66K
ami_wstd__t2_ami_wstd.vout
2024-08-03 07:18
6.8K
ami_wstd__t3_ami_wstd
2024-07-28 02:49
137K
ami_wstd__t3_ami_wstd.vout
2024-08-03 05:36
6.8K
ami_wstd__t4_ami_wstd
2024-07-28 02:51
60K
ami_wstd__t4_ami_wstd.vout
2024-08-03 09:10
6.8K
ami_wstd__t5_ami_wstd
2024-07-28 02:53
63K
ami_wstd__t5_ami_wstd.vout
2024-08-03 08:08
7.3K
ami_wstd__t6_ami_wstd
2024-07-28 02:55
63K
ami_wstd__t6_ami_wstd.vout
2024-08-03 10:15
7.3K
ami_wstd__t7_ami_wstd
2024-07-28 02:56
21K
ami_wstd__t7_ami_wstd.depv1
2024-08-03 10:19
91
ami_wstd__t7_ami_wstd.depvmin1
2024-08-03 10:24
91
ami_wstd__t7_ami_wstd.vmin1
2024-08-03 10:19
1.3K
ami_wstd__t7_ami_wstd.vmin1out
2024-08-03 10:20
20K
ami_wstd__t7_ami_wstd.vout
2024-08-03 08:03
21K
ami_wstd__t8_ami_wstd
2024-07-28 02:58
61K
ami_wstd__t8_ami_wstd.vout
2024-08-03 07:04
6.8K
ami_wstd__t9_ami_wstd
2024-07-28 03:00
58K
ami_wstd__t9_ami_wstd.depv1
2024-08-03 10:19
103
ami_wstd__t9_ami_wstd.depvmin1
2024-08-03 10:24
103
ami_wstd__t9_ami_wstd.vmin1
2024-08-03 10:19
1.7K
ami_wstd__t9_ami_wstd.vmin1out
2024-08-03 10:22
37K
ami_wstd__t9_ami_wstd.vout
2024-08-03 06:02
36K
ami_wstd__t10_ami_wstd
2024-07-28 03:02
58K
ami_wstd__t10_ami_wstd.vout
2024-08-03 04:53
8.4K
ami_wstd__t11_ami_wstd
2024-07-28 02:36
24K
ami_wstd__t11_ami_wstd.depv1
2024-08-03 10:19
367
ami_wstd__t11_ami_wstd.depvmin1
2024-08-03 10:24
271
ami_wstd__t11_ami_wstd.vmin1
2024-08-03 10:19
3.7K
ami_wstd__t11_ami_wstd.vmin1out
2024-08-03 10:23
42K
ami_wstd__t11_ami_wstd.vout
2024-08-03 05:31
42K
ami_wstd__t12_ami_wstd
2024-07-28 03:03
28K
ami_wstd__t12_ami_wstd.vout
2024-08-03 04:25
4.7K
ami_wstd__t13_ami_wstd
2024-07-28 02:37
24K
ami_wstd__t13_ami_wstd.depv1
2024-08-03 10:19
129
ami_wstd__t13_ami_wstd.depvmin1
2024-08-03 10:24
129
ami_wstd__t13_ami_wstd.vmin1
2024-08-03 10:19
2.1K
ami_wstd__t13_ami_wstd.vmin1out
2024-08-03 10:20
24K
ami_wstd__t13_ami_wstd.vout
2024-08-03 05:59
31K
ami_wstd__t14_ami_wstd
2024-07-28 02:39
25K
ami_wstd__t14_ami_wstd.depv1
2024-08-03 10:19
163
ami_wstd__t14_ami_wstd.depvmin1
2024-08-03 10:24
163
ami_wstd__t14_ami_wstd.vmin1
2024-08-03 10:19
2.0K
ami_wstd__t14_ami_wstd.vmin1out
2024-08-03 10:23
19K
ami_wstd__t14_ami_wstd.vout
2024-08-03 05:05
21K
ami_wstd__t15_ami_wstd
2024-07-28 03:05
28K
ami_wstd__t15_ami_wstd.vout
2024-08-03 07:13
8.4K
ami_wstd__t16_ami_wstd
2024-07-28 03:06
29K
ami_wstd__t16_ami_wstd.vout
2024-08-03 09:18
4.7K
ami_wstd__t17_ami_wstd
2024-07-28 03:08
74K
ami_wstd__t17_ami_wstd.vout
2024-08-03 06:02
6.8K
ami_wstd__t18_ami_wstd
2024-07-28 03:11
65K
ami_wstd__t18_ami_wstd.vout
2024-08-03 05:01
4.7K
ami_wstd__t19_ami_wstd
2024-07-28 03:13
60K
ami_wstd__t19_ami_wstd.vout
2024-08-03 09:14
7.3K
ami_wstd__t20_ami_wstd
2024-07-28 03:15
60K
ami_wstd__t20_ami_wstd.vout
2024-08-03 05:00
7.3K
ami_wstd__t21_ami_wstd
2024-07-28 03:17
61K
ami_wstd__t21_ami_wstd.vout
2024-08-03 06:43
7.3K
ami_wstd__t22_ami_wstd
2024-07-28 03:19
53K
ami_wstd__t22_ami_wstd.vout
2024-08-03 08:43
7.3K
ami_wstd__t23_ami_wstd
2024-07-28 02:40
43K
ami_wstd__t23_ami_wstd.vout
2024-08-03 04:28
2.0K
ami_wstd__t24_ami_wstd
2024-07-28 03:20
55K
ami_wstd__t24_ami_wstd.vout
2024-08-03 09:35
7.9K
ami_wstd__t25_ami_wstd
2024-07-28 03:23
66K
ami_wstd__t25_ami_wstd.vout
2024-08-03 08:58
7.4K
ami_wstd__t26_ami_wstd
2024-07-28 03:25
65K
ami_wstd__t26_ami_wstd.vout
2024-08-03 07:32
7.3K
ami_wstd__t27_ami_wstd
2024-07-28 03:27
65K
ami_wstd__t27_ami_wstd.vout
2024-08-03 08:44
7.3K
ami_wstd__t28_ami_wstd
2024-07-28 03:28
34K
ami_wstd__t28_ami_wstd.vout
2024-08-03 08:37
7.4K
ami_wstd__t29_ami_wstd
2024-07-28 03:31
65K
ami_wstd__t29_ami_wstd.vout
2024-08-03 09:46
4.2K
ami_wstd__t30_ami_wstd
2024-07-28 03:33
64K
ami_wstd__t30_ami_wstd.vout
2024-08-03 10:17
7.3K
ami_wstd__t31_ami_wstd
2024-07-28 03:35
62K
ami_wstd__t31_ami_wstd.vout
2024-08-03 08:23
4.2K
ami_wstd__t32_ami_wstd
2024-07-28 03:37
69K
ami_wstd__t32_ami_wstd.vout
2024-08-03 09:50
7.3K
ami_wstd__t33_ami_wstd
2024-07-28 03:39
63K
ami_wstd__t33_ami_wstd.vout
2024-08-03 05:57
7.4K
ami_wstd__t34_ami_wstd
2024-07-28 02:42
23K
ami_wstd__t34_ami_wstd.depv1
2024-08-03 10:19
178
ami_wstd__t34_ami_wstd.depvmin1
2024-08-03 10:24
151
ami_wstd__t34_ami_wstd.vmin1
2024-08-03 10:19
2.3K
ami_wstd__t34_ami_wstd.vmin1out
2024-08-03 10:21
26K
ami_wstd__t34_ami_wstd.vout
2024-08-03 06:00
20K
ami_wstd__t35_ami_wstd
2024-07-28 03:40
25K
ami_wstd__t35_ami_wstd.vout
2024-08-03 06:09
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80