Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/aff_1
Name
Last modified
Size
Description
Parent Directory
-
aff_1__l4_aff_1
2024-07-27 10:44
5.6K
aff_1__l4_aff_1.depv1
2024-08-03 10:19
28
aff_1__l4_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__l4_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__l4_aff_1.vmin1out
2024-08-03 10:22
33K
aff_1__l4_aff_1.vout
2024-08-03 08:05
33K
aff_1__l6_aff_1
2024-07-27 10:45
5.9K
aff_1__l6_aff_1.depv1
2024-08-03 10:19
28
aff_1__l6_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__l6_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__l6_aff_1.vmin1out
2024-08-03 10:20
27K
aff_1__l6_aff_1.vout
2024-08-03 05:41
27K
aff_1__l7_aff_1
2024-07-27 10:45
4.2K
aff_1__l7_aff_1.depv1
2024-08-03 10:19
27
aff_1__l7_aff_1.depvmin1
2024-08-03 10:24
27
aff_1__l7_aff_1.vmin1
2024-08-03 10:20
1.1K
aff_1__l7_aff_1.vmin1out
2024-08-03 10:22
13K
aff_1__l7_aff_1.vout
2024-08-03 05:08
13K
aff_1__l10_aff_1
2024-07-27 10:13
6.1K
aff_1__l10_aff_1.depv1
2024-08-03 10:19
38
aff_1__l10_aff_1.depvmin1
2024-08-03 10:24
38
aff_1__l10_aff_1.vmin1
2024-08-03 10:20
2.9K
aff_1__l10_aff_1.vmin1out
2024-08-03 10:23
24K
aff_1__l10_aff_1.vout
2024-08-03 04:18
24K
aff_1__l21_aff_1
2024-07-27 10:46
5.9K
aff_1__l21_aff_1.depv1
2024-08-03 10:19
83
aff_1__l21_aff_1.depvmin1
2024-08-03 10:24
83
aff_1__l21_aff_1.vmin1
2024-08-03 10:20
1.6K
aff_1__l21_aff_1.vmin1out
2024-08-03 10:23
30K
aff_1__l21_aff_1.vout
2024-08-03 05:21
25K
aff_1__l26_aff_1
2024-07-27 10:46
6.6K
aff_1__l26_aff_1.vout
2024-08-03 08:14
7.6K
aff_1__l55_aff_1
2024-07-27 10:47
9.0K
aff_1__l55_aff_1.vout
2024-08-03 05:45
8.1K
aff_1__t2_aff_1
2024-07-27 10:07
5.2K
aff_1__t2_aff_1.depv1
2024-08-03 10:19
19
aff_1__t2_aff_1.depvmin1
2024-08-03 10:24
19
aff_1__t2_aff_1.vmin1
2024-08-03 10:20
2.0K
aff_1__t2_aff_1.vmin1out
2024-08-03 10:23
35K
aff_1__t2_aff_1.vout
2024-08-03 07:55
35K
aff_1__t3_aff_1
2024-07-27 10:08
5.6K
aff_1__t3_aff_1.depv1
2024-08-03 10:19
28
aff_1__t3_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__t3_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__t3_aff_1.vmin1out
2024-08-03 10:23
28K
aff_1__t3_aff_1.vout
2024-08-03 08:29
28K
aff_1__t4_aff_1
2024-07-27 10:14
4.8K
aff_1__t4_aff_1.depv1
2024-08-03 10:19
36
aff_1__t4_aff_1.depvmin1
2024-08-03 10:24
27
aff_1__t4_aff_1.vmin1
2024-08-03 10:20
1.6K
aff_1__t4_aff_1.vmin1out
2024-08-03 10:22
22K
aff_1__t4_aff_1.vout
2024-08-03 06:15
25K
aff_1__t5_aff_1
2024-07-27 10:15
6.2K
aff_1__t5_aff_1.depv1
2024-08-03 10:19
28
aff_1__t5_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__t5_aff_1.vmin1
2024-08-03 10:20
3.0K
aff_1__t5_aff_1.vmin1out
2024-08-03 10:21
41K
aff_1__t5_aff_1.vout
2024-08-03 08:03
41K
aff_1__t6_aff_1
2024-07-27 10:15
4.2K
aff_1__t6_aff_1.depv1
2024-08-03 10:19
19
aff_1__t6_aff_1.depvmin1
2024-08-03 10:24
19
aff_1__t6_aff_1.vmin1
2024-08-03 10:20
741
aff_1__t6_aff_1.vmin1out
2024-08-03 10:23
14K
aff_1__t6_aff_1.vout
2024-08-03 05:16
14K
aff_1__t7_aff_1
2024-07-27 10:08
4.3K
aff_1__t7_aff_1.depv1
2024-08-03 10:19
36
aff_1__t7_aff_1.depvmin1
2024-08-03 10:24
36
aff_1__t7_aff_1.vmin1
2024-08-03 10:20
1.1K
aff_1__t7_aff_1.vmin1out
2024-08-03 10:23
14K
aff_1__t7_aff_1.vout
2024-08-03 09:03
14K
aff_1__t8_aff_1
2024-07-27 10:16
6.4K
aff_1__t8_aff_1.vout
2024-08-03 05:56
7.1K
aff_1__t9_aff_1
2024-07-27 10:16
6.2K
aff_1__t9_aff_1.depv1
2024-08-03 10:19
63
aff_1__t9_aff_1.depvmin1
2024-08-03 10:24
63
aff_1__t9_aff_1.vmin1
2024-08-03 10:20
3.1K
aff_1__t9_aff_1.vmin1out
2024-08-03 10:20
19K
aff_1__t9_aff_1.vout
2024-08-03 09:02
19K
aff_1__t10_aff_1
2024-07-27 10:17
7.2K
aff_1__t10_aff_1.depv1
2024-08-03 10:19
56
aff_1__t10_aff_1.depvmin1
2024-08-03 10:24
56
aff_1__t10_aff_1.vmin1
2024-08-03 10:20
4.0K
aff_1__t10_aff_1.vmin1out
2024-08-03 10:23
43K
aff_1__t10_aff_1.vout
2024-08-03 04:10
43K
aff_1__t11_aff_1
2024-07-27 10:17
5.1K
aff_1__t11_aff_1.depv1
2024-08-03 10:19
28
aff_1__t11_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__t11_aff_1.vmin1
2024-08-03 10:20
1.2K
aff_1__t11_aff_1.vmin1out
2024-08-03 10:21
31K
aff_1__t11_aff_1.vout
2024-08-03 08:11
32K
aff_1__t12_aff_1
2024-07-27 10:18
5.5K
aff_1__t12_aff_1.depv1
2024-08-03 10:19
29
aff_1__t12_aff_1.depvmin1
2024-08-03 10:24
29
aff_1__t12_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__t12_aff_1.vmin1out
2024-08-03 10:20
19K
aff_1__t12_aff_1.vout
2024-08-03 07:50
19K
aff_1__t13_aff_1
2024-07-27 10:18
4.5K
aff_1__t13_aff_1.depv1
2024-08-03 10:19
29
aff_1__t13_aff_1.depvmin1
2024-08-03 10:24
29
aff_1__t13_aff_1.vmin1
2024-08-03 10:20
1.0K
aff_1__t13_aff_1.vmin1out
2024-08-03 10:20
10K
aff_1__t13_aff_1.vout
2024-08-03 07:33
10K
aff_1__t14_aff_1
2024-07-27 10:19
5.0K
aff_1__t14_aff_1.depv1
2024-08-03 10:19
46
aff_1__t14_aff_1.depvmin1
2024-08-03 10:24
46
aff_1__t14_aff_1.vmin1
2024-08-03 10:20
1.8K
aff_1__t14_aff_1.vmin1out
2024-08-03 10:20
27K
aff_1__t14_aff_1.vout
2024-08-03 05:05
27K
aff_1__t15_aff_1
2024-07-27 10:19
6.3K
aff_1__t15_aff_1.depv1
2024-08-03 10:19
85
aff_1__t15_aff_1.depvmin1
2024-08-03 10:24
85
aff_1__t15_aff_1.vmin1
2024-08-03 10:20
1.6K
aff_1__t15_aff_1.vmin1out
2024-08-03 10:22
28K
aff_1__t15_aff_1.vout
2024-08-03 07:27
28K
aff_1__t16_aff_1
2024-07-27 10:20
6.8K
aff_1__t16_aff_1.depv1
2024-08-03 10:19
129
aff_1__t16_aff_1.depvmin1
2024-08-03 10:24
106
aff_1__t16_aff_1.vmin1
2024-08-03 10:20
2.3K
aff_1__t16_aff_1.vmin1out
2024-08-03 10:21
46K
aff_1__t16_aff_1.vout
2024-08-03 04:38
47K
aff_1__t17_aff_1
2024-07-27 10:21
6.8K
aff_1__t17_aff_1.depv1
2024-08-03 10:19
128
aff_1__t17_aff_1.depvmin1
2024-08-03 10:24
128
aff_1__t17_aff_1.vmin1
2024-08-03 10:20
2.3K
aff_1__t17_aff_1.vmin1out
2024-08-03 10:21
37K
aff_1__t17_aff_1.vout
2024-08-03 07:23
44K
aff_1__t18_aff_1
2024-07-27 10:21
6.1K
aff_1__t18_aff_1.depv1
2024-08-03 10:19
20
aff_1__t18_aff_1.depvmin1
2024-08-03 10:24
20
aff_1__t18_aff_1.vmin1
2024-08-03 10:20
856
aff_1__t18_aff_1.vmin1out
2024-08-03 10:21
9.9K
aff_1__t18_aff_1.vout
2024-08-03 08:49
10K
aff_1__t19_aff_1
2024-07-27 10:22
5.9K
aff_1__t19_aff_1.vout
2024-08-03 10:08
2.0K
aff_1__t20_aff_1
2024-07-27 10:22
5.0K
aff_1__t20_aff_1.depv1
2024-08-03 10:19
20
aff_1__t20_aff_1.depvmin1
2024-08-03 10:24
20
aff_1__t20_aff_1.vmin1
2024-08-03 10:20
687
aff_1__t20_aff_1.vmin1out
2024-08-03 10:21
15K
aff_1__t20_aff_1.vout
2024-08-03 06:58
15K
aff_1__t21_aff_1
2024-07-27 10:23
7.6K
aff_1__t21_aff_1.vout
2024-08-03 05:46
7.1K
aff_1__t22_aff_1
2024-07-27 10:24
6.9K
aff_1__t22_aff_1.depv1
2024-08-03 10:19
72
aff_1__t22_aff_1.depvmin1
2024-08-03 10:24
72
aff_1__t22_aff_1.vmin1
2024-08-03 10:20
2.0K
aff_1__t22_aff_1.vmin1out
2024-08-03 10:22
26K
aff_1__t22_aff_1.vout
2024-08-03 08:13
26K
aff_1__t23_aff_1
2024-07-27 10:24
7.0K
aff_1__t23_aff_1.vout
2024-08-03 07:16
7.6K
aff_1__t24_aff_1
2024-07-27 10:09
6.4K
aff_1__t24_aff_1.vout
2024-08-03 06:19
7.1K
aff_1__t25_aff_1
2024-07-27 10:25
6.7K
aff_1__t25_aff_1.depv1
2024-08-03 10:19
51
aff_1__t25_aff_1.depvmin1
2024-08-03 10:24
51
aff_1__t25_aff_1.vmin1
2024-08-03 10:20
1.4K
aff_1__t25_aff_1.vmin1out
2024-08-03 10:20
17K
aff_1__t25_aff_1.vout
2024-08-03 08:05
17K
aff_1__t26_aff_1
2024-07-27 10:10
6.0K
aff_1__t26_aff_1.vout
2024-08-03 04:24
7.8K
aff_1__t27_aff_1
2024-07-27 10:26
7.7K
aff_1__t27_aff_1.depv1
2024-08-03 10:19
48
aff_1__t27_aff_1.depvmin1
2024-08-03 10:24
48
aff_1__t27_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__t27_aff_1.vmin1out
2024-08-03 10:20
32K
aff_1__t27_aff_1.vout
2024-08-03 09:10
32K
aff_1__t28_aff_1
2024-07-27 10:26
6.3K
aff_1__t28_aff_1.depv1
2024-08-03 10:19
39
aff_1__t28_aff_1.depvmin1
2024-08-03 10:24
39
aff_1__t28_aff_1.vmin1
2024-08-03 10:20
1.3K
aff_1__t28_aff_1.vmin1out
2024-08-03 10:22
32K
aff_1__t28_aff_1.vout
2024-08-03 05:26
33K
aff_1__t29_aff_1
2024-07-27 10:10
6.1K
aff_1__t29_aff_1.depv1
2024-08-03 10:19
40
aff_1__t29_aff_1.depvmin1
2024-08-03 10:24
40
aff_1__t29_aff_1.vmin1
2024-08-03 10:20
1.2K
aff_1__t29_aff_1.vmin1out
2024-08-03 10:23
18K
aff_1__t29_aff_1.vout
2024-08-03 08:45
19K
aff_1__t30_aff_1
2024-07-27 10:27
7.0K
aff_1__t30_aff_1.depv1
2024-08-03 10:19
39
aff_1__t30_aff_1.depvmin1
2024-08-03 10:24
39
aff_1__t30_aff_1.vmin1
2024-08-03 10:20
1.8K
aff_1__t30_aff_1.vmin1out
2024-08-03 10:22
32K
aff_1__t30_aff_1.vout
2024-08-03 09:00
32K
aff_1__t31_aff_1
2024-07-27 10:28
7.7K
aff_1__t31_aff_1.depv1
2024-08-03 10:19
71
aff_1__t31_aff_1.depvmin1
2024-08-03 10:24
71
aff_1__t31_aff_1.vmin1
2024-08-03 10:20
2.6K
aff_1__t31_aff_1.vmin1out
2024-08-03 10:22
23K
aff_1__t31_aff_1.vout
2024-08-03 05:35
23K
aff_1__t32_aff_1
2024-07-27 10:28
7.4K
aff_1__t32_aff_1.depv1
2024-08-03 10:19
28
aff_1__t32_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__t32_aff_1.vmin1
2024-08-03 10:20
1.6K
aff_1__t32_aff_1.vmin1out
2024-08-03 10:21
30K
aff_1__t32_aff_1.vout
2024-08-03 04:11
26K
aff_1__t33_aff_1
2024-07-27 10:29
6.6K
aff_1__t33_aff_1.depv1
2024-08-03 10:19
49
aff_1__t33_aff_1.depvmin1
2024-08-03 10:24
49
aff_1__t33_aff_1.vmin1
2024-08-03 10:20
1.6K
aff_1__t33_aff_1.vmin1out
2024-08-03 10:21
27K
aff_1__t33_aff_1.vout
2024-08-03 05:34
28K
aff_1__t34_aff_1
2024-07-27 10:30
6.6K
aff_1__t34_aff_1.depv1
2024-08-03 10:19
29
aff_1__t34_aff_1.depvmin1
2024-08-03 10:24
29
aff_1__t34_aff_1.vmin1
2024-08-03 10:20
1.0K
aff_1__t34_aff_1.vmin1out
2024-08-03 10:23
11K
aff_1__t34_aff_1.vout
2024-08-03 04:51
8.5K
aff_1__t35_aff_1
2024-07-27 10:30
6.7K
aff_1__t35_aff_1.vout
2024-08-03 06:22
7.8K
aff_1__t36_aff_1
2024-07-27 10:31
6.4K
aff_1__t36_aff_1.vout
2024-08-03 07:58
7.3K
aff_1__t37_aff_1
2024-07-27 10:31
6.5K
aff_1__t37_aff_1.depv1
2024-08-03 10:19
40
aff_1__t37_aff_1.depvmin1
2024-08-03 10:24
28
aff_1__t37_aff_1.vmin1
2024-08-03 10:20
1.6K
aff_1__t37_aff_1.vmin1out
2024-08-03 10:21
61K
aff_1__t37_aff_1.vout
2024-08-03 08:53
63K
aff_1__t38_aff_1
2024-07-27 10:32
8.3K
aff_1__t38_aff_1.vout
2024-08-03 10:12
7.1K
aff_1__t39_aff_1
2024-07-27 10:33
7.4K
aff_1__t39_aff_1.depv1
2024-08-03 10:19
39
aff_1__t39_aff_1.depvmin1
2024-08-03 10:24
39
aff_1__t39_aff_1.vmin1
2024-08-03 10:20
1.8K
aff_1__t39_aff_1.vmin1out
2024-08-03 10:23
26K
aff_1__t39_aff_1.vout
2024-08-03 09:54
36K
aff_1__t40_aff_1
2024-07-27 10:34
8.1K
aff_1__t40_aff_1.depv1
2024-08-03 10:19
59
aff_1__t40_aff_1.depvmin1
2024-08-03 10:24
59
aff_1__t40_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__t40_aff_1.vmin1out
2024-08-03 10:22
24K
aff_1__t40_aff_1.vout
2024-08-03 04:40
24K
aff_1__t41_aff_1
2024-07-27 10:34
7.0K
aff_1__t41_aff_1.depv1
2024-08-03 10:19
61
aff_1__t41_aff_1.depvmin1
2024-08-03 10:24
61
aff_1__t41_aff_1.vmin1
2024-08-03 10:20
1.5K
aff_1__t41_aff_1.vmin1out
2024-08-03 10:21
31K
aff_1__t41_aff_1.vout
2024-08-03 06:18
31K
aff_1__t42_aff_1
2024-07-27 10:35
6.9K
aff_1__t42_aff_1.depv1
2024-08-03 10:19
29
aff_1__t42_aff_1.depvmin1
2024-08-03 10:24
29
aff_1__t42_aff_1.vmin1
2024-08-03 10:20
1.4K
aff_1__t42_aff_1.vmin1out
2024-08-03 10:21
32K
aff_1__t42_aff_1.vout
2024-08-03 06:13
33K
aff_1__t43_aff_1
2024-07-27 10:35
9.1K
aff_1__t43_aff_1.vout
2024-08-03 10:05
7.1K
aff_1__t44_aff_1
2024-07-27 10:11
5.6K
aff_1__t44_aff_1.depv1
2024-08-03 10:19
38
aff_1__t44_aff_1.depvmin1
2024-08-03 10:24
38
aff_1__t44_aff_1.vmin1
2024-08-03 10:20
1.1K
aff_1__t44_aff_1.vmin1out
2024-08-03 10:23
17K
aff_1__t44_aff_1.vout
2024-08-03 09:58
17K
aff_1__t45_aff_1
2024-07-27 10:36
10K
aff_1__t45_aff_1.vout
2024-08-03 08:40
7.3K
aff_1__t46_aff_1
2024-07-27 10:37
8.2K
aff_1__t46_aff_1.vout
2024-08-03 07:07
7.1K
aff_1__t47_aff_1
2024-07-27 10:38
8.4K
aff_1__t47_aff_1.vout
2024-08-03 07:48
7.1K
aff_1__t48_aff_1
2024-07-27 10:38
7.9K
aff_1__t48_aff_1.vout
2024-08-03 05:49
7.1K
aff_1__t49_aff_1
2024-07-27 10:39
9.4K
aff_1__t49_aff_1.vout
2024-08-03 09:37
7.1K
aff_1__t50_aff_1
2024-07-27 10:11
5.8K
aff_1__t50_aff_1.depv1
2024-08-03 10:19
58
aff_1__t50_aff_1.depvmin1
2024-08-03 10:24
58
aff_1__t50_aff_1.vmin1
2024-08-03 10:20
1.5K
aff_1__t50_aff_1.vmin1out
2024-08-03 10:20
22K
aff_1__t50_aff_1.vout
2024-08-03 05:03
22K
aff_1__t51_aff_1
2024-07-27 10:12
6.9K
aff_1__t51_aff_1.depv1
2024-08-03 10:19
30
aff_1__t51_aff_1.depvmin1
2024-08-03 10:24
30
aff_1__t51_aff_1.vmin1
2024-08-03 10:20
1.2K
aff_1__t51_aff_1.vmin1out
2024-08-03 10:23
16K
aff_1__t51_aff_1.vout
2024-08-03 07:55
23K
aff_1__t52_aff_1
2024-07-27 10:12
6.4K
aff_1__t52_aff_1.depv1
2024-08-03 10:19
20
aff_1__t52_aff_1.depvmin1
2024-08-03 10:24
20
aff_1__t52_aff_1.vmin1
2024-08-03 10:20
711
aff_1__t52_aff_1.vmin1out
2024-08-03 10:21
8.9K
aff_1__t52_aff_1.vout
2024-08-03 06:33
13K
aff_1__t53_aff_1
2024-07-27 10:40
8.9K
aff_1__t53_aff_1.depv1
2024-08-03 10:19
77
aff_1__t53_aff_1.depvmin1
2024-08-03 10:24
59
aff_1__t53_aff_1.vmin1
2024-08-03 10:20
2.5K
aff_1__t53_aff_1.vmin1out
2024-08-03 10:21
46K
aff_1__t53_aff_1.vout
2024-08-03 08:07
32K
aff_1__t54_aff_1
2024-07-27 10:40
7.9K
aff_1__t54_aff_1.depv1
2024-08-03 10:19
30
aff_1__t54_aff_1.depvmin1
2024-08-03 10:24
30
aff_1__t54_aff_1.vmin1
2024-08-03 10:20
1.3K
aff_1__t54_aff_1.vmin1out
2024-08-03 10:22
48K
aff_1__t54_aff_1.vout
2024-08-03 08:39
18K
aff_1__t55_aff_1
2024-07-27 10:41
5.6K
aff_1__t55_aff_1.depv1
2024-08-03 10:19
46
aff_1__t55_aff_1.depvmin1
2024-08-03 10:24
46
aff_1__t55_aff_1.vmin1
2024-08-03 10:20
2.4K
aff_1__t55_aff_1.vmin1out
2024-08-03 10:20
35K
aff_1__t55_aff_1.vout
2024-08-03 04:17
23K
aff_1__t56_aff_1
2024-07-27 10:42
9.6K
aff_1__t56_aff_1.vout
2024-08-03 05:36
7.1K
aff_1__t57_aff_1
2024-07-27 10:13
6.0K
aff_1__t57_aff_1.depv1
2024-08-03 10:19
20
aff_1__t57_aff_1.depvmin1
2024-08-03 10:24
20
aff_1__t57_aff_1.vmin1
2024-08-03 10:20
727
aff_1__t57_aff_1.vmin1out
2024-08-03 10:23
14K
aff_1__t57_aff_1.vout
2024-08-03 06:17
14K
aff_1__t58_aff_1
2024-07-27 10:42
10K
aff_1__t58_aff_1.vout
2024-08-03 07:13
7.1K
aff_1__t59_aff_1
2024-07-27 10:43
9.1K
aff_1__t59_aff_1.vout
2024-08-03 09:15
7.1K
aff_1__t60_aff_1
2024-07-27 10:44
6.1K
aff_1__t60_aff_1.depv1
2024-08-03 10:19
57
aff_1__t60_aff_1.depvmin1
2024-08-03 10:24
57
aff_1__t60_aff_1.vmin1
2024-08-03 10:20
3.1K
aff_1__t60_aff_1.vmin1out
2024-08-03 10:22
53K
aff_1__t60_aff_1.vout
2024-08-03 04:12
53K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80