Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/ordinal6
Name
Last modified
Size
Description
Parent Directory
-
ordinal6__l12_ordinal6
2021-07-18 20:41
2.2K
ordinal6__l78_ordinal6
2021-07-18 21:09
73K
ordinal6__l79_ordinal6
2021-07-18 21:09
75K
ordinal6__l80_ordinal6
2021-07-18 21:10
91K
ordinal6__l98_ordinal6
2021-07-18 21:10
36K
ordinal6__l99_ordinal6
2021-07-18 21:11
46K
ordinal6__l100_ordinal6
2021-07-18 21:11
83K
ordinal6__s1_ordinal6
2021-07-18 20:42
72K
ordinal6__s2_ordinal6
2021-07-18 20:42
72K
ordinal6__t1_ordinal6
2021-07-18 20:43
32K
ordinal6__t2_ordinal6
2021-07-18 20:43
32K
ordinal6__t3_ordinal6
2021-07-18 20:40
32K
ordinal6__t4_ordinal6
2021-07-18 20:43
33K
ordinal6__t5_ordinal6
2021-07-18 20:44
35K
ordinal6__t6_ordinal6
2021-07-18 20:44
42K
ordinal6__t7_ordinal6
2021-07-18 20:44
43K
ordinal6__t8_ordinal6
2021-07-18 20:45
34K
ordinal6__t9_ordinal6
2021-07-18 20:45
42K
ordinal6__t11_ordinal6
2021-07-18 20:45
35K
ordinal6__t12_ordinal6
2021-07-18 20:46
34K
ordinal6__t13_ordinal6
2021-07-18 20:46
48K
ordinal6__t14_ordinal6
2021-07-18 20:40
29K
ordinal6__t15_ordinal6
2021-07-18 20:46
39K
ordinal6__t16_ordinal6
2021-07-18 20:46
45K
ordinal6__t17_ordinal6
2021-07-18 20:40
3.7K
ordinal6__t18_ordinal6
2021-07-18 20:47
42K
ordinal6__t19_ordinal6
2021-07-18 20:47
5.7K
ordinal6__t20_ordinal6
2021-07-18 20:47
42K
ordinal6__t21_ordinal6
2021-07-18 20:48
38K
ordinal6__t22_ordinal6
2021-07-18 20:48
45K
ordinal6__t23_ordinal6
2021-07-18 20:48
42K
ordinal6__t24_ordinal6
2021-07-18 20:49
56K
ordinal6__t25_ordinal6
2021-07-18 20:49
45K
ordinal6__t26_ordinal6
2021-07-18 20:50
44K
ordinal6__t27_ordinal6
2021-07-18 20:41
33K
ordinal6__t28_ordinal6
2021-07-18 20:50
31K
ordinal6__t29_ordinal6
2021-07-18 20:50
38K
ordinal6__t30_ordinal6
2021-07-18 20:51
45K
ordinal6__t31_ordinal6
2021-07-18 20:41
43K
ordinal6__t32_ordinal6
2021-07-18 20:51
47K
ordinal6__t33_ordinal6
2021-07-18 20:51
45K
ordinal6__t34_ordinal6
2021-07-18 20:52
48K
ordinal6__t35_ordinal6
2021-07-18 20:52
54K
ordinal6__t36_ordinal6
2021-07-18 20:52
59K
ordinal6__t37_ordinal6
2021-07-18 20:53
39K
ordinal6__t38_ordinal6
2021-07-18 20:53
44K
ordinal6__t39_ordinal6
2021-07-18 20:54
64K
ordinal6__t40_ordinal6
2021-07-18 20:54
52K
ordinal6__t41_ordinal6
2021-07-18 20:54
54K
ordinal6__t42_ordinal6
2021-07-18 20:55
53K
ordinal6__t43_ordinal6
2021-07-18 20:55
63K
ordinal6__t44_ordinal6
2021-07-18 20:56
76K
ordinal6__t45_ordinal6
2021-07-18 20:56
64K
ordinal6__t46_ordinal6
2021-07-18 20:56
34K
ordinal6__t47_ordinal6
2021-07-18 20:57
40K
ordinal6__t48_ordinal6
2021-07-18 20:41
46K
ordinal6__t49_ordinal6
2021-07-18 20:57
48K
ordinal6__t50_ordinal6
2021-07-18 20:57
40K
ordinal6__t51_ordinal6
2021-07-18 20:58
48K
ordinal6__t52_ordinal6
2021-07-18 20:58
66K
ordinal6__t53_ordinal6
2021-07-18 20:59
59K
ordinal6__t54_ordinal6
2021-07-18 20:59
67K
ordinal6__t55_ordinal6
2021-07-18 20:59
56K
ordinal6__t56_ordinal6
2021-07-18 21:00
60K
ordinal6__t57_ordinal6
2021-07-18 21:00
41K
ordinal6__t58_ordinal6
2021-07-18 21:01
77K
ordinal6__t59_ordinal6
2021-07-18 21:01
80K
ordinal6__t60_ordinal6
2021-07-18 21:02
79K
ordinal6__t61_ordinal6
2021-07-18 21:02
85K
ordinal6__t62_ordinal6
2021-07-18 21:03
56K
ordinal6__t63_ordinal6
2021-07-18 21:03
81K
ordinal6__t64_ordinal6
2021-07-18 21:03
55K
ordinal6__t65_ordinal6
2021-07-18 21:04
86K
ordinal6__t66_ordinal6
2021-07-18 21:04
38K
ordinal6__t67_ordinal6
2021-07-18 21:05
34K
ordinal6__t68_ordinal6
2021-07-18 21:05
79K
ordinal6__t69_ordinal6
2021-07-18 21:06
79K
ordinal6__t70_ordinal6
2021-07-18 21:06
60K
ordinal6__t71_ordinal6
2021-07-18 21:06
62K
ordinal6__t72_ordinal6
2021-07-18 21:07
40K
ordinal6__t73_ordinal6
2021-07-18 21:07
34K
ordinal6__t74_ordinal6
2021-07-18 21:07
74K
ordinal6__t75_ordinal6
2021-07-18 21:08
38K
ordinal6__t76_ordinal6
2021-07-18 21:08
84K
ordinal6__t77_ordinal6
2021-07-18 21:09
38K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80