Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/number14
Name
Last modified
Size
Description
Parent Directory
-
number14__l1_number14
2025-09-12 18:58
114K
number14__l2_number14
2025-09-12 19:00
117K
number14__l3_number14
2025-09-12 19:01
117K
number14__l4_number14
2025-09-12 19:03
131K
number14__l5_number14
2025-09-12 19:05
83K
number14__l6_number14
2025-09-12 19:07
109K
number14__l61_number14
2025-09-12 22:46
478K
number14__l62_number14
2025-09-12 22:49
478K
number14__l63_number14
2025-09-12 22:52
478K
number14__l65_number14
2025-09-12 22:54
83K
number14__l116_number14
2025-09-12 22:56
364K
number14__l117_number14
2025-09-12 22:58
498K
number14__l137_number14
2025-09-12 23:01
302K
number14__l142_number14
2025-09-12 19:09
127K
number14__l143_number14
2025-09-12 19:10
176K
number14__t1_number14
2025-09-12 19:12
89K
number14__t2_number14
2025-09-12 19:14
105K
number14__t3_number14
2025-09-12 19:16
146K
number14__t4_number14
2025-09-12 19:18
148K
number14__t5_number14
2025-09-12 19:20
148K
number14__t6_number14
2025-09-12 19:22
161K
number14__t7_number14
2025-09-12 19:24
149K
number14__t8_number14
2025-09-12 19:26
155K
number14__t9_number14
2025-09-12 18:39
86K
number14__t10_number14
2025-09-12 18:41
86K
number14__t11_number14
2025-09-12 19:28
87K
number14__t12_number14
2025-09-12 18:43
87K
number14__t13_number14
2025-09-12 19:30
153K
number14__t14_number14
2025-09-12 19:31
151K
number14__t15_number14
2025-09-12 18:44
146K
number14__t16_number14
2025-09-12 19:33
152K
number14__t17_number14
2025-09-12 18:46
145K
number14__t18_number14
2025-09-12 18:48
145K
number14__t19_number14
2025-09-12 19:35
148K
number14__t20_number14
2025-09-12 19:38
165K
number14__t21_number14
2025-09-12 19:40
169K
number14__t22_number14
2025-09-12 19:42
170K
number14__t23_number14
2025-09-12 19:44
166K
number14__t24_number14
2025-09-12 19:46
102K
number14__t25_number14
2025-09-12 19:48
102K
number14__t26_number14
2025-09-12 19:50
147K
number14__t27_number14
2025-09-12 19:52
128K
number14__t28_number14
2025-09-12 19:54
151K
number14__t29_number14
2025-09-12 19:56
86K
number14__t30_number14
2025-09-12 19:58
164K
number14__t31_number14
2025-09-12 20:00
160K
number14__t32_number14
2025-09-12 20:02
91K
number14__t33_number14
2025-09-12 20:04
99K
number14__t34_number14
2025-09-12 20:06
578K
number14__t35_number14
2025-09-12 20:08
146K
number14__t36_number14
2025-09-12 20:10
190K
number14__t37_number14
2025-09-12 20:12
162K
number14__t38_number14
2025-09-12 20:15
384K
number14__t39_number14
2025-09-12 20:17
387K
number14__t40_number14
2025-09-12 20:19
162K
number14__t41_number14
2025-09-12 20:22
179K
number14__t42_number14
2025-09-12 20:24
160K
number14__t43_number14
2025-09-12 20:27
467K
number14__t44_number14
2025-09-12 20:29
193K
number14__t45_number14
2025-09-12 20:32
661K
number14__t46_number14
2025-09-12 20:35
481K
number14__t47_number14
2025-09-12 20:37
135K
number14__t48_number14
2025-09-12 20:39
160K
number14__t49_number14
2025-09-12 20:41
149K
number14__t50_number14
2025-09-12 20:43
110K
number14__t51_number14
2025-09-12 20:45
122K
number14__t52_number14
2025-09-12 20:47
134K
number14__t53_number14
2025-09-12 20:50
207K
number14__t54_number14
2025-09-12 20:52
378K
number14__t55_number14
2025-09-12 20:54
246K
number14__t56_number14
2025-09-12 20:56
345K
number14__t57_number14
2025-09-12 20:58
110K
number14__t58_number14
2025-09-12 21:00
146K
number14__t59_number14
2025-09-12 21:02
151K
number14__t60_number14
2025-09-12 21:04
105K
number14__t61_number14
2025-09-12 21:05
83K
number14__t62_number14
2025-09-12 21:07
127K
number14__t63_number14
2025-09-12 21:09
105K
number14__t64_number14
2025-09-12 21:11
107K
number14__t65_number14
2025-09-12 21:12
112K
number14__t66_number14
2025-09-12 21:14
112K
number14__t67_number14
2025-09-12 21:17
175K
number14__t68_number14
2025-09-12 21:19
154K
number14__t69_number14
2025-09-12 21:21
1.2M
number14__t70_number14
2025-09-12 21:23
1.3M
number14__t71_number14
2025-09-12 21:26
1.5M
number14__t72_number14
2025-09-12 21:28
1.5M
number14__t73_number14
2025-09-12 21:30
91K
number14__t74_number14
2025-09-12 21:32
111K
number14__t75_number14
2025-09-12 21:34
105K
number14__t76_number14
2025-09-12 21:36
98K
number14__t77_number14
2025-09-12 21:37
105K
number14__t78_number14
2025-09-12 21:39
99K
number14__t79_number14
2025-09-12 21:41
235K
number14__t80_number14
2025-09-12 21:43
157K
number14__t81_number14
2025-09-12 18:50
108K
number14__t82_number14
2025-09-12 21:45
111K
number14__t83_number14
2025-09-12 21:47
190K
number14__t84_number14
2025-09-12 21:50
234K
number14__t85_number14
2025-09-12 21:52
169K
number14__t86_number14
2025-09-12 18:52
158K
number14__t87_number14
2025-09-12 21:54
172K
number14__t88_number14
2025-09-12 21:57
442K
number14__t89_number14
2025-09-12 21:58
124K
number14__t90_number14
2025-09-12 18:54
1.3M
number14__t91_number14
2025-09-12 22:00
330K
number14__t92_number14
2025-09-12 22:03
354K
number14__t93_number14
2025-09-12 22:05
1.1M
number14__t94_number14
2025-09-12 22:07
1.3M
number14__t95_number14
2025-09-12 22:09
1.5M
number14__t96_number14
2025-09-12 22:12
1.8M
number14__t97_number14
2025-09-12 22:14
148K
number14__t98_number14
2025-09-12 22:16
177K
number14__t99_number14
2025-09-12 22:18
732K
number14__t100_number14
2025-09-12 22:20
346K
number14__t101_number14
2025-09-12 22:22
502K
number14__t102_number14
2025-09-12 22:24
165K
number14__t103_number14
2025-09-12 22:26
163K
number14__t104_number14
2025-09-12 22:28
135K
number14__t105_number14
2025-09-12 22:30
227K
number14__t106_number14
2025-09-12 22:34
4.2M
number14__t107_number14
2025-09-12 22:36
149K
number14__t108_number14
2025-09-12 22:38
160K
number14__t109_number14
2025-09-12 18:56
146K
number14__t110_number14
2025-09-12 22:40
331K
number14__t111_number14
2025-09-12 22:42
398K
number14__t112_number14
2025-09-12 22:44
326K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80