Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/aofa_a01
Name
Last modified
Size
Description
Parent Directory
-
aofa_a01__l101_aofa_a01
2024-07-27 18:10
207K
aofa_a01__l101_aofa_a01.vout
2024-08-03 08:45
4.7K
aofa_a01__t1_aofa_a01
2024-07-27 12:59
41K
aofa_a01__t1_aofa_a01.depv1
2024-08-03 10:19
188
aofa_a01__t1_aofa_a01.depvmin1
2024-08-03 10:24
188
aofa_a01__t1_aofa_a01.vmin1
2024-08-03 10:19
1.0K
aofa_a01__t1_aofa_a01.vmin1out
2024-08-03 10:21
7.6K
aofa_a01__t1_aofa_a01.vout
2024-08-03 04:07
7.5K
aofa_a01__t2_aofa_a01
2024-07-27 13:03
71K
aofa_a01__t2_aofa_a01.vout
2024-08-03 04:54
7.3K
aofa_a01__t3_aofa_a01
2024-07-27 13:05
60K
aofa_a01__t3_aofa_a01.depv1
2024-08-03 10:19
381
aofa_a01__t3_aofa_a01.depvmin1
2024-08-03 10:24
357
aofa_a01__t3_aofa_a01.vmin1
2024-08-03 10:19
3.7K
aofa_a01__t3_aofa_a01.vmin1out
2024-08-03 10:22
41K
aofa_a01__t3_aofa_a01.vout
2024-08-03 05:59
44K
aofa_a01__t4_aofa_a01
2024-07-27 13:07
60K
aofa_a01__t4_aofa_a01.vout
2024-08-03 08:13
4.7K
aofa_a01__t5_aofa_a01
2024-07-27 13:09
79K
aofa_a01__t5_aofa_a01.vout
2024-08-03 04:32
5.8K
aofa_a01__t6_aofa_a01
2024-07-27 13:12
79K
aofa_a01__t6_aofa_a01.depv1
2024-08-03 10:19
123
aofa_a01__t6_aofa_a01.depvmin1
2024-08-03 10:24
123
aofa_a01__t6_aofa_a01.vmin1
2024-08-03 10:19
1.9K
aofa_a01__t6_aofa_a01.vmin1out
2024-08-03 10:20
27K
aofa_a01__t6_aofa_a01.vout
2024-08-03 10:13
30K
aofa_a01__t7_aofa_a01
2024-07-27 13:14
72K
aofa_a01__t7_aofa_a01.vout
2024-08-03 05:53
7.3K
aofa_a01__t8_aofa_a01
2024-07-27 13:01
77K
aofa_a01__t8_aofa_a01.depv1
2024-08-03 10:19
178
aofa_a01__t8_aofa_a01.depvmin1
2024-08-03 10:24
178
aofa_a01__t8_aofa_a01.vmin1
2024-08-03 10:19
3.9K
aofa_a01__t8_aofa_a01.vmin1out
2024-08-03 10:20
142K
aofa_a01__t8_aofa_a01.vout
2024-08-03 07:02
89K
aofa_a01__t9_aofa_a01
2024-07-27 13:16
63K
aofa_a01__t9_aofa_a01.vout
2024-08-03 04:58
7.3K
aofa_a01__t10_aofa_a01
2024-07-27 13:19
109K
aofa_a01__t10_aofa_a01.vout
2024-08-03 09:46
2.0K
aofa_a01__t11_aofa_a01
2024-07-27 13:21
118K
aofa_a01__t11_aofa_a01.vout
2024-08-03 04:12
7.9K
aofa_a01__t12_aofa_a01
2024-07-27 13:24
118K
aofa_a01__t12_aofa_a01.vout
2024-08-03 06:28
7.4K
aofa_a01__t13_aofa_a01
2024-07-27 13:27
118K
aofa_a01__t13_aofa_a01.vout
2024-08-03 06:08
7.4K
aofa_a01__t14_aofa_a01
2024-07-27 13:29
106K
aofa_a01__t14_aofa_a01.vout
2024-08-03 08:09
7.4K
aofa_a01__t15_aofa_a01
2024-07-27 13:32
106K
aofa_a01__t15_aofa_a01.vout
2024-08-03 10:14
7.4K
aofa_a01__t16_aofa_a01
2024-07-27 13:34
106K
aofa_a01__t16_aofa_a01.vout
2024-08-03 09:48
7.4K
aofa_a01__t17_aofa_a01
2024-07-27 13:37
106K
aofa_a01__t17_aofa_a01.vout
2024-08-03 06:58
7.4K
aofa_a01__t18_aofa_a01
2024-07-27 13:39
106K
aofa_a01__t18_aofa_a01.vout
2024-08-03 05:14
7.4K
aofa_a01__t19_aofa_a01
2024-07-27 13:42
106K
aofa_a01__t19_aofa_a01.vout
2024-08-03 08:50
7.4K
aofa_a01__t20_aofa_a01
2024-07-27 13:44
106K
aofa_a01__t20_aofa_a01.vout
2024-08-03 09:28
7.4K
aofa_a01__t21_aofa_a01
2024-07-27 13:47
76K
aofa_a01__t21_aofa_a01.depv1
2024-08-03 10:19
109
aofa_a01__t21_aofa_a01.depvmin1
2024-08-03 10:24
109
aofa_a01__t21_aofa_a01.vmin1
2024-08-03 10:19
1.2K
aofa_a01__t21_aofa_a01.vmin1out
2024-08-03 10:23
13K
aofa_a01__t21_aofa_a01.vout
2024-08-03 08:43
14K
aofa_a01__t22_aofa_a01
2024-07-27 13:49
89K
aofa_a01__t22_aofa_a01.vout
2024-08-03 09:43
2.0K
aofa_a01__t23_aofa_a01
2024-07-27 13:51
97K
aofa_a01__t23_aofa_a01.vout
2024-08-03 09:59
2.0K
aofa_a01__t24_aofa_a01
2024-07-27 13:54
98K
aofa_a01__t24_aofa_a01.vout
2024-08-03 06:35
2.0K
aofa_a01__t25_aofa_a01
2024-07-27 13:56
94K
aofa_a01__t25_aofa_a01.vout
2024-08-03 07:52
6.8K
aofa_a01__t26_aofa_a01
2024-07-27 13:59
103K
aofa_a01__t26_aofa_a01.vout
2024-08-03 09:49
6.8K
aofa_a01__t27_aofa_a01
2024-07-27 14:01
104K
aofa_a01__t27_aofa_a01.vout
2024-08-03 10:16
6.8K
aofa_a01__t28_aofa_a01
2024-07-27 14:04
94K
aofa_a01__t28_aofa_a01.vout
2024-08-03 04:26
4.7K
aofa_a01__t29_aofa_a01
2024-07-27 14:07
97K
aofa_a01__t29_aofa_a01.vout
2024-08-03 04:17
4.7K
aofa_a01__t30_aofa_a01
2024-07-27 14:10
116K
aofa_a01__t30_aofa_a01.vout
2024-08-03 09:57
4.7K
aofa_a01__t31_aofa_a01
2024-07-27 14:13
120K
aofa_a01__t31_aofa_a01.vout
2024-08-03 07:24
4.8K
aofa_a01__t32_aofa_a01
2024-07-27 14:16
124K
aofa_a01__t32_aofa_a01.vout
2024-08-03 06:30
7.3K
aofa_a01__t33_aofa_a01
2024-07-27 14:18
117K
aofa_a01__t33_aofa_a01.vout
2024-08-03 08:46
7.3K
aofa_a01__t34_aofa_a01
2024-07-27 14:21
124K
aofa_a01__t34_aofa_a01.vout
2024-08-03 04:56
2.0K
aofa_a01__t35_aofa_a01
2024-07-27 14:25
130K
aofa_a01__t35_aofa_a01.vout
2024-08-03 07:36
4.7K
aofa_a01__t36_aofa_a01
2024-07-27 14:28
192K
aofa_a01__t36_aofa_a01.vout
2024-08-03 05:53
4.7K
aofa_a01__t37_aofa_a01
2024-07-27 14:32
192K
aofa_a01__t37_aofa_a01.vout
2024-08-03 07:37
4.7K
aofa_a01__t38_aofa_a01
2024-07-27 14:35
127K
aofa_a01__t38_aofa_a01.vout
2024-08-03 04:14
4.7K
aofa_a01__t39_aofa_a01
2024-07-27 14:38
138K
aofa_a01__t39_aofa_a01.vout
2024-08-03 09:48
4.7K
aofa_a01__t40_aofa_a01
2024-07-27 14:42
173K
aofa_a01__t40_aofa_a01.vout
2024-08-03 06:37
7.4K
aofa_a01__t41_aofa_a01
2024-07-27 14:45
122K
aofa_a01__t41_aofa_a01.vout
2024-08-03 09:38
2.0K
aofa_a01__t42_aofa_a01
2024-07-27 14:48
131K
aofa_a01__t42_aofa_a01.vout
2024-08-03 07:29
4.7K
aofa_a01__t43_aofa_a01
2024-07-27 14:51
138K
aofa_a01__t43_aofa_a01.vout
2024-08-03 04:24
4.7K
aofa_a01__t44_aofa_a01
2024-07-27 14:54
128K
aofa_a01__t44_aofa_a01.vout
2024-08-03 07:09
2.0K
aofa_a01__t45_aofa_a01
2024-07-27 14:58
139K
aofa_a01__t45_aofa_a01.vout
2024-08-03 10:13
4.7K
aofa_a01__t46_aofa_a01
2024-07-27 15:01
112K
aofa_a01__t46_aofa_a01.vout
2024-08-03 06:26
4.7K
aofa_a01__t47_aofa_a01
2024-07-27 15:04
115K
aofa_a01__t47_aofa_a01.vout
2024-08-03 08:12
4.7K
aofa_a01__t48_aofa_a01
2024-07-27 15:07
122K
aofa_a01__t48_aofa_a01.vout
2024-08-03 09:14
6.8K
aofa_a01__t49_aofa_a01
2024-07-27 15:10
122K
aofa_a01__t49_aofa_a01.vout
2024-08-03 09:18
2.0K
aofa_a01__t50_aofa_a01
2024-07-27 15:13
126K
aofa_a01__t50_aofa_a01.vout
2024-08-03 06:54
4.7K
aofa_a01__t51_aofa_a01
2024-07-27 15:17
189K
aofa_a01__t51_aofa_a01.vout
2024-08-03 06:37
4.7K
aofa_a01__t52_aofa_a01
2024-07-27 15:20
189K
aofa_a01__t52_aofa_a01.vout
2024-08-03 05:28
4.7K
aofa_a01__t53_aofa_a01
2024-07-27 15:24
124K
aofa_a01__t53_aofa_a01.vout
2024-08-03 07:27
4.7K
aofa_a01__t54_aofa_a01
2024-07-27 15:27
133K
aofa_a01__t54_aofa_a01.vout
2024-08-03 06:52
4.7K
aofa_a01__t55_aofa_a01
2024-07-27 15:30
170K
aofa_a01__t55_aofa_a01.vout
2024-08-03 09:14
7.3K
aofa_a01__t56_aofa_a01
2024-07-27 15:33
119K
aofa_a01__t56_aofa_a01.vout
2024-08-03 07:50
2.0K
aofa_a01__t57_aofa_a01
2024-07-27 15:36
128K
aofa_a01__t57_aofa_a01.vout
2024-08-03 08:02
4.7K
aofa_a01__t58_aofa_a01
2024-07-27 15:39
135K
aofa_a01__t58_aofa_a01.vout
2024-08-03 07:12
4.7K
aofa_a01__t59_aofa_a01
2024-07-27 15:42
125K
aofa_a01__t59_aofa_a01.vout
2024-08-03 05:18
2.0K
aofa_a01__t60_aofa_a01
2024-07-27 15:46
136K
aofa_a01__t60_aofa_a01.vout
2024-08-03 08:39
4.7K
aofa_a01__t61_aofa_a01
2024-07-27 15:48
101K
aofa_a01__t61_aofa_a01.vout
2024-08-03 07:19
4.7K
aofa_a01__t62_aofa_a01
2024-07-27 15:51
107K
aofa_a01__t62_aofa_a01.vout
2024-08-03 05:16
4.7K
aofa_a01__t63_aofa_a01
2024-07-27 15:55
213K
aofa_a01__t63_aofa_a01.vout
2024-08-03 07:57
7.3K
aofa_a01__t64_aofa_a01
2024-07-27 15:58
215K
aofa_a01__t64_aofa_a01.vout
2024-08-03 09:29
7.3K
aofa_a01__t65_aofa_a01
2024-07-27 16:01
140K
aofa_a01__t65_aofa_a01.vout
2024-08-03 05:36
7.3K
aofa_a01__t66_aofa_a01
2024-07-27 16:06
273K
aofa_a01__t66_aofa_a01.vout
2024-08-03 06:18
4.8K
aofa_a01__t67_aofa_a01
2024-07-27 16:10
277K
aofa_a01__t67_aofa_a01.vout
2024-08-03 08:41
4.7K
aofa_a01__t68_aofa_a01
2024-07-27 16:13
108K
aofa_a01__t68_aofa_a01.vout
2024-08-03 06:32
3.7K
aofa_a01__t69_aofa_a01
2024-07-27 17:56
292K
aofa_a01__t69_aofa_a01.vout
2024-08-03 09:46
6.8K
aofa_a01__t70_aofa_a01
2024-07-27 16:18
771K
aofa_a01__t70_aofa_a01.vout
2024-08-03 05:10
4.7K
aofa_a01__t71_aofa_a01
2024-07-27 16:21
119K
aofa_a01__t71_aofa_a01.vout
2024-08-03 06:42
5.8K
aofa_a01__t72_aofa_a01
2024-07-27 16:24
129K
aofa_a01__t72_aofa_a01.vout
2024-08-03 07:14
4.7K
aofa_a01__t73_aofa_a01
2024-07-27 16:27
118K
aofa_a01__t73_aofa_a01.vout
2024-08-03 09:14
5.8K
aofa_a01__t74_aofa_a01
2024-07-27 16:30
135K
aofa_a01__t74_aofa_a01.vout
2024-08-03 07:23
4.7K
aofa_a01__t75_aofa_a01
2024-07-27 16:33
119K
aofa_a01__t75_aofa_a01.vout
2024-08-03 10:08
5.8K
aofa_a01__t76_aofa_a01
2024-07-27 16:36
119K
aofa_a01__t76_aofa_a01.vout
2024-08-03 09:33
5.8K
aofa_a01__t77_aofa_a01
2024-07-27 16:38
116K
aofa_a01__t77_aofa_a01.vout
2024-08-03 05:00
5.8K
aofa_a01__t78_aofa_a01
2024-07-27 16:41
119K
aofa_a01__t78_aofa_a01.vout
2024-08-03 05:46
5.8K
aofa_a01__t79_aofa_a01
2024-07-27 16:45
138K
aofa_a01__t79_aofa_a01.vout
2024-08-03 06:27
4.7K
aofa_a01__t80_aofa_a01
2024-07-27 16:48
140K
aofa_a01__t80_aofa_a01.vout
2024-08-03 08:42
4.7K
aofa_a01__t81_aofa_a01
2024-07-27 16:51
129K
aofa_a01__t81_aofa_a01.vout
2024-08-03 08:21
4.7K
aofa_a01__t82_aofa_a01
2024-07-27 16:54
137K
aofa_a01__t82_aofa_a01.vout
2024-08-03 04:29
4.7K
aofa_a01__t83_aofa_a01
2024-07-27 16:57
134K
aofa_a01__t83_aofa_a01.vout
2024-08-03 05:43
4.7K
aofa_a01__t84_aofa_a01
2024-07-27 17:01
137K
aofa_a01__t84_aofa_a01.vout
2024-08-03 07:09
4.7K
aofa_a01__t85_aofa_a01
2024-07-27 17:04
125K
aofa_a01__t85_aofa_a01.vout
2024-08-03 09:55
4.7K
aofa_a01__t86_aofa_a01
2024-07-27 17:07
133K
aofa_a01__t86_aofa_a01.vout
2024-08-03 07:26
4.7K
aofa_a01__t87_aofa_a01
2024-07-27 17:10
119K
aofa_a01__t87_aofa_a01.vout
2024-08-03 05:37
7.4K
aofa_a01__t88_aofa_a01
2024-07-27 17:13
126K
aofa_a01__t88_aofa_a01.vout
2024-08-03 07:06
4.7K
aofa_a01__t89_aofa_a01
2024-07-27 17:16
127K
aofa_a01__t89_aofa_a01.vout
2024-08-03 10:04
2.0K
aofa_a01__t90_aofa_a01
2024-07-27 17:19
264K
aofa_a01__t90_aofa_a01.vout
2024-08-03 04:34
7.3K
aofa_a01__t91_aofa_a01
2024-07-27 17:22
161K
aofa_a01__t91_aofa_a01.vout
2024-08-03 09:51
4.7K
aofa_a01__t92_aofa_a01
2024-07-27 17:26
158K
aofa_a01__t92_aofa_a01.vout
2024-08-03 07:59
4.7K
aofa_a01__t93_aofa_a01
2024-07-27 17:31
1.0M
aofa_a01__t93_aofa_a01.vout
2024-08-03 04:22
4.7K
aofa_a01__t94_aofa_a01
2024-07-27 17:35
854K
aofa_a01__t94_aofa_a01.vout
2024-08-03 08:20
4.7K
aofa_a01__t95_aofa_a01
2024-07-27 18:00
203K
aofa_a01__t95_aofa_a01.vout
2024-08-03 06:44
6.8K
aofa_a01__t96_aofa_a01
2024-07-27 17:38
114K
aofa_a01__t96_aofa_a01.vout
2024-08-03 04:11
3.7K
aofa_a01__t97_aofa_a01
2024-07-27 17:42
273K
aofa_a01__t97_aofa_a01.vout
2024-08-03 06:40
4.7K
aofa_a01__t98_aofa_a01
2024-07-27 17:46
158K
aofa_a01__t98_aofa_a01.vout
2024-08-03 06:15
3.7K
aofa_a01__t99_aofa_a01
2024-07-27 17:51
207K
aofa_a01__t99_aofa_a01.vout
2024-08-03 06:54
7.3K
aofa_a01__t100_aofa_a01
2024-07-27 18:06
373K
aofa_a01__t100_aofa_a01.vout
2024-08-03 06:35
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80