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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal4__l1_ordinal42023-06-28 18:28 15K 
[ ]ordinal4__l2_ordinal42023-06-28 18:29 15K 
[ ]ordinal4__l3_ordinal42023-06-28 18:29 15K 
[ ]ordinal4__l6_ordinal42023-06-28 18:42 22K 
[ ]ordinal4__l7_ordinal42023-06-28 18:42 20K 
[ ]ordinal4__l8_ordinal42023-06-28 18:43 19K 
[ ]ordinal4__l12_ordinal42023-06-28 18:43 21K 
[ ]ordinal4__l25_ordinal42023-06-28 18:43 23K 
[ ]ordinal4__l30_ordinal42023-06-28 18:44 22K 
[ ]ordinal4__l31_ordinal42023-06-28 18:44 19K 
[ ]ordinal4__l32_ordinal42023-06-28 18:44 29K 
[ ]ordinal4__l45_ordinal42023-06-28 18:29 13K 
[ ]ordinal4__s1_ordinal42023-06-28 18:30 31K 
[ ]ordinal4__s2_ordinal42023-06-28 18:30 25K 
[ ]ordinal4__t1_ordinal42023-06-28 18:30 22K 
[ ]ordinal4__t2_ordinal42023-06-28 18:31 18K 
[ ]ordinal4__t3_ordinal42023-06-28 18:31 22K 
[ ]ordinal4__t4_ordinal42023-06-28 18:31 22K 
[ ]ordinal4__t5_ordinal42023-06-28 18:32 25K 
[ ]ordinal4__t6_ordinal42023-06-28 18:32 22K 
[ ]ordinal4__t7_ordinal42023-06-28 18:32 20K 
[ ]ordinal4__t8_ordinal42023-06-28 18:33 25K 
[ ]ordinal4__t9_ordinal42023-06-28 18:33 18K 
[ ]ordinal4__t10_ordinal42023-06-28 18:33 18K 
[ ]ordinal4__t11_ordinal42023-06-28 18:33 18K 
[ ]ordinal4__t12_ordinal42023-06-28 18:34 19K 
[ ]ordinal4__t13_ordinal42023-06-28 18:34 20K 
[ ]ordinal4__t14_ordinal42023-06-28 18:34 23K 
[ ]ordinal4__t15_ordinal42023-06-28 18:35 21K 
[ ]ordinal4__t16_ordinal42023-06-28 18:35 23K 
[ ]ordinal4__t17_ordinal42023-06-28 18:35 28K 
[ ]ordinal4__t18_ordinal42023-06-28 18:35 16K 
[ ]ordinal4__t19_ordinal42023-06-28 18:36 16K 
[ ]ordinal4__t20_ordinal42023-06-28 18:36 24K 
[ ]ordinal4__t21_ordinal42023-06-28 18:36 17K 
[ ]ordinal4__t22_ordinal42023-06-28 18:37 24K 
[ ]ordinal4__t23_ordinal42023-06-28 18:37 17K 
[ ]ordinal4__t24_ordinal42023-06-28 18:37 25K 
[ ]ordinal4__t25_ordinal42023-06-28 18:38 15K 
[ ]ordinal4__t26_ordinal42023-06-28 18:38 18K 
[ ]ordinal4__t27_ordinal42023-06-28 18:38 20K 
[ ]ordinal4__t28_ordinal42023-06-28 18:39 23K 
[ ]ordinal4__t29_ordinal42023-06-28 18:39 14K 
[ ]ordinal4__t30_ordinal42023-06-28 18:39 29K 
[ ]ordinal4__t31_ordinal42023-06-28 18:40 31K 
[ ]ordinal4__t32_ordinal42023-06-28 18:40 26K 
[ ]ordinal4__t33_ordinal42023-06-28 18:28 15K 
[ ]ordinal4__t34_ordinal42023-06-28 18:40 22K 
[ ]ordinal4__t35_ordinal42023-06-28 18:41 28K 
[ ]ordinal4__t36_ordinal42023-06-28 18:41 41K 
[ ]ordinal4__t37_ordinal42023-06-28 18:42 23K 
[ ]ordinal4__t38_ordinal42023-06-28 18:42 24K 
[ ]ordinal4__t39_ordinal42023-06-28 18:28 17K 
[ ]ordinal4__t40_ordinal42023-06-28 18:28 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80