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