Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/ordinal5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ordinal5__l67_ordinal52021-07-18 18:40 33K 
[   ]ordinal5__s1_ordinal52021-07-18 18:41 138K 
[   ]ordinal5__s2_ordinal52021-07-18 18:41 61K 
[   ]ordinal5__t1_ordinal52021-07-18 18:40 30K 
[   ]ordinal5__t2_ordinal52021-07-18 18:41 48K 
[   ]ordinal5__t3_ordinal52021-07-18 18:42 39K 
[   ]ordinal5__t4_ordinal52021-07-18 18:42 32K 
[   ]ordinal5__t5_ordinal52021-07-18 18:42 31K 
[   ]ordinal5__t6_ordinal52021-07-18 18:43 40K 
[   ]ordinal5__t7_ordinal52021-07-18 18:43 34K 
[   ]ordinal5__t8_ordinal52021-07-18 18:43 35K 
[   ]ordinal5__t9_ordinal52021-07-18 18:43 45K 
[   ]ordinal5__t10_ordinal52021-07-18 18:44 31K 
[   ]ordinal5__t11_ordinal52021-07-18 18:44 35K 
[   ]ordinal5__t12_ordinal52021-07-18 18:44 30K 
[   ]ordinal5__t13_ordinal52021-07-18 18:45 45K 
[   ]ordinal5__t14_ordinal52021-07-18 18:45 45K 
[   ]ordinal5__t15_ordinal52021-07-18 18:45 46K 
[   ]ordinal5__t16_ordinal52021-07-18 18:46 33K 
[   ]ordinal5__t17_ordinal52021-07-18 18:46 43K 
[   ]ordinal5__t18_ordinal52021-07-18 18:46 32K 
[   ]ordinal5__t19_ordinal52021-07-18 18:47 32K 
[   ]ordinal5__t20_ordinal52021-07-18 18:47 179K 
[   ]ordinal5__t21_ordinal52021-07-18 18:47 50K 
[   ]ordinal5__t22_ordinal52021-07-18 18:48 35K 
[   ]ordinal5__t23_ordinal52021-07-18 18:48 50K 
[   ]ordinal5__t24_ordinal52021-07-18 18:48 152K 
[   ]ordinal5__t25_ordinal52021-07-18 18:49 39K 
[   ]ordinal5__t26_ordinal52021-07-18 18:49 43K 
[   ]ordinal5__t27_ordinal52021-07-18 18:49 50K 
[   ]ordinal5__t28_ordinal52021-07-18 18:50 50K 
[   ]ordinal5__t29_ordinal52021-07-18 18:50 44K 
[   ]ordinal5__t30_ordinal52021-07-18 18:50 43K 
[   ]ordinal5__t31_ordinal52021-07-18 18:51 55K 
[   ]ordinal5__t32_ordinal52021-07-18 18:51 45K 
[   ]ordinal5__t33_ordinal52021-07-18 18:51 40K 
[   ]ordinal5__t34_ordinal52021-07-18 18:52 30K 
[   ]ordinal5__t35_ordinal52021-07-18 18:52 30K 
[   ]ordinal5__t36_ordinal52021-07-18 18:52 67K 
[   ]ordinal5__t37_ordinal52021-07-18 18:53 39K 
[   ]ordinal5__t38_ordinal52021-07-18 18:53 32K 
[   ]ordinal5__t39_ordinal52021-07-18 18:53 62K 
[   ]ordinal5__t40_ordinal52021-07-18 18:54 276K 
[   ]ordinal5__t41_ordinal52021-07-18 18:54 45K 
[   ]ordinal5__t42_ordinal52021-07-18 18:55 45K 
[   ]ordinal5__t43_ordinal52021-07-18 18:55 46K 
[   ]ordinal5__t44_ordinal52021-07-18 18:55 46K 
[   ]ordinal5__t45_ordinal52021-07-18 18:56 30K 
[   ]ordinal5__t46_ordinal52021-07-18 18:56 34K 
[   ]ordinal5__t47_ordinal52021-07-18 18:56 33K 
[   ]ordinal5__t48_ordinal52021-07-18 18:57 34K 
[   ]ordinal5__t49_ordinal52021-07-18 18:57 36K 
[   ]ordinal5__t50_ordinal52021-07-18 18:57 31K 
[   ]ordinal5__t51_ordinal52021-07-18 18:58 37K 
[   ]ordinal5__t52_ordinal52021-07-18 18:58 43K 
[   ]ordinal5__t53_ordinal52021-07-18 18:58 55K 
[   ]ordinal5__t54_ordinal52021-07-18 18:59 64K 
[   ]ordinal5__t55_ordinal52021-07-18 18:59 51K 
[   ]ordinal5__t56_ordinal52021-07-18 18:59 53K 
[   ]ordinal5__t57_ordinal52021-07-18 19:00 39K 
[   ]ordinal5__t58_ordinal52021-07-18 19:00 41K 
[   ]ordinal5__t59_ordinal52021-07-18 19:00 38K 
[   ]ordinal5__t60_ordinal52021-07-18 19:01 34K 
[   ]ordinal5__t61_ordinal52021-07-18 19:01 30K 
[   ]ordinal5__t62_ordinal52021-07-18 19:01 35K 
[   ]ordinal5__t63_ordinal52021-07-18 19:02 35K 
[   ]ordinal5__t64_ordinal52021-07-18 19:02 37K 
[   ]ordinal5__t65_ordinal52021-07-18 19:02 52K 
[   ]ordinal5__t66_ordinal52021-07-18 19:03 41K 
[   ]ordinal5__t67_ordinal52021-07-18 19:03 84K 
[   ]ordinal5__t68_ordinal52021-07-18 19:03 59K 
[   ]ordinal5__t69_ordinal52021-07-18 19:04 55K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80