Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/ordinal4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal4__l1_ordinal42025-09-13 23:48 15K 
[ ]ordinal4__l2_ordinal42025-09-13 23:49 15K 
[ ]ordinal4__l3_ordinal42025-09-13 23:50 15K 
[ ]ordinal4__l6_ordinal42025-09-14 00:29 22K 
[ ]ordinal4__l7_ordinal42025-09-14 00:30 20K 
[ ]ordinal4__l8_ordinal42025-09-14 00:30 19K 
[ ]ordinal4__l12_ordinal42025-09-14 00:31 21K 
[ ]ordinal4__l25_ordinal42025-09-14 00:32 23K 
[ ]ordinal4__l30_ordinal42025-09-14 00:33 22K 
[ ]ordinal4__l31_ordinal42025-09-14 00:34 19K 
[ ]ordinal4__l32_ordinal42025-09-14 00:35 29K 
[ ]ordinal4__l45_ordinal42025-09-13 23:50 13K 
[ ]ordinal4__s1_ordinal42025-09-13 23:52 31K 
[ ]ordinal4__s2_ordinal42025-09-13 23:53 25K 
[ ]ordinal4__t1_ordinal42025-09-13 23:54 23K 
[ ]ordinal4__t2_ordinal42025-09-13 23:54 19K 
[ ]ordinal4__t3_ordinal42025-09-13 23:55 22K 
[ ]ordinal4__t4_ordinal42025-09-13 23:56 23K 
[ ]ordinal4__t5_ordinal42025-09-13 23:58 26K 
[ ]ordinal4__t6_ordinal42025-09-13 23:58 23K 
[ ]ordinal4__t7_ordinal42025-09-13 23:59 20K 
[ ]ordinal4__t8_ordinal42025-09-14 00:01 25K 
[ ]ordinal4__t9_ordinal42025-09-14 00:01 18K 
[ ]ordinal4__t10_ordinal42025-09-14 00:02 18K 
[ ]ordinal4__t11_ordinal42025-09-14 00:03 18K 
[ ]ordinal4__t12_ordinal42025-09-14 00:04 19K 
[ ]ordinal4__t13_ordinal42025-09-14 00:05 20K 
[ ]ordinal4__t14_ordinal42025-09-14 00:06 23K 
[ ]ordinal4__t15_ordinal42025-09-14 00:07 21K 
[ ]ordinal4__t16_ordinal42025-09-14 00:08 23K 
[ ]ordinal4__t17_ordinal42025-09-14 00:09 28K 
[ ]ordinal4__t18_ordinal42025-09-14 00:09 16K 
[ ]ordinal4__t19_ordinal42025-09-14 00:10 16K 
[ ]ordinal4__t20_ordinal42025-09-14 00:11 24K 
[ ]ordinal4__t21_ordinal42025-09-14 00:12 17K 
[ ]ordinal4__t22_ordinal42025-09-14 00:13 24K 
[ ]ordinal4__t23_ordinal42025-09-14 00:14 17K 
[ ]ordinal4__t24_ordinal42025-09-14 00:15 25K 
[ ]ordinal4__t25_ordinal42025-09-14 00:15 15K 
[ ]ordinal4__t26_ordinal42025-09-14 00:16 18K 
[ ]ordinal4__t27_ordinal42025-09-14 00:17 20K 
[ ]ordinal4__t28_ordinal42025-09-14 00:18 23K 
[ ]ordinal4__t29_ordinal42025-09-14 00:19 14K 
[ ]ordinal4__t30_ordinal42025-09-14 00:20 29K 
[ ]ordinal4__t31_ordinal42025-09-14 00:21 32K 
[ ]ordinal4__t32_ordinal42025-09-14 00:22 26K 
[ ]ordinal4__t33_ordinal42025-09-13 23:46 15K 
[ ]ordinal4__t34_ordinal42025-09-14 00:23 22K 
[ ]ordinal4__t35_ordinal42025-09-14 00:24 28K 
[ ]ordinal4__t36_ordinal42025-09-14 00:26 42K 
[ ]ordinal4__t37_ordinal42025-09-14 00:27 24K 
[ ]ordinal4__t38_ordinal42025-09-14 00:28 24K 
[ ]ordinal4__t39_ordinal42025-09-13 23:47 17K 
[ ]ordinal4__t40_ordinal42025-09-13 23:48 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80