Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/ordinal4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal4__l1_ordinal42017-01-13 17:42 19K 
[ ]ordinal4__l2_ordinal42017-01-13 17:42 19K 
[ ]ordinal4__l3_ordinal42017-01-13 17:42 22K 
[ ]ordinal4__l9_ordinal42017-01-13 17:42 27K 
[ ]ordinal4__l22_ordinal42017-01-13 17:42 6.7K 
[ ]ordinal4__l27_ordinal42017-01-13 17:42 29K 
[ ]ordinal4__l28_ordinal42017-01-13 17:42 24K 
[ ]ordinal4__l29_ordinal42017-01-13 17:42 39K 
[ ]ordinal4__s1_ordinal42017-01-13 17:42 41K 
[ ]ordinal4__s2_ordinal42017-01-13 17:42 34K 
[ ]ordinal4__t1_ordinal42017-01-13 17:42 29K 
[ ]ordinal4__t2_ordinal42017-01-13 17:42 29K 
[ ]ordinal4__t3_ordinal42017-01-13 17:42 30K 
[ ]ordinal4__t4_ordinal42017-01-13 17:42 30K 
[ ]ordinal4__t5_ordinal42017-01-13 17:42 34K 
[ ]ordinal4__t6_ordinal42017-01-13 17:42 29K 
[ ]ordinal4__t7_ordinal42017-01-13 17:42 27K 
[ ]ordinal4__t8_ordinal42017-01-13 17:42 32K 
[ ]ordinal4__t9_ordinal42017-01-13 17:42 24K 
[ ]ordinal4__t10_ordinal42017-01-13 17:42 23K 
[ ]ordinal4__t11_ordinal42017-01-13 17:42 23K 
[ ]ordinal4__t12_ordinal42017-01-13 17:42 7.5K 
[ ]ordinal4__t13_ordinal42017-01-13 17:42 27K 
[ ]ordinal4__t14_ordinal42017-01-13 17:42 29K 
[ ]ordinal4__t15_ordinal42017-01-13 17:42 28K 
[ ]ordinal4__t16_ordinal42017-01-13 17:42 30K 
[ ]ordinal4__t17_ordinal42017-01-13 17:42 38K 
[ ]ordinal4__t18_ordinal42017-01-13 17:42 23K 
[ ]ordinal4__t19_ordinal42017-01-13 17:42 23K 
[ ]ordinal4__t20_ordinal42017-01-13 17:42 33K 
[ ]ordinal4__t21_ordinal42017-01-13 17:42 25K 
[ ]ordinal4__t22_ordinal42017-01-13 17:42 32K 
[ ]ordinal4__t23_ordinal42017-01-13 17:42 24K 
[ ]ordinal4__t24_ordinal42017-01-13 17:42 33K 
[ ]ordinal4__t25_ordinal42017-01-13 17:42 23K 
[ ]ordinal4__t26_ordinal42017-01-13 17:42 26K 
[ ]ordinal4__t27_ordinal42017-01-13 17:42 26K 
[ ]ordinal4__t28_ordinal42017-01-13 17:42 31K 
[ ]ordinal4__t29_ordinal42017-01-13 17:42 20K 
[ ]ordinal4__t30_ordinal42017-01-13 17:42 40K 
[ ]ordinal4__t31_ordinal42017-01-13 17:42 42K 
[ ]ordinal4__t32_ordinal42017-01-13 17:42 34K 
[ ]ordinal4__t33_ordinal42017-01-13 17:42 22K 
[ ]ordinal4__t34_ordinal42017-01-13 17:42 30K 
[ ]ordinal4__t35_ordinal42017-01-13 17:42 35K 
[ ]ordinal4__t36_ordinal42017-01-13 17:42 58K 
[ ]ordinal4__t37_ordinal42017-01-13 17:42 31K 
[ ]ordinal4__t38_ordinal42017-01-13 17:42 31K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80