Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ami_3
Name
Last modified
Size
Description
Parent Directory
-
ami_3__l2_ami_3
2024-07-28 12:52
44K
ami_3__l2_ami_3.vout
2024-08-03 08:51
10K
ami_3__l21_ami_3
2024-07-28 12:55
99K
ami_3__l21_ami_3.vout
2024-08-03 06:53
7.2K
ami_3__l22_ami_3
2024-07-28 12:57
75K
ami_3__l22_ami_3.vout
2024-08-03 10:06
7.8K
ami_3__l23_ami_3
2024-07-28 12:59
101K
ami_3__l23_ami_3.depv1
2024-08-03 10:19
56
ami_3__l23_ami_3.depvmin1
2024-08-03 10:24
56
ami_3__l23_ami_3.vmin1
2024-08-03 10:19
1.9K
ami_3__l23_ami_3.vmin1out
2024-08-03 10:21
15K
ami_3__l23_ami_3.vout
2024-08-03 06:14
17K
ami_3__l24_ami_3
2024-07-28 13:02
101K
ami_3__l24_ami_3.depv1
2024-08-03 10:19
56
ami_3__l24_ami_3.depvmin1
2024-08-03 10:24
56
ami_3__l24_ami_3.vmin1
2024-08-03 10:19
1.9K
ami_3__l24_ami_3.vmin1out
2024-08-03 10:20
15K
ami_3__l24_ami_3.vout
2024-08-03 08:18
17K
ami_3__l25_ami_3
2024-07-28 13:04
101K
ami_3__l25_ami_3.depv1
2024-08-03 10:19
56
ami_3__l25_ami_3.depvmin1
2024-08-03 10:24
56
ami_3__l25_ami_3.vmin1
2024-08-03 10:19
1.9K
ami_3__l25_ami_3.vmin1out
2024-08-03 10:21
15K
ami_3__l25_ami_3.vout
2024-08-03 08:35
17K
ami_3__l26_ami_3
2024-07-28 13:07
109K
ami_3__l26_ami_3.depv1
2024-08-03 10:19
56
ami_3__l26_ami_3.depvmin1
2024-08-03 10:24
56
ami_3__l26_ami_3.vmin1
2024-08-03 10:19
1.9K
ami_3__l26_ami_3.vmin1out
2024-08-03 10:21
15K
ami_3__l26_ami_3.vout
2024-08-03 05:14
17K
ami_3__l27_ami_3
2024-07-28 13:09
102K
ami_3__l27_ami_3.depv1
2024-08-03 10:19
56
ami_3__l27_ami_3.depvmin1
2024-08-03 10:24
56
ami_3__l27_ami_3.vmin1
2024-08-03 10:19
2.1K
ami_3__l27_ami_3.vmin1out
2024-08-03 10:20
16K
ami_3__l27_ami_3.vout
2024-08-03 09:39
17K
ami_3__l28_ami_3
2024-07-28 13:12
148K
ami_3__l28_ami_3.vout
2024-08-03 05:02
7.3K
ami_3__l29_ami_3
2024-07-28 13:14
151K
ami_3__l29_ami_3.vout
2024-08-03 06:40
7.2K
ami_3__l30_ami_3
2024-07-28 13:17
151K
ami_3__l30_ami_3.vout
2024-08-03 04:26
7.2K
ami_3__l31_ami_3
2024-07-28 13:20
50K
ami_3__l31_ami_3.vout
2024-08-03 09:17
7.3K
ami_3__l32_ami_3
2024-07-28 13:22
50K
ami_3__l32_ami_3.vout
2024-08-03 08:02
7.3K
ami_3__t1_ami_3
2024-07-28 11:46
43K
ami_3__t1_ami_3.vout
2024-08-03 06:31
10K
ami_3__t2_ami_3
2024-07-28 12:29
84K
ami_3__t2_ami_3.vout
2024-08-03 08:10
7.3K
ami_3__t3_ami_3
2024-07-28 12:32
84K
ami_3__t3_ami_3.vout
2024-08-03 04:26
7.2K
ami_3__t4_ami_3
2024-07-28 12:35
135K
ami_3__t4_ami_3.vout
2024-08-03 10:18
7.2K
ami_3__t5_ami_3
2024-07-28 12:38
84K
ami_3__t5_ami_3.vout
2024-08-03 04:16
7.3K
ami_3__t6_ami_3
2024-07-28 12:40
84K
ami_3__t6_ami_3.vout
2024-08-03 05:21
7.3K
ami_3__t7_ami_3
2024-07-28 12:43
82K
ami_3__t7_ami_3.vout
2024-08-03 07:09
7.3K
ami_3__t8_ami_3
2024-07-28 12:45
84K
ami_3__t8_ami_3.vout
2024-08-03 07:49
7.2K
ami_3__t9_ami_3
2024-07-28 12:48
89K
ami_3__t9_ami_3.vout
2024-08-03 04:58
7.2K
ami_3__t10_ami_3
2024-07-28 11:48
45K
ami_3__t10_ami_3.depv1
2024-08-03 10:19
42
ami_3__t10_ami_3.depvmin1
2024-08-03 10:24
32
ami_3__t10_ami_3.vmin1
2024-08-03 10:19
464
ami_3__t10_ami_3.vmin1out
2024-08-03 10:23
4.0K
ami_3__t10_ami_3.vout
2024-08-03 04:40
6.9K
ami_3__t11_ami_3
2024-07-28 11:50
47K
ami_3__t11_ami_3.vout
2024-08-03 08:23
7.3K
ami_3__t12_ami_3
2024-07-28 11:52
44K
ami_3__t12_ami_3.depv1
2024-08-03 10:19
56
ami_3__t12_ami_3.depvmin1
2024-08-03 10:24
46
ami_3__t12_ami_3.vmin1
2024-08-03 10:19
484
ami_3__t12_ami_3.vmin1out
2024-08-03 10:20
3.4K
ami_3__t12_ami_3.vout
2024-08-03 06:31
5.7K
ami_3__t13_ami_3
2024-07-28 11:54
45K
ami_3__t13_ami_3.depv1
2024-08-03 10:19
151
ami_3__t13_ami_3.depvmin1
2024-08-03 10:24
151
ami_3__t13_ami_3.vmin1
2024-08-03 10:19
1.1K
ami_3__t13_ami_3.vmin1out
2024-08-03 10:20
7.8K
ami_3__t13_ami_3.vout
2024-08-03 09:48
8.5K
ami_3__t14_ami_3
2024-07-28 11:56
100K
ami_3__t14_ami_3.depv1
2024-08-03 10:19
20
ami_3__t14_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t14_ami_3.vmin1
2024-08-03 10:19
925
ami_3__t14_ami_3.vmin1out
2024-08-03 10:22
8.8K
ami_3__t14_ami_3.vout
2024-08-03 04:54
13K
ami_3__t15_ami_3
2024-07-28 11:59
45K
ami_3__t15_ami_3.depv1
2024-08-03 10:19
44
ami_3__t15_ami_3.depvmin1
2024-08-03 10:24
44
ami_3__t15_ami_3.vmin1
2024-08-03 10:19
424
ami_3__t15_ami_3.vmin1out
2024-08-03 10:22
5.8K
ami_3__t15_ami_3.vout
2024-08-03 04:56
5.9K
ami_3__t16_ami_3
2024-07-28 12:01
45K
ami_3__t16_ami_3.depv1
2024-08-03 10:19
20
ami_3__t16_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t16_ami_3.vmin1
2024-08-03 10:19
469
ami_3__t16_ami_3.vmin1out
2024-08-03 10:21
4.6K
ami_3__t16_ami_3.vout
2024-08-03 05:20
6.8K
ami_3__t17_ami_3
2024-07-28 12:03
45K
ami_3__t17_ami_3.depv1
2024-08-03 10:19
20
ami_3__t17_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t17_ami_3.vmin1
2024-08-03 10:19
469
ami_3__t17_ami_3.vmin1out
2024-08-03 10:21
4.6K
ami_3__t17_ami_3.vout
2024-08-03 04:46
6.8K
ami_3__t18_ami_3
2024-07-28 12:05
45K
ami_3__t18_ami_3.depv1
2024-08-03 10:19
20
ami_3__t18_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t18_ami_3.vmin1
2024-08-03 10:19
469
ami_3__t18_ami_3.vmin1out
2024-08-03 10:23
4.6K
ami_3__t18_ami_3.vout
2024-08-03 05:55
6.8K
ami_3__t19_ami_3
2024-07-28 12:07
45K
ami_3__t19_ami_3.depv1
2024-08-03 10:19
20
ami_3__t19_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t19_ami_3.vmin1
2024-08-03 10:19
469
ami_3__t19_ami_3.vmin1out
2024-08-03 10:21
4.6K
ami_3__t19_ami_3.vout
2024-08-03 08:22
6.8K
ami_3__t20_ami_3
2024-07-28 12:09
45K
ami_3__t20_ami_3.depv1
2024-08-03 10:19
20
ami_3__t20_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t20_ami_3.vmin1
2024-08-03 10:19
469
ami_3__t20_ami_3.vmin1out
2024-08-03 10:21
4.6K
ami_3__t20_ami_3.vout
2024-08-03 05:16
6.8K
ami_3__t21_ami_3
2024-07-28 12:11
44K
ami_3__t21_ami_3.depv1
2024-08-03 10:19
20
ami_3__t21_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t21_ami_3.vmin1
2024-08-03 10:19
231
ami_3__t21_ami_3.vmin1out
2024-08-03 10:21
2.1K
ami_3__t21_ami_3.vout
2024-08-03 08:56
2.8K
ami_3__t22_ami_3
2024-07-28 12:13
44K
ami_3__t22_ami_3.depv1
2024-08-03 10:19
20
ami_3__t22_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t22_ami_3.vmin1
2024-08-03 10:19
387
ami_3__t22_ami_3.vmin1out
2024-08-03 10:21
3.8K
ami_3__t22_ami_3.vout
2024-08-03 04:51
5.6K
ami_3__t23_ami_3
2024-07-28 12:15
44K
ami_3__t23_ami_3.depv1
2024-08-03 10:19
20
ami_3__t23_ami_3.depvmin1
2024-08-03 10:24
20
ami_3__t23_ami_3.vmin1
2024-08-03 10:19
387
ami_3__t23_ami_3.vmin1out
2024-08-03 10:21
3.8K
ami_3__t23_ami_3.vout
2024-08-03 06:09
5.6K
ami_3__t24_ami_3
2024-07-28 12:17
50K
ami_3__t24_ami_3.depv1
2024-08-03 10:19
56
ami_3__t24_ami_3.depvmin1
2024-08-03 10:24
44
ami_3__t24_ami_3.vmin1
2024-08-03 10:19
3.1K
ami_3__t24_ami_3.vmin1out
2024-08-03 10:21
150K
ami_3__t24_ami_3.vout
2024-08-03 04:41
115K
ami_3__t25_ami_3
2024-07-28 12:19
46K
ami_3__t25_ami_3.depv1
2024-08-03 10:19
101
ami_3__t25_ami_3.depvmin1
2024-08-03 10:24
88
ami_3__t25_ami_3.vmin1
2024-08-03 10:19
1.0K
ami_3__t25_ami_3.vmin1out
2024-08-03 10:22
8.9K
ami_3__t25_ami_3.vout
2024-08-03 04:54
7.5K
ami_3__t26_ami_3
2024-07-28 12:21
46K
ami_3__t26_ami_3.depv1
2024-08-03 10:19
102
ami_3__t26_ami_3.depvmin1
2024-08-03 10:24
78
ami_3__t26_ami_3.vmin1
2024-08-03 10:19
806
ami_3__t26_ami_3.vmin1out
2024-08-03 10:21
4.8K
ami_3__t26_ami_3.vout
2024-08-03 06:11
6.4K
ami_3__t27_ami_3
2024-07-28 12:50
46K
ami_3__t27_ami_3.vout
2024-08-03 06:12
9.9K
ami_3__t28_ami_3
2024-07-28 12:23
45K
ami_3__t28_ami_3.depv1
2024-08-03 10:19
30
ami_3__t28_ami_3.depvmin1
2024-08-03 10:24
30
ami_3__t28_ami_3.vmin1
2024-08-03 10:19
274
ami_3__t28_ami_3.vmin1out
2024-08-03 10:20
2.6K
ami_3__t28_ami_3.vout
2024-08-03 06:29
3.4K
ami_3__t29_ami_3
2024-07-28 12:25
45K
ami_3__t29_ami_3.vout
2024-08-03 04:31
7.8K
ami_3__t30_ami_3
2024-07-28 12:27
40K
ami_3__t30_ami_3.depv1
2024-08-03 10:19
23
ami_3__t30_ami_3.depvmin1
2024-08-03 10:24
23
ami_3__t30_ami_3.vmin1
2024-08-03 10:19
238
ami_3__t30_ami_3.vmin1out
2024-08-03 10:23
2.2K
ami_3__t30_ami_3.vout
2024-08-03 08:37
2.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80