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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal1__l13_ordinal12017-03-01 15:21 4.9K 
[ ]ordinal1__t5_ordinal12017-03-01 15:21 4.6K 
[ ]ordinal1__t6_ordinal12017-03-01 15:21 4.1K 
[ ]ordinal1__t7_ordinal12017-03-01 15:21 4.2K 
[ ]ordinal1__t8_ordinal12017-03-01 15:21 4.1K 
[ ]ordinal1__t9_ordinal12017-03-01 15:21 3.9K 
[ ]ordinal1__t10_ordinal12017-03-01 15:21 4.8K 
[ ]ordinal1__t11_ordinal12017-03-01 15:21 6.7K 
[ ]ordinal1__t12_ordinal12017-03-01 15:21 5.6K 
[ ]ordinal1__t13_ordinal12017-03-01 15:21 6.2K 
[ ]ordinal1__t14_ordinal12017-03-01 15:21 6.4K 
[ ]ordinal1__t15_ordinal12017-03-01 15:21 5.4K 
[ ]ordinal1__t16_ordinal12017-03-01 15:21 5.4K 
[ ]ordinal1__t17_ordinal12017-03-01 15:21 6.6K 
[ ]ordinal1__t18_ordinal12017-03-01 15:21 6.1K 
[ ]ordinal1__t19_ordinal12017-03-01 15:21 5.6K 
[ ]ordinal1__t20_ordinal12017-03-01 15:21 6.0K 
[ ]ordinal1__t21_ordinal12017-03-01 15:21 6.9K 
[ ]ordinal1__t22_ordinal12017-03-01 15:21 7.0K 
[ ]ordinal1__t23_ordinal12017-03-01 15:21 6.1K 
[ ]ordinal1__t24_ordinal12017-03-01 15:21 6.9K 
[ ]ordinal1__t25_ordinal12017-03-01 15:21 5.7K 
[ ]ordinal1__t26_ordinal12017-03-01 15:21 3.6K 
[ ]ordinal1__t27_ordinal12017-03-01 15:21 7.2K 
[ ]ordinal1__t28_ordinal12017-03-01 15:21 7.8K 
[ ]ordinal1__t29_ordinal12017-03-01 15:21 7.0K 
[ ]ordinal1__t30_ordinal12017-03-01 15:21 6.3K 
[ ]ordinal1__t31_ordinal12017-03-01 15:21 6.7K 
[ ]ordinal1__t32_ordinal12017-03-01 15:21 6.3K 
[ ]ordinal1__t33_ordinal12017-03-01 15:21 1.3K 
[ ]ordinal1__t34_ordinal12017-03-01 15:21 11K 
[ ]ordinal1__t35_ordinal12017-03-01 15:21 5.7K 
[ ]ordinal1__t36_ordinal12017-03-01 15:21 7.6K 
[ ]ordinal1__t37_ordinal12017-03-01 15:21 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80