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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal5__l37_ordinal52017-01-13 17:59 46K 
[ ]ordinal5__l68_ordinal52017-01-13 17:59 50K 
[ ]ordinal5__s1_ordinal52017-01-13 17:59 167K 
[ ]ordinal5__s2_ordinal52017-01-13 17:59 87K 
[ ]ordinal5__t1_ordinal52017-01-13 17:59 44K 
[ ]ordinal5__t2_ordinal52017-01-13 17:59 75K 
[ ]ordinal5__t3_ordinal52017-01-13 17:59 59K 
[ ]ordinal5__t4_ordinal52017-01-13 17:59 7.1K 
[ ]ordinal5__t5_ordinal52017-01-13 17:59 46K 
[ ]ordinal5__t6_ordinal52017-01-13 17:59 59K 
[ ]ordinal5__t7_ordinal52017-01-13 17:59 50K 
[ ]ordinal5__t8_ordinal52017-01-13 17:59 53K 
[ ]ordinal5__t9_ordinal52017-01-13 17:59 63K 
[ ]ordinal5__t10_ordinal52017-01-13 17:59 52K 
[ ]ordinal5__t11_ordinal52017-01-13 17:59 59K 
[ ]ordinal5__t12_ordinal52017-01-13 17:59 48K 
[ ]ordinal5__t13_ordinal52017-01-13 17:59 71K 
[ ]ordinal5__t14_ordinal52017-01-13 17:59 71K 
[ ]ordinal5__t15_ordinal52017-01-13 17:59 72K 
[ ]ordinal5__t16_ordinal52017-01-13 17:59 54K 
[ ]ordinal5__t17_ordinal52017-01-13 17:59 62K 
[ ]ordinal5__t18_ordinal52017-01-13 17:59 53K 
[ ]ordinal5__t19_ordinal52017-01-13 17:59 54K 
[ ]ordinal5__t20_ordinal52017-01-13 17:59 65K 
[ ]ordinal5__t21_ordinal52017-01-13 17:59 71K 
[ ]ordinal5__t22_ordinal52017-01-13 17:59 53K 
[ ]ordinal5__t23_ordinal52017-01-13 17:59 71K 
[ ]ordinal5__t24_ordinal52017-01-13 17:59 175K 
[ ]ordinal5__t25_ordinal52017-01-13 17:59 57K 
[ ]ordinal5__t26_ordinal52017-01-13 17:59 61K 
[ ]ordinal5__t27_ordinal52017-01-13 17:59 75K 
[ ]ordinal5__t28_ordinal52017-01-13 17:59 71K 
[ ]ordinal5__t29_ordinal52017-01-13 17:59 63K 
[ ]ordinal5__t30_ordinal52017-01-13 17:59 62K 
[ ]ordinal5__t31_ordinal52017-01-13 17:59 77K 
[ ]ordinal5__t32_ordinal52017-01-13 17:59 63K 
[ ]ordinal5__t33_ordinal52017-01-13 17:59 60K 
[ ]ordinal5__t34_ordinal52017-01-13 17:59 48K 
[ ]ordinal5__t35_ordinal52017-01-13 17:59 48K 
[ ]ordinal5__t36_ordinal52017-01-13 17:59 99K 
[ ]ordinal5__t37_ordinal52017-01-13 17:59 58K 
[ ]ordinal5__t38_ordinal52017-01-13 17:59 50K 
[ ]ordinal5__t39_ordinal52017-01-13 17:59 62K 
[ ]ordinal5__t40_ordinal52017-01-13 17:59 308K 
[ ]ordinal5__t41_ordinal52017-01-13 17:59 72K 
[ ]ordinal5__t42_ordinal52017-01-13 17:59 71K 
[ ]ordinal5__t43_ordinal52017-01-13 17:59 73K 
[ ]ordinal5__t44_ordinal52017-01-13 17:59 64K 
[ ]ordinal5__t45_ordinal52017-01-13 17:59 52K 
[ ]ordinal5__t46_ordinal52017-01-13 17:59 57K 
[ ]ordinal5__t47_ordinal52017-01-13 17:59 56K 
[ ]ordinal5__t48_ordinal52017-01-13 17:59 49K 
[ ]ordinal5__t49_ordinal52017-01-13 17:59 53K 
[ ]ordinal5__t50_ordinal52017-01-13 17:59 49K 
[ ]ordinal5__t51_ordinal52017-01-13 17:59 54K 
[ ]ordinal5__t52_ordinal52017-01-13 17:59 62K 
[ ]ordinal5__t53_ordinal52017-01-13 17:59 79K 
[ ]ordinal5__t54_ordinal52017-01-13 17:59 99K 
[ ]ordinal5__t55_ordinal52017-01-13 17:59 76K 
[ ]ordinal5__t56_ordinal52017-01-13 17:59 80K 
[ ]ordinal5__t57_ordinal52017-01-13 17:59 56K 
[ ]ordinal5__t58_ordinal52017-01-13 17:59 59K 
[ ]ordinal5__t59_ordinal52017-01-13 17:59 53K 
[ ]ordinal5__t60_ordinal52017-01-13 17:59 52K 
[ ]ordinal5__t61_ordinal52017-01-13 17:59 50K 
[ ]ordinal5__t62_ordinal52017-01-13 17:59 51K 
[ ]ordinal5__t63_ordinal52017-01-13 17:59 50K 
[ ]ordinal5__t64_ordinal52017-01-13 17:59 56K 
[ ]ordinal5__t65_ordinal52017-01-13 17:59 67K 
[ ]ordinal5__t66_ordinal52017-01-13 17:59 63K 
[ ]ordinal5__t67_ordinal52017-01-13 17:59 121K 
[ ]ordinal5__t68_ordinal52017-01-13 17:59 87K 
[ ]ordinal5__t69_ordinal52017-01-13 17:59 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80