Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf1/ordinal5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__t2_ordinal52023-06-27 17:18 45K 
[ ]ordinal5__t9_ordinal52023-06-27 17:18 39K 
[ ]ordinal5__t11_ordinal52023-06-27 17:18 36K 
[ ]ordinal5__t13_ordinal52023-06-27 17:18 43K 
[ ]ordinal5__t14_ordinal52023-06-27 17:18 43K 
[ ]ordinal5__t15_ordinal52023-06-27 17:18 44K 
[ ]ordinal5__t17_ordinal52023-06-27 17:18 38K 
[ ]ordinal5__t20_ordinal52023-06-27 17:18 41K 
[ ]ordinal5__t21_ordinal52023-06-27 17:18 44K 
[ ]ordinal5__t23_ordinal52023-06-27 17:18 44K 
[ ]ordinal5__t24_ordinal52023-06-27 17:18 137K 
[ ]ordinal5__t27_ordinal52023-06-27 17:18 48K 
[ ]ordinal5__t28_ordinal52023-06-27 17:18 45K 
[ ]ordinal5__t29_ordinal52023-06-27 17:18 39K 
[ ]ordinal5__t30_ordinal52023-06-27 17:18 38K 
[ ]ordinal5__t31_ordinal52023-06-27 17:18 48K 
[ ]ordinal5__t32_ordinal52023-06-27 17:18 39K 
[ ]ordinal5__t33_ordinal52023-06-27 17:18 36K 
[ ]ordinal5__t36_ordinal52023-06-27 17:18 62K 
[ ]ordinal5__t40_ordinal52023-06-27 17:18 246K 
[ ]ordinal5__t41_ordinal52023-06-27 17:18 44K 
[ ]ordinal5__t42_ordinal52023-06-27 17:18 43K 
[ ]ordinal5__t43_ordinal52023-06-27 17:18 44K 
[ ]ordinal5__t44_ordinal52023-06-27 17:18 40K 
[ ]ordinal5__t47_ordinal52023-06-27 17:18 34K 
[ ]ordinal5__t48_ordinal52023-06-27 17:18 30K 
[ ]ordinal5__t51_ordinal52023-06-27 17:18 33K 
[ ]ordinal5__t54_ordinal52023-06-27 17:18 62K 
[ ]ordinal5__t55_ordinal52023-06-27 17:18 46K 
[ ]ordinal5__t56_ordinal52023-06-27 17:18 49K 
[ ]ordinal5__t69_ordinal52023-06-27 17:18 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80