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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__l67_ordinal52025-09-11 20:09 33K 
[ ]ordinal5__s1_ordinal52025-09-11 20:11 140K 
[ ]ordinal5__s2_ordinal52025-09-11 20:13 61K 
[ ]ordinal5__t1_ordinal52025-09-11 20:08 30K 
[ ]ordinal5__t2_ordinal52025-09-11 20:14 49K 
[ ]ordinal5__t3_ordinal52025-09-11 20:15 39K 
[ ]ordinal5__t4_ordinal52025-09-11 20:16 32K 
[ ]ordinal5__t5_ordinal52025-09-11 20:17 31K 
[ ]ordinal5__t6_ordinal52025-09-11 20:18 40K 
[ ]ordinal5__t7_ordinal52025-09-11 20:19 34K 
[ ]ordinal5__t8_ordinal52025-09-11 20:20 35K 
[ ]ordinal5__t9_ordinal52025-09-11 20:22 45K 
[ ]ordinal5__t10_ordinal52025-09-11 20:23 31K 
[ ]ordinal5__t11_ordinal52025-09-11 20:24 35K 
[ ]ordinal5__t12_ordinal52025-09-11 20:25 30K 
[ ]ordinal5__t13_ordinal52025-09-11 20:26 45K 
[ ]ordinal5__t14_ordinal52025-09-11 20:28 45K 
[ ]ordinal5__t15_ordinal52025-09-11 20:29 46K 
[ ]ordinal5__t16_ordinal52025-09-11 20:30 33K 
[ ]ordinal5__t17_ordinal52025-09-11 20:31 43K 
[ ]ordinal5__t18_ordinal52025-09-11 20:32 32K 
[ ]ordinal5__t19_ordinal52025-09-11 20:33 32K 
[ ]ordinal5__t20_ordinal52025-09-11 20:35 188K 
[ ]ordinal5__t21_ordinal52025-09-11 20:36 50K 
[ ]ordinal5__t22_ordinal52025-09-11 20:37 35K 
[ ]ordinal5__t23_ordinal52025-09-11 20:39 50K 
[ ]ordinal5__t24_ordinal52025-09-11 20:40 154K 
[ ]ordinal5__t25_ordinal52025-09-11 20:41 39K 
[ ]ordinal5__t26_ordinal52025-09-11 20:42 43K 
[ ]ordinal5__t27_ordinal52025-09-11 20:44 50K 
[ ]ordinal5__t28_ordinal52025-09-11 20:45 50K 
[ ]ordinal5__t29_ordinal52025-09-11 20:46 44K 
[ ]ordinal5__t30_ordinal52025-09-11 20:47 43K 
[ ]ordinal5__t31_ordinal52025-09-11 20:49 56K 
[ ]ordinal5__t32_ordinal52025-09-11 20:50 46K 
[ ]ordinal5__t33_ordinal52025-09-11 20:52 41K 
[ ]ordinal5__t34_ordinal52025-09-11 20:53 30K 
[ ]ordinal5__t35_ordinal52025-09-11 20:54 30K 
[ ]ordinal5__t36_ordinal52025-09-11 20:55 68K 
[ ]ordinal5__t37_ordinal52025-09-11 20:56 40K 
[ ]ordinal5__t38_ordinal52025-09-11 20:58 33K 
[ ]ordinal5__t39_ordinal52025-09-11 20:59 63K 
[ ]ordinal5__t40_ordinal52025-09-11 21:01 284K 
[ ]ordinal5__t41_ordinal52025-09-11 21:02 45K 
[ ]ordinal5__t42_ordinal52025-09-11 21:03 45K 
[ ]ordinal5__t43_ordinal52025-09-11 21:04 46K 
[ ]ordinal5__t44_ordinal52025-09-11 21:05 46K 
[ ]ordinal5__t45_ordinal52025-09-11 21:06 30K 
[ ]ordinal5__t46_ordinal52025-09-11 21:08 34K 
[ ]ordinal5__t47_ordinal52025-09-11 21:09 33K 
[ ]ordinal5__t48_ordinal52025-09-11 21:10 34K 
[ ]ordinal5__t49_ordinal52025-09-11 21:11 37K 
[ ]ordinal5__t50_ordinal52025-09-11 21:12 31K 
[ ]ordinal5__t51_ordinal52025-09-11 21:13 37K 
[ ]ordinal5__t52_ordinal52025-09-11 21:14 44K 
[ ]ordinal5__t53_ordinal52025-09-11 21:16 55K 
[ ]ordinal5__t54_ordinal52025-09-11 21:17 64K 
[ ]ordinal5__t55_ordinal52025-09-11 21:18 51K 
[ ]ordinal5__t56_ordinal52025-09-11 21:20 53K 
[ ]ordinal5__t57_ordinal52025-09-11 21:21 41K 
[ ]ordinal5__t58_ordinal52025-09-11 21:22 42K 
[ ]ordinal5__t59_ordinal52025-09-11 21:23 39K 
[ ]ordinal5__t60_ordinal52025-09-11 21:24 35K 
[ ]ordinal5__t61_ordinal52025-09-11 21:25 31K 
[ ]ordinal5__t62_ordinal52025-09-11 21:27 36K 
[ ]ordinal5__t63_ordinal52025-09-11 21:28 36K 
[ ]ordinal5__t64_ordinal52025-09-11 21:29 37K 
[ ]ordinal5__t65_ordinal52025-09-11 21:30 54K 
[ ]ordinal5__t66_ordinal52025-09-11 21:31 42K 
[ ]ordinal5__t67_ordinal52025-09-11 21:33 84K 
[ ]ordinal5__t68_ordinal52025-09-11 21:34 59K 
[ ]ordinal5__t69_ordinal52025-09-11 21:36 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80