Index of /~mptp/mml5.63.1382/MPTP2/problems/ordinal7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal7__l2_ordinal72023-06-28 12:25 49K 
[ ]ordinal7__l3_ordinal72023-06-28 12:25 50K 
[ ]ordinal7__l9_ordinal72023-06-28 12:25 2.1K 
[ ]ordinal7__l11_ordinal72023-06-28 12:26 61K 
[ ]ordinal7__l12_ordinal72023-06-28 12:26 58K 
[ ]ordinal7__l13_ordinal72023-06-28 12:27 59K 
[ ]ordinal7__l20_ordinal72023-06-28 13:20 63K 
[ ]ordinal7__l28_ordinal72023-06-28 13:21 93K 
[ ]ordinal7__l29_ordinal72023-06-28 13:21 92K 
[ ]ordinal7__l32_ordinal72023-06-28 13:22 54K 
[ ]ordinal7__l104_ordinal72023-06-28 13:22 60K 
[ ]ordinal7__l110_ordinal72023-06-28 13:23 56K 
[ ]ordinal7__l111_ordinal72023-06-28 13:24 183K 
[ ]ordinal7__s1_ordinal72023-06-28 12:28 101K 
[ ]ordinal7__s2_ordinal72023-06-28 12:28 67K 
[ ]ordinal7__s3_ordinal72023-06-28 12:29 110K 
[ ]ordinal7__t1_ordinal72023-06-28 12:29 48K 
[ ]ordinal7__t2_ordinal72023-06-28 12:30 72K 
[ ]ordinal7__t3_ordinal72023-06-28 12:30 60K 
[ ]ordinal7__t4_ordinal72023-06-28 12:31 72K 
[ ]ordinal7__t5_ordinal72023-06-28 12:31 60K 
[ ]ordinal7__t6_ordinal72023-06-28 12:32 61K 
[ ]ordinal7__t7_ordinal72023-06-28 12:32 5.7K 
[ ]ordinal7__t8_ordinal72023-06-28 12:33 51K 
[ ]ordinal7__t9_ordinal72023-06-28 12:33 50K 
[ ]ordinal7__t10_ordinal72023-06-28 12:33 54K 
[ ]ordinal7__t11_ordinal72023-06-28 12:34 86K 
[ ]ordinal7__t12_ordinal72023-06-28 12:35 51K 
[ ]ordinal7__t13_ordinal72023-06-28 12:35 114K 
[ ]ordinal7__t14_ordinal72023-06-28 12:36 113K 
[ ]ordinal7__t15_ordinal72023-06-28 12:37 80K 
[ ]ordinal7__t16_ordinal72023-06-28 12:37 90K 
[ ]ordinal7__t17_ordinal72023-06-28 12:38 92K 
[ ]ordinal7__t18_ordinal72023-06-28 12:38 98K 
[ ]ordinal7__t19_ordinal72023-06-28 12:39 108K 
[ ]ordinal7__t20_ordinal72023-06-28 12:40 92K 
[ ]ordinal7__t21_ordinal72023-06-28 12:40 106K 
[ ]ordinal7__t22_ordinal72023-06-28 12:41 56K 
[ ]ordinal7__t23_ordinal72023-06-28 12:41 59K 
[ ]ordinal7__t24_ordinal72023-06-28 12:42 64K 
[ ]ordinal7__t25_ordinal72023-06-28 12:42 61K 
[ ]ordinal7__t26_ordinal72023-06-28 12:43 64K 
[ ]ordinal7__t27_ordinal72023-06-28 12:43 70K 
[ ]ordinal7__t28_ordinal72023-06-28 12:44 97K 
[ ]ordinal7__t29_ordinal72023-06-28 12:45 71K 
[ ]ordinal7__t30_ordinal72023-06-28 12:45 88K 
[ ]ordinal7__t31_ordinal72023-06-28 12:46 97K 
[ ]ordinal7__t32_ordinal72023-06-28 12:46 101K 
[ ]ordinal7__t33_ordinal72023-06-28 12:47 63K 
[ ]ordinal7__t34_ordinal72023-06-28 12:47 67K 
[ ]ordinal7__t35_ordinal72023-06-28 12:48 68K 
[ ]ordinal7__t36_ordinal72023-06-28 12:49 71K 
[ ]ordinal7__t37_ordinal72023-06-28 12:49 75K 
[ ]ordinal7__t38_ordinal72023-06-28 12:50 81K 
[ ]ordinal7__t39_ordinal72023-06-28 12:50 53K 
[ ]ordinal7__t40_ordinal72023-06-28 12:51 53K 
[ ]ordinal7__t41_ordinal72023-06-28 12:23 46K 
[ ]ordinal7__t42_ordinal72023-06-28 12:51 47K 
[ ]ordinal7__t43_ordinal72023-06-28 12:52 47K 
[ ]ordinal7__t44_ordinal72023-06-28 12:52 49K 
[ ]ordinal7__t45_ordinal72023-06-28 12:52 46K 
[ ]ordinal7__t46_ordinal72023-06-28 12:53 55K 
[ ]ordinal7__t47_ordinal72023-06-28 12:53 66K 
[ ]ordinal7__t48_ordinal72023-06-28 12:54 70K 
[ ]ordinal7__t49_ordinal72023-06-28 12:55 71K 
[ ]ordinal7__t50_ordinal72023-06-28 12:55 72K 
[ ]ordinal7__t51_ordinal72023-06-28 12:56 60K 
[ ]ordinal7__t52_ordinal72023-06-28 12:56 67K 
[ ]ordinal7__t53_ordinal72023-06-28 12:57 76K 
[ ]ordinal7__t54_ordinal72023-06-28 12:57 66K 
[ ]ordinal7__t55_ordinal72023-06-28 12:24 44K 
[ ]ordinal7__t56_ordinal72023-06-28 12:58 49K 
[ ]ordinal7__t57_ordinal72023-06-28 12:58 47K 
[ ]ordinal7__t58_ordinal72023-06-28 12:59 47K 
[ ]ordinal7__t59_ordinal72023-06-28 12:59 50K 
[ ]ordinal7__t60_ordinal72023-06-28 13:00 58K 
[ ]ordinal7__t61_ordinal72023-06-28 13:00 63K 
[ ]ordinal7__t62_ordinal72023-06-28 13:01 61K 
[ ]ordinal7__t63_ordinal72023-06-28 13:01 87K 
[ ]ordinal7__t64_ordinal72023-06-28 13:02 70K 
[ ]ordinal7__t65_ordinal72023-06-28 13:02 88K 
[ ]ordinal7__t66_ordinal72023-06-28 12:24 74K 
[ ]ordinal7__t67_ordinal72023-06-28 13:03 88K 
[ ]ordinal7__t68_ordinal72023-06-28 13:04 120K 
[ ]ordinal7__t69_ordinal72023-06-28 13:04 102K 
[ ]ordinal7__t70_ordinal72023-06-28 13:05 161K 
[ ]ordinal7__t71_ordinal72023-06-28 13:06 88K 
[ ]ordinal7__t72_ordinal72023-06-28 13:06 57K 
[ ]ordinal7__t73_ordinal72023-06-28 13:07 192K 
[ ]ordinal7__t74_ordinal72023-06-28 13:08 69K 
[ ]ordinal7__t75_ordinal72023-06-28 13:08 56K 
[ ]ordinal7__t76_ordinal72023-06-28 13:09 47K 
[ ]ordinal7__t77_ordinal72023-06-28 13:09 53K 
[ ]ordinal7__t78_ordinal72023-06-28 13:10 52K 
[ ]ordinal7__t79_ordinal72023-06-28 13:10 110K 
[ ]ordinal7__t80_ordinal72023-06-28 13:11 104K 
[ ]ordinal7__t81_ordinal72023-06-28 13:12 99K 
[ ]ordinal7__t82_ordinal72023-06-28 13:12 77K 
[ ]ordinal7__t83_ordinal72023-06-28 13:13 111K 
[ ]ordinal7__t84_ordinal72023-06-28 13:13 79K 
[ ]ordinal7__t85_ordinal72023-06-28 13:14 117K 
[ ]ordinal7__t86_ordinal72023-06-28 13:15 66K 
[ ]ordinal7__t87_ordinal72023-06-28 13:15 78K 
[ ]ordinal7__t88_ordinal72023-06-28 13:16 62K 
[ ]ordinal7__t89_ordinal72023-06-28 13:16 71K 
[ ]ordinal7__t90_ordinal72023-06-28 13:17 89K 
[ ]ordinal7__t91_ordinal72023-06-28 13:17 56K 
[ ]ordinal7__t92_ordinal72023-06-28 13:18 92K 
[ ]ordinal7__t93_ordinal72023-06-28 13:19 111K 
[ ]ordinal7__t94_ordinal72023-06-28 13:19 105K 
[ ]ordinal7__t95_ordinal72023-06-28 13:20 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80