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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__l67_ordinal52023-06-28 07:09 33K 
[ ]ordinal5__s1_ordinal52023-06-28 07:09 141K 
[ ]ordinal5__s2_ordinal52023-06-28 07:10 60K 
[ ]ordinal5__t1_ordinal52023-06-28 07:08 30K 
[ ]ordinal5__t2_ordinal52023-06-28 07:10 48K 
[ ]ordinal5__t3_ordinal52023-06-28 07:11 39K 
[ ]ordinal5__t4_ordinal52023-06-28 07:11 32K 
[ ]ordinal5__t5_ordinal52023-06-28 07:12 31K 
[ ]ordinal5__t6_ordinal52023-06-28 07:12 40K 
[ ]ordinal5__t7_ordinal52023-06-28 07:12 34K 
[ ]ordinal5__t8_ordinal52023-06-28 07:13 35K 
[ ]ordinal5__t9_ordinal52023-06-28 07:13 44K 
[ ]ordinal5__t10_ordinal52023-06-28 07:14 31K 
[ ]ordinal5__t11_ordinal52023-06-28 07:14 35K 
[ ]ordinal5__t12_ordinal52023-06-28 07:14 30K 
[ ]ordinal5__t13_ordinal52023-06-28 07:15 45K 
[ ]ordinal5__t14_ordinal52023-06-28 07:15 45K 
[ ]ordinal5__t15_ordinal52023-06-28 07:16 45K 
[ ]ordinal5__t16_ordinal52023-06-28 07:16 33K 
[ ]ordinal5__t17_ordinal52023-06-28 07:16 43K 
[ ]ordinal5__t18_ordinal52023-06-28 07:17 32K 
[ ]ordinal5__t19_ordinal52023-06-28 07:17 32K 
[ ]ordinal5__t20_ordinal52023-06-28 07:18 185K 
[ ]ordinal5__t21_ordinal52023-06-28 07:18 50K 
[ ]ordinal5__t22_ordinal52023-06-28 07:18 35K 
[ ]ordinal5__t23_ordinal52023-06-28 07:19 50K 
[ ]ordinal5__t24_ordinal52023-06-28 07:19 157K 
[ ]ordinal5__t25_ordinal52023-06-28 07:20 39K 
[ ]ordinal5__t26_ordinal52023-06-28 07:20 43K 
[ ]ordinal5__t27_ordinal52023-06-28 07:20 50K 
[ ]ordinal5__t28_ordinal52023-06-28 07:21 50K 
[ ]ordinal5__t29_ordinal52023-06-28 07:21 44K 
[ ]ordinal5__t30_ordinal52023-06-28 07:22 43K 
[ ]ordinal5__t31_ordinal52023-06-28 07:22 55K 
[ ]ordinal5__t32_ordinal52023-06-28 07:23 44K 
[ ]ordinal5__t33_ordinal52023-06-28 07:23 40K 
[ ]ordinal5__t34_ordinal52023-06-28 07:23 30K 
[ ]ordinal5__t35_ordinal52023-06-28 07:24 30K 
[ ]ordinal5__t36_ordinal52023-06-28 07:24 67K 
[ ]ordinal5__t37_ordinal52023-06-28 07:25 39K 
[ ]ordinal5__t38_ordinal52023-06-28 07:25 32K 
[ ]ordinal5__t39_ordinal52023-06-28 07:26 62K 
[ ]ordinal5__t40_ordinal52023-06-28 07:26 286K 
[ ]ordinal5__t41_ordinal52023-06-28 07:27 45K 
[ ]ordinal5__t42_ordinal52023-06-28 07:27 45K 
[ ]ordinal5__t43_ordinal52023-06-28 07:27 46K 
[ ]ordinal5__t44_ordinal52023-06-28 07:28 46K 
[ ]ordinal5__t45_ordinal52023-06-28 07:28 30K 
[ ]ordinal5__t46_ordinal52023-06-28 07:29 34K 
[ ]ordinal5__t47_ordinal52023-06-28 07:29 33K 
[ ]ordinal5__t48_ordinal52023-06-28 07:29 34K 
[ ]ordinal5__t49_ordinal52023-06-28 07:30 36K 
[ ]ordinal5__t50_ordinal52023-06-28 07:30 31K 
[ ]ordinal5__t51_ordinal52023-06-28 07:31 37K 
[ ]ordinal5__t52_ordinal52023-06-28 07:31 43K 
[ ]ordinal5__t53_ordinal52023-06-28 07:32 55K 
[ ]ordinal5__t54_ordinal52023-06-28 07:32 64K 
[ ]ordinal5__t55_ordinal52023-06-28 07:32 51K 
[ ]ordinal5__t56_ordinal52023-06-28 07:33 53K 
[ ]ordinal5__t57_ordinal52023-06-28 07:33 39K 
[ ]ordinal5__t58_ordinal52023-06-28 07:34 41K 
[ ]ordinal5__t59_ordinal52023-06-28 07:34 38K 
[ ]ordinal5__t60_ordinal52023-06-28 07:35 34K 
[ ]ordinal5__t61_ordinal52023-06-28 07:35 29K 
[ ]ordinal5__t62_ordinal52023-06-28 07:35 35K 
[ ]ordinal5__t63_ordinal52023-06-28 07:36 35K 
[ ]ordinal5__t64_ordinal52023-06-28 07:36 37K 
[ ]ordinal5__t65_ordinal52023-06-28 07:37 52K 
[ ]ordinal5__t66_ordinal52023-06-28 07:37 41K 
[ ]ordinal5__t67_ordinal52023-06-28 07:38 85K 
[ ]ordinal5__t68_ordinal52023-06-28 07:38 59K 
[ ]ordinal5__t69_ordinal52023-06-28 07:39 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80