Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/ordinal1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal1__l13_ordinal12019-08-28 15:30 15K 
[ ]ordinal1__s1_ordinal12019-08-28 15:31 42K 
[ ]ordinal1__s2_ordinal12019-08-28 15:31 49K 
[ ]ordinal1__s3_ordinal12019-08-28 15:32 61K 
[ ]ordinal1__s4_ordinal12019-08-28 15:32 184K 
[ ]ordinal1__s5_ordinal12019-08-28 15:32 59K 
[ ]ordinal1__s6_ordinal12019-08-28 15:32 64K 
[ ]ordinal1__t5_ordinal12019-08-28 15:30 17K 
[ ]ordinal1__t6_ordinal12019-08-28 15:30 12K 
[ ]ordinal1__t7_ordinal12019-08-28 15:30 18K 
[ ]ordinal1__t8_ordinal12019-08-28 15:30 19K 
[ ]ordinal1__t9_ordinal12019-08-28 15:30 13K 
[ ]ordinal1__t10_ordinal12019-08-28 15:30 19K 
[ ]ordinal1__t11_ordinal12019-08-28 15:30 49K 
[ ]ordinal1__t12_ordinal12019-08-28 15:30 24K 
[ ]ordinal1__t13_ordinal12019-08-28 15:30 37K 
[ ]ordinal1__t14_ordinal12019-08-28 15:30 40K 
[ ]ordinal1__t15_ordinal12019-08-28 15:30 18K 
[ ]ordinal1__t16_ordinal12019-08-28 15:30 18K 
[ ]ordinal1__t17_ordinal12019-08-28 15:31 46K 
[ ]ordinal1__t18_ordinal12019-08-28 15:31 46K 
[ ]ordinal1__t19_ordinal12019-08-28 15:31 27K 
[ ]ordinal1__t20_ordinal12019-08-28 15:31 34K 
[ ]ordinal1__t21_ordinal12019-08-28 15:31 29K 
[ ]ordinal1__t22_ordinal12019-08-28 15:31 33K 
[ ]ordinal1__t23_ordinal12019-08-28 15:31 42K 
[ ]ordinal1__t24_ordinal12019-08-28 15:31 30K 
[ ]ordinal1__t25_ordinal12019-08-28 15:31 27K 
[ ]ordinal1__t26_ordinal12019-08-28 15:31 17K 
[ ]ordinal1__t27_ordinal12019-08-28 15:31 43K 
[ ]ordinal1__t28_ordinal12019-08-28 15:31 57K 
[ ]ordinal1__t29_ordinal12019-08-28 15:31 33K 
[ ]ordinal1__t30_ordinal12019-08-28 15:31 22K 
[ ]ordinal1__t31_ordinal12019-08-28 15:31 18K 
[ ]ordinal1__t32_ordinal12019-08-28 15:31 27K 
[ ]ordinal1__t33_ordinal12019-08-28 15:31 3.3K 
[ ]ordinal1__t34_ordinal12019-08-28 15:32 153K 
[ ]ordinal1__t35_ordinal12019-08-28 15:32 21K 
[ ]ordinal1__t36_ordinal12019-08-28 15:32 57K 
[ ]ordinal1__t37_ordinal12019-08-28 15:32 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80